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...

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)

I stopped crossposting here nine months ago because it didn't seem anyone was reading. In case there are more people around than before, here's one of the posts you might have missed: a two-year retrospective about retrowin32. neugierig.org/software/blo...

I stopped crossposting here because there didn't seem like there was much going on. If you'd like to follow my posts I'm on Mastodon here: inuh.net/@evmar and I also crosspost new blog posts to Twitter.

New blog post: Emulating x86 on x64 on aarch64 Emulating win32 on Mac using Apple's x64 emulator. https://neugierig.org/software/blog/2023/08/x86-x64-aarch64.html (sorry, forgot to crosspost this when I first posted it)

New blog post: The dominator tree of a dependency graph A little trick for understanding dependencies. https://neugierig.org/software/blog/2023/07/dominator.html

New blog post: Quick hacks on GitHub Pages A Git tip for using GitHub Pages. https://neugierig.org/software/blog/2023/07/github-pages.html

New blog post: Finally getting two's complement A different view on two's complement math. https://neugierig.org/software/blog/2023/06/twos-complement.html

This week I put a few days of work on my Ninja rewrite: https://github.com/evmar/n2 I am especially proud of getting the progress output to be visually smoother. I also added a "-d explain" debug tool. Here's a new demo: https://asciinema.org/a/592924

To put Europe in context for this American, I find it helpful to compare European countries to US states. Pick a state or a country and this will display its comparable match across the Atlantic. https://evmar.github.io/states/

To post to bluesky from the command line: 1) Install 'gosky' from https://github.com/bluesky-social/indigo (I did `go build ./cmd/gosky`, but maybe 'go get' it.) 2) Create an app password via bsky settings UI 3) ./gosky createSession neugierig.org $pass > bsky.auth 4) ./gosky post "$(cat post)"

New blog post: retrowin32: async, DLL loading, tracing execution, and Zig Async Rust, and debugging DLL loading by writing a Windows debugger in Zig. https://neugierig.org/software/blog/2023/05/retrowin32-async-dll-tracing-zig.html [This was posted using the bluesky API, so convenient!]