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.
