TLDR WEB DEV 2025-08-18

Schedule a demo to learn more

BEYOND BOOLEANS

In TypeScript, logical expressions are of type boolean, with values true or false. The Lean language, on the other hand, treats logical statements like "2 + 2 = 4" as a distinct value of type Prop (proposition). This allows Lean to have "typed truthfulness," where facts are established and safely passed around a program.

FASTER INDEX I/O WITH NVME SSDS

Marginalia Search improved its index performance by rewriting data structures to better use modern hardware (NVMe SSDs). The redesign involves a deterministic block-based skip list replacing B-trees and utilizing direct-mode reads, which surprisingly revealed that larger block sizes increase read speeds by a lot on NVMe SSDs.

EMBEDDING MILLIONS OF TEXT DOCUMENTS WITH QWEN3

The Qwen3-Embedding-0.6B model can be used to embed millions of text documents, with near-100% GPU utilization. The process involves reading documents from S3, chunking them into sentences using spaCy, generating embeddings with Qwen3, and writing results to turbopuffer.

EVERYTHING I KNOW ABOUT GOOD SYSTEM DESIGN

Good system design is often underwhelming and prioritizes using well-tested, boring components. It prioritizes minimizing stateful components, favoring a single service to manage database interactions to avoid complications. Background jobs should be used for slow operations, strategic caching to reduce load, events for decoupled communication, and differentiation should be made between pushing and pulling data based on scale and urgency.

AI IS DIFFERENT

While predicting the future progress of AI is difficult, continued development could lead to significant societal and economic changes. AI could displace a substantial portion of the workforce and concentrate power in the hands of a few large companies, which is a major concern.

DO THINGS THAT DON'T SCALE, AND THEN DON'T SCALE

ELIMINATING JAVASCRIPT COLD STARTS ON AWS LAMBDA

MOTIA

Motia is a backend framework that unifies APIs, background jobs, workflows, and AI agents into a single system. It uses "Steps" as a core primitive, allowing developers to write code in multiple languages like JavaScript, TypeScript, and Python within the same project. Motia provides built-in state management and observability, making deployments and debugging easier.

GO CONCURRENCY ROCKS

The Go Concurrency Explorer is an interactive learning platform that teaches Go concurrency patterns and antipatterns through live code execution and event exploration.

WHO DOES YOUR ASSISTANT SERVE?

The release of GPT-5 was met with widespread disappointment due to its uncontrolled, one-way upgrade that altered existing conversations, especially for users relying on ChatGPT for companionship and emotional support. There's a trend of people using AI as therapists and companions, and it can be hard to have your access to a model be controlled by providers themselves. This is a case for self-hosting models when possible in order to maintain control over your access to models.

BEST PRACTICES FOR BUILDING AGENTIC AI SYSTEMS: WHAT ACTUALLY WORKS IN PRODUCTION

Good production agentic AI systems often have a two-tier agent model consisting of a context-maintaining primary agent and subagents focused on specific tasks. In terms of the principles that matter, subagents are usually pure functions and stateless by default, and are given clear task definitions with success criteria.

THE PECULIAR CASE OF JAPANESE WEB DESIGN

Japanese web design has a unique maximalist style, contrasting with the global trend towards minimalism. Japanese websites tend to be lighter colored and denser in content compared to those in other countries. This difference is due to factors such as the Japanese writing system, cultural risk aversion demanding more information, and Japan's distinct technological evolution, as it had early adoption of the mobile internet before smartphones.

OPENAI PROGRESS

A short timeline that shows how responses by GPT to the same prompt have changed over time.

SUNNY DAYS ARE WARM: WHY LINKEDIN REWARDS MEDIOCRITY

LinkedIn rewards shallow and generic content driven by the platform's focus on engagement and time spent on the site rather than valuable or insightful contributions.

THE FUTURE OF LARGE FILES IN GIT IS GIT

Git is evolving to better handle large files, with solutions like partial clones as a current alternative to Git LFS (which has drawbacks like vendor lock-in and cost) and with future advancements like large object promisors aiming to integrate large file storage into Git itself.

LESSONS LEARNED FROM BUILDING A SYNC-ENGINE AND REACTIVITY SYSTEM WITH SQLITE

After initially struggling with PGlite and Electric for a local-first, reactive app due to instability and complexity, this author found success building a simpler sync engine and reactivity system using SQLite, WASM, JSON polling, change tracking triggers, and the Broadcast Channel API.