frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

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

https://github.com/valdanylchuk/breezydemo
259•isitcontent•19h ago•28 comments

Show HN: Kappal – CLI to Run Docker Compose YML on Kubernetes for Local Dev

https://github.com/sandys/kappal
14•sandGorgon•2d ago•3 comments

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

https://vecti.com
358•vecti•21h ago•161 comments

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

https://eljojo.github.io/rememory/
330•eljojo•21h ago•201 comments

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

https://github.com/phreda4/r3
79•phreda4•18h ago•14 comments

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

https://docs.smooth.sh/cli/overview
94•antves•2d ago•70 comments

Show HN: MCP App to play backgammon with your LLM

https://github.com/sam-mfb/backgammon-mcp
3•sam256•3h ago•1 comments

Show HN: Slack CLI for Agents

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

Show HN: XAPIs.dev – Twitter API Alternative at 90% Lower Cost

https://xapis.dev
3•nmfccodes•1h ago•1 comments

Show HN: BioTradingArena – Benchmark for LLMs to predict biotech stock movements

https://www.biotradingarena.com/hn
26•dchu17•23h ago•12 comments

Show HN: I'm 75, building an OSS Virtual Protest Protocol for digital activism

https://github.com/voice-of-japan/Virtual-Protest-Protocol/blob/main/README.md
7•sakanakana00•4h ago•1 comments

Show HN: Artifact Keeper – Open-Source Artifactory/Nexus Alternative in Rust

https://github.com/artifact-keeper
153•bsgeraci•1d ago•64 comments

Show HN: I built Divvy to split restaurant bills from a photo

https://divvyai.app/
3•pieterdy•4h ago•1 comments

Show HN: ARM64 Android Dev Kit

https://github.com/denuoweb/ARM64-ADK
17•denuoweb•2d ago•2 comments

Show HN: Gigacode – Use OpenCode's UI with Claude Code/Codex/Amp

https://github.com/rivet-dev/sandbox-agent/tree/main/gigacode
19•NathanFlurry•1d ago•9 comments

Show HN: I Hacked My Family's Meal Planning with an App

https://mealjar.app
2•melvinzammit•6h ago•0 comments

Show HN: I built a free UCP checker – see if AI agents can find your store

https://ucphub.ai/ucp-store-check/
2•vladeta•6h ago•2 comments

Show HN: Compile-Time Vibe Coding

https://github.com/Michael-JB/vibecode
10•michaelchicory•8h ago•3 comments

Show HN: Micropolis/SimCity Clone in Emacs Lisp

https://github.com/vkazanov/elcity
173•vkazanov•2d ago•49 comments

Show HN: Slop News – HN front page now, but it's all slop

https://dosaygo-studio.github.io/hn-front-page-2035/slop-news
17•keepamovin•9h ago•5 comments

Show HN: Daily-updated database of malicious browser extensions

https://github.com/toborrm9/malicious_extension_sentry
14•toborrm9•1d ago•8 comments

Show HN: Falcon's Eye (isometric NetHack) running in the browser via WebAssembly

https://rahuljaguste.github.io/Nethack_Falcons_Eye/
6•rahuljaguste•18h ago•1 comments

Show HN: Horizons – OSS agent execution engine

https://github.com/synth-laboratories/Horizons
23•JoshPurtell•1d ago•5 comments

Show HN: Local task classifier and dispatcher on RTX 3080

https://github.com/resilientworkflowsentinel/resilient-workflow-sentinel
25•Shubham_Amb•1d ago•2 comments

Show HN: Fitspire – a simple 5-minute workout app for busy people (iOS)

https://apps.apple.com/us/app/fitspire-5-minute-workout/id6758784938
2•devavinoth12•12h ago•0 comments

Show HN: I built a RAG engine to search Singaporean laws

https://github.com/adityaprasad-sudo/Explore-Singapore
4•ambitious_potat•12h ago•4 comments

Show HN: Sem – Semantic diffs and patches for Git

https://ataraxy-labs.github.io/sem/
2•rs545837•13h ago•1 comments

Show HN: A password system with no database, no sync, and nothing to breach

https://bastion-enclave.vercel.app
12•KevinChasse•1d ago•16 comments

Show HN: Craftplan – I built my wife a production management tool for her bakery

https://github.com/puemos/craftplan
568•deofoo•5d ago•166 comments

Show HN: GitClaw – An AI assistant that runs in GitHub Actions

https://github.com/SawyerHood/gitclaw
10•sawyerjhood•1d ago•0 comments
Open in hackernews

Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem?

https://www.academia.edu/145639105/Two_Millennium_Prize_Problems_A_Geometric_Framework_for_the_Riemann_Hypothesis_and_Navier_Stokes_Regularity
7•kristintynski•1mo ago
The functional equation ξ(s) = ξ(1-s) identifies σ with 1-σ. Topologically, this turns the critical strip into a torus. The critical line σ = ½ is the throat.

