TigerBeetle

organization · 11 menciones

TigerBeetle | 951 followers on LinkedIn. The distributed financial accounting database designed for mission critical safety and performance. | TigerBeetle is the world’s fastest financial accounting database.

Noticias que mencionan TigerBeetle

Cómo usar pruebas generativas para detectar errores en compiladores

El artículo técnico explora la eficacia de las pruebas generativas (fuzzing) frente a las pruebas de ejemplo basadas en casos unitarios para descubrir errores en compiladores de expresiones regulares. El autor, matklad, presenta un caso de estudio práctico donde un fuzzer propio detectó un segundo b

Andrew Kelley analiza el estado actual y futuro de Zig

Andrew Kelley, creador del lenguaje de programación Zig, presenta en su podcast 'TigerBeetle' una revisión exhaustiva del estado actual de la herramienta, sus avances recientes y su hoja de ruta a largo plazo. La charla, de 49 minutos, se centra en la filosofía de 'hacer más con menos' y la visión d

Asignación estática y trabajo constante: patrones para sistemas robustos

Este ensayo técnico analiza dos patrones de diseño aplicados en sistemas de software críticos: la asignación estática de memoria y el principio de trabajo constante. El autor parte de los riesgos de seguridad del par malloc/free, donde un use-after-free puede convertirse en confusión de tipos y perm

Simulación determinista con conciencia de protocolo en TigerBeetle

TigerBeetle, una base de datos distribuida que emplea el protocolo de replicación Viewstamped Replication (VSR), ha incorporado a su metodología de pruebas un simulador determinista con conciencia de protocolo (protocol-aware DST). Esta aproximación permite verificar invariantes de seguridad y vivac

Colas de trabajos: la complejidad oculta tras un sistema aparentemente simple

Las colas de trabajos son sistemas que permiten enviar, programar y ejecutar tareas por lotes, generalmente con un comportamiento FIFO. Aunque a primera vista parecen sencillos, esconden capas de complejidad que solo emergen al analizarlos con detalle. Resultan útiles en escenarios con altos requisi

The Proportional Web: un diseño tipográfico web inspirado en Bringhurst

The Proportional Web es una hoja de estilos CSS de código abierto creada por Oskar Wickström que traslada al navegador los principios tipográficos del clásico The Elements of Typographic Style, de Robert Bringhurst. Se presenta como la secuela espiritual y de ancho variable de The Monospace Web, otr

TigerBeetle procesa un billón de transacciones: un hito tecnológico

La empresa TigerBeetle ha anunciado que su sistema ha procesado un billón de transacciones, marcando un hito en la escalabilidad y la resiliencia de los sistemas informáticos. El anuncio, realizado a través de un video de 22 minutos publicado en su canal, destaca que la verdadera medida de la escala

Consensus Board Game: Aprende algoritmos de forma visual

El 'Consensus Board Game' es una forma visual y didáctica de entender el algoritmo de consenso, un concepto fundamental en sistemas distribuidos donde múltiples nodos deben acordar un único valor (como el orden de una transacción o el valor de una variable). El autor, quien tuvo dificultades para co

Errores sutiles: límites de arrays en programación

Este artículo de TigerBeetle aborda un problema común en la programación: los errores relacionados con la indexación y los cálculos de límites de arrays. Estos errores, a menudo sutiles, pueden ser difíciles de detectar incluso en código bien tipado, ya que los tipos de datos, aunque útiles, tienen