February 2025 Summaries

TigerBeetle undertook a complete overhaul of its documentation site to align with its principles of simplicity and first-principles thinking, moving away from using Docusaurus due to its complexity and dependency baggage. The new site, developed using Zig and leveraging Pandoc for Markdown parsing, focuses on providing a fast, distraction-free user experience, akin to reading a book. The search functionality was redesigned for precision, allowing users to navigate results directly within the content. The site is minimalistic, employing plain HTML and CSS, with JavaScript enriching interactivity without being essential. This shift resulted in a significant reduction in site footprint, enhanced security through a Content Security Policy, and a streamlined build process that eliminates the need for extensive dependencies, thus improving CI reliability. As a nod to Docusaurus, the site features an Easter egg game reminiscent of Chrome's offline dinosaur game, accessible via 404 errors.

TigerBeetle has introduced a new non-deterministic testing harness called Vortex, designed to complement their existing Deterministic Simulation Testing (DST) by increasing the coverage of non-deterministic parts of their system. Vortex is a generative full-system test suite that tests safety and liveness properties through fault injection, focusing on compiled binaries and client libraries to mimic real deployment stress. It also tests multiple client languages, which are not fully covered by DST, to identify potential bugs that could be missed by other tests. The architecture of Vortex involves a supervisor to coordinate workloads and inject faults, a driver for executing tasks, and replicas of the actual TigerBeetle release binaries. Since its inception four months ago, Vortex has already identified two bugs and verified a memory issue, proving it to be an effective tool for detecting coverage gaps. Future plans for Vortex include continuous automation, version upgrade testing, and more complex network and storage fault simulations, underscoring TigerBeetle's commitment to defense-in-depth and comprehensive testing.