Adam McCullough
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- LambdaConf5 editions2017–2025
on a stage with
never shared a talk
who talks about the same things
- Pawel Szulc28 talks
- Michael Snoyman11 talks
- Michael Sperber15 talks
- Alejandro Serrano Mena14 talks
- Eric torreborre11 talks
- Tony Morris16 talks
| title | conference | date |
|---|---|---|
| Killed by Worse is Better - What we can learn from the last time FP failed | LambdaConf 2025 | 2025-05-12 |
Argument: functional languages lose for adoption reasons not purity; concrete examples appear. Comparison of Lisp commercialization (LMI 3–4 engineers versus… | ||
| Killed by Worse is Better What we can learn from the last time FP failed (TBR) | LambdaConf 2025 | 2025-05-12 |
Argues a concrete cause: functional languages lost not from theory but from adoption factors — Lisp versus Unix tradeoffs, Haskell’s slow standards and Cabal… | ||
| Type Safety Or Security Theater: Using Servant And Yesod As Case Studies | LambdaConf 2024 | 2024-05-04 |
Argues that strong types can be genuine safety or just costly ritual, backing it with concrete comparisons: error handling patterns in Go, Rust ergonomics, the… | ||
| Rust's Borrow Checker Proven Correct! | LambdaConf 2019 | 2019-06-05 |
Claim: borrow checker proven correct for a formal subset of Rust — lifetimes, ownership and aliasing get modeled and the properties are machine-checked… | ||
| Monad Transformers for the Easily Confused | LambdaConf 2018 | 2018-06-03 |
Claims that monad transformers let different effects be composed are demonstrated with concrete Haskell code, a tiny Stack repo, and the transformers package… | ||
| Greek Classics: Lambda Calculus For Beginners | LambdaConf 2017 | 2017-05-25 |
Starts from the identity function and shows concrete reductions step by step, demonstrating beta reduction and where substitution terminates or diverges (Omega… | ||
| nothing matches | ||