Lightning talks
summary
Benchmarks show a Haskell library block-io-uring reaches about 1.45M IOps on eight cores and hundreds of thousands of lookups/sec in a production on-disk KV store using direct IO; library submits batches of pinned buffers and doesn’t block other Haskell threads. Other lightning items include a GHC constraint plugin that synthesizes transitive instance evidence, a QED-proof workflow that emits prover files to justify type-level lemmas, and a Glean index of Stackage (~1 GB, ~10 minutes to build) for cross-package symbol queries.
AI-written summary · about
chapters (8)
- 0:00Lightning talks intro
- 0:10High-performance disk IO with io_uring
- 6:14Type class resolution adventures
- 14:26Proving type constraints with GHC plugin
- 21:51Plugin alternatives and tradeoffs
- 24:17Indexing Hackage with Glean
- 33:22Verifying hardware in Haskell
- 37:11Q&A
related talks
36mLightning Talks
01h 04mHaskell - A Peek Inside the Ivory Tower
01h 26mReflections on Haskell@Meta
14mExecution domains in GHC/Haskell (Lightning Talk)
56mDeterministic Parallel Programming with Haskell
01h 02mOptimising for fast builds with GHC
47mIndustrial Strength Laziness: What's Next?
46mPainless software development with Haskell