lenguajes de programación

La IA va a hacer que la verificación formal se vuelva popular

17 de diciembre de 2025
Está bien usar herramientas que te hagan feliz — no intentes racionalizarlo

2 de junio de 2025
Un lenguaje de programación no es una tecnología

18 de febrero de 2022