- 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)
05.03.2026, 18.00 - 21.00, T2:C3-340, FEL ČVUT, Technická 2, P-6
