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!

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.