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