frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

https://openciv3.org/
399•klaussilveira•5h ago•90 comments

The Waymo World Model

https://waymo.com/blog/2026/02/the-waymo-world-model-a-new-frontier-for-autonomous-driving-simula...
755•xnx•10h ago•462 comments

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

https://github.com/valdanylchuk/breezydemo
133•isitcontent•5h ago•14 comments

Monty: A minimal, secure Python interpreter written in Rust for use by AI

https://github.com/pydantic/monty
123•dmpetrov•5h ago•53 comments

Why I Joined OpenAI

https://www.brendangregg.com/blog/2026-02-07/why-i-joined-openai.html
20•SerCe•1h ago•15 comments

Dark Alley Mathematics

https://blog.szczepan.org/blog/three-points/
33•quibono•4d ago•2 comments

Show HN: I spent 4 years building a UI design tool with only the features I use

https://vecti.com
235•vecti•7h ago•114 comments

A century of hair samples proves leaded gas ban worked

https://arstechnica.com/science/2026/02/a-century-of-hair-samples-proves-leaded-gas-ban-worked/
60•jnord•3d ago•3 comments

Microsoft open-sources LiteBox, a security-focused library OS

https://github.com/microsoft/litebox
302•aktau•11h ago•152 comments

Sheldon Brown's Bicycle Technical Info

https://www.sheldonbrown.com/
305•ostacke•11h ago•82 comments

Show HN: If you lose your memory, how to regain access to your computer?

https://eljojo.github.io/rememory/
162•eljojo•8h ago•123 comments

Hackers (1995) Animated Experience

https://hackers-1995.vercel.app/
381•todsacerdoti•13h ago•215 comments

An Update on Heroku

https://www.heroku.com/blog/an-update-on-heroku/
310•lstoll•11h ago•230 comments

Show HN: R3forth, a ColorForth-inspired language with a tiny VM

https://github.com/phreda4/r3
45•phreda4•4h ago•7 comments

I spent 5 years in DevOps – Solutions engineering gave me what I was missing

https://infisical.com/blog/devops-to-solutions-engineering
103•vmatsiiako•10h ago•34 comments

How to effectively write quality code with AI

https://heidenstedt.org/posts/2026/how-to-effectively-write-quality-code-with-ai/
173•i5heu•8h ago•128 comments

Learning from context is harder than we thought

https://hy.tencent.com/research/100025?langVersion=en
139•limoce•3d ago•76 comments

Understanding Neural Network, Visually

https://visualrambling.space/neural-network/
225•surprisetalk•3d ago•30 comments

I now assume that all ads on Apple news are scams

https://kirkville.com/i-now-assume-that-all-ads-on-apple-news-are-scams/
963•cdrnsf•14h ago•413 comments

Introducing the Developer Knowledge API and MCP Server

https://developers.googleblog.com/introducing-the-developer-knowledge-api-and-mcp-server/
10•gfortaine•3h ago•0 comments

FORTH? Really!?

https://rescrv.net/w/2026/02/06/associative
37•rescrv•13h ago•17 comments

PC Floppy Copy Protection: Vault Prolok

https://martypc.blogspot.com/2024/09/pc-floppy-copy-protection-vault-prolok.html
7•kmm•4d ago•0 comments

Evaluating and mitigating the growing risk of LLM-discovered 0-days

https://red.anthropic.com/2026/zero-days/
33•lebovic•1d ago•11 comments

Show HN: Smooth CLI – Token-efficient browser for AI agents

https://docs.smooth.sh/cli/overview
76•antves•1d ago•56 comments

The Oklahoma Architect Who Turned Kitsch into Art

https://www.bloomberg.com/news/features/2026-01-31/oklahoma-architect-bruce-goff-s-wild-home-desi...
17•MarlonPro•3d ago•2 comments

I'm going to cure my girlfriend's brain tumor

https://andrewjrod.substack.com/p/im-going-to-cure-my-girlfriends-brain
31•ray__•2h ago•7 comments

Show HN: Slack CLI for Agents

