Agreed! I've always been interested in the field of mathematics, only to be let down by my lack of ability to comprehend it. I can usually follow an article up until the point that it starts using formulae.

I love this approachable prose.

If anyone is aware of any other "mathematics for people who don't know mathematics" resources I'd greatly appreciate any links.

OK this is probably not quite what you meant but I'll shoot: I highly recommend Terence Tao's Analysis textbook (which now also has a Lean counterpart on GitHub). You can skip Chapter 1 (it sets up the motivation but I couldn't answer most questions, which is part of the point). From Chapter 2, it builds up in a somewhat "dry" but actually very accessible and methodical way. It is "mathematical" but it is "for people who don't know mathematics" in the sense that it forces you to build the entire mathematics from scratch, including proving things like `a + b = b + a` as exercises. This is actually how I got into proofs in the first place, with later picking up Lean by doing Natural Number Game.

Since you respect Terence Tao, but not the general population of mathematicians, maybe you’ll read his blog posts which describe the ways your actions are detrimental to human striving.

I’ve replied to this here: https://news.ycombinator.com/item?id=49762433

You did not.

Edit I apologize to Dan Abramov for venting my frustrations about things outside of either of our control and unfairly using him as a punching bag. He seems to be an intelligent person and I hope he continues learning mathematics using whatever tools he sees fit, including AI. It was wrong of me to do this and I will take a break from this website for one week.

Thanks, I'll have a read

We're all in our own filter bubble my friend, there is no the news any more

I too am using GLM-5.3-flash in Pi and I've yet to encounter a scenario it couldn't handle. And the pricing is just incredible, I've handed it a previously unseen codebase, asked it to analyse it and build a new feature, came back after it had done so and the API cost was a fraction of a cent. It's $0.5/1M output tokens on OpenRouter.

If I really need to, I can escalate a task to Opus at $25/1M, and the results are good, but not 5000% as good.

Indeed! It's ludicrous how much I can still squeze out of a 9USD/month lite sub with Z.ai, it's beyond me how these US LLM providers are still managing to keep their evaluations so high... they seem to have the highest prices for the poorest UX, e.g. security gates which don't seem to benefit anyone (see HuggingFace falling back to GLM-5.x for troubleshooting OpenAI attack), less visibility in the name of anti-distillation protectionism, no harness use flexibility to protect their walled garden, etc.

Yeah, I've worked in risk management and if a company said "what we're doing has a 10% chance of killing lots of people" it'd get shut down so fast it'd make your head spin

I've been awake through enough history classes to know what happens when people get pushed too far

It probably won't, too many people just go down the default path with any app, however as an individual it would be nice to have a way to curate my feed

I justify it to myself by saying that even if I'm arguing with a bot, I want to have a counterargument posted for the benefit of the people who are reading the comments

I've been very impressed with GLM 5.3 Flash's performance even without considering cost, but once you factor that in, it's incomparable. Not surprised to see its position on the chart.

You know what they say, what goes up must continue to go up forever

The problem with outsourcing your gorilla marketing is that it can cost big bananas with a hard to quantify return

I remember talking to a person who worked in marketing Kingsford, which at the time had like over 90% of the marketshare for USA charcoal. They had a marketing budget that was willing to spend money on any ol' stupid idea because they had already won & just wanted to stay on top by getting their name out there.

Guerilla marketing, but never mind, worth it for the bananas joke.

The original comment had the typo.

It not the bananas joke.