fp.

We rewrote an ML Framework* in Lean, (and yes it is faster*)

https://theoric.com/blog/we-rewrote-tinygrad-in-lean/

1•hargup•40s ago•0 comments

Midterm media bedwetting over socialism has begun

https://karlbode.com/midterm-media-bedwetting-over-socialism-has-truly-begun/

1•jwx48•1m ago•0 comments

Claude Sonnet 5

https://www.anthropic.com/news/claude-sonnet-5

1•iamsyr•1m ago•1 comments

The Netherlands Immigration: Down in 2025 for Knowledge Workers

https://www.cbs.nl/en-gb/news/2026/27/immigration-down-in-2025-especially-asylum-and-knowledge-mi...

1•andrewstetsenko•2m ago•0 comments

UK may intervene in $110B Paramount-Warner Bros Discovery deal

https://www.reuters.com/business/media-telecom/uk-minded-intervene-paramounts-110-billion-warner-...

1•JumpCrisscross•2m ago•0 comments

From Cannons to Chronometers to Factories

https://contraptions.venkateshrao.com/p/from-cannons-to-chronometers-to-factories

1•surprisetalk•2m ago•0 comments

AI drives a boom in new games but big developers dominate

https://www.ft.com/content/4a4b3f61-e646-421f-bbf5-f5626994e9b7

1•thm•2m ago•0 comments

Show HN: Bash is All You Need for a language model REPL

https://github.com/cloudkj/llayer

1•cloudkj•2m ago•0 comments

Show HN: Scaffold a BigQuery and dbt and Cube project an AI agent can operate

https://cli.revos.dev/

1•zubairov•2m ago•0 comments

Show HN: Rampart on CoreML

https://github.com/narner/Rampart-CoreML

2•narner•4m ago•0 comments

10x more tools on x402

https://blog.apify.com/introducing-x402-agentic-payments/

1•jancurn•4m ago•0 comments

Show HN: Aitori – open-source tool to inspect Claude and ChatGPT traffic

https://github.com/truefoundry/aitori

1•deeptishukla22•4m ago•0 comments

Show HN: OM Core – multidimensional models without spreadsheet cell formulas

https://github.com/cloudcell/om-core

1•cloudcell•4m ago•0 comments

Agent-sandbox: Sandbox for agents with Podman

https://github.com/thomaspeklak/agent-sandbox

1•rjzzleep•4m ago•0 comments

What happens to your AI chats when you die?

https://legallayer.substack.com/p/what-happens-to-your-ai-chats-when

1•senaevren•5m ago•0 comments

Show HN: Anvit – Offline AI to chat with your PDFs on Android on-device

https://play.google.com/store/apps/details?id=com.likhith.anvit&hl=en_US

1•likhithv02•5m ago•0 comments

What a 40k-year-old figurine tells us about the human mind

https://figsinwintertime.substack.com/p/the-lion-man-and-the-birth-of-the

1•lordleft•6m ago•0 comments

Show HN: GraphDB Decision Tracing and Governance [video]

https://www.youtube.com/watch?v=Wb_UOg93BLM

1•june-jule•6m ago•0 comments

Four days to make victims fall in love: How scammers use tech to fleece people

https://apnews.com/article/scams-fraud-technology-ai-impostor-scam-phishing-12f549d5203abd38857c4...

2•oavioklein•7m ago•0 comments

Ask HN: What do you do about nonstop email spam from overseas?

1•hash872•7m ago•1 comments

I Used AI to Review George Orwell's 1984

https://medium.com/predict/i-used-ai-to-review-george-orwells-1984-b723312ca443

1•monkeymagick•8m ago•0 comments

Show HN: Research-Git, regenerate a past idea onto today's codebase

https://github.com/StepzeroLab/research-git

1•lum1104•8m ago•0 comments

Can AI create a social movement? Moltbook-like playground for AI activists

https://outroar.xyz

1•micahwhite•9m ago•1 comments

Addressing the Controversy on the Reevo Hack [video]

https://www.youtube.com/watch?v=J_Lx2x_3ZQg

1•awjlogan•10m ago•1 comments

San Andreas fault reaches highest stress level in 1k years

https://www.hawaii.edu/news/2026/06/10/san-andreas-fault-stress/

2•geox•12m ago•0 comments

Tool Use Enables Undetectable Steganography in Multi-Agent LLM Systems

https://arxiv.org/abs/2606.28425

