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

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

submitted 20 hours ago • 1 comment

Btw you can literally ignore laws you don't like

submitted 20 hours ago • 1 comment

Why are home renovation videos so addicting?

submitted 1 day ago • 0 comments

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

submitted 1 day ago • 1 comment

I miss GTA4

submitted 2 days ago • 0 comments

Please stop

submitted 2 days ago • 0 comments

Tridirectional typechecker: Synthetis, Checking and Crashing

submitted 3 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 3 days ago • 2 comments

LLMs are a good replacement for Hoogle

submitted 4 days ago • 0 comments

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

submitted 4 days ago • 0 comments

Paper got rejected 😭

submitted 4 days 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 5 days ago • 1 comment

Trees that overgrow

submitted 5 days ago • 1 comment

YouTube suggestions be like: you should do fentanyl

submitted 7 days ago • 1 comment

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

submitted 7 days ago • 0 comments

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

submitted 8 days ago • 0 comments

No agda syntax on the slides

submitted 8 days ago • 0 comments