Now treat ξ(s) as a stream function. Its gradient is a velocity field. The flow is automatically:

• Incompressible (ξ is holomorphic → Cauchy-Riemann → ∇·v = 0)

• Symmetric (functional equation → v(σ) = v(1-σ))

THE CONNECTION

    Zeta Function          Fluid Dynamics
    ─────────────          ──────────────
    ξ(s)                   Stream function
    |ξ|²                   Pressure
    Zeros of ξ             Pressure minima (p = 0)
    σ = ½                  Torus throat
THE THEOREM

For symmetric incompressible flow on a torus, pressure minima must lie on the symmetry axis. Interactive: https://cliffordtorusflow.vercel.app/

Why? A symmetric function p(σ) = p(1-σ) can only have a unique minimum at σ = ½.

Zeros are pressure minima → zeros at σ = ½ → Riemann Hypothesis.

NOW FOR NAVIER-STOKES

Beltrami flows (where vorticity ∥ velocity, i.e., ω = λv) have a similar structure. The vortex stretching term—the thing that causes blow-ups—becomes:

    (ω·∇)v = (λv·∇)v = (λ/2)∇|v|²
That's a gradient. Gradients have zero curl: ∇ × (∇f) ≡ 0.

No curl contribution → no vorticity growth → no blow-up.

THE PUNCHLINE

Both problems are: "Given a symmetric structure on a torus, prove things concentrate at the throat."

• RH: Zeros (pressure minima) → throat (σ = ½)

• NS: Flow (enstrophy) → Beltrami manifold (no blow-up)

Same geometry. Same mechanism. Same problem.

Interactive visualization: https://cliffordtorusflow-git-main-kristins-projects-24a742b...

WHAT I VERIFIED

• 40,608+ points with certified interval arithmetic

• 46 rigorous tests pass

• Pressure minima all at σ = 0.500

• Enstrophy bounded (ratio = 1.00)

Repository: https://github.com/ktynski/clifford-torus-rh-ns-proof

Paper (18 pages): https://github.com/ktynski/clifford-torus-rh-ns-proof/blob/m...

Either I've found a deep connection, or I've made an error that connects two unrelated problems in the same wrong way. Both would be interesting.

Comments

kristintynski•1mo ago
Interactive Torus: https://cliffordtorusflow.vercel.app/
bhouston•1mo ago
As someone who knows the Navier-Stokes fairly well ( https://scholar.google.ca/citations?user=--UmWDUAAAAJ&hl=en ) I have to admit I this is completely impenetrable for me. I don't understand why there is a Pressure minima nor a Torus throat on the Fluid Dynamics side of things. Why does it jump to Beltrami flows off of a sudden? I have no clue how to interpret this. Maybe the issue is that I understand Navier-Stokes from an engineering/application standpoint rather than the theoretical side?
jjgreen•1mo ago
If you don't like this proof of the RH, the same author has four others to try: https://independent.academia.edu/KristinTynski
fjfaase•1mo ago
Verifying a limited set of points does not count as a mathematical proof, unless you have some proof that by verifying these points it implies to be true for all points.
kristintynski•1mo ago
The paper/codebase contain more than numerical verification, let me clarify the actual proof structure.

The proof is analytic, with numerical verification as a sanity check: 1. Anchoring lower bound (Hadamard product + zero density): A(s) ≥ c₁ · (σ-½)² · log³(t) Uses only: N(T) ~ (T/2π)log(T) [Riemann-von Mangoldt, unconditional - doesn't assume RH]

2. Curvature upper bound (growth estimates): |K| ≤ c₂ · log²(t) Uses only: Standard bounds on |ζ'/ζ| [Titchmarsh, unconditional]

3. Dominance (algebra): log³(t) >> log²(t), so A dominates |K| asymptotically Therefore E'' = E(K + A) > 0

The numerical verification checks that the argument works in the finite regime (low t) where asymptotic bounds may not apply. It's a sanity check, not the proof. The full circularity audit is in the repo - every dependency traces back to unconditional results (functional equation, zero density, growth estimates), never to RH itself.

fjfaase•1mo ago
There has been a recent number of submissions to wild proofs or theories generated with the help of AI. See [1] and [2] as examples.

According to the LinkedIn page [3] mentioned at the GitHub page, the author has bachelor degree in Communication from Boston College. Either the author is a self-made genius at the level of Ramanujan or has are rather superficial understanding of mathematics and is simply good at prompting the right AI agents.

[1] https://news.ycombinator.com/item?id=46379409

[2] https://news.ycombinator.com/item?id=46430060

[3] https://www.linkedin.com/in/kristintynski/

Retr0id•1mo ago
Or, it's all nonsense AI slop.