2024-03-10T21:13:18+01:0010mar2024Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2024-03-102024-03-10T21:12:40+01:002024-03-10T21:12:40+01:00
<p class="link"><span><a href="https://codeofmatt.com/list-of-2024-leap-day-bugs/">List of 2024 Leap Day Bugs</a>, what an embarrassment.</span></p>
<p class="link"><span><a href="https://xairy.io/articles/thinkpad-xdci">Unlocking secret ThinkPad functionality for emulating USB devices</a>,
the xDCI controller on ThinkPad X1 Carbon 6th Gen.</span></p>
<p class="link"><span><a href="https://git-scm.com/docs/git-replay/2.44.0">git replay</a> has landed in Git 2.44.0.</span></p>
<p class="link"><span><a href="https://docs.rs/winnow/latest/winnow/">winnow</a> is a parser combinator library for Rust.</span></p>
<p class="link"><span><a href="http://www.sunshine2k.de/articles/coding/fp/sunfp.html">Understanding and implementing fixed point numbers</a>, by Bastian Molkenthin.</span></p>
<p class="link"><span><a href="https://github.com/facebookexperimental/hermit">Hermit</a> forces deterministic execution of arbitrary programs and acts
like a reproducible container.</span></p>
<p class="link"><span><a href="https://keymaterial.net/2024/02/24/lattices-vs-cranks/">Lattices vs Cranks</a>, by Sophie Schmieg.</span></p>
<p class="link"><span><a href="https://www.abortretry.fail/p/the-itanic-saga">The Itanic Saga: The History of VLIW and Itanium</a>,
by Bradford Morgan White.</span></p>
<p class="link"><span><a href="https://rosettacode.org/wiki/Twelve_statements">Twelve statements</a>, a programming puzzle.</span></p>
<p class="link"><span><a href="https://www.mistys-internet.website/blog/blog/2024/03/01/that-time-i-accidentally-deleted-a-game-from-mame/">That Time I Accidentally Deleted a Game From MAME</a>,
by Misty De Meo.</span></p>
<p class="link"><span><a href="https://kittenlabs.de/real-gaming-router/">Real gaming router: Running GTA: Vice City on a TP-Link TL-WDR4900
wireless router</a>, by Manawyrm and tSYS.</span></p>
11feb2024Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2024-02-112024-02-11T18:50:58+01:002024-02-11T18:50:58+01:00
<p class="link"><span><a href="https://elists.isoc.org/pipermail/internet-history/2024-January/009265.html">Dave Mills has passed away</a>, known for creating NTP.
Vint Cerf is <a href="https://docs.google.com/document/d/1XU6Fn5rFeJLO4mIBSa9e8V8BIDwafI0Lvlmi4gQwcmE/edit">collecting stories about him</a>.</span></p>
<p class="link"><span><a href="https://cse.engin.umich.edu/stories/remembering-alum-david-mills-who-brought-the-internet-into-perfect-time">Remembering alum David Mills, who brought the internet into perfect time</a></span></p>
<p class="link"><span><a href="https://v5.chriskrycho.com/essays/jj-init/">jj init</a>, “Jujutsu is a new version control system” (but can be used
on top of Git).</span></p>
<p class="link"><span><a href="https://ifstate.net/">IfState</a> is a Python 3 utility to configure the Linux network stack in
a declarative manner.</span></p>
<p class="link"><span><a href="https://github.com/cilium/pwru">pwru: Packet, where are you?</a>, an eBPF-based Linux kernel networking debugger.</span></p>
<p class="link"><span><a href="https://blog.glyph.im/2024/02/let-me-tell-you-a-secret.html">Let Me Tell You A Secret</a>, Glyph on an essential technique when doing
consulting.</span></p>
<p class="link"><span><a href="https://grafana.com/blog/2024/02/09/how-i-write-http-services-in-go-after-13-years/">How I write HTTP services in Go after 13 years</a>, by Mat Ryer.</span></p>
<p class="link"><span><a href="https://xoranth.net/gcc-switch/">Switch lowering in GCC</a>, analyzed in detail by Xoranth.</span></p>
<p class="link"><span><a href="https://web.archive.org/web/20210921050144/http://subtilus.blogsport.de/anarchist-black-cross/tortenwerferin-im-knast/">Tortenwerferin im Knast</a>, “Vom 5. bis zum 18. Februar 2018 hat die
Antifaschistin Julia Pie eine zweiwöchige Haftstrafe in der Lübecker
JVA abgesessen.”</span></p>
<p class="link"><span><a href="https://rachelbythebay.com/w/2024/02/08/ldap/">Figure out who’s leaving the company: dump, diff, repeat</a>, by rachelbythebay.</span></p>
<p class="link"><span><a href="https://pong-wars.vercel.app/">Pong Wars</a></span></p>
<p class="link"><span><a href="https://www.youtube.com/watch?v=VESMU7JfVHU">Neutron movie of coffee making</a> with a Moka pot.</span></p>
<p class="link"><span><a href="https://www.mit.edu/people/dpolicar/writing/prose/text/thinkingMeat.html">They’re Made out of Meat</a> (1991), by Terry Bisson.</span></p>
14jan2024Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2024-01-142024-01-14T18:53:32+01:002024-01-14T18:53:32+01:00
<p class="link"><span><a href="https://lists.inf.ethz.ch/pipermail/oberon/2024/016856.html">Niklaus Wirth</a>, 15.2.1934–1.1.2024</span></p>
<p class="link"><span><a href="https://github.com/pdewacht/oberon-risc-emu">Oberon RISC Emulator</a></span></p>
<p class="link"><span><a href="https://miasap.se/obnc/">OBNC</a> is a compiler for Niklaus Wirth’s programming language Oberon.
OBNC translates source code written in Oberon to the lower-level
programming language C.</span></p>
<p class="link"><span><a href="https://blog.benjojo.co.uk/post/who-hosts-the-fediverse-instances">Where is all of the fediverse?</a>, Ben Cox found out.</span></p>
<p class="link"><span><a href="https://hrmacbeth.github.io/math2001/">The Mechanics of Proof</a>, an online book by Heather Macbeth on using Lean
for maths.</span></p>
<p class="link"><span><a href="https://soupault.app/">Soupault</a> is a static website generator/framework that works with
HTML element trees and can automatically manipulate them. It can be
described as a robotic webmaster that can edit HTML pages according to
your rules, but doesn’t get tired of editing them.</span></p>
<p class="link"><span><a href="https://www.microsoft.com/en-us/research/uploads/prod/2023/07/fiptree-tr-v4.pdf">The Functional Essence of Imperative Binary Search Trees</a> (PDF),
by Anton Lorenzen, Daan Leijen, Wouter Swierstra, and Sam Lindley.
“This paper presents several novel functional algorithms for accessing
and inserting elements in a restructuring binary search tree that are
as fast as their imperative counterparts; yet the correctness of these
functional algorithms is established using a simple inductive
argument.”</span></p>
<p class="link"><span><a href="https://xayax.net/sorbus/">The Sorbus Computer</a> started with the idea on building a very simple
and cheap 65C02 based computer.</span></p>
<p class="link"><span><a href="https://randoc.wordpress.com/2024/01/03/franz-morat-kg-tv-computersystem-6800/">Franz Morat KG tv-computersystem 6800</a>, 1MHz, 1KB RAM.</span></p>
<p class="link"><span><a href="https://www.typeoff.de/2024/01/unger-versus-decker/">Unger versus Decker</a>, and their influences on Fraktur type design.</span></p>
<p class="link"><span><a href="https://ktye.github.io/pdp11/index.html">k on a PDP11/40</a></span></p>
25dec2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-12-252023-12-25T22:56:38+01:002023-12-25T22:56:38+01:00
<p class="link"><span><a href="https://biggieblog.com/celebrating-the-first-nes-tetris-game-crash/">Celebrating the first NES Tetris game crash</a></span></p>
<p class="link"><span><a href="https://lock.cmpxchg8b.com/reptar.html">Reptar</a>, by Tavis Ormandy.
“We found a way to cause some processors to enter a glitch state where
the normal rules don’t apply, but what does that mean…?”</span></p>
<p class="link"><span><a href="https://terrytao.wordpress.com/2023/11/18/formalizing-the-proof-of-pfr-in-lean4-using-blueprint-a-short-tour/">Formalizing the proof of PFR in Lean4 using Blueprint: a short tour</a>
and <a href="https://terrytao.wordpress.com/2023/12/05/a-slightly-longer-lean-4-proof-tour/">A slightly longer Lean 4 proof tour</a>, by Terence Tao.</span></p>
<p class="link"><span><a href="https://www.mayer.cool/writings/I-Hacked-Magic-the-Gathering/">I Hacked Magic the Gathering: Arena for a 100% Winrate</a>,
says Daniel Mayer.</span></p>
<p class="link"><span><a href="https://ricostacruz.com/rscss/">rscss: Styling CSS without losing your sanity</a>, by Rico Sta. Cruz.
Probably the only thing I read about CSS organization the last decade
that seems reasonable to me.</span></p>
<p class="link"><span><a href="https://tipc.sourceforge.net/intro.html">TIPC</a>, Transparent Inter Process Communication.
“Have you ever wished you had the convenience of Unix Domain Sockets
even when transmitting data between cluster nodes?”</span></p>
<p class="link"><span><a href="https://github.com/informalsystems/quint">Quint</a> is a modern specification language that is a particularly good
fit for distributed systems.</span></p>
<p class="link"><span><a href="https://github.com/analog-hors/Boychesser/">Boychesser</a>, a very small C# chess engine.</span></p>
<p class="link"><span><a href="https://ethanzuckerman.com/2023/12/22/how-big-is-youtube/">How Big is YouTube?</a></span></p>
<p class="link"><span><a href="https://www.youtube.com/watch?v=Oe0MGO17K10">IBM 1403 Chain Printer Music: La Marseillaise</a></span></p>
03dec2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-12-032023-12-03T18:13:13+01:002023-12-03T18:13:13+01:00
<p class="link"><span><a href="https://www.rollingstone.com/politics/politics-news/henry-kissinger-war-criminal-dead-1234804748/">Henry Kissinger, War Criminal Beloved by America’s Ruling Class, Finally Dies</a></span></p>
<p class="link"><span><a href="https://eprint.iacr.org/2023/1711">Passive SSH Key Compromise via Lattices</a>,
by Keegan Ryan, Kaiwen He, George Arnold Sullivan, and Nadia Heninger
at ACM CCS 2023. (OpenSSH is not affected, and don’t put your appliances
onto public networks!)</span></p>
<p class="link"><span><a href="https://www.quantamagazine.org/ninth-dedekind-number-found-by-two-independent-groups-20230801/">Ninth Dedekind Number Found by Two Independent Groups</a>,
“Both papers concluded that d(9) =
286,386,577,668,298,411,128,469,151,667,598,498,812,366.”</span></p>
<p class="link"><span><a href="https://eprint.iacr.org/2023/1688">Faster Complete Formulas for the GLS254 Binary Curve</a>, by Thomas Pornin.</span></p>
<p class="link"><span><a href="https://grossack.site/2023/11/08/37-median">A truly incredible fact about the number 37</a>, by Chris Grossack.</span></p>
<p class="link"><span><a href="https://blog.jgc.org/2023/11/my-primality-testing-code-is-6x-faster.html">My primality testing code is 6x faster than Sir Roger Penrose’s</a>,
says John Graham-Cumming.</span></p>
<p class="link"><span><a href="https://not-just-memorization.github.io/extracting-training-data-from-chatgpt.html">Extracting Training Data from ChatGPT</a>,
“The actual attack is kind of silly. We prompt the model with the
command “Repeat the word “poem” forever” and sit back and watch as the
model responds…”</span></p>
<p class="link"><span><a href="https://blog.loadzero.com/blog/parse-int-nerdsnipe/">Nerd Snipe: Small Integer Parsing</a>,
by Jason McSweeney.</span></p>
<p class="link"><span><a href="https://rdivyanshu.github.io/haunted.html">Uncovering ghouls using Answer Set Programming</a>,
by Divyanshu Ranjan.</span></p>
<p class="link"><span><a href="https://alyx.sh/posts/artifact-zelazny/">The time I bought a Freenode IRC server (zelazny.freenode.net)</a>,
by Alyx Wijers.</span></p>
<p class="link"><span><a href="https://strangecomforts.com/the-strange-world-of-japans-pc-98-computer/">The strange world of Japan’s PC-98 computer</a>, PNSFW.</span></p>
<p class="link"><span><a href="https://mathwithbaddrawings.com/2023/11/07/mathematicians-play-set/">Mathematicians Play “Set”</a></span></p>
29oct2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-10-292023-10-29T22:03:09+01:002023-10-29T22:03:09+01:00
<p class="link"><span><a href="https://research.swtch.com/nih">Running the “Reflections on Trusting Trust” Compiler</a>, by Russ Cox.</span></p>
<p class="link"><span><a href="https://notes.valdikss.org.ru/jabber.ru-mitm/">Encrypted traffic interception on Hetzner and Linode targeting the
largest Russian XMPP (Jabber) messaging service</a>,
by ValdikSS.
“After checking crt.sh certificate transparency database, rogue
certificates have been discovered which were not issued by any of
jabber.ru servers.”</span></p>
<p class="link"><span><a href="https://oxide.computer/blog/the-cloud-computer">The Cloud Computer</a>, Oxide is shipping!</span></p>
<p class="link"><span><a href="https://www.openbsd.org/74.html">OpenBSD 7.4</a> has been released.</span></p>
<p class="link"><span><a href="https://awk.dev/">The AWK Programming Language, 2nd Edition</a>, has been released!
And <a href="https://github.com/onetrueawk/awk">one true awk</a> gained CSV support.</span></p>
<p class="link"><span><a href="https://arxiv.org/abs/2310.08467">Teaching Resources for Embedding Ethics in Mathematics: Exercises,
Projects, and Handouts</a>, by Maurice Chiodo and Dennis Müller.</span></p>
<p class="link"><span><a href="https://arxiv.org/abs/2310.14056">With a Few Square Roots, Quantum Computing is as Easy as Π</a>,
by Jacques Carette, Chris Heunen, Robin Kaarsgaard, and Amr Sabry.</span></p>
<p class="link"><span><a href="https://docs.victoriametrics.com/VictoriaLogs/">VictoriaLogs</a> is an open source user-friendly database for logs from
VictoriaMetrics.</span></p>
<p class="link"><span><a href="https://wholeearth.info/">Whole Earth Index</a>, “Here lies a nearly-complete archive of Whole
Earth publications, a series of journals and magazines descended from
the Whole Earth Catalog, published by Stewart Brand and the POINT
Foundation between 1970 and 2002.”</span></p>
<p class="link"><span><a href="https://signals.mysteryleague.com/mysteries/play-it-again/">Play It Again</a>, 16 new Connections puzzles!</span></p>
<p class="link"><span><a href="https://arxiv.org/abs/2310.04153">Fair coins tend to land on the same side they started: Evidence from
350,757 flips.</a></span></p>
<p class="link"><span><a href="https://tosatur.com/notes/pooltopology.html">Pool topology</a></span></p>
16oct2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-10-162023-10-16T15:16:34+02:002023-10-16T15:16:34+02:00
<p class="link"><span><a href="https://github.com/olofk/serv">SERV</a> is an award-winning bit-serial RISC-V core, the world’s
smallest RISC-V CPU.</span></p>
<p class="link"><span><a href="https://ripes.me/">ripes.me</a>, a visual RISC-V CPU in your browser.</span></p>
<p class="link"><span><a href="https://fgiesen.wordpress.com/2018/02/19/reading-bits-in-far-too-many-ways-part-1/">Reading bits in far too many ways (2018) (part 1)</a>,
<a href="https://fgiesen.wordpress.com/2018/02/20/reading-bits-in-far-too-many-ways-part-2/">(part 2)</a>,
<a href="https://fgiesen.wordpress.com/2018/09/27/reading-bits-in-far-too-many-ways-part-3/">(part 3)</a>, by Fabian “ryg” Giesen.
Very helpful.</span></p>
<p class="link"><span><a href="http://www.righto.com/2023/10/intel-386-die-versions.html">Examining the silicon dies of the Intel 386 processor</a>,
by Ken Shirriff.</span></p>
<p class="link"><span><a href="https://www.uiua.org/">Uiua</a> is a stack-based array programming language with a focus on
simplicity, beauty, and tacit code.</span></p>
<p class="link"><span><a href="https://github.com/pdfcpu/pdfcpu">pdfcpu</a> is a PDF processing library written in Go supporting
encryption. It provides both an API and a CLI.</span></p>
<p class="link"><span><a href="https://orlp.net/blog/subtraction-is-functionally-complete/">Subtraction Is Functionally Complete</a>, by Orson R. L. Peters. Cursed.</span></p>
<p class="link"><span><a href="https://eieio.games/nonsense/game-11-flappy-bird-finder/">Flappy Dird: Flappy Bird implemented in MacOS Finder</a>,
even more cursed.</span></p>
17sep2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-09-172023-09-17T22:12:39+02:002023-09-17T22:12:39+02:00
<p class="link"><span><a href="https://meyerweb.com/eric/thoughts/2023/09/06/memories-of-molly/">Memories of Molly Holzschlag</a>, by Eric Meyer.</span></p>
<p class="link"><span><a href="https://github.com/leanprover/lean4/releases/tag/v4.0.0">Lean 4.0.0</a> has been released!</span></p>
<p class="link"><span><a href="http://www.call-with-current-continuation.org/fleng/fleng.html">FLENG 16</a> has been released; “a low level concurrent
logic programming language descended from Prolog.”</span></p>
<p class="link"><span><a href="https://jameshaydon.github.io/nats-fail/">UK air traffic control meltdown</a>, summarized by James Haydon:
“On 28 August 2023 NATS, the UK’s air traffic control operator,
suffered a major technical incident. The BBC reports that more than
2000 flights were cancelled and the cost has been estimated at over
£100 million GBP.”</span></p>
<p class="link"><span><a href="https://cr.yp.to/papers/pwccp-20230906.pdf">Papers with computer-checked proofs</a> (PDF),
a case study by Daniel J. Bernstein.</span></p>
<p class="link"><span><a href="https://arxiv.org/abs/2308.08819">Furstenberg sets estimate in the plane</a>, by Kevin Ren and Hong Wang.</span></p>
<p class="link"><span><a href="https://lwn.net/ml/git/20230907092521.733746-1-christian.couder@gmail.com/">Introduce new ‘git replay’ command</a>, a proposal to
make rebasing possible without checkouts and working trees.</span></p>
<p class="link"><span><a href="https://ntietz.com/blog/how-i-debug-2023/">A systematic approach to debugging</a>, by Nicole Tietz.</span></p>
<p class="link"><span><a href="http://tenderlovemaking.com/2023/09/02/fast-tokenizers-with-stringscanner.html">Fast Tokenizers with StringScanner</a>, by Aaron Patterson. Has nice tricks.</span></p>
<p class="link"><span><a href="https://pagefind.app/">Pagefind</a> adds a static search bundle to your built files, which
exposes a JavaScript search API that can be used anywhere on your
site.</span></p>
<p class="link"><span><a href="https://virtualmoose.org/2023/09/13/myst-parodies/">Myst Parodies</a>, collected by Michael Klamerus.</span></p>
03sep2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-09-032023-09-03T20:55:29+02:002023-09-03T20:55:29+02:00
<p class="link"><span><a href="https://blog.jasony.me/system/cache/2023/08/01/s3fifo">FIFO queues are all you need for cache eviction</a>, by Juncheng Yang.
“In this blog, I will describe a Simple, Scalable eviction algorithm
with three Static FIFO queues (S3-FIFO).”</span></p>
<p class="link"><span><a href="https://blog.asie.pl/2023/08/browsing-the-web-wonderswan-2023/">Browsing the web with a WonderSwan in 2023</a>, by asie.
“Oh, it also came with a web browser supporting a subset of HTML 3.2,
tables, GIF images, reading Japanese websites, a bookmark system, and
cookies. On a handheld competing with the Game Boy Color.”</span></p>
<p class="link"><span><a href="https://www.usenix.org/publications/loginonline/bcrypt-25-retrospective-password-security">Bcrypt at 25: A Retrospective on Password Security</a>, by Niels Provos.
(Curiously, it’s still
<a href="https://infosec.exchange/@epixoip/110912922574721750">better than Argon2</a> for
login-interactive usages!)</span></p>
<p class="link"><span><a href="https://arxiv.org/abs/math/0511490">Mathematical table turning revisited</a>, by
Bill Baritompa, Rainer Löwen, Burkard Polster, and Marty Ross.
“We investigate under which conditions a rectangular table can be
placed with all four feet touching a continuous ground by turning it
on the spot.”</span></p>
<p class="link"><span><a href="https://people.mpi-sws.org/~dg/papers/popl22-choreographies.pdf">Pirouette: Higher-Order Typed Functional Choreographies</a> (PDF),
by Andrew K. Hirsch and Deepak Garg at POPL 2022.
“We present Pirouette, a language for typed higher-order functional
choreographic programming. Pirouette offers programmers the ability to
write a centralized functional program and compile it via endpoint
projection into programs for each node in a distributed system.”</span></p>
<p class="link"><span><a href="http://emailhistory.org/papers/partridge-email.pdf">The Technical Development of Internet Email</a> (PDF, 2008), by Craig Partridge.
From 1971 to 1991.</span></p>
<p class="link"><span><a href="https://drmaciver.substack.com/p/two-types-of-work">Two types of work</a>, by David R. MacIver.</span></p>
<p class="link"><span><a href="https://github.com/mlochbaum/Singeli/blob/master/doc/minfilter.md">Purity and Ford write a min filter</a> in Singeli,
by Marshall Lochbaum.</span></p>
<p class="link"><span><a href="https://github.com/amigavision/TopazDouble">Topaz Double</a>, a double-height recreation of Amiga’s iconic Topaz typeface.</span></p>
<p class="link"><span><a href="https://www.rmit.edu.au/news/all-news/2023/aug/coffee-concrete">Coffee offers performance boost for concrete</a>,
“the team developed a technique to make concrete 30% stronger by
turning waste coffee grounds into biochar, using a low-energy process
without oxygen at 350 degrees Celsius.”</span></p>
13aug2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-08-132023-08-13T22:32:35+02:002023-08-13T22:32:35+02:00
<p class="link"><span><a href="https://groups.google.com/g/vim_announce/c/tWahca9zkt4">Bram Moolenaar, author of Vim, passed away</a>, RIP.</span></p>
<p class="link"><span><a href="https://groups.google.com/g/vim_dev/c/dq9Wu5jqVTw">The future of the Vim project</a></span></p>
<p class="link"><span><a href="https://thehighergeometer.wordpress.com/2023/08/09/no-order-10-projective-planes-via-sat/">No order-10 projective planes via SAT</a>, how to certify a SAT proof
that took 2 years on a Cray in 1986.</span></p>
<p class="link"><span><a href="https://lesenechal.fr/en/linux/unwinding-the-stack-the-hard-way">Unwinding the stack the hard way</a>, by Kévin Lesénéchal.
“In this article, we will delve into the intricacies of stack
unwinding, exception-handling, call frames, and dissect ELFs and
DWARFs.”</span></p>
<p class="link"><span><a href="https://smallcats.info/">The SmallCategories Project</a> aims to build a useful, useable database
of small finite categories.</span></p>
<p class="link"><span><a href="https://www.righto.com/2023/08/datapoint-to-8086.html">Tracing the roots of the 8086 instruction set to the Datapoint 2200
minicomputer</a>, by Ken Shirriff.</span></p>
<p class="link"><span><a href="https://www.thecalculatorstore.com/epages/eb9376.sf/en_US/?ObjectPath=/Shops/eb9376/Products/%22HP-15c%20%23INT%22/SubProducts/%22HP-15c%20%23INT-0001%22">HP15C Collector’s Edition</a>, now available!</span></p>
06aug2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-08-062023-08-06T22:59:36+02:002023-08-06T22:59:36+02:00
<p class="link"><span><a href="https://lock.cmpxchg8b.com/zenbleed.html">Zenbleed</a>, by Tavis Ormandy.
“It turns out that with precise scheduling, you can cause some
processors to recover from a mispredicted vzeroupper incorrectly!”</span></p>
<p class="link"><span><a href="https://publikationen.bibliothek.kit.edu/1000161074">An Extensible Theorem Proving Frontend</a>, PhD thesis
by Sebastian Ullrich on Lean 4.</span></p>
<p class="link"><span><a href="https://blog.cloudflare.com/branch-predictor/">Branch predictor: How many “if”s are too many? Including x86 and M1
benchmarks! (2021)</a>, a deep dive by Marek Majkowski.</span></p>
<p class="link"><span><a href="https://blog.plover.com/math/logic/gantos-axe.html">Computational content of Gantō’s axe</a>, by Mark J. Dominus.</span></p>
<p class="link"><span><a href="https://fabiensanglard.net/ega/">Commander Keen’s Adaptive Tile Refresh</a> in EGA graphics, by Fabien Sanglard.
“Writing 320x200 nibbles (32 KiB) per frame is too much for the ISA
bus. There is no way to maintain a 60Hz framerate while refreshing the
whole screen.”</span></p>
<p class="link"><span><a href="https://julian.digital/2023/07/06/multi-layered-calendars/">Multi-layered calendars</a>, “Traveling through time in three dimensions”,
by Julian Lehr.</span></p>
<p class="link"><span><a href="https://clojure-goes-fast.com/blog/clojures-deadly-sin/">Clojure’s deadly sin</a>, by Oleksandr Yakushev.</span></p>
23jul2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-07-232023-07-23T22:42:09+02:002023-07-23T22:42:09+02:00
<p class="link"><span><a href="https://stexmmt.mathhub.info/:sTeX/browser/fullhtml?archive=Papers/23-TUG-CSS&filepath=paper.xhtml">An HTML/CSS Schema for TeX Primitives – Generating High-Quality
Responsive HTML from generic TeX</a>, by Dennis Müller. Introducing
<a href="https://github.com/slatex/RusTeX">RusTeX</a> which has very promising
results.</span></p>
<p class="link"><span><a href="https://semantic-domain.blogspot.com/2023/07/linear-time-parser-combinators.html">Linear-time parser combinators</a> in OCaml, by Neel Krishnaswami.</span></p>
<p class="link"><span><a href="https://github.com/livegrep/livegrep">Livegrep</a> is a tool, partially inspired by Google Code Search, for
interactive regex search of gigabyte-scale source repositories.</span></p>
<p class="link"><span><a href="https://po-ru.com/2023/07/05/back-in-my-day">“Back in my day …”</a>, Paul Battley reviews 20 years of Ruby in 5 minutes.</span></p>
<p class="link"><span><a href="https://github.com/tldraw/tldraw">tldraw</a>, “a very good whiteboard”.</span></p>
<p class="link"><span><a href="https://www.falstad.com/circuit/circuitjs.html">Paul Falstad’s Circuit Simulator</a>, now written in JavaScript.
Really educational!</span></p>
<p class="link"><span><a href="https://www.stylewarning.com/posts/quantum-interpreter/">A tutorial quantum interpreter in 150 lines of Lisp</a>, by Robert Smith.</span></p>
<p class="link"><span><a href="https://koldfront.dk/git/illuminant/about/">Illuminant</a>, an ActivityPub server with an NNTP interface.</span></p>
<p class="link"><span><a href="https://github.com/vegesm/c72">c72</a>, a port of the earliest C compiler to x86.</span></p>
<p class="link"><span><a href="https://github.com/Flet/rejected-github-profile-achievements">Rejected GitHub Profile Achievements</a></span></p>
02jul2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-07-022023-07-02T22:12:56+02:002023-07-02T22:12:56+02:00
<p class="link"><span><a href="https://cohost.org/tef/post/1764930-how-not-to-write-a">how (not) to write a pipeline</a>, by tef. Recommended.</span></p>
<p class="link"><span><a href="http://catern.com/concur.html">Tips for concurrent programming</a>, by Spencer Baugh.</span></p>
<p class="link"><span><a href="https://blog.sesse.net/blog/tech/2023-06-29-23-16_finding_the_bestest_sine_function_for_nintendo_64.html">Finding the BESTEST sine function for Nintendo 64</a>,
Steinar H. Gunderson uses Z3 to crunch IEEE float code.</span></p>
<p class="link"><span><a href="https://dotat.at/@/2023-06-21-pcg64-dxsm.html">PCG64 DXSM random number generator</a>, Tony Finch converted the C++
reference behemoth into a 10 line C implementation.
<a href="https://dotat.at/cgi/git/pcg-dxsm.git/tree/HEAD">Git repo.</a></span></p>
<p class="link"><span><a href="https://garagehq.deuxfleurs.fr/">Garage</a> is a lightweight geo-distributed data store that implements the Amazon S3 object storage protocol.</span></p>
<p class="link"><span><a href="https://github.com/soundjester/lemmy_monkey">lemmy_monkey</a>, make Lemmy forums look like old Reddit.</span></p>
<p class="link"><span><a href="https://github.com/rcornwell/smalltalk">A clone of Smalltalk 80</a> from the Blue book, written by Richard Cornwell.
Includes an interpreter in C to bootstrap.</span></p>
<p class="link"><span><a href="https://funcall.blogspot.com/2023/06/tail-recursion-in-rebol.html">Tail recursion in REBOL</a>, by Joe Marshall.</span></p>
<p class="link"><span><a href="https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/aperiodic-spectre/">Combinatorial coordinates for the aperiodic Spectre tiling</a>, Simon Tatham
extends his tiling algorithm to the Spectre.</span></p>
<p class="link"><span><a href="https://www.righto.com/2023/07/the-complex-history-of-intel-i960-risc.html">The complex history of the Intel i960 RISC processor</a>, by Ken Shirriff.</span></p>
<p class="link"><span><a href="http://www.frogfind.com/">FrogFind!</a>, The Search Engine for Vintage Computers.</span></p>
18jun2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-06-182023-06-18T19:14:37+02:002023-06-18T19:14:37+02:00
<p class="link"><span><a href="https://arxiv.org/abs/2306.06512">Direct Construction of Aperiodic Tilings with the Hat Monotile</a>,
by Ulrich Reitebuch.</span></p>
<p class="link"><span><a href="https://lib.mceliece.org/index.html">libmceliece is a Classic McEliece microlibrary</a>, by Daniel J. Bernstein
and Tung Chou.</span></p>
<p class="link"><span><a href="https://github.com/willghatch/racket-rash">Rash</a> is a shell language, library, and REPL for Racket.</span></p>
<p class="link"><span><a href="https://apenwarr.ca/log/20230605">Tech debt metaphor maximalism</a>, by Avery Pennarun.</span></p>
<p class="link"><span><a href="http://www.math.bas.bg/bantchev/place/refal.html">REFAL (Рефал)</a> was created in Russia, then USSR, in the second half
of the 1960s. It is a functional programming language in which
computation is driven by pattern matching on textual and symbolic
information.
<a href="http://web.archive.org/web/20060504204131/http://shura.botik.ru/refal/book/html/">Manual.</a>
<a href="https://packages.altlinux.org/en/sisyphus/srpms/refal-plus/rpms/">Refal Plus.</a>
<a href="https://github.com/bmstu-iu9/refal-5-lambda/blob/master/README.en.md">Refal 5λ.</a></span></p>
<p class="link"><span><a href="https://codahale.com/the-joy-of-duplexes/">The Joy Of Duplexes</a>, by Coda Hale.
“In this post, we’ll talk about permutations, sponge functions, and
duplexes–what they are, how they’re built, what makes them secure, and
how they’re used.”</span></p>
<p class="link"><span><a href="https://arch.georgi.software/browse">An archive of the GNU arch-verse</a>, provided by Patrick Georgi in
remembrance of Tom Lord.</span></p>
<p class="link"><span><a href="https://rwmj.wordpress.com/2023/06/14/i-booted-linux-292612-times/">I booted Linux 292,612 times</a> and <a href="https://rwmj.wordpress.com/2023/06/18/follow-up-to-i-booted-linux-292612-times/">follow up</a>,
by Richard WM Jones.</span></p>
<p class="link"><span><a href="https://ionathan.ch/2023/06/06/angarr.html">Update: U+237C ⍼ ⍼</a>, in search of the origins of a glyph.</span></p>
11jun2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-06-112023-06-11T17:41:15+02:002023-06-11T17:41:15+02:00
<p class="link"><span><a href="https://cs.uwaterloo.ca/~csk/spectre/">A chiral aperiodic monotile</a>, found by David Smith, Joseph Samuel
Myers, Craig S. Kaplan, and Chaim Goodman-Strauss.
A true einstein was found!</span></p>
<p class="link"><span><a href="https://graydon2.dreamwidth.org/306832.html">Curse of the CEMBI / Let Maintainers Be Maintainers</a>,
by Graydon Hoare.
“A short note about corporate free / open source software (FOSS), and
corporate-employed maintainers. Or specifically “corporate-employed
maintainers .. with bad incentives”.”</span></p>
<p class="link"><span><a href="https://neon.tech/blog/when-limit-9-works-but-limit-10-hangs">When LIMIT 9 works but LIMIT 10 hangs</a>, George MacKerron debugs a
WebSocket implementation.</span></p>
<p class="link"><span><a href="https://kuenzi.dev/toothbrush/">Hacking my “smart” toothbrush</a>, by Cyrill Künzi.
Not a super interesting hack, but a good overview of the tools
involved in NFC reverse engineering.</span></p>
<p class="link"><span><a href="http://wootconference.org/papers/woot23-paper5.pdf">Emoji shellcoding in RISC-V</a> (PDF),
by Hadrien Barral, Georges-Axel Jaloyan, and David Naccache.</span></p>
<p class="link"><span><a href="https://openjur.de/i/grundgesetz.html">Urschrift des Grundgesetzes</a> vom 8. Mai 1949.</span></p>
<p class="link"><span><a href="https://github.com/weiweihuanghuang/Times-New-Bastard">Times New Bastard</a>, eugh!</span></p>
28may2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-05-282023-05-28T22:53:11+02:002023-05-28T22:53:11+02:00
<p class="link"><span><a href="https://theintercept.com/2023/05/23/henry-kissinger-cambodia-bombing-survivors/">Blood on His Hands</a>, Survivors of Kissinger’s Secret War in Cambodia
Reveal Unreported Mass Killings.</span></p>
<p class="link"><span><a href="https://arxiv.org/abs/2305.12784">Hot Pixels: Frequency, Power, and Temperature Attacks on GPUs and ARM SoCs</a>,
by Hritvik Taneja, Jason Kim, Jie Jeff Xu, Stephan van Schaik, Daniel
Genkin, and Yuval Yarom.
“To demonstrate the real-world impact of this issue, we present
JavaScript-based pixel stealing and history sniffing attacks on Chrome
and Safari, with all side channel countermeasures enabled. Finally, we
also show website fingerprinting attacks, without any elevated
privileges. “</span></p>
<p class="link"><span><a href="https://xorvoid.com/sectorc.html">SectorC: A C Compiler in 512 bytes</a>, featuring the most hacky “C” “parser” ever.
Impressive still!</span></p>
<p class="link"><span><a href="https://github.com/jbulin-mff-uk/nopt042">NOPT042 Constraint Programming tutorial</a>, using Picat.</span></p>
<p class="link"><span><a href="https://en.wikipedia.org/wiki/Casus_irreducibilis">Casus irreducibilis</a> is one of the cases that may arise in solving
polynomials of degree 3.
Suddenly an arccos appears!</span></p>
<p class="link"><span><a href="https://dotat.at/@/2023-05-26-whence-time.html">Where does my computer get the time from?</a>, Tony Finch wondered.</span></p>
14may2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-05-142023-05-14T20:12:34+02:002023-05-14T20:12:34+02:00
<p class="link"><span><a href="https://blog.koehntopp.info/2023/05/05/50-years-in-filesystems-1974.html">50 years in filesystems: 1974</a>,
<a href="https://blog.koehntopp.info/2023/05/06/50-years-in-filesystems-1984.html">1984</a>,
<a href="https://blog.koehntopp.info/2023/05/12/50-years-in-filesystems-1994.html">1994</a>,
by Kristian Köhntopp.</span></p>
<p class="link"><span><a href="https://sillycross.github.io/2023/05/12/2023-05-12/">Building a baseline JIT for Lua automatically</a>, by Haoran Xu.
“Today, after months of additional work, LuaJIT Remake is finally a
JIT-capable VM. It is now equipped with a state-of-the-art baseline
JIT compiler, also automatically generated by Deegen.”</span></p>
<p class="link"><span><a href="https://arxiv.org/abs/2104.13866">Reachability in Vector Addition Systems is Ackermann-complete</a> (2021),
by Wojciech Czerwiński, Łukasz Orlikowski. I missed this before it seems.</span></p>
<p class="link"><span><a href="https://github.com/dancrossnyc/rxv64">rxv64</a> is the rewrite of the Unix v6 kernel, ported to Rust. By Dan Cross.</span></p>
<p class="link"><span><a href="https://github.com/betwixt-labs/bebop">bebop</a>, an extremely simple, fast, efficient, cross-platform
serialization format.</span></p>
<p class="link"><span><a href="https://bertolami.com/index.php?engine=blog&content=posts&detail=arithmetic-coding">Context Adaptive Binary Arithmetic Coding</a>, by Joe Bertolami.
“The goal for this article is to provide a gentle introduction to the
process”.</span></p>
<p class="link"><span><a href="https://exploredprk.com/music/surpass-the-cutting-edge/">Surpass The Cutting Edge</a>, a catchy North Korean propaganda song
about CNC machines.</span></p>
<p class="link"><span><a href="https://en.wikipedia.org/wiki/Apothecaries'_system">Apothecaries’ weights and measures</a></span></p>
30apr2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-04-302023-04-30T18:19:59+02:002023-04-30T18:19:59+02:00
<p class="link"><span><a href="https://testing.googleblog.com/2023/04/sensenmann-code-deletion-at-scale.html">Sensenmann: Code Deletion at Scale</a>,
“The Sensenmann project, named after the German word for the
embodiment of Death, has been highly successful. It submits over 1000
deletion changelists per week, and has so far deleted nearly 5% of all
C++ at Google.”</span></p>
<p class="link"><span><a href="https://orib.dev/gefs.html">Gefs</a>, a Good Enough File System for Plan 9, by Ori Bernstein.
Uses Bε trees.</span></p>
<p class="link"><span><a href="https://blog.benjojo.co.uk/post/quickcam-usb-userspace-driver">Driver adventures for a 1999 webcam</a>, by Ben Cox.</span></p>
<p class="link"><span><a href="https://www.e-rara.ch/bau_1/content/titleinfo/26597546">Proben der Haas’schen Giesserei in Basel</a>, 775 scanned pages of type specimen.
<a href="https://www.e-rara.ch/bau_1/content/titleinfo/26614381">More.</a></span></p>
<p class="link"><span><a href="https://partsbox.com/blog/wireless-charging-for-a-hp-25-calculator-05-2021.html">Weekend hacking: wireless charging for a HP-25 calculator</a> (2021),
with Qi.</span></p>
<p class="link"><span><a href="https://x.st/spinning-diagrams-with-css/">Spinning Diagrams with CSS</a></span></p>
16apr2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-04-162023-04-16T19:29:52+02:002023-04-16T19:29:52+02:00
<p class="link"><span><a href="https://www.openbsd.org/73.html">OpenBSD 7.3</a> has been released.</span></p>
<p class="link"><span><a href="https://decomposition.al/blog/2023/04/08/who-invented-vector-clocks/">Who invented vector clocks?</a>, by Lindsey Kuper.</span></p>
<p class="link"><span><a href="https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/aperiodic-tilings/">Two algorithms for randomly generating aperiodic tilings</a>, nice exposition
by Simon Tatham.</span></p>
<p class="link"><span><a href="http://mynor.org/my4th">My4TH</a>, a homebuilt CPU-less computer with a 1-bit NOR gate “ALU”,
running FORTH. By Dennis Kuschel.</span></p>
<p class="link"><span><a href="https://www.youtube.com/watch?v=nYDmBdUalgo">How to Crash SM64 Using a Pendulum</a> (YouTube), explained by pannenkoek2012.</span></p>
<p class="link"><span><a href="https://engineering.fb.com/2023/04/06/open-source/buck2-open-source-large-scale-build-system/">Build faster with Buck2</a>, Meta’s open source build system.
Written in Rust, rules are now implemented fully in Starlark.</span></p>
<p class="link"><span><a href="https://zyedidia.github.io/blog/posts/3-knit-better-make/">Knit: making a better Make</a>, with some good ideas.</span></p>
<p class="link"><span><a href="http://0x80.pl/notesen/2023-04-09-faster-parse-ipv4.html">SIMD-ized faster parse of IPv4 addresses</a>, by Wojciech Muła.</span></p>
<p class="link"><span><a href="https://www.righto.com/2023/04/8086-microcode-string-operations.html">The microcode and hardware in the 8086 processor that perform string
operations</a>, by Ken Shirriff.</span></p>
<p class="link"><span><a href="https://cohost.org/cathoderaydude/post/1311259-hell-never-ends-on-x">Hell Never Ends On x86: The Hyperspace Story, Continued, Sort Of</a>,
by cathoderaydude. Office software running in EFI.</span></p>
<p class="link"><span><a href="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)</a></span></p>
<p class="link"><span><a href="http://www.platohistory.org/blog/2012/09/plato-emoticons-revisited.html">PLATO Emoticons, revisited</a> (2012). Uses overprinting.</span></p>
26mar2023Leah Neukirchenhttps://leahneukirchen.org/leah@vuxu.orgtag:chneukirchen.org,2008:trivium-2023-03-262023-03-26T19:53:58+02:002023-03-26T19:53:58+02:00
<p class="link"><span><a href="https://arxiv.org/abs/2303.10798">An aperiodic monotile</a>,
by David Smith, Joseph Samuel Myers, Craig S. Kaplan, and Chaim Goodman-Strauss.
“A longstanding open problem asks for an aperiodic monotile, also
known as an “einstein”: a shape that admits tilings of the plane, but
never periodic tilings.”</span></p>
<p class="link"><span><a href="https://tilings.math.uni-bielefeld.de/">Tilings Encyclopedia</a>, from Uni Bielefeld.
Aperiodicity <em>can</em> be achieved with
<a href="https://tilings.math.uni-bielefeld.de/substitution/domino-variant-9-tiles/">pretty easy rules</a>.</span></p>
<p class="link"><span><a href="https://www.cs.princeton.edu/~bwk/dmr/doceng22.pdf">How did Dennis Ritchie Produce his PhD Thesis? A Typographical Mystery</a> (PDF),
by David F. Brailsford, Brian W. Kernighan, and William A. Ritchie.</span></p>
<p class="link"><span><a href="https://vorpus.org/blog/notes-on-structured-concurrency-or-go-statement-considered-harmful/">Notes on structured concurrency, or: Go statement considered harmful</a> (2018),
by Nathaniel J. Smith.</span></p>
<p class="link"><span><a href="https://stefanw.github.io/bibbot/">BibBot</a>, a browser add-on to read german news pages using a public
library account.</span></p>
<p class="link"><span><a href="https://www.kutilek.de/selectric/">Reviving the IBM Selectric Composer Fonts</a>,
by Jens Kutilek.</span></p>
<p class="link"><span><a href="http://www.iro.umontreal.ca/~felipe/IFT2030-Automne2002/Complements/tinyc.c">A compiler for the Tiny-C language</a>, by Marc Feeley.
Wirth-level of integration!</span></p>
<p class="link"><span><a href="https://kidneybone.com/c2/wiki/WikiWikiWeb">The C2 Wiki</a>, online archive with the original feel.</span></p>
<p class="link"><span><a href="https://www.reddit.com/r/Android/comments/11nzrb0/samsung_space_zoom_moon_shots_are_fake_and_here/">Samsung “space zoom” moon shots are fake, and here is the proof</a>,
what a disgusting “feature”.</span></p>
<p class="link"><span><a href="https://www.richard-towers.com/2023/03/11/typescripting-the-technical-interview.html">Typescripting the technical interview</a>,
by Richard Towers.</span></p>