25 years ago today, Bad_CRC posted the primordial meme video "All Your Base Are Belong To Us" on Newgrounds.

In honor of this important anniversary, I downloaded the original Flash SWF file from Internet Archive, played it using Ruffle in a full-screen window, and replaced the audio with the original MP3 of "Invasion of the Gabber Robots" by The Laziest Men on Mars. So this is probably the highest fidelity encoding possible, without going back to the original forum GIFs.
https://jwz.org/b/yk3i

Is there a fundamental obstacle to why herd7/diy's "generate and check" approach to exhaustive model checking for relaxed memory models couldn't be done with symbolic model checking to scale it up further? Is it that some of the .cat constraints you need don't encode well in SMT-friendly theories, e.g. acyclicity?

But anyway, diy looks really cool: https://diy.inria.fr/

The Project Gutenberg community mourns the passing of our CEO, Dr. Greg Newby (@gbnewby).

Without his years of leadership, Project Gutenberg wouldn't be what it is today. Learn more about him and his contributions at

https://www.gutenberg.org/about/newby.html

Me looking at my cool gray hair in the mirror and realizing I have outlived the highest possible age I at one time believed I would ever achieve by well over a decade: Omg I love being old

Me attempting to use my knees for any purpose: Omg I hate being old

This history of Return / Enter / whatever it is on your keyboard is more fascinating and surprising than I expected. Worth reading:

https://aresluna.org/the-day-return-became-enter/

(via https://twostopbits.com/ which will be of interest to some of you, via https://tilde.zone/@movq/115124813215685011 via @rk because Attribution Damnit™ as I was indoctrinated long ago and feel like indulging tonight.)

i'm proud to have been involved in the creation of this new book from
@nostarch , Designing Electronics That Work! it's full of useful material for anyone who wants to build anything electronic and bring it to mass production.

https://nostarch.com/designingelectronics