A three-valued logic packed into an Int8 can still be pattern matched like an ordinary data type, exhaustiveness checks included. Pattern synonyms do it with no Template Haskell, and they work on types you didn't write, like Word8. www.mlabs.city/blog/pattern... #Haskell #FunctionalProgramming

Show Post

The call for contributions to #BOBkonf2027 is still open for one more month! We'd love to see yours. Submission deadline is 2nd November. Find more information, check bobkonf.de/2027/cfc.html #BOBkonf

Show Post

The wait is almost over. Pinehurst Station opens Sept. 30! Stop by from 2–6 p.m. to celebrate with your community and be among the first to ride. Learn more: www.soundtransit.org/pinehurst

Show Post

"fold catastrophes" is what I call space leaks in Haskell 😅

Show Post

My ZuriHac 2026 talk recording is up! youtu.be/2PebXEak24M

Show Post