Calendar: hspbp events
| Start | End | Name | |
|---|---|---|---|
|
19:00 CET
|
19:30 CET
|
Plénum Minden héten keddenként gyűlünk össze megbeszélni ügyes-bajos dolgainkat. Ilyenkor elég sokan összejövünk, és a közösség ügyei mellett saját projektjeinkről is szoktunk diskurálni. |
|
|
19:00 CET
|
21:00 CET
|
Lockpick workshop Szokás szerint a hónap utolsó csütörtökjén, lockpicker sráccal. Mindenkit szeretettel várunk! |
|
|
19:00 CET
|
19:30 CET
|
Plénum Minden héten keddenként gyűlünk össze megbeszélni ügyes-bajos dolgainkat. Ilyenkor elég sokan összejövünk, és a közösség ügyei mellett saját projektjeinkről is szoktunk diskurálni. |
|
|
19:00 CET
|
21:00 CET
|
Build night with Spark.io Kaptunk tíz Spark Core-t, tíz periféria boardot és két maker kitet, építünk belőle érdekeset. Lehet játszani a boardokkal, stef tart ARM Cortex architektúráról bevezetőt. Részletek a build nightról: http://www.instructables.com/community/November-2014-Build-Night-with-Sparkio/ |
|
|
19:00 CET
|
19:30 CET
|
Plénum Minden héten keddenként gyűlünk össze megbeszélni ügyes-bajos dolgainkat. Ilyenkor elég sokan összejövünk, és a közösség ügyei mellett saját projektjeinkről is szoktunk diskurálni. |
|
|
19:00 CET
|
20:00 CET
|
Hakk csütörtök Ezt az eseményt nem szerveztük, magától alakult így. Csütörtökönként többen összejövünk a legkülönfélébb közösségi vagy saját projekteken dolgozni. Nagy helyismerettel rendelkező, senior haxoraink mindenféle challenget supportálnak, de bele is lehet kapcsolódni már futó fejlesztésekbe, legyen az szoftver, elektro, barkács, bio, vagy más egyéb. Noobokat is szeretettel várunk! Mielőtt jönnél, nézd meg a főoldalon, hogy nyitva vagyunk-e. Egyébként az esemény legalább 22 órág szokott tartani, de vannak, akik éjfélig maradnak. Sajnos itt a calendarban csak 20 óráig lehet eseményeket megadni. Éljen a tikiwiki! :P |
|
|
18:00 CET
|
19:00 CET
|
Agda workshop A workshopon az Agda programozási nyelvvel ismerkedünk meg, amelynek fő jellegzetessége, hogy programozási tevékenység definíció + tétel + bizonyítás jellegű. Például, az legnagyobb közös osztó kiszámolását úgy tudjuk benne leprogramozni, hogy definiáljuk a legnagyobb közös osztót (matematikai értelemben), majd bebizonyítjuk hogy bármely két számnak létezik legnagyobb közös osztója. Az Agda fordító ebből a bizonyításból készít algoritmust. Az algoritmus gyosasága a bizonyítás módjától függ. A kapott algoritmus helyessége a bizonyítás helyességéből következik, amit a fordító ellenőriz. Ez talán nehézkesebbnek tűnik, mint a hagyományos programozási tevékenység (definíció + tesztelés), de cserébe kevesebb hiba marad a programban. |
|
|
19:00 CET
|
19:30 CET
|
Plénum Minden héten keddenként gyűlünk össze megbeszélni ügyes-bajos dolgainkat. Ilyenkor elég sokan összejövünk, és a közösség ügyei mellett saját projektjeinkről is szoktunk diskurálni. |
|
|
19:00 CET
|
20:00 CET
|
Hakk csütörtök Ezt az eseményt nem szerveztük, magától alakult így. Csütörtökönként többen összejövünk a legkülönfélébb közösségi vagy saját projekteken dolgozni. Nagy helyismerettel rendelkező, senior haxoraink mindenféle challenget supportálnak, de bele is lehet kapcsolódni már futó fejlesztésekbe, legyen az szoftver, elektro, barkács, bio, vagy más egyéb. Noobokat is szeretettel várunk! Mielőtt jönnél, nézd meg a főoldalon, hogy nyitva vagyunk-e. Egyébként az esemény legalább 22 órág szokott tartani, de vannak, akik éjfélig maradnak. Sajnos itt a calendarban csak 20 óráig lehet eseményeket megadni. Éljen a tikiwiki! :P |
|
|
18:00 CET
|
19:15 CET
|
Agda Folytatjuk az Agdázást! |
|
|
19:00 CET
|
19:30 CET
|
Plénum Minden héten keddenként gyűlünk össze megbeszélni ügyes-bajos dolgainkat. Ilyenkor elég sokan összejövünk, és a közösség ügyei mellett saját projektjeinkről is szoktunk diskurálni. |
Log In
Upcoming Events
No records to display