8 noticias
Alibaba Group ha publicado como proyecto de código abierto Open Code Review (OCR), una herramienta de línea de comandos (CLI) que emplea inteligencia artificial para revisar código de forma automatizada. La aplicación nació como asistente interno oficial de revisión de código en Alibaba y, durante l
eslint-markdown es un plugin para ESLint que añade reglas específicas de análisis estático orientadas a archivos Markdown. Está publicado como paquete en npm dentro del repositorio lumirlumir/npm-eslint-markdown y se distribuye bajo licencia open source, con código, issues y documentación accesibles
@lateos/npm-scan es una herramienta de seguridad de código abierto que realiza análisis estático y conductual sobre paquetes del ecosistema npm —y, parcialmente, de PyPI— para detectar amenazas avanzadas en la cadena de suministro de software. A diferencia de npm audit, Snyk o Socket, la herramienta
Semgrep ha presentado la versión 1.0.0 de Pyro Caml, el primer perfilador continuo (continuous profiler) para el lenguaje de programación OCaml. La herramienta nace de una necesidad interna de la compañía, cuyo motor principal de análisis estático de código (SAST) está escrito en OCaml y se ejecuta
Mercury es un lenguaje de programación lógico y funcional que representa un enfoque innovador en el mundo de los lenguajes de programación. Desarrollado originalmente con un enfoque en la programación lógica, Mercury combina la claridad y expresividad de la programación declarativa con capacidades a
El 'Journal of C Language Translation' (JCLT) fue una publicación trimestral especializada, con un enfoque muy concreto: el desarrollo de herramientas que procesan y transforman código escrito en los lenguajes de programación C y C++. Aunque hoy en día pueda parecer un nicho muy específico, su impor
Este artículo describe un problema común en el desarrollo de software backend, específicamente en el manejo de transacciones de bases de datos, y cómo el autor lo resolvió creando un linter personalizado. El problema surge cuando, al envolver código existente en una transacción, se olvida de usar el
El artículo presenta un nuevo algoritmo de inferencia de tipos llamado 'Quadratic Micropass Type Inference', diseñado para mejorar la claridad de los mensajes de error en lenguajes de programación con inferencia de tipos. La inferencia de tipos, una característica que permite al compilador deducir e
