← Feed

Posts

• 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

• View post

  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

• View post

  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

• View post

  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)

• View post

  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

• View post

  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

• View post

  @mattcomi@hachyderm.io i’ve used sccs! https://dotat.at/@/2014-11-27-uplift-from-sccs-to-git.html

• View post

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

• View post

  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.

• View post

  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

• View post

  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

• View post

  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

• View post

  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

• View post

  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