FRESH

Hacker News

Page 6

Making Sense of Proof by Contradiction [pdf] 45 points by surprisetalk | 27 Comments

US Army used 35 drones and 100 lb of C4 to clear a breach 3 points by Lihh27 | 1 Comments

The unbearable cheapness of open weight models 200 points by ddxv | 184 Comments

Like a Bouncer at a Bookstore: Texas' App Store Accountability Act 12 points by bilsbie | 14 Comments

Gossamer: a Rust-flavoured language with real goroutines and pause-free memory 87 points by mwheeler | 84 Comments

Wikipedia's Cofounder Has Been Banned from Wikipedia 15 points by RickJWagner | 4 Comments

A peek into Reddit's anti-spam internals 41 points by OuterVale | 3 Comments

Show HN: WebBase-III – dBASE III rebuilt in the browser with its own interpreter 94 points by ddecoene | 27 Comments

Tuta: They are bringing back ChatControl 40 points by nickslaughter02 | 6 Comments

SCC Technical Assistance Program 23 points by luu | 1 Comments

Show HN: Smart model routing directly in Claude, Codex and Cursor 201 points by adchurch | 109 Comments

You've tried DuckDuckGo and Brave Search, now get serious with SearXNG 30 points by philonoist | 8 Comments

We all depend on open source. We will defend it together 462 points by dhruv3006 | 227 Comments

Show HN: Autofit2 – End-to-end pipeline for multilingual text classification 28 points by leschak | 2 Comments

What Is a Nomogram and Why Would It Interest Me? 143 points by Eridanus2 | 24 Comments

Perry – compiles TypeScript to native GUI and CLI apps. No runtime / Electron 24 points by sanketpatrikar | 6 Comments

Thousands more artists join Ireland's basic income plan 15 points by colinprince | 3 Comments

Vessel – Agentless, local-first VPS control plane in Tauri and Rust 3 points by shihebamrii | 0 Comments

Framework's 10G Ethernet module exposes USB-C's complexity 321 points by Alupis | 181 Comments

Page 6