Haskell's Aeson writes a big Integer as a bare JSON number. JavaScript's JSON.parse silently loses precision on it. purescript-aeson decodes arbitrary-length numbers so both sides agree.
@mlabs-consulting.bsky.social
@mlabs-consulting.bsky.socialHaskell's Aeson writes a big Integer as a bare JSON number. JavaScript's JSON.parse silently loses precision on it. purescript-aeson decodes arbitrary-length numbers so both sides agree.
@mlabs-consulting.bsky.socialOne change to a Haskell substring search made its worst case about 15% faster. It also made the best case almost seven times slower. Benchmark only the worst case and it looks like a win.
www.mlabs.city/blog/first-k... #Haskell #FunctionalProgramming
@mlabs-consulting.bsky.socialIn Haskell, 1 % 0 only fails at runtime, because % is a smart constructor. A quasiquoter can reject it at compile time, and it also works in a pattern match, which % can't.
www.mlabs.city/blog/quasiqu... #Haskell #FunctionalProgramming
@tngtech.comLast weekend, we hosted #MuniHac, our annual #Haskell community event with hackathon. More than 80 Haskell fans got together for hacking projects, talks, and learning more about this intriguing programming language. The keynotes are now available here: www.youtube.com/playlist?lis...
@jalonso.eurosky.socialWeekly reads: Oct 5 – Oct 11, 2026. jaalonso.github.io/vestigium/po...
#AI4Math #Autoformalization #CAS #FunctionalProgramming #Haskell #IsabelleHOL #ITP #LeanProver #Logic #Math #RetoLean4 #RocqProver
@symbo1ics.bsky.socialHighlights and video links in replies.
@haskell.orgDominik Schrempf explored the vision and the architecture behind hs-bindgen, which automatically generates #Haskell FFI bindings from C header files.
@haskell.orgZiyang Liu showed us how a good understanding of your compiler can make you a much better functional programmer, especially in #Haskell
@haskell.orgManuel Chakravarty presented us Accelerate, the embedded language for high-performance computing in #Haskell
@sjoerdvisscher.w3future.comproarrow 0.3.0.0 is now released with this feature. #haskell #categorytheory
@nikolozp.bsky.socialYesterday I spoke at #MuniHac: "Triage, or How I Finally Got Away With Haskell in Anger". Thank you to the organizers, and to everyone who shared questions and opinions, from enthusiasts to Haskell veterans. A great experience! 🙏
@philip-schwarz.bsky.social
@mlabs-consulting.bsky.socialGame of Life in Haskell took 242 ms per update with vector and 11.2 ms with massiv stencils, on the same memory. A 3D cellular automaton went from 418 ms to 39 ms.
www.mlabs.city/blog/our-per... #Haskell #FunctionalProgramming
@flora.pm
@jalonso.eurosky.socialOnline edition of "Haskell: the craft of functional programming". ~ Simon Thompson. simonjohnthompson.github.io/haskellcraft/ #Haskell #FunctionalProgramming
@mlabs-consulting.bsky.socialA 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
@chiroptical.devI'm looking for early feedback on gitlab.com/chiroptical/... #haskell. The basic idea is to describe building blocks (bricks) which define inputs, outputs, dependencies, and their capabilities. Put those bricks together to form "layouts".
@lobsters-feed.bsky.socialDesigning Haskell libraries for qualified import https://lobste.rs/s/hm3lmb #haskell
@mlabs-consulting.bsky.socialMap two 20-element arrays on Cardano, then zip them. Through builtin lists, 88.1M CPU units. With Plutarch's pull arrays, 44.1M and half the memory. Longer pipelines skip more intermediate lists.
@mlabs-consulting.bsky.socialA Cardano script compared a big constant with itself. Inlined twice, it cost 578,965 CPU units. Bound to a variable, 668,284. In UPLC every variable needs a lambda and an apply around it, and you pay for both.