frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

High-tech Chinese cars pop up in California thanks to legal loophole

https://nypost.com/2026/04/29/us-news/high-tech-chinese-cars-pop-up-in-california/
2•harambae•2m ago•0 comments

CS 153: Frontier Systems – Stanford University

https://cs153.stanford.edu
1•vismit2000•6m ago•0 comments

The Irreducible Skill

https://www.vinniefalco.com/p/the-irreducible-skill
1•ibobev•7m ago•0 comments

Windows API Is Successful Cross-Platform API

https://retrocoding.net/windows-api-is-successful-cross-platform-api
2•phendrenad2•10m ago•0 comments

After Mythos, Nobody Is Safe from Cybersecurity Threats

https://www.nytimes.com/2026/04/28/opinion/cybersecurity-mythos.html
1•furcyd•12m ago•0 comments

Postfix 1998, Dovecot 2002, Roundcube 2008: Why Email Stack Frozen 25 Years?

1•panelica•14m ago•0 comments

Fun, open-source AI transparency project

https://github.com/realalonw/agent-receipts
1•walon•19m ago•1 comments

AI, Intimacy, and the Data You Never Meant to Share

https://fshot.org/techzone/the-algorithm-knows.php
1•victorkulla•21m ago•0 comments

What the Benchmark Cannot See

https://exoskeleton.ghost.io/what-the-benchmark-cannot-see/
1•pdoomzero•21m ago•0 comments

Open Source Does Not Imply Open Community

https://blog.feld.me/posts/2026/04/open-source-does-not-imply-open-community/
4•RohanAdwankar•27m ago•0 comments

Elon Musk gets an apology from California regulators as a SpaceX lawsuit settled

https://apnews.com/article/california-coastal-commission-spacex-elon-musk-33065c34cc0555faa91ca25...
3•db48x•32m ago•4 comments

Prompt Engineering Is Permanent

https://yiblet.com/posts/prompt-engineering-is-permanent/
2•syiblet•34m ago•0 comments

Year of the Linux Laptop: Omarchy on XPS

https://www.dell.com/en-us/blog/year-of-the-linux-laptop-omarchy-on-xps/
1•evanjrowley•35m ago•0 comments

A PQC Almanac (2025) [pdf]

https://downloads.bouncycastle.org/java/docs/PQC-Almanac.pdf
1•mooreds•38m ago•0 comments

Dr. Jordan B. Peterson's 10 Step Guide to Clearer Thinking Through Essay Writing

https://medium.com/practicecomesfirst/dr-jordan-b-petersons-10-step-guide-to-clearer-thinking-thr...
1•eigenBasis•39m ago•0 comments

Comparing the best open source TranslateGemma projects

https://metalglot.com/blog/open-source-translategemma-comparison/
1•metalglot•42m ago•0 comments

The AI workflow I use to build apps

https://juanmanuelalloron.com/post/my-current-ai-workflow-for-building-apps/
1•juan_allo•49m ago•0 comments

Show HN: Pantheon – A Path 1 PlayStation 2 game engine (VU1 / EE / DMA)

https://github.com/94BILLY/PANTHEON
1•94BILLY•49m ago•0 comments

Can a Hand‑Built EV Change Mobility in East Africa? [video]

https://www.youtube.com/watch?v=gh4N_UNyKgk
1•thelastgallon•50m ago•0 comments

Farewell, Jeeves: Ask.com shuts down

https://techcrunch.com/2026/05/02/farewell-jeeves-ask-com-shuts-down/
2•mikece•50m ago•0 comments

Original Apollo 11 code open-sourced by NASA

https://www.tomshardware.com/software/original-apollo-11-code-open-sourced-by-nasa-original-comma...
1•ohjeez•51m ago•0 comments

Too Dark? Too Bright? Scientists Need Your Help to Make Reading Easier

https://news.ncsu.edu/2026/04/citizen-science-reading-project/
1•ohjeez•54m ago•0 comments

Intelligence Buying Intelligence

https://stevekrouse.com/intelligence
1•azhenley•55m ago•0 comments

Running Shoes Have Evolved – From Ancient Greece to Record-Breaking Marathons

https://www.nytimes.com/2026/05/01/sports/running-shoe-history-adidas-sneakers-london-marathon.html
1•y1n0•1h ago•0 comments

Why do crabs walk sideways? Scientists trace it back 200M years

https://www.sciencedaily.com/releases/2026/05/260501052844.htm
2•y1n0•1h ago•0 comments

US Navy signs deal with AI firm for training underwater drones

https://www.tomshardware.com/tech-industry/artificial-intelligence/us-navy-signs-deal-with-ai-fir...
1•y1n0•1h ago•0 comments

New Netflix documentary reexamines Winnie Mandela's divisive legacy

https://www.npr.org/2026/05/02/nx-s1-5800681/netflix-winnie-mandela
1•andsoitis•1h ago•0 comments

Reaching for the stars: enduring symbols of Soviet science in pictures

https://www.theguardian.com/artanddesign/gallery/2026/may/03/symbols-of-soviet-science-in-pictures
1•andsoitis•1h ago•0 comments

I touched a ZX Spectrum for the first time in decades

https://www.theguardian.com/games/2026/may/01/zx-spectrum-retro-games-dominik-diamond
1•andsoitis•1h ago•0 comments

The Wayfinders

https://longreads.com/2026/04/21/marshall-islands-soccer-team/
1•mooreds•1h ago•0 comments
Open in hackernews

A Common Proof of the Riemann Hypothesis and the Collatz Conjecture

https://www.academia.edu/166172334/A_Common_Proof_of_the_Riemann_Hypothesis_and_the_Collatz_Conjecture_Echo_Interference_in_Number_Theoretic_Acoustic_Spacetime
4•kristintynski•1h ago

Comments

goodmythical•1h ago
Great. Unsolved Problem A is related to Unsolved Problem B in that both are specific applications of Unknown Structural Theorem 1.

Guys, we cracked it. Both Riemann and Collatz are resolvable with the correct framework.

Now all we've got to do is figure out whether or not Hunger and Racism might also be solved by Unknown Political Theory 1.

kristintynski•1h ago
I know its fun to poke fun at silly LLM attempts at the big problems, but did you read any of it? It's worth a deeper look.
goodmythical•55m ago
I mean, I did, but it's no different from saying "accept the langlands program as succesful" followed by anything else. It might be an interested philosophical discourse, but so is "what if the green I see isn't the green you see?(as recently popularized on HN)".

It just isn't math, in the same way that one can't solve Hunger or Racism via math.

kristintynski•36m ago
Can you explain what you mean more? The proof doesn't rest on langlands or assuming anything else is true.
goodmythical•8m ago
I mean that all such attempts: this, langlangs, and any other 'grand unified theory' are of course just embeddings of the problems that they try to unify.

It's saying "i've got a theory which if true would prove the things that it proves".

Look at her other papers. "Proof of the Riemann Hypothesis via Clifford Algebras and the Weil Explicit Formula", "Proof of the Riemann Hypothesis via the Forcing Lemma", "We prove the Riemann Hypothesis through the geometry of the zeta torus.", "Two Millennium Prize Problems: A Geometric Framework for the Riemann Hypothesis and Navier-Stokes Regularity-We present a unified geometric framework addressing two Millennium Prize Problems."

One would think that if she'd proved the Riemann Hypothesis using multiple distinct methods in the last couple years, we'd have heard something about that in the news.

kristintynski•2m ago
Are you saying you think RH is unsolvabe? that any GUT will be a tautology by definition? or am I reading that wrong?