newest
AI Used to Verify Toughest Mathematics Proof Yet
2 pointsposted 4 hours ago
by surprisetalkKnowing your robot: the fiduciary program in the age of AI
1 pointsposted 4 hours ago
by hkhnBuilding apps with an autonomous Gauntlet Loop – extended Matt Shumer's concept
1 pointsposted 4 hours ago
by viborcipScreening babies' genomes could save lives
2 pointsposted 4 hours ago
by BrajeshwarThe job ain't quite the same
2 pointsposted 4 hours ago
by mangomanTreasury Announces Increased Sizes of Nominal Long-End Liquidity Support Buyback
1 pointsposted 4 hours ago
by zeliasShow HN: INXM // local` OSS for using LLM as compiler and not as runtime
5 pointsposted 4 hours ago
by oesimaniaShow HN: Data Visualization for Agents
2 pointsposted 4 hours ago
by RileyHilliardHow Claude's Text Watermarking Works [video]
2 pointsposted 4 hours ago
by ModelForgeRemote workers report the highest well-being in study of 7,700 employees
309 pointsposted 4 hours ago
by downbad_IBM's new modular architecture for cryogenic systems
1 pointsposted 4 hours ago
by rbanffySix Ways an Eval Lies: structural defects that survive preregistration
1 pointsposted 4 hours ago
by ThreadborneA pocketable AI agent – Tokens free to use now
1 pointsposted 4 hours ago
by Nut_Changes for Apps in the European Union – Support Developer
1 pointsposted 4 hours ago
by OptionOfTAn echo of Einstein: Unexpected link between whale calls and special relativity
2 pointsposted 4 hours ago
by tiahura100% RHAE on ARC-AGI-3 public with Claude Code, Opus 5, and one skill
2 pointsposted 4 hours ago
by pbshgthmNew Casio F-B100W – Upgrade to the iconic F-91W after 40 years
166 pointsposted 4 hours ago
by __fst__Extreme evolution: The animals evolving at super speed to survive
2 pointsposted 4 hours ago
by jazaliShow HN: a javascript engine written in C3 with native TS support
3 pointsposted 4 hours ago
by ricardobeatRod Liddle loathed me on sight. He was a genius
1 pointsposted 4 hours ago
by myrtlehinchTeaching AI with Quantum Data
1 pointsposted 4 hours ago
by jonbaerFinancial work is a systems problem
1 pointsposted 4 hours ago
by ELAmraniModerna cancer vaccine succeeds in historic Phase 3 trial, stock soars over 115%
3 pointsposted 4 hours ago
by ar_writerWhat Do Students Lose When They Stop Writing?
2 pointsposted 4 hours ago
by cyndunlopAlvarez vs. Apple, Inc. (N.D. Cal., July 15, 2026) [pdf]
2 pointsposted 4 hours ago
by 1vuio0pswjnm7There are two kinds of theorems
1 pointsposted 4 hours ago
by surprisetalkHow to build a cancer vaccine, and whether they will work this time
3 pointsposted 4 hours ago
by abhishaikeShellRisk-Bench – a benchmark for evaluating the cyber risk of agent tool calls
2 pointsposted 4 hours ago
by mc-serious