Hunting a 16-year-old SQLite bug with TLA+: is dqlite affected? (14 minute read)
SQLite recently addressed a long-standing bug related to the Write Ahead Log (WAL) that could cause database corruption, present in the system for 16 years. The dqlite team investigated whether this bug affects their implementation by modeling SQLite's behavior in TLA+ and comparing it with how dqlite interacts with SQLite and concluded that dqlite is not affected due to its stricter locking mechanisms that prevent simultaneous writes and checkpoints.
|
PostgreSQL and the OOM Killer: Why We Use Strict Memory Overcommit (10 minute read)
Strict memory overcommit in PostgreSQL is necessary for preventing catastrophic out-of-memory (OOM) kills, as it allows the database to handle memory allocation failures gracefully without impacting all connections. A kernel bug in Ubicloud's product temporarily disrupted this configuration, showing the importance of careful management of memory limits to guarantee system stability while running PostgreSQL in production environments.
|
|
Better Models: Worse Tools (12 minute read)
Recent iterations of Anthropic's models, specifically Opus 4.8 and Sonnet 5, show a troubling trend of producing malformed tool calls when interacting with Pi's editing tool, as they frequently append extraneous fields that do not conform to the expected schema. This regression seems to be linked to the models' training environments, which appear to favor a more forgiving approach to tool calls.
|
Write code, not specs (3 minute read)
Good code should be self-documenting, allowing for an understanding of its functionality without extensive specifications. Instead of maintaining both code and specifications, focusing on writing code that establishes patterns and relying on tests to validate functionality allows for greater trust and efficiency in development.
|
Some new agentic patterns (10 minute read)
At Prime Radiant, new "agentic" patterns have been implemented to enhance collaboration between agents and human implementers, resulting in improved tools and workflows. Notable examples include an agent named Nora, which acts as a team member rather than just an assistant, and a framework allowing multiple agents to collaboratively address tasks, leading to efficient problem-solving and feature development.
|
|
Plannotator (GitHub Repo)
Plannotator is a browser-based tool that enables users to annotate and review plans, specifications, and code changes from various AI coding agents. It integrates with multiple platforms, supports real-time collaboration, and allows for easy sharing of annotated content with team members.
|
Bramble (GitHub Repo)
Bramble is a local-first, open-source password manager that encrypts and stores user data on personal devices without relying on cloud servers, allowing for secure peer-to-peer syncing and various authentication methods, including biometric options and passkeys.
|
|
State of CLI Coding Agents, Mid-2026 (29 minute read)
As of mid-2026, the terminal has become a favored platform for coding agents, with 35 actively maintained CLI agents available. The main players like Claude Code, Codex CLI, and Omp have come up as leading options, each having features such as memory capabilities, editing precision, and orchestration.
|
Performance per dollar is getting faster and cheaper (6 minute read)
The release of GLM-5.2 shows advancements in inference performance, with 2626 tok/s/node on AMD MI355X at more than twice the cost-efficiency compared to similar NVIDIA setups. Despite historical challenges with AMD's software support, improvements in model optimization are narrowing the gap.
|
|
If you're a button, you have one job (4 minute read)
The differences in how iPhones and Nothing Phones handle image rotation shows the importance of designing user interfaces that accommodate situational disabilities and improve usability by preventing unnecessary wait times for animations.
|
|
Love TLDR? Tell your friends and get rewards! |
|
Share your referral link below with friends to get free TLDR swag!
|
|
|
| Track your referrals here. |
|
|
|
0 Comments