Tony Finch
fanf@mendeddrum.org
<p>unix / internet / open source software bodger<br />• 🏳️🌈🇪🇺🇬🇧 • he/they • 🚴 • 🦀 • 💉😷 • 🏳️⚧️ • 🇺🇦 • 🇵🇸 • ✊🏿 • tfr</p>
Posts
-
View post
i was reminded of this blog post on “the myth of RAM” from 2014 which argues that the asymptotic complexity of random access addressing is sqrt(n), both empirically on actual hardware, and theoretically from simple physics https://www.ilikebigbits.com/2014_04_21_myth_of_ram_1.html it took me AGES to remember the magic keywords to dredge up the dratted url, tho! in the course of which i found this rather more academic article on modelling asymptotic complexity of virtual address translation ht...
-
View post
from my link log — Safe self-referential data structures in Linux kernel Rust. https://lwn.net/SubscriberLink/1099224/54c55e87a0828522/ saved 2026-10-23 https://dotat.at/:/ASYNU.html
-
View post
from my link log — Let’s be real about dependencies. https://wiki.alopex.li/LetsBeRealAboutDependencies saved 2023-11-14 https://dotat.at/:/D938E.html
-
View post
from my link log — Fanout and latency percentiles in distributed systems. https://paulcavallaro.com/blog/fanouts-and-percentiles/ saved 2020-07-27 https://dotat.at/:/HBDW3.html
-
View post
from my link log — Black-box HashDoS: attacking hash tables without knowing the hash function. https://orlp.net/blog/black-box-hashdos/ saved 2026-10-15 https://dotat.at/:/I91X0.html
-
View post
from my link log — The Nokia N900: the future that wasn’t. https://www.osnews.com/story/133160/the-nokia-n900-the-future-that-wasnt/ saved 2021-03-18 https://dotat.at/:/JRRWB.html
-
View post
from my link log — Principles for keyboard layouts. https://anniecherkaev.com/principles-for-keyboard-layouts saved 2024-04-29 https://dotat.at/:/TZT0I.html
-
View post
from my link log — Proving that 1 + 1 = 10 in Rust. https://tavianator.com/2020/one_plus_one.html saved 2020-10-22 https://dotat.at/:/KD5XH.html
-
View post
from my link log — Computational hierarchy of elementary cellular automata. https://arxiv.org/abs/2108.00415 saved 2021-09-06 https://dotat.at/:/VHA9C.html
-
View post
from my link log — Folders: an esoteric programming language. https://danieltemkin.com/esolangs/folders saved 2026-10-16 https://dotat.at/:/SHZFT.html
-
View post
from my link log — The sixtyforgan: a Commodore 64 with a spring reverb; chiptunes like a church organ. http://www.linusakesson.net/sixtyforgan/ saved 2021-03-30 https://dotat.at/:/KMD0E.html
-
View post
from my link log — CleverCSV: a Python package for handling messy CSV files. https://github.com/alan-turing-institute/CleverCSV saved 2020-01-14 https://dotat.at/:/HP9DB.html
-
View post
from my link log — Making a language with row types and bidirectional typing, targeting wasm. https://thunderseethe.dev/series/making-a-language/ saved 2026-10-13 https://dotat.at/:/JETVL.html
-
View post
from my link log — A 40-year-old bug in BSD unix domain socket inode allocation discovered on the DEFCON 34 main stage. https://yuvalino.com/how-can-you-not-be-romantic-about-unix-domain-sockets saved 2026-09-14 https://dotat.at/:/A1LTF.html
-
View post
from my link log — The bubble sort curve. https://linesthatconnect.github.io/blog/a-rigorous-derivation-of-the-bubble-sort-curve/ saved 2024-04-23 https://dotat.at/:/5F0BK.html
-
View post
i’m enjoying alastair reid’s thoughts on designing a language for readability so that nonspecialist programmers can understand intel’s instruction set architecture specification https://intellabs.github.io/isa-tools/
-
View post
from my link log — Verona: a research programming language for concurrent ownership. https://github.com/microsoft/verona saved 2020-10-28 https://dotat.at/:/6KY3K.html
-
View post
from my link log — BLUF: make your writing more powerful with the bottom line up front. https://www.animalz.co/blog/bottom-line-up-front/ saved 2019-09-13 https://dotat.at/:/RAR32.html
-
View post
from my link log — An introduction to canvas in Emacs. https://monadicsheep.org/blog/an-introduction-to-canvas-in-emacs.html saved 2026-08-23 https://dotat.at/:/79WDD.html
-
View post
from my link log — RISC-V: they should have known better. https://dmitry.gr/?r=06.%20Thoughts&proj=12.%20RV saved 2026-08-14 https://dotat.at/:/OEC83.html
-
View post
on a teletype (or similar printing mechanism) if you are printing a like with lots of overstrike (eg an underlined heading) is it faster to print the line, carriage return, print the overstrike; or to use short backspace-overstrike sequences? i’m wondering how useful CR was apart from a CRLF sequence
-
View post
from my link log — Documentation and analysis of the Linux random number generator. https://www.bsi.bund.de/SharedDocs/Downloads/EN/BSI/Publications/Studies/LinuxRNG/LinuxRNG_EN_V5_9.html saved 2026-07-28 https://dotat.at/:/3YJ5L.html
-
View post
pondering how to advise someone who wrote “I want to play devil’s advocate and argue …” that it comes across as “I want to be an argumentative asshole” … but without turning the advice into a vicious flame
-
View post
from my link log — A floating point bit twiddling toy. http://evanw.github.io/float-toy/ saved 2020-01-23 https://dotat.at/:/G639G.html
-
View post
from my link log — A new online era of The Far Side is coming! https://www.thefarside.com/ saved 2019-10-01 https://dotat.at/:/W823N.html
-
View post
anyone know which station this is? a youtuber used it as a thumbnail on a video about cambridge
-
View post
from my link log — What exactly was the point of [ “x$var” = “xval” ]? https://www.vidarholen.net/contents/blog/?p=1035 saved 2021-04-12 https://dotat.at/:/KWNJ4.html
-
View post
what ios mastodon clients are good? i’m annoyed by ivory’s crappy ui for filters, which spams the server requesting userpics that i don’t want to see, and pegs the rate limiter i’ve reported it as a bug but they don’t seem to be making improvements to ivory so i should probably look elsewhere
-
View post
from my link log — Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code. https://drops.dagstuhl.de/storage/00lipics/lipics-vol263-ecoop2023/LIPIcs.ECOOP.2023.39/LIPIcs.ECOOP.2023.39.pdf saved 2026-07-21 https://dotat.at/:/9MIM0.html
-
View post
from my link log — The tech of ‘Terminator 2’: an oral history. https://vfxblog.com/2017/08/23/the-tech-of-terminator-2-an-oral-history/ saved 2026-07-12 https://dotat.at/:/FF40O.html