Tag: #liquid-haskell

Writing on GPUs, LLMs, MLOps, Kubernetes — and mindset · 2 posts

Modern Haskell 2026 — GHC 9.10 / 9.12 / GHCup / Cabal 3.14 / Stack / IHP / Servant / Effectful / Pandoc / Cardano Deep Dive ♪ Listenable
Haskell in 2026 is no longer "the language PhDs use to write papers". GHC 9.10 (May 2024) and 9.12 (Dec 2024) pushed the compiler another notch faster, and GHCup is now the officially recommended installer, simplifying t
2026-05-16 · 21 min read #haskell #ghc-9-10 #ghc-9-12 #ghcup #cabal
Lean 4 & Proof Assistants 2026 — mathlib / Rocq (formerly Coq) / Agda / Isabelle / FStar / AlphaProof / AIMO Deep Dive ♪ Listenable
In 2026, proof assistants are no longer a secret weapon of academia. Lean 4 has exploded since Leonardo de Moura moved to AWS; mathlib has crossed one million theorems and become a daily tool for first-rank mathematician
2026-05-16 · 24 min read #lean-4 #lean #mathlib #rocq #coq

Modern Haskell 2026 — GHC 9.10 / 9.12 / GHCup / Cabal 3.14 / Stack / IHP / Servant / Effectful / Pandoc / Cardano Deep Dive ♪ Listenable