Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
The Creusot team announces version 0.14.0 of their formal verification tool for Rust, highlighting selected new features for contracts and proofs and pointing to the full changelog for the release.
4 min · 983 words
Zig 0.17.0 release notes: five months of work from 206 contributors across 925 commits—language, standard library, and toolchain changes on the roadmap toward 1.0.
46 min · 10,569 words
New dashboard experience now the default
GitHub makes its redesigned dashboard the default view, focusing the home screen on work that needs attention across repositories and teams.
1 min · 171 words
Effect 4.0 rebuilds the TypeScript effect system from the ground up: zero-dependency core, ~5× smaller bundles, ~6.4× concurrent throughput, 86% less memory per fiber, and a long-term support policy through at least 2029.
2 min · 433 words
The open source Git project just released Git 2.56. Here is GitHub's look at some of the most interesting features and changes introduced since last time.
9 min · 2,081 words