Advertisement · 728 × 90

Posts by Evan Martin

George Fairbanks - IEEE Software - The Pragmatic Designer: Testing Numbs Us to Our Loss of Intellectual Control This column was published in IEEE Software, The Pragmatic Designer column, May-June 2020, Vol 37, number 3. ABSTRACT: Software teams need a healthy balance o...

Ryan it just occurred to me you are the perfect audience for one of my favorite insights! georgefairbanks.com/ieee-softwar...

1 week ago 0 0 1 0

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.

1 month ago 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?...

1 month ago 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.

1 month ago 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...

2 months ago 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...

2 months ago 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.

2 months ago 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.

4 months ago 0 0 0 0
Advertisement

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

4 months ago 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.

4 months ago 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.

4 months ago 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.

4 months ago 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...

5 months ago 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...

5 months ago 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)

6 months ago 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.

6 months ago 3 0 0 0
Advertisement
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...

6 months ago 2 0 0 0
Tech Notes: Account disasters

New blog post: Account disasters
Logging in is impossible.

neugierig.org/software/blo...

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

7 months ago 0 0 1 0

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

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

7 months ago 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".

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

7 months ago 0 0 1 0
Advertisement
Tech Notes: Understanding Jujutsu bookmarks

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

7 months ago 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/

8 months ago 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...

8 months ago 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...

8 months ago 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.)

8 months ago 0 0 0 0
Lobsters

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

8 months ago 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.

10 months ago 4 0 0 0