Find me on #BlueSky at https://xitter.cf/t.co/UWKMDbv9aJ ∘ Haskell ∘ Rust ∘ @MaybeVoid ∘ Programming Language Theory
Leipzig, Germany
Joined June 2008
- Tweets2.4K
- Following2.3K
- Followers2K
- Likes1.9K
Pinned Tweet
So long Twitter. If you can see my tweet, find me on #BlueSky at bsky.app/profile/maybevoid.c…
Soares Chen retweeted
Nobody gets more fast tokens out of a megawatt than us. Nobody.
· Bit-accurate log math is locked in.
· Chip is taped out with Broadcom and in wafer fab on TSMC 3nm.
· System bring-up of compute tray with HPE Juniper scale-up fabric is ahead of schedule.
Today we're publishing our whitepaper on how we solved for what really matters in AI inference.
How to stop fighting with coherence and start writing context-generic trait impls in Rust
contextgeneric.dev/blog/rust…
This blog post contains the slides and transcript for my presentation of Context-Generic Programming at RustLab 2025.
My RustLab presentation on **How to stop fighting with coherence and start writing context-generic trait impls** is now available on YouTube:
youtube.com/watch?v=gXIfP-W9…
Supercharge Rust functions with implicit arguments using CGP v0.7.0 🚀
contextgeneric.dev/blog/v0.7…
I am excited to announce the release of cgp-serde, a modular serialization library for Serde that leverages the power of Context-Generic Programming (CGP).
contextgeneric.dev/blog/cgp-…
Soares Chen retweeted
⚙️ Coherence rules getting in your way?
@soareschen introduces Context-Generic Programming — a paradigm to write truly generic trait impls without breaking Rust’s rules.
🕐 12:15 | 📍 Deep Ocean
#RustLab2025
Soares Chen retweeted
No more fighting the compiler! 😄
@soareschen showed how Context-Generic Programming lets Rust devs go beyond coherence limits — safely and elegantly.
#RustLab2025 #RustLang
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…
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…
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!
Tired of fighting Rust’s coherence rules?
@soareschen introduces Context-Generic Programming: a new way to write flexible trait impls without breaking the rules.
🧩 How to Stop Fighting with Coherence and Start Writing Context-Generic Trait Impls
#rustlang #rustlab2025
I'm excited to share the release of CGP v0.4.2, with new support for extensible records and variants! contextgeneric.dev/blog/exte…
In short extensible data types allows us to read, construct, and deconstruct a *generic* struct or enum without needing access to the concrete type.
Announcing Hypershell: a modular, type-level DSL for shell-scripting in Rust, powered by Context-Generic Programming!
contextgeneric.dev/blog/hype…
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.
Soares Chen retweeted
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/informalsystems/q…
Soares Chen retweeted
Remember #Quint?
Quint is a tool created by @informalinc that helps developers design and check if distributed applications work correctly, especially programs running on blockchains.
Here is an update 🧵
Heard about #Quint? 🤔
In simple terms:
Quint is a tool created by @informalinc that helps developers design and check if distributed applications work correctly, especially programs running on blockchains.
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/pu…
