ATROCIOUS big pharma price gouging of insulin: This crying mother can’t afford the $1000 for her son’s insulin. 📌yet, it only costs pharma $5 to produce. 📌Insulin was invented 100 years ago by Fred Banting—who donated patent for $1 to make it free for all. Let that sink in.

Thanks to @WWTF for supporting [email protected] | (spec|ver)ification | security and my previous research project, and for highlighting us today in their #WWTFeinblicke.

Huge ABCI++ spec upgrade here: github.com/tendermint/spe… Amazing new functionality coming to Tendermint based chains.

Welcome aboard 🚀

The issue with “trusted bridge” design is that it is not about trusting people to behave nicely, it is about trusting people to write correct software. Check out this talk from Principal Scientist Josef Widder at CSCON1 hosted by ChainSafe last year. youtube.com/watch?v=pVGjJ_…

Austria reimposes mask mandate as coronavirus cases continue to rise

Good news! You are working on formal methods and blockchain technology, here is a place to discuss and make these fields progress: FMBC'22 - FLoC's satellite. 🖊️ You should consider to submit your work -- abstract deadline 3rd May AoE: fmbc.gitlab.io/2022/cfp.html

Austria were so hyped after their first #WEURO2022 win, they crashed the press conference 🤣 (via Caoimhe O'Neill)

Ehrenkreuz für Wissenschaft und Kunst 1. Klasse from the Republic of Austria for Tom Henzinger !

1/ Today we announce the launch of CometBFT, a state machine replication engine for the interchain! CometBFT is a fork and successor of Tendermint Core, stewarded by Informal Systems 🌱 and supported by Interchain Foundation on behalf of the wider Cosmos - The Interchain ⚛️

Looking for a PhD student to work on testing and analysis of distributed systems and blockchains. Job posting: tudelft.nl/over-tu-delft/… Application deadline: 16 October 2023 SERG TU Delft TU Delft

I’ve been using it extensively in the last months, and Quint is amazing for modeling protocols and distributed algorithms. A huge step forward!

Wanna help me build Quint and make formal methods more accessible? We're hiring! informalsystems.bamboohr.com/careers/51

Congratulations to the new Doctor. Jure has written an excellent thesis and his presentation today was amazing.

Beside Malachite, my colleague Josef Widder will talk about Quint language and how we've been using it to correctly design and refine the protocols for decentralizing the Starknet 🐺🐱 stack. By the way, we just launched the website for Quint -- quint-lang.org

My workshop is tomorrow at 11:20 at @NebularBuilders . Come join me and start your Quint journey by proving properties for pokemon battles! Add to your calendar -> calendar.google.com/calendar/rende…

bm. Gabriela Moreira⁩ teaching a room full of devs ⁦@NebularBuilders⁩ how to be the baddest bug catchers with Quint. Gotta catch em all!

A little bit of how we can use Quint to understand protocols 🧠. Check out all of the Quint specs written for Malachite in their GitHub repo 👇