fp.
newest
Open in hackernews
CircuitProver: Agentic Lean 4 Theorem Proving for Hardware Verification
https://arxiv.org/abs/2607.27259
1
•
Jimmc414
•
1h ago
Warez Your Website
https://www.arscyni.cc/file/warez_your_website.html
1
•
arscynic
•
2m ago
•
0 comments
Tanstack Charts
https://tanstack.com/charts/latest
1
•
geophph
•
3m ago
•
0 comments
When Your Chatbot Is So Eager to Help, It Forgot Whose Side It's On
https://industrycontents.com/agentic-ai-business-risk/
1
•
ticust
•
4m ago
•
0 comments
Recovering from Agentic Coding
https://www.jrzs.dev/blog/recovering-from-agentic-coding
1
•
jrhey
•
8m ago
•
0 comments
Framework choice explains ~0.06% of agentic AI security outcome (7,020 trials)
https://figshare.com/articles/preprint/Cross-Framework_Portability_of_Agentic_AI_Security_A_Contr...
1
•
waqarjaved
•
9m ago
•
0 comments
Yahoo just redesigned its weather app for the 'weather geek' in us all
https://www.fastcompany.com/91581251/yahoo-weather-app-redesign
1
•
apparent
•
10m ago
•
0 comments
Morioka Shoten
https://www.takram.com/projects/a-single-room-with-a-single-book-morioka-shoten
1
•
skogstokig
•
12m ago
•
0 comments
Why etymologies matter: How tracing words can illuminate history (2024)
https://resobscura.substack.com/p/why-i-love-etymologies
1
•
benbreen
•
13m ago
•
0 comments
'Antizuck' iOS app that claims to detect nearby smart glasses tops App Store
https://9to5mac.com/2026/07/31/antizuck-ios-app-that-claims-to-detect-nearby-smart-glasses-tops-a...
1
•
danorama
•
21m ago
•
0 comments
Votewire – Pin a poll, get results
https://votewire.vercel.app/
1
•
zay_dea
•
25m ago
•
0 comments
Suno Held Liable for Infringing German Song Copyrights
https://www.billboard.com/pro/suno-liable-gema-german-copyright-lawsuit/
1
•
tchalla
•
30m ago
•
0 comments
FoxSchema: Compare and migrate SQL database schemas across 10 dialects
https://foxschema.com/
1
•
thunderbong
•
30m ago
•
0 comments
They invented an infinite context window [video]
https://www.youtube.com/watch?v=XheXopWnX-Q
1
•
Gecko4072
•
33m ago
•
0 comments
Show HN: GAI – A Go runtime for typed, tool-using LLM agents
https://github.com/lace-ai/gai
2
•
samuel_kx0
•
33m ago
•
0 comments
Ask HN: Which Linux distribution is capitalizing on AI momentum?
1
•
orsenthil
•
33m ago
•
0 comments
Iran to get Chinese shoulder-launched missile systems in weeks, sources say
https://www.reuters.com/world/china/iran-get-chinese-shoulder-launched-missile-systems-weeks-sour...
2
•
mapping365
•
33m ago
•
0 comments
Russia is sharing valuable Intel with Iran, officials say, as U.S. war drags on
https://www.nbcnews.com/politics/national-security/russia-sharing-valuable-electronic-intel-iran-...
1
•
mapping365
•
34m ago
•
0 comments
Stream Axanar: The Gathering Storm – The Star Trek CBS doesn't want you to see [video]
https://www.youtube.com/watch?v=tt-58xdu33I
1
•
mmh0000
•
34m ago
•
0 comments
Show HN: Integer-only AI complete XOR with 99.7% accuracy all from scratch
https://github.com/Mojo0869/ABSL
1
•
Mojo_0869
•
35m ago
•
0 comments
No Joke: Scientists Launch OnlyFans Account to Raise Money for Marmot Project
https://cowboystatedaily.com/2026/07/30/scientists-turn-to-onlymarms-videos-of-marmots-on-onlyfan...
2
•
Bender
•
36m ago
•
0 comments
Ukraine's Strike on Iranian Ship Shows How Two Wars Could Merge and Spiral
https://www.nytimes.com/2026/07/31/us/politics/iran-ukraine-war.html
4
•
mapping365
•
36m ago
•
0 comments
Not just Neanderthals: Ghost lineage in Africa left its mark on our DNA
https://arstechnica.com/science/2026/07/not-just-neanderthals-ghost-lineage-in-africa-left-its-ma...
1
•
Bender
•
38m ago
•
0 comments
Reddit keeps its DMCA fight over Google search results alive
https://arstechnica.com/tech-policy/2026/07/reddit-keeps-weird-dmca-lawsuit-against-web-scraper-a...
1
•
Bender
•
38m ago
•
0 comments
Gemini 2.5 Pro and Gemini 3 Flash Deprecated – GitHub Changelog
https://github.blog/changelog/2026-07-31-gemini-2-5-pro-and-gemini-3-flash-deprecated/
1
•
smokeeaasd
•
41m ago
•
0 comments
Hacker News, GitHub and AI
https://pelle.io/posts/hackernews-github-ai/
1
•
pellepelster
•
45m ago
•
1 comments
The CIA Found a Soviet Ghost Station Full of Cold War Secrets
https://www.popularmechanics.com/military/a73274458/batmans-skyhook-cia-mission/
2
•
RickJWagner
•
45m ago
•
0 comments
Mary Celeste
https://en.wikipedia.org/wiki/Mary_Celeste
2
•
thunderbong
•
45m ago
•
0 comments
Inspect Claude Code sessions with lnav
https://blog.disintegrator.dev/posts/lnav-claude-code/
1
•
disintegrator
•
46m ago
•
0 comments
Judge denies X.AI's attempt to stop Minnesota's AI nudification ban
https://www.ag.state.mn.us/Office/Communications/2026/07/31_xAI.asp
2
•
slowin
•
48m ago
•
0 comments
Same-Day Delivery, Same-Day Detonation: Wildberries' Hit by a Ukrainian Drone
https://jeffreylminch.substack.com/p/same-day-delivery-same-day-detonation
2
•
rmason
•
51m ago
•
0 comments
Load More