It demonstrates the author's point from back in the 1990s so well, but also makes its own biting social commentary on how often authoritative-sounding language gets weaponized by a majority to dismiss and mock that which they fail to understand.

Impressive level of historical continuity. The dryness nearly threw me.

In practice, understanding one's neurotype can provide the foundation necessary towards addressing friction, dealing with environments developed exclusively for a radically different baseline, and getting the support and care necessary to have a reasonable quality of life.

The alternatives often lead to massive dysfunction, especially since it compounds with systemic gaslighting and being told that the hell you're experiencing is normal and that it's a character flaw to have any difficulties or differences.

The satire of ISNT frames the very real negative framing that was already deeply pervasive 28 years ago.

You "instantly losing respect" because an autistic person dares value her own mind when others pathologize is part of the point of why it was posted. The satire wasn't there to seek approval in 1998 in the first place, amazingly.

I get the string substitution focus, and respect what metamath has achieved, but the bridge Lean 4 makes wrt systems programming has left quite an impression.

I wonder how many people mostly see mathlib4 & think that's the one prescribed route (ala Rust) when one of Lean 4's under-documented super powers is the ease with which you can roll your own light-weight low to zero overhead domain-specialized constructs that are also trivial to prove because of the dependent type system.

(Perhaps more for verified functional systems than deep math.)

LLMs are prediction engines: you can move the needle (heavily) on the predictions from lazy to correct by construction, but the defaults even on high end models like Opus are always riddled with shortcuts.

LLMs can produce coherent & safe Rust 1.92, LLMs can produce coherent Zig 0.16, but that's dependent on in context learning & instruction following.

LLMs are usually too busy agreeing to push back on the ideas & details like this.

There used to be 4+ major browser engines. Now there's only two, and Google owns almost complete share & following standards? Google prefers their monoculture.

More diversity in browser engines was a good thing & standards were lovely.

Not everything has to be a slug-fest between #1 & #2.

& personally I'm glad there's Grok & Gemini to keep Anthropic & OpenAI on their toes even more than the competitive band of open weights models already do.

The corporate models tend to be defensive and sound like HR has approved every word of the script. Not a fan.

On the contrary, for a small rust project, I had to clean out 180gb of cargo nonsense from the last ~3 days worth of compiles on a single, narrowly focused topic branch.

The library situation might be funky, but I'm also learning Lean 4 by hand. The tooling & lsp integration is lovely.

A diverse market full of choices keeps it from becoming the browser wars all over again.

Configured it so the 2.5gbe port connects towards the lan where a cheap wifi 7 AP can broadcast the additional signal if anything feel like it needs it. But practically speaking nothing does.

While the openwrt one was a decent experiment, it was far from the only hardware in the price range that had stellar openwrt support before/after it came out. And one thing people seem to forget about with a lot of options (like banana pi options) is that the range & falloff can be terrible. The openwrt two is apparently delayed & going with a different manufacturer.

Openwrt is great if you are willing to customize the software especially. The fact that it can be used as an actual wifi client in a pinch is also a lifesaver.

Long-long term availability is a different problem, but different manufacturers move on.

Saying they in particularare distilled from Anthropic is really [citation needed].

Letting an instruction following llm deep research and iterate has given fantastic results before.

Being able to construct non-trivial Zig 0.16 programs without slowing down for version-hallucinating compilation errors is nice as a random example.