← Feed

Posts

• Post #4206569

  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

• Post #4202291

  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

• Post #4121230

  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

• Post #4120987

  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

• Post #4115130

  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

• Post #4054118

  anyone know which station this is? a youtuber used it as a thumbnail on a video about cambridge

• Post #4019449

  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

• Post #3996410

  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

• Post #3987812

  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

• Post #3791254

  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

• Post #3725011

  from my link log — The UX of Lego interface panels. https://www.designedbycave.co.uk/2020/LEGO-Interface-UX/ saved 2020-08-03 https://dotat.at/:/QJ8ZR.html

• Post #3650459

  from my link log — Fully in-place functional programming with Koka. https://dl.acm.org/doi/abs/10.1145/3607840 saved 2026-07-06 https://dotat.at/:/PGVVV.html

• Post #3546385

  oh lovely, french wiktionary has an appendix on swearing in québécois https://fr.wiktionary.org/wiki/Annexe:Sacres_qu%C3%A9b%C3%A9cois (i love the tutorial on swearing in the movie “bon cop bad cop” which was (if anything) made harder to understand by the subtitles)

• Post #3296565

  from my link log — Learning a regular language by inferring a DFA with the TTT algorithm. https://rahul.gopinath.org/post/2026/06/09/ttt-grammar-inference/ saved 2026-06-11 https://dotat.at/:/4I4X2.html

• Post #3295724

  from my link log — Debootstrapping without archeology: stacked implementations in Camlboot. https://arxiv.org/abs/2202.09231 saved 2026-06-10 https://dotat.at/:/LKPL6.html

• Post #2873655

  from my link log — antcc: a little C compiler. https://codeberg.org/lsof/antcc saved 2026-05-25 https://dotat.at/:/C9DRG.html

• Post #2450730

  https://erikbern.com/2019/04/15/why-software-projects-take-longer-than-you-think-a-statistical-model.html - Why software projects take longer than you think: a statistical model.

• Post #2388325

  from my link log — On the DeepMind AlphaTensor new matrix multiplication algorithms. https://fgiesen.wordpress.com/2022/10/06/on-alphatensors-new-matrix-multiplication-algorithms/ saved 2022-10-07 https://dotat.at/:/5SUXS.html

• Post #2388324

  from my link log — Finding a goroutine bug with TLA+. https://www.hillelwayne.com/post/tla-golang/ saved 2020-09-25 https://dotat.at/:/C66CZ.html

• Post #2388323

  from my link log — Yak shaving #ifdef-style conditional compilation in Rust. https://bitshifter.github.io/2020/05/07/conditional-compilation-in-rust/ saved 2020-05-15 https://dotat.at/:/Y7K6Z.html

• Post #2388322

  from my link log — PostgreSQL PostGIS trajectories through space and time. https://blog.rustprooflabs.com/2020/11/postgis-trajectory-intro saved 2020-12-02 https://dotat.at/:/6TANP.html

• Post #2388319

  from my link log — ip2unix: turn IP sockets into Unix domain sockets. https://github.com/nixcloud/ip2unix saved 2020-07-08 https://dotat.at/:/5A9WC.html

• Post #2196145

  yay, 3b1b explains escher’s picture gallery, with some pretty complex exponentials https://youtu.be/ldxFjLJ3rVY

• Post #2182871

  RE: https://vmst.io/@DanMorgan/116516129181127637 putting on Mata Zyklek by Angine de Poitrine

• Post #2182868

  from my link log — A project to restore Interlisp-D to usability on modern OSes. http://interlisp.org/ saved 2020-08-06 https://dotat.at/:/5KGKE.html

• Post #2181334

  from my link log — Google Chrome reduces its root DNS traffic. https://blog.verisign.com/domain-names/chromiums-reduction-of-root-dns-traffic/ saved 2021-01-07 https://dotat.at/:/47P49.html

• Post #2175538

  from my link log — Servers with personality. https://caolan.uk/links/servers/ saved 2026-05-02 https://dotat.at/:/6X008.html

• Post #1820551

  i read that “the reg-nr: attribute adds official company registration numbers to organisation objects maintained by the RIPE NCC. This helps clearly identify organisations, especially when names are similar or identical” which reminds me of the time cambridge university had to provide registration documents to ripe it’s a charity, but as a special case it isn’t a registered charity it has a royal charter, but as a special case it isn’t on the privy council’s list in the end we sent them a co...

• Post #1796459

  2023 retro-link! https://nickvsnetworking.com/the-time-bell-labs-brought-the-statue-of-liberty-under-its-roof-literally/ - The time Bell Labs brought the Statue of Liberty under its roof (literally).

• Post #1628938

  RE: https://mastodon.social/@never_released/116448271035656857 “there shouldn't be any reason to learn more editor types than emacs or vi” – https://man.openbsd.org/mg