Notices by Tony Finch (fanf@mendeddrum.org)

trying to make a permalink to a particular line of code in NetBSD, and their CVS browser lacks per-line anchors, and they lack a Codeberg mirror

Microsoft Github seems to be so broken that line anchors don't work at all and interactive search sets a scroll position that's well over 100 lines wrong

oh well, cvsweb (with instructions to the reader) will have to do

i am darkly amused that Microsoft Github has regressed to the point that its basic functionality is worse than CVS and a 30-year-old perl CGI script

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

@mansr @simontatham @castaway i was never convinced by this argument because the BSDs managed to extend ifconfig with new features

@ryanc something else on the dnsmasq server causing the whole machine to choke, eg by eating all its ram? disk full causing indigestion? something killing dnsmasq and dns works again after it autorestarts?

@ryanc something causing intermittent broadcast storms? something stealing the MAC addr or IP addr of your DNS resolver? something making dnsmasq hang, maybe it was trying to write to something very slow, eg. logs on a broken disk?

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

@anildash was reddit the first popular website with markdown support? i had the vague idea aaron swartz added markdown to reddit when he was working on it, and it spread from there … or have i got the wrong impression?

the rise and fall of stackoverflow

the graph of posts per month is quite something

the decline over the last four years is almost a mirror of the rise 2008-2012

and they are now down to near zero

https://data.stackexchange.com/stackoverflow/query/1926661#graph

from my link log —

"DevOps didn't exist when I started as a developer."

https://circleci.com/blog/devops-did-not-exist/

saved 2019-09-13 https://dotat.at/:/THY3G.html

@whitequark oh dear lolsob

https://go.googlesource.com/go/+/refs/heads/master/src/net/dnsclient.go#75

@whitequark good question

i dunno the go libraries well enough, but i’d probably look around to see if there’s existing an existing hostname checker i could clone and hack

but a regex would do if i didn’t find code i like (i have used them in the past for this, but without _, heh)

one tricky thing is hostnames have per-label length limits which a regex can handle ok, but also an overall length limit which is probably best done as a separate check

oh wait, the tr46 algorithm includes length checks already!

so it might be reasonable to just check [a-z0-9._-]+

(sorry that turned into a ramble)

@whitequark yeah idna is difficult

i think the key sentence is “This option corresponds to the UseSTD3ASCIIRules flag in UTS #46.” and in tr46 that flag basically enables or disables all hostname syntax checks, hence allowing * and everything else i bet

the approach i would take is to do idna conversion with UseSTD3ASCIIRules=false then check that the resulting punycode obeys the relaxed hostname-with-underscore syntax

on the basis that idna is designed so that it works when trad syntax is enforced by various lower layers

from my link log —

Why ed(1)?

https://blog.thechases.com/posts/cli/why-ed1/

saved 2025-12-04 https://dotat.at/:/X2EXL.html

@joe @dotstdy @zwarich yeah i sketched a simplified UCS along those lines a few months ago which i called (tongue in cheek) the penultimate conditional syntax https://dotat.at/@/2025-05-13-if-is.html

definitely not the last word on the matter, in particular it needs less noisy punctuation

@whitequark yeah pem is surprisingly old and influential

hmm that wikipedia article undersells it, the first pem rfc was published in 1987 which i find kind of incredible https://www.rfc-editor.org/rfc/rfc989 tho it is mostly the first definition of base64 and ascii armoring, the DER business came later

john venn’s memorial window in gonville & caius college dining hall

@leah @dalias @ayke reminds me of one of the first y2038 bugs that occurred when a sleep 1000000000 stopped sleeping

from my link log —

EBCDIC is incompatible with GDPR.

https://shkspr.mobi/blog/2021/10/ebcdic-is-incompatible-with-gdpr/

saved 2024-10-28 https://dotat.at/:/J1ZQP.html

on my blog!

performance of random floats

in which i examine the relative cost of bithacking floating point numbers vs more conventional conversions

https://dotat.at/@/2025-06-08-floats.html