TLA+ in Isabelle/HOL(davecturner.github.io)

71 points by kalaracey 2 years ago | 2 comments

Tokio and Prctl = Nasty Bug(kobzol.github.io)

190 points by ingve 1 year ago | 61 comments

A sane but bull case on Clawdbot / OpenClaw(brandon.wang)

274 points by brdd 8 months ago | 425 comments

JSONB has landed(sqlite.org)

579 points by nalgeon 2 years ago | 181 comments

SQLite forum post by Richard Hipp announcing JSONB, a binary rewrite of SQLite's JSON functions that landed on trunk and can be several times faster.

How dependabot works(nesbitt.io)

57 points by zdw 9 months ago | 11 comments

Running 9front on an emulated SGI Indy via MAME(posixcafe.org)

113 points by todsacerdoti 2 years ago | 15 comments

Zig: Build System Reworked(ziglang.org)

353 points by tosh 4 months ago | 230 comments

Zig devlog entry by Andrew Kelley describing a reworked build system that splits zig build into a debug-compiled configurer process and a cached release-mode maker process.

I2P: End-to-end encrypted and anonymous internet(github.com)

354 points by keepamovin 3 years ago | 103 comments

GitHub repository for i2pd, a C++ implementation of the I2P end-to-end encrypted anonymous network client.

Zig Libc(ziglang.org)

317 points by ingve 8 months ago | 131 comments

Zig devlog entry by Andrew Kelley on the zig libc subproject, which replaces vendored C libc code with Zig standard library wrapper implementations.

Zig's New Async I/O(kristoff.it)

337 points by afirium 1 year ago | 243 comments

Blog post by Loris Cro explaining Zig's new I/O interface announced in the Zig Roadmap 2026 stream and how it revives async/await in Zig.

Zig – Type Resolution Redesign and Language Changes(ziglang.org)

376 points by Retro_Dev 7 months ago | 210 comments

Zig devlog entry by Matthew Lugg describing a merged 30,000-line PR redesigning the Zig compiler's type resolution, with related language changes.

Zig's new plan for asynchronous programs(lwn.net)

317 points by messe 10 months ago | 228 comments

LWN article by Daroc Alden describing Zig's new approach to asynchronous I/O that avoids function coloring, letting code run synchronously or asynchronously.