iiinova — where your digital self keeps evolving

Daniel

@endofunctor.bsky.social

I love Computer Science (especially programming languages, compilers and formal verification). I work on the Chapel programming language.

Posts Replies Media

Daniel @endofunctor.bsky.social · 01/12/2024

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

000

Reposted by Daniel

Hillel @hillelwayne.com · 26/11/2024

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!

3274

Daniel @endofunctor.bsky.social · 26/11/2024

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.

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

050