- 39What we have learned at OpenShell applying formal methods to control AI agents (nvidia.github.io)
- 39Data races and the limits of ThreadSanitizer in C and Go (theconsensus.dev)
- 246Principles for Fast Tokio Applications (dial9-rs.github.io)
- 44There are only twelve 4x4 sudokus (and a cool trick for finding minimal subsets) (baldino.dev)
- 6OpenAI discloses new 'concerning' model behaviour (ft.com)
- 19How do we prevent mathemathics from devolving into the Medieval Era of secrecy? (mathoverflow.net)
- 1272Shopify is moving from React Native back to Swift and Kotlin (shopify.engineering)
- 23GRP-Obliteration: Unaligning LLMs with a Single Unlabeled Prompt (arxiv.org)
- 16025 Years of Mass Surveillance Is Enough [Auth: Cindy Cohn; Bruce Schneier] (lawfaremedia.org)
- 118Rope, twine and thread: Invisible technologies of the Stone Age (knowablemagazine.org)
- 620Make your first edit to OpenStreetMap (high5apps.github.io)
- 68Who Aligns the Aligners? (prestonbyrne.com)
- 21TSMC revealing details about next gen A14 node (iedm26.mapyourshow.com)
- 5A.I. Slopware Is Everywhere Now. Nobody Is Using It (nytimes.com)
- 31Backflip: Apple now wants to train AI models with user data after all (heise.de)
- 449Reverse engineering my e-scooter and rewriting the firmware in Rust (bensimms.moe)
- 155After Math (terrytao.wordpress.com)
- 77Base84 deserves a place in file names (00f.net)
- 36NSF memo implementing Trump's 'golden age' of science unsettles researchers (science.org)
- 180Fed hikes rates as inflation worries push up bond yields (reuters.com)
- 54Show HN: Ordewell – turn one goal into an ordered plan of coding-agent tasks (github.com)
- 25Fixing an NZXT Signal 4K30 part 2: the green/pink video bug (downtowndougbrown.com)
- 53Truncated SVD (2023) (brashandplucky.com)
- 4Apple detectives solved mystery of ancient tree and rewrote the history of fruit (scientificamerican.com)
- 129OpenAI buys smartphone camera maker Glass Imaging for $300M (techcrunch.com)
- 228EuroBirdPortal – Live bird movements across Europe (eurobirdportal.org)
- 274Mullenweg has returned as CEO after attempted board ouster (techcrunch.com)
- 217Amazon vs. Perplexity – U.S. Court of Appeals for the Ninth Circuit (law.justia.com)
- 17Column built an issuer processor from scratch (column.com)
- 56Devil's Arrows: Ancient builders hauled 55k-lb stones 11 miles for UK stone row (sciencedaily.com)