Here's a silly little Haskell chestnut! To start, what's the type of `head [map, map]`?

It's `(a -> b) -> [a] -> [b]`, same as regular `map`.

Now, what's the type of `head [map, filter]`? Answer in the reply skeet!

And using a LLM to explain bits and pieces that are a bit too dense for me to understand.

There is such a good alpha in using a debugger. I have been reading Tinygrad and it has helped my understanding alot when I can jump to a point and see the inputs and outputs. Stack info help you to infer the code flow, watchers reinforces the state machine that you have inside your brain.

LLVM is the greatest human monument ever built..and simultaneously might be least written about.

I have started a blog. I intend to use the blog to publish a series of articles on <insert-my-current-arcs>. My first article is on build reproducibility: my woes building a small kernel.