We're excited to announce the release of cgp v0.6.1, which brings several quality-of-life improvements to Context-Generic Programming in Rust. contextgeneric.dev/blog/v0-6-1-...

We have some bittersweet news: Lambda Days will take a break in 2026. But - we’re releasing something special 💛 🎥 All Lambda Days 2025 talk recordings are now public! 👉 youtube.com/playlist?lis...

The Call for Proposals for RustWeek 2026 is now open! If you’d like to give a talk, please submit your proposal via sessionize.com/rustweek-2026/ The CFP closes Dec 31. #rustweek2026 #rustlang

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-ser...

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

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. #RustLang contextgeneric.dev/blog/v0-6-0-...

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

My observation of ML frameworks from the POV of a functional programmer: PyTorch tensors are actually some kind of monad, with the dimensions being the "type" of the contained values.

Today’s my last day at AWS working on the Rust compiler. Unfortunately, back in July I received notice that I had to choose between moving to Boston from NYC, or leaving the company due to RTO policy. I unfortunately couldn’t abandon the city I plan on being my long term home.

Tired of fighting Rust’s coherence rules? [email protected] 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 will be presenting at @rustlab.it on how to stop fighting with coherence and start writing context-generic programs with @contextgeneric.dev. Use the discount code SP20FR to attend the conference with 20% discount! rustlab.it/talks/how-to...

🦀 We are proud to announce the Schedule for RustLab 2025! It’s not completed yet: there will be some minor changes or additions, especially in the workshops and social events areas, but this is it! Take a look at it and join us now! 🤗 👉 rustlab.it/schedule

Oh wow, so even Java has type classes now, or it looks more like Scala implicits. At least it is still good that Java is becoming more FP-friendly. Now when is Go's turn? www.youtube.com/watch?v=Gz7O...

The third and fourth parts of Extensible Data Types for Rust - the design and implementation of extensible records and variants - has been published! contextgeneric.dev/blog/extensi... contextgeneric.dev/blog/extensi...

Learn about how to build modular interpreters and visitors in Rust using CGP!

Surprisingly, it turns out CGP already supports fully monadic computation in Rust! It is just that the CGP monads are in the form `a -> m b` instead of the usual `m a`.

CGP v0.4.2 has been released, with brand new support for extensible records and variants. Check out the blog post to find out more! contextgeneric.dev/blog/extensi...

Howdy all. I'm unfortunately not going to be with my employer for much longer due to team relocation. If anyone has any info on roles that would allow me to continue my Rust compiler work (in New York City), they'd be greatly appreciated.

Oh wow, since when did Firefox implement native integration with all major LLMs like ChatGPT? Did they get any funding from that integration? How come I never seen any such news or discussion on Hacker News?

Finally I can get back to hacking the core CGP implementation! This time with a new CGP builder pattern for constructing Rust structs!

Damn.. I think I managed to get the Rust compiler to hang indefinitely when trying to write slightly more complex examples of Hypershell. 😅

I have created Hypershell as a proof of concept to showcase how CGP can be used to build highly modular and extensible DSLs, with the DSL programs expressed as Rust types!

The vibe coding debate focused mostly on beginners who code with AI without understanding programming fundamentals, and experts who bash that the code generated by AI is incorrect. But why not we *train* the AI to be good at teaching beginners on *hard* topics, e.g. Rust and functional programming?

Here are some sneak previews of what I have been working on for the past 2 weeks. Hypershell is a compile-time DSL for writing shell-script-like programs as Rust types. It is powered by context-generic programming, and is highly customizable and extensible!

I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05...

I am excited to share about the new release of #CGP v0.4.0! This update solves a major challenge in debugging CGP-related errors in Rust, simplifies the developer experience with new macros, and added new features such as presets and datatype-generic programming. contextgeneric.dev/blog/v0-4-0-...

It is now possible to do OOP-like inheritance at the type-level in #RustLang using #CGP! Our latest PR brings significant improvements to defining and using presets in CGP, with support for multiple-inheritance, and override mechanism to overcome the diamond inheritance problem.