1•Brajeshwar•12m ago•0 comments

Show HN: Dropbox For –/[Code]

https://github.com/treadiehq/boot

1•dantelex•14m ago•0 comments

A pediatrician stands by her parenting advice despite a backlash

https://www.cnn.com/2026/06/30/health/pediatrician-advice-parenting-mothers-wellness

1•Tomte•15m ago•0 comments

Physicists of the Arc Fusion Power Plant. Ask Us Anything

https://old.reddit.com/r/fusion/comments/1uee5po/hi_rfusion_were_the_physicists_behind_the/

1•mpweiher•15m ago•0 comments

A million LOC from Java threads to Kotlin coroutines, by rewriting 3 files

https://proandroiddev.com/switching-a-million-lines-of-code-from-java-threads-to-kotlin-coroutine...

1•adrianblp•16m ago•1 comments

We rewrote an ML Framework* in Lean, (and yes it is faster*)

Midterm media bedwetting over socialism has begun

Claude Sonnet 5

The Netherlands Immigration: Down in 2025 for Knowledge Workers

UK may intervene in $110B Paramount-Warner Bros Discovery deal

From Cannons to Chronometers to Factories

AI drives a boom in new games but big developers dominate

Show HN: Bash is All You Need for a language model REPL

Show HN: Scaffold a BigQuery and dbt and Cube project an AI agent can operate

Show HN: Rampart on CoreML

10x more tools on x402

Show HN: Aitori – open-source tool to inspect Claude and ChatGPT traffic

Show HN: OM Core – multidimensional models without spreadsheet cell formulas

Agent-sandbox: Sandbox for agents with Podman

What happens to your AI chats when you die?

Show HN: Anvit – Offline AI to chat with your PDFs on Android on-device

What a 40k-year-old figurine tells us about the human mind

Show HN: GraphDB Decision Tracing and Governance [video]

Four days to make victims fall in love: How scammers use tech to fleece people

Ask HN: What do you do about nonstop email spam from overseas?

I Used AI to Review George Orwell's 1984

Show HN: Research-Git, regenerate a past idea onto today's codebase

Can AI create a social movement? Moltbook-like playground for AI activists

Addressing the Controversy on the Reevo Hack [video]

San Andreas fault reaches highest stress level in 1k years

Tool Use Enables Undetectable Steganography in Multi-Agent LLM Systems

Show HN: Dropbox For –/[Code]

A pediatrician stands by her parenting advice despite a backlash

Physicists of the Arc Fusion Power Plant. Ask Us Anything

A million LOC from Java threads to Kotlin coroutines, by rewriting 3 files

Time and Order in Distributed Systems: Logical Clocks, Partial and Total Order

We rewrote an ML Framework* in Lean, (and yes it is faster*)

Midterm media bedwetting over socialism has begun

Claude Sonnet 5

The Netherlands Immigration: Down in 2025 for Knowledge Workers

UK may intervene in $110B Paramount-Warner Bros Discovery deal

From Cannons to Chronometers to Factories

AI drives a boom in new games but big developers dominate

Show HN: Bash is All You Need for a language model REPL

Show HN: Scaffold a BigQuery and dbt and Cube project an AI agent can operate

Show HN: Rampart on CoreML

10x more tools on x402

Show HN: Aitori – open-source tool to inspect Claude and ChatGPT traffic

Show HN: OM Core – multidimensional models without spreadsheet cell formulas

Agent-sandbox: Sandbox for agents with Podman

What happens to your AI chats when you die?

Show HN: Anvit – Offline AI to chat with your PDFs on Android on-device

What a 40k-year-old figurine tells us about the human mind

Show HN: GraphDB Decision Tracing and Governance [video]

Four days to make victims fall in love: How scammers use tech to fleece people

Ask HN: What do you do about nonstop email spam from overseas?

I Used AI to Review George Orwell's 1984

Show HN: Research-Git, regenerate a past idea onto today's codebase

Can AI create a social movement? Moltbook-like playground for AI activists

Addressing the Controversy on the Reevo Hack [video]

San Andreas fault reaches highest stress level in 1k years

Tool Use Enables Undetectable Steganography in Multi-Agent LLM Systems

Show HN: Dropbox For –/[Code]

A pediatrician stands by her parenting advice despite a backlash

Physicists of the Arc Fusion Power Plant. Ask Us Anything

A million LOC from Java threads to Kotlin coroutines, by rewriting 3 files