CTU Events
| Today | ||||||
|---|---|---|---|---|---|---|
| « | March 2026 | » | ||||
| Mo | Tu | We | Th | Fr | Sa | Su |
| 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 | |||||
Student Programming Language Meetup (Říha, Jabůrek, Kafka)
05 Mar 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)
- Place
- T2:C3-340, FEL ČVUT, Technická 2, P-6
- Organizer
- J. Dupák
- Contact person
- J. Dupák
- More information
- https://student-meetup.prgprg.org