Vine: A programming language based on Interaction Nets

Scrap Your ORM–Replacing Your ORM with Relational Algebra

The $1.5B Bybit Hack

Bookmarklets (and Custom URL Schemes) Are Criminally Underrated

Solving the JIT Calculator Challenge

SystemV filesystem being removed from the Linux kernel

Making a Datalog Engine in Clojure

Ring Is Unmaintained

Notes on code walking kubelet initialization

Invoker Commands (Explainer)

Nyx Space and Rust Power Firefly's Blue Ghost Lunar Landing

NixOS: The Power of VM Tests

Technologies That Didn't: CLNS

Open letter to browser and OS makers

GDScript Notes

Neut Programming Language

Quint Deserves Rust

Stack Auth Updates #4: Vanilla JavaScript library and more

Docker limits unauthenticated pulls to 10/HR/IP from Docker Hub, from March 1

Hello, Policy Gradient

Subcutanean: Source Code Release

What is wrong with the architecture of the Internet?

A new interpreter in Python 3.14 delivers a free speed boost

Meshtastic: Decentralized communication with low-power devices

The Raspberry Pi RP2040 Gets a Surprise Speed Boost, Unlocks an Official 200MHz

Demystifying monads in Rust through property-based testing

Build your own SQLite in Rust, Part 5: Evaluating queries

Practical Alloy: A hands-on guide to formal software design

GymTok: Breaking TLS Using the Alt-Svc Header

So you want better debug info?

Multiple Vulnerabilities in U-Boot

An open source FPGA toolchain for a large European space-grade FPGA

Being a Happy Nixer on a Mac

The Pain of Linear Types in Rust (2017)

Where are all the rewrite rules?

Russian phishing campaigns exploit Signal's device-linking feature

Proposal: Starting tasks synchronously from caller context

Programming with Math – The Lambda Calculus

Learning: The hardest problem in computer science

In Video Games, the Player Never Moves

Add Wayland color-management protocol

Serving Local LLMs with MLX

Towards a Simple and Expressive Query Language [video]

Bellroy Technology Team: 2024 in Review

Representing Graphs in PostgreSQL with SQL/PGQ

Phished Data Turns into Apple and Google Wallets

Chris Biscardi: Growing little experiments (with Rust and Bevy) [video]

Build Rails Apps with Components

Exo software – A distributed LLM solution running on a cluster of computers, sm

Reviewing the cryptography used by Signal

Go-attention: A full attention mechanism and transformer in pure Go

Code Style Sheets: CSS for Code

Learning Lean: Part 1

Mtr Metrics

New "faux bus" API merged for Linux 6.14, including both Rust and C bindings

What's in a ring buffer? And using them in Rust

How browsers really load web pages [video]

14 Years of Systemd

Summer Fellows Grants

Accessible Color Palette Tester

Can I ethically use LLMs?

SharingGRDB: A SwiftData Alternative

UX Design Rework #1 – reworking my university hoarding

Why Test-First Development Is So Damn Hard

A Tutorial Introduction to the Lambda Calculus (2015)

F8 – an 8 bit architecture designed for C and memory efficiency [video]

The secret ingredients of word2vec (2016)

The seven pillars of wisdom [pdf]

A Simple GitHub Report Generator

Principles of a Reversible Programming Language

Dela: A task runner that delegates the work to other tools

Civic Tech's Third Wave

GulfOfMexico: Perfect Programming Language

Devenv Telemetry Warning

A transient feed aggregator built with Gleam

Parallel Random Numbers: As Easy as 1, 2, 3 [pdf]

Building a fault-tolerant reverse proxy with FreeBSD

Type safe variadic printf

Why Your Client Types Should Derive from Queries and Fragments – Not the Schema

Haiku Activity and Contract Report, January 2025

First analysis of Apple's USB Restricted Mode bypass (CVE-2025-24200)

Siren Call of SQLite on the Server

Hosting Multiple Websites Under One NearlyFreeSpeech Site

XOR

Switching on Strings in Zig

Bauhaus: Ninety Years of Inspiration (2009)

Solving the discretised shallow water equations using neural networks

Custom Asserts in LLVM

Terminader: Merging the Finder and Terminal

Shot-scraper 1.6 with support for HTTP Archives

Prototyping a machine deployment tool with Spritely Goblins

Jujutsu and Magit: Experience Report

Nearly a Year Later, Mozilla Is Still Promoting OneRep

Role of Composition in Computer Programming (1995)

Marcan Resigns as Asahi Linux project lead

Accelerating the Adoption of Post-Quantum Cryptography with PHP