Also available in 中文 — Read in 中文

Daily Tech Digest | 2026-07-30

Today's picks: 15 articles — 2026-07-30

---
aiGenerated: true
aiModel: agnes-2.0-flash
category: tools
description: 15 curated tech stories from 82 submissions
excerpt: Today's tech highlights (15 stories selected from 82)
isOriginal: false
lang: en
publishedAt: 2026-07-30
slug: daily-digest-2026-07-30
sources:
- source: hackernews
  title: KOReader
  url: https://koreader.rocks/
- source: hackernews
  title: Document-borne AI worms can self-propagate through Copilot for Word
  url: https://enklypesalt.com/posts/context-collapse-part3-ai-worming-through-word/
- source: hackernews
  title: More Tailscale tricks for your jailbroken Kindle
  url: https://tailscale.com/blog/jailbroken-kindle-proxy-tun-modes
- source: hackernews
  title: SpecForge – A Platform for Authoring Formal Specifications
  url: https://docs.imiron.io/v/0.5.10/en/tour.html
- source: hackernews
  title: User Interfaces of the Demo Scene
  url: https://www.datagubbe.se/scenegui/
- source: hackernews
  title: 'SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers'
  url: https://micrologics.org/blog/sqlite-in-production-optimizing-wal-mode-concurrency-and-vfs-layers-for-low-latency-app-servers
- source: hackernews
  title: Codex Security
  url: https://github.com/openai/codex-security
- source: hackernews
  title: Substack writers, you need a website
  url: https://elizabethtai.com/2026/06/10/substack-writers-you-need-a-website/
- source: hackernews
  title: Half-Life ported to Mac OS 9
  url: https://mac-classic.com/news/half-life-ported-to-mac-os-9/
- source: hackernews
  title: 'Show HN: Vimgolf.ai – Learn Vim by playing through a map of levels'
  url: https://vimgolf.ai
- source: hackernews
  title: Kimi K3 Architecture Overview and Notes
  url: https://sebastianraschka.com/blog/2026/kimi-k3-architecture-notes.html
- source: hackernews
  title: 'Cracking Windows Open: Porting RADV to Win32'
  url: https://www.collabora.com/news-and-blog/news-and-events/cracking-windows-open-porting-radv-to-win32.html
- source: hackernews
  title: ReFrame – The EPaper Camera
  url: https://reframe.camera/
- source: hackernews
  title: LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences
  url: https://learnvector.ai/
- source: hackernews
  title: National Security Determination Threat Posed by Foreign-Produced Robotic
    Devices [pdf]
  url: https://www.fcc.gov/sites/default/files/robots-nsd.pdf
- source: hackernews
  title: Steel Bank Common Lisp version 2.6.7
  url: https://sbcl.org/all-news.html?2.6.7
- source: hackernews
  title: 'Hubble: Open-source notetaking app for you and your agents'
  url: https://www.hubble.md/
- source: hackernews
  title: 'Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co-Design'
  url: https://transformer-transformer.github.io/
- source: hackernews
  title: Una GPS smart watch – Repairable, USB-C charging, developer-friendly
  url: https://unawatch.com/
- source: hackernews
  title: Hooray for the Sockets Interface
  url: https://blog.apnic.net/2026/07/28/hooray-for-the-sockets-interface/
- source: hackernews
  title: Zig's Incremental Compilation Internals
  url: https://mlugg.co.uk/posts/incremental-compilation-internals/
- source: github_trending
  title: mattpocock/skills
  url: https://github.com/mattpocock/skills
- source: github_trending
  title: DigitalPlatDev/FreeDomain
  url: https://github.com/DigitalPlatDev/FreeDomain
- source: ars_technica
  title: Google's SynthID watermark is hard to break, but it doesn't solve AI misinformation
  url: https://arstechnica.com/ai/2026/07/tested-google-synthid-works-great-but-labeling-ai-content-may-be-a-losing-game/
- source: ars_technica
  title: Elon Musk finally launches X Money. What could possibly go wrong?
  url: https://arstechnica.com/tech-policy/2026/07/elon-musk-finally-launches-x-money-what-could-possibly-go-wrong/
- source: ars_technica
  title: 'Audi has a new flagship designed with the US in mind: The 2027 Q9'
  url: https://arstechnica.com/cars/2026/07/audi-has-a-new-flagship-designed-with-the-us-in-mind-the-2027-q9/
- source: ars_technica
  title: Reaction wheel failures leave Swift rescue mission spinning in orbit
  url: https://arstechnica.com/space/2026/07/reaction-wheel-failures-leave-swift-rescue-mission-spinning-in-orbit/
- source: ars_technica
  title: College lab class ends with 32 people on antibiotics for deadly germ exposure
  url: https://arstechnica.com/health/2026/07/college-lab-class-ends-with-32-people-on-antibiotics-for-deadly-germ-exposure/
- source: ars_technica
  title: We now have a better understanding how OpenAI hacked into Hugging Face
  url: https://arstechnica.com/security/2026/07/jfrog-tries-to-spin-openai-0-day-exploit-of-its-app-into-a-success-story/
- source: ars_technica
  title: eBay pays $46M to journalists it targeted in bizarre harassment campaign
  url: https://arstechnica.com/tech-policy/2026/07/ebay-former-execs-pay-56m-to-settle-bloody-pig-mask-harassment-case/
- source: ars_technica
  title: 'Study: Dinosaurs were charbroiled after Chicxulub impact'
  url: https://arstechnica.com/science/2026/07/dust-cloud-from-dino-killing-asteroid-charbroiled-the-earth/
