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
- 2024‑07‑16:
How the Stream Deck rose from the ashes of the legendary Optimus Maximus keyboard.
- 2024‑07‑13:
git-pr: A new git collaboration service.
- 2024‑07‑02:
BusyBeaver(5) is now proved to be 47,176,870.
- 2024‑06‑22:
Optimizing SQLite for servers.
- 2024‑06‑21:
1/25-scale Cray C90 wristwatch.
- 2024‑06‑18:
Avoiding Emacs bankruptcy.
- 2024‑06‑17:
Zig-style generics are not well-suited for most languages.
- 2024‑06‑13:
Whose CIDR is it anyway? Scanning all of whois and rdap.
- 2024‑06‑09:
Using HDMI EMI for fast wireless data transfer.
- 2024‑06‑08:
Compilers are (too) smart: a failed popcount optimization.
- 2024‑06‑07:
What is PID 0?
- 2024‑06‑07:
Leveraging Zig's allocators.
- 2024‑06‑07:
Tom7’s BoVeX typesetter with AI-assisted justified text.
- 2024‑06‑06:
lelwel: a resilient LL(1) parser generator for Rust.
- 2024‑06‑06:
let rand = main as usize;
- 2024‑06‑04:
Simple proofs with Z3Py.
- 2024‑06‑04:
Bit-twiddling abstract addition with unknown bits.
- 2024‑06‑02:
The borrow checker within Rust.
- 2024‑05‑29:
Recycling steel with cement in an arc furnace could produce zero-emissions concrete.
- 2024‑05‑28:
I’ve womansplained him to death.
- 2024‑05‑28:
Why software projects take longer than you think: a statistical model.
- 2024‑05‑28:
Doing is normally distributed, learning is log-normal.
- 2024‑05‑26:
Taming floating-point sums with Rust.
- 2024‑05‑19:
I am too old to create a popular programming language.
- 2024‑05‑19:
Compilers for free with weval, a wasm partial evaluator.
- 2024‑05‑18:
Fixing iterative damping interpolation in video games.
- 2024‑05‑17:
Golang disables Nagle’s algorithm, making it evil on shitty networks.
- 2024‑05‑17:
A transport protocol's view of Starlink.
- 2024‑05‑16:
History of the Italian electrical system.
- 2024‑05‑16:
D3 in depth.
- 2024‑05‑16:
Understanding misunderstandings in C source code using IOCCC winners.
- 2024‑05‑16:
Ebury is alive but unseen: 400k Linux servers compromised by the Windigo group.
- 2024‑05‑15:
A tale of two sieves.
- 2024‑05‑14:
Optimizing the Roc parser/compiler with data-oriented design.
- 2024‑05‑13:
Exploring GNU C extensions in the Linux kernel.
- 2024‑05‑13:
Parsing JSON is a minefield.
- 2024‑05‑12:
Emoji history: the missing years.
- 2024‑05‑11:
In Rust, methods should be object safe.
- 2024‑05‑11:
Why the CORDIC algorithm lives rent-free in my head.
- 2024‑05‑09:
It's always TCP_NODELAY. Every damn time.
- 2024‑05‑08:
B612: the Airbus cockpit display font.
- 2024‑05‑06:
Decoding UTF8 with the pext parallel extract instruction.
- 2024‑05‑06:
The C++ iceberg.
- 2024‑05‑05:
An extended subtweet on power-over, vs power-with or power-to.
- 2024‑05‑05:
The Italian streets that don't exist on any map.
- 2024‑05‑05:
How to build a $20 billion semiconductor fab.
- 2024‑05‑05:
Bit-stealing made legal: compilation for custom memory representations of algebraic data types.
- 2024‑05‑03:
ECDH-OMR: elliptic curve Diffie-Hellman oblivious message retrieval.
- 2024‑05‑02:
Piccolo: a stackless Lua interpreter in Rust.
- 2024‑05‑02:
Unwind considered harmful?
- 2024‑04‑30:
Rink: an open source unit-aware calculator.
- 2024‑04‑30:
PostgreSQL supported platforms over time.
- 2024‑04‑30:
State of the terminal.
- 2024‑04‑29:
So, you want to write an unsafe crate in Rust?
- 2024‑04‑29:
The space bar stabilizer problem.
- 2024‑04‑28:
The invention of the integrated circuit recorded in Jean Hoerni's patent notebook.
- 2024‑04‑28:
Building an IBM 3270 terminal controller.
- 2024‑04‑27:
Tasks are the wrong abstraction for async Rust.
- 2024‑04‑26:
Captain Zilog crushed! The story of the Z8000.
- 2024‑04‑25:
The weird world of Windows file paths.
- 2024‑04‑24:
Digitized continuous magnetic recordings of the Carrington event from Greenwich and Kew.
- 2024‑04‑23:
No one buys books.
- 2024‑04‑19:
A history of parsers of the Ruby programming language.
- 2024‑04‑17:
Feathers are one of evolution’s cleverest inventions.
- 2024‑04‑17:
The hardest problem in web design: centering things.
- 2024‑04‑16:
Etak Navigator: how they made a mapping computer in the 1980s.
- 2024‑04‑15:
Five little languages and how they grew: Dennis Ritchie’s talk at HOPL on the history of C.
- 2024‑04‑11:
A simple derivation of sin and cos by stacking triangles.
- 2024‑04‑10:
BatBadBut: You can't securely execute commands on Windows.
- 2024‑04‑09:
Halbach magnetic array.
- 2024‑04‑09:
path.join considered harmful, or openat() all the things.
- 2024‑04‑09:
The server chose violence: error handling in the Hubris embedded OS.
- 2024‑04‑05:
Features I wish PostgreSQL had as a developer.
- 2024‑04‑05:
The case against self-closing tags in HTML.
- 2024‑04‑04:
HTTP/2 CONTINUATION flood denial of service vulnerability.
- 2024‑04‑03:
Diff modulo base, for comparing rebased branches.
- 2024‑04‑01:
The Wi-Fi only works when it's raining?!
- 2024‑04‑01:
When concurrency matters: behaviour-oriented concurrency.
- 2024‑03‑31:
Countering trusting trust.
- 2024‑03‑30:
The "not rocket science" rule of continuous integration (and the story of monotone and bors).
- 2024‑03‑28:
TCP is an underspecified two-node consensus algorithm and what that means for your proxies.
- 2024‑03‑28:
Binary Fuse Filters: fast and smaller than xor filters.
- 2024‑03‑21:
Progressing towards the redefinition of the second based on an optical frequency standard.
- 2024‑03‑19:
The invention of fuzz testing.
- 2024‑03‑15:
JESK56: a diodeless keyboard matrix derived using graph theory.
- 2024‑03‑13:
Mu-Ency: the encyclopedia of the Mandelbrot set.
- 2024‑03‑12:
Identifying software: supply chain security with GNU Guix.
- 2024‑03‑12:
yet-another-cad-viewer: display OCP/CadQuery/Build123d models in a web browser.
- 2024‑03‑11:
Staged generic programming.
- 2024‑03‑10:
Do Be Do Be Do, or, Frank: a strict functional programming language with algebraic effects.
- 2024‑03‑09:
Call-by-push-value: decomposing call-by-value and call-by-name.
- 2024‑03‑09:
Call-by-push-value. (1999)
- 2024‑03‑09:
I'm betting on call-by-push-value.
- 2024‑03‑04:
Migrating from Emacs lsp-mode to Eglot.
- 2024‑03‑03:
The case against geometric algebra.
- 2024‑03‑03:
50 years ago: the new Cambridge University Press printing house.
- 2024‑02‑26:
What is the "God Mode" folder in Windows 10, and how do I enable it?
- 2024‑02‑25:
Beware of -ffast-math and -Ofast.
- 2024‑02‑22:
A security kernel based on the lambda calculus.
- 2024‑02‑14:
Thomas Rokicki’s survey of algorithms for Conway’s Game of Life.
- 2024‑02‑13:
Conway's Game of Life is omniperiodic.
- 2024‑02‑06:
RCL: A reasonable configuration language.
- 2024‑02‑03:
Pkl: a programming language for configuration.
- 2024‑01‑17:
Passing nothing is surprisingly difficult: empty slices in C, C++, and Rust.
- 2024‑01‑15:
When random isn't.
- 2024‑01‑08:
How to stop Linux threads cleanly.
- 2024‑01‑06:
Vectrex reborn: How a chance encounter gave new life to a dead console.
- 2024‑01‑04:
An overview of the Starlark programming language.
- 2024‑01‑03:
newm-atha: a touchpad and touchscreen centric wayland compositor.