fp.

Tutorial: Introduction to Formal Verification with Lean (Part 1)

https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)

1•birdculture•2m ago•0 comments

No President Has Embarrassed This Country the Way Trump Did Last Night

https://newrepublic.com/post/213195/trump-primetime-speech-no-embarrassed-country

1•petethomas•2m ago•1 comments

Valve's 14-Year Journey to Make the Steam Machine

https://www.bloomberg.com/news/newsletters/2026-07-17/valve-s-14-year-journey-to-make-the-steam-m...

1•HelloUsername•3m ago•0 comments

World Models

https://twitter.com/selimonder/status/2078540842822733993

1•selimonder•3m ago•0 comments

Typing Speed Test, but for Developers

https://haxxorwpm.0s.is/

2•hronecviktor•4m ago•0 comments

Kimi K3 Might Have Just Started a Crash of the US Economy

https://danielmiessler.com/blog/kimi-k3-us-economy

2•zelmetennani•6m ago•0 comments

Taylor Farms Recall. 27 States and the List Includes Bags Sold in Grocery Stores

https://www.marlerblog.com/case-news/taylor-farms-posted-its-own-recall-it-went-to-27-states-not-...

1•speckx•8m ago•0 comments

Jack Conte: Why I'm (sort of) not worried about AI [video]

https://www.youtube.com/watch?v=17_HcR95YBc

1•magistr4te•9m ago•0 comments

Is there any need for low cost LinkedIn followup reminder solution

1•vinayrsbalhara•9m ago•0 comments

Show HN: Medows – an AI clinical workspace for doctors on ward rounds

https://www.medows.ai/demo

1•alapanx•11m ago•0 comments

Meta's new AI chips will begin production in September

https://techcrunch.com/2026/07/09/metas-new-ai-chips-will-begin-production-in-september/

1•gmays•11m ago•0 comments

Amazon invents the Attachment Economy bait-and-switch

https://www.machinesociety.ai/p/amazon-invents-the-attachment-economy

1•mikelgan•12m ago•1 comments

I indexed 15,000 company hiring boards to search every (most) live tech jobs

https://www.padmi.ai/

1•anirudra•15m ago•1 comments

/dev/tcp to do fast and light TCP health checks

https://www.linuxjournal.com/content/more-using-bashs-built-devtcp-file-tcpip

1•arberx•15m ago•0 comments

Real-Time LuaTeX: Recompiling Large Documents in 1 ms [video]

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

1•amichail•16m ago•1 comments

Show HN: Firedeck – Firebase Console for iPhone and iPad

https://firedeck.net/

1•adamgelatka•19m ago•0 comments

The Java Story, the Official Documentary

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

1•Dr_Emann•19m ago•0 comments

Spotify Deleted 75M AI-Generated Tracks – and It's Not Done Yet

https://www.gadgetreview.com/spotify-deleted-75-million-ai-generated-tracks-and-its-not-done-yet

1•CharlesW•19m ago•0 comments

Show HN: Typedeck – a Mac presentation app with a deterministic layout engine

https://apps.apple.com/us/app/typedeck/id6761032503?mt=12

1•TypeDeck•22m ago•0 comments

Show HN: Voronoi Go – The game of Go without the grid

https://voronoigo.com/

1•igpay•24m ago•0 comments

Review-Loop Engineering

https://kahtaf.com/blog/loop-engineering/

1•kahtaf•25m ago•0 comments

Show HN: SDF Pelicans on Bicycle

https://pelican.vibe-overflow.com/index.html

2•AzatJ•25m ago•0 comments

Claude Code May–August 2026 weekly limits promotion

https://support.claude.com/en/articles/15910845-claude-code-may-august-2026-weekly-limits-promotion

1•crazysaem•25m ago•0 comments

Harry Partridge on X: "GLM 5.2 With Vision" / X

https://twitter.com/part_harry_/status/2077610277571637435

1•bilsbie•26m ago•0 comments

StartupForge AI – Generate a startup blueprint from an idea

https://b07ada739af0b4a7c99daf84e96b066a.ctonew.app/

1•kvreal•28m ago•0 comments

The Accidental Cartel Queen

https://www.thecut.com/article/cartel-queen-south-carolina-chelsie-anderson-prison-empire.html

