frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Defense Startup Anduril Hits Setbacks with Weapons Tech

https://www.wsj.com/politics/national-security/anduril-industries-defense-tech-problems-52b90cae
1•bookofjoe•7m ago•1 comments

Underrated reasons to be thankful V

https://dynomight.net/thanks-5/
1•numeri•9m ago•0 comments

The engineer–manager pendulum is breaking

https://www.modernleader.is/p/pendulum-revisited
1•gpi•13m ago•0 comments

Bending Emacs – Episode 6: Overlays

https://xenodium.com/bending-emacs-episode-6-overlays
1•todsacerdoti•14m ago•0 comments

LinkedIn is loud, and corporate is hell

https://ramones.dev/posts/linkedin-is-loud/
4•austinallegro•16m ago•1 comments

VybeCam – find the perfect song that matches your vibe – like Shazam in reverse

https://apps.apple.com/app/apple-store/id6749338267?pt=118080429&ct=HackerNews&mt=8
1•donemanuel•19m ago•0 comments

Hybrid dark-pool DEX architecture on Solana

1•DarkVeil•20m ago•0 comments

Amazon: Who pays the price? – DW Documentary [video]

https://www.youtube.com/watch?v=6r3x2t872Pc
1•eternalreturn•20m ago•0 comments

Stop Hacklore – An Open Letter

https://www.hacklore.org/letter
2•birdculture•23m ago•0 comments

Predicting eukaryotic gene models combining deep learning&hidden Markov model

https://www.nature.com/articles/s41592-025-02939-1
1•bookofjoe•27m ago•0 comments

GameShell: Game to learn (or teach) how to use standard commands in a Unix shell

https://github.com/phyver/GameShell
2•sebg•30m ago•0 comments

The AI boom is based on a fundamental mistake

https://www.theverge.com/ai-artificial-intelligence/827820/large-language-models-ai-intelligence-...
1•Anon84•35m ago•0 comments

Bomb-proof your website with mirroring

https://brandonrohrer.com/hosting7.html
2•sebg•35m ago•0 comments

Nucleus Genomics founder Kian Sadeghi caught lying on TBPN

https://twitter.com/cremieuxrecueil/status/1993460627126284383
1•totalhealthopt•36m ago•0 comments

Generalized Worley Noise

https://ianthehenry.com/posts/generalized-worley-noise/
1•leephillips•40m ago•0 comments

Puzzle Financial CEO spends Thanksgiving hiding his federal ban on Wikipedia

https://patrickstoica.com/puzzle-statement/#wikipedia-edit-war-sasha-orloff-personally-removes-fr...
2•pstoica•40m ago•1 comments

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]

https://github.com/deepseek-ai/DeepSeek-Math-V2/blob/main/DeepSeekMath_V2.pdf
15•fspeech•43m ago•3 comments

Enveloped vs. Non-Enveloped Virus(2022)

https://virologyresearchservices.com/2022/05/22/enveloped-vs-non-enveloped-viruses/
1•rolph•44m ago•0 comments

Russia's only pad for crew launches suffers major damage

https://www.russianspaceweb.com/baikonur_r7_31.html#cabin
3•zhan_eg•44m ago•1 comments

Show HN: CLI Figma .fig –> .json for LLM

https://github.com/kreako/fig2json
1•kreako•46m ago•0 comments

Not send play slip on a digital safe

1•Roax•47m ago•0 comments

GitLab Interface Redesign

https://docs.gitlab.com/user/interface_redesign/
3•maxloh•50m ago•0 comments

I accidentally stumbled upon one of the Catholic Church's darkest secrets

https://garethgore.substack.com/p/how-i-accidentally-stumbled-upon
4•Anon84•50m ago•0 comments

SEC probes Jefferies over First Brands disclosures

https://www.ft.com/content/86d90ce5-5800-4514-a757-f46a38aa521d
1•zerosizedweasle•54m ago•0 comments

Apple TV Pulls 'The Hunt' Show over Plagiarism Claims

https://www.macrumors.com/2025/11/27/apple-tv-show-hunt-pulled-plagiarism-claims/
2•kotaKat•54m ago•0 comments

.NET 10 and NuGet Audit: Finding Root Packages for Transitive Vulnerabilities

https://www.appsoftware.com/blog/net-10-and-nuget-audit-identifying-root-packages-for-vulnerable-...
1•appsoftware•55m ago•0 comments

Why have so many people stopped posting on social media?

https://www.rte.ie/brainstorm/2025/1127/1546045-why-have-we-stopped-posting-on-social-media-psych...
1•austinallegro•55m ago•3 comments

Unprecedented levels of forever chemicals found in dolphins and whales

https://phys.org/news/2025-11-unprecedented-chemicals-dolphins-whales.html
2•measurablefunc•57m ago•0 comments

Idempotency Keys

https://www.morling.dev/blog/on-idempotency-keys/
2•redbell•59m ago•0 comments

A graph is worth 1000 tables

https://crimede-coder.com/blogposts/2025/GraphsBetterThanTables
2•apwheele•1h ago•0 comments
Open in hackernews

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]

https://github.com/deepseek-ai/DeepSeek-Math-V2/blob/main/DeepSeekMath_V2.pdf
15•fspeech•43m ago

Comments

photon_lines•22m ago
Exciting stuff from a fantastic team.
zaxioms•8m ago
It's cool, but I genuinely cannot fathom why they are targeting natural language proofs instead of a proof assistant.
awei•3m ago
Something weird here, why is it so hard to have a deterministic program capable of checking a proof or anything math related, aren't maths super deterministic when natural language is not. From first principles, it should be possible to do this without a llm verifier.