x.com/i/spaces/1LyGB…

Stumbled upon this fantastic (& underrated) Youtube playlist covering the details of Hindley-Milner type inference (eg. unification). Loads of examples on paper & in code, they even go through the notation in the original HM paper -- would recommend! youtube.com/playlist?list=…

The Rust async fn and return-position impl Trait in trait PR has passed through review and in its final comment period. Looking forward for it to get merged soon! github.com/rust-lang/rust…

For the last 2 years, I have been working on a new specification language called Quint, based on TLA. Today, we are doing a first general announcement because we finally feel that it is good enough for people to use it and enjoy it :) github.com/informalsystem…

Remember #Quint? Quint is a tool created by Informal Systems 🌱 that helps developers design and check if distributed applications work correctly, especially programs running on blockchains. Here is an update 🧵

Announcing Context-Generic Programming (CGP) - a new modular programming paradigm for #RustLang! #CGP allows strongly-typed Rust components to be implemented and composed in a modular, generic, and type-safe way. Check out contextgeneric.dev to learn more.

I will be presenting at RustLab on how to stop fighting with coherence and start writing context-generic programs with CGP. Use the discount code SP20FR to attend the conference with 20% discount!

I am thrilled to announce the release of CGP v0.5.0! This new release includes many exciting features, including auto dispatchers, extensible datatype improvements, monadic computation, emulation of RTN, sneak preview of cgp-serde, and more. contextgeneric.dev/blog/v0-5-0-re…

I’m excited to announce the release of CGP v0.6.0! This version introduces major ergonomic improvements that make provider and context implementations simpler and more intuitive to write. contextgeneric.dev/blog/v0-6-0-re…

⚙️ Coherence rules getting in your way? Soares Chen introduces Context-Generic Programming — a paradigm to write truly generic trait impls without breaking Rust’s rules. 🕐 12:15 | 📍 Deep Ocean #RustLab2025

No more fighting the compiler! 😄 Soares Chen showed how Context-Generic Programming lets Rust devs go beyond coherence limits — safely and elegantly. #RustLab2025 #RustLang