-
Sandboxing AI Tools with Guix Containers
-
Concepts vs type traits
-
There is no Diffie-Hellman but Elliptic Curve Diffie-Hellman
-
gail: An AI-powered GitHub Issue Labeler
-
Building interactive web pages with Guile Hoot
-
Why I no longer have an old-school cert on my https site
-
Remote Prompt Injection in GitLab Duo Leads to Source Code Theft
-
Configuring Jujutsu
-
The GCC compiler backend can now fully bootstrap the Rust compiler
-
Bypassing MTE with CVE-2025-0072
-
From OpenAPI spec to MCP: how we built Xata's MCP server
-
NixOS 25.05 released
-
Pain in the dots
-
Making Postgres distributed with FoundationDB
-
Why Algebraic Effects?
-
rqlite turns 10: Observations from a decade building Distributed Systems
-
Who needs graph theory anyway?
-
A Tale of Testability and Sending Non-Send Types in Rust
-
The future of Flatpak
-
lamber: functional scripting language compiling to Lambda Calculus
-
Kaleidoscopico
-
Spaced Repetition Systems Have Gotten Way Better
-
The Zen of Polymorphism
-
Forgotten APL Influences (2016)
-
IDE for PostgreSQL in VS Code
More