frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Joel David Hamkins declares AI Models useless for solving math. Here's why

https://economictimes.indiatimes.com/news/new-updates/basically-zero-garbage-renowned-mathematician-joel-david-hamkins-declares-ai-models-useless-for-solving-math-heres-why/articleshow/126365871.cms?from=mdr
2•madihaa•13h ago

Comments

qubex•13h ago
Not exactly the same thing, but I tried to use two AI models (ChatGPT 5.2 and the latest Gemini) to serve as ersatz Referees for an applied mathematics paper I am planning to publish, and it was an exercise in pointless, frustrating disaster. Suggested extensions that made no sense, requests for intermediate steps that then they couldn’t make any sense of, suggestions to introduce lemmas and remarks that were nonsensical, all the way to recommendations to state that I had proved the exact opposite of what I actually had proved. Never again.

2. Title: Show HN: First Modern Nvidia Driver for IBM POWER8 via OCuLink

https://github.com/Scottcjn/nvidia-power8-patches
1•AutoJanitor•3m ago•0 comments

Show HN: A Base44-style builder for data workflows (DuckDB-powered)

https://www.gptbeyond.com/try
1•vibecoding101•6m ago•0 comments

An mRNA Shot Turned Back the Clock in Mice

https://singularityhub.com/2026/01/08/aging-weakens-immunity-an-mrna-shot-turned-back-the-clock-i...
1•WaitWaitWha•7m ago•0 comments

It's Your Job to Keep Your Secrets

https://www.overcomingbias.com/p/its-your-job-to-keep-your-secrets
1•paulpauper•9m ago•0 comments

The Permanent Emergency

https://www.astralcodexten.com/p/the-permanent-emergency
1•paulpauper•9m ago•0 comments

How I Learned to Love Reading

https://www.honest-broker.com/p/how-i-learned-to-love-reading
1•paulpauper•10m ago•0 comments

MIT Whirlwind I: A High-Speed Electronic Digital Computer (1951)

https://dome.mit.edu/bitstream/handle/1721.3/40245/MC665_r12_R-209.pdf?sequence=1&isAllowed=y
1•stmw•16m ago•1 comments

Freelance Contract Management Software

https://www.plotform.cc/
1•abdullah9•17m ago•0 comments

Gut bacteria may drive bipolar depression by influencing brain connectivity

https://medicalxpress.com/news/2025-12-gut-bacteria-play-role-bipolar.html
1•PaulHoule•18m ago•0 comments

Using AI, Mathematicians Find Hidden Glitches in Fluid Equations

https://www.quantamagazine.org/using-ai-mathematicians-find-hidden-glitches-in-fluid-equations-20...
1•pseudolus•19m ago•0 comments

Bytelocker Emacs Port

https://github.com/abaj8494/bytelocker.el
1•br1ttle•19m ago•1 comments

X Sues Music Publishers over "Weaponized" DMCA Takedown Conspiracy

https://torrentfreak.com/x-sues-music-publishers-over-weaponized-dmca-takedown-conspiracy/
3•gslin•20m ago•0 comments

The ethics of wanting someone who is taken

https://docs.google.com/forms/d/e/1FAIpQLSc2V2YQc0RssBA_4j2Gh0Pb4AT8cdHtPP3sOatGg9Ide0uvjg/viewfo...
1•tavro•25m ago•1 comments

Maine's black market for baby eels is spawning a crime-thriller subgenre

https://www.pressherald.com/2025/09/09/maines-black-market-for-baby-eels-is-spawning-a-crime-thri...
2•noleary•26m ago•1 comments

USDA suspends federal financial awards to Minnesota and Minneapolis

https://turnto10.com/news/nation-world/enough-is-enough-usda-suspends-federal-financial-awards-to...
4•blurbleblurble•32m ago•3 comments

Show HN: I built a Postgres GUI in Swift because existing tools felt bloated

https://postgresgui.com
1•fikrigha•36m ago•0 comments

Scaffold – Add AI features to any site, no API keys or back end

https://www.scaffoldtool.com/
1•niqhtcrawler•39m ago•1 comments

Rust Is Perfectly Imperfect

http://0x80.pl/notesen/2026-01-08-imperfect-rust.html
1•orlp•50m ago•1 comments

AI Won't Kill Open Source – It Will Amplify It

https://petabridge.com/blog/ai-wont-kill-open-source/
1•Aaronontheweb•51m ago•0 comments

Show HN: Build your own Atlas/Comet AI-browser (open source)

https://github.com/tomkit/chromium-my-assistant
1•tomkit•53m ago•0 comments

Americans Do Not Need a Left or Right Revolution

https://www.grumpychineseguy.com/p/americans-do-not-need-a-left-or-right
3•metadope•57m ago•3 comments

AI as the Engine of Application State

https://jonwoodlief.com/ai-app-state.html
1•jonfw•57m ago•0 comments

Show HN: A Constitutional Framework for Ethical AI Decision-Making

https://github.com/SebastFock/Sovereign-Engagement
1•StrategicEthos•58m ago•0 comments

Show HN: Ollie – Glass-box AI code editor with local models and no subscription

https://costa-and-associates.com/ollie
1•lcmeyer•59m ago•1 comments

Show HN: 0list – Self-hosted waitlist on Cloudflare Workers (free tier)

https://0list.d4mr.com/
2•d4mr•1h ago•0 comments

The Code-Only Agent

https://rijnard.com/blog/the-code-only-agent
1•emersonmacro•1h ago•0 comments

Ask HN: Have CES keynotes been especially bad this year?

1•Fr0styMatt88•1h ago•0 comments

Djot – A light markup language

https://github.com/jgm/djot
1•Svetlitski•1h ago•0 comments

Hochul and Mamdani Announce Plan to Make N.Y. Child Care Universal

https://www.nytimes.com/2026/01/08/nyregion/mamdani-hochul-child-care.html
6•toomuchtodo•1h ago•2 comments

Ask HN: Have AI tools like agents affected your motivation at work?

5•SpicyNoodle•1h ago•1 comments