Lennart Augustsson
where else to find them
github:augustss
what they talk about
all 7 in the filters
where they keep going back
- ZuriHac2 editions2025–2026
all 7 in the filters
on a stage with
- Guy L. Steele Jr.once
- Joachim Breitneronce
- Koen Claessenonce
all 7 in the filters
who talks about the same things
- Simon Peyton Jones26 talks
- Paul Snively6 talks
- Joachim Breitner8 talks
- Vaibhav Sagar6 talks
- Adam McCullough6 talks
- Ryan Orendorff9 talks
| title | conference | date |
|---|---|---|
| How Will LLMs Change Haskell, Programming and Open Source? | ZuriHac 2026 | 2026-06-06 |
Panel covers concrete effects: hardware firms build inference chips, one user spends $7–8k/month on tokens and runs agents; LLMs speed simple tasks but produce… | ||
| MicroHs Dead or Alive? | 2026 Haskell Implementors' Workshop | 2026-06-05 |
MicroHs now embeds base package into single binary so a standalone compiler+base runs (sample file 2.3 MB; compiler 440k, base saved ~800k) and recompiles… | ||
| Verse - A New Functional Logic Language | Lambda World 2025 | 2025-10-23 |
Verse is a new functional‑logic language used inside Unreal Engine for Fortnite (UEFN) and driven by Tim Sweeney’s design. It combines logical variables and… | ||
| MicroHs, a tiny Haskell Compiler | ZuriHac 2025 | 2025-06-07 |
MicroHs is a tiny Haskell compiler that translates Haskell to Turner-style combinators, emits a C byte array, then uses a C compiler to produce a compact… | ||
| Verse - a new functional logic language | Rebase 2024 | 2024-10-20 |
A new language designed at Epic mixes functional logic semantics (Curry/Mercury style) with a lenient evaluation model that evaluates in compiler-chosen order… | ||
| MicroHaskell (Lightning Talk) | HIW 2023 | 2023-09-04 |
A tiny Haskell implementation boots itself: runtime in C and a combinator-based compiler in Haskell recompile twice in under 30 seconds, producing identical… | ||
| The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmi... | ICFP 2023 | 2023-09-04 |
A new core calculus (VC) gives a small-step rewrite semantics for a deterministic functional logic language and implements unification and logical variables as… | ||
| Making EDSLs fly | Tech Mesh 2012 | 2012-12-04 |
Implements a typed EDSL in Haskell with both shallow vs deep embedding, builds a deep AST interpreter and an LLVM JIT code generation backend, and measures… | ||
| nothing matches | ||