https://github.com/stablyai/agent-slack
38•nwparker•1d ago•8 comments

Claude Composer

https://www.josh.ing/blog/claude-composer
98•coloneltcb•2d ago•68 comments

Evolution of car door handles over the decades

https://newatlas.com/automotive/evolution-car-door-handle/
38•andsoitis•3d ago•61 comments

Planetary Roller Screws

https://www.humanityslastmachine.com/#planetary-roller-screws
34•everlier•3d ago•6 comments
Open in hackernews

A Spectral-Geometric Proof of the Riemann Hypothesis

https://zenodo.org/records/17508340
18•gku•2mo ago

Comments

chii•2mo ago
Site seems to be hugged to death by HN.
noobermin•2mo ago
zenodo isn't really a site that can be hugged to death, it's not a blog or something.
timdiggerm•2mo ago
I look forward, should this prove correct, to the explainers from Quanta, Numberphile, etc.
hamburgererror•2mo ago
They posted a previous paper on the same topic on vixra earlier this year.
imglorp•2mo ago
I wonder how it could /not/ cite Terry Tao who has recent work on this.
madcaptenor•2mo ago
Is this at least coming from the direction that the experts expect?
HelloNurse•2mo ago
Wrong question, an unreadable "proof" goes nowhere and comes from nowhere.

The painfully staggering density of undefined concepts, novel jargon and informal language in the paper obscures the difference between old ideas, possibly valid new ideas, and worthless AI slop and insanity.

Enginerrrd•2mo ago
Don't get excited.

The author also claims to have proved the twin prime conjecture. https://figshare.com/articles/dataset/The_Twin_Prime_Conject...

They don't seem to be affiliated with any university and don't seem to collaborate with anyone except this one person, Andrew Elliot.

My assessment of the probability that this is a real proof: Less than 0.1%.

noobermin•2mo ago
Is there any real expert opinion on this? The abstract itself reads rather dense.

That said, if there's any field that "independent researchers" can excel, it should be math, it's not like you need an experimental group to crib off on.

HelloNurse•2mo ago

  >  Each appendix isolates and resolves one of the classical obstacles to a self-contained Hilbert–Pólya formulation—self-adjointness, trace-class bounds, Paley–Wiener confinement, Weyl normalization, and uniqueness of the arithmetic weights.
Given the nature of the problem and the unsolicited mention of a "confinement manifold" earlier in the abstract, this summary gives very strong vibes of "My corral has six well closed gates, why do you keep asking about the fence?". This is in addition to not trusting complex and unclear proofs.
getnormality•2mo ago
Other red (or at least yellow) flags:

1. Typeset in (what appears to be) Microsoft Word. Anyone under the age of 90 who knows enough math to prove the Riemann Hypothesis will have learned and strongly prefer LaTeX.

2. Casually introduces novel terminology like "entropy-spiral coordinate" without explanation, inconsistent with norms of mathematical exposition.

3. Social absurdities characteristic of crankery. Nobody with enough knowledge to prove the Riemann hypothesis thinks they need to put "rights holder" after their name in the proof.

jjgreen•2mo ago
Riemann, twin-primes and a united theory of physics in one year; busy couple. Amusing comment on the latter:

Comments: 335 Pages. (Note by viXra Admin: File size reduced by viXra Admin; please submit article written with AI assistance to ai.viXra.org)

https://figshare.com/articles/dataset/Structured_Determinism...

noobermin•2mo ago
Alright, while it's hard to judge this either way, why does this need to be flagged? This isn't really spam.
hamburgererror•2mo ago
This is garbage maths. There are so many reflags on this, as pointed out by several people already.

For whatever reason they posted their paper on zenodo but it belongs to vixra, if they had posted it there you would have never heard of it.

getnormality•2mo ago
I'm pretty sure it's nonsense, but it does make me curious. What kind of mind goes down this path? They also produced a whole 300 page book. Is it like a massive genAI hallucination happening in a human brain?

If you dip into the book, it looks like something today's generation of "deep thinking" AI models might produce if demanded to create a proof of the Riemann hypothesis.