Tony Finch

from my link log —

Seeing types where others don't: static type inference for jq.

https://theconsensus.dev/p/2026/03/06/seeing-types-where-others-dont.html

saved 2026-03-18 https://dotat.at/:/HAF0I.html

from my link log —

Bertrand Meyer remembers Tony Hoare.

https://bertrandmeyer.com/2026/03/16/celebrating-tony-hoares-mark-on-computer-science/

saved 2026-03-18 https://dotat.at/:/76OLW.html

from my link log —

A tale about fixing eBPF spinlock issues in the Linux kernel.

https://www.rovarma.com/articles/a-tale-about-fixing-ebpf-spinlock-issues-in-the-linux-kernel/

saved 2026-03-17 https://dotat.at/:/JJDHM.html

from my link log —

Reinventing the automobile: the first skateboard platform for electric vehicles.

http://www.adrianchernoff.com/project/skateboard-platform/

saved 2021-06-29 https://dotat.at/:/KLY8G.html

from my link log —

Interesting JavaScript bugs caught by no-constant-binary-expression in ESLint.

https://eslint.org/blog/2022/07/interesting-bugs-caught-by-no-constant-binary-expression/

saved 2023-11-09 https://dotat.at/:/LAZIE.html

from my link log —

All longest regex matches in linear time is possible.

https://iev.ee/blog/all-longest-regex-matches-in-linear-time/

saved 2026-03-17 https://dotat.at/:/A4REC.html

from my link log —

Inside the Am2901: AMD's 1970s bit-slice processor.

http://www.righto.com/2020/04/inside-am2901-amds-1970s-bit-slice.html

saved 2020-04-18 https://dotat.at/:/LFZ6C.html

from my link log —

Reviewing large changes with Jujutsu.

https://ben.gesoff.uk/posts/reviewing-large-changes-with-jj/

saved 2026-03-16 https://dotat.at/:/3DUG5.html

TIL the car park operator NCP turned bomb sites in post-war london into car parks

in the 1980s i went to moorfields eye hospital once or twice a year for a checkup on my weird congenital cataract

it’s near old street tube station, tho we went by car and parked in an NCP car park not far away

it was not much more than a muddy brown field with patches of rough concrete

its past as a bomb site explains a lot

dunno what happened to it, i guess it was redeveloped decades ago

but it gave me the lasting impression that NCP is crappy

from my link log —

wasm3: The fastest WebAssembly interpreter.

https://github.com/wasm3/wasm3

saved 2020-01-13 https://dotat.at/:/E5DDB.html

from my link log —

Linux kernel lockdown, integrity, and confidentiality.

https://mjg59.dreamwidth.org/55105.html

saved 2020-04-22 https://dotat.at/:/LYCR8.html

from my link log —

The asymptotic cost of address translation on memory access time.

https://arxiv.org/abs/1212.0703

saved 2020-10-21 https://dotat.at/:/9M98F.html

from my link log —

C23 implications for C libraries.

https://htmlpreview.github.io/?https://icube-forge.unistra.fr/icps/c23-library/-/raw/main/README.html

saved 2022-11-19 https://dotat.at/:/50KXD.html

uploaded a first repo to codeberg, since i have been hacking on it and it's one of the ones i mirror to github

https://codeberg.org/fanf/nsnotifyd

it's so fast compared to microsoft github!

from my link log —

High performance correctly rounded math libraries for 32-bit floating point.

https://blog.sigplan.org/2021/08/26/high-performance-correctly-rounded-math-libraries-for-32-bit-floating-point-representations/

saved 2021-08-27 https://dotat.at/:/IV9QT.html