Liam Goodacre
LightNews LightNews
banner
liamgoodacre.bsky.social
Liam Goodacre
@liamgoodacre.bsky.social
67 followers 95 following 5 posts
I try to tell computers what to do and sometimes they pretend to listen.
Posts Replies Media Videos
liamgoodacre.bsky.social
Inspired by Phil Freeman's water-level Tardis solution, here's an approach using a Day convolution of state, one running forwards the other backwards.

Tardis solution: gist.github.com/paf31/9d84ec...

Day state solution: gist.github.com/LiamGoodacre...
February 2, 2025 at 1:10 PM
liamgoodacre.bsky.social
Organising neovim config & theming tmux is seemingly a therapeutic pastime.
November 15, 2024 at 11:42 PM
liamgoodacre.bsky.social
Until today I naively thought that ApplicativeDo was relatively harmless. 😅
Haskell code: ``` {-# Language ApplicativeDo #-} data Thing c = forall i . Thing () i i data Some = forall i . Some i buildThing :: Monad m => m (Thing c) buildThing = do field0 <- undefined Some field1 <- undefined field2 <- undefined -- let _ = field0 -- uncomment to compile pure (Thing field0 field1 field2) ```
March 4, 2024 at 8:59 PM