HN Top Links - Popular Stories from Hacker News

6241.

Account Verification for Windows Hardware Program Begins October 16, 2025 (techcommunity.microsoft.com)

5 points by TiredOfLife 2 weeks ago | 0 comments

6242.

Giving LLMs a Formal Reasoning Engine for Code Analysis (yogthos.net)

5 points by zdw 2 weeks ago | 0 comments

6243.

Show HN: Dis: Dev environments but without Node.js (github.com)

5 points by kaashmonee 2 weeks ago | 0 comments

6244.

Disney to Lay Off Up to 1k Employees in First Cuts Under New CEO Josh D'Amaro (deadline.com)

5 points by thunderbong 2 weeks ago | 0 comments

6245.

Show HN: AudioEditor – Free Online Audio Tools (audioeditor.org)

5 points by Airyisland 2 weeks ago | 0 comments

6246.

Harness engineering for coding agent users (martinfowler.com)

5 points by mooreds 2 weeks ago | 0 comments

6247.

Pizza Tycoon simulated traffic on a 25 MHz CPU (pizzalegacy.nl)

5 points by vinhnx 2 weeks ago | 0 comments

6248.

Beyond Copy-and-Paste: How Game Studios Are Reorganizing Around AI (Research) (gail.wharton.upenn.edu)

5 points by pella 2 weeks ago | 0 comments

6249.

GitHub Availability March 2026 (github.blog)

5 points by alexbilbie 2 weeks ago | 0 comments

6250.

Image Recognition with Lean 4 (github.com)

5 points by asparagui 2 weeks ago | 0 comments

6251.

Show HN: Giving My First Pitch at 1M Cups Using a Custom Mobile App (andonalert.net)

5 points by SolarpunkRachel 2 weeks ago | 0 comments

6252.

Helix and Typst are a match made in heaven (ergaster.org)

5 points by vinhnx 2 weeks ago | 0 comments

6253.

5 points by StrangeAiCorp 2 weeks ago | 0 comments

6254.

Intentions have a surprising amount of detail (contraptions.venkateshrao.com)

5 points by jger15 2 weeks ago | 0 comments

6255.

Show HN: Offline AI dev assistant (no API, runs locally) (store.steampowered.com)

5 points by RWS32177 2 weeks ago | 0 comments

6256.

Oracle's 30k Employee Layoffs (tech-insider.org)

5 points by 01-_- 2 weeks ago | 0 comments

6257.

What a legal tech demo does not show (techlex.net)

5 points by basket278 2 weeks ago | 0 comments

6258.

OpenAI halts UK stargate project amid regulatory and energy price concerns (cnbc.com)

5 points by Brajeshwar 2 weeks ago | 0 comments

6259.

Show HN: AgentMint – Open-source OWASP compliance for AI agent tool calls (github.com)

5 points by keertahacker 2 weeks ago | 0 comments

6260.

High fantasy map of tech writing (passo.uno)

5 points by theletterf 2 weeks ago | 0 comments

6261.

The Center Has a Bias (lucumr.pocoo.org)

5 points by theshrike79 2 weeks ago | 0 comments

6262.

Show HN: MCP is for tools. A2A is for agents. What's for websites? (rtrvr.ai)

5 points by quarkcarbon279 2 weeks ago | 0 comments

6263.

Microsoft Upgrades Its WSL2 Kernel Against Linux 6.18 LTS (phoronix.com)

5 points by Bender 2 weeks ago | 0 comments

6264.

Is Cybersecurity Over? [video] (youtube.com)

5 points by 0xcrypto 2 weeks ago | 0 comments

6265.

Why IBM Turned to Microsoft for Basic (nemanjatrifunovic.substack.com)

5 points by whobre 2 weeks ago | 0 comments

6266.

Show HN: I made a Browser game with physics

5 points by gray_wolf_99 2 weeks ago | 0 comments

6267.

I built a tool that checks if AI recommends your brand when buyers ask questions (aishareofvoice.ai)