bisimulation.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

bisimulation.bsky.social

🇮🇹 • alecsferra.github.io

221 posts 34 followers 36 following

Posts 18 Comments 32

Yeah I do research on LLMs: Large Lazy Monads

submitted 16 hours ago • 1 comment

Mandatory Liquid Haskell programming

submitted 17 hours ago • 0 comments

Page limits

submitted 17 hours ago • 0 comments

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

submitted 1 day ago • 0 comments

Why is Haskell LSP such a pain to use?

submitted 2 days ago • 2 comments

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

submitted 8 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 10 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 11 days ago • 0 comments

Please stop