frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

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