frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN

https://xenaproject.wordpress.com/2025/12/05/formalization-of-erdos-problems/
1•unprovable•1h ago

A Full Bitcoin-Style Blockchain Implemented in Pure PHP and Sockets

https://github.com/kladskull/xEroS
1•captaincrunch•2m ago•0 comments

OpenAI's Confession Experiment: Teaching AI to Admit When It Cheats

https://kaysnotes.medium.com/openais-confession-experiment-teaching-ai-to-admit-when-it-cheats-40...
2•stopbulying•10m ago•0 comments

European VCs have raised nearly 60% less funding so far in 2025

https://sifted.eu/articles/european-vc-fundraising-2025-down
2•doener•11m ago•0 comments

Deep Dive: The Fed Just Injected $13.5B into Banks – Here's My Take

https://drive.google.com/file/d/1udXwE3tw0tk-CxAePSVRjAFioCVCJYCh/view?usp=sharing
4•AtomInstitute•13m ago•1 comments

We Are Repaganizing

https://firstthings.com/we-are-repaganizing/
2•barry-cotter•15m ago•1 comments

When Free Is Too Expensive

https://web.archive.org/web/20090912001114/http://blogs.sun.com/jonathan/
4•_RPM•16m ago•1 comments

Hardest AI Benchmark – Enkokilish

https://enkokilish-bench.vercel.app/
1•dagmawibabi•16m ago•1 comments

National Security Strategy Document Revives Monroe Doctrine, Slams Europe

https://www.reuters.com/business/finance/trump-strategy-document-revives-monroe-doctrine-slams-eu...
1•petethomas•17m ago•0 comments

NeocloudX: Trade Compute as a Commodity

https://neocloudx.com
1•jack_nclx•18m ago•1 comments

Show HN: Kiwi Notes – Simple audio-powered vocabulary app

https://app.copiaviva.com/
1•hussein-khalil•18m ago•1 comments

National parks drops fee-free MLK Day, Juneteenth day; adds Trump's birthday

https://www.npr.org/2025/12/06/g-s1-101090/national-parks-fee-free-calendar-mlk-juneteenth
2•stopbulying•19m ago•0 comments

Show HN: My first open source project called Claude Code Splitter

https://github.com/theaustinhatfield/claude-code-splitter
1•AustinHatfiel•20m ago•1 comments

Polynomial roots visualisation inspired by 2swap's video on the quintic

https://github.com/TheRealOrange/acidvis
1•birdculture•23m ago•0 comments

Show HN: Zen

https://github.com/HakAl/zen
1•UmGuys•23m ago•0 comments

Quantum theory does not need complex numbers

https://arxiv.org/abs/2504.02808
1•QueensGambit•25m ago•0 comments

Trains cancelled over fake bridge collapse image

https://www.bbc.com/news/articles/cwygqqll9k2o
12•josephcsible•27m ago•2 comments

CME Data Center Outage Caused by Human Error, CyrusOne Says

https://www.bloomberg.com/news/articles/2025-12-06/cme-data-center-outage-caused-by-human-error-c...
2•toomuchtodo•30m ago•2 comments

11-year-old named Guinness World Record holder for youngest video game dev

https://www.bbc.com/news/articles/c17p4prj8qgo
2•starkparker•34m ago•0 comments

The Physics of Semiconductors [pdf]

http://www.physics.gov.az/book_P/Phys_Semic_Grundmann.pdf
1•aabiji•34m ago•1 comments

HyprTile – a new app launcher for the Hyprland ecosystem

https://hyprtile.org
1•BimJeam•37m ago•1 comments

The most exciting Bluetooth feature in years

https://www.theverge.com/report/839245/auracast-marketing-jbl-lg-samsung-google
1•ravenical•37m ago•1 comments

The One Number That Matters

https://domofutu.substack.com/p/the-one-number-that-matters
1•wjb3•38m ago•0 comments

Show HN: XeraSentry – Real-time Ethereum security monitoring in Python

https://lavender-clarette-17.tiiny.site
1•Chu_Wong•38m ago•1 comments

DankLinux Repository

https://danklinux.com/docs/danklinux/
1•chrchr•43m ago•1 comments

The Man Who Was Supposed to Kill Martin Luther King Jr

https://slate.com/news-and-politics/2025/12/martin-luther-king-mlk-fbi-files-murder-assassination...
1•martey•43m ago•0 comments

New Study Raises Heart Health Concerns About Long-Term Melatonin Use

https://chillnoise.com/blog/new-study-raises-heart-health-concerns-about-long-term-melatonin-use
2•TailErrorSwift•44m ago•1 comments

I launched a free podcast mastering tool and it hit #1 on Google

https://freepodcastmastering.com
2•pruufsocial•48m ago•3 comments

Show HN: AI that scores news for emotional coercion and rhetorical manipulation

https://www.goanie.com/
2•goshtasb•49m ago•1 comments

Magnitude-7.0 earthquake hits in remote wilderness along Alaska-Canada border

https://apnews.com/article/earthquake-alaska-canada-yukon-7c0f68370e387b1b23fa7fe7fc9c2c71
7•appreciatorBus•52m ago•2 comments

Ask HN: Is Mythical Man-Month still relevant in todays AI Vibe Coding world?

4•Codegres•1h ago•5 comments