¿Hay algo que te está molestando?

El recorrido singular de una startup, contado por su CEO

• Es inusual que una startup opere en secreto durante 5 años.
• Querían crear un producto sorprendente antes de presentarlo al público y, en ese proceso, contrataron talento excelente, encontraron clientes iniciales y colaboraron con inversionistas.
• Aunque no es una forma natural de operar para una startup, esto les permitió construir muchas cosas.

Por qué construimos esto

• Antithesis es una continuación de la historia que comenzó en una empresa anterior llamada FoundationDB.
• Querían crear una base de datos distribuida, escalable y resistente a fallas, pero probarla y tener la certeza de que era correcta fue el problema más difícil.
• El problema fundamental del desarrollo de software es que los desarrolladores deben manejar situaciones que no anticiparon.

Lo que construimos

• Antes de escribir la base de datos, primero escribieron una simulación de red completamente determinista y basada en eventos.
• Con este sistema, cuando se encuentra un bug, se puede volver a ejecutar con la misma semilla aleatoria para rastrearlo.
• FoundationDB es una base de datos casi libre de bugs, y casi no hubo bugs reportados por clientes.

Lo que construimos

• Escribieron un hipervisor para hacer determinista cualquier software.
• Esta plataforma puede encontrar bugs en el software y reproducirlos perfectamente.
• Actualmente están enfocados en pruebas de confiabilidad y tolerancia a fallas para sistemas distribuidos.

¿Contacto?

• Quieren conversar con organizaciones que valoran la confiabilidad de los sistemas distribuidos y la productividad de ingeniería.
• Si tienes preguntas o comentarios, puedes contactarlos por TwitterX o en [e-mail].

La opinión de GN⁺

• Lo más importante de este texto es que, mediante un método de pruebas deterministas, es posible crear software casi perfecto. Esto ayuda enormemente a maximizar la productividad de los equipos de ingeniería y a reducir el tiempo para encontrar bugs.
• La plataforma que ofrece Antithesis tiene el potencial de cambiar el paradigma del desarrollo de software, y esto podría tener un gran impacto en la comunidad de ingeniería.
• Este texto presenta un enfoque innovador para superar las limitaciones de las pruebas de software, y ofrece información muy interesante y útil para quienes trabajan en tecnología.

[GN⁺]

Opinión de Hacker News

• La productividad del equipo de ingeniería aumenta 50 veces

  • Siento que el concepto del "desarrollador 10x" se ha distorsionado hasta significar alguien que trabaja 6.5 días a la semana, 15 horas al día.
  • La productividad real de 10x (o 50x) viene de personas que hacen posible lo que se consideraba imposible y entregan software mucho más rápido.

• Esta es la mejor introducción que he leído

  • Explica muy bien lo básico sobre las personas y lo que construyeron.
  • Explica que lo que están construyendo ahora es resultado de lo que construyeron antes.
  • También menciona a equipos que ya lo han usado (con sistemas famosos y complejos).
  • Está presentado con buena redacción que resulta atractiva para desarrolladores/fundadores. La landing page también es excelente.

• Esta es una gran propuesta, pero decir "encontramos todos los bugs" solo puede ser cierto si la definición de bug es muy estrecha

  • Los bugs más complicados tienen que ver con la lógica de negocio de la aplicación.
  • El problema es entender desde el inicio qué es lo "correcto".
  • Crear software en el mundo real e imaginar un estado sin bugs son cosas distintas.

• Una plataforma para encontrar bugs en software

  • En realidad parece más un servicio en la nube que ejecuta pruebas de integración.
  • Hay que averiguar cómo desplegarlo en un entorno especial y escribir pruebas de integración usando bibliotecas especiales.
  • Me pregunto cómo ayudaría a encontrar bugs que ya podrían encontrarse con su propio entorno y pruebas de integración.

• Dudas sobre el nombre

  • Me pregunto si es simplemente una variación de la palabra 'Hypothesis', o si hay un significado ingenioso que apunta a lo opuesto de las pruebas basadas en propiedades.

• Interés en este campo

  • A través de la guía de simulación de sled, entendí qué hace FoundationDB.
  • Usan madsim para escribir servicios con estilo async/await y, en las pruebas, reemplazan todos los elementos no deterministas con un ejecutor determinista que los parchea.
  • Estas pruebas son herramientas muy poderosas.

• La escritura es realmente disfrutable

  • Una experiencia de programación como estar rodeado por un escudo de poder que evita todos los males.
  • Eliminan todas las dependencias y escriben su propia implementación de Paxos muy rápido. Sin bugs.

• ¿No es esto prácticamente el santo grial?

  • Usa la aplicación existente tal cual y solo verifica propiedades.
  • Las CPU y los sistemas operativos no deterministas siempre han sido un obstáculo.
  • Como reconstruir toda la pila vertical de cómputo es casi imposible, lo evitan construyendo un simulador determinista de alta resolución.

• Conocí Antithesis en Strangeloop

  • El producto está muy por delante del estado del arte de la inyección automática de fallas que seguíamos cuando trabajaba en Amazon.
  • Seguí el proceso de rastreo de un bug que encontraron en streaming de Apache Spark.
  • No puedo imaginar lo importante que sería una herramienta como Antithesis dentro de una empresa que construye sistemas distribuidos.

• Tres pensamientos

  • Una gran idea que llegó en el momento correcto.
  • Apunta a un mercado de nicho.
  • Elogios por la alta calidad de la redacción y la documentación.