¡Anunciados los premios Ada/SPARK Crate of the Year!

¡Ya se conocen los resultados de los premios Ada/SPARK Crate of the Year 2024! Lionel Draghi gana el premio Ada Crate of the Year con BBT, una herramienta de línea de comandos que utiliza especificaciones de comportamiento en Markdown fáciles de entender para pruebas automatizadas. Kevin Chadwick se lleva a casa el premio SPARK Crate of the Year con elogs, una biblioteca de registro segura en memoria (certificada en Nivel Plata SPARK) que permite a los usuarios especificar la longitud máxima del mensaje. Finalmente, el intérprete Lisp integrable de Brent Seidel, bbs_lisp, gana el premio Embedded Crate of the Year, mostrando las fortalezas de Ada en sistemas integrados.