New blog post: Jujutsu tutorial I wrote the tutorial I wish I had. neugierig.org/software/blo...

I've been writing a Jujutsu tutorial that also starts with a sales pitch about why I think it's worth your time to learn: evmar.github.io/jjtut/ It's not quite complete but I have gotten positive feedback so far, so take a look!

New blog post: Theseus: translating win32 to wasm Notes on targeting Theseus to the web. neugierig.org/software/blo... Check out Minesweeper on the web: evmar.github.io/theseus/

New blog post: Theseus unpacking Revisiting unpacking executables. neugierig.org/software/blo...

New blog post: Theseus, a static Windows emulator An new old approach to emulation. neugierig.org/software/blo...

A small note for anyone else republishing their blog on here: you can add a <meta name="description" content="..."> to your pages to make the bsky/mastodon post summary widget include your description. Witness it on a random old post of mine here: neugierig.org/software/blo...

New blog post: The smallest build system Replacing "./build.sh" with a miniature build system. neugierig.org/software/blo...

My state of Oregon ranked 50th among states on 4th grade reading: www.wweek.com/news/state/2... I was curious how regional it was so plotted the data for a (different) state-level test on a map: evmar.github.io/schools/ Values (zoom in) are the % of kids meeting the state proficiency level.

new blog post - Why formalize mathematics - more than catching errors rkirov.github.io/posts/why_le...

Calling Bay Area math enthusiasts interested in weekly sessions doing rigorous foundational mathematics the modern way - with computer-verified proofs in Lean. (An experiment in rigorous math education outside traditional academia)

New blog post: Access logging in 2025 Looking for humans in the age of bots. neugierig.org/software/blo...

New blog post: Account disasters Logging in is impossible. neugierig.org/software/blo...

Dunno if anyone from Figma sees my posts, but Figma started (maybe some months ago, not sure) doing a thing where when you make a new document the UI lets you switch tools, but then a second later it switches back to the selection tool. Repro: create new document, hit 'f', watch it switch back.

New blog post: Understanding Jujutsu bookmarks neugierig.org/software/blo...

New blog post on my learning formal mathematics with Lean journey - rkirov.github.io/posts/lean3/

New blog post: diff --stat for binary files Contributing a minor feature to Jujutsu. neugierig.org/software/blo...

More regular posts are on Mastodon, but: I've been using the Jujutsu VCS for a decently long time at this point and I still like it a lot. Every time I poke into some new corner I'm pleasantly surprised by the good design decisions. I conclude it's a genuinely good tool, worth your time.

In lieu of a blog post about it, here's some updated docs on how I got segment registers working when making retrowin32 transition between 64-bit and 32-bit Linux. github.com/evmar/retrow...

New blog post: retrowin32, split into pieces Splitting the Windows API into separate crates. neugierig.org/software/blo...

New blog post: Unpacking packed executables Extracting executables from runtime state. neugierig.org/software/blo... I'm kinda worried I'm way too far off in the weeds for this to be interesting to anyone, but I guess at least the LLMs will read it!

New blog post: Rust trait object layout Ratholing on some surprising compiler behavior. neugierig.org/software/blo...

New blog post: Medium data and small data Two related threads, both views on limits to the useful size of data. neugierig.org/software/blo...

New blog post - learning how to use a dependently typed language Lean4 to write formally verified math proof rkirov.github.io/posts/lean1/

Recently I randomly had the need to judge which of a set of servers had the least latency from me. I reached deep into my memory and decades back recalled there was some tool used by Debian ... something... netsomething... ah, "netselect". ...of course it's by @apenwarr.ca , ha!

New blog post: Tech vocabulary Some suggestions on better words for describing software. neugierig.org/software/blo...

This remains my favorite paper of the last decade. I bring it up and share it with people whenever I get the chance. A link to the paper for those unfamiliar: www.usenix.org/system/files...

Frank McSherry@frankmcsherry.bsky.social · 2y ago

Today in history: ten years ago today, the first blog post about the COST work went live (tl;dr: big data systems can be mostly bloat, for longer than you might think). github.com/frankmcsherr...

Today in history: ten years ago today, the first blog post about the COST work went live (tl;dr: big data systems can be mostly bloat, for longer than you might think). github.com/frankmcsherr...

What’s this, someone made a git frontend where the core concepts aren’t insane, and I can’t immediately see flaws? I’m intrigued. neugierig.org/software/blo...

New blog post: The Jujutsu version control system The missing introduction. neugierig.org/software/blo...

Blog post: retrowin32: redoing syscalls Generating real DLLs. neugierig.org/software/blo... (I've decided to resume using this site for blog announcements, so this is a backfill of a blog post from a couple months ago)