fp.
newest
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
Load More