@lobsters Dependent if expressions without dependent types #Programming #Haskell #PLT
@lobsters Bluefin is a capability system #Programming #Systems #Haskell
@lobsters Coherence and orphan instance rules #Haskell #Programming #ComputerScience
@lobsters V0.1.0.0 of ghcup-gtk released #Haskell #Programming #OpenSource
@lobsters Simon Jones on Functional Programming, Thinking in Types, Useless Languages #FunctionalProgramming #Types #Haskell
@lobsters The ReaderT Design Pattern (2017) #Programming #SoftwareDesign #Haskell
@lobsters Haskell diagrams: Tessellations #Haskell #Programming #Art
@lobsters Perspec 1.0: A Haskell desktop app for perspective correction of document photos #Haskell #Software #Graphics
@lobsters Selective Applicative Functors #Haskell #Programming #FunctionalProgramming
@lobsters Haskell: origins, evolution, and future #Haskell #Programming #FunctionalProgramming
@lobsters Serokell's Work on GHC: Dependent Types, Part 5 #Haskell #Programming #OpenSource
@lobsters Solving Advent Of Code on FPGAs with Haskell Clash #Haskell #FPGA #Programming
@lobsters Fast Haskell Scripts on GitHub Actions #Haskell #GitHub #Nix
@lobsters Digital circuit simulator in Haskell #Haskell #Programming #OpenSource
@lobsters Existentials on a Leash #Programming #Haskell #AI
@lobsters Type Safe Servant Auth Roles #Haskell #Programming #APIs
@lobsters Shake Blog #Tech #Haskell #OpenSource
@lobsters GHC Status Report #Haskell #Programming #Tech
@lobsters Enterprise Haskell at H-E-B #Haskell #Programming #Enterprise
@lobsters Unfolding trees breadth-first in Haskell (2025) #Haskell #Programming #ComputerScience
@lobsters Data-directed programming in Haskell (SICP2.4.3) #Haskell #Programming #FunctionalProgrammingLanguages
@lobsters After 7 years in production, Scarf has reluctantly moved away from Haskell #Haskell #Programming #SoftwareDevelopment
@lobsters Extreme Haskell: Typed Expression EDSLs (Part 1) #Haskell #Programming #SoftwareEngineering
@lobsters Mechanized type inference for record concatenation #Programming #TypeInference #Haskell
@lobsters Waterfall CAD Playground - A Haskell powered programmable-CAD environment, in the browser with WASM #Haskell #CAD #WebAssembly
@lobsters Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC #Haskell #Programming #LowLevel
@lobsters Diagrams for Penrose Tiles #Math #Haskell #Geometry
@lobsters Type-checked non-empty strings #Haskell #Programming #TypeSystem
@hackernews Type-checked non-empty strings #HackerNews #Tech #Haskell
@lobsters [Call for Participation]: 2.5 hour Haskell Foundation Online Workshop #Haskell #Community #Workshop
@hackernews Record type inference for dummies #HackerNews #Tech #Haskell
@lobsters Record type inference for dummies #Programming #Haskell #TypeSystem
@lobsters Nix for Haskell: Static Builds #Haskell #Nix #Programming
@lobsters Making GHC upgrades easy #Haskell #Programming #DevTools
@hackernews Show HN: Sabela - A Reactive Notebook for Haskell #HackerNews #Tech #Haskell
@lobsters Using Notes in the Glasgow Haskell Compiler #Haskell #Programming #DevTips
@hackernews H2JVM - A Haskell Library for Writing JVM Bytecode #HackerNews #Tech #Haskell
@lobsters Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors? #Haskell #Programming #Dev
@lobsters Announcing Mutation Testing in Haskell #Haskell #Programming #SoftwareDevelopment
@hackernews Mutation Testing in Haskell #HackerNews #Tech #Haskell