HN Top Links - Popular Stories from Hacker News

9241.

Taming LLMs: Using Executable Oracles to Prevent Bad Code (john.regehr.org)

47 points by mad44 1 month ago | 20 comments

9242.

Show HN: Public transit systems as data – lines, stations, railcars, and history (publictransit.systems)

47 points by qwertykb 1 month ago | 20 comments

9243.

Can Europe break free of Visa and Mastercard? MEPs stall digital euro (euronews.com)

47 points by doener 2 months ago | 20 comments

9244.

Show HN: Mochi.js: bun-native high-fidelity browser automation library (mochijs.com)

47 points by ccheshirecat 6 days ago | 20 comments

9245.

Easy-to-use solar panels are coming, but utilities are trying to delay them (npr.org)

47 points by geox 2 months ago | 19 comments

9246.

PascalABC.net (pascalabc.net)

47 points by andsoitis 3 months ago | 18 comments

9247.

Age verification now required for DNS resolution (easydns.com)

47 points by StuntPope 1 month ago | 17 comments

9248.

ReMarkable firing up to 40% of their workforce (e24.no)

47 points by davisr 3 weeks ago | 16 comments

9249.

Palantir Workers Are Finally Noticing the Skulls on Their Caps (techdirt.com)

47 points by throawayonthe 1 week ago | 16 comments

9250.

Lilush – LuaJIT static runtime and shell (lilush.link)

47 points by ksymph 2 months ago | 15 comments

9251.

Firefox Now Has Free VPN (blog.mozilla.org)

47 points by fny 1 month ago | 14 comments

9252.

CC leak: skills are better than I thought (dardar.co)

47 points by KaseKun 1 month ago | 14 comments

9253.

Serious = Suspicious, Shooting with Phone vs. Shooting with Camera (photoni.st)

47 points by axython 4 months ago | 14 comments

9254.

NanoClaw's architecture is a masterclass in doing less (jonno.nz)

47 points by timbilt 1 month ago | 13 comments

9255.

Century-bandwidth antenna reinvented,patented after 18 yrs with decade bandwidth (2006) (ieeexplore.ieee.org)

47 points by teleforce 1 month ago | 13 comments

9256.

Cutting Up Curved Things (campedersen.com)

47 points by ecto 3 months ago | 12 comments

9257.

Solid-state EV batteries that can achieve 800 miles of range becoming a reality (electrek.co)

47 points by breve 1 month ago | 11 comments

9258.

Minichord: A pocket-sized musical instrument (github.com)

47 points by surprisetalk 3 months ago | 11 comments

9259.

Names and faces of those killed by Israel in its April 8 massacre (today.lorientlejour.com)

47 points by johnbarron 1 month ago | 10 comments

9260.

More macOS 26.3 Finder column view silliness (lapcatsoftware.com)

47 points by JumpCrisscross 2 months ago | 10 comments

9261.

SPA vs. Hypermedia: Real-World Performance Under Load (zweiundeins.gmbh)

47 points by todsacerdoti 2 months ago | 10 comments

9262.

AutoKernel: Autoresearch for GPU Kernels (github.com)

47 points by frozenseven 2 months ago | 10 comments

9263.

Show HN: I built a P2P network where AI agents publish formally verified science

47 points by FranciscoAngulo 1 month ago | 9 comments

9264.

The legendary Mojave Phone Booth is back (2013) (dailydot.com)

47 points by 1970-01-01 2 months ago | 9 comments

9265.

Entirety of Wikinews to be shut down (en.wikipedia.org)

47 points by CamelCaseCondo 1 month ago | 9 comments

9266.

The Sharp PC-2000 Computer Boombox from 1979 (stereo2go.com)

47 points by coloneltcb 3 months ago | 9 comments

9267.

Lf-lean: The frontier of verified software engineering (theorem.dev)

47 points by alpaylan 2 months ago | 9 comments

9268.

QRV Operating System: QNX on RISC-V (r-tty.blogspot.com)

47 points by chrsw 1 month ago | 8 comments

9269.

Show HN: Cachekit – High performance caching policies library in Rust (github.com)

47 points by failsafe 4 months ago | 8 comments

9270.

Prime chains (johndcook.com)

47 points by ibobev 4 months ago | 8 comments