@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.
@lobsters-feed.bsky.socialYou don't need an effect system https://lobste.rs/s/okq4dm #haskell
@lobsters-feed.bsky.socialMaking a GTK application in Haskell, part 1 https://lobste.rs/s/xmir2s #haskell #graphics
@mlabs-consulting.bsky.socialFinding one byte in 2 MiB of Haskell data: 880 μs naive, 123 μs with SWAR, 16.8 μs through C's memchr. Then we used memchr to find every match. It came out about 50% slower than the naive loop.
@jalonso.eurosky.socialWeekly reads: Sep 28 – Oct 4, 2026. jaalonso.github.io/vestigium/po... #AI4Math #Agda #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver
@huwcampbell.comI still feel like this could have been a viable getField implementation for Haskell
@haskell.orgThe London #Haskell meetup is looking for talk submissions for November, and for meetups early next year.
They're after lightning talks (~15 minutes) and full-length talks (~30 minutes).
How to submit: london-haskell.github.io#submit-a-talk
@mlabs-consulting.bsky.socialChecking a buffer is ASCII in Haskell, one byte at a time, ran at about 2.2 GiB/s worst case. Masking the high bit of 8 bytes per word got 13.75 GiB/s. Theory said eight times faster. We measured about six.
@huehnken.deAnyone still using Haskell for Mac, or know if it's maintained? And what do you use to play around with Haskell on a Mac these days?
@haskell.org"[ANN] Project Fluent for #Haskell" by the Institute for Digital Autonomy
@jalonso.eurosky.socialTeaching Haskell in the age of LLMs, part 1: ban or embrace? ~ Vladislav Zavialov. serokell.io/blog/teachin... #Haskell #FunctionalProgramming #LLMs
@jbzfn.bsky.social
@puffnfresh.mastodon.social.ap.brid.gyTurbo #Haskell, a JVM backend from Kmett: https://comonad.com/reader/2026/turbo-haskell/