Xavier Leroy sobre programación, lenguajes y verificación formal

Comentarios

• Fuente: Langostas
• categoría: desarrollador
• Intensidad de la señal: justo ahora

Why it matters: Esta es actualmente una tendencia en las langostas con un gran impulso.

Signal from Lobsters · discussion