- 303Vomit: Clean up Claude 5's token output with a separate LLM (github.com)
by Bluestein 3 days ago | 297 comments - 9The crisis of AI-generated mathematics (arxiv.org)
by mad a day ago | 2 comments - 3Even More Formal Verification for BPF (lwn.net)
by pykello a day ago | discuss - 12Meteoric – Drones that clear clouds over solar farms (meteoric.earth)
by porridgeraisin 2 days ago | 6 comments - 266Why aren't smart people happier? (2022) (experimental-history.com)
by rafaelc 3 days ago | 424 comments - 23Microsoft Blames Windows Gaming Issues on RGB Lighting Devices (bleepingcomputer.com)
by m463 21 hours ago | 11 comments - 6Yahoo, the internet's 'OG', wants to win over Gen Z (ft.com)
by thm 6 hours ago | 2 comments - 7Neutron stars: smoother than billiard balls – unfortunately (ligo.org)
by raattgift a day ago | discuss - 80Tidal Cycles – Live coding music with Algorithmic patterns (tidalcycles.org)
by gjvc 3 days ago | 16 comments - 647Remote workers report the highest well-being in study of 7,700 employees (colorado.edu)
by downbad_ 4 days ago | 351 comments - 4Volcanoes that made history (arstechnica.com)
by Brajeshwar 9 hours ago | discuss - 108Belgian car salesman becomes prince after DNA test proves royal parentage (cnn.com)
by MilnerRoute a day ago | 95 comments - 28AI has failed to win people's trust. Its makers? less trusted (euronews.com)
by billybuckwheat a day ago | 5 comments - 175Bun 1.4 Rust rewrite is not looking good? (tipiirai.com)
by tipiirai 5 days ago | 143 comments - 83Show HN: Open-source Stripe Connect alternative (zoneless.com)
by tinyprojects 3 days ago | 36 comments - 36Man loses so much weight employer doesn't recognize him (wsvn.com)
by madihaa 2 days ago | 14 comments - 20Doomscrolling at work wastes time, but the real cost is what happens after (stories.tamu.edu)
by giuliomagnifico 15 hours ago | 19 comments - 29Another better lower bound for n=17 square packing (gus-massa.blogspot.com)
by gus_massa 2 days ago | 8 comments - 103An elliptic curve of rank ≥ 30 (elliptic-rank.icarm.cloud)
by robinhouston 3 days ago | 31 comments - 8QEMU, now with almost full NeXT Black/M68K hardware support (github.com)
by wmlive a day ago | discuss - 314fx :Tiny, open, native coding agent. (fx.sh)
by handfuloflight 5 days ago | 135 comments - 57Seed: Minimal, self-modifying agent harness (github.com)
by gandalfgeek 3 days ago | 20 comments - 600Moderna reports first positive Phase 3 for mRNA neoantigen therapy in melanoma (twitter.com)
by heydenberk 4 days ago | 299 comments - 466Casio F-B100W-1A (casio.com)
by __fst__ 4 days ago | 386 comments - 21Palantir's Karp – frontier AI labs that are 'trying to drug addict us' (cnbc.com)
by rishabhd 21 hours ago | 10 comments - 80Risk Engineering (risk-engineering.org)
by throwaw12 4 days ago | 17 comments - 6China joins Europe in scrapping Windows for Linux (zdnet.com)
by mindracer 5 hours ago | 1 comments - 14In 2000, Ted Kaczynski advised against math career due to future AI progress (twitter.com)
by MrBuddyCasino 21 hours ago | discuss - 381Japan tried to build an operating system for the world, the US intervened (xda-developers.com)
by rdmuser 3 days ago | 225 comments - 462Cerebras CS-4 (cerebras.ai)
by sunils34 5 days ago | 275 comments