fp.

Apple dethrones Nvidia to regain title of most valuable company

https://www.theguardian.com/technology/2026/jul/17/apple-nvidia-most-valuable-company

2•Brajeshwar•37s ago•0 comments

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

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

1•birdculture•3m 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•4m 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•4m ago•0 comments

World Models

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

1•selimonder•5m ago•0 comments

Typing Speed Test, but for Developers

https://haxxorwpm.0s.is/

2•hronecviktor•6m 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•7m 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•9m 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•10m ago•0 comments

Is there any need for low cost LinkedIn followup reminder solution

1•vinayrsbalhara•10m ago•0 comments

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

https://www.medows.ai/demo

1•alapanx•12m 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•13m ago•0 comments

Amazon invents the Attachment Economy bait-and-switch

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

1•mikelgan•13m ago•1 comments

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

https://www.padmi.ai/

1•anirudra•16m 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•16m ago•0 comments

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

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

1•amichail•17m ago•1 comments

Show HN: Firedeck – Firebase Console for iPhone and iPad

https://firedeck.net/

1•adamgelatka•20m ago•0 comments

The Java Story, the Official Documentary

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

1•Dr_Emann•20m 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•21m 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•24m ago•0 comments

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

https://voronoigo.com/

1•igpay•25m ago•0 comments

Review-Loop Engineering

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

1•kahtaf•26m ago•0 comments

Show HN: SDF Pelicans on Bicycle

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

2•AzatJ•26m 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•27m ago•0 comments

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

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

1•bilsbie•28m ago•0 comments

StartupForge AI – Generate a startup blueprint from an idea

https://b07ada739af0b4a7c99daf84e96b066a.ctonew.app/

1•kvreal•29m ago•0 comments

The Accidental Cartel Queen

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

Apple dethrones Nvidia to regain title of most valuable company

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]

An uroboros program with 100 programming languages

Apple dethrones Nvidia to regain title of most valuable company

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]