Viewing profile — auntienomen

Yeah. In math at least it's clear that you don't know what's going on. In other fields, it's very easy to think you understand without knowing how much you're missing.

Glad to see that Cython got a shout out here. It's not that widely used, but it's a lovely experience. It uses the CPython ABI to drastically reduce the friction of switching betwe…

More generally, don't trust BigCo AI agents with _any_ IP. They have no incentive not to use your IP as training data.

A crucial caveat: basic research investment runs on the same logic as venture capital investment. We know that most mathematical efforts will be worthless. Our experience has lead …

I'd argue that civilization is the story of people finding ways to overcome what they previously had to tolerate.

The problem with prediction markets is fundamentally that they're unregulated. Modern equities and futures markets are highly evolved and rather carefully regulated systems. We've …

ITPs are far older than LLMs in general, sure, but that's a pedantic distraction. What everyone is talking about here (both the comments, and the article) are ITPs enriched with LL…

Exactly this. LLMs really aren't built for discovering new mathematics, especially _interesting_ new mathematics. They're built to try the most obvious patterns. When that works, i…

It's going to have to be a mixture of approaches. Stratospheric injection buys time for more holistic solutions.

There's always some risk of confusing the model with the reality, but yeah, if you have chiral fermions interacting through gauge fields and gravity, the charges have to say satisf…

There does appear to be a deeper reason, but it's really not well understood. Consistent quantum field theories involving chiral fermions (such as the Standard Model) are relativel…

This might be the single best blog post I've ever read, both in terms of content and style. Y'all should read this, and make sure you read to the end. The last paragraph is pricele…

No wonder Gatsby is frequently misunderstood: Most people won't have the experience needed to understand it until they're in their 30s, but we prescribe it for high schoolers year …

There is a good ending to Game of Thrones: evil wins, everyone dies. All the fools who pursued their own interests rather than face an annihilating threat get annihilated. It's rig…

A lot of the time, the definitions peculiar to a subfield of science _don't_ require much or any additional technical background to understand. They're just abbreviations for speci…

On a related note, I've always regarded Python as the best IDE for writing C. :)

The answer is still "No".

If the headline is a question, the answer is "No".

His foundations are still doing good work.

I think at this stage, most mathematicians recognize that formal proof verification is a real and interesting thing. We have extremely prominent mathematicians like Scholze & Tao m…

Agree. In fact, I said the list included both genres in my original comment.

I think there are 2 different series. The "SF Masterworks" seeme to be fans-liked-it, while the "Fantasy Masterworks" is editor favorites.

The Ted Sturgeon of our era.

The genres weren't always as defined and distinct. The early authors and especially the editors who popularized the genre frequently worked in both.

If you like these books -- early classics of the genres -- it's going to be well worth your time to check out Fantasy Masterworks collection ( https://en.wikipedia.org/wiki/Fantasy…