HN Top Links - Popular Stories from Hacker News

18361.

My secret life as a relapsed alcoholic (theguardian.com)

2 points by tosh 1 day ago | 0 comments

18362.

Robert Caro: The master biographer reflects at 91 [video] (youtube.com)

2 points by brandonb 1 week ago | 0 comments

18363.

Show HN: Tokenfund – back open source with your coding agent's tokens, not money (tokenfund.myclawn.com)

2 points by myclawn 4 days ago | 0 comments

18364.

Bend 2: Is formal verification the future of AI coding? [video] (youtube.com)

2 points by tanaykarnik 1 week ago | 0 comments

18365.

OpenAI doubles ChatGPT Pro usage limits after backlash over planned 50% cut (bleepingcomputer.com)

2 points by entryleveljobsc 1 week ago | 0 comments

18366.

Show HN: I made a tool that turns your Google Search Console data IN public page

2 points by sohaill 4 days ago | 0 comments

18367.

Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness (sf-tensor.com)

2 points by adamnemecek 6 days ago | 0 comments

18368.

Perplexity Team Mates (perplexity.ai)

2 points by sidcool 4 days ago | 0 comments

18369.

Rtty Program for Linux Radio Teletype for Amateur Radio (github.com)

2 points by lightlyused 3 hours ago | 0 comments

18370.

Convenience Is a Hot Commodity (vox.com)

2 points by dabinat 15 hours ago | 0 comments

18371.

GAC starts mass-producing Level 4 robotrucks in China (asia-tech-news.ghost.io)

2 points by ilamont 1 week ago | 0 comments

18372.

Wattsec: Display macOS power usage in the menu bar (github.com)

2 points by petecooper 15 hours ago | 0 comments

18373.

Show HN: After decades, I have my almost perfect music player (github.com)

2 points by mococa 1 day ago | 0 comments

18374.

C15T: The open standard for cookie banners (c15t.com)

2 points by nateb2022 2 hours ago | 0 comments

18375.

How the *sshole vulnerability came to be (twitter.com)

2 points by JonathanBeuys 4 days ago | 0 comments

18376.

Show HN: HackerByte – Finding promising AI stories by analyzing HN discussions (hackerbyte.net)

2 points by bakigul 6 days ago | 0 comments

18377.

Understanding the World: A Practical Worldview Framework[pdf] (zenodo.org)

2 points by jeyananth 2 days ago | 0 comments

18378.

Archimedes: AI agents that design physical things (standardphysics.com)

2 points by torutofu 1 day ago | 0 comments

18379.

100 Fly Brains Play Doom (namespace.so)

2 points by benwen 6 days ago | 0 comments

18380.

Three Points on AI Safety (nicholasdecker.substack.com)

2 points by speckx 6 days ago | 0 comments

18381.

Show HN: KerfScript Programming Language for Laser Cutting (kerfscript.mylasertools.com)

2 points by jmlk 1 week ago | 0 comments

18382.

TeXmacs Upsilon (mgubi.github.io)

2 points by remywang 4 days ago | 0 comments

18383.

New strategies for the cognitive science of dreaming (2024) (pmc.ncbi.nlm.nih.gov)

2 points by Daniel_Van_Zant 6 days ago | 0 comments

18384.

Linux Mint Developing New Apps for Terminal and System Monitoring (phoronix.com)

2 points by mikece 1 week ago | 0 comments

18385.

Aegis OS: a transactional multi-tenant OS runtime for autonomous coding agents (arxiv.org)

2 points by anatolii1309 15 hours ago | 0 comments

18386.

Some Polymarket user funds stolen by hackers (cnbc.com)

2 points by debo_ 1 week ago | 0 comments

18387.

The Southwest's extreme flooding foreshadows a wild El Niño winter (grist.org)

2 points by speckx 4 days ago | 0 comments

18388.

Show HN: Resilient AI Worker Queue with Redis, BullMQ, and Budget Kill Switches (github.com)

2 points by sidsri1234 4 days ago | 0 comments

18389.

Show HN: Replay three AI agent approval failures in five seconds, in Python (github.com)

2 points by iuogh71 4 days ago | 0 comments

18390.

Show HN: Lunar – a coding harness built for transparency and efficiency

2 points by gszr 4 days ago | 0 comments