Profile avatar
bisimulation.bsky.social
🇮🇹 • alecsferra.github.io
183 posts 33 followers 34 following
Regular Contributor
Active Commenter
Posts 15 Comments 35

Tridirectional typechecker: Synthetis, Checking and Crashing

submitted 9 hours 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 14 hours ago • 2 comments

LLMs are a good replacement for Hoogle

submitted 1 day ago • 0 comments

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

submitted 1 day ago • 0 comments

Paper got rejected 😭

submitted 1 day ago • 0 comments

Posted my usual anti gamedev take on twitter and got a reply from some guy making a game where you play a British border guard shooting immigrants

submitted 2 days ago • 1 comment

Trees that overgrow

submitted 2 days ago • 1 comment

YouTube suggestions be like: you should do fentanyl

submitted 4 days ago • 1 comment

I look at the "how financially bad it is to do a PhD" graph every day for motivation

submitted 4 days ago • 0 comments

When requesting a visa, going to a conference is considered work? Even if I don't get paid?

submitted 5 days ago • 0 comments

No agda syntax on the slides

submitted 5 days ago • 0 comments

Log-plotting as a form of art

submitted 8 days ago • 0 comments

God bless "filetype:pdf"

submitted 9 days ago • 0 comments

>>= syntax for monadic bind is now banned from talks

submitted 10 days ago • 1 comment

The EU should fine to death Apple and Google and use the money to steal researchers from the US

submitted 11 days ago • 1 comment