HN Top Links - Popular Stories from Hacker News

2881.

Vibe Under Constraint - Claude Code writing Lean 4 (ngrislain.github.io)

3 points by ngrislain 3 days ago | 1 comments

2882.

FilenQ – a native macOS file manager for power users (filenq.app)

3 points by webseidon 2 days ago | 1 comments

2883.

Field Note #009: The Asymmetric Exposure (azimuth.so)

3 points by bennieblanco 2 days ago | 1 comments

2884.

Claude Skill that turns the 37signals decision guide into a thinking partner (github.com)

3 points by alianinfo 2 days ago | 1 comments

2885.

'Edited' human embryos reveal secrets of our development–and fuel ethical debate (nature.com)

3 points by bookofjoe 23 hours ago | 1 comments

2886.

As I am suing the FBI, there may be interruptions to VitaSet LLC's operation

3 points by VitaSetLLC 2 days ago | 1 comments

2887.

Promptblock – detect prompt injections in GitHub issues (ryandens.github.io)

3 points by rdens1 5 days ago | 1 comments

2888.

Lufthansa Asked for My Credit Card (yashgarg.dev)

3 points by speckx 23 hours ago | 1 comments

2889.

Strategic Violence and Epistemic Negotiation (grajmanu.wordpress.com)

3 points by grajmanu 1 day ago | 1 comments

2890.

Rightwing populist 'El Tigre' wins Colombia election (ft.com)

3 points by petethomas 5 days ago | 1 comments

2891.

Local and GitHub Code Review TUI (tuicr.dev)

3 points by angelmm 1 day ago | 1 comments

2892.

My Opinion on RL

3 points by umjunsik132 5 days ago | 1 comments

2893.

Mitigating Shai-Hulud Attacks with Hermetic Builds (flox.dev)

3 points by ronef 3 days ago | 1 comments

2894.

Mapping London – All Sorts of Interesting Maps of London (mappinglondon.co.uk)

3 points by akashwadhwani35 1 day ago | 1 comments

2895.

Show HN: An LLM agent that emits typed intent (github.com)

3 points by gabert 2 days ago | 1 comments

2896.

AI enthusiasts in a race against time, AI skeptics in a race against entropy (charity.wtf)

3 points by The_Fox 2 days ago | 1 comments

2897.

Ask HN: How are you solving long-term memory for production AI agents in 2026?

3 points by xSingh16 1 day ago | 1 comments

2898.

Corv: An SSH client for AI agents (and humans) (github.com)

3 points by khalid_0002 4 hours ago | 1 comments

2899.

Ask HN: Techniques for learning things quickly using coding agents?

3 points by throwaw12 22 hours ago | 1 comments

2900.

The Story of the UK General Strike (nationalarchives.gov.uk)

3 points by petethomas 5 days ago | 1 comments

2901.

My BASB Implementation in Org Mode (ftwynn.com)

3 points by ankitg12 1 day ago | 1 comments

2902.

Stop Fearing Incidental Findings (ostro.ws)

3 points by robbieo 5 days ago | 1 comments

2903.

4 years of working with AI as content writer (getibex.com)

3 points by f3b5 3 days ago | 1 comments

2904.

AI Browser Game Jam 3 submissions closed with 85 AI-assisted browser games (itch.io)

3 points by KilledByAPixel 2 days ago | 1 comments

2905.

GNU C/C++ Vector Extensions (gcc.gnu.org)

3 points by pillmillipedes 3 days ago | 1 comments

2906.

Talos: Scaling rare disease diagnosis by automated, iterative genomic reanalysis (microsoft.com)

3 points by femto 2 days ago | 1 comments

2907.

Svoxx.com (svoxx.com)

3 points by kilincarslan 3 days ago | 1 comments

2908.

Notes on the Industry Job Search (alisawuffles.github.io)

3 points by cosmoharrigan 5 days ago | 1 comments

2909.

A modern CLI for Java projects (github.com)

3 points by sachahjkl 3 days ago | 1 comments

2910.

Show HN: DesktopMCP – Let AI See and Operate your Linux desktop (github.com)

3 points by varbhat 2 days ago | 1 comments