Hi, I'm Eric.
I’m an avid world traveler, photographer, software developer, and digital storyteller.
I help implement the Content Authenticity Initiative at Adobe.
Hi, I'm Eric.
I’m an avid world traveler, photographer, software developer, and digital storyteller.
I help implement the Content Authenticity Initiative at Adobe.
Found on 27 May 2026 via Mastodon 485
via Astra Underscore (@astra_underscore@wetdry.world): I feel like some of you Rust freaks might be into this:
Creusot is a tool that helps you formally prove your Rust code is correct. It uses deductive verification to let you write specifications as annotations in your Rust code and then verify them automatically, bringing the power of formal methods to everyday Rust development.
Subscribe to my free and occasional (never more than weekly) e-mail newsletter with my latest travel and other stories:
Or follow me on one or more of the socials: