HNHacker News
TopNewBestAskShowJobs

mkprc

38 karma · joined February 8, 2026

mkprc.xyz
submissionscomments
mkprc··on Google's AI Push into Schools: 'It Slowed My Thinking Down'
This article features a few students, kids, who seem cognizant of what AI is doing to their thinking. They're aware of the temptation of cognitive surrender and the risk of cognitive. I worry about the kids who have no idea what their reliance on AI as a crutch has done to their ability to think, like I worry about the kids who have no idea how "scrolling" has nerfed their attention. (There's a big overlap between these two groups too). Like, some kids have no frame of reference for "normal" or "average" cognitive performance since so many of their peers are affected too, and pretty often too so are their parents.
mkprc··on Google's AI Push into Schools: 'It Slowed My Thinking Down'
https://archive.ph/Uk7PZ
mkprc··on OpenAI forms math advisory group as its AI resolves more than 100 open problems
> True to its name, OpenAI’s new group will mostly serve in an advisory capacity, assessing the significance of new results and coordinating their release. While members won’t be paid, they can offer unsolicited advice, go public with their views, and control their own membership, giving them a measure of independence from the company. However, the group won’t be given leeway to slow down or redirect OpenAI’s ongoing mathematical research.

Incredible

mkprc··on Why I send my kid to low-income urban public schools
Here' a link to the article this one is responding to: https://archive.ph/lPtBr

The original article is excellent, and this one appears to be urging folks to stop having such basic reactions to the original. I think the appeal of the original is that the daughter is now 16(?) and has opinions on her parents' decisions in her schooling. She makes good points, but she's also a teenager and the grass is always greener … nuance.

mkprc··on Perhaps I Got Lucky Never Learning Math
This is an interesting post.

Teachers are often asked "why do I have to learn [this] when my calculator can do it?" or "why should I memorize [this] when I can just look it up online?" and now "why should I learn to reason through [this] if an LLM can just do it?". To respond to these questions some math teachers think quite hard about the purpose of learning mathematics (some just have a canned response). The consensus answer is something like: the topics themselves don't matter too much, but they serve as an instrument of becoming better at thinking logically, and becoming quantitatively savvy. Most students are not savvy. The author of this post appears to be an exception, probably becoming savvy as a child from all the unstructured activities they did while being home-schooled.

> What did I do with my time instead? … I took apart old computers and pieced them together to try and build something strong enough to emulate Super Smash Bros on the PC, and voraciously read vintage young adult fiction like Tom Swift or G.A. Henty novels.

