I was able to use a Bergamot widget it in a recent post on formally verified static analysis. It's quite nice to be able to play with the formal semantics of a language and try them out on different programs!

#formalverification #compilers

danilafe.com/blog/05_spa_...

All code written is a liability. Therefore, never write tests or monitoring or glue scripts or helper functions.

It's not like you want to be writing MORE code, right? That's just more liability!

Screenshot of a two-dimensional, platformer video game. A number of lights pepper the screen, and a green blob is in the center.

Hey Bluesky! First post here, thought I'd kick it off by sharing a screenshot from a game prototype I made years ago. I still really like the aesthetic. Hoping to explore the #gamedev community around here some more.

I believe, but I'm not sure, that Ctrl-e to go to the end of a line and Ctrl-a to go to the beginning in an interactive program is also a social rule. LLDB supports it and so do bash/zsh, but I swear I've seen programs that don't care.