The DH status page I've been working on is finally public. My beautiful task graph! 🥲 Now if I die, you know how to carry on the work.

ghc.serokell.io/dh

Haskell doesn't make I/O hard; it reveals that I/O is hard. Rust doesn't make manual memory management hard; it reveals that manual memory management is hard.

thegeneralist @nariwaaa emacs is essentially a thin C core Lisp interpreter/standard library, and a Lisp distribution that puts together an editor. - Everything in the editor can be edited and configured (ANYTHING) - Everything is documented and fully observable, you can literally just point at things

I’m really looking forward to the day I can attend Zurihac again. Zurihac 2023 and the GHC workshop were among the most memorable days of my life.

ویدیو های Haskell هنوز هم قراره بیان ولی با مقداری تاخیر.

My precious.

As a Haskeller, I actually write go all the time. It's the best name for a worker function.

Last night I got rejected by three US universities. I was a bit sad about it, but at the same time, I had some hope for the remaining three. Guess what I just discovered:

Drawing these was incredibly fun.

I can’t imagine being a programmer and not being a Haskeller. But I definitely can imagine being a Haskeller without being a programmer.

I just realized that emacs has a builtin command for deleting spaces up to the first character in the line , called "delete-horizontal-space" and it's bound to "M-\".

I have been using Solarized Light as my main theme -- I switch to Solarized dark after 9 p.m. -- and I've been absolutely loving it. Weirdly enough, it has much less strain on my eyes and I feel more focused. This is not an April Fools' joke.

Catgod, the heuristics of Kernighan–Lin Let's not shame people for learning.

LLM powered valid-hole fits! For the longest time this was impractical, no way were we going to ship GBs of weights for ML powered hole-synthesis with GHC. But with ollama, you can easily run an LLM that can do this! See example in the reply.

My right index finger when it finds out I have an interview in two days:

Hey Haskellers and non-Haskellers, do you have to "understand monads" to understand what this Hasklel program does? main = do putStrLn "What is your name?" line <- getLine putStrLn ("Hello " ++ line)

I remember the exact moment I fell in love with Haskell. I was listening to Monster theme by Jon Hopkins and reading about Applicatives when I saw: (+) <$> [1,2,3,4] <*> [5,6,7] and got the most intense goosebumps of my life.