> … if I ask my calculator the square root of 231, I also have no easy way to evaluate the output. I can sort of guess (10×10 is 100, 20×20 is 400, 15×15 is somewhere in the middle, so if the answer is 15-ish it's probably right), but I can also sort of guess at LLM outputs.

The standard mathematics education machine has no idea what to do with a student who is already savvy, capable of critically interpreting what the calculator/internet/LLM reports to them.

For the author, and for any other savvy folks, LLMs are a great new tool. I worry about everyone else who because they are not savvy, when they ask "why should I learn to reason through [this] if an LLM can just do it?" are quite happy to cognitively surrender to the tool, deferring their critical thought to the LLM, making it a crutch they now happily rely on.

mkprc··on A misalignment of AI in mathematics
Baader–Meinhof phenomenon:

Baudelaire popped up in this article two days ago.

https://www.noemamag.com/a-new-kind-of-creative-poverty/

mkprc··on Retune FM – Your receiver's radio, back on air
This looks really cool at first, a great "use of the internet" for anyone with one of these old receivers. But I want to vibe check with HN.

Ambient notes: The site design is clearly AI-assisted. I couldn't find a human name associated with the site anywhere, just references to a "hobbyist", which is maybe fine if the creator values their anonymity. The Donate page requests crypto, no card payment. It's listed as free, but "After 90 days your receiver may show a 6-character code. Enter it here to check status" … why? What's the point of this? And for folks with a receiver that doesn't support a custom DNS, the landing page suggests they change their home network's DNS server to this one, which seems like a terrible idea.

mkprc··on Mathematical Discourse
Terry Tao is on the board of scientific advisors and posted about this a couple days ago:

https://terrytao.wordpress.com/2026/08/22/mathematical-disco...

mkprc··on Mathematical Discourse
I'm not optimistic at the staying-power of this initiative. There've been a few things like it before, like a journal dedicated to asking authors to submit more informal "ELI5" versions of their popular papers for broader appeal. But the incentive structures in academia continue to favor only "original research". Just like expository papers aren't valued by hiring committees, grant reviewers, etc, submissions to this journal won't be valued.
mkprc··on How Big Tech Captured American Schools
https://archive.ph/ckPEg
mkprc··on The Generative AI Learning Penalty: Evidence from Chinese Secondary Education
Also posted here, with little discussion

https://news.ycombinator.com/item?id=49366811

mkprc··on Simplifying and Refactoring Introductory Calculus (2018)
Calculus by James Stewart, Daniel Clegg, and Saleem Watson

https://www.stewartcalculus.com

mkprc··on To Improve Student Mental Health, University of Michigan Eases Grading
Previous discussion, still active

https://news.ycombinator.com/item?id=49260250

mkprc··on The AI takeover of mathematics has begun
https://archive.ph/ecMAU
mkprc··on Sea Lion Radio brings Seattle's barks, bleats and yaps to the world
Here's the radio station website: https://www.sealionradio.org

Under the site's FAQ for “Is this a livestream?”

> Not yet, maybe someday. You’re listening to a set of field recordings I made in the spring of 2026. There are close to four hours of recordings, taken from various locations at Shilshole Marina over a few weeks. You could listen for quite a long time and never hear the same thing twice. I’ll keep adding recordings as conditions allow.

mkprc··on Enshittification Relies on Broken Economic Math
Previous discussion:

https://news.ycombinator.com/item?id=49101040

mkprc··on Explicit Instruction Works. Education Schools Just Won't Admit It
"Works" means "results in better average scores on exams". A fine thing, but it seems like every take I here on explicit instruction versus inquiry-based learning is so basic, these days from teachers who are rediscovering the effectiveness of just telling their students things explicitly after years of trying to shoehorn every lesson into an inquiry-based structure
mkprc··on The Miasma Theory of Education
For readers not working in academia, this essay and it's prequel provide a window into one aspect of the bureaucractic nightmare currently underlying US higher education.
mkprc··on Enshittification Relies on Broken Economic Math
I'm surprised company reputation, as a metric, doesn't come up more often in discussions of enshittification. This post is spot on, but the author only focuses on the negative externalities that profit-maximization imposes on the public. Every act of enshittification also impacts an organization's reputation. What if we were to make up some measurement for reputation and convince organizations to optimize for some combination of their reputation and profits?
mkprc··on CO, FL, GA schools testing pepper-spraying Mithril drones to stop shooters
Previous discussion:

https://news.ycombinator.com/item?id=49091153s

mkprc··on The Canvas Breach Exposed the Risk of One-Platform Education
The final section of this offer only general "Universities should..." advice — nothing concrete. I worry that the major barrier to addressing this issue is the technical competence of teachers and faculty. Course materials could just be hosted publically, plain html or pdf files in most cases, and linked to from the LMS to appease the admin, but educators don't know how to do this.
mkprc··on The Canvas Breach Exposed the Risk of One-Platform Education
Did anyone else, at the beginning of a new term at university, download local copies of all the course materials from the course LMS page?
mkprc··on NSF partners with universities and industry on pilot 4-year PhD programs
Isn't this surrogation of university degrees for worthiness of employment getting absurd? A PhD holder is supposed to be on the frontier of some domain of knowledge. As human knowledge expands, it should be taking students longer to earn a PhD. But the insistence of employers on hiring only PhDs for certain roles incentivises this acceleration of PhD programs that undermine their original purpose. Three-year Bachelor's degrees are becoming more common for the same reason.
mkprc··on New Fields medalist, Jacob Tsimerman, leaving research math to work at OpenAI
Jacob Tsimerman appears to be very thoughtful about AI's impact on research mathematics. The headline though serves as a bad omen for academia.
mkprc··on Can Math as We Know It Survive AI?
The article doesn't attempt to answer the question in the title, but instead, more journalistically, quotes some mathematicians discussing the topic.

I think what bothers me when asking "Can _Math_ as We Know It Survive AI?" is the lack of distinction between Math as a topic of study and intellectual pursuit, and Math as an academic industry focused on publishing papers and garnering citations and pushing the frontier of knowledge.

mkprc··on Can Math as We Know It Survive AI?
I wish it were clear that someone wrote this article. It's posted under the Aventine [1] substack which is maintained by Danielle Mattoon, but did she write it?

[1]: https://www.aventine.org/about/

mkprc··on Proofdesk – Collaborative Web IDE and Sandbox for Math Textbooks
A vibe-coded PreTeXt editor webapp. Okay. GitHub link at the bottom 404s, but presumably intends to link here: https://github.com/harsharajkumar-273/Proofdesk
mkprc··on Principia Artificialis – Mathematical Foundations of Artificial Thought
Already posted here

https://news.ycombinator.com/item?id=48945390

mkprc··on Principia Artificialis Open mathematical research program onthe theory of AI
Appears to be crankery
mkprc··on Ask HN: Who gets credits on big math questions solved by LLMs?
The (boring) answer to "who gets the prize?" is whoever the CMI decides gets the prize.

https://www.claymath.org/wp-content/uploads/2022/03/millenni...

Page 1 of 2Next →