Profile avatar
bisimulation.bsky.social
🇮🇹 • alecsferra.github.io
221 posts 34 followers 36 following
Regular Contributor
Active Commenter

Yeah I do research on LLMs: Large Lazy Monads

Mandatory Liquid Haskell programming

Page limits

I fixed the haskell lsp still breaks with liquid haskell for some reason

Why is Haskell LSP such a pain to use?

If an AI generated video looks real enough it is a real video

Wow, a comment on HN I actually agree with!

Someone stole our poster about the missing kettle

We have syntax highlighting for PLs but we don't have it for math

Btw you can literally ignore laws you don't like

Why are home renovation videos so addicting?

Why in literally every compiler -Wall never enables *all* the warnings

I miss GTA4

Please stop

Tridirectional typechecker: Synthetis, Checking and Crashing

When you want to use the state monad no matter what you always will end up trying in order: runState, execState and then finally you remember that you actually wanted evalState

LLMs are a good replacement for Hoogle

I'm so salty about the rejection is not even funny