- 1 Specula: Scaling formal specs for autonomous model checking of system code (muratbuffalo.blogspot.com)
- 1 16GB EGPU for AI Inference, $699 (amazon.com)
- 1 Show HN: I asked Claude to write DDIA as a live comic (systemscomic.com)
- 1 How the smiley face was born (history.com)
- 2 Edge is dropping older extensions(Manifest V2), affecting popular privacy tools (malwarebytes.com)
- 1 You're Absolutely Right (lesswrong.com)
- 1 Show HN: Rule-lite – Tiny dependency-free TS engine for JSON conditional rules (github.com)
- 2 From assistance to execution: How enterprises put AI to work (openai.com)
- 1 A unified CLI for native OS keychains – x keyring (x-cmd.com)
- 1 OpenLiving - A data center you can live in [video] (youtube.com)
- 2 Pixel Watch 5 adds a feature Apple Watch desperately needs (cultofmac.com)
- 1 Examples for use of AI and especially LLMs in major mathematical developments (mathoverflow.net)
- 2 Show HN: Agent Memory Leaderboard – first public results for AI memory systems (agentmemoryleaderboard.ai)
- 3 SLAC: CPU-to-GPU Side-Channel Attacks via System-Level Cache on Apple Silicon (arxiv.org)
- 3 Clamiga: Common Lisp for the Amiga (nnamgreb.de)
- 2 Dart 3.13 (dart.dev)
- 1 Show HN: I'm tired replying my social media visitors, I let AI agent handle it (agle.app)
- 2 Notation as a Tool of Thought (1980) (jsoftware.com)
- 7 Tech adds phone tracking to license plate readers, associating devices with cars (theconversation.com)
- 2 Two weeks later and Adsense is still serving up Scareware (bsky.app)
- 5 'Near-autonomous' AI agents attack Taiwan's nuclear safety agency (theregister.com)
- 4 Tailscale says deeply buried 16-year-old SQLite bug caused last year's outages (theregister.com)
- 2 Terabytes of credentials leaked in supply-chain attack (arstechnica.com)
- 10 When Will AI Take My Job? (whenwillaitakemyjob.ai)
- 5 Why your Amazon order confirmation emails have become so unhelpfu (theverge.com)
- 1 Show HN: ZKE – A macOS-style multi-cluster Kubernetes console over QUIC (github.com)
- 1 The next AI interface may not be a chatbot (hajek.no)
- 1 Doable: Self-hosted AI app builder for teams (github.com)
- 2 Production-ready detection and response queries for osquery (github.com)
- 5 Why must a socialist also be woke? (ft.com)