I'm confident this is human.

Far from being motivated by some applications, the most useful discoveries in mathematics are usually discovered "for their own sake" and their application is only discovered later. Sometimes centuries later!

The fact that the derivative of this accumulator function is equal to the original function, this is the fundamental theorem of calculus, and I violently agree with you that this part is shockingly, unexpectedly beautiful

A "draft" is a row in a database with live preview. Users can click a button to make a checkpoint (git commit, by GitHub API, but they don't know that). When they click "publish", the PR for their draft is merged.

Writers in my team can use a nice Tiptap editor with custom components. I get the change management of git.

The API for reading content and editing drafts is also exposed over MCP meaning AI can collaborate in the authoring process from anywhere that can connect to MCP.

Loving it so far.

I just don't think "instant feedback" is as important as we think in mathematics education, and might even rob us of moments to practice mathematical behaviours like justifying, communicating and accommodating. Slow feedback does have benefits.

I am a tech enthusiast to put it mildly. I also taught maths in schools from roughly 2010 to 2020 so saw the iPad/app revolution in my classrooms. Anecdotally, I think it made my lessons and my students worse. Books, paper and each other are the best tools (in my very personal opinion).

Also, I sometimes find a sort of Streisand effect: when you tell the LLM to avoid something is starts doing it more. Like, if you say "don't use delve" it contains the words "use delve" which, amongst a larger context, seems to get picked up.

I have more success telling the LLM to write in the style of a particular author I like. It seems to activate different linguistic patterns and feel less generic.

Then, I make an "editor agent" comb through, looking for tropes and rewording them. Their sole focus is eliminating the tropes, which seems to work better.

One thing LLMs don't have is taste. That's on me.

Kindly, I think this is where you went wrong

Politics and ideology are not off topic, provided the subject matter is of interest, or "gratifying", to colleagues in the tech/start-up space.

What's important is that we don't use rhetoric, bad faith or argumentation to force our views on others. But expressing our opinions about how policy affects technology and vice versa has always been welcome, in my observation.

So, what do you think about the US government's decision, and why?

More to your point, to get from 6,000 back up to 10,000 requires a 67% increase in productivity on the remaining 6,000!