My first language was TI-basic, where I ran into my first distributed systems problem. Maybe my path was set by the time I left elementary school
Snails are under-appreciated. Just little shell puppies
Dipping falafel in hummus is kinda great. Like yes, I would like some chickpeas with my chickpeas
The difference between understanding SMT solvers and *understanding* SMT solvers is important
a thing i really love about the bluesky migration is instead of trying to import contacts, it has successfully recreated the feeling of trying to find your friends after a natural disaster, with a severely cracked phone screen.
Infinite regression of fixing broken bike parts is real
You know the codebase is gonna be good when the Readme has a link to the paper it's based on