HN Top Links - Popular Stories from Hacker News

19081.

Practical Formal Verification for MLIR Programs (arxiv.org)

2 points by matt_d 2 months ago | 0 comments

19082.

Gemini 3.1 Flash-Lite is now generally available (cloud.google.com)

2 points by nateb2022 2 months ago | 0 comments

19083.

If You Read One Screenwriting Book, Read This (jamesgarside.substack.com)

2 points by monkeymagick 2 months ago | 0 comments

19084.

Amazon's Durability (stratechery.com)

2 points by wslh 2 months ago | 0 comments

19085.

Ask HN: How Would Go About (Legally) Cracking a Game?

2 points by MarcellusDrum 2 months ago | 0 comments

19086.

Frontier models refuse to help organizers, so we built our own activist AI (outcryai.com)

2 points by micahwhite 2 months ago | 0 comments

19087.

NocTUI – Lightweight C Library for Building Terminal User Interfaces (TUIs) (github.com)

2 points by 333revenge 2 months ago | 0 comments

19088.

Arena Physica (arenaphysica.com)

2 points by skogstokig 2 months ago | 0 comments

19089.

Real-Time Vibrotactile Stimulation and Inter-Brain Connectivity in Partner Dance (dl.acm.org)

2 points by bookofjoe 2 months ago | 0 comments

19090.

Could development economics be more useful? (noahpinion.blog)

2 points by paulpauper 2 months ago | 0 comments

19091.

[Canvas] Security Incident Update and FAQs (instructure.com)

2 points by freedomben 2 months ago | 0 comments

19092.

Victory in FOIA Against Twelve South for PlugBug 120W Electrical Info (archive.org)

2 points by birdculture 2 months ago | 0 comments

19093.

Cluster of lost cities in Ecuador that lasted 1k years mapped (2024) (thehill.com)

2 points by thunderbong 2 months ago | 0 comments

19094.

Staten Island deer count drops nearly 50% since start of vasectomy program (silive.com)

2 points by randycupertino 2 months ago | 0 comments

19095.

You're ignoring most of the world – Which countries get attention by the numbers (timhirschelburns.substack.com)

2 points by alphabetatango 2 months ago | 0 comments

19096.

Show HN: Build a custom AI in under 60 seconds (demo video) (youtube.com)

2 points by AnujKapasia 2 months ago | 0 comments

19097.

Block Guard: Spam Call Blocker (play.google.com)

2 points by BlockGuardApp 2 months ago | 0 comments

19098.

Grok TTS vs. OpenAI (techstackups.com)

2 points by ritzaco 2 months ago | 0 comments

19099.

DynDNS via SSH and NSD (cweiske.de)

2 points by speckx 2 months ago | 0 comments

19100.

Deploying Go with Apache? (Using FastCGI) (piperswe.me)

2 points by mooreds 2 months ago | 0 comments

19101.

The all-new Fitbit Air (blog.google)

2 points by tlyleung 2 months ago | 0 comments

19102.

Android application to switch display into side-by-side VR mode (github.com)

2 points by Eridanus2 2 months ago | 0 comments

19103.

55 Hours of Codex /Goal: What a Port Task Teaches You About Autonomous Loops (vexjoy.com)

2 points by AndyNemmity 2 months ago | 0 comments

19104.

Markdown archive for the public war.gov UFO/PURSUE Release 01 files (github.com)

2 points by SweetSoftPillow 2 months ago | 0 comments

19105.

How Do You Know If a Skill Is Any Good? LLM-as-Judge Scoring (instructionmanuel.com)

2 points by eigenBasis 2 months ago | 0 comments

19106.

VLAs are dead, long live World Action Models (daft.ai)

2 points by ykev 2 months ago | 0 comments

19107.

Show HN: PostDew – LinkedIn posts that don't sound like AI (postdew.com)

2 points by okchildhood 2 months ago | 0 comments

19108.

Tesla's screwup involves making the font size of braking system too small (2024) (theverge.com)

2 points by gurjeet 2 months ago | 0 comments

19109.

Foundation Model Engineering: From theory to production (sungeuns.github.io)

2 points by sungeuns 2 months ago | 0 comments

19110.

Show HN: Coord – atomic task claims for parallel AI coding agents (github.com)

2 points by V1291l 2 months ago | 0 comments