Planet Haskell planet.haskell.org

Computer Says No: Error Reporting for LTL

wickstrom.tech·28w·Lobsters, Hacker News

Manuel M T Chakravarty: Applicative code —the IDE for functional programming— is now in beta and sports a Bluesky account to…

justtesting.org·29w

Well-Typed.Com: Case Study: Debugging a Haskell space leak

well-typed.com·29w

72: Manuel Chakravarty

buzzsprout.com·29w

GHC Developer Blog: GHC 9.14.1-rc1 is now available

haskell.org·29w

Tweag I/O: Continuous Performance Testing: staying fast

tweag.io·29w

Stock Market Shark: More Multidimensional DP

mmhaskell.com·29w

Ken T Takusagawa: [blyqokgn] simultaneously define record type and data

kenta.blogspot.com·29w·Blogger

Tweag I/O: Introduction to Agentic Coding

tweag.io·30w

Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Virtual Machine

abhinavsarkar.net·30w·abhinavsarkar.net

71: Stefan Wehr

buzzsprout.com·31w

Exploring Arrows for sequencing effects

chrispenner.ca·31w·Hacker News

Sandy Maguire: Arrows to Arrows, Categories to Queries

reasonablypolymorphic.com·31w·Hacker News

Well-Typed.Com: Verifying and testing timeliness constraints with io-sim

well-typed.com·31w

Programming in the Sun: A Year with the Daylight Computer

wickstrom.tech·32w·Lobsters, Hacker News, Hacker News, r/vim

Sandy Maguire: Theorems for Free Redux

reasonablypolymorphic.com·32w·Hacker News

GHC Developer Blog: GHC 9.14.1-alpha3 is now available

haskell.org·32w

Type Theory for All: The Goal of Science is to Communicate Ideas

wadler.blogspot.com·33w·Blogger

Tweag I/O: Single-line and multi-line formatting with Topiary

tweag.io·33w

Nix Steering Committee vote of no confidence

haskellforall.com·33w·Lobsters, Hacker News, haskellforall.com

Log in to enable infinite scrolling