*** Exception: ExitSuccess 🤔

The Kickstarter is live. Welcome to TaleSpire everyone! kickstarter.com/projects/bounc…

Rock, a little library inspired by Build systems a la carte, used in Sixten for its query-based architecture, is now on Hackage: hackage.haskell.org/package/rock

case tired of head:tail case wired of x:xs case inspired of i:nspired

For all I complain about Haskell, sometimes I just have to sit back and marvel at how unbelievably pleasant I find building complicated software in it relative to every other programming language I’ve ever used. I have so much gratitude for all the people who have worked on it.

It is impossible to write a program that decides P ∨ ¬P for arbitrary P. If we could do that, we could implement the Halting oracle, which does not exist. Except that we can – if we can record the state of the universe and restore it later.

I wrote a bit about profiling in Haskell and how I made a compiler 9x faster. Guess I'm a blogger now? ollef.github.io/blog/posts/spe…

New blog post on compiler architecture: ollef.github.io/blog/posts/que…

I shall advertise my papers now. ICFP 2020: github.com/AndrasKovacs/i…. On "impredicative type inference". TBH it's far better than previous attempts.

petition to rename unicode to 'all the agda characters'

My best and most important work

London Perf Summit #2 is almost here ! Meet Olle Fredriksson (Olle Fredriksson) as he presents how to build real-time tooling and incremental compilers using a build system library called Rock #londonperfsummit Sign-up here: bit.ly/londonperfsumit youtu.be/NSBfJC-pvmI

It's a bit crude now, but if you want the fastest parser library in Haskell, which is a) on Hackage b) can be used for real-world programming language parsing with reasonable effort, see this: hackage.haskell.org/package/flatpa…