How we can think about pushouts as applying rules via substitution, featuring examples in categorical databases and Datalog.

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language. - wren-lang/wren

A Necessary Evil

Today we’re excited to announce the first alpha release of CatColab 0.2: Wren. CatColab is software for making models of the world together.

Novel developments in theoretical and applied category theory enable users to design database schemas, create casual flows, and construct manifold PDEs using a single fluid syntax, and migrate between these different modes using functors.

Today we’re excited to announce the first pre-alpha release of our new software CatColab 0.1: Hummingbird. CatColab is software for making models of the world together.

language features are easily broken, mis-copied, forgotten or intentionally omitted due to the designer’s pet beliefs. Progress is very circuitous, if it exists at all!

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language. - wren-lang/wren

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language. - wren-lang/wren

A document explaining efforts by Google to add a compile time borrow checker to C++, and how the language’s semantics get in the way of that.

In which the author explicitly says “I am ignoring wrapping errors here to focus on the point I am trying to make” and the top comments are all “you idiot, you should be wrapping your errors.”

Reading comprehension is not strong.

One interface to rule them all One interface to find them One interface to bring them all And in the darkness bind them In the land of the ABI where the shadows lie

A good meditation on explicitness in languages and in Rust specifically.