- 1Nvidia Auto Ontology lidera GitHub Trending e amplia propostas (rendernet.com.br)
- 2How to get domain ideas from competitor websites (dnslister.com)
- 1A startup wants to build a nuclear-powered data center on public land in Utah (npr.org)
- 2HR Smart System (hr.examopotamia.com)
- 1Conductor Joins Meta (conductor.build)
- 1Visualizing the Chip Startup Landcape (aolofsson.github.io)
- 2A Tale of Two Humanoid Makers: Agility and Unitree (read.corematter.com)
- 20Don't Call It a Decision Model (typesafe.ai)
- 2Show HN: My compact, bio inspired distributed edge detection algorithm (github.com)
- 3Moving to Dubai for Remote Work (rozumem.xyz)
- 4Show HN: Diorama – Draw a world, play it with point and click (grzegorz.tanczyk.pl)
- 1Anthropic's FlashProve proves which model wrote a reply, and its 72x cost (theainewsreport.com)
- 2Time to wake up MetOp-SG-B1 weather satellite (new.esa.int)
- 1What Gemini does with saved chats, and what turning off Keep Activity costs (theainewsreport.com)
- 1Skill to verify and optimize software with TLA+ and ts-tla (github.com)
- 8New York reports first measles death in more than 30 years (nbcnews.com)
- 5Insider Selling Isn't the Warning Sign. A Late Filing Is (optimistfi.com)
- 3Fireflies: A game written in Neural Net Weights (twitter.com)
- 2New Morning (math.columbia.edu)
- 1Try Envelox, our new privacy-focused iOS email app with built-in PGP encryption (testflight.apple.com)
- 6League City to disable Flock cameras after voters reject their use (houstonpublicmedia.org)
- 2Show HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square" (zenodo.org)
- 2TIL: Bash can have functions and variables with the same name (heitorpb.github.io)
- 39Hacking the T-Mobile Sidekick, 20 Years Too Late (x86.cx)
- 3Prettier: An Opinionated Code Formatter (prettier.io)
- 1Thoughts on Zero Breach Repo? (github.com)
- 2Length Is Cheap, Competition Is Not: Attention Predicts Context Rot in Retrieval (arxiv.org)
- 8Democratic Congress could test decades of US support for Israel (reuters.com)
- 2Advancing the Quality-Efficiency Frontier for Coding AI on Windows PCs (devblogs.microsoft.com)
- 1Reverse Engineering a Children's Camera and Making It Run Doom (spodesabode.com)