Readings shared March 24, 2026

The readings shared in Bluesky on 24 March 2026 are: Synthetic differential geometry in Lean. ~ Riccardo Brasca, Gabriella Clemente. #LeanProver #ITP #Math The spectral comb and the Riemann hypothesi

Vestigium

Starting the stream in about 10 minutes. Let chaos reign. Or just come chill.

https://twitch.tv/agentultra

#haskell

agentultra - Twitch

Streaming adventures in Haskell programming. I like cats, reading, music, and board games too.

Twitch

“I have no IO monad and I must scream.”

“Sorry. Emitting heat is the best I can do.”

#haskell

Liberator: A drag-and-drop visual programming environment for Haskell. ~ Miles Berry. https://github.com/milesberry/liberator #Haskell #FunctionalProgramming
GitHub - milesberry/liberator: A drag-and-drop visual programming environment for Haskell, designed for teaching AQA A-Level Computer Science. Build programs by connecting nodes on a canvas instead of writing text — then evaluate them live to see results.

A drag-and-drop visual programming environment for Haskell, designed for teaching AQA A-Level Computer Science. Build programs by connecting nodes on a canvas instead of writing text — then evaluat...

GitHub

Packages like `text` reach into the unstable bowels of #GHC to avoid allocating intermediate structures when reading IO.

But it is possible to do fusible lazy IO:

```
produce :: IO [Char]
produce = IO $ \s0 ->
(# s0 , build $ \c n ->
let go s = case runIO getChar s of
(# s' , x #) -> c x (go s')
in go s0
#)
```

Perhaps GHC could expose something like that and the text package could use it.

#haskell

i try to do something im happy to put out into the world each day (often i fail!) before i get into my regular work. today i worked on some edits to Learn You a Haskell, just minor edits but still feels good. and the folks maintaining it are super nice!
https://github.com/learnyouahaskell/learnyouahaskell.github.io/pull/133 #haskell
Update syntax-in-functions.md by ellyxir · Pull Request #133 · learnyouahaskell/learnyouahaskell.github.io

italicise "where" since it's a keyword

GitHub
Designing a Spatula (in Haskell) (Video)

0 comments

Lobsters

Over the weekend I finished making this (fairly silly) video:

https://www.youtube.com/watch?v=R_uQ7Y31e50

#haskell #cad

Designing a Spatula (In Haskell)

YouTube
New qjanno release v1.0.1.0! Please see the changelog here: https://github.com/poseidon-framework/qjanno/releases/tag/v1.0.1.0 #aDNA #OpenData #Haskell
Release Release v1.0.1.0 · poseidon-framework/qjanno

This is a maintenance release to bring qjanno in sync with Poseidon v3.0.0. It comes with a new column order template for .janno files, featuring the new columns introduced with the v3.0.0 schema r...

GitHub