The Swiss Federal Council: A Unique Model of Shared Leadership

Insights from research with probiotic E. coli (2016)

Doom on the Anker Prime Charging Station

Visual DOS 2024 Tech Preview

A Study of the STL Deque Container

Time to End Roundtripping by Big Pharma

A case study of university mismanagement

Good multipliers for congruential pseudorandom number generators

A Conjecture Regarding SMT Instability [pdf]

Linear scan register allocation on SSA

AABB Tree Shootout

Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity

ISPC: Implicit SPMD Program Compiler

A love letter to my future employer (2020)

SPy (Static Python) Language

We'd be better off with 9-bit bytes

Some thoughts on journals, refereeing, and the P vs NP problem

The Attia Family Tree

Train Board Generator

Emulation of 3Sum, 4Sum, the FMA and FD2 in Rounded-to-Nearest FP Arithmetic

Quickstrom: High-confidence browser testing

How much code does that proc macro generate?

Improving End-to-End Tests to Reduce Flakiness: Tools and Strategies

The Secrets We Keep

Eggs: Healthy or Risky? A Review of Evidence from High Quality Studies

Conserving wildlife in a changing world: Understanding capture myopathy

Land Values and Affordability

Sound Static Data Race Verification for C [pdf]

Ecovacs robot vacuums get hacked

Optimizing SFI Performance and Scalability on Modern Architectures [pdf]

Grid-Free Approach to Partial Differential Equations on Volumetric Domains [pdf]

Ontario judge approves $500M settlement in Loblaw bread-fixing case

Google shared my phone number

ARM PAN

Enzyme Automatic Differentiation Framework

The Napkin Project

"Copilot" bot user exempted from GitHub blocks

Writing into Uninitialized Buffers in Rust

Poireau: A Sampling Allocation Debugger

Community Access to Ventilation Information

Heart rate and body temperature during a PhD defense, an informal look

LLVM IR – Past, Present and Future [video]

List of Animals by Number of Legs

Refactoring Clojure

Beyond the Wrist: Debugging RSI

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

Mipmap selection in too much detail

Has anyone coined the term “fast tech” yet?

Open Hardware Ethernet Switch project, part 1

A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]

The Search for Meaning in 2001 (1998)

Forty-One

Is there a balance to be struck between simple hierarchical models and

Dependency Injection for Artificial Intelligence

Proof by Insufficient Information

Switch bouncing reference traces for a variety of different switches

Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses [pdf]

Large language models, small labor market effects [pdf]

Selection Bias in Poker

Why Treasure Island Dizzy only gave the player a single life

xPal Encyrpted Messenger Security

Link-Time Optimization of Dynamic Casts in C++ Programs [pdf]

Exploiting Undefined Behavior in C/C++ Programs: The Performance Impact [pdf]

Chimeric antigen receptor therapy meets mRNA technology

Baseball on the Moon

First-Class Verification Dialects for MLIR [pdf]

Pydrofoil: Accelerating Sail-based instruction set simulators

Petition to Open Source Initiative to publish 2025 Board election results

Constitutions and Commitment: Evolution of Institutions Governing Public Choice [pdf]

Post-Silicon Validation of Static Lockstep Mode

The case of the UI thread that hung in a kernel call

Responses to Comments on Six Mistakes

The mathematical past is a foreign country

65537-gon

Skepticism about the science establishment, then and now

The value of a dedicated data science approach in HR

Ray tracing deformable scenes using dynamic bounding volume hierarchies [pdf]

GitHub opt-out for LLM training opts me back in after a few tenths of a second

More DevOps than I bargained for

openEMS – free and open source equivalent-circuit (EC) FDTD simulation platform [pdf]

First Lessons for Circuit Designers

Feed Readers Beat Doomscrolling

A Beginner's Guide to Postgres Performance Monitoring

Color Spaces

Bank Suspensions, 1892 – 1935 (1936) [pdf]

The Research Behavior of Individual Investors [pdf]

A Review of George Selgin's False Dawn

Competition and Survival in Modern Academia

Is Space-Time Doomed?

Delivery Songs

Proof-of-work to protect lore.kernel.org and git.kernel.org against AI crawlers

The U.S. Trade Deficit: Myths and Realities [pdf]

Measuring Acceleration Structures

Canada's gross domestic product per capita: Perspectives on the return to trend

Chomsky: A "Study in Total Depravity"

The Epicenter of Conspiracy Belief

How the Wealth Was Won: Factor Shares as Market Fundamentals [pdf]

A note on the USB-to-PS/2 mouse adapter that came with Microsoft mouse devices