HN Top Links - Popular Stories from Hacker News

15871.

Show HN: Bisimia – A TLA+ environment that runs in the browser (bisimia.com)

2 points by cipherself 2 days ago | 0 comments

15872.

Observations from Running Stealmybitcoin.com (pavursec.com)

2 points by Curiositry 2 days ago | 0 comments

15873.

Birthday Paradox Notebook (nablatensor.com)

2 points by petrpravda 2 days ago | 0 comments

15874.

The Half-Life of an Instruction (digitaliziran.si)

2 points by gregman1 1 week ago | 0 comments

15875.

A dated, inspectable AI citation checker (no fake rankings) (citysignal.date)

2 points by atybelast 1 week ago | 0 comments

15876.

Specgit (specgit.com)

2 points by bryan_specgit 2 days ago | 0 comments

15877.

I'm an Engineer. This ChatGPT Test Scared Me [video] (youtube.com)

2 points by dmitriy_ko 2 days ago | 0 comments

15878.

New Research Tests Whether AI Models Know Their Own Thoughts (quantamagazine.org)

2 points by pseudolus 2 days ago | 0 comments

15879.

An AI agent's public attempt to get 5k GitHub stars in a month (it's at 0) (rogermas05.github.io)

2 points by whatmyaithinks 3 hours ago | 0 comments

15880.

Show HN: I built a fast Java linter in Rust (github.com)

2 points by rsmb7z 2 days ago | 0 comments

15881.

A Meeting with Elizabeth Holmes (psychologytoday.com)

2 points by rmason 2 days ago | 0 comments

15882.

Show HN: Trace to Agent Session, open corresponding segment of dialogue (github.com)

2 points by kagen 2 days ago | 0 comments

15883.

A Claude Artefact that turns vanilla chat into a shared desktop (github.com)

2 points by rmrmrm 1 week ago | 0 comments

15884.

Compilers and Termination Revisited (blog.regehr.org)

2 points by Thorondor 2 days ago | 0 comments

15885.

Write Once, Run Anywhere: Java for Retro Computers? (retrogamecoders.com)

2 points by ibobev 1 week ago | 0 comments

15886.

Show HN: ISPA – Parser generator with grammar-level debugger and error recovery (github.com)

2 points by Sinfolke 1 week ago | 0 comments

15887.

European orbiter detects hints of volcanic activity on Mars (esa.int)

2 points by titusblair 2 days ago | 0 comments

15888.

The Maya used so much red paint that they poisoned their water with mercury (livescience.com)

2 points by geox 32 minutes ago | 0 comments

15889.

Copilot Chat's usage cap and Microsoft would rather u found them by hitting them (theregister.com)

2 points by nephihaha 2 days ago | 0 comments

15890.

A small, fast container runtime for Mac, Windows and Linux. Written in Rust (runkiri.com)

2 points by rmoriz 2 days ago | 0 comments

15891.

OpenAI CEO's Codex keyboard gift to Samsung presidents draws attention (koreatimes.co.kr)

2 points by Liuser 2 days ago | 0 comments

15892.

The Web Is More Than Enough (ftrain.com)

2 points by speckx 2 days ago | 0 comments

15893.

Ask HN: Does Anthropic have live people doing model guardrail checks?

2 points by enjoyyourlife 2 days ago | 0 comments

15894.

Vector IDE – A fast, zero-bloat desktop IDE (github.com)

2 points by OriKuttner 1 week ago | 0 comments

15895.

English, rewritten in Rust (github.com)

2 points by g0xA52A2A 1 week ago | 0 comments

15896.

AI agents have few qualms with log tampering (manifold.security)

2 points by codyznash 1 week ago | 0 comments

15897.

Inside America's $66B Bet to Beat China's Shipbuilding Empire [video] (youtube.com)

2 points by Teever 2 days ago | 0 comments

15898.

Show HN: Lantern Lattice – the call graph from your compiler, for coding agents (github.com)

2 points by juliusml 2 days ago | 0 comments

15899.

Website for Photos (idk34-di.github.io)

2 points by idk34 1 week ago | 0 comments

15900.

Jack Dorsey's Block makes second round of job cuts this year (businessinsider.com)

2 points by kilroy123 2 days ago | 0 comments