Profile avatar
bisimulation.bsky.social
🇮🇹 • alecsferra.github.io
224 posts 35 followers 36 following
Regular Contributor
Active Commenter
Posts 17 Comments 33

Grok, does it type check?

submitted 9 hours ago • 0 comments

Yeah I do research on LLMs: Large Lazy Monads

submitted 1 day ago • 1 comment

Mandatory Liquid Haskell programming

submitted 1 day ago • 0 comments

Page limits

submitted 1 day ago • 0 comments

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

submitted 2 days ago • 0 comments

Why is Haskell LSP such a pain to use?

submitted 3 days ago • 2 comments

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

submitted 9 days ago • 0 comments

Wow, a comment on HN I actually agree with!

submitted 9 days ago • 43 comments

Someone stole our poster about the missing kettle

submitted 9 days ago • 0 comments

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

submitted 10 days ago • 1 comment

Btw you can literally ignore laws you don't like

submitted 10 days ago • 1 comment

Why are home renovation videos so addicting?

submitted 11 days ago • 0 comments

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

submitted 11 days ago • 1 comment

I miss GTA4

submitted 12 days ago • 0 comments

Please stop

submitted 12 days ago • 0 comments

Tridirectional typechecker: Synthetis, Checking and Crashing

submitted 13 days ago • 0 comments

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

submitted 13 days ago • 2 comments