Daniel

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_...

01.12.2024 03:37 — 👍 0    🔁 0    💬 0    📌 0

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!

26.11.2024 19:42 — 👍 28    🔁 4    💬 3    📌 1

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.

26.11.2024 03:26 — 👍 5    🔁 0    💬 0    📌 0

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.

25.11.2024 22:32 — 👍 0    🔁 0    💬 1    📌 0