Vitaly Bragilevsky
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- LambdaConf2 editions2018–2024
all 9 in the filters
on a stage with
never shared a talk
who talks about the same things
- Michael Snoyman11 talks
- Steve Klabnik31 talks
- Alex Snaps10 talks
- Alex Crichton7 talks
- Nick Cameron7 talks
- Venkat Subramaniam243 talks
| title | conference | date |
|---|---|---|
| Beyond println!: Mastering Rust Debugging | Rustikon 2026 | 2026-03-19 |
Explains how DWARF/PDB maps binaries to source and how LLDB/GDB actually interpret that data, showing 54% use println as the current reality, and demonstrating… | ||
| Luckily, You Don’t Have to Rewrite Everything in Rust | Voxxed Days Thessaloniki 2025 | 2025-11-07 |
Rust reaches stable ten years ago but maintains six‑week releases and a small ecosystem—about 15% developer usage on Stack Overflow versus Java’s 30%—with over… | ||
| Demistifying Rust Debugging | RustLab 2025 | 2025-11-03 |
Survey shows >50% still use println, ~31% use IDEs, 10% use GDB/LLDB and 6% never debug, and the talk maps why: debug info comes from DWARF/PDB, debuggers are… | ||
| “RustRover in 2025: Code • Debug • AI” | RustConf 2025 | 2025-09-02 |
RustRover adds five concrete features: visualizing variable lifetime with blue/red segments that pinpoint the exact borrow-check conflict, completion items… | ||
| I/O in Rust: the whole story | EuroRust 2024 | 2024-10-10 |
Rust file reads often end up as blocking syscalls for files (std::fs read or Tokio spawning blocking threads), while networking uses multiplexing (poll/select… | ||
| Functional effects in perspective | Lambda World 2024 | 2024-10-02 |
Traces effects to the 1994 paper extensible denotational language specifications and argues languages now add effects either as libraries or core features… | ||
| Debugging with IntelliJ IDEA | Voxxed Days Trieste 2024 | 2024-05-30 |
Shows live IDE demos: hot swap and Force return to inject a string or throw an exception at runtime; lambda breakpoints and stream chain tracing to see… | ||
| KEYNOTE: FP Meets OS: The Case Of I/O | LambdaConf 2024 | 2024-05-04 |
Argues that I/O forces knowledge of hardware and OS, then shows concrete implementations and tradeoffs: device-level techniques like DMA and interrupts versus… | ||
| Let’s Set Sail With Fleet! | IntelliJ IDEA Conf 2022 | 2022-09-29 |
Fleet is a lightweight distributed IDE that flips between a plain editor and Smart Mode which loads IntelliJ and LSP code engines, showing live code… | ||
| Type Theory Behind the Glasgow Haskell Compiler Internals (Part 6) | LambdaConf 2018 | 2018-06-03 |
Traces the concrete extensions to GHC Core: role-based coercions (implemented in 2015), System FC variants (FC2, FC‑, FCPro) that add roles, data promotion and… | ||
| Type Theory Behind the Glasgow Haskell Compiler Internals (Part 5) | LambdaConf 2018 | 2018-06-03 |
Tracks the concrete claim that GHC Core grows by one clean extension — System F_Omega → System FC — adding coercions as types to compile GADTs and associated… | ||
| Type Theory Behind the Glasgow Haskell Compiler Internals (Part 4) | LambdaConf 2018 | 2018-06-03 |
Explains that GHC Core is essentially System F Omega plus algebraic datatypes for decades, demonstrates concrete translations from Haskell source into… | ||
| Type Theory Behind the Glasgow Haskell Compiler Internals (Part 3) | LambdaConf 2018 | 2018-06-03 |
History of how GHC Core actually changes: precise extensions (GADTs, type families, data kinds, type/kind equality, moves toward dependent types), the encoding… | ||
| Type Theory Behind the Glasgow Haskell Compiler Internals (Part 2) | LambdaConf 2018 | 2018-06-03 |
Follows the GHC compilation pipeline down to the internal, explicitly typed GHC Core, shows how Haskell features become concrete Core constructs (GADTs, type… | ||
| Type Theory Behind Glasgow Haskell Compiler Internals (Part 1) | LambdaConf 2018 | 2018-06-03 |
Claim: GHC implements type theory concretely, not just as lore—GHC Core = System F + algebraic datatypes and successive extensions add GADTs, type families… | ||
| nothing matches | ||