HN Top Links - Popular Stories from Hacker News

18361.

Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz)

2 points by baruchel 2 months ago | 0 comments

18362.

Hardware-Backed Security Using WolfTPM with SPDM (wolfssl.com)

2 points by aidangarske 2 months ago | 0 comments

18363.

Queer Technologies (zachblas.info)

2 points by bananaflag 2 months ago | 0 comments

18364.

Show HN: WolfCOSE, a zero alloc C COSE with multi-sign/recipient, and PQC (github.com)

2 points by aidangarske 2 months ago | 0 comments

18365.

Your .env files are under attack (netflux.io)

2 points by transmit101 2 months ago | 0 comments

18366.

Every statin ranked by effect size (empirical.health)

2 points by brandonb 2 months ago | 0 comments

18367.

List of Largest Cities (en.wikipedia.org)

2 points by surprisetalk 2 months ago | 0 comments

18368.

The Other Twin Towers in the Spider-Man Trailer (ironicsans.ghost.io)

2 points by caminanteblanco 2 months ago | 0 comments

18369.

CBOMkit: Explore the Use of Cryptography in Software (zurich.ibm.com)

2 points by mooreds 2 months ago | 0 comments

18370.

ServiceNow just unveiled an AI workforce that can run your company (fortune.com)

2 points by ryan_j_naughton 2 months ago | 0 comments

18371.

The Download: inside the Musk vs. Altman trial, and AI for democracy (technologyreview.com)

2 points by joozio 2 months ago | 0 comments

18372.

BWVI – A CLI tool that gives AI agents structured design decision-making (github.com)

2 points by lh123aa 2 months ago | 0 comments

18373.

You Don't Review Your Compiler Output (scottrfrancis.wordpress.com)

2 points by delamon 2 months ago | 0 comments

18374.

AI Agents Don't Sleep. That's the Problem. (substack.com)

2 points by apattichis 2 months ago | 0 comments

18375.

Ask HN: Are you optimizing content for AI Search (GEO) vs. traditional

2 points by shahisoft 2 months ago | 0 comments

18376.

Show HN: I created a Neovim plugin to replace Xcode (github.com)

2 points by wojciech-kulik 2 months ago | 0 comments

18377.

Cal Newport's anti-brain rot rules (thetangent.space)

2 points by speckx 2 months ago | 0 comments

18378.

You only see typos after you post (diels-daydreams.bearblog.dev)

2 points by speckx 2 months ago | 0 comments

18379.

UNIMATRIx – A Society of AI Agents (github.com)

2 points by gslf 2 months ago | 0 comments

18380.

Ask HN: What would it take for you to use photonic inference hardware?

2 points by caloricflow 2 months ago | 0 comments

18381.

The UK's Answer to DARPA Wants to Rewire the Human Brain (wired.com)

2 points by mbeavitt 2 months ago | 0 comments

18382.

Show HN: We're using LLMs to classify risk before execution in prod

2 points by andriosr 2 months ago | 0 comments

18383.

Brockman: OpenAI to Spend $50B on Computing in 2026 (bloomberg.com)

2 points by htrp 2 months ago | 0 comments

18384.

Unlocking Long-Context LLM Training via Compiler-Based Sequence Parallelism (arxiv.org)

2 points by PaulHoule 2 months ago | 0 comments

18385.

Quirre – An AI marketing copilot for non-marketers (quirre.com)

2 points by dmnlaali 2 months ago | 0 comments

18386.

NARE CLI (github.com)

2 points by BastOfMax 2 months ago | 0 comments

18387.

When innocent tools form dangerous chains to jailbreak LLM agents (arxiv.org)

2 points by leecoursey 2 months ago | 0 comments

18388.

Cadillac Championship 2026: Cameron Young calls penalty on himself (golfweek.usatoday.com)

2 points by Tomte 2 months ago | 0 comments

18389.

The Open Social Web Needs Section 230 to Survive (techdirt.com)

2 points by benwerd 2 months ago | 0 comments

18390.

AI Ready Vulnerability Management Program After NVD Changes and Claude Mythos (pulse.latio.tech)

2 points by Harvesterify 2 months ago | 0 comments