- source: ars_technica
  title: 'Philly suburb: Sure, build that data center—but first meet our 43 demands'
  url: https://arstechnica.com/tech-policy/2026/07/philly-suburb-sure-build-that-data-center-but-first-meet-our-43-demands/
- source: ars_technica
  title: Despite AI hype, Google's data shows workers aren't automating themselves
    away
  url: https://arstechnica.com/ai/2026/07/despite-ai-hype-googles-data-shows-workers-arent-automating-themselves-away/
- source: ars_technica
  title: New airliner sets record flying 24 hrs nonstop from Australia to France
  url: https://arstechnica.com/gadgets/2026/07/new-airliner-sets-record-flying-24-hrs-nonstop-from-australia-to-france/
- source: ars_technica
  title: As US measles cases rise, biotech firms start developing new treatments
  url: https://arstechnica.com/health/2026/07/as-us-measles-cases-rise-biotech-firms-start-developing-new-treatments/
- source: ars_technica
  title: Microsoft unveils AI security tools it says outperform competing platforms
  url: https://arstechnica.com/security/2026/07/microsoft-unveils-ai-security-tools-it-says-outperform-competing-platforms/
- source: ars_technica
  title: Trump admin exempts SpaceX's Starlink from FCC ban on foreign-made routers
  url: https://arstechnica.com/tech-policy/2026/07/starlink-gets-exemption-from-fcc-ban-on-routers-made-outside-the-us/
- source: ars_technica
  title: iOS and macOS 26.6 arrive today, paving the way for iOS and macOS 27
  url: https://arstechnica.com/gadgets/2026/07/ios-and-macos-26-6-arrive-today-paving-the-way-for-ios-and-macos-27/
- source: ars_technica
  title: A missing underscore sent innocent man to prison for 18 months
  url: https://arstechnica.com/tech-policy/2026/07/police-missed-one-underscore-and-sent-the-wrong-man-to-prison/
- source: ars_technica
  title: "Google and Reddit do not own the Internet," web scraper says after court
    win
  url: https://arstechnica.com/tech-policy/2026/07/google-wont-give-up-odd-war-against-ai-web-scraping-despite-court-loss/
- source: hackernews
  title: The iPhone Upgrade Program is being replaced by Apple Upgrade
  url: https://www.apple.com/shop/iphone/iphone-upgrade-program
- source: hackernews
  title: Now is the time to give LLMs access to the ACM digital library
  url: https://cacm.acm.org/opinion/now-is-the-time-to-give-llms-access-to-the-acm-digital-library/
- source: hackernews
  title: A Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT)
  url: https://jcgt.org/published/0015/02/01/
- source: hackernews
  title: Pulse Path – a browser puzzle where placement is the only decision
  url: https://pulsepathgame.netlify.app/
- source: hackernews
  title: Disrupting supply chain attacks on NPM and GitHub Actions
  url: https://github.blog/security/supply-chain-security/disrupting-supply-chain-attacks-on-npm-and-github-actions/
- source: hackernews
  title: 'ALP: Adaptive lossless floating-point compression'
  url: https://github.com/cwida/ALP
- source: hackernews
  title: NSF pilots 4-year PhDs with industry research placements
  url: https://www.nsf.gov/news/nsf-partners-universities-industry-pilot-initiative-four
- source: hackernews
  title: AI's top startups are barely publishing their research
  url: https://www.science.org/content/article/ai-s-top-startups-are-barely-publishing-their-research
- source: hackernews
  title: The coolest use for the Vision Pro
  url: https://christianselig.com/2026/07/vision-pro-house/
- source: hackernews
  title: 'Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series
    Mac'
  url: https://github.com/drumih/turbo-fieldfare
- source: hackernews
  title: LLM Honeypot
  url: https://llm2human.pages.dev/
- source: hackernews
  title: Keychron announces first open-source firmware for gaming mice
  url: https://www.digitalfoundry.net/news/2026/07/keychron-announces-first-open-source-firmware-for-gaming-mice
- source: hackernews
  title: 'Kuna: Decompiler Development in the Age of Coding Agents'
  url: https://noelo.org/blog/kuna-release/
- source: hackernews
  title: 'Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident'
  url: https://huggingface.co/blog/agent-intrusion-technical-timeline
- source: hackernews
  title: Logic for Programmers by Hillel Wayne
  url: https://logicforprogrammers.com/
- source: hackernews
  title: Kimi K3-256k
  url: https://www.kimi.com/code/docs/en/kimi-code/models
- source: hackernews
  title: A.I. companies are recruiting electricians and carpenters by the thousands
  url: https://www.nytimes.com/2026/07/29/business/economy/data-center-electricians-training.html
- source: hackernews
  title: Handbook.md shows that long policy documents do not reliably govern agents
  url: https://arxiv.org/abs/2607.25398
- source: hackernews
  title: Turning a dumb AC unit smart (without losing my security deposit)
  url: https://prilik.com/blog/post/automating-ac-nyc/
- source: hackernews
  title: Darktable
  url: https://www.darktable.org/
- source: hackernews
  title: Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC)
  url: https://archive.org/details/mancomputerbyjoh0000john
- source: hackernews
  title: 'Show HN: A local merge queue for parallel Claude Code agents'
  url: https://github.com/funador/claude-code-merge-queue
- source: hackernews
  title: Some thoughts about Anthropic's new cryptanalysis results
  url: https://blog.cryptographyengineering.com/2026/07/29/some-notes-about-anthropics-new-results/
- source: hackernews
  title: 'Recursive Filters: SMA, EMA, Low