Evan Martin's Avatar

Evan Martin

@neugierig.org

I aim to mostly use this account to announce the blog posts found on my website: https://neugierig.org

156
Followers
28
Following
59
Posts
25.04.2023
Joined
Posts Following

Latest posts by Evan Martin @neugierig.org

On the other hand, over the same time interval the asm dialect to know changed from x86 to ARM, so you're kind of set up to dive back in again.

05.03.2026 04:29 ๐Ÿ‘ 1 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Intellectual history: Revision history - Wikipedia

Also the history of the history of the history of ideas, en.wikipedia.org/w/index.php?...

02.03.2026 02:46 ๐Ÿ‘ 2 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

As I read this I thought of dutch baby. I guess it's already on your chart, but I looked up a random recipe online and it was 3 eggs, 3/4 cup milk, 3/4 flour, almost perfectly within your forbidden region.

24.02.2026 18:29 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Tech Notes: Rethinking errors, warnings, and lints Lessons from working on programming language tooling.

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

09.02.2026 03:51 ๐Ÿ‘ 3 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Tech Notes: The smallest build system

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

neugierig.org/software/blo...

03.02.2026 17:48 ๐Ÿ‘ 3 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Aw man it's so cool you remember this! Someone just mentioned it to me recently and I had forgotten it! What a fun tradition.

19.01.2026 08:52 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

A recent post about ad blocking techniques observed that if you route your browser traffic through aws etc then ad networks think you are bot traffic and suppress their ads.

08.12.2025 15:46 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

pacman (the packaging tool used by Arch Linux) is like this too.

01.12.2025 01:08 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Mostly it appears to just correlate with money, e.g. a school in east Portland/Gresham with a 7% pass rate also has a 60%"kid living in poverty" rate. There are some surprising random high-scoring schools scattered about, mostly magnets or other nontraditional settings.

20.11.2025 17:09 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

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.

20.11.2025 17:08 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Tech Notes: Scaling TypeScript compilation

Nice work! I did some similar work at Google 5 years ago and wrote a post about it:

neugierig.org/software/blo...

Most of it is the same things you covered (cool to see isolatedDeclarations exists now!) but maybe the discussion of globals will be interesting to you.

15.11.2025 19:30 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Why formalize mathematics - more than catching errors Why formalize mathematics - more than catching errors I read a good post by one of the authors of the Isabelle theorem prover, that got me thinking. The author, Lawrence Paulson, observed that most ma...

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

18.10.2025 07:34 ๐Ÿ‘ 3 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Tech Notes: Why not add an option for that?

I expect it probably wouldn't ever help these situations, but I tried to write the canonical "why adding a flag is a bad solution" answer: neugierig.org/software/blo...

18.10.2025 03:17 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

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)

24.09.2025 05:05 ๐Ÿ‘ 40 ๐Ÿ” 8 ๐Ÿ’ฌ 5 ๐Ÿ“Œ 2

I have tried a few, Kiki's Delivery Service worked the best.

For a slightly older kid (like age 4) I think all of them have themes that can be hard. Even in Totoro, the gentlest one, there is a decent amount of plot around the mom being sick.

21.09.2025 19:27 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Tech Notes: Access logging in 2025

New blog post: Access logging in 2025
Looking for humans in the age of bots.

neugierig.org/software/blo...

17.09.2025 02:51 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Tech Notes: Account disasters

New blog post: Account disasters
Logging in is impossible.

neugierig.org/software/blo...

13.09.2025 22:13 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I could have recognized it contextually, but the post doesn't give any context that would have suggested it. In a post about authorization I was expecting acronyms from the auth soup, e.g. SAML/IdP/JWT and so on.

29.08.2025 02:59 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Blog post defines DCR on first use, but uses "MCP" without ever defining it.

26.08.2025 22:10 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

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.

26.08.2025 22:09 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I think the solution is to provide an opt-out for new strictness checks, e.g. something like --allowImplicitAny. This allows the new TS release upgrade instructions to say "keep --strict, but also temporarily --allowWhatever to keep your build working, then remove that once you get a chance".

26.08.2025 21:24 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I wonder what the impact of this is across TS versions. For example, imagine a new project with --strict on that passes all checks. Next, you want to introduce some new check in the next TS version. If the project tries to upgrade, their build now breaks.

26.08.2025 21:22 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Tech Notes: Understanding Jujutsu bookmarks

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

21.08.2025 15:35 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Learning Lean: Part 3 I am continuing to learn Lean (see part 1 and part 2). I lost some steam around March-April, but in the last two months I picked it up again. In a way it was a nice spaced repetition for relearning so...

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

11.08.2025 02:25 ๐Ÿ‘ 14 ๐Ÿ” 3 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 1
Tech Notes: diff --stat for binary files

New blog post: diff --stat for binary files
Contributing a minor feature to Jujutsu.

neugierig.org/software/blo...

09.08.2025 22:47 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
GitHub - buildbarn/go-cdc: Content Defined Chunking playground Content Defined Chunking playground. Contribute to buildbarn/go-cdc development by creating an account on GitHub.

FYI the author of this code assured me he had a better variant of CDC: github.com/buildbarn/go...

29.07.2025 03:17 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

FWIW I had this come up too and I called my insurance to ask if it would be a problem. I imagine it's a FAQ, they answered it easily. (For mine it was "once per calendar year", not 365 days.)

20.07.2025 15:43 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Lobsters

lobste.rs requires posts to be tagged, and there's a setting to filter out posts by tag.

18.07.2025 08:12 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

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.

07.06.2025 19:10 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

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

06.06.2025 02:29 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0