Tony Finch's link log

Link log versions • <https://dotat.at/:/> • landing pages • Atom feed • Dreamwidth links • LiveJournal links

My other activity • Dreamwidth blog • work blog • Twitter

2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020

Jan Feb Mar Apr May Jun Jul --- --- --- --- ---

<< 2020 >>

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: Implementing the exponential function.
2020-07-01: Complete spatial safety for C and C++ using CHERI capabilities.
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: Property-based testing in Rust with Proptest.
2020-06-28: Implementing a type-safe printf in Rust.
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: Faster integer parsing.
2020-06-24: The largest city in each 10x10 degree latitude/longitude box.
2020-06-24: Iceland's CO2 emissions could be reduced by 30% by replacing carbon electrodes in aluminium smelters.
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: 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: 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: Cheap tricks for high-performance Rust.
2020-06-23: Being glue.
2020-06-23: Ego graphs and the Google ‘vs' trick.
2020-06-23: Stretching the Commodore 64 palette.
2020-06-23: Fujitsu's Fugaku and Arm A64FX in the fastest supercomputer at 415 petaFLOPs.
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: 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: Errors in Rust: a deep dive.
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: Understanding user management in PgBouncer.
2020-06-16: Generics and compile time in Rust.
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: The story of tail call optimization in Rust.
2020-06-12: Jepsen: PostgreSQL 12.3.
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: Memory-safety challenge considered solved? An empirical study of Rust CVEs.
2020-06-12: V8's RegExp engine in SpiderMonkey.
2020-06-12: Bringing my Emacs from the past.
2020-06-12: Graph and tree traversals in Rust.
2020-06-12: In search of the original Fortran compiler.
2020-06-12: Essential and relevant: a unit test balancing act.
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: Getting hands-on with io_uring using Golang.
2020-06-08: The pain points of Haskell: a practical summary.
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: Hoare's rebuttal and bubble sort's comeback: a fast quicksort.
2020-05-31: List of well-known web sites that port scan their visitors.
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: Random worldbuilding: the nation in history.
2020-05-27: macOS 10.15 Catalina: slow by design.
2020-05-27: History of UNIX manpages.
2020-05-27: eBay port scans visitors' computers for remote access programs.
2020-05-27: By the Bluebook implementation of Smalltalk-80.
2020-05-27: C++20: the unspoken features.
2020-05-27: Ancient Egyptian coffins and mystery of ‘black goo'.
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: What's the difference between a Rust char and a Go rune? Unicode scalar values vs code points.
2020-05-15: Rust verification tools.
2020-05-15: Notes on io-uring.
2020-05-15: time_it! a case study in Rust macros.
2020-05-15: GPU architecture resources.
2020-05-15: Writing a Wayland compositor in Rust.
2020-05-15: Yak shaving #ifdef-style conditional compilation in Rust.
2020-05-15: Rust closures in FFI.
2020-05-15: Building an ASN1 codec with the Rust 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-09: Using integer linear programming to solve complex logic.
2020-05-09: The original cookie specification from 1997 was GDPR compliant.
2020-05-11: John Conway's FRACTRAN, a ridiculous yet surprisingly deep language.
2020-05-10: Ensmallening Go binaries by prohibiting comparisons.
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: Game of Life in 32 bytes.
2020-04-30: Announcing the SourceHut project hub.
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: Why strace doesn't work in Docker.
2020-04-29: Reducing the size of a Rust GStreamer plugin.
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: Towards Sequoia PGP v1.0.
2020-04-27: For better videoconferencing at home on lousy links.
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: Analysis of DTLS implementations using protocol state fuzzing.
2020-04-19: The unpatchable silicon: a full break of the bitstream encryption of Xilinx 7-Series FPGAs.
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: Forecasting logistic curves is hard.
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: Zig programming language 0.6.0 release notes.
2020-04-14: Defining the Really Habitable Zone.
2020-04-14: Making Unix a little more like Plan9.
2020-04-14: beebjit: clocking a 6502 to 15GHz!
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-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: The Chapel parallel programming language.
2020-03-28: Hyperlinks in terminal emulators.
2020-03-28: Static analysis in gcc 10.
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 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: Coyote: Making it easier for .NET developers to build reliable asynchronous software.
2020-03-25: Breaking the random numbers in two Linux KASLR patches.
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: Napalm network automation.
2020-03-23: Nornir: an automation framework in Python.
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: An Introduction to modern CMake.
2020-03-15: xmake: a cross-platform build utility based on lua.
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: Cyberpunk: then and now.
2020-03-13: EdDSA, Ed25519, Ed25519-IETF, Ed25519ph, Ed25519ctx, HashEdDSA, PureEdDSA, WTF?
2020-03-13: David Rumsey historical map collection at Stanford University.
2020-03-13: Analog computer museum.
2020-03-13: HTTP desync attacks: request smuggling reborn.
2020-03-13: The SOC2 starting seven.
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: The story of PS1/PS2 backwards compatibility from the engineer who built it.
2020-03-11: How BBsmart email viewer worked, the best-selling BlackBerry app of all time.
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 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: The Odin programming language.
2020-03-02: Remote access to production infrastructure (death to the VPN!)
2020-03-02: CRLite: Finally a fix for broken TLS certificate revocation?
2020-03-02: The Beef programming language.
2020-03-02: New sense discovered in dog noses: the ability to detect heat.
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: UK public transport API.
2020-02-26: PostgreSQL parallelism, what next?
2020-02-26: JSPaint.
2020-02-26: The Ars Technica semi-scientific guide to Wi-Fi access point placement.
2020-02-25: Smithsonian Institution open access.
2020-02-25: Modern, functional Common Lisp: myths and tips.
2020-02-25: Selectors explained: translate CSS selectors into plain English.
2020-02-25: Securing Firefox with RLBox: WebAssembly sandboxes for C++ libraries.
2020-02-23: Learn TLA+
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: Coverage-based fuzzing with libfuzzer.
2020-02-23: Some nuances of undefined behavior in Rust.
2020-02-23: Insights: visually explore a PostgreSQL database.
2020-02-23: QUIC and OpenSSL 3.0.
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: ParaSail: parallel specification and implementation language.
2020-02-12: How to escalate privileges and steal secrets in Google Cloud Platform.
2020-02-12: Gears.
2020-02-12: Circllhist: a log-linear histogram quantile sketch for IT infrastructure monitoring.
2020-02-11: Rotary dial cellphone.
2020-02-11: Investigating the performance overhead of C++ exceptions.
2020-02-11: A popular self-driving car machine learning dataset is missing labels for hundreds of pedestrians.
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: They called it "big iron" for a reason: Cray-1M site planning reference manual.
2020-02-09: 50 years ago, better transistors and switching regulators revolutionized computer power supplies.
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: Units of measure in Rust with refinement types.
2020-02-05: Security flaw in WhatsApp desktop app.
2020-02-05: On the process that led to the introduction of leapseconds.
2020-02-03: The state of full text search in PostgreSQL 12.
2020-02-03: unsmear: convert to and from timescales with smeared leap seconds.
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: Returning trait objects in Rust.
2020-02-01: A stack-less Rust coroutine library under 100 LoC.
2020-02-01: Lessons learnt updating a Rust library to std::future.
2020-02-01: Packaging a Rust project for Debian.
2020-02-01: Build your own block_on() in async Rust.
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: git bundle: the right way to email a git repository.
2020-01-28: 128 bits of security vs 128 bits of security: know the difference.
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: What to know about GPS receiver elevation.
2020-01-25: Why the Sorbet typechecker for Ruby is fast.
2020-01-25: Measuring altitude using precision frequency transfer between optical atomic clocks.
2020-01-25: Getting everything wrong without doing anything right! (YouTube)
2020-01-25: What happens to maps when tectonic plates move?
2020-01-25: New Zealand geodetic datum deformation model.
2020-01-25: Modelling BBR's interactions with traditional TCP loss-based congestion control.
2020-01-25: CASPaxos: linearizable databases without logs.
2020-01-24: Resource scarcity in public clouds.
2020-01-23: A floating point bit twiddling toy.
2020-01-23: The difficulties of retiring Internet Explorer.
2020-01-23: New browser on the block: Flow, from Ekioh in Cambridge.
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-17: eSQLate: Build minimum viable admin panels quickly.
2020-01-18: fast_template: really easy blogging with GitHub Pages.
2020-01-16: Mistakes were made: huge ERP screwups.
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-15: Is TypeScript worth it?
2020-01-16: Two edge cases in PostgreSQL full-text search.
2020-01-16: EASYCHAIR: CIA covert listening devices.
2020-01-16: Making the LinkedIn A/B testing engine 20x faster.
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: The few remaining uses of the name "Macintosh".
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-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: Ethernet power line adapter radio noise interference.
2020-01-07: Removing the Linux /dev/random blocking pool.
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: Which emoji scissors can cut?
2020-01-03: An entomologist rates emoji ants.
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.

Tony Finch is <dot@dotat.at>