Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

There is No Now – Problems with simultaneity in distributed systems

Linear Address Spaces: Unsafe at any speed (2022)

Memory Safety for Skeptics

Optimizations in C++ compilers: a practical journey

Practical Security in Production

Domain-specific Languages and Code Synthesis Using Haskell

A Practical Guide to Transitioning to Memory-Safe Languages

Civics is boring, so, let's encrypt something (2024)

An AI-first program synthesis framework built around a new programming language

When Is WebAssembly Going to Get DOM Support?

WebAssembly: How Low Can a Bytecode Go?

WebAssembly: Yes, but for What?

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods

C is not a low-level language (2018)

Fifty Years of Open Source Software Supply Chain Security

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

Your Mouse Is a Database (2012)

The Surprise of Multiple Dependency Graphs

The Drunken Plagiarists - Working with Co-pilots

You Don't Know Jack about Bandwidth

Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions

GPTs and Hallucination

C Is Not a Low-level Language - Your computer is not a fast PDP-11 (David Chisnall, 2018)

Free and Open Source Software - and Other Market Failures

Zero Tolerance for Bias

Immutability Changes Everything (2016)

Reinventing Backend Subsetting at Google: Designing an algorithm with reduced connection churn that could replace deterministic subsetting

The Security Jawbreaker

What DNS Is Not (2009)

Patent Absurdity (2021)

More →