frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Los Alamos Primer

https://blog.szczepan.org/blog/los-alamos-primer/
1•alkyon•55s ago•0 comments

NewASM Virtual Machine

https://github.com/bracesoftware/newasm
1•DEntisT_•3m ago•0 comments

Terminal-Bench 2.0 Leaderboard

https://www.tbench.ai/leaderboard/terminal-bench/2.0
1•tosh•3m ago•0 comments

I vibe coded a BBS bank with a real working ledger

https://mini-ledger.exe.xyz/
1•simonvc•3m ago•1 comments

The Path to Mojo 1.0

https://www.modular.com/blog/the-path-to-mojo-1-0
1•tosh•6m ago•0 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
4•sakanakana00•9m ago•0 comments

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

https://divvyai.app/
3•pieterdy•12m ago•0 comments

Hot Reloading in Rust? Subsecond and Dioxus to the Rescue

https://codethoughts.io/posts/2026-02-07-rust-hot-reloading/
3•Tehnix•12m ago•1 comments

Skim – vibe review your PRs

https://github.com/Haizzz/skim
2•haizzz•14m ago•1 comments

Show HN: Open-source AI assistant for interview reasoning

https://github.com/evinjohnn/natively-cluely-ai-assistant
4•Nive11•14m ago•5 comments

Tech Edge: A Living Playbook for America's Technology Long Game

https://csis-website-prod.s3.amazonaws.com/s3fs-public/2026-01/260120_EST_Tech_Edge_0.pdf?Version...
2•hunglee2•18m ago•0 comments

Golden Cross vs. Death Cross: Crypto Trading Guide

https://chartscout.io/golden-cross-vs-death-cross-crypto-trading-guide
2•chartscout•20m ago•0 comments

Hoot: Scheme on WebAssembly

https://www.spritely.institute/hoot/
3•AlexeyBrin•23m ago•0 comments

What the longevity experts don't tell you

https://machielreyneke.com/blog/longevity-lessons/
2•machielrey•24m ago•1 comments

Monzo wrongly denied refunds to fraud and scam victims

https://www.theguardian.com/money/2026/feb/07/monzo-natwest-hsbc-refunds-fraud-scam-fos-ombudsman
3•tablets•29m ago•1 comments

They were drawn to Korea with dreams of K-pop stardom – but then let down

https://www.bbc.com/news/articles/cvgnq9rwyqno
2•breve•31m ago•0 comments

Show HN: AI-Powered Merchant Intelligence

https://nodee.co
1•jjkirsch•34m ago•0 comments

Bash parallel tasks and error handling

https://github.com/themattrix/bash-concurrent
2•pastage•34m ago•0 comments

Let's compile Quake like it's 1997

https://fabiensanglard.net/compile_like_1997/index.html
2•billiob•35m ago•0 comments

Reverse Engineering Medium.com's Editor: How Copy, Paste, and Images Work

https://app.writtte.com/read/gP0H6W5
2•birdculture•40m ago•0 comments

Go 1.22, SQLite, and Next.js: The "Boring" Back End

https://mohammedeabdelaziz.github.io/articles/go-next-pt-2
1•mohammede•46m ago•0 comments

Laibach the Whistleblowers [video]

https://www.youtube.com/watch?v=c6Mx2mxpaCY
1•KnuthIsGod•47m ago•1 comments

Slop News - The Front Page right now but it's only Slop

https://slop-news.pages.dev/slop-news
1•keepamovin•52m ago•1 comments

Economists vs. Technologists on AI

https://ideasindevelopment.substack.com/p/economists-vs-technologists-on-ai
1•econlmics•54m ago•0 comments

Life at the Edge

https://asadk.com/p/edge
4•tosh•1h ago•0 comments

RISC-V Vector Primer

https://github.com/simplex-micro/riscv-vector-primer/blob/main/index.md
4•oxxoxoxooo•1h ago•1 comments

Show HN: Invoxo – Invoicing with automatic EU VAT for cross-border services

2•InvoxoEU•1h ago•0 comments

A Tale of Two Standards, POSIX and Win32 (2005)

https://www.samba.org/samba/news/articles/low_point/tale_two_stds_os2.html
4•goranmoomin•1h ago•0 comments

Ask HN: Is the Downfall of SaaS Started?

4•throwaw12•1h ago•0 comments

Flirt: The Native Backend

https://blog.buenzli.dev/flirt-native-backend/
3•senekor•1h 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.