Rodolfo Hansen

Voting on Catalyst Fund 13 is your chance to shape Cardano’s future. 🌍 FIDA’s projects are driving real-world impact, bridging blockchain with industries like insurance, cybersecurity, and finance. Here’s why your vote matters—and what these projects bring to the table. 🧵👇**

The best argument for Rust in 2026 is not memory safety or performance. It is that AI writes better Rust than it writes C++. The compiler feedback loop is so tight that models self-correct in real time. Every error message is a free training signal. Rust was accidentally designed for AI-assisted development 10 years before anyone knew that mattered.

finally, a language which combines the easiness of haskell and power of go type system presenting: Goskell

I’m available to hire! If you want to hire me and/or some of my Unison colleagues, we’re available. We offer a diverse set of skills and expertise, from Haskell, Scala, distributed systems, AI, and cloud computing. We will make your team extraordinary productive.

If only there were an agent runtime that provided: ✅ agent isolation ✅ per-agent file system ✅ durable memory ✅ transactional execution ✅ horizontal scalability ✅ quota management If such a thing existed, it could potentially become the distributed 'OS' of the future. 😉

Spent the last couple of days porting my program verification class from Dafny to Lean via Loom/Velvet, and it just works! Whenever the SMT solver can’t fully prove a program correct, Lean’s aesop and grind take care of the remaining goals.