FRESH

Hacker News

Page 20

Local Reasoning for Global Properties 36 points by mpweiher | 6 Comments

Small details in my Mastodon client that I wanted more people to notice 7 points by birdculture | 0 Comments

Fly for Less 11 points by vasie | 4 Comments

Show HN: zkGolf – Competitive optimization of formally verified circuits 69 points by rot256 | 12 Comments

Reflections on the Guillotine (1957) 50 points by halperter | 37 Comments

Virginia bans sale of precise geolocation data 948 points by toomuchtodo | 138 Comments

JEP 539: Strict Field Initialization in the JVM moved to preview 68 points by za3faran | 19 Comments

America, 1926: A forgotten 100-year-old report 132 points by momentmaker | 182 Comments

Show your hands honor for the power they bring you 17 points by aua | 1 Comments

The short leash AI coding method for beating Fable 195 points by Riseed | 242 Comments

Box3D, an open source 3D physics engine 519 points by makepanic | 129 Comments

Supersonic flight returning to US after half-century ban 144 points by lobbly | 179 Comments

Australian influencer Lily Jay's tangled web of AI manipulation 45 points by phs318u | 6 Comments

Returning to Zig after losing trust in Rust's governance 21 points by jonathandeamer | 13 Comments

Learn Vim motions with an ice-cream van 121 points by marcusmichaels | 49 Comments

The Bureaucratic Hell of Getting a Job in 2026 6 points by mooreds | 0 Comments

sqlite-utils 4.0rc2, mostly written by Claude Fable (for about $149.25) 64 points by ognyankulev | 78 Comments

How working memory could give rise to consciousness 54 points by bookofjoe | 68 Comments

Exploiting LLM Agent Supply Chains via Payload-Less Skills 5 points by _pdp_ | 0 Comments

Page 20