news
A code knowledge graph grounded in formal methods
4 pointsposted a day ago
by spaliwal26Starfall – Affordable, routine access to microgravity
288 pointsposted 6 days ago
by gmaysNature has a biodegradable plastic. Science wants to reverse engineer it
4 pointsposted a day ago
by soperjBritain to make salary disclosure in job ads mandatory
628 pointsposted 4 days ago
by 1659447091They don't make 'em like that any more: Borland Turbo Pascal 7
230 pointsposted 3 days ago
by andsoitisShow HN: Spindle – a full-featured, type-safe web framework for OCaml 5
64 pointsposted 5 days ago
by zaievAds in Popular Apps Give Police a Powerful Tool to Spy on Users
124 pointsposted 2 days ago
by mgh2An Aggregate Is a Function, Not a Sum
9 pointsposted 5 days ago
by alnovisPiezoelectric toothbrush reduces plaque
14 pointsposted 2 days ago
by GaishanAI for scientific discovery: How researchers use Claude
103 pointsposted 4 days ago
by ersinesenCompuServe Information Service remade for the modern web
7 pointsposted a day ago
by oldnetguyAsahi Linux Drops MIT, Goes Full GPL After AI Used to Steal Unreleased Code
72 pointsposted 2 days ago
by majorchordEvaporative cooling cuts solar panel temperature by about 30 C in tests
10 pointsposted 19 hours ago
by titusblairRealPage rent-pricing case wraps with nearly $360M to renters
192 pointsposted 4 days ago
by raybbHow octopuses squeeze through too small gaps
77 pointsposted 4 days ago
by bookofjoeAnthropic IPO buyers see valuation as low as $1.1T
322 pointsposted 4 days ago
by dgellowHumans will never again create a project quite like Wikipedia
481 pointsposted a day ago
by edwardShow HN: An offline desktop companion to help maintain a healthy blink rhythm
39 pointsposted 3 days ago
by prnysoniMemorilla: Latent Semantic Memory for LLMs
124 pointsposted 4 days ago
by handfuloflightFrom Linux to Wikipedia: How Volunteers Build the Internet
347 pointsposted 5 days ago
by jonbaerZero Hour: Telling time was a matter of survival and strategy during WWI (2014)
106 pointsposted 5 days ago
by NaOHCuban: Facebook knowingly runs AI deepfake scam ads; docs say $16B fraud revenue
522 pointsposted 5 days ago
by randycupertinoReplit rebuilt its sandbox engine with microVMs
99 pointsposted 4 days ago
by gaplong