1•Michelangelo11•28m ago•0 comments

Free AI Harness Profiler – What tf did Fable do with your tokens

http://profiler.getrekon.com/

1•TreDub•35m ago•0 comments

WTF: UK Police Tell Citizens to Run, Hide, and Hope [video]

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

2•dp-hackernews•36m ago•2 comments

Exotic phenomena in dimension 4 [video]

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

1•_doctor_love•36m ago•0 comments

What's the deal with all the random weekly quota resets for agents lately?

https://minimaxir.com/2026/07/agent-quota-reset/

10•minimaxir•36m ago•2 comments

Tutorial: Introduction to Formal Verification with Lean (Part 1)

No President Has Embarrassed This Country the Way Trump Did Last Night

Valve's 14-Year Journey to Make the Steam Machine

World Models

Typing Speed Test, but for Developers

Kimi K3 Might Have Just Started a Crash of the US Economy

Taylor Farms Recall. 27 States and the List Includes Bags Sold in Grocery Stores

Jack Conte: Why I'm (sort of) not worried about AI [video]

Is there any need for low cost LinkedIn followup reminder solution

Show HN: Medows – an AI clinical workspace for doctors on ward rounds

Meta's new AI chips will begin production in September

Amazon invents the Attachment Economy bait-and-switch

I indexed 15,000 company hiring boards to search every (most) live tech jobs

/dev/tcp to do fast and light TCP health checks

Real-Time LuaTeX: Recompiling Large Documents in 1 ms [video]

Show HN: Firedeck – Firebase Console for iPhone and iPad

The Java Story, the Official Documentary

Spotify Deleted 75M AI-Generated Tracks – and It's Not Done Yet

Show HN: Typedeck – a Mac presentation app with a deterministic layout engine

Show HN: Voronoi Go – The game of Go without the grid

Review-Loop Engineering

Show HN: SDF Pelicans on Bicycle

Claude Code May–August 2026 weekly limits promotion

Harry Partridge on X: "GLM 5.2 With Vision" / X

StartupForge AI – Generate a startup blueprint from an idea

The Accidental Cartel Queen

Free AI Harness Profiler – What tf did Fable do with your tokens

WTF: UK Police Tell Citizens to Run, Hide, and Hope [video]

Exotic phenomena in dimension 4 [video]

What's the deal with all the random weekly quota resets for agents lately?

We Built a Multiplayer Code Editor with Cloudflare, Yjs, and CodeMirror

Tutorial: Introduction to Formal Verification with Lean (Part 1)

No President Has Embarrassed This Country the Way Trump Did Last Night

Valve's 14-Year Journey to Make the Steam Machine

World Models

Typing Speed Test, but for Developers

Kimi K3 Might Have Just Started a Crash of the US Economy

Taylor Farms Recall. 27 States and the List Includes Bags Sold in Grocery Stores

Jack Conte: Why I'm (sort of) not worried about AI [video]

Is there any need for low cost LinkedIn followup reminder solution

Show HN: Medows – an AI clinical workspace for doctors on ward rounds

Meta's new AI chips will begin production in September

Amazon invents the Attachment Economy bait-and-switch

I indexed 15,000 company hiring boards to search every (most) live tech jobs

/dev/tcp to do fast and light TCP health checks

Real-Time LuaTeX: Recompiling Large Documents in 1 ms [video]

Show HN: Firedeck – Firebase Console for iPhone and iPad

The Java Story, the Official Documentary

Spotify Deleted 75M AI-Generated Tracks – and It's Not Done Yet

Show HN: Typedeck – a Mac presentation app with a deterministic layout engine

Show HN: Voronoi Go – The game of Go without the grid

Review-Loop Engineering

Show HN: SDF Pelicans on Bicycle

Claude Code May–August 2026 weekly limits promotion

Harry Partridge on X: "GLM 5.2 With Vision" / X

StartupForge AI – Generate a startup blueprint from an idea

The Accidental Cartel Queen

Free AI Harness Profiler – What tf did Fable do with your tokens

WTF: UK Police Tell Citizens to Run, Hide, and Hope [video]

Exotic phenomena in dimension 4 [video]

What's the deal with all the random weekly quota resets for agents lately?