frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Preprint: A mathematically rigorous proof of the ABC Conjecture with AI review

https://zenodo.org/records/16746726
2•GhostDrift•16h ago

Comments

GhostDrift•16h ago
This proof is constructed within a new formalism (Ghost Drift Theory) that reframes the ABC Conjecture via semantic energy functions, log-prime vector maps, and contradiction-based reasoning.

It's been independently reviewed by Gemini, Copilot, and GPT-4o. — all confirming the proof's mathematical rigor within their respective formal limits.

Preprint: https://zenodo.org/record/16746726 Press release: https://medium.com/@hide.pollini.kenkou/press-release-a-math...

gus_massa•13h ago
AI are still not good enough to detect errors in very complicated proof.

Dear CEO: A Love Letter to Your AI Revolution

https://medium.com/@adrianbooth/dear-ceo-a-love-letter-to-your-ai-revolution-e1684bd2c5a8
1•adrianbooth17•57s ago•0 comments

Which jobs can be replaced with AI?

https://pluralistic.net/2025/08/06/unmerchantable-substitute-goods/#customer-disservice
1•almost-exactly•2m ago•0 comments

Zig-Error-Patterns

https://glfmn.io/posts/zig-error-patterns/
2•Bogdanp•3m ago•0 comments

Human First AI

https://ente.io/blog/human-first-ai/
1•Brog_io•4m ago•0 comments

Show HN: I built a plugin to create a ChatGPT archive with Typemill CMS

https://typemill.net/news/build-your-private-chatgpt-archive
1•trendschau•7m ago•0 comments

Show HN: I open-sourced my framework for debugging sourdough

https://github.com/hendricius/the-sourdough-framework
2•hendricius•8m ago•0 comments

Show HN: Built an Agentic Gaming PC Builder

https://github.com/runagent-dev/runagent
1•Radeen1•9m ago•0 comments

Where's That Shared Library

https://narang99.github.io/2025-07-28-linker-search/
2•thunderbong•10m ago•0 comments

Trump raises India tariffs to 50% over Russian oil purchases

https://www.cnbc.com/2025/08/06/trump-trade-india-tariffs-russia.html
6•kamaraju•11m ago•1 comments

The Most Mysterious Cells in Our Bodies Don't Belong to Us

https://www.theatlantic.com/science/archive/2024/01/fetal-maternal-cells-microchimerism/676996/
3•georgecmu•12m ago•0 comments

The GitHub Copilot Chat extension is now open source

https://code.visualstudio.com/blogs/2025/06/30/openSourceAIEditorFirstMilestone
1•jaflo•15m ago•0 comments

Is multiculturalism as American as Apple pie?

https://anthrosource.onlinelibrary.wiley.com/doi/10.1111/etho.70018
1•PaulHoule•16m ago•0 comments

Houston, you've got a space shuttle only NASA won't say which one

https://arstechnica.com/space/2025/08/houston-youve-got-a-space-shuttle-only-nasa-wont-say-which-one/
2•LorenDB•16m ago•0 comments

Show HN: I Built an Extension That Writes Emails in Seconds Using Gemini 2.5 Pro

https://chromewebstore.google.com/detail/email-draft-accelerator/gekhjogflifbelhfnhgogmmgdomhbfaj
1•AppMaestro•16m ago•0 comments

A Silver Crown

https://www.thenation.com/article/culture/the-cold-and-forbidding-worlds-of-cynthia-ozick/
2•petethomas•17m ago•0 comments

Gemini Hijacked with a Poisoned Calendar Invite; Takes over a Smart Devices

https://www.wired.com/story/google-gemini-calendar-invite-hijack-smart-home/
3•60hzrider•18m ago•1 comments

Claudebox – Claude Code Sandbox for Mac

https://greitas-kodas.github.io/claudebox/
1•dotpot•19m ago•0 comments

A Guide to Developing for Meta Quest on Mac

https://spin.atomicobject.com/developing-meta-quest-mac/
2•philk10•20m ago•0 comments

US tariff on India zooms to 50% as Trump piles on 25% additional duty

https://indianexpress.com/article/world/trump-india-25-percent-additional-tariff-10173917/
6•akbarnama•21m ago•0 comments

When Decision Discipline Shapes the Business

https://whybyproduct.substack.com/p/decision-discipline-that-shapes-business
2•mooreds•21m ago•0 comments

Burnout – Try 1

https://marcusblankenship.substack.com/p/on-burnout-try-1
2•mooreds•22m ago•0 comments

Developers reluctant to use AI: 2025 Stack Overflow Developer Survey results

https://stackoverflow.blog/2025/07/29/developers-remain-willing-but-reluctant-to-use-ai-the-2025-developer-survey-results-are-here/
1•gortok•23m ago•0 comments

Book Review: Hear That Lonesome Whistle Blow (2004)

https://www.mooreds.com/wordpress/archives/85
2•mooreds•23m ago•0 comments

New method is the fastest way to find the best routes

https://www.quantamagazine.org/new-method-is-the-fastest-way-to-find-the-best-routes-20250806/
9•baruchel•23m ago•0 comments

Crystal: Claude Code Needs an Agent Management Platform, Not an IDE

https://github.com/stravu/crystal
3•jbentley1•25m ago•1 comments

Kaggle Game Arena

https://www.kaggle.com/blog/introducing-game-arena
1•simonpure•26m ago•1 comments

Handy – Open-Source and Cross-Platform Superwhisper Alternative

https://handy.computer/
1•sipjca•30m ago•0 comments

How Potatoes Evolved

https://www.nhm.ac.uk/discover/news/2025/july/we-finally-solved-the-mystery-of-how-potatoes-evolved.html
3•gmays•30m ago•0 comments

Dotfiles feel too intimate and personal to share

https://hamatti.org/posts/dotfiles-feel-too-intimate-and-personal-to-share/
24•speckx•30m ago•11 comments

'My teeth told me': What it was like aboard the Enola Gay

https://www.washingtonpost.com/opinions/2025/08/06/hiroshima-oral-history/
3•voxleone•31m ago•0 comments