Akce ČVUT
| Dnes | ||||||
|---|---|---|---|---|---|---|
| « | listopad 2025 | » | ||||
| Po | Út | St | Čt | Pá | 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 |
Student Programming Language Meetup (Mannová & Starý, Hollmann, Atlas)
20.10.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)
- Místo konání
- T2:C3-132, FEL ČVUT, Technická 2
- Kontaktní osoba
- Ing. Jakub Dupák, dupakjak@fel.cvut.cz
- Podrobnější informace
- https://student-meetup.prgprg.org