HN Top Links - Popular Stories from Hacker News

20431.

The Lean Programming Language and Theorem Prover (leodemoura.github.io)

2 points by azhenley 1 month ago | 0 comments

20432.

Can AI Generate a Full Unity World from One Prompt? I Tested (darkounity.com)

2 points by hacker_13 1 month ago | 0 comments

20433.

A Proposed Framework for Evaluating AI Agent Skills (tessl.io)

2 points by popey 1 month ago | 0 comments

20434.

I built a free daily Shikaku puzzle site (shikaku.ch)

2 points by lucernelucerne 1 month ago | 0 comments

20435.

Chilcy – AI-Powered Business Intelligence for Modern Companies (chilcy.com)

2 points by sajithfx 1 month ago | 0 comments

20436.

Is Schoolwork Optional Now? (theatlantic.com)

2 points by Anon84 1 month ago | 0 comments

20437.

Punching through internet censorship in 2026 (neversleeps.moscow)

2 points by keddad 1 month ago | 0 comments

20438.

A general technique for automating NES games (tom7.org)

2 points by azhenley 1 month ago | 0 comments

20439.

Open-source MCP server for LinkedIn (github.com)

2 points by arguflow 1 month ago | 0 comments

20440.

After Me(One encrypted vault. One QR code. Your family gets everything) (myafterme.co.uk)

2 points by elufadeju 1 month ago | 0 comments

20441.

A Fake Screen Fixed My macOS Space Switcher (jorviksoftware.cc)

2 points by jonathan_hollin 1 month ago | 0 comments

20442.

Waiting for Postgres 19: Reduced Timing Overhead for EXPLAIN ANALYZE with RDTSC (pganalyze.com)

2 points by lfittl 1 month ago | 0 comments

20443.

Tinker: Play with AI, bring your ideas to life (shopify.com)

2 points by myth_drannon 1 month ago | 0 comments

20444.

React-Debug-Updates (github.com)

2 points by handfuloflight 1 month ago | 0 comments

20445.

Building a Homebrew Computer Like it's 1995 [video] (youtube.com)

2 points by st_goliath 1 month ago | 0 comments

20446.

YuanLey YS100-0602T Review a Cheap 8-Port 10GbE Switch (servethehome.com)

2 points by teleforce 1 month ago | 0 comments

20447.

How Fake People Became Real Influencers (theatlantic.com)

2 points by thm 1 month ago | 0 comments

20448.

Upstreaming Patches and the Cyber Resilience Act (thomas-huehn.com)

2 points by Brajeshwar 1 month ago | 0 comments

20449.

Jury reaches no verdict on first day deliberating at Live Nation monopoly trial (boston25news.com)

2 points by 1vuio0pswjnm7 1 month ago | 0 comments

20450.

My baby deer plushie told me that Mitski's dad was a CIA operative (theverge.com)

2 points by greesil 1 month ago | 0 comments

20451.

Strait of Hormuz Gameplay Demo [video] (youtube.com)

2 points by us321 1 month ago | 0 comments

20452.

I gave my AI shell access and felt uneasy – so I sandboxed it (github.com)

2 points by sliamh11 1 month ago | 0 comments

20453.

Brocards for Vulnerability Triage (blog.yossarian.net)

2 points by ramimac 1 month ago | 0 comments

20454.

Show HN: Reverse-engineered Cursor tab completion client (github.com)

2 points by abyesilyurt 1 month ago | 0 comments

20455.

World Socialist Web Site to Launch Socialism AI (2025) (wsws.org)

2 points by darccio 1 month ago | 0 comments

20456.

Touch some grass or how to survive during AI times (mcbaguetti.xyz)

2 points by mcbaguetti 1 month ago | 0 comments

20457.

Apple Is Launching an 'Ultra' Line of Products with New Capabilitie (entrepreneur.com)

2 points by f1shy 1 month ago | 0 comments

20458.

Building a 10BASE5 "Thick Ethernet" network (2012) (mattmillman.com)

2 points by accrual 1 month ago | 0 comments

20459.

SuperCmd – Open-source launcher for macOS with Raycast-compatible extensions (github.com)

2 points by mvac 1 month ago | 0 comments

20460.

Show HN: Turn 3 letters into a cube with different projections (inspired by GEB) (geb.gjlmotea.com)

2 points by gjlmotea 1 month ago | 0 comments