A lot of new features have been added to the `#[cgp_getter]` macro! For the basic use cases, you can now define getter methods that return &str or Option<&T>, and the macro will generate getter implementations that read from String or Option<T> fields. github.com/contextgener...

new blog post! Explaining a useful rust programming pattern that not many people seem to know about. paper.wf/binarycat/sa... #rust #programming

[🚨NEW DOC ALERT🕹️] The Origins of Dwarf Fortress WATCH HERE: www.youtube.com/watch?v=MxV2... In the first episode of our four-part series we explore the pre-history of Dwarf Fortress and how two brothers embarked on the game design journey of a lifetime.

I am seeing Cargo build scripts are getting abused more and more to download and install arbitrary programs from Internet, especially for projects that extend Rust like Risc0 and Cairo. This is so annoying as it is both a security hazard and also breaks seamless Nix integration with Rust projects.

It was quite refreshing coming back from @bobkonf.bsky.social, being able to socialize with likeminded people about functional programming and temporarily forget about all the business nonsense in the tech world. I should join more FP conferences and revitalize my passion.

COMING SOON: The Story of DWARF FORTRESS - 4 part Series - 2 hours total runtime - Filmed over 3 years - Covers 20+ Years of Development - Episodes released over the next few weeks - Produced for fans, and total newbies. Episode One is also available right now for Early Access Patrons.

Finally return type notation is getting stabilized in Rust soon! github.com/rust-lang/ru... Hopefully this will finally allows me to get rid of the `Send + Sync` bounds everywhere in my #CGP code, including all the associated type trait bounds.

A great article that gives an overview of the coherence problem in typeclasses/traits has been surfaced on Hacker News. I am trying to take the opportunity to pitch about CGP and how it helps solve the given coherence problems. Help give me an upvote here: news.ycombinator.com/item?id=4334...

brb launching a movement: github.com/fasterthanli...

CGP now has a new logo! The website has been updated with the new logo and color theme: contextgeneric.dev There are many exciting features in the upcoming v0.4.0 release. In particular, CGP now shows much more informative compile errors that makes it much easier to debug CGP code.

Oops, the new AsyncFn in Rust 1.85 does not return Future that implements Send. It also seems like there is no way for me to specify that additional trait bound, since I can't access CallRefFuture. Guess that means I can't use AsyncFn just yet..

Oh wow the new `#[diagnostic::do_not_recommend]` pragma in Rust 1.85 is perfect for helping me remove the misleading "Deref is not implemented" error for my `HasField` trait in CGP! blog.rust-lang.org/2025/02/20/R...

I have found a pretty neat way to re-export everything inside a Rust module, including its private items, by adding a child module like: pub mod reexport_all { pub use super::*; }

I was reading some code recently that had a bunch of problems at various layers, and in spite of all my years of coding and the fact that it’s not even my project, I still find myself getting strong feelings of anguish and “pain”. I found myself wondering why. And now I know: 0x5.uk/2025/01/31/w...

❗Some big news: I quit my desk job to do youtube full time, and to work on projects like mindcraft! I have been wanting to do this for a while, and finally took the plunge. It is exciting and scary! Announcement video and channel trailer: www.youtube.com/watch?v=34Kh...

Who the hell at Apple think it is a good idea to bind the key `Cmd + R` to automatically rotate videos without confirmation in MacOS Finder?!

You should still care about modularity, even if you don't write modular code yourself. Because modularity allows you to reuse modular code written by *others*, so that you can write much less non-modular code yourself. #CGP #RustLang

instead of seeing the compiler as a partner in a feedback loop, they feel like any opposition is just "getting in their way"; it's adversarial rather than cooperative

My baby is stable in Rust!! Strict Provenance BAYBEEEEE doc.rust-lang.org/std/ptr/inde...

I have just published an update blog post on the release of #CGP v0.3.0, along with new book chapters! #RustLang contextgeneric.dev/blog/v0-3-0-...

We have just published an update blog post on the release of #CGP v0.3.0, along with new book chapters! #RustLang contextgeneric.dev/blog/v0-3-0-...

Rust 1.84 is out! This release includes a feature I’ve personally been waiting for: - Strict Pointer Provenance APIs blog.rust-lang.org/2025/01/09/R...