CTU Events
| Today | ||||||
|---|---|---|---|---|---|---|
| « | October 2025 | » | ||||
| 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 (Mannová & Starý, Hollmann, Atlas)
20 Oct 2025 18:00-20:59
• Povídání o děrných štítcích a páskách: speciální hosté Dr. Božena Mannová a prof. Oldřich Starý
• Zig comptime a co se s ním dá dělat: Max Hollmann
• Stacking monads: Michal Atlas
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-132, FEL ČVUT, Technická 2
- Contact person
- Ing. Jakub Dupák, dupakjak@fel.cvut.cz
- More information
- https://student-meetup.prgprg.org