frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL4

https://arxiv.org/abs/2602.08384
1•PaulHoule•1h ago

New Optical Scan Results from the Smithsonian Volta Laboratory Collection (2013)

https://web.archive.org/web/20160306224658/bio16p.lbl.gov/volta-release-2013.html
1•gone35•37s ago•0 comments

Comprehension Debt – the hidden cost of AI generated code

https://addyosmani.com/blog/comprehension-debt/
1•mooreds•1m ago•0 comments

Recording of Alexander Graham Bell's Voice (1885) [video]

https://www.youtube.com/watch?v=qTpWD28Vcq0
1•gone35•2m ago•0 comments

Examining Expanding Role of Synthetic Data Throughout AI Development Pipeline (2025)

https://dl.acm.org/doi/pdf/10.1145/3715275.3732005?download=true
1•1vuio0pswjnm7•3m ago•0 comments

From the FDA Vault: Radiating Shoe Sales [video]

https://www.youtube.com/watch?v=cfALJUSmzzk
1•joebig•4m ago•0 comments

'It's sweet. It's bitter. It's ours.' The chocolate ritual that binds my family

https://www.csmonitor.com/The-Home-Forum/2026/0212/chocolate-valentines-day-love
1•Tomte•4m ago•0 comments

You're Not Behind on AI. You're Overwhelmed by It

https://www.generative.inc/youre-not-behind-on-ai-youre-overwhelmed-by-it
1•goldkey•4m ago•0 comments

A flower became the main character of the late Pleistocene

https://www.datawrapper.de/blog/dryas-octopetala
1•speckx•4m ago•0 comments

Show HN: Cycles – hard limits on agent actions before execution

https://runcycles.io/
1•amavashev•6m ago•0 comments

Show HN: Travel calendar with festivals, weather, visa, crowds (no DB, free API)

https://tripclimate.com
1•rembish•6m ago•0 comments

Where Is the Intelligence When One Needs It?

https://www.tandfonline.com/doi/epdf/10.1080/08911916.2026.2616133
1•b-man•7m ago•0 comments

The Grand Canyon I Never Got to See

https://www.nytimes.com/interactive/2026/03/16/magazine/grand-canyons-north-rim-wildfire.html
1•mooreds•9m ago•0 comments

Reddit New Post 2

https://old.reddit.com/r/PisequaltoNP/comments/1rwgj9l/breaking_rsa_via_transcendent_reduction/
1•KaoruAK•9m ago•0 comments

Edge.js – Run Node.js safely, anywhere, with any JavaScript engine

https://edgejs.org/
2•fmoronzirfas•10m ago•0 comments

Show HN: I made PDF tools that work with no internet – full offline PWA

https://filegod.app
1•honzabroski•10m ago•0 comments

A Synthesis of LLM Evaluation

https://www.aroy.sh/posts/llm-agent-evals/
1•dpe82•12m ago•0 comments

Ask HN: Has anyone gotten AI agents to make money autonomously?

1•builtbyzac•12m ago•0 comments

Cape Town After Coetzee

https://www.theatlantic.com/magazine/2026/04/coetzee-cape-town-apartheid/686067/
1•speckx•13m ago•0 comments

Testing 6 Claude models on consciousness questions via raw API

https://hayalguienaqui.com/en/test-en-frio
1•camilodesan•14m ago•0 comments

Private credit hit $1.7T. Its verification infrastructure never kept pace

https://www.zkvalue.com/
2•smmaan•15m ago•1 comments

High Court: Witness coached via smart glasses while giving evidence

https://www.legalfutures.co.uk/latest-news/high-court-witness-coached-via-smart-glasses-while-giv...
1•croes•15m ago•0 comments

How the Turner Twins Are Mythbusting Modern Gear

https://www.carryology.com/insights/how-the-turner-twins-are-mythbusting-modern-gear/
1•greedo•15m ago•0 comments

Norway's all-conquering Winter Olympians have a message for us all

https://www.theguardian.com/sport/2026/feb/26/norway-winter-olympics-message-for-us-all
1•PaulHoule•17m ago•0 comments

ZK-STARK proofs made easy so you can prove claims without exposing data

https://zkesg.com/
1•mcdoolz•18m ago•1 comments

Meta Horizon Worlds on Meta Quest is being discontinued

https://communityforums.atmeta.com/blog/AnnouncementsBlog/updates-to-your-meta-quest-experience-i...
23•par•18m ago•7 comments

You're all staff engineers now

https://jdauriemma.com/programming/youre-all-staff-engineers-now
1•jdauriemma•18m ago•0 comments

CEO

https://www.AgenthiveInc.com
1•AgentHive•19m ago•0 comments

Len Deighton, spy novelist and author of The Ipcress File, dies aged 97

https://www.theguardian.com/books/2026/mar/17/len-deighton-spy-novelist-author-dies-aged-97
3•bookofjoe•19m ago•0 comments

Stop throwing AI at developers and hoping for magic

https://leaddev.com/ai/stop-throwing-ai-at-developers-and-hoping-for-magic
2•tonkkatonka•19m ago•0 comments

Krafton deletes ChatGPT chats asking to help terminate contracts with founders

https://courts.delaware.gov/Opinions/Download.aspx?id=392880
1•simonreiff•20m ago•1 comments