De-Abstraction and Conditional Escape Analysis

The GCC compiler back end can now bootstrap the Rust compiler

NixOS 25.05 Released

Commoditize the Complement of Your Research (2021)

Securing a Form on the Internet: Still Pretty Difficult

Emacs dired-mode as a file manager

Configuring Jujutsu

Deep Learning is no Intelligence

Those Stealthy Botnets

Pltdi Discord Lightning Talks 2025-05

FreeBSD Status Report 2025Q1

Recreating performant fish school animation of Abzû [video]

Engineering for the Long Term

Oops: DanaBot Malware Devs Infected Their Own PCs

Async from scratch 3: Pinned against the wall

Claude and I write a utility program

Debugging memory leaks in Postgres, heaptrack edition

Founders: Stop reimbursing your VC's legal fees

Sending an Alert for Short Wait Time at Disney

Improving performance of rav1d video decoder

Firefox Security Privacy Newsletter 2025 Q1

Libinput Preparing to Introduce a Lua-Based Plugin System for Modifying Devices

Recent Disruptive Changes from Setuptools

Kotlin-Lsp: Kotlin Language Server and Plugin for Visual Studio Code

Using Large Language Models for Commit Message Generation: A Preliminary Study

TypeID in Lua

Tales from Mainframe Modernization

The Future of Newspapers Is Lies, I Guess

Subreply Is Back Online

Obsidian Bases

Vim vs. Kakoune Puzzles

Welcoming Jon Xu and Andrew Miklas as YC's Newest General Partners

Artiflakery, an easy way to distribute static Nix flake artifacts

Good Performance for Bad Days

If Composers Were Hackers

Biotech companies I wish existed

KrebsOnSecurity Hit with Near-Record 6.3 Tbps DDoS

When rethinking a codebase is better than a workaround

Optional Rust-in-FreeBSD Support May 2025 Status Report

Finding hard 24 puzzles with planner programming

An Open File Format for storing the information from a forge such as issues, pu

The Lisp in the Cellar: Dependent types that live upstairs [pdf]

Interview with Donald Knuth (2008)

Not causal chains, but interactions and adaptations

Ircjournal: Real-time web IRC log viewer

Go's FIPS 140-3 Compliance

Ann, the Small Annotation Server

Making a Modern Email Protocol

The value of model checking in distributed protocols design

Submissions to Spring Lisp Game Jam 2025

Too Much Go Misdirection

Malware Attack and Counterattack

Justification Filler Phrases

Obelisk Deterministic Workflow Engine

Ayllu Code Forge 0.4 Has Been Released

Demystifying Ruby (2/3): Objects, Objects everywhere

Delivering malware via Google Calendar invites and PUAs in an NPM package

Developing Karton, the KDE Virtual Machine Manager

Async/Await versus the Calloop Model

An Asia Internet History: First Decade (1980-1990)

TestDesiderata

iOS Deep-Linking with Bevy in Rust

My changes to saving Konsole tab layouts

A Survey of Database TLS Libraries (2022)

Building my childhood dream PC

"Safe" YAML Monster

Working with Git Patches in Apple Mail (2023)

April 2025 in Rust OSDev

Radiometry, part 1: I got it backwards

Every programming language has its 'killer' domain

Fortran for C Programmers

Firefox Security Response to pwn2own 2025

Easily Using SSH with FIDO2/U2F Hardware Security Keys

CHERIoT: The Last Ten Years

Programming in Martin-Lof's Type Theory: An Introduction (1990)

Using unwrap() in Rust is Okay

My favourite fonts to use with LaTeX (2022)

Pallene: A statically typed ahead-of-time compiled sister language to Lua, with

HMPL v3.0: Small template language for displaying UI from server to client

GNU Parallel Examples

Deep Dive on New Combinators (2022)

Installing an outdoor GPS antenna for more accurate time

Virtual Package in MoonBit

OCaml Web Development: Essential Tools and Libraries in 2025

Jetrelay: A high-performance ATproto relay in 500 LOC

Falcon-Edge: A series of powerful, universal, fine-tunable 1.58bit language mod

There's More to That Nugget of Wisdom (2023)

Sunbeam: Command-Line Launcher

A Garbage Collection Strategy

Microagents accelerated their AI agent platform launch by embedding Pipedream's

Runbear helps teams onboard AI like a new hire–with help from Pipedream Connect

Initialization in C++ is bonkers (2017)

Breachforums Boss to Pay $700k in Healthcare Breach

The current state of TLA⁺ development

Please Please Please

Internet Artifacts

Forget IPs: using cryptography to verify bot and agent traffic

Altcha – Next-Gen Captcha and Spam Protection

Temporal Super Resolution via Multisampling