Thursday 13 August 2026 | Join Free | Upgrade

Together with

Hi there, this is your daily ☕️ DevShot.

In today's DevShot:

🐋 DeepSeek launches V4 Pro

🎵 Spotify speeds up its data lake queries

🐳 Docker's new VMM enters public beta

⚡ Astro 7 builds up to 61% faster

🌐 Databricks configures tens of millions of VMs

🐍 Simon Willison releases alchemy-utils 0.1

Plus: 🎁 5 other news you might like, 🛠️ 5 tutorials, 🧰 6 tools, and 📚 5 papers.

PR-AF ranks #2 of 42 on Martian's Code-Review-Bench: 0.706 recall, roughly 3x more valid findings than commercial tools, at ~10x lower cost per review.

It plans a review strategy per pull request, runs reviewer agents in parallel, and verifies every finding against your source, dropping anything unprovable.

No hallucinated comments.

Apache 2.0, self-hosted, runs on any open or closed model.

Drops into GitHub Actions.

🐋 DeepSeek launches V4 Pro LINK
  • DeepSeek quietly finalized its flagship V4 Pro, shipping the DeepSeek-V4-Pro-0813 build with no blog post-the only signal being an updated version string on its API pricing page after months of the model running as a preview.
  • Pricing holds steady at roughly $0.44 per million input tokens and $0.87 per million output, but the weights underneath changed; the earlier scores every independent lab tested described the unfinished preview, so nobody has externally benchmarked 0813 yet.
  • DeepSeek's own numbers across 10 agent benchmarks trail Fable 5 by about 5% on average, but on blended rates V4 Pro costs around 46 times less; the MIT-licensed weights sit on Hugging Face for independent verification.
🎵 Spotify speeds up its data lake queries LINK
  • Spotify built Random Access Parquet (RAP), a storage layer that serves low-latency point queries directly against its data lake, letting online services and AI apps fetch individual records without replicating datasets into operational databases like Bigtable.
  • RAP adds an external index mapping keys such as user IDs to specific Parquet files and row locations, so a lookup resolves through the index and issues a targeted ranged read instead of scanning thousands of files.
  • Storage optimizations-sorting by lookup key, interleaving columns, and covering indexes-trade modest size increases for fewer operations, serving some point queries in a single few-kilobyte read, while secondary indexes enable multi-dimension queries without rewriting data.
🐳 Docker's new VMM enters public beta LINK
  • Docker has launched a public beta of Docker VMM, a first-party virtualization layer it built from scratch to replace the third-party VMM under Docker Desktop, available on Mac and Windows in v4.86.
  • Developers get faster container startup, quicker host-container file sharing, and memory that returns to the host when containers idle, while Windows gains Hyper-V-level isolation with WSL2-like speed for the first time under a Docker-maintained VMM.
  • Mac users already on Docker VMM upgrade automatically; Windows users opt in via Settings > General with no waitlist, Linux support arrives at GA, targeted for late October 2026 when Docker VMM becomes the default for new installs.
⚡ Astro 7 builds up to 61% faster LINK
  • Astro 7 shipped with its build pipeline rewritten in native code, cutting build times by 15 to 61 percent, with the astro.build site dropping from 63s to 24s and Cloudflare's 8,400-page docs falling from 387s to 262s.
  • The compiler moves from Go to a Rust build on oxc and Lightning CSS, Markdown now runs through a Rust processor called Sätteri, and the framework sits on Vite 8 with Rolldown, though remark and unified pipelines remain available.
  • Compilation turned stricter, erroring on unclosed tags and passing invalid nesting through as written, while point releases added CSP directives for inline styles, per-route incremental builds in 7.2, and JSON logging for AI coding agents.
🌐 Databricks configures tens of millions of VMs LINK
  • Databricks re-architected how it delivers network configuration to the tens of millions of VMs its serverless platform launches daily, cutting p99 RPC latency by 97.5% from 5,000ms to 125ms while hitting 99.99% availability.
  • The old design synchronously fetched config from multiple upstream services on the cluster-start critical path; the rewrite subscribes to change events via a message queue and pre-computes per-workspace snapshots, so serving becomes a single storage read.
  • A periodic reconciler re-syncs all workspaces as a safety net for missed events, and calling upstream only on actual changes rather than every request dropped upstream call volume by 86% across billions of daily requests.
🐍 Simon Willison releases alchemy-utils 0.1 LINK
  • Simon Willison has shipped alchemy-utils 0.1a0, an early alpha of a database-agnostic library and CLI that ports his sqlite-utils API to SQLAlchemy so it works across PostgreSQL, SQLite, and DuckDB.
  • The tool mirrors sqlite-utils core methods like insert, upsert, insert_all, upsert_all, create, update, and table introspection, and runs via uvx with per-engine extras such as alchemy-utils[postgresql] or alchemy-utils[duckdb].
  • Willison built the prototype using Codex and GPT-5.6 with red/green TDD and pytest; a DuckDB CSV insert of every San Francisco tree initially took nearly an hour, but Codex optimized it down to about 35 seconds.

Query Billions of Rows in Milliseconds.

FlightAware cut a core query from 6.4 seconds to 30 milliseconds, on Postgres.

TimescaleDB adds hypertables, up to 95% compression, and continuous aggregates so queries stay fast as data grows. Same SQL, no pipeline, no second database.

📚 Tutorials & Advice

> Blocked aria-hidden: The warning is right, and every Fix You’ve found is wrong: Reorder your modal code to move keyboard focus out of a region before hiding it, because screen-reader users otherwise land in silent, invisible controls.
> Your contributors are AI-first now. Is your project?: Place agent instructions directly beside your code and use human-only gates like license signatures to filter automated pull requests without banning them.
> Write your first prompt with the GitHub Copilot app: Start by connecting a project and describing your desired change in plain language, then refine the request and switch AI models as needed.
> Leveraging requirements engineering for AI coding Tool success: Write clear, tested requirements before coding, because AI executes ambiguous specs flawlessly and produces plausible-looking code that fails in production.
> I built a battery-powered NAS I can take anywhere using a Raspberry Pi: Turn a spare Raspberry Pi into a battery-powered portable file server that copies photos and drives directly without touching your phone or the internet.

🔗 Other News & Articles

  • The web’s newest weapon against AI scrapers is a font LINK
  • How We’re building scam alert on WhatsApp with End-to-End encryption and Verifiability guarantees LINK
  • Proton VPN is replacing wireguard-go with a new Rust VPN core LINK
  • Netflix Adopts Cloud-Native Job queueing system kueue to Replace an In-House solution LINK
  • Okta targets AI agent token costs with MCP scoping LINK

📄 Papers & Resources

> Automated bug-hunting for Python software libraries reads their documentation with an AI model to generate valid test inputs, catching 74 issues, with 43 confirmed and 29 already fixed by developers. LINK
> Multi-agent coding tools were tested head-to-head on a real task, summarizing README files, and showed no meaningful performance difference between frameworks, though most still lack basic monitoring features developers need. LINK
> Code merge conflicts get resolved more accurately across programming languages by a tool that reads code structure only where needed, cutting false alarms without slowing builds or missing real conflicts. LINK
> Coding agent toolkits show that how tools are packaged, not just what they can do, matters, since better-structured interfaces made repeated attempts up to 4.7x more consistent, cut steps by ~42%, and lowered token use by ~56%. LINK
> Code-writing AI trained with formal proof reasoning behind correct solutions solves far more hard programming tasks, boosting correct answers from 16 to 23 on a tough benchmark, a 44% jump over prior methods. LINK

🧰 Latest Tools

AnySearch: a search API for AI agents that queries multiple trusted sources in parallel, then filters and de-duplicates results into structured data. LINK
Prefactor: an evaluation layer that scores agent runs in real time, catching quality regressions and drift before they impact customers in production. LINK
ZooData: converts webpages into structured JSON, cutting LLM token usage by 75% while delivering pre-analyzed Amazon and TikTok e-commerce data for AI agents. LINK
CartAI: automates online checkout across merchant sites through a single API call, handling payments, shipping, and order tracking without per-site integrations. LINK
ditto.site: turns any public URL into clean Next.js or Vite code deterministically, preserving components, design tokens, and hover states via a free API or MCP server. LINK
Replay QA: records website sessions with devtools access, letting you create detailed, shareable bug reports without running manual QA processes. LINK

💬 How did you find today's edition?

We read every reply — just reply to this email and let us know how we can improve!

★★★★★  Nailed it
★★★  Average
  Fail

Not subscribed to ☕️ Devshot yet?Subscribe for free