Akce ČVUT

 Dnes
«  březen  2026  »
Po Út St Čt So Ne
            1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31          

Zpět na kalendář

Student Programming Language Meetup (Říha, Jabůrek, Kafka)

05.03.2026   18:00-21:00

- How do we grow our languages?: Filip Říha
- SIMD, aneb jak se nebát vektorových instrukcí: Martin Jabůrek
- Why PowerShell?: Matěj Kafka

Poznejte rozmanitá zákoutí programovacích jazyků, compilerů a runtime systémů v komunitě studentů a absolventů FEL ČVUT, FIT ČVUT, MFF UK.
Minulá témata
Zig Compiler Internals • Building a High-Performance Linker • How to Build and Break LLVM • Transpiling LLVM • Inside Rust Borrow Checker • Flow-Sensitive Typing (Kotlin) • Lua Register VM • Dependent Type Theory • Algebraic Effects • Type Kinds • Expression Problem • Continuations • Costs of Mutability • Theorems for Free • Automated Theorem Proving = Logic Programming • Isabelle/HOL • Symbolic Execution • Typst Template Lessons • Scalene Profiler • Breaking Python • Slightly Less Broken C • Inside PDF • APL • Φ Nodes are Functions! • WAT: Hardware Edition • Weird Stuff PowerShell Does • (a mnohem více)

Místo konání
T2:C3-340, FEL ČVUT, Technická 2, P-6
Pořadatel
J. Dupák
Kontaktní osoba
J. Dupák
Podrobnější informace
https://student-meetup.prgprg.org