HN Top Links - Popular Stories from Hacker News

21331.

Eggshell is an open-source token-saving tool built in Lean4 (github.com)

2 points by o8vm 4 weeks ago | 0 comments

21332.

A Tutorial on the Curry-Howard Correspondence [pdf] (web.archive.org)

2 points by rramadass 4 weeks ago | 0 comments

21333.

Comparison of Isabelle/HOL, Lean, HOL4, and Agda: A Tale of Four Theorem Provers (blueberrywren.dev)

2 points by birdculture 4 weeks ago | 0 comments

21334.

Show HN: GrogLog, a Free Drink Tracker (groglog.io)

2 points by antihero 4 weeks ago | 0 comments

21335.

Show HN: A Safari extension to accelerate animated WebP images (github.com)

2 points by 76SlashDolphin 4 weeks ago | 0 comments

21336.

AWS AgentCore security undone by prompt requesting credentials (theregister.com)

2 points by sbulaev 4 weeks ago | 0 comments

21337.

Measuring Cryptanalytic Effort (bitsofwork.org)

2 points by torutofu 4 weeks ago | 0 comments

21338.

Memory Management (2022) (signalsandthreads.com)

2 points by tosh 4 weeks ago | 0 comments

21339.

Building Houses with Rice Waste (bbc.com)

2 points by ranit 4 weeks ago | 0 comments

21340.

Trama – See your agent's changes as state machines before any code (github.com)

2 points by nicchia 4 weeks ago | 0 comments

21341.

The maverick scientist trying to save coffee from extinction (economist.com)

2 points by andsoitis 4 weeks ago | 0 comments

21342.

Show HN: Termphin – Open-source SSH client whose sessions survive disconnects (github.com)

2 points by mbadyl 4 weeks ago | 0 comments

21343.

What a US purchase costs delivered to 16 countries (refurb.me)

2 points by simoelalj 4 weeks ago | 0 comments

21344.

Show HN: Tack – Type-safe HTTP APIs for Go that reach the TypeScript front end (github.com)

2 points by ravenclown 4 weeks ago | 0 comments

21345.

Show HN: A newsletter powered by Jev (stashletter.dev)

2 points by flexdinesh 4 weeks ago | 0 comments

21346.

AI Engineering Maturity Model: 5 Stages for Teams (augmentcode.com)

2 points by Gigacore 4 weeks ago | 0 comments

21347.

Show HN: Guard hooks for Claude Code, tested against a public corpus (github.com)

2 points by northbridgedev 4 weeks ago | 0 comments

21348.

Textual (IRC Client) has a new home, and it is us (textualapp.com)

2 points by mococa 4 weeks ago | 0 comments

21349.

Evaluating Whether GPT-6 Astra Performs Unsanctioned Supply-Chain Attacks (arxiv.org)

2 points by throw0101a 4 weeks ago | 0 comments

21350.

Our tracking script is smaller than a favicon. How heavy is yours? (foresite.dev)

2 points by cheesemoopy 4 weeks ago | 0 comments

21351.

Do you need to walk 10k steps a day? (economist.com)

2 points by andsoitis 4 weeks ago | 0 comments

21352.

You Built a Knowledge Graph from 1M Documents. Can You Trust It? (memgraph.com)

2 points by LLcolD 4 weeks ago | 0 comments

21353.

Simulation Hypothesis (realm33.org)

2 points by jruohonen 4 weeks ago | 0 comments

21354.

Show HN: THX-01 – Free API for our open-source decision model (twitter.com)

2 points by lebagetdefrance 4 weeks ago | 0 comments

21355.

cgo is not Go (2016) (dave.cheney.net)

2 points by tosh 4 weeks ago | 0 comments

21356.

The new rules of context engineering for Claude 5 generation models (claude.dev)

2 points by robluxus 4 weeks ago | 0 comments

21357.

Web Design in Auckland: Costs, Options and How to Choose (kiwiwebdesign.co.nz)

2 points by kiwiwebdesign 4 weeks ago | 0 comments

21358.

Land animals and ecosystems walloped in wake of end-Permian mass extinction (nhmu.utah.edu)

2 points by gehwartzen 4 weeks ago | 0 comments

21359.

I build an open-source runtime security layer for AI agents – Let's break it (github.com)

2 points by makan09 4 weeks ago | 0 comments

21360.

Build an agent harness from scratch to pass Ian Goodfellow's intelligence test (notesbylex.com)

2 points by lexandstuff 4 weeks ago | 0 comments