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