Tony Finch – link log
2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024
- 2020‑12‑31:
Unsafe string interning in Golang for scoped IPv6 addresses.
- 2020‑12‑30:
The quirks of City of London livery company coats of arms.
- 2020‑12‑30:
Getting started in BBC BASIC with Owlet.
- 2020‑12‑30:
In Python 2, node.example.com is an IPv6 address.
- 2020‑12‑29:
Five intersecting tetrahedra in origami.
- 2020‑12‑29:
Why are video games graphics (still) a challenge? Productionizing rendering algorithms.
- 2020‑12‑29:
Flow Browser preview on the Raspberry Pi 400.
- 2020‑12‑28:
Buttplug: a haptics abstraction library in Rust for controlling vibrators and other intimate hardware.
- 2020‑12‑28:
Cosmopolitan C library: build-once run-anywhere.
- 2020‑12‑28:
A review of the Lean theorem prover.
- 2020‑12‑28:
Rust in a KDE project.
- 2020‑12‑27:
Systems design explains the world.
- 2020‑12‑27:
Oklab: A perceptual color space for image processing.
- 2020‑12‑26:
A complete guide to LLVM for programming language creators.
- 2020‑12‑25:
'static trait bounds in Rust.
- 2020‑12‑23:
Interactive C++ for data science with LLVM cling.
- 2020‑12‑23:
How to favicon in 2021: six files that fit most needs.
- 2020‑12‑23:
Flix: a functional / logic programming language for the JVM.
- 2020‑12‑23:
KLEE: finding software bugs using symbolic execution.
- 2020‑12‑23:
Build a tiny certificate authority for your homelab.
- 2020‑12‑23:
An LSP client maintainer's view of the language server protocol.
- 2020‑12‑23:
Don't think, just defunctionalize.
- 2020‑12‑21:
Raft does not guarantee liveness in the face of network faults.
- 2020‑12‑20:
Swirled Series: the result.
- 2020‑12‑19:
The Psion Organiser II: laying the groundwork of our smartphone world.
- 2020‑12‑19:
The algorithmic beauty of plants.
- 2020‑12‑19:
Perceus: garbage free reference counting with reuse.
- 2020‑12‑18:
Understanding systemd-resolved, split DNS, and VPN configuration.
- 2020‑12‑17:
Git commits are snapshots, not diffs.
- 2020‑12‑17:
The git parable.
- 2020‑12‑17:
Moving a large TypeScript codebase to use strict null checks.
- 2020‑12‑17:
Notes on cross-compiling Rust on a Mac for a Raspberry Pi.
- 2020‑12‑17:
Adding BPF target support to the Rust compiler.
- 2020‑12‑17:
Rust on the BBC micro:bit.
- 2020‑12‑17:
rpitx: radio transmission from a Raspberry Pi GPIO pin.
- 2020‑12‑17:
Why CockroachDB chose to be compatible with PostgreSQL.
- 2020‑12‑17:
FFI-safe polymorphism with thin trait objects in Rust.
- 2020‑12‑16:
Niue has launched a major effort to win back control of .nu
- 2020‑12‑16:
What I wish someone had told me about tensor computation libraries.
- 2020‑12‑16:
To the brain, reading computer code is not the same as reading language.
- 2020‑12‑15:
Rockstar: a language for creating programs that are also hair metal power ballads.
- 2020‑12‑14:
The case of the extra 40ms. (Not TCP delayed ACKs!)
- 2020‑12‑14:
The cleverest BBC Micro floppy disc protection ever? Western Security Ltd.
- 2020‑12‑14:
Pointer provenance is complicated: we need better language specs.
- 2020‑12‑14:
XML round-trip vulnerabilities in the Golang standard library affecting SAML.
- 2020‑12‑14:
A Golang-style defer mechanism for C.
- 2020‑12‑14:
K: a rewrite-based executable semantic framework for programming languages.
- 2020‑12‑13:
if-then-else had to be invented.
- 2020‑12‑13:
The HP-35.
- 2020‑12‑12:
More batteries included with emacs.
- 2020‑12‑12:
Amazon owns more than $2B worth of IPV4 addresses.
- 2020‑12‑11:
Monads and generic associated types in nightly Rust.
- 2020‑12‑10:
An explanation of cameras and lenses with interactive 3D graphics.
- 2020‑12‑09:
"A damn stupid thing to do": CPL and the origins of C.
- 2020‑12‑09:
Architecting the future: Arm, CHERI, and Morello.
- 2020‑12‑08:
Where did combinators come from? Hunting the story of Moses Schönfinkel.
- 2020‑12‑08:
Connecting an ASR33 Teletype to an ESP32.
- 2020‑12‑08:
The Galileo eccentric satellite surprise.
- 2020‑12‑06:
Interval tree clocks.
- 2020‑12‑06:
Exotic Programming Ideas: Datalog and Souffle.
- 2020‑12‑06:
std::visit is everything wrong with modern C++
- 2020‑12‑06:
The future of 32-bit Linux.
- 2020‑12‑05:
Auto for types, but not for concepts in C++.
- 2020‑12‑05:
A Microsoft custom floating point type for efficient inference.
- 2020‑12‑04:
A tale of Template Haskell and cross compilation.
- 2020‑12‑04:
Browser cache partitioning means it is time to say goodbye to Google Fonts.
- 2020‑12‑03:
Painful lessons from the Web PKI, and how you can avoid them.
- 2020‑12‑03:
Using Bloom filters to efficiently synchronise git repos and other hash graphs.
- 2020‑12‑03:
Generic traits and associated types in Rust.
- 2020‑12‑03:
Futures explained in 200 lines of Rust.
- 2020‑12‑03:
Obsolete trigonometry functions and why we don't use them anymore.
- 2020‑12‑02:
Hey Alexa what did I just type?
- 2020‑12‑02:
Faster asynchronous WAL archiving with pgBackRest to avoid PostgreSQL WAL backlog.
- 2020‑12‑02:
PostgreSQL PostGIS trajectories through space and time.
- 2020‑12‑02:
TenDRA: an architecture-neutral compiler framework with C and C++ front ends.
- 2020‑12‑02:
libFirm: an optimizing compiler back-end.
- 2020‑12‑02:
Cutting up a capsized cargo ship for salvage.
- 2020‑12‑02:
The rendering equation.
- 2020‑12‑01:
Naming the Net: the Domain Name System, 1983-1990.
- 2020‑12‑01:
Design of the Mozilla Firefox CRLite infrastructure.
- 2020‑12‑01:
Evolution of tree data structures for indexing: more exciting than it sounds.
- 2020‑12‑01:
The road to the Erlang JIT.
- 2020‑12‑01:
Computer graphics from scratch.
- 2020‑12‑01:
I am an 80 column purist.
- 2020‑12‑01:
How many registers does an x86-64 CPU have?
- 2020‑12‑01:
ARM and lock-free programming.
- 2020‑11‑30:
biVector.net: geometric algebra for computer graphics, vision, and engineering.
- 2020‑11‑30:
Geometric algebra for computer graphics.
- 2020‑11‑30:
Imaginary numbers are not real: the geometric algebra of spacetime.
- 2020‑11‑30:
ganja.js: geometric algebra for Javascript.
- 2020‑11‑29:
Summary of the Amazon Kinesis outage in the AWS us-east-1 region.
- 2020‑11‑28:
Raytracing in one weekend.
- 2020‑11‑28:
SCION EPIC: a path-aware clean-slate internet architecture.
- 2020‑11‑28:
L4S: low latency, low loss, scalable throughput Internet service architecture.
- 2020‑11‑28:
Network topology design at 17,000 km/h: LEO satellite Internet.
- 2020‑11‑28:
MP-DCCP multipath tunneling and congestion control in congestion control.
- 2020‑11‑28:
On congestion control (un)fairness and active queue management (AQM).
- 2020‑11‑28:
k6: a web load testing tool, written in Golang and configured in JavaScript.
- 2020‑11‑28:
The great Internet TCP congestion control census.
- 2020‑11‑27:
Existential Haskell.
- 2020‑11‑27:
1.5 is the midpoint between 0 and infinity in Ruby.
- 2020‑11‑27:
Rebuilding the Racket compiler with Chez Scheme.
- 2020‑11‑27:
The most unusual murder weapons in crime fiction.
- 2020‑11‑27:
An introduction to geometric algebra.
- 2020‑11‑27:
Clifford Algebra: A visual introduction.
- 2020‑11‑26:
An introduction to quaternions.
- 2020‑11‑26:
How io_uring and eBPF will revolutionize programming in Linux.
- 2020‑11‑26:
CBOR for embedded C with a Rust server.
- 2020‑11‑26:
Testing a Rust crate's C API.
- 2020‑11‑26:
Strengthening memory safety in Rust: exploring CHERI capabilities for a safe language.
- 2020‑11‑26:
An ex-Googler's guide to dev tools.
- 2020‑11‑26:
WordPress and PHP 8 compatibility report.
- 2020‑11‑26:
Modern storage is plenty fast. It is the APIs that are bad.
- 2020‑11‑26:
Reasoning about colours.
- 2020‑11‑26:
A list of magic numbers encountered while debugging.
- 2020‑11‑26:
Electromagnetism using geometric algebra versus components.
- 2020‑11‑26:
Versor: a generic C++ library for geometric algebras.
- 2020‑11‑26:
Origin of the trefoil radiation warning sign.
- 2020‑11‑25:
An intro to bivectors and rotors: Let's remove quaternions from every 3D engine.
- 2020‑11‑25:
An API is a user interface.
- 2020‑11‑25:
Mlang: a modern compiler for the French tax code.
- 2020‑11‑25:
Protect domains that don't send email.
- 2020‑11‑25:
How do people find bugs?
- 2020‑11‑25:
Preserving Flash: why emulation is better than migration.
- 2020‑11‑25:
Making PostgreSQL stored procedures 9X faster in Citus.
- 2020‑11‑25:
PAM bypass: when nullok is not OK.
- 2020‑11‑24:
TypeScript performance.
- 2020‑11‑24:
More subtle TCP performance problems due to Nagle's algorithm and delayed ACKs.
- 2020‑11‑24:
What went wrong with libdispatch: a cautionary tale for async concurrency.
- 2020‑11‑23:
Building your color palette.
- 2020‑11‑23:
The origin of the MIT License.
- 2020‑11‑22:
What if the world is made of cubes? Uncovering the universal geometry of geology.
- 2020‑11‑22:
Even faster bash startup.
- 2020‑11‑22:
Booting from a vinyl record.
- 2020‑11‑20:
Swirled series.
- 2020‑11‑20:
It is high time we let go of the Mersenne Twister.
- 2020‑11‑20:
How to abuse and fix authenticated encryption without key commitment.
- 2020‑11‑20:
UNIX NEWS and ;login: archives from the 1970s.
- 2020‑11‑19:
Microsoft FrontPage: the good, the bad, the ugly.
- 2020‑11‑19:
Flash animations live forever at the Internet Archive.
- 2020‑11‑19:
The C standard library is not dependency free (but part of Rust's is).
- 2020‑11‑19:
The usability of ownership in Rust.
- 2020‑11‑19:
LambdaDelta: an emulator of the LMI Lambda Lisp Machine.
- 2020‑11‑19:
Archive of LISP Machine, Inc.
- 2020‑11‑19:
Wiby: a search engine for the classic web.
- 2020‑11‑19:
Forensic Architecture investigation of the Beirut port explosion.
- 2020‑11‑19:
On-demand linked libraries for Nix.
- 2020‑11‑19:
Power-cycling a USB port should be simple, right?
- 2020‑11‑19:
I should have loved biology.
- 2020‑11‑18:
Microsoft Pluton: a security chip designed for the future of Windows PCs.
- 2020‑11‑18:
Automatic syntax error recovery in lrpar.
- 2020‑11‑17:
Skija graphics for JVM.
- 2020‑11‑17:
CXX.rs: safe interop between Rust and C++.
- 2020‑11‑17:
The Rust performance book.
- 2020‑11‑17:
2020 Mac Mini: putting Apple Silicon M1 to the test.
- 2020‑11‑17:
Servo moves from Mozilla to the Linux Foundation.
- 2020‑11‑17:
Sponge4: a sponge-like hash function for seeding PRNGs.
- 2020‑11‑17:
From Russia With Love: moving a time series data service from Citus to ClickHouse.
- 2020‑11‑16:
Reverse engineering a forgotten 1970s Intel dual core beast: 8271, a new ISA.
- 2020‑11‑16:
PostgreSQL psql command line tutorial and cheat sheet.
- 2020‑11‑16:
pgcli: a command line interface for PostgreSQL with auto-completion and syntax highlighting.
- 2020‑11‑16:
Build systems à la carte: theory and practice (revised and expanded).
- 2020‑11‑16:
How I failed to make LinkedIn fix their broken international domain URL parser.
- 2020‑11‑16:
How do you write simple explanations without sounding condescending?
- 2020‑11‑15:
MLS: message layer security for better encrypted group chat.
- 2020‑11‑15:
Charles proxy for web scraping.
- 2020‑11‑14:
The making of a masterpiece: Bohemian Rhapsody. (YouTube)
- 2020‑11‑14:
Python, the Full Monty: a tested semantics for the Python programming language.
- 2020‑11‑14:
On the expressive power of programming languages.
- 2020‑11‑14:
We need less powerful languages.
- 2020‑11‑14:
Warp: Improved JS performance in Firefox 83.
- 2020‑11‑14:
When 13.3 > 14.
- 2020‑11‑13:
udp2raw-tunnel: UDP over encrypted fake TCP to bypass firewalls.
- 2020‑11‑13:
Why TCP over TCP is a bad idea.
- 2020‑11‑12:
Build your own gpg in Rust.
- 2020‑11‑12:
Replication conflicts in PostgreSQL and how to deal with them.
- 2020‑11‑12:
PostgreSQL observability: a diagram of views and functions for inspecting your database.
- 2020‑11‑12:
Full-text search performance since PostgreSQL 8.3.
- 2020‑11‑12:
40ms bug: a missing writev, Nagle's algorithm, and delayed ACKs.
- 2020‑11‑12:
AndroWish: run Tcl/Tk programs on Android.
- 2020‑11‑12:
Propeller: a framework for post-link optimizations.
- 2020‑11‑12:
BOLT: a post-link binary layout optimizer for speeding up large applications.
- 2020‑11‑12:
Exploring PGO for the Rust compiler.
- 2020‑11‑11:
Miniselect: practical and generic (sorted) selection algorithms.
- 2020‑11‑11:
Undoing, fixing, or removing commits in git: choose your own adventure.
- 2020‑11‑11:
What mother never told you about IBM VM service.
- 2020‑11‑10:
Fast Flexible Paxos.
- 2020‑11‑09:
Hegel: an advanced static type checker for JavaScript.
- 2020‑11‑09:
Turing incomplete languages.
- 2020‑11‑09:
Lox: a word that hasn't changed sound or meaning in 8,000 years.
- 2020‑11‑09:
dnstap-receiver: a dnstap streams receiver in Python.
- 2020‑11‑09:
Structured concurrency in C++.
- 2020‑11‑09:
dog: a command-line DNS client.
- 2020‑11‑09:
Towards Pijul 1.0.
- 2020‑11‑09:
Parsing the infamous Japanese postal CSV.
- 2020‑11‑08:
LLVM clang 12 support for amd64 micro-architecture levels.
- 2020‑11‑08:
New amd64 micro-architecture levels.
- 2020‑11‑07:
Go in production: what I learned 1 month later.
- 2020‑11‑07:
vt52-fpga
- 2020‑11‑07:
Kristian's interactive 3D printed Stargate with wormhole effect.
- 2020‑11‑06:
Standing on our own two feet: Let's Encrypt trust anchor rollover.
- 2020‑11‑06:
Exception safety in Rust: using transient droppers to prevent memory leaks.
- 2020‑11‑06:
AMD Zen 3 Ryzen deep dive review.
- 2020‑11‑06:
The elements of style: Unix as literature.
- 2020‑11‑05:
Draft design for generic type parameters in Golang.
- 2020‑11‑05:
Linear scan register allocation.
- 2020‑11‑05:
A first look at the Erlang JIT.
- 2020‑11‑05:
UK's £55M MAST Upgrade fusion experiment (Mega Amp Spherical Tokamak) has achieved first plasma.
- 2020‑11‑05:
Notes on Paxos.
- 2020‑11‑04:
BPF binaries: BTF, CO-RE, and the future of BPF perf tools.
- 2020‑11‑03:
Eight months of NixOS.
- 2020‑11‑03:
Hardware performance counter support (via rdpmc) in Rust.
- 2020‑11‑03:
How we made our SaaS homepage cookie-free.
- 2020‑11‑03:
Rust design-for-testability: a survey.
- 2020‑11‑02:
Two workers are quadratically better than one: modelling a queue with PRISM.
- 2020‑11‑02:
Extreme bioinformatics debugging.
- 2020‑11‑02:
Hyper-regional chippy traditions of Britain and Ireland.
- 2020‑11‑02:
Mac OS boot volume layout.
- 2020‑11‑01:
Flutter Web: a fractal of bad design.
- 2020‑11‑01:
NAT Slipstreaming: firewall bypass using SIP ALG.
- 2020‑11‑01:
Using TLA+ to understand a real-world glibc bug.
- 2020‑11‑01:
WordTsar: a Wordstar clone.
- 2020‑11‑01:
WordPerfect for DOS on modern computers.
- 2020‑10‑31:
Dijkstra: the man who carried computer science on his shoulders.
- 2020‑10‑30:
3 Gbps ethernet on the Raspberry Pi compute module.
- 2020‑10‑30:
It's called Medium because it's neither rare nor well done.
- 2020‑10‑30:
A12: advancing network transparency on the desktop.
- 2020‑10‑30:
XPath injection issues are severely underrated.
- 2020‑10‑30:
A tale of a build system bug. (ninja/gcc/Windows)
- 2020‑10‑30:
Experience in production with Flask, Bottle, Tornado, and Twisted.
- 2020‑10‑30:
For complex applications (IDEs) Rust is as productive as Kotlin.
- 2020‑10‑30:
Using a 3D printer "defect" to create a new quasi-textile.
- 2020‑10‑30:
I hate GIS coordinate systems!
- 2020‑10‑30:
Errol: binary floating-point to decimal string conversion algorithm.
- 2020‑10‑30:
Errol: an always correct method for printing floating-point numbers.
- 2020‑10‑29:
SRI and Cambridge University release CHERI software stack for Arm Morello.
- 2020‑10‑29:
The remarkable number 1/89 and the Fibonacci series.
- 2020‑10‑29:
Scaling attacks to hide/spoof one image in another.
- 2020‑10‑28:
Optimizing a join using LIKE by using PostgreSQL FTS instead.
- 2020‑10‑28:
EDSAC 1951 (YouTube)
- 2020‑10‑28:
The reverse tabnabbing vulnerability in HTML.
- 2020‑10‑28:
Verona: a research programming language for concurrent ownership.
- 2020‑10‑27:
Better performance with Envoy HTTP connection pooling for PHP applications at Wikipedia.
- 2020‑10‑27:
plocate: a much faster locate.
- 2020‑10‑27:
samurai: a ninja-compatible build tool written in C.
- 2020‑10‑27:
Why was Rachel Whiteread's House demolished?
- 2020‑10‑27:
OpenMPTCProuter uses multipath TCP (MPTCP) to aggregate multiple Internet connections with OpenWrt.
- 2020‑10‑27:
Covenants, easements, and wayleaves: the hidden urban interfaces of the London Underground.
- 2020‑10‑27:
Improving PostgreSQL connection scalability with faster snapshots.
- 2020‑10‑26:
Standard ML in 2020.
- 2020‑10‑25:
PARI/GP: a computer algebra system for fast computations in number theory.
- 2020‑10‑25:
GAP: a system for computational discrete algebra.
- 2020‑10‑24:
Efficient text editing on a PDP-10.
- 2020‑10‑24:
Four dangerous animals of product development.
- 2020‑10‑24:
Static single assignment for functional programmers.
- 2020‑10‑24:
A new map of the standard model of particle physics.
- 2020‑10‑24:
Rejuvenating autoconf.
- 2020‑10‑24:
Ungrammar: a DSL for rust-analyzer's concrete syntax tree.
- 2020‑10‑24:
Understanding static single assignment (SSA) form.
- 2020‑10‑24:
Compiling with continuations, or without? Whatever.
- 2020‑10‑24:
Compiling without continuations.
- 2020‑10‑23:
Deprecating SHA-1 in OpenPGP.
- 2020‑10‑23:
Avoiding overload in AWS distributed systems by putting the smaller service in control.
- 2020‑10‑23:
RPKI secure BGP routing Q&A.
- 2020‑10‑23:
cson: CoffeeScript object notation.
- 2020‑10‑23:
jacl: just another configuration language.
- 2020‑10‑23:
Better than JSON?
- 2020‑10‑23:
StrictYAML.
- 2020‑10‑23:
How Apple is organized for innovation.
- 2020‑10‑23:
Journeying into XDP implementing DNS RRL.
- 2020‑10‑23:
Debugging async generator errors in Rust.
- 2020‑10‑23:
Private methods on a public trait in Rust.
- 2020‑10‑23:
Inside Rust std::io::Error.
- 2020‑10‑22:
Proving that 1 + 1 = 10 in Rust.
- 2020‑10‑22:
A pitfall of Rust's move/copy/drop semantics and zeroing data.
- 2020‑10‑22:
The story behind Markdown.
- 2020‑10‑22:
Non-generic inner functions in Rust.
- 2020‑10‑22:
Nickel: better configuration for less, inspired by Nix.
- 2020‑10‑22:
Let's build a high-performance fuzzer with GPUs!
- 2020‑10‑22:
What's new in OAuth 2.1?
- 2020‑10‑22:
AWS NLBs and mixed up TCP connections.
- 2020‑10‑22:
TPC-H performance since PostgreSQL 8.3.
- 2020‑10‑22:
PEG: ambiguity, precision, and confusion.
- 2020‑10‑21:
The TRIPS project: an explicit data graph execution (EDGE) processor.
- 2020‑10‑21:
Roofline model of computer performance for HPC applications.
- 2020‑10‑21:
The asymptotic cost of address translation on memory access time.
- 2020‑10‑21:
The myth of RAM.
- 2020‑10‑21:
Lezer: a parser system in JavaScript.
- 2020‑10‑21:
A list of attempts to make Python faster.
- 2020‑10‑20:
AWS and their billions of dollars of IPv4 addresses.
- 2020‑10‑20:
Why mmap is faster than system calls.
- 2020‑10‑20:
Validating UTF-8 in less than one instruction per byte.
- 2020‑10‑20:
The surprising impact of medium-size texts on PostgreSQL performance.
- 2020‑10‑20:
Lambda the penultimate / lambda to SKI, semantically.
- 2020‑10‑20:
Binary lambda calculus.
- 2020‑10‑20:
Assorted thoughts on Zig and Rust.
- 2020‑10‑20:
Building a computer in Conway's Game of Life.
- 2020‑10‑19:
Euler's formula: a complex guide.
- 2020‑10‑19:
The Arm64 memory tagging extension in Linux.
- 2020‑10‑19:
BlockQuicksort: avoiding branch mispredictions in Quicksort.
- 2020‑10‑19:
ips4o: in-place parallel superscalar samplesort.
- 2020‑10‑19:
The case for a learned sorting algorithm.
- 2020‑10‑19:
MONOSPACE: a JavaScript demo in 1021 bytes.
- 2020‑10‑18:
Free yourself from the Spotify desktop client with spotifyd.
- 2020‑10‑17:
Keeping secrets: Diffie-Hellman and the NSA.
- 2020‑10‑17:
What they don't tell you about demand paging in school.
- 2020‑10‑17:
Building a 10BASE5 "Thick Ethernet" network.
- 2020‑10‑17:
Cryptographic signing using ssh-keygen(1) with a FIDO authenticator.
- 2020‑10‑17:
MyST: a markdown flavor and parser for Sphinx.
- 2020‑10‑16:
So you want to build an embedded Linux system?
- 2020‑10‑16:
The unreasonable effectiveness of quasirandom sequences.
- 2020‑10‑15:
The fascinating influence of the Cyclone programming language.
- 2020‑10‑15:
Optional parameters in Rust.
- 2020‑10‑15:
Building the fastest RaptorQ (RFC6330) FEC codec in Rust.
- 2020‑10‑15:
Improving security in s2n, Amazon's TLS implementation.
- 2020‑10‑15:
Unifying the technical interview.
- 2020‑10‑14:
Room-temperature superconductivity achieved for the first time (at high pressure between diamond anvils).
- 2020‑10‑14:
libsixel: DEC terminal graphics.
- 2020‑10‑14:
Improving Bluetooth audio quality on Linux.
- 2020‑10‑13:
Applying union-find for real life performance wins.
- 2020‑10‑12:
Building the mathematical library of the future with Lean.
- 2020‑10‑12:
Overloading by return type in C++.
- 2020‑10‑11:
GPU-accelerated ODE solving in R with Julia.
- 2020‑10‑11:
Why we need a C-compatible Rust crate for bitfields.
- 2020‑10‑10:
Asterisk.
- 2020‑10‑10:
Crux: exhaustive symbolic testing for C, C++, and Rust.
- 2020‑10‑10:
Alphora-style database diagramming.
- 2020‑10‑10:
Progress report on Rust Cranelift backend.
- 2020‑10‑10:
xchg rax, rax; x64 Assembly for the advanced.
- 2020‑10‑10:
CSV parser benchmark game.
- 2020‑10‑10:
Loading a CSV file at the speed limit of NVMe storage.
- 2020‑10‑08:
The Eisel-Lemire string to double precision floating point conversion algorithm.
- 2020‑10‑08:
OLTP performance since PostgreSQL 8.3.
- 2020‑10‑08:
Using CTE to do a binary search of a large table with non-indexed correlated data in PostgreSQL.
- 2020‑10‑07:
The origin of the VM/370 time-sharing system.
- 2020‑10‑07:
zheap: reinvented PostgreSQL storage.
- 2020‑10‑07:
Notes on reviving and extending Marvin, a typeface for Visions magazine.
- 2020‑10‑07:
From its name, to its hazy origins, to its drug interactions, there's a lot going on with Grapefruit.
- 2020‑10‑07:
USB3: why it's a bit harder than USB2.
- 2020‑10‑06:
DOMPurify bypass: XSS via HTML namespace confusion.
- 2020‑10‑06:
Telharmonium: the first significant electronic musical instrument.
- 2020‑10‑06:
Q3 Linux touchpad like Macbook update.
- 2020‑10‑06:
TIME for a WTF MySQL moment.
- 2020‑10‑06:
From object algebras to tagless-final interpreters.
- 2020‑10‑06:
Cyclone Scheme: a new R7RS compiler.
- 2020‑10‑06:
FAQs on aerosol transmission of COVID-19.
- 2020‑10‑06:
Incompatible validation criteria for Ed25519.
- 2020‑10‑06:
s7: Scheme as an extension language for other applications.
- 2020‑10‑04:
Type-level programming in Rust.
- 2020‑10‑04:
How we ran a Unix-like OS (Xv6), on our home-built CPU, with our home-built C compiler.
- 2020‑10‑04:
Lambda calculus, Church numerals, and Graham's number.
- 2020‑10‑04:
Drop order in Rust: it's tricky.
- 2020‑10‑04:
A future for debugging Rust.
- 2020‑10‑04:
Revisiting a 'smaller Rust'.
- 2020‑10‑04:
Applying "make invalid states unrepresentable".
- 2020‑10‑04:
Tales from the science fiction bar-room.
- 2020‑10‑04:
Saving space (basically) for free by re-ordering columns in PostgreSQL.
- 2020‑10‑04:
Dissecting Lemire's nearly divisionless random number generator.
- 2020‑10‑04:
Magic Wand Rechargeable teardown.
- 2020‑10‑04:
SaferNode: a Python script to isolate npm inside short-lived Docker containers.
- 2020‑10‑04:
A web of trust for npm.
- 2020‑10‑04:
HOPL: an online historical encyclopaedia of programming languages.
- 2020‑10‑04:
chibicc: a small C compiler.
- 2020‑10‑04:
Lambda calculus diagrams.
- 2020‑10‑03:
Computer science metanotation is a barrier to entry.
- 2020‑10‑03:
System font typography on 8 bit micros.
- 2020‑10‑03:
Falsehoods programmers believe about map coordinates.
- 2020‑10‑03:
Compiler hardening and exploit mitigations for unsafe Rust.
- 2020‑10‑02:
Toward an API for the real numbers: exact arithmetic with decidable equality comparisons.
- 2020‑10‑01:
outflank-mailman: stop Mailman from breaking DKIM signatures.
- 2020‑09‑29:
Rob Pike on colour blindness.
- 2020‑09‑28:
FPspy: Spying on the floating point behavior of existing, unmodified scientific applications.
- 2020‑09‑28:
The weight of buildings and the raising of Chicago.
- 2020‑09‑28:
BBC Micro Elite source code and commentary.
- 2020‑09‑27:
A typed, algebraic approach to parser combinators.
- 2020‑09‑27:
Modular, composable, typed optimizations in the tagless-final style.
- 2020‑09‑26:
Guided tour of Bunnie's Precursor motherboard.
- 2020‑09‑26:
Techade quiz: A near-impossible guessing game of tech through the decades.
- 2020‑09‑25:
A PEG parser for CPython.
- 2020‑09‑25:
Using time travel to remotely debug faulty DRAM with Julia and rr.
- 2020‑09‑25:
Finding a goroutine bug with TLA+.
- 2020‑09‑25:
A pipeline made of airbags: live upgrades vs immutable infrastructure.
- 2020‑09‑24:
Traits as an emergent feature of Julia.
- 2020‑09‑24:
Bean Machine: a declarative probabilistic programming language for efficient programmable inference.
- 2020‑09‑24:
How the CPython compiler works.
- 2020‑09‑24:
Fast incremental compilation of Kotlin.
- 2020‑09‑24:
Void in Haskell is a smell.
- 2020‑09‑24:
Exploiting Tiny Tiny RSS.
- 2020‑09‑23:
Delivering 45x faster percentiles using PostgreSQL, Citus, and t-digest.
- 2020‑09‑23:
JuliaCon2020: Julia is production ready!
- 2020‑09‑23:
Haskell's children: Rust, Idris, Julia.
- 2020‑09‑23:
On YOLOsec and FOMOsec.
- 2020‑09‑22:
Data and Reality, 2nd edition.
- 2020‑09‑21:
Range: My least favorite Rust type.
- 2020‑09‑21:
John Regehr's integers in C quiz.
- 2020‑09‑21:
A new X.509 certificate chain validator for LibreSSL.
- 2020‑09‑21:
Tail call optimization and debugging.
- 2020‑09‑21:
A new backend for Cranelift: instruction selection.
- 2020‑09‑21:
Speeding up C++ compilation.
- 2020‑09‑21:
Dennis Ritchie's reflections on software research.
- 2020‑09‑20:
Why not Rust?
- 2020‑09‑20:
Taking MonetDB/e for a taxi ride.
- 2020‑09‑20:
FreeBSD's Subversion to Git migration: Why?
- 2020‑09‑20:
LLVM's getelementptr, by example.
- 2020‑09‑19:
What's the fastest way to chill your beer?
- 2020‑09‑19:
"Fake COTS" and the one-day rule.
- 2020‑09‑18:
A Cuban numbers station cryptologic mystery.
- 2020‑09‑18:
Supercomputing on Nitro in AWS cloud with Scalable Reliable Datagram (SRD).
- 2020‑09‑18:
Surfaces vs airborne: what we know now about Covid-19 transmission.
- 2020‑09‑18:
Taming nalgebra's Rustdoc.
- 2020‑09‑18:
Let's Encrypt's new ECDSA root and intermediate certificates.
- 2020‑09‑17:
DNS Flag Day 2020: what you need to know.
- 2020‑09‑17:
Maximizing DNS qname minimization.
- 2020‑09‑17:
Search and replace tricks with ripgrep.
- 2020‑09‑16:
The plot against Birmingham.
- 2020‑09‑16:
USB-C was supposed to simplify, but it's a total mess.
- 2020‑09‑16:
How America became obsessed with dips, sauces, dressings, and "food lube".
- 2020‑09‑16:
Efficient parallel and incremental parsing of practical context-free languages.
- 2020‑09‑16:
The missing datacenter OS.
- 2020‑09‑16:
Tips for PostgreSQL bulk data loading.
- 2020‑09‑16:
Reinventing virtualization with the AWS Nitro System.
- 2020‑09‑16:
A formalization and correctness proof of the CGOL language system / Pratt parser. (1975)
- 2020‑09‑16:
Differentiable dithering with gradient descent.
- 2020‑09‑15:
Which parsing approach?
- 2020‑09‑15:
Keeping time at NIST.
- 2020‑09‑15:
Debian-installer, mdadm configuration, and the bad blocks controversy.
- 2020‑09‑14:
Creating high-quality PDF/A documents using LaTeX.
- 2020‑09‑14:
What's so hard about PDF text extraction?
- 2020‑09‑13:
Diversity Explorer: ethnicity across England and Wales.
- 2020‑09‑13:
Design out waste in household electrical goods.
- 2020‑09‑12:
How GitLab.com upgraded PostgreSQL.
- 2020‑09‑11:
Getting MacOS style hotkeys working in GNU/Linux.
- 2020‑09‑10:
Leonardo da Vinci's ingenious design for a self-supporting bridge.
- 2020‑09‑10:
5 most annoying website features I face as a blind person every single day.
- 2020‑09‑09:
Hacking Ethernet out of FibreChannel cards.
- 2020‑09‑09:
Loko Scheme: an optimizing R6RS Scheme compiler.
- 2020‑09‑08:
An explainer on Ed25519 clamping.
- 2020‑09‑08:
What we didn't get: science fiction technologies that remained fictional.
- 2020‑09‑07:
How to speed up the Rust compiler one last time.
- 2020‑09‑07:
Named parameters using designated initializers in C++20.
- 2020‑09‑07:
The Capsule hash trie collections library for Java.
- 2020‑09‑06:
Lessons from the GNOME patent troll incident.
- 2020‑09‑05:
TOTP in 20 lines of Python.
- 2020‑09‑05:
The origins of XXX as a FIXME comment marker.
- 2020‑09‑04:
Some historical reflections on NSFNET.
- 2020‑09‑04:
Don't forget: the plural of anecdote is data.
- 2020‑09‑04:
Property testing and formal verification / symbolic execution in Rust with KLEE.
- 2020‑09‑03:
A demonstrator's guide to helmets.
- 2020‑09‑03:
The femme's guide to riot fashion: this season's hottest looks for the discerning anarchist.
- 2020‑09‑02:
Butler Lampson's updated and expanded hints and principles for computer system design.
- 2020‑09‑02:
On modern hardware the min-max heap beats a binary heap.
- 2020‑09‑02:
Write tracking for Nim.
- 2020‑09‑02:
The problem with C compatibility in C++.
- 2020‑09‑02:
jsonptr: using the wuffs memory-safe, zero-allocation JSON decoder.
- 2020‑09‑02:
The wuffs programming language: wrangling untrusted file formats safely.
- 2020‑09‑01:
Lunar: a Mac OS X utility to adjust the brightness of your external display.
- 2020‑09‑01:
PostgreSQL 13: don't let replication slots kill your primary.
- 2020‑09‑01:
This is not a sonic boom, it's a vapor cone.
- 2020‑09‑01:
Taking a look at Gerät 32620: the machine that powered numerous number stations.
- 2020‑09‑01:
How Arlo got injected into Ruby.
- 2020‑09‑01:
Understanding the X.500 directory.
- 2020‑08‑31:
Cracking Dlang Phobos pseudorandom UUIDs.
- 2020‑08‑31:
WebAssembly reference types in Wasmtime.
- 2020‑08‑31:
Why are there 5280 feet in a mile?
- 2020‑08‑31:
Sum types in Julia and Rust.
- 2020‑08‑30:
Python daemon ate my syslog message.
- 2020‑08‑30:
contained.af CTF.
- 2020‑08‑29:
WebAssembly troubles: WebAssembly is not a stack machine.
- 2020‑08‑29:
Travel demand modeling: the broken algorithm that poisoned American transportation.
- 2020‑08‑28:
Objective Rust.
- 2020‑08‑28:
Finger trees explained anew, and slightly simplified.
- 2020‑08‑28:
100 years to solve an integral: a history of the Mercator projection and the integral of the secant.
- 2020‑08‑28:
Rust-style futures in C with libuv.
- 2020‑08‑28:
Using Microsoft Word with git and pandoc.
- 2020‑08‑27:
PiSight: a Raspberry Pi inside an Apple iSight webcam.
- 2020‑08‑27:
Making QUIC quicker with NIC offload.
- 2020‑08‑27:
The design and implementation of BIND, a "Domain Names" resolver.
- 2020‑08‑27:
The design and implementation of the Berkeley Internet Name Domain (BIND) servers.
- 2020‑08‑27:
BIND: the Berkeley Internet Name Domain server.
- 2020‑08‑26:
UMASH: a fast and universal enough hash.
- 2020‑08‑26:
HTMLified C standard ISO/IEC 9899:2017.
- 2020‑08‑26:
PCI Express retimers vs. redrivers: an eye-popping difference.
- 2020‑08‑25:
Upgrading GitHub to Ruby 2.7.
- 2020‑08‑25:
Functional programming in m4.
- 2020‑08‑25:
Oracle to PostgreSQL: cursors and common table expressions.
- 2020‑08‑25:
Signifier: a brutalist response to the 17th century Oxford Fell typefaces.
- 2020‑08‑25:
Keeping CALM: when is distributed consistency easy?
- 2020‑08‑25:
Updating the PostgreSQL root.crt file for TLS client auth.
- 2020‑08‑24:
Recent advances in IPv6 security: Addressing.
- 2020‑08‑24:
Writing a fuzzer test case generator in Rust for a programming language such as Wasm.
- 2020‑08‑24:
BPF CO-RE: compile once, run everywhere for BPF portability.
- 2020‑08‑24:
Draw your own fourier epicycles.
- 2020‑08‑24:
Challenge to scientists: does your ten-year-old code still run?
- 2020‑08‑24:
Building resilient services at Amazon Prime Video with chaos engineering.
- 2020‑08‑24:
Here I stand, free: noexcept allocators and an inclusive C++ STL.
- 2020‑08‑24:
A clean start for the web?
- 2020‑08‑24:
Javascript generators, meet XPath.
- 2020‑08‑24:
Incident updates, interruptions and the 30 minute window.
- 2020‑08‑24:
The BLISS programming language: a history.
- 2020‑08‑24:
Never run `python` in your downloads folder.
- 2020‑08‑23:
As above, so below: Bare metal Rust generics.
- 2020‑08‑23:
Five stages of accepting constructive mathematics.
- 2020‑08‑22:
Mesh: a compacting memory allocator for C/C++.
- 2020‑08‑22:
Understanding memory fragmentation in GHC Haskell.
- 2020‑08‑21:
How NAT traversal works.
- 2020‑08‑21:
Nyxt: an extensible keyboard-oriented web browser written in Common LISP.
- 2020‑08‑21:
Why did Mozilla remove XUL add-ons from Firefox?
- 2020‑08‑21:
Google Chromium's impact on root DNS traffic.
- 2020‑08‑21:
Adding a microSD slot to a reMarkable tablet.
- 2020‑08‑21:
ARX, Arthur and RISC OS.
- 2020‑08‑20:
Code smell: concrete abstraction.
- 2020‑08‑20:
How the Linux kernel starts on ARM32.
- 2020‑08‑20:
Can't you just right click? Running unsigned code on Mac OS X.
- 2020‑08‑20:
A deep dive into the official Docker image for Python.
- 2020‑08‑20:
A documentation system: tutorials / howtos / reference / explanation.
- 2020‑08‑19:
Leading-trim: a future CSS spec for better vertical spacing in digital typography.
- 2020‑08‑19:
How to contact Google SRE by dropping a shell in Cloud SQL.
- 2020‑08‑19:
Evaluating TCP BBRv2 on the Dropbox edge network.
- 2020‑08‑19:
Contention adapting search tree: Erlang's new scalable ETS ordered set data structure.
- 2020‑08‑19:
Open problems in robotics.
- 2020‑08‑19:
Speeding up json parsing in Golang.
- 2020‑08‑19:
Switching from i3 to Sway on Ubuntu 20.04.
- 2020‑08‑19:
The case of the top secret iPod.
- 2020‑08‑18:
The medieval university duopoly in England.
- 2020‑08‑18:
How to break everything by fuzz testing.
- 2020‑08‑18:
Fuzzing a C/C++ API with DeepState.
- 2020‑08‑18:
Testing GNU coreutils with KLEE.
- 2020‑08‑18:
Measuring the coverage achieved by symbolic execution.
- 2020‑08‑17:
Responsible and effective bugfinding.
- 2020‑08‑17:
Using a Yubikey as a touchless, magic unlock key for Linux.
- 2020‑08‑17:
Proposed register-based Golang calling convention.
- 2020‑08‑17:
A first look at IPv4 transfer market misuse.
- 2020‑08‑17:
A 35-year-old bug in patch found during the 2.11BSD restoration project.
- 2020‑08‑16:
The Gartner hype cycle is ... hype.
- 2020‑08‑16:
Error recovery with parser combinators, using Rust and nom.
- 2020‑08‑16:
daScript: a high performance scripting language.
- 2020‑08‑15:
How the Intel 8086 distributes power and clock signals.
- 2020‑08‑14:
The optical mouse, and an architectural methodology for smart digital sensors. (Xerox PARC, 1981)
- 2020‑08‑14:
Constructive vs predicative data types.
- 2020‑08‑14:
Types as axioms, or: playing god with static types.
- 2020‑08‑14:
Netgpu and the hazards of proprietary Linux kernel modules.
- 2020‑08‑14:
The newspaper of the air: early experiments with radio facsimile.
- 2020‑08‑14:
DNS problems with conntrack and Kubernetes.
- 2020‑08‑14:
Mpemba effect: what conditions make hot water freeze faster than cold water?
- 2020‑08‑13:
Rust does not have a stable ABI.
- 2020‑08‑13:
Interactive HTML trees with no JavaScript and no CSS.
- 2020‑08‑13:
Handles are the better pointers.
- 2020‑08‑13:
A guide to contiguous data in Rust.
- 2020‑08‑12:
Linux eBPF projects and documentation.
- 2020‑08‑12:
Building a better Golang linker.
- 2020‑08‑11:
Dorking: how to find anything on the web.
- 2020‑08‑11:
Take a virtual tour of ORNL's supercomputer center.
- 2020‑08‑11:
Exposing and circumventing China's censorship of TLS/1.3 ESNI.
- 2020‑08‑10:
Surviving Rust async interfaces.
- 2020‑08‑10:
The great American sci-fi utopia or dystopia? (Kim Stanley Robinson)
- 2020‑08‑10:
9 crappy paradoxes that shape nonprofit and philanthropy.
- 2020‑08‑09:
UK radon maps.
- 2020‑08‑09:
Tracking running processes on Linux.
- 2020‑08‑09:
EdgeQL: we can do better than SQL.
- 2020‑08‑09:
The '-ize' have it!
- 2020‑08‑08:
A star went supernova in 1987. Where is it now?
- 2020‑08‑07:
Hello! You've been referred here because you're wrong about section 230 of the Communications Decency Act.
- 2020‑08‑07:
How hard is it to type-check your favorite language?
- 2020‑08‑07:
After nearly a century, elusive CNO neutrinos from the Sun are finally detected.
- 2020‑08‑07:
Why shaving dulls even the sharpest of razors.
- 2020‑08‑07:
crush: a command line shell that is also a powerful modern programming language.
- 2020‑08‑07:
Steve Crocker on the history of RFCs.
- 2020‑08‑06:
lacc: a simple, self-hosting C89 compiler.
- 2020‑08‑06:
The Myrddin programming language.
- 2020‑08‑06:
cproc: a C11 compiler using QBE as a backend.
- 2020‑08‑06:
A project to restore Interlisp-D to usability on modern OSes.
- 2020‑08‑06:
Monads and intensionality: Lucid is not an abberation.
- 2020‑08‑06:
Ten takeaways from ten years at Retraction Watch.
- 2020‑08‑05:
TikTok and the Sorting Hat.
- 2020‑08‑05:
What alternate reality games can teach us about QAnon.
- 2020‑08‑05:
Myth and monolith: the Nine Elms Cold Store.
- 2020‑08‑04:
Syntax changes in lambda expressions between C++11 and C++20.
- 2020‑08‑04:
Swift type checking is undecidable.
- 2020‑08‑03:
The UX of Lego interface panels.
- 2020‑08‑03:
Lecture notes on static program analysis.
- 2020‑08‑03:
Julia 1.5 release highlights.
- 2020‑08‑03:
COVID-19: We need to talk about airborne transmission and ventilation.
- 2020‑08‑02:
Rich: a Python library for rich text and beautiful formatting in the terminal.
- 2020‑08‑02:
How a cheese goes extinct.
- 2020‑08‑02:
Time traveling in Haskell: how it works and how to use it.
- 2020‑08‑02:
Measuring and examining TLS 1.3, IPv4, and IPv6 performance.
- 2020‑08‑02:
Measuring linux performance: how to avoid typical mistakes.
- 2020‑08‑02:
The lost history of PReP: Windows NT 3.5x on PowerPC and the RS/6000 40p.
- 2020‑08‑02:
Why are we using black box models in AI when we don't need to?
- 2020‑08‑02:
Low latency tuning guide for x86 Linux systems.
- 2020‑08‑02:
GPU.js: GPU accelerated JavaScript.
- 2020‑08‑02:
Hacking up a fix for the broken AppleTalk kernel module in Linux 5.1 and newer.
- 2020‑08‑02:
Homemade pasta.
- 2020‑08‑01:
How to harvest credit card numbers and passwords from lots of web sites.
- 2020‑08‑01:
WordSafety: check a name for unwanted meanings in foreign languages.
- 2020‑08‑01:
Compressing authority with cryptographic accumulators.
- 2020‑08‑01:
The politics of optimism.
- 2020‑08‑01:
Defragmenting DNS: determining the optimal maximum UDP response size for DNS.
- 2020‑07‑31:
Can I use CSS and HTML in email?
- 2020‑07‑31:
Apple emails reveal internal debate on right to repair.
- 2020‑07‑31:
Why are plants green? To reduce the noise in photosynthesis.
- 2020‑07‑30:
How Dropbox migrated from Nginx to Envoy.
- 2020‑07‑30:
Refactoring the FreeBSD kernel with Checked C.
- 2020‑07‑30:
Lockless algorithms for mere mortals?
- 2020‑07‑30:
Solving the expiring. X.509 root CA certificate-mageddon, partly at least.
- 2020‑07‑30:
Parallel stream processing with Rayon in Rust.
- 2020‑07‑30:
If language began in the hands, why did it ever leave?
- 2020‑07‑30:
Sizedness in Rust.
- 2020‑07‑30:
An introduction to data oriented design with Rust.
- 2020‑07‑30:
Speculative compilation in WebKit JavaScriptCore.
- 2020‑07‑30:
Pluto's dark side spills its secrets, including hints of a hidden ocean.
- 2020‑07‑30:
PostgreSQL 9.3's powerful new join type: LATERAL.
- 2020‑07‑30:
Some SQL tricks from an Application DBA.
- 2020‑07‑30:
RBS type signature files in Ruby 3.
- 2020‑07‑29:
Unicode normalization in PostgreSQL 13.
- 2020‑07‑29:
In October 1953, Paul Niquette coined the word 'software'.
- 2020‑07‑29:
Historic Usenet archive is disappearing from Google Groups.
- 2020‑07‑28:
The inescapable whiteness of Avatar: The Legend of Korra, and its uncomfortable implications.
- 2020‑07‑28:
DINR2020: DNS and Internet Naming Research Directions workshop.
- 2020‑07‑28:
Why inter-domain multicast now makes sense.
- 2020‑07‑28:
When Unix learned to reboot(2).
- 2020‑07‑28:
Mapping a universe of open source software: the Nixpkgs dependency graph.
- 2020‑07‑27:
Can applications recover from fsync() failures?
- 2020‑07‑27:
Apache Arrow and the 10 things I hate about pandas.
- 2020‑07‑27:
What is Apache Arrow?
- 2020‑07‑27:
Highlights from git 2.28.
- 2020‑07‑27:
Fanout and latency percentiles in distributed systems.
- 2020‑07‑27:
Monads and mom.
- 2020‑07‑27:
remake: GNU make with enhanced tracing, error reporting, debugging, profiling and more.
- 2020‑07‑27:
Compiling with a sea of nodes.
- 2020‑07‑27:
Should I block ICMP?
- 2020‑07‑27:
CVE-2020-13777 GnuTLS passive plaintext recovery vulnerability.
- 2020‑07‑26:
Preliminary benchmarking results for a Haskell I/O manager backend based on io_uring.
- 2020‑07‑26:
Colorize your CLI.
- 2020‑07‑26:
Corecursion and coinduction: what they are and how they relate to recursion and induction.
- 2020‑07‑26:
The history, status, and future of FPGAs.
- 2020‑07‑26:
Why people tend to appreciate men's humor so much more than women's.
- 2020‑07‑25:
Cryptography is not magic.
- 2020‑07‑25:
Bloom filters debunked: dispelling 30 years of bad math with Coq!
- 2020‑07‑24:
Meritocracy is not only false, it's bad for you.
- 2020‑07‑24:
Shadow attacks: hiding and replacing content in signed PDFs.
- 2020‑07‑24:
Cold showers on overhyped topics in computer science.
- 2020‑07‑24:
TechEmpower web framework benchmarks.
- 2020‑07‑24:
Demystifying MLsub: the simple essence of algebraic subtyping.
- 2020‑07‑23:
Why is CSS the way it is?
- 2020‑07‑23:
Buzzy: dependency management for C.
- 2020‑07‑23:
Exploring Algol 68 in the 21st century.
- 2020‑07‑23:
New features in gnuplot 5.4.
- 2020‑07‑22:
MineSweeper implemented in CSS and HTML and no JavaScript.
- 2020‑07‑22:
How to check the status of Rust features.
- 2020‑07‑22:
caniuse.rs: Rust feature search.
- 2020‑07‑22:
Next steps for single ownership and RAII. (C++/Vale/Rust)
- 2020‑07‑21:
The null process.
- 2020‑07‑21:
UTN #39: bidi brackets for dummies.
- 2020‑07‑21:
Essays on programming I think about a lot.
- 2020‑07‑21:
Lisp: the many faces of an undying programming language.
- 2020‑07‑21:
Syntax highlighting is a waste of an information channel.
- 2020‑07‑21:
An explanation of Rust's module system.
- 2020‑07‑20:
Certificate Transparency: a bird's-eye view.
- 2020‑07‑20:
Three architectures for a responsive IDE.
- 2020‑07‑20:
Journeying into XDP (express data path) for in-kernel eBPF DNS acceleration.
- 2020‑07‑20:
Ireland donates its COVID tracker app to Linux Foundation.
- 2020‑07‑20:
The quest for very wide outlines: optimized GPU silhouettes.
- 2020‑07‑19:
The cpio trailer problem.
- 2020‑07‑19:
How Newton's Philosophiæ Naturalis Principia Mathematica came to be published.
- 2020‑07‑17:
Repurposing FPGA-based products as development kits.
- 2020‑07‑17:
Unicode for Mayan hieroglyphs.
- 2020‑07‑17:
Straightened trees.
- 2020‑07‑17:
The impact of Heartbleed on OpenSSL's development practices.
- 2020‑07‑17:
DDR5 memory specification released.
- 2020‑07‑16:
Shipping const generics for Rust in 2020.
- 2020‑07‑16:
Patricia Crowther inspired one of the first hit video games by mapping the world's longest cave.
- 2020‑07‑16:
Hacking Reolink IP cameras for fun and profit.
- 2020‑07‑16:
Python pickle's nine flaws.
- 2020‑07‑16:
IPv6 and the DNS.
- 2020‑07‑16:
Systems Performance: Enterprise and the Cloud, 2nd Edition.
- 2020‑07‑16:
Back into FreeBSD's wireless stack and 802.11ac.
- 2020‑07‑16:
Introducing the GitHub availability report.
- 2020‑07‑16:
Lezer: a JavaScript parser generator for the CodeMirror 6 editor.
- 2020‑07‑16:
What's new in Lua 5.4.
- 2020‑07‑16:
Why even unused data needs to be valid in Rust.
- 2020‑07‑16:
Two beautiful Rust programs.
- 2020‑07‑15:
PgTyped: raw SQL in TypeScript with guaranteed type-safety.
- 2020‑07‑15:
Rewriting FORTRAN software in Rust.
- 2020‑07‑14:
In search of 2.11BSD, as originally released.
- 2020‑07‑14:
MessagePack vs CBOR (RFC7049).
- 2020‑07‑14:
SIGred: exploiting a 17 year-old bug in Windows DNS servers.
- 2020‑07‑14:
Etcd, or, why modern software makes me sad.
- 2020‑07‑14:
How Futhark implements array bounds checking on the GPU.
- 2020‑07‑14:
SSSE3 fast popcount.
- 2020‑07‑14:
The GDPR explained by Americans.
- 2020‑07‑14:
Understanding the F5 Networks BIG-IP remote code execution vulnerability CVE-2020-5902.
- 2020‑07‑14:
Too many objects: Reducing memory overhead from Python instances.
- 2020‑07‑14:
Color e-ink displays are arriving soon in ebook and e-note devices.
- 2020‑07‑14:
Why are LED indicator lights (especially blue ones) so annoying?
- 2020‑07‑14:
Making system(3) and popen(3) use posix_spawn(3) on NetBSD.
- 2020‑07‑13:
A PostgreSQL developer's .psqlrc
- 2020‑07‑13:
pgx: build PostgreSQL extensions with Rust.
- 2020‑07‑13:
Fuzzing rumpkernel syscalls.
- 2020‑07‑13:
Optimizations in C++ compilers: a practical journey.
- 2020‑07‑13:
The rectangle rule for code formatting style.
- 2020‑07‑13:
The computing demands of deep learning are so great that progress is stalling.
- 2020‑07‑13:
ARM64 popcount in Golang and assembler.
- 2020‑07‑13:
ELF statifier: create a static executable from a binary and its libraries.
- 2020‑07‑12:
When master/slave does not make sense.
- 2020‑07‑12:
Xerox 48-bit absolute internet and Ethernet host numbers. (1981)
- 2020‑07‑12:
sed-bin: a sed to C translator written in sed.
- 2020‑07‑12:
Land of monopolists: private equity 'roll-ups' hit virtually everything.
- 2020‑07‑12:
Infrastructure: our cyborg collective body, ourselves.
- 2020‑07‑12:
When SimCity got serious: the story of Maxis Business Simulations and SimRefinery.
- 2020‑07‑11:
mbeddr: integrated and extensible languages for embedded software, plus an IDE.
- 2020‑07‑11:
The Frink is good, the unit is evil.
- 2020‑07‑10:
A history of Usenet and FidoNet.
- 2020‑07‑09:
The Prancing Pony vending machine at SAIL.
- 2020‑07‑09:
The top types any and unknown in TypeScript.
- 2020‑07‑09:
C++ hashmaps benchmarks.
- 2020‑07‑09:
The "smol" Rust async runtime.
- 2020‑07‑09:
Low accuracy solar position equations.
- 2020‑07‑09:
Sunrise / sunset algorithm.
- 2020‑07‑09:
FPGA softcore SoC shootout.
- 2020‑07‑08:
GNU: a heuristic for bad cryptography.
- 2020‑07‑08:
cwrap: testing Samba (or your full software stack) on a single machine.
- 2020‑07‑08:
Symbolic execution with SymCC: don't interpret, compile!
- 2020‑07‑08:
yubikey-agent: a seamless ssh-agent for YubiKeys.
- 2020‑07‑08:
ip2unix: turn IP sockets into Unix domain sockets.
- 2020‑07‑08:
Tech confronts its use of the labels 'master' and 'slave'.
- 2020‑07‑07:
Google Common Lisp style guide.
- 2020‑07‑07:
The Pyret Code: a rationale for the Pyret programming language.
- 2020‑07‑07:
Don't Panic! Better, fewer, syntax errors for LR parsers.
- 2020‑07‑07:
Statically sized higher-kinded polymorphism.
- 2020‑07‑07:
An autoscaling-related outage at Slack.
- 2020‑07‑07:
1:60 scale model of a Boeing 777, made entirely from manila folders.
- 2020‑07‑07:
Division by zero in type theory: a FAQ.
- 2020‑07‑06:
Small strings in Rust.
- 2020‑07‑06:
Licklider's memorandum for members and affiliates of the intergalactic computer network. (1963)
- 2020‑07‑06:
Behind the scenes at the Marmite factory in Burton-on-Trent.
- 2020‑07‑06:
UASP makes Raspberry Pi 4 disk IO 50% faster.
- 2020‑07‑04:
Noisia: a harmful workload generator for PostgreSQL.
- 2020‑07‑04:
Hamilton on film now is a very different experience than the Broadway show was then.
- 2020‑07‑04:
Many newsrooms are now capitalizing the B in Black. Here are some of the people who made that happen.
- 2020‑07‑04:
Websites that look like desktop GUIs.
- 2020‑07‑04:
The unplanned impact of mathematics.
- 2020‑07‑03:
Code only says what it does.
- 2020‑07‑03:
BLOB storage in PostgreSQL.
- 2020‑07‑02:
Encrypted DNS support in iOS 14 and macOS 11.
- 2020‑07‑02:
The alias method for efficiently sampling from a discrete probability distribution.
- 2020‑07‑02:
Weighted round robin / weighted random integers with the golden ratio low discrepancy sequence.
- 2020‑07‑02:
On the closing of Living Computers: Museum+Labs.
- 2020‑07‑02:
Generics for Golang.
- 2020‑07‑02:
Taking over Azure DevOps accounts with 1 click using a subdomain takeover.
- 2020‑07‑01:
Complete spatial safety for C and C++ using CHERI capabilities.
- 2020‑07‑01:
Implementing the exponential function.
- 2020‑07‑01:
Join strategies and performance in PostgreSQL.
- 2020‑07‑01:
Inside Apple Lightning.
- 2020‑07‑01:
Spies, lies, and stonewalling: what it's like to report on Facebook.
- 2020‑07‑01:
The ARM Morello board: porting experimental capability extensions from CHERI-MIPS.
- 2020‑07‑01:
Getting to the bottom of Noether's theorem.
- 2020‑07‑01:
Raspberry Pi 4 PCIe bridge "chip".
- 2020‑07‑01:
Rendering multimedia in pure C.
- 2020‑07‑01:
What is Zig's “colorblind” async/await?
- 2020‑07‑01:
What is the Scudo hardened allocator? (used by LLVM sanitizers and Android)
- 2020‑06‑30:
Argdown: A simple syntax for complex argumentation.
- 2020‑06‑30:
What is prototype pollution in JavaScript?
- 2020‑06‑30:
Why aren't regular expressions a lingua franca? An empirical study of re-use and portability.
- 2020‑06‑30:
To what does the harmonic series converge? (in IEEE754 floating point)
- 2020‑06‑29:
A few more reasons Rust compiles slowly.
- 2020‑06‑29:
Why birds can fly over Mount Everest.
- 2020‑06‑29:
Understand Wi-Fi 4/5/6/6E (802.11 n/ac/ax).
- 2020‑06‑29:
Minkowski asteroids.
- 2020‑06‑28:
Whither chroot?
- 2020‑06‑28:
Roy Fielding's misappropriated REST dissertation.
- 2020‑06‑28:
Implementing a type-safe printf in Rust.
- 2020‑06‑28:
Property-based testing in Rust with Proptest.
- 2020‑06‑28:
String formatting is unreasonably expensive for embedded Rust.
- 2020‑06‑28:
ELF: better symbol lookup via DT_GNU_HASH.
- 2020‑06‑27:
Examining ARM vs x86 memory models with Rust.
- 2020‑06‑25:
World capitals Voronoi map.
- 2020‑06‑25:
Implementations for Gray code encoding and decoding.
- 2020‑06‑25:
Query-based compiler architectures.
- 2020‑06‑25:
Zealandia: Earth's 8th continent.
- 2020‑06‑24:
Exploiting an Envoy http proxy heap vulnerability.
- 2020‑06‑24:
Control theory for fun and profit.
- 2020‑06‑24:
Path building vs path verifying X.509 certificate validation implementation showdown.
- 2020‑06‑24:
Faster integer parsing.
- 2020‑06‑24:
The largest city in each 10x10 degree latitude/longitude box.
- 2020‑06‑24:
Incommensurability: the structure of a programming language revolution.
- 2020‑06‑24:
What I've learnt so far about writing research papers.
- 2020‑06‑24:
Indexing JSONB columns in PostgreSQL.
- 2020‑06‑24:
Iceland's CO2 emissions could be reduced by 30% by replacing carbon electrodes in aluminium smelters.
- 2020‑06‑24:
Announcing Perl 7: it's just Perl 5 with more modern defaults.
- 2020‑06‑24:
GRIN: LLVM-based whole program optimizer for lazy and strict functional languages.
- 2020‑06‑24:
Transport for London's impossible finances during the pandemic.
- 2020‑06‑23:
Is WebP really better than JPEG?
- 2020‑06‑23:
Oilpan: high-performance garbage collection for C++ in V8.
- 2020‑06‑23:
Being glue.
- 2020‑06‑23:
Stretching the Commodore 64 palette.
- 2020‑06‑23:
Cheap tricks for high-performance Rust.
- 2020‑06‑23:
Fujitsu's Fugaku and Arm A64FX in the fastest supercomputer at 415 petaFLOPs.
- 2020‑06‑23:
Ego graphs and the Google 'vs' trick.
- 2020‑06‑23:
Rust's huge compilation units.
- 2020‑06‑22:
The archetype of a message-passing bug in Rust.
- 2020‑06‑22:
Measuring route origin validation.
- 2020‑06‑22:
Maersk, notPetya, and me.
- 2020‑06‑20:
Why you hate contemporary architecture.
- 2020‑06‑20:
Everything I've learned about solar storm risk and EMP attacks.
- 2020‑06‑20:
Discovering Dennis Ritchie's lost dissertation.
- 2020‑06‑19:
Errors in Rust: a deep dive.
- 2020‑06‑19:
Memory consistency models: a tutorial.
- 2020‑06‑19:
A concise guide to the Golang generics draft design.
- 2020‑06‑19:
Linear types for Haskell are merged into GHC.
- 2020‑06‑19:
The Go+ language for data science.
- 2020‑06‑19:
poica: algebraic data types with pattern matching and type introspection for C.
- 2020‑06‑18:
Consistency models for concurrent and distributed systems.
- 2020‑06‑18:
The Apollo 11 lunar ranging experiment at the Lick Observatory.
- 2020‑06‑18:
The magnetic amplifier: a lost technology of the 1950s.
- 2020‑06‑17:
Oracle to PostgreSQL: basic architecture.
- 2020‑06‑17:
TERF wars: why transphobia has no place in feminism.
- 2020‑06‑17:
Composite data type performance issues in PostgreSQL.
- 2020‑06‑16:
The next step for generics in Golang.
- 2020‑06‑16:
How browsers work: behind the scenes of modern web browsers.
- 2020‑06‑16:
Generics and compile time in Rust.
- 2020‑06‑16:
Understanding user management in PgBouncer.
- 2020‑06‑16:
Intel's port 7 AGU blunder.
- 2020‑06‑15:
Dumbindent: because 93% of the time was spent in clang-format.
- 2020‑06‑15:
The Postgres and Illustra codelines.
- 2020‑06‑15:
Unix® certified products.
- 2020‑06‑15:
Looking back at Postgres.
- 2020‑06‑15:
Guix further reduces bootstrap seed to 60MB.
- 2020‑06‑14:
META II: a syntax-oriented compiler writing language. (1964)
- 2020‑06‑14:
ACM HOPL IV proceedings.
- 2020‑06‑14:
Intel vs AWS Graviton ARM performance for MinIO S3-compatible object storage.
- 2020‑06‑14:
The origins of Objective-C at PPI/Stepstone and its evolution at NeXT.
- 2020‑06‑14:
Fast 2D rendering on GPU.
- 2020‑06‑13:
fortraith: evaluate Forth at compile time using Rust traits.
- 2020‑06‑13:
Bugs found in database management systems with SQLancer.
- 2020‑06‑13:
Bicycle geometry terminology.
- 2020‑06‑12:
Event Tracing for Windows: the worst API ever made.
- 2020‑06‑12:
Jepsen: PostgreSQL 12.3.
- 2020‑06‑12:
Memory-safety challenge considered solved? An empirical study of Rust CVEs.
- 2020‑06‑12:
The story of tail call optimization in Rust.
- 2020‑06‑12:
How to implement search-by-colour using Color Thief and PostgreSQL.
- 2020‑06‑12:
Async Python is not faster.
- 2020‑06‑12:
V8's RegExp engine in SpiderMonkey.
- 2020‑06‑12:
Graph and tree traversals in Rust.
- 2020‑06‑12:
Bringing my Emacs from the past.
- 2020‑06‑12:
Essential and relevant: a unit test balancing act.
- 2020‑06‑12:
In search of the original Fortran compiler.
- 2020‑06‑12:
A history of the LISP 2 project.
- 2020‑06‑11:
Unicode security considerations.
- 2020‑06‑11:
Merkle trees and build systems with OSTree and ninja.
- 2020‑06‑11:
Flat UI elements attract less attention and cause uncertainty.
- 2020‑06‑11:
Speeding up a Git monorepo.
- 2020‑06‑11:
Global kernel locks in Mac OS X APFS.
- 2020‑06‑08:
Failover replication slots for PostgreSQL.
- 2020‑06‑08:
Bifrost meets GNOME: Onward and upward to zero graphics blobs.
- 2020‑06‑08:
The pain points of Haskell: a practical summary.
- 2020‑06‑08:
Getting hands-on with io_uring using Golang.
- 2020‑06‑06:
USB-C is still a mess.
- 2020‑06‑06:
Every Jurassic Park dinosaur illustrated with modern science.
- 2020‑06‑06:
How to organize your Rust tests.
- 2020‑06‑05:
printf-tac-toe, and a guide to printf-oriented programming.
- 2020‑06‑05:
Featherweight Golang.
- 2020‑06‑04:
Modern router architecture and IPv6.
- 2020‑06‑04:
Overcoming the challenges of IPv6 support in BIND.
- 2020‑06‑03:
Testing Rust with manual coverage marks.
- 2020‑06‑03:
Autovectorization for AVX and AVX2 in Rust.
- 2020‑06‑03:
Fuzzing Sequoia-PGP.
- 2020‑06‑03:
Programming Servo: integrating streams.
- 2020‑06‑03:
Drawing a Sierpiński triangle with recursive SQL and SVG.
- 2020‑06‑03:
Locks in PostgreSQL.
- 2020‑06‑03:
Removing PostgreSQL bottlenecks caused by high traffic.
- 2020‑06‑03:
Software development as advanced damage control.
- 2020‑06‑03:
The rise and fall of commercial Smalltalk.
- 2020‑06‑03:
A Smalltalk 80 implementation and tools.
- 2020‑06‑03:
A Kea developer's take on IPv6 and DHCP.
- 2020‑06‑02:
Die analysis of the 8087 math coprocessor's fast bit shifter.
- 2020‑06‑02:
IPv6 and Rust.
- 2020‑06‑02:
Book review: the origin of consciousness in the breakdown of the bicameral mind.
- 2020‑05‑31:
List of well-known web sites that port scan their visitors.
- 2020‑05‑31:
Hoare's rebuttal and bubble sort's comeback: a fast quicksort.
- 2020‑05‑29:
The radix 2^51 trick.
- 2020‑05‑29:
Algol 60 implementation. (1964)
- 2020‑05‑29:
Oxidizing the technical interview.
- 2020‑05‑29:
40th anniversary of uuencode.
- 2020‑05‑28:
What science can tell us about C and C++'s security.
- 2020‑05‑27:
ISO 7000 graphical symbols for use on equipment.
- 2020‑05‑27:
What is FETCH FIRST WITH TIES in PostgreSQL 13?
- 2020‑05‑27:
PostgreSQL tips for optimizing Django and Python performance.
- 2020‑05‑27:
PostgreSQL EXPLAIN ANALYZE may be lying to you.
- 2020‑05‑27:
How to kill a dinosaur in 10 minutes.
- 2020‑05‑27:
History of UNIX manpages.
- 2020‑05‑27:
eBay port scans visitors' computers for remote access programs.
- 2020‑05‑27:
Ancient Egyptian coffins and mystery of 'black goo'.
- 2020‑05‑27:
Random worldbuilding: the nation in history.
- 2020‑05‑27:
macOS 10.15 Catalina: slow by design.
- 2020‑05‑27:
C++20: the unspoken features.
- 2020‑05‑27:
By the Bluebook implementation of Smalltalk-80.
- 2020‑05‑26:
Who says C is simple?
- 2020‑05‑26:
Coolest features of non-Java JVM languages.
- 2020‑05‑26:
How Internet communities function.
- 2020‑05‑26:
Science fiction timeline of inventions.
- 2020‑05‑26:
Bloaty McBloatface: a size profiler for binaries.
- 2020‑05‑26:
Using ASDL to describe ASTs in CPython.
- 2020‑05‑26:
Datamash: command-line computation on tabular files.
- 2020‑05‑26:
Adventures of porting MUSL libc to Sony PS4 BSD.
- 2020‑05‑26:
Why is Idris 2 so much faster than Idris 1?
- 2020‑05‑25:
libfirm/cparser: C99 parser and frontend.
- 2020‑05‑25:
7 scandalous weird old things about the C preprocessor.
- 2020‑05‑25:
std::format in C++20.
- 2020‑05‑23:
DuckDB: an embeddable analytical SQL database.
- 2020‑05‑23:
Porting BSD to GCC and ANSI C. (1988)
- 2020‑05‑21:
Why upgrade PostgreSQL?
- 2020‑05‑21:
Three bugs in the Golang MySQL driver.
- 2020‑05‑20:
A guide to global data in Rust.
- 2020‑05‑20:
The next few years for Rust Analyzer.
- 2020‑05‑20:
Taking advantage of auto-vectorization in Rust.
- 2020‑05‑20:
Structuring and handling errors in Rust.
- 2020‑05‑20:
15 years later: remote code execution in qmail.
- 2020‑05‑20:
The death of corporate research labs.
- 2020‑05‑20:
Lisa Piccirillo solved a decades-old Conway knot problem.
- 2020‑05‑20:
A KVM host in a few lines of code.
- 2020‑05‑19:
Computerized flight booking: a technology that changed air travel.
- 2020‑05‑19:
Does the QUIC handshake require compression to be fast?
- 2020‑05‑15:
Writing a Wayland compositor in Rust.
- 2020‑05‑15:
GPU architecture resources.
- 2020‑05‑15:
Notes on io-uring.
- 2020‑05‑15:
time_it! a case study in Rust macros.
- 2020‑05‑15:
Rust verification tools.
- 2020‑05‑15:
What's the difference between a Rust char and a Go rune? Unicode scalar values vs code points.
- 2020‑05‑15:
Yak shaving #ifdef-style conditional compilation in Rust.
- 2020‑05‑15:
Building an ASN1 codec with the Rust FFI.
- 2020‑05‑15:
Rust closures in FFI.
- 2020‑05‑15:
Five years of Rust.
- 2020‑05‑14:
Differential testing for software (such as compilers).
- 2020‑05‑14:
Bosque: a TypeScript-like programming language that compiles to native code.
- 2020‑05‑14:
Typesetting Markdown with Pandoc, Lua, and ConTeXt.
- 2020‑05‑14:
Hardware store elimination.
- 2020‑05‑14:
This word does not exist.
- 2020‑05‑14:
Why do dragons have eyes on the sides of their heads?
- 2020‑05‑14:
Deno 1.0: TypeScript and v8 on the command line, in Rust.
- 2020‑05‑13:
PostgreSQL now() vs. 'NOW'::timestamp vs. clock_timestamp().
- 2020‑05‑13:
The case of the missing DNS packets.
- 2020‑05‑13:
Why AES-GCM sucks.
- 2020‑05‑13:
A no_std Rust binary.
- 2020‑05‑12:
The success and failure of the Ninja build system.
- 2020‑05‑12:
The science of ginger milk curd.
- 2020‑05‑12:
Confessions of Marcus Hutchins, the hacker who killed WannaCry.
- 2020‑05‑11:
John Conway's FRACTRAN, a ridiculous yet surprisingly deep language.
- 2020‑05‑10:
Ensmallening Go binaries by prohibiting comparisons.
- 2020‑05‑09:
Using integer linear programming to solve complex logic.
- 2020‑05‑09:
The original cookie specification from 1997 was GDPR compliant.
- 2020‑05‑06:
Rules for writers.
- 2020‑05‑06:
Cheating higher ranked types with traits in Rust.
- 2020‑05‑06:
Take care editing bash scripts.
- 2020‑05‑05:
A map of trees in London.
- 2020‑05‑04:
Backup manifests and pg_verifybackup in PostgreSQL 13.
- 2020‑05‑04:
Lessons learned improving RPKI.
- 2020‑05‑04:
How to read UTF-8 passwords on the Windows console.
- 2020‑05‑04:
7 things that could be improved in PostgreSQL.
- 2020‑05‑04:
Oracle vs PostgreSQL: a first glance.
- 2020‑05‑04:
Bit twiddling hacks: check for borrows in bitwise operations.
- 2020‑05‑03:
Fairphone and /e/ team up to build open source, Google-free, sustainable smartphone.
- 2020‑05‑03:
Some medium-hard data analyst SQL interview questions.
- 2020‑05‑02:
Psychic paper: an iOS entitlement XML plist parsing bug.
- 2020‑05‑02:
Concurrent hash tables: fast and general?!
- 2020‑05‑02:
An embedded Rust pattern: zero sized references.
- 2020‑05‑01:
Notes on writing parsers in Rust.
- 2020‑05‑01:
Disabling Snaps in Ubuntu 20.04.
- 2020‑04‑30:
Announcing the SourceHut project hub.
- 2020‑04‑30:
Game of Life in 32 bytes.
- 2020‑04‑30:
HashiCorp Vault is overhyped, and Mozilla SOPS with KMS and git is underrated.
- 2020‑04‑30:
Troubleshooting systemd with SystemTap.
- 2020‑04‑29:
Reducing the size of a Rust GStreamer plugin.
- 2020‑04‑29:
Why strace doesn't work in Docker.
- 2020‑04‑29:
A collection of weird debugging stories.
- 2020‑04‑29:
CSS for i18n.
- 2020‑04‑29:
Postgres.app: an easy Mac OS installer for PostgreSQL.
- 2020‑04‑29:
Paxosmon: gotta consensus them all!
- 2020‑04‑28:
The many flavours of the arcane SQL MERGE statement.
- 2020‑04‑28:
A warm welcome to ASN.1 and DER.
- 2020‑04‑28:
Paxos vs Raft: have we reached consensus on distributed consensus?
- 2020‑04‑27:
First release of rust-analyzer.
- 2020‑04‑27:
For better videoconferencing at home on lousy links.
- 2020‑04‑27:
Towards Sequoia PGP v1.0.
- 2020‑04‑27:
TEMPEST@Home: finding radio frequency side channels.
- 2020‑04‑27:
Byrne's Euclid.
- 2020‑04‑26:
Teleforking a process onto a different computer!
- 2020‑04‑25:
Numerous ways to say "thousand years" in a scientific paper.
- 2020‑04‑25:
Myths about USB multi-key rollover and how USB HID works.
- 2020‑04‑23:
Incremental regular expressions.
- 2020‑04‑23:
From Pratt parsing to the Dijkstra shunting yard.
- 2020‑04‑23:
Better debug stack fixing for Firefox using Rust.
- 2020‑04‑22:
Full text search in milliseconds with Rails and PostgreSQL, without triggers.
- 2020‑04‑22:
Unicode technical note 27: known anomalies in Unicode character names.
- 2020‑04‑22:
Outsourcing reduces productivity.
- 2020‑04‑22:
Things I wished more developers knew about databases.
- 2020‑04‑22:
Linux kernel lockdown, integrity, and confidentiality.
- 2020‑04‑21:
The chairs of Blake's 7.
- 2020‑04‑21:
herbstluftwm: a manual tiling window manager for X11.
- 2020‑04‑21:
OAuth2 best practices cheat sheet.
- 2020‑04‑21:
How the "Memories" 256-byte MS DOS intro works.
- 2020‑04‑21:
API design: Understanding gRPC, OpenAPI and REST and when to use them.
- 2020‑04‑21:
RPKI and RIR 0/0 trust anchors.
- 2020‑04‑19:
SHISHUA: the fastest pseudo-random generator.
- 2020‑04‑19:
Boost UDP transaction performance.
- 2020‑04‑19:
An evaluation of password generation, storage, and autofill in browser-based password managers.
- 2020‑04‑19:
Analysis of DTLS implementations using protocol state fuzzing.
- 2020‑04‑19:
Forecasting logistic curves is hard.
- 2020‑04‑19:
The unpatchable silicon: a full break of the bitstream encryption of Xilinx 7-Series FPGAs.
- 2020‑04‑18:
Inside the Am2901: AMD's 1970s bit-slice processor.
- 2020‑04‑18:
Sneaky marketing: WD, Toshiba, Seagate shipping slower SMR drives without disclosure.
- 2020‑04‑17:
The decline of usability.
- 2020‑04‑17:
SELECT WAT FROM SQL;
- 2020‑04‑17:
GNU binutils: the ELF Swiss Army knife.
- 2020‑04‑17:
Surrounded by Elligators: implementing crypto with nothing to compare to.
- 2020‑04‑17:
SMART: string matching algorithms research tool.
- 2020‑04‑17:
Fix Boyer-Moore with the Rytter correction.
- 2020‑04‑16:
Embedding binary data into programs.
- 2020‑04‑16:
Embedding binary objects in C / ELF.
- 2020‑04‑16:
regex2fat: encode a regular expression into a DFA represented as a graph of FAT32 directories.
- 2020‑04‑16:
Didn't I write this story already? When your fictional pandemic becomes reality.
- 2020‑04‑16:
GCC always assumes aligned pointer accesses.
- 2020‑04‑15:
Types instead of strings for extensible architectures in Rust.
- 2020‑04‑15:
Fallible iterator adapters in Rust.
- 2020‑04‑15:
Cranelift: a possible new backend for Rust.
- 2020‑04‑15:
IJON: exploring deep state spaces via fuzzing.
- 2020‑04‑15:
Gluu: open source IAM / SSO.
- 2020‑04‑14:
Keycloak: open source identity and access management.
- 2020‑04‑14:
Defining the Really Habitable Zone.
- 2020‑04‑14:
Zig programming language 0.6.0 release notes.
- 2020‑04‑14:
Making Unix a little more like Plan9.
- 2020‑04‑14:
What's the type of JSON.parse(JSON.stringify(x)) in TypeScript?
- 2020‑04‑14:
libcpu: a library to emulate several CPU architectures using LLVM.
- 2020‑04‑14:
beebjit: clocking a 6502 to 15GHz!
- 2020‑04‑13:
Simple but powerful Pratt parsing in Rust.
- 2020‑04‑13:
Computers can be understood.
- 2020‑04‑13:
Benchmarking programming language VM JIT warmup.
- 2020‑04‑12:
Braid: an experimental team chat application.
- 2020‑04‑12:
Verification: why it's so hard to create new processors.
- 2020‑04‑12:
The US government runs on COBOL, and now it's falling apart
- 2020‑04‑11:
Error handling in a correctness-critical Rust project.
- 2020‑04‑11:
Eytzinger binary search.
- 2020‑04‑10:
Understanding JavaScript module formats and tools.
- 2020‑04‑09:
Optimizing lazy initialization in TruffleRuby with deoptimization.
- 2020‑04‑09:
Error handling in Rust: from `failure` to `fehler`.
- 2020‑04‑08:
Rules for data modelling with DynamoDB.
- 2020‑04‑08:
The ECHELON affair: the European Parliament and the global interception system.
- 2020‑04‑08:
Maximator: European signals intelligence cooperation.
- 2020‑04‑08:
How owls fly without making a sound.
- 2020‑04‑08:
The COBOL problem.
- 2020‑04‑07:
entr: run arbitrary commands when files change.
- 2020‑04‑05:
pg_hint_plan: execution plan hints for PostgreSQL.
- 2020‑04‑04:
6 things Markdown got wrong.
- 2020‑04‑04:
10 things I hate about PostgreSQL.
- 2020‑04‑04:
On generic traits and associated types in Rust.
- 2020‑04‑03:
Some more advanced aspects of pattern matching in Rust.
- 2020‑04‑03:
The Omit helper type in TypeScript.
- 2020‑04‑03:
Reducing tail latencies with automatic yielding in Tokio on Rust.
- 2020‑04‑03:
Bug bounty platforms buy researcher silence and violate labor and privacy laws.
- 2020‑04‑03:
Anatomy of CVE-2019-5736, a runc container escape.
- 2020‑04‑03:
RISC OS and NetBSD running on the same SoC.
- 2020‑04‑02:
CO2meter: a Python interface to USB CO2 monitor devices.
- 2020‑04‑02:
The open air factor: coronavirus and the sun.
- 2020‑04‑02:
Fish can reduce the methane emissions from rice paddies.
- 2020‑04‑02:
PID without a PhD.
- 2020‑04‑01:
Conditions and restarts in Common Lisp.
- 2020‑04‑01:
How is the Linux kernel tested?
- 2020‑04‑01:
Writing an OS in Rust: support for async/await.
- 2020‑04‑01:
Analysis of Google Chromium C++ compilation times.
- 2020‑04‑01:
Videogame doesn't infringe tattoo copyright by depicting basketball players.
- 2020‑03‑31:
32 bit time_t in Linux: the end of an epoch.
- 2020‑03‑31:
QuineDB: a quine that is also a key-value store.
- 2020‑03‑31:
The long and complicated history of why there are 360 degrees in a circle.
- 2020‑03‑30:
Lead-free solder is better for you.
- 2020‑03‑29:
Golang quirks.
- 2020‑03‑29:
PostgreSQL schema design with row-level security.
- 2020‑03‑29:
Leonardo Torres y Quevedo: an early computer designer from Spain.
- 2020‑03‑29:
Percy Ludgate: an early computer designer from Ireland.
- 2020‑03‑29:
Lessons from the Unix stdio ABI.
- 2020‑03‑29:
Setting up git identities.
- 2020‑03‑29:
Seven stages of open software.
- 2020‑03‑28:
How are Unix pipes implemented?
- 2020‑03‑28:
In-memory compute using off-the-shelf DRAM.
- 2020‑03‑28:
Protecting log records at 30,000 feet with syslog-ng.
- 2020‑03‑28:
Repairing a vintage 40-kilovolt xenon lamp igniter.
- 2020‑03‑28:
Icons for obsolete technology in Unicode.
- 2020‑03‑28:
Hyperlinks in terminal emulators.
- 2020‑03‑28:
Static analysis in gcc 10.
- 2020‑03‑28:
The Chapel parallel programming language.
- 2020‑03‑26:
Firefox's low-latency WebAssembly compiler.
- 2020‑03‑26:
Thomas Piketty takes on the ideology of inequality.
- 2020‑03‑26:
Fast and simple interned strings in Rust.
- 2020‑03‑26:
Optimising the size and performance of std::borrow::Cow<T> in Rust.
- 2020‑03‑26:
10 most(ly dead) influential programming languages .
- 2020‑03‑26:
BBC computer literacy project archive.
- 2020‑03‑25:
Investigating DNS lookup failures in Kubernetes.
- 2020‑03‑25:
git-2.26 release highlights.
- 2020‑03‑25:
Learn d3.js.
- 2020‑03‑25:
Breaking the random numbers in two Linux KASLR patches.
- 2020‑03‑25:
Coyote: Making it easier for .NET developers to build reliable asynchronous software.
- 2020‑03‑24:
zig cc: a powerful drop-in replacement for gcc or clang.
- 2020‑03‑24:
Concurrent programming, with examples.
- 2020‑03‑24:
X.509 web PKI insecurity.
- 2020‑03‑23:
Three typefaces for mathematics: The development of Times 4-line Mathematics, AMS Euler, and Cambria Math.
- 2020‑03‑23:
Why don't we just ban targeted advertising?
- 2020‑03‑23:
JANET LINX connection outage report.
- 2020‑03‑23:
An ineresting Discord outage report. (Elixir / Golang / Python / etcd)
- 2020‑03‑23:
Nornir: an automation framework in Python.
- 2020‑03‑23:
Napalm network automation.
- 2020‑03‑21:
An illustrated jq tutorial.
- 2020‑03‑20:
How to write documentation for a Rust crate.
- 2020‑03‑19:
ARIN VM cluster outage due to SAN failure.
- 2020‑03‑18:
JavaScript: the first 20 years. (HOPL)
- 2020‑03‑17:
Rewriting the heart of Dropbox's sync engine in Rust.
- 2020‑03‑16:
Getting started with Rust and Rocket for http services.
- 2020‑03‑15:
Finding a problem at the bottom of the Google stack.
- 2020‑03‑15:
MathJax turns 3.0.
- 2020‑03‑15:
Best practices for ACME client implementations.
- 2020‑03‑15:
Out of the Box dynamic dispatch in Rust.
- 2020‑03‑15:
xmake: a cross-platform build utility based on lua.
- 2020‑03‑15:
An Introduction to modern CMake.
- 2020‑03‑15:
A history of the trampoline.
- 2020‑03‑14:
Foundations of databases. (1995)
- 2020‑03‑14:
Automatic chess boards.
- 2020‑03‑14:
Cut / fold templates for paper mechanisms.
- 2020‑03‑13:
EdDSA, Ed25519, Ed25519-IETF, Ed25519ph, Ed25519ctx, HashEdDSA, PureEdDSA, WTF?
- 2020‑03‑13:
Analog computer museum.
- 2020‑03‑13:
Cyberpunk: then and now.
- 2020‑03‑13:
David Rumsey historical map collection at Stanford University.
- 2020‑03‑13:
HTTP desync attacks: request smuggling reborn.
- 2020‑03‑13:
The SOC2 starting seven.
- 2020‑03‑11:
How BBsmart email viewer worked, the best-selling BlackBerry app of all time.
- 2020‑03‑11:
The story of PS1/PS2 backwards compatibility from the engineer who built it.
- 2020‑03‑11:
Finding Mona Lisa in the Game of Life.
- 2020‑03‑11:
TRRespass: rowhammer target row refresh bypass.
- 2020‑03‑11:
Thinking psycopg3.
- 2020‑03‑11:
Actually using wasm with Rust.
- 2020‑03‑11:
What's the deal with IPv6 link-local addresses?
- 2020‑03‑11:
Your circuit breaker timeouts are probably misconfigured.
- 2020‑03‑10:
Defunctionalization: the best refactoring you've never heard of.
- 2020‑03‑10:
Setting height and width on HTML <img> tags is important again.
- 2020‑03‑09:
Green's dictionary of slang.
- 2020‑03‑09:
An experimental study on the effect of procedure under unexpected situations.
- 2020‑03‑09:
The TAOS operating system. (Byte, 1991)
- 2020‑03‑09:
Cryptographic signatures, surprising pitfalls, and ACME / Let's Encrypt.
- 2020‑03‑08:
Capability-based computer systems. (1984)
- 2020‑03‑06:
Recent and future pattern matching improvements in Rust.
- 2020‑03‑04:
IBM VS. MIT: an Apollo computer showdown.
- 2020‑03‑04:
The core memory inside an Apollo Saturn V rocket's computer.
- 2020‑03‑04:
Bluespec hardware description language compiler.
- 2020‑03‑04:
An introduction to d3.js.
- 2020‑03‑03:
A layman's guide to a subset of ASN.1, BER, and DER.
- 2020‑03‑03:
The growth of command line options, 1979-present.
- 2020‑03‑03:
The problem with single-threaded shared mutability.
- 2020‑03‑03:
Kill the newsletter!
- 2020‑03‑02:
Remote access to production infrastructure (death to the VPN!)
- 2020‑03‑02:
New sense discovered in dog noses: the ability to detect heat.
- 2020‑03‑02:
CRLite: Finally a fix for broken TLS certificate revocation?
- 2020‑03‑02:
The Odin programming language.
- 2020‑03‑02:
The Beef programming language.
- 2020‑03‑02:
The Worst programming language.
- 2020‑03‑01:
There's an entire industry dedicated to making foods crispy.
- 2020‑03‑01:
Concurrent programming with effect handlers in multicore OCaml.
- 2020‑02‑29:
A half-hour to learn Rust.
- 2020‑02‑28:
Why did I wake up just before my alarm clock went off?
- 2020‑02‑28:
Dave Prosser's C preprocessor algorithm.
- 2020‑02‑28:
TeleHammer: cross-privilege-boundary rowhammer through implicit DRAM accesses.
- 2020‑02‑28:
Show me your clipboard data.
- 2020‑02‑27:
What can you preseed when installing Debian?
- 2020‑02‑27:
How old are the symbols on these keys?
- 2020‑02‑27:
MLIR: a compiler infrastructure for the end of Moore's Law.
- 2020‑02‑26:
Delphinusdnsd: a small authoritative DNS server.
- 2020‑02‑26:
Why I'm not fan of UUIDs in databases.
- 2020‑02‑26:
PostgreSQL parallelism, what next?
- 2020‑02‑26:
UK public transport API.
- 2020‑02‑26:
The Ars Technica semi-scientific guide to Wi-Fi access point placement.
- 2020‑02‑26:
JSPaint.
- 2020‑02‑25:
Smithsonian Institution open access.
- 2020‑02‑25:
Modern, functional Common Lisp: myths and tips.
- 2020‑02‑25:
Securing Firefox with RLBox: WebAssembly sandboxes for C++ libraries.
- 2020‑02‑25:
Selectors explained: translate CSS selectors into plain English.
- 2020‑02‑23:
A guide to running Elasticsearch in production.
- 2020‑02‑23:
Stangenkunst: mechanical transmission of power.
- 2020‑02‑23:
A pragmatic approach to global state in a 3rd party library called from Rust.
- 2020‑02‑23:
Some nuances of undefined behavior in Rust.
- 2020‑02‑23:
Coverage-based fuzzing with libfuzzer.
- 2020‑02‑23:
QUIC and OpenSSL 3.0.
- 2020‑02‑23:
Insights: visually explore a PostgreSQL database.
- 2020‑02‑23:
Learn TLA+
- 2020‑02‑23:
Taking care of code ... more and more code ...
- 2020‑02‑22:
Hell of a handshake: abusing TCP for reflective amplification DDoS attacks.
- 2020‑02‑22:
Container security: nobody knows what it means but it's provocative.
- 2020‑02‑22:
Paris mayor pledges a greener '15-minute city'.
- 2020‑02‑22:
Does register selection matter to performance on x86 CPUs?
- 2020‑02‑21:
Fixing memory leaks in JavaScript in a web browser.
- 2020‑02‑21:
Racket-on-Chez Scheme status, February 2020.
- 2020‑02‑20:
Computer animation in 1961: the Stanford card stunt program. (YouTube)
- 2020‑02‑20:
PUB: an early scriptable markup language.
- 2020‑02‑19:
Recovering from useless vacuuming in PostgreSQL.
- 2020‑02‑19:
Taking back control from systemd networking.
- 2020‑02‑19:
Transaction isolation repeatable read in PostgreSQL vs MySQL.
- 2020‑02‑19:
Elixir, PostgreSQL, and query plan cache performance oddities.
- 2020‑02‑18:
The first computers in East Africa, and what became of them.
- 2020‑02‑18:
3-way FTP: Pushing files around with silly and unusual methods.
- 2020‑02‑18:
C++ move, simply (with appendices).
- 2020‑02‑17:
An emulator for a Sun 2 workstation.
- 2020‑02‑17:
playwright: a Node.js library to automate Chromium, Firefox and WebKit with a single API.
- 2020‑02‑16:
The human hemisphere.
- 2020‑02‑16:
OCSP checks for EV certificates make the web slow and unreliable.
- 2020‑02‑16:
The worst of time64 breakage.
- 2020‑02‑15:
Open access journals get a boost from librarians, much to Elsevier's dismay.
- 2020‑02‑15:
Evolution of the x86 context switch in Linux.
- 2020‑02‑15:
Creating a logical replica from a snapshot in RDS PostgreSQL.
- 2020‑02‑15:
Designing a performant row level security schema in PostgreSQL.
- 2020‑02‑15:
How sustainable is a solar powered website?
- 2020‑02‑15:
Improving compilation time of C/C++ projects.
- 2020‑02‑15:
What made the 1960s CDC6600 supercomputer fast?
- 2020‑02‑13:
The myth of the barter economy.
- 2020‑02‑13:
The parliamentary electoral system in Denmark.
- 2020‑02‑13:
Summer time clock changes: is it time for change in the UK and EU?
- 2020‑02‑13:
A bestiary of single-file programming language implementations.
- 2020‑02‑13:
Stage magic and software design.
- 2020‑02‑12:
Toward _FORTIFY_SOURCE parity between Clang and GCC.
- 2020‑02‑12:
Nuvia's ex-Apple CPU design team throws down the gauntlet to the server processor incumbents.
- 2020‑02‑12:
Gears.
- 2020‑02‑12:
ParaSail: parallel specification and implementation language.
- 2020‑02‑12:
How to escalate privileges and steal secrets in Google Cloud Platform.
- 2020‑02‑12:
Circllhist: a log-linear histogram quantile sketch for IT infrastructure monitoring.
- 2020‑02‑11:
Rotary dial cellphone.
- 2020‑02‑11:
A popular self-driving car machine learning dataset is missing labels for hundreds of pedestrians.
- 2020‑02‑11:
Investigating the performance overhead of C++ exceptions.
- 2020‑02‑11:
The Linux kernel /dev/urandom CSPRNG is now good!
- 2020‑02‑10:
Fax on the beach: The story of EO GO, the audacious, totally calamitous iPad of the 1990s.
- 2020‑02‑10:
Memory bandwidth napkin math and benchmarks.
- 2020‑02‑10:
A partial tour through the UNIX Bourne shell.
- 2020‑02‑10:
The discovery of metastability in digital computer circuits.
- 2020‑02‑10:
OmniXtend cache-coherent memory fabric over Ethernet for RISC-V.
- 2020‑02‑10:
Alpha: a history in facts and comments.
- 2020‑02‑09:
Deep sea diving: undersea telecommunication cables.
- 2020‑02‑09:
Lessons learned from writing ShellCheck.
- 2020‑02‑09:
50 years ago, better transistors and switching regulators revolutionized computer power supplies.
- 2020‑02‑09:
They called it "big iron" for a reason: Cray-1M site planning reference manual.
- 2020‑02‑09:
Stacked borrows: an aliasing model for Rust.
- 2020‑02‑09:
Librem 5: an open source phone shows the cost of being different.
- 2020‑02‑09:
Combinatris: Tetris with SKI combinators.
- 2020‑02‑08:
Dangerous domain corp.com goes up for sale.
- 2020‑02‑07:
Measuring space-time behaviours of piano keys with Rust.
- 2020‑02‑06:
Apollo 11 guidance computer vs USB-C chargers.
- 2020‑02‑06:
The JVM's mysterious AllocatePrefetch options: what do they actually do?
- 2020‑02‑06:
Before the DNS: how yours truly upstaged the NIC's official HOSTS.TXT
- 2020‑02‑05:
Security flaw in WhatsApp desktop app.
- 2020‑02‑05:
Units of measure in Rust with refinement types.
- 2020‑02‑05:
On the process that led to the introduction of leapseconds.
- 2020‑02‑03:
unsmear: convert to and from timescales with smeared leap seconds.
- 2020‑02‑03:
The state of full text search in PostgreSQL 12.
- 2020‑02‑02:
Watching for software inefficiencies with Valgrind.
- 2020‑02‑02:
JavaScript got better while I wasn't looking.
- 2020‑02‑02:
Too much locality... for stores to forward.
- 2020‑02‑02:
Old CSS, new CSS.
- 2020‑02‑02:
Typesense: an open source, typo tolerant search engine.
- 2020‑02‑02:
PostgresqlCO.NF: a PostgreSQL configuration guide.
- 2020‑02‑01:
8 tips for better negotiation.
- 2020‑02‑01:
TypeScript's quirks: How inconsistencies make the language more complex.
- 2020‑02‑01:
Writing runbook documentation when you're an SRE.
- 2020‑02‑01:
MIDI 2.0 could profoundly change the way music sounds.
- 2020‑02‑01:
Lessons learnt updating a Rust library to std::future.
- 2020‑02‑01:
Returning trait objects in Rust.
- 2020‑02‑01:
Packaging a Rust project for Debian.
- 2020‑02‑01:
Build your own block_on() in async Rust.
- 2020‑02‑01:
A stack-less Rust coroutine library under 100 LoC.
- 2020‑01‑31:
MIR: a lightweight JIT compiler project.
- 2020‑01‑30:
Some useful probability facts for systems programming.
- 2020‑01‑29:
Migrating from Oracle to PostgreSQL: tips and tricks.
- 2020‑01‑29:
pgagroal: a high-performance connection pool for PostgreSQL.
- 2020‑01‑28:
Hacking on clang is surprisingly easy.
- 2020‑01‑28:
128 bits of security vs 128 bits of security: know the difference.
- 2020‑01‑28:
git bundle: the right way to email a git repository.
- 2020‑01‑28:
How we've made the web use dirty energy.
- 2020‑01‑27:
Developing in production.
- 2020‑01‑27:
Building containers without Docker.
- 2020‑01‑27:
What we still haven't learned from Gamergate.
- 2020‑01‑27:
A list of LD_PRELOAD hacks.
- 2020‑01‑26:
GNU Recutils: a database management system using human-readable text files.
- 2020‑01‑26:
A Unix quiz (with answers!)
- 2020‑01‑26:
Dhall for Kubernetes.
- 2020‑01‑26:
Dimensional analysis in programming languages.
- 2020‑01‑26:
The text editors wiki.
- 2020‑01‑25:
Why the Sorbet typechecker for Ruby is fast.
- 2020‑01‑25:
Getting everything wrong without doing anything right! (YouTube)
- 2020‑01‑25:
What to know about GPS receiver elevation.
- 2020‑01‑25:
Measuring altitude using precision frequency transfer between optical atomic clocks.
- 2020‑01‑25:
New Zealand geodetic datum deformation model.
- 2020‑01‑25:
What happens to maps when tectonic plates move?
- 2020‑01‑25:
CASPaxos: linearizable databases without logs.
- 2020‑01‑25:
Modelling BBR's interactions with traditional TCP loss-based congestion control.
- 2020‑01‑24:
Resource scarcity in public clouds.
- 2020‑01‑23:
New browser on the block: Flow, from Ekioh in Cambridge.
- 2020‑01‑23:
The difficulties of retiring Internet Explorer.
- 2020‑01‑23:
A floating point bit twiddling toy.
- 2020‑01‑22:
The history of HAProxy.
- 2020‑01‑21:
A Unix quiz.
- 2020‑01‑21:
axel: lightweight CLI download accelerator.
- 2020‑01‑21:
The hunt for the fastest zero: when does C++ use memset?
- 2020‑01‑20:
'Remarkable' computational complexity proof that MIP* = RE.
- 2020‑01‑19:
IEEE 802.3cg 10Mb/s single-pair Ethernet: a guide.
- 2020‑01‑19:
10Mbit/s single-pair Ethernet enables connected intelligence in 2020.
- 2020‑01‑19:
The soundness pledge in Rust.
- 2020‑01‑19:
Mystery Flesh Pit National Park: a Redditor's colossal feat of worldbuilding.
- 2020‑01‑19:
C++ coroutines gcc initial implementation pushed to master.
- 2020‑01‑19:
No, dynamic type systems are not inherently more open.
- 2020‑01‑19:
The Cryptopals cryptography challenges.
- 2020‑01‑18:
About face (recognition).
- 2020‑01‑18:
fast_template: really easy blogging with GitHub Pages.
- 2020‑01‑17:
eSQLate: Build minimum viable admin panels quickly.
- 2020‑01‑16:
What is the random oracle model and why is it collapsing under the weight of its own contradictions?
- 2020‑01‑16:
Autocomplete as an interface.
- 2020‑01‑16:
Two edge cases in PostgreSQL full-text search.
- 2020‑01‑16:
EASYCHAIR: CIA covert listening devices.
- 2020‑01‑16:
Mistakes were made: huge ERP screwups.
- 2020‑01‑16:
Making the LinkedIn A/B testing engine 20x faster.
- 2020‑01‑15:
Is TypeScript worth it?
- 2020‑01‑15:
How to identify an "immoral maze".
- 2020‑01‑15:
Some advantages of the Caddy http server.
- 2020‑01‑14:
The split personalities of "brutalist" web development.
- 2020‑01‑14:
CSVlint: A ruby gem to validate CSV files and check their syntax and contents.
- 2020‑01‑14:
CleverCSV: a Python package for handling messy CSV files.
- 2020‑01‑14:
The few remaining uses of the name "Macintosh".
- 2020‑01‑13:
1195725856 and other mysterious numbers.
- 2020‑01‑13:
Reflections on Mercurial's journey to Python 3.
- 2020‑01‑13:
wasm3: The fastest WebAssembly interpreter.
- 2020‑01‑13:
The Niland geyser: a moving mudpot.
- 2020‑01‑12:
The deep sea.
- 2020‑01‑12:
Visual subnet calculator.
- 2020‑01‑12:
HTML attributes to improve your users' two factor authentication experience.
- 2020‑01‑11:
Scheme: R7RS versus R6RS.
- 2020‑01‑11:
T1: a programming language for constrained environments, derived from BearSSL.
- 2020‑01‑11:
A lazy fix 20 years ago means the Y2K bug is taking down computers now.
- 2020‑01‑10:
Ironies of automation.
- 2020‑01‑10:
How does a new generation of researchers perceive Sci-Hub?
- 2020‑01‑10:
kudeki-chain: git commits with increasing numbers of leading zeroes.
- 2020‑01‑09:
The birth of the Internet in the UK. (YouTube)
- 2020‑01‑09:
Web front-end performance checklist 2020.
- 2020‑01‑09:
Fast IPv4 to hostname lookups: PostgreSQL vs ClickHouse.
- 2020‑01‑09:
A brief history of badge ribbons at sf conventions.
- 2020‑01‑08:
The many places you can set PostgreSQL configuration parameters.
- 2020‑01‑08:
How to effectively dump PostgreSQL databases.
- 2020‑01‑08:
Neater async failure handling in Typescript.
- 2020‑01‑08:
Prometheus for beginners.
- 2020‑01‑07:
How to start a blog using Hugo.
- 2020‑01‑07:
EMI spikes from gas lift chairs can cause display interference.
- 2020‑01‑07:
SHA-1 is a shambles. (less technical overview)
- 2020‑01‑07:
SHA-1 is a shambles: first chosen-prefix collision on SHA-1 and application to the PGP web of trust.
- 2020‑01‑07:
Pegasus Mail, 30 years on.
- 2020‑01‑07:
Execute-only pages vs PAN (privileged access never) on arm64.
- 2020‑01‑07:
Debian Buster sysvinit notes.
- 2020‑01‑07:
Removing the Linux /dev/random blocking pool.
- 2020‑01‑07:
Ethernet power line adapter radio noise interference.
- 2020‑01‑06:
ClickHouse cost-efficiency in action: analyzing 500 billion rows on an Intel NUC.
- 2020‑01‑06:
Files are fraught with peril.
- 2020‑01‑05:
Algorithms interviews: theory vs. practice.
- 2020‑01‑05:
Linus on spinlocks and schedulers.
- 2020‑01‑04:
Notes on technical writing.
- 2020‑01‑04:
Mutexes are faster than spinlocks.
- 2020‑01‑04:
What's what in the world of TeX.
- 2020‑01‑04:
Our neophobic, conservative AI overlords want everything to stay the same.
- 2020‑01‑03:
An entomologist rates emoji ants.
- 2020‑01‑03:
Which emoji scissors can cut?
- 2020‑01‑03:
Interior mutability patterns in Rust.
- 2020‑01‑03:
Spinlocks considered harmful in Rust.
- 2020‑01‑02:
Serving dynamic vector tiles from PostGIS.
- 2020‑01‑02:
Why MemSQL uses skiplist indexes.
- 2020‑01‑02:
A brief history of liquid computers.
- 2020‑01‑02:
I'm not feeling the async backpressure.
- 2020‑01‑02:
Polio eradication program faces hard choices as endgame strategy falters.
- 2020‑01‑01:
Evaluating BBRv2 on the Dropbox edge network.
- 2020‑01‑01:
Semigroup resonance FizzBuzz.
- 2020‑01‑01:
Rewriting m4vgalib in Rust.
- 2020‑01‑01:
Measuring mutexes, spinlocks, and how bad the Linux scheduler really is.
- 2020‑01‑01:
Right-to-left styling: a guide on how to style for RTL in CSS.