CUDA kernel breakdown 🎓, Meta’s design system 🎨, use formal verification ✅

React hooks can be efficient for managing state close to the UI, but they can become inadequate when shared state needs to be accessed ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌  ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ ‌ 

Sign Up |Advertise|View Online TLDR Together With  TLDR Dev 2026-06-30 Evals belong where your code runs (Sponsor) Every other AI eval tool sits alongside your app and reads traces you ship it—it only knows what you sent, when you sent it. To score real outcomes, the eval has to run where your code runs—in the execution layer. That's Inngest. Your data, function runs, and outcomes all live together, without extra infrastructure. Today we're launching Agent Evals: make agents observable with the same API structure you already use to make them durable. Score events that land days later and A/B test against live traffic with one line of code, in your existing agent. 🧑‍💻 Articles & Tutorials What happens when you run a CUDA kernel (35 minute read) This post describes the process of compiling and executing a simple CUDA program that adds two vectors, detailing the steps from code compilation with nvcc to execution on a GPU. It explains how the host CPU interfaces with the GPU, manages memory, and triggers kernel execution through mechanisms like the pushbuffer and Queue Meta Data (QMD). Additionally, it elaborates on the GPU's instruction execution model, including how warps are scheduled and how memory accesses are optimized to ensure efficient parallel computing. FokosDB: A strongly consistent bottomless storage database ontop of Cloudflare Durable Objects (34 minute read) FokosDB is an experimental database built on Cloudflare Durable Objects that provides bottomless storage and strong consistency. It has scalability and performance by using a partitioning system with hash and range keys, designed to handle large amounts of data while using distributed transactions, topology encoding, and caching mechanisms to optimize request processing. When React Hooks Stop Scaling: Moving Complex State to Zustand (4 minute read) React hooks can be efficient for managing state close to the UI, but they can become inadequate when shared state needs to be accessed and updated from multiple components or external sources. Transitioning to a dedicated state management solution like Zustand makes this shared state management easier. 🧠 Opinions & Advice On building your personal brand (7 minute read) To build an impactful personal brand, focus on being authentic and genuinely helpful to others. Many people don't reflect deeply on their personal values and the importance of helping others, leading to a loss of integrity and effectiveness in their branding efforts in the workplace and in the dev community in general. Free The Icons (5 minute read) Apple should reinstate the use of distinct shapes for app icons in macOS to improve usability and creativity, as the current uniform squircle design makes it difficult to distinguish between applications. Working With AI: A Concrete Example (11 minute read) This dev is 50/50 on AI. It's great for debugging and test creation, but also has limitations in providing good solutions without human oversight. A specific bug fix example involving the HTMX hyperscript parser shows the importance of a knowledgeable developer in guiding AI to prevent technical debt. 🚀 Launches & Tools Your agent's retry loop is a self-inflicted outage. (Sponsor) An agent hits a flaky tool call, retries, fails, retries again. Suddenly your "smart" agent is hammering a downstream API into rate-limit oblivion.  Durable execution solves this. Checkpoint every step so a workflow that fails at step 6 doesn't replay 1-5, or crash your system. Learn how. Astryx (GitHub Repo) Astryx is an open-source design system developed over eight years at Meta, powering over 13,000 applications with a library of 150+ accessible components and various themes designed for easy customization. It has an architecture with open internals, no styling lock-in, and a collaborative API that allows both humans and AI assistants to build using the same tools. Craft Agents OSS (GitHub Repo) Craft Agents help facilitate efficient agent interactions with various APIs and services. It supports various tasks including connection to external data sources, automation of workflows, and interaction with multiple AI providers. 🎁 Miscellaneous You Don't Know Jack About Formal Verification (15 minute read) The growing accessibility of AI tools improves formal verification in software development by removing the previously prohibitive costs associated with writing proofs. This shift allows developers to make sure that intricate business rules are upheld with mathematical certainty. Qwen 3.6 27B is the sweet spot for local development (9 minute read) Qwen 3.6 27B is a local AI model that has impressive general intelligence capabilities, outperforming past local models and delivering great results in various creative and practical tasks. Its usage with tools like llama.cpp allows users to run and customize the model effectively on local devices. ⚡ Quick Links Still building infrastructure for your infrastructure? (Sponsor) Make any code durable and observable by default. One line of code, zero extra infrastructure. Get started free, with Inngest. Understanding Your Claude Code Spend: What's Actually Driving the Cost (6 minute read) Most of the unexpected costs with using Claude Code come from session startup overhead and accumulated configurations rather than expenses related to conversation history or model selection. Rebuilding the computer room (8 minute read) The shift from desktop computers to portable devices like laptops and smartphones has increased convenience and accessibility in computing, but it has also led to constant digital distractions. On Data Quality - The Fundamentals (13 minute read) Data quality in general is a concept dependent on use case and is best understood through a layered framework covering granular, aggregate, fitness-for-purpose, and business-outcome quality, as its value is rooted in the effectiveness of data in driving business results. Reclaiming Our Digital Selves: HCCF's Vision for a Human-Centered Top-Level Domain (8 minute read) The Human-Centered Computing Foundation is trying to create a new TLD called .self that is new top-level domain designed to support self-hosting. Love TLDR? Tell your friends and get rewards! Share your referral link below with friends to get free TLDR swag! https://refer.tldr.tech/d0af4569/3 Track your referrals here. Want to advertise in TLDR? 📰 If your company is interested in reaching an audience of web developers and engineering decision makers, you may want to advertise with us. Want to work at TLDR? 💼 Apply here, create your own role or send a friend's resume to jobs@tldr.tech and get $1k if we hire them! TLDR is one of Inc.'s Best Bootstrapped businesses of 2025. If you have any comments or feedback, just respond to this email! Thanks for reading, Priyam Mohanty, Jenny Xu & Ceora Ford Manage your subscriptions to our other newsletters on tech, startups, and programming. Or if TLDR Dev isn't for you, please unsubscribe.