• 67 A blueprint for formal verification of Apple corecrypto (security.apple.com)
  by hasheddan 9 hours ago | 3 comments
• 3 Greeter terminal for bash, zsh, fish, PowerShell, Linux, macOS, Windows (github.com)
  by peetabread 9 hours ago | discuss
• 3 SteelSpine: Replay tool for debugging AI agents (steelspine.ai)
  by jeremyfelps 9 hours ago | 2 comments
• 3 Interpreting Polygenic Prediction of Cognitive Ability (icajournal.scholasticahq.com)
  by gmays 9 hours ago | discuss
• 3 What I've Learned from Agentic Design (chrislachance.com)
  by speckx 9 hours ago | discuss
• 50 Bun's unreleased Rust port has 13,365 unsafe blocks (bun.com)
  by helloplanets 9 hours ago | 38 comments
• 34 Domain-Camouflaged Injection Attacks Evade Detection in Multi-Agent LLM Systems (arxiv.org)
  by sbulaev 9 hours ago | 4 comments
• 3 Tell HN: Packj flags malicious/risky open-source packages (github.com)
  by my2c 9 hours ago | discuss
• 2 Marketing sites don't need a CMS anymore (frigade.com)
  by pancomplex 9 hours ago | discuss
• 5 How did Asterix and Obelix learn to speak fluent Hindi? (2019) (indulgexpress.com)
  by ripe 9 hours ago | 2 comments
• 3 Show HN: Generate free golf yardage books from OpenStreetMap data (npilk.github.io)
  by npilk 9 hours ago | discuss
• 3 Batty: A Multiplexer Built on Ghostty (batty.sstools.co)
  by smallsharptools 9 hours ago | 1 comments
• 3 NYSE Compression Case Study (code.kx.com)
  by tosh 9 hours ago | discuss
• 4 God Is Technology (2010) (archive.org)
  by senkora 9 hours ago | 1 comments
• 4 Show HN: macOS utility to record and playback mouse, keyboard events (github.com)
  by harr01 9 hours ago | discuss
• 5 Why the NTSB Shut Down Their Plane Crash Report Archive [video] (youtube.com)
  by cratermoon 9 hours ago | 1 comments
• 3 Interview with the Engineer of Uruky, a Private Search Engine (theprivacydad.com)
  by Brajeshwar 9 hours ago | discuss
• 6 OpenCode and Cursor's Composer 2.5 (cursor-api.standardagents.ai)
  by lcavalcare 9 hours ago | discuss
• 4 Google Updates Android Bug Bounty Program with $1.5M Offer (forbes.com)
  by Cider9986 9 hours ago | discuss
• 4 Herasight found embryo with potential IQ score in 99.99th percentile (twitter.com)
  by gmays 9 hours ago | discuss
• 2 Schwung – open up your Ableton Move (schwung.dev)
  by Tomte 9 hours ago | discuss
• 3 Shortcuts Playground: Create Apple Shortcuts with Claude Code/Codex (macstories.net)
  by logged4upvoting 9 hours ago | discuss
• 5 60 Percent of Grades at Harvard Were A's. Enough Is Enough (nytimes.com)
  by paulpauper 9 hours ago | 6 comments
• 3 AI as a Design Medium (harvarddesignmagazine.org)
  by CharlesW 9 hours ago | 1 comments
• 4 Secure Boot and Microsoft CA Rollover – a heads-up for distributions (blog.einval.com)
  by speckx 9 hours ago | discuss
• 2 Social Science at the NSF (abundanceandgrowth.org)
  by paulpauper 9 hours ago | discuss
• 2 Frontier labs don't use most AI compute (yet) (epochai.substack.com)
  by gmays 9 hours ago | discuss
• 14 Meta Released a Reddit-Like App Built Around Facebook Groups (firethering.com)
  by steveharing1 9 hours ago | 1 comments
• 2 At Tyler Cowen University, No One Would Have Tenure (bloomberg.com)
  by paulpauper 9 hours ago | 2 comments
• 181 Open source Kanban desktop app that runs parallel agents on every card (kanbots.dev)
  by vitriapp 9 hours ago | 105 comments