Hackerspace

COMODOR_FALKON, SWIST: panove, oba vas zveme do Brmlabu na AdHoc pajeci sesnu. Ja myslim, ze nejake know-how je dobre mit a tim vas vybavime pri navsteve.
Ukazeme co a jak.
A pak je to opravdu o te praxi. Cim vic si toho zapajis (pri sledovani kvality vytvorenych spoju), tim lepsi budes.
Jak rikal vrchni sef:
Pajet si, pajet si, pajet si!

Spojari vsech zemi, proletujte se!

Unux ma ban za neurvale chovani. Vim ze jste se snazili s nim diskutovat ale nema to smyl. Je to nemocny clovek.

COMODOR_FALKON: Hele co se týče pájení.. Tak za mě je to o tom se kouknout na nějaké základy a pak pájet, pájet, pájet.. To tě ze začátku posune imho asi nejvíc. Dostat to do ruky. Tedy taky jsem začátečník a pájím spíš nárazově..

UNUX: Hele my tady nemůžeme za to, že nechápeš co hackerspace je.

UNUX: Já se tam tedy vyskytuji průměrně 1x za 2-3 roky, ale programovat absolutně neumím - vyhodili mne kvůli tomu i z FAV ZČU (2006) - a v brmlabu jsem byl vždy na nějakém technickém demu (ještě na P6), půjčit/vrátit pilu nebo na workshopu, naposledy k lockpickingu (na což jsem taky anti-talent)

___
A tedy pořád platí, že bych uvítal, kdyby se našel někdo, kdo by mne mentoroval při pájení - jako dítě jsem měl pistolovou páječku a obě ruce levé, teď mám hrotovou páječku, kterou jsem ještě nezapnul. Výhledově budu potřebovat napájet spoustu LED pásků, zatím mám ale několik tréninkových sad různých blikátek a LED budík…

BLACKHEAD: to jsem ho pozval ja :)

Pristi tyden v sobotu 7.12 od 15-20 se brm chce zucastnit sifrovacky interlos https://interlos.fi.muni.cz/ a shanime par celnu do teamu.
(aktualni pocet clenu: 2 clenky)

JANFROG: NIEKT0 myslel nejspíš Club Maté, které je mezi členy dost populání.

Ostatne presne proto ma brmlab hackerspace v nazvu :)

UNUX: Třeba to že brmlab je obecně místo ke sdílení znalostí a zkušeností. A i tomu programátorovi se může hodit přiučit se dřevem, když chce udělat, co já vim, třeba fake wifi portál maskovaný jako ptačí budku ...
Omezovat význam slova hacker jen na počítačovou bezpečnost je hloupost, a omezovat tak dostupnost hackerspace jen pro lidi co umí programovat je nebetyčná kravina.
Ale jestli se ti to nelíbí, klidně si založ vlastní hackerspace s blackjackem a děvkama :-)

NIAN85: Jasně, ale proč chtít programovat po někom kdo si chodí tvořit ze dřeva ? To nedává smysl ...

SPECZ: Tak kdybych jako fakt musela, ze me by nakonec neco mohlo vypadnout. Uzitecny by byl treba programek, ktery kazdy vstup prevede do depresivni formy a navic uzivatele kreativne popise nadavkami. Pro nektere prispevatele by to mohl byt prima setric mentalni energie.

UNUX: Kravina. Brmlab není omezený jen na programátory.
Je to trochu odvážný, navrhovat jak nabírat členy, od někoho kdo se do brmlabu nikdy nepřišel ani podívat.

PLOSTENKA: Tak kralici nory to jsou a pekne hluboke
do jedne zalezes a nez najdes cestu zpet, 6 mesicu v pr...

> ze instrukce dela tohle a pouze tohle je ta zajimava cast

Souhlasim s tim, ze to je zajimavych je i spousta veci okolo. I kdyz
odmyslis formalni metody a jen si reknes ze udelas nove CPU je tam
dost zajimavych veci na praci. Treba, jak to vubec budes ladit? Jak
pro to budes prekladat kod? A kdyz se rozhodnes to udelat jako
soft-core v nejakem FPGA, uz to neni jen o CPU core ale o celem SoC...

> Je nekde ten verifikovany kompilator k videni, nebo je to inhouse chranene reseni?
Je to k videni, ja uz se dost let veci co nejsou open-source nedotykam
(krom jedne veci, dusledek mladicke nerozvaznosti :-)

Vsechno je to ve fazi vyvoje, je to hodne WIP. Celkovou ideu asi nejlepe
popisuje clanek
Towards a Dynabook for verified VM construction

Co se kodu tyce, je to desnej bordel, dany tim ze vetsinu casu nevime
co delame a pred temi 10 lety jsme byli desne naivni :-)

* Tinyrossa je ten
prekladac, je to brutalne primitivni ve srovnani s modernima prekladacema,
dost veci tomu chybi, POWER backend je hodne pozadu za RISC-V, ostatni
architektury jsou jen experimenty. Nicmene kod to produkuje a je mozne
ho pustit jak v simulatorech (gem5, qemu) tak na FPGA soft-cores
nebo realnem kremiku (SiFive U540, StarFive JH7110, PPC e500, POWER).
Ta formalni stranka jeste neni zaintegrovana, najdes ji v branchi
MoreVMs24. Nejake trivialni priklady co to umi jsou
TRMoreVMs24.class.st.

* Arch je knihovna
co resi instruction encoding a assembler/dissasembler pro ruzne ISA.
Funguje to, umi to dost, ale je treba to cele predelat. Akorat zatim
nevim jak presne :-)

* MachineArithmetic
je ta "matematika" co je za tim. To je hlavne prace kolegy, on je
matematik, ja jsem jen obycejny inzenyr, takze tam delam jen tu
nejspodnejsi vrstvu kolem interfacu k Z3.

Pak samozrejme mame spousty jinych veci okolo, neco jsou kravinky
na odreagovani kdyz se nam zavari mozek, neco je prace na externich projektech
kam prispivame vecma co potrebujeme (GDB, OMR, gem5). Co se tyce
semantiky ISA idea je
Sail->JIB->MachineArithmetic semantic core. To je zatim v plenkach a bude
to dost zajimave, protoze treba semantika ARMv8 ISA vycucla z ASL a natazena
do Coqu (nebo Isabell) zabira ~500GB RAM, takze to uz chce lepsi pocitac
a slusnej GC.

JANFROG: A nechces prist niekedy na matecko pokecat?:)