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 --- --- --- --- --- --- --- ---

<< 2020 >>

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>