iiinova — where your digital self keeps evolving

Soares Chen

@maybevoid.com

152 followers 227 following 107 posts

Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ maybevoid.com ∘ contextgeneric.dev

Posts Replies Media

Soares Chen @maybevoid.com · 21/02/2026

Context-Generic Programming (CGP) now has a new website! We have now migrated from Zola to Docusaurus. This blog post explains the reasons behind the move. contextgeneric.dev/blog/2026/02...

131

Soares Chen @maybevoid.com · 02/06/2025

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!

020

Soares Chen @maybevoid.com · 14/12/2024

I have done my first Rust compiler hacking, and fortunately it is rather simple for me to get the compiler to spit out additional error messages that I needed to help debugging context-generic programming! In the screenshot below prints the extra help that shows `Person: Serialize`!

100

Soares Chen @maybevoid.com · 08/12/2024

Well at least by using proc macros with continuation-passing-style, I am able to "concatenate" multiple lists of component names as syntax, and then use that to generate new component wiring in #CGP.

000

Soares Chen @maybevoid.com · 07/12/2024

My parents in law have come from China to visit us in Germany. It is crazy how much many issues I can finish in one Saturday evening, if I can just stay in my room and code without having to take care of my daughter, cook meal, and do house chores.

010

Soares Chen @maybevoid.com · 04/12/2024

Unfortunately it looks like my CGP magic broke the Rust compiler. Seems to be a deep normalization bug that involves deref, blanket traits, two associated types with constraints that refer to each other, and link error when computing the ABI of a struct.

100

Soares Chen @maybevoid.com · 01/12/2024

My time availability is so pathetic that I can only write GitHub issues on tasks that I still need to complete for my cgp crate before it is ready for official release.. And yet just that alone took 2 hours which is all the time I got for a weekend. github.com/contextgener...

100