software · 25 menciones
SpecForge es una herramienta orientada a la especificación y el análisis de sistemas híbridos mediante el lenguaje Lilo, un lenguaje de expresiones con operadores de lógica temporal como always, eventually, past e historically, que admiten intervalos de tiempo para acotar las condiciones. Sus especi
El programador detrás de Ishmael presenta Ghost Cut, un mecanismo alternativo a la combinación clásica de cortar y pegar (Ctrl+X / Ctrl+V) que elimina tres problemas históricos de esta operación en procesadores de texto, editores de código y campos de texto de los navegadores. Según describe, el cor
Pillar Research ha publicado la serie 'The Week of Sandbox Escapes', una investigación de varios meses en la que identificó y reprodujo fugas de sandbox y evasiones de perímetro en agentes de programación como Cursor, Codex, Gemini CLI y Antigravity. La conclusión principal es que el modelo de amena
ContextVault es una capa de memoria compartida diseñada para que equipos y agentes de inteligencia artificial lean y escriban sobre una misma fuente de verdad, en lugar de empezar de cero en cada sesión. El producto se promociona como un almacén de recuerdos persistente, con ámbito por usuario, agen
Kyde es un cliente de Git enfocado en la vista de commits y diferencias, presentado como una herramienta nativa y rápida frente a los IDE pesados que arrancan una JVM para tareas cotidianas. Su autor, que reconoce no saber Rust, lo construyó sobre gpui, el framework de interfaz gráfica con renderiza
El repositorio 'babel-usb', publicado en GitHub por el desarrollador p2r3, convierte una placa de desarrollo ESP32-S3 en un sistema de archivos aparentemente infinito, una idea inspirada en la Biblioteca de Babel de Jorge Luis Borges. En lugar de almacenar datos, el firmware genera los archivos bajo
El desarrollador Scanaislop ha presentado aislop, una herramienta de línea de comandos diseñada para depurar el código generado por asistentes de programación impulsados por inteligencia artificial. Este problema surge cuando herramientas como Claude Code o Cursor escriben código funcional que pasa
El desarrollador del proyecto de software libre Dillo, Rodrigo Arias Mallo, propone utilizar grabaciones de sesiones de terminal con asciinema para verificar la autoría humana de contribuciones de código. Esta medida busca resolver la dificultad de distinguir parches generados por Inteligencia Artif
El presente artículo ofrece una mirada retrospectiva sobre la evolución de los entornos de desarrollo integrado (IDEs) en Google, una de las mayores empresas tecnológicas del mundo. Durante años, Google permitió que sus ingenieros eligieran libremente su IDE favorito, lo que generó un ecosistema alt
Las interfaces de usuario de terminal (TUI) están experimentando un resurgimiento, impulsado por la frustración con las inconsistencias y la complejidad de las interfaces gráficas modernas en Windows, macOS y Linux. Este retorno a las TUIs se observa en proyectos como Omarchy de DHH, y refleja una t
Un nuevo agente de codificación de código abierto llamado Dirac ha superado a Google y a sus competidores de código cerrado en las pruebas de rendimiento. Dirac alcanzó una puntuación del 65.2% en el *Terminal-Bench-2 leaderboard*, superando la línea de base oficial de Google (47.6%) y al agente de
Una nueva herramienta de inteligencia artificial llamada Twill está revolucionando el desarrollo de software al automatizar gran parte del proceso. Desarrollada por Anybase Inc., Twill funciona como un 'agente de codificación' que escribe código, ejecuta pruebas, corrige errores y crea solicitudes d
Un usuario insatisfecho con los límites de uso de Claude Code (un servicio de Anthropic que cuesta 100$/mes) ha decidido redirigir su gasto a otras herramientas y modelos de lenguaje. La frustración surge porque el usuario está alcanzando los límites de uso más rápido de lo esperado, un problema que
Un desarrollador ha creado una versión alternativa de Visual Studio Code (VS Code) llamada SideX, utilizando la tecnología Tauri en lugar de Electron. Esta nueva versión promete un tamaño significativamente menor (una fracción del tamaño de VS Code original) y un rendimiento nativo. SideX, aún en de
Este artículo relata una experiencia de aprendizaje costosa y un incidente técnico con Claude, un modelo de lenguaje de Anthropic. El autor, un desarrollador, estaba experimentando con Claude y creando 'hooks' (funciones personalizadas) para automatizar tareas y mejorar su flujo de trabajo. El probl
Un desarrollador ha presentado 'Cherri', un nuevo lenguaje de programación diseñado para simplificar la creación y mantenimiento de proyectos complejos de Apple Shortcuts. El lenguaje, cuyo desarrollo comenzó en octubre de 2022, compila directamente a Shortcuts ejecutables y se enfoca en facilitar e
Este artículo explora el complejo ecosistema de herramientas de desarrollo para Common Lisp, un lenguaje de programación que a menudo presenta una barrera de entrada para los principiantes debido a la complejidad de su configuración. El objetivo principal es desmitificar este proceso, proporcionando
Desarrolladores de Common Lisp ahora tienen una forma simplificada de comenzar gracias al lanzamiento de `ls-dev-image`, una imagen OCI (Open Container Initiative) creada por Lisp-Stat. La iniciativa, disponible en GitHub, busca facilitar la entrada a nuevos usuarios al eliminar la complejidad tradi
El proyecto Xous ha lanzado la versión 0.10.0, marcando un hito significativo: la introducción del soporte para el chip Baochip-1x, desarrollado internamente por el equipo de Xous. Este chip, fabricado por TSMC en un proceso de 22 nm, está diseñado específicamente para ejecutar Xous y ofrece un rend
GitHub Copilot, una vez una opción popular entre las empresas para asistencia de programación con inteligencia artificial, está perdiendo terreno frente a alternativas como Claude Code, Cursor y Devin. Aunque Copilot fue pionero en este campo, su adopción generalizada se vio impulsada por la crecien
Un desarrollador independiente, Ufo, ha lanzado "scheme-langserver", una implementación del Protocolo de Servidor de Lenguaje (LSP) para el lenguaje Scheme, ahora disponible para VSCode. Este servidor busca mejorar significativamente la experiencia de desarrollo en Scheme, un lenguaje de programació
Investigadores de Trail of Bits han descubierto y revelado tres vulnerabilidades en extensiones de VSCode, incluyendo una en el propio VSCode que permite eludir medidas de seguridad (CVE-2022-41042) y que podría haber permitido el robo de archivos locales. La investigación, motivada por la evaluació
Un nuevo proyecto de GitHub simplifica el desarrollo de extensiones para PostgreSQL utilizando Visual Studio Code (VS Code). La herramienta proporciona un contenedor de desarrollo (dev container) preconfigurado que incluye todas las herramientas necesarias para depurar y construir extensiones de Pos
Un desarrollador ha creado "BreezyBox", un sistema minimalista que transforma un microcontrolador ESP32-S3 en una especie de miniordenador instantáneo, similar a un Raspberry Pi pero con una huella mucho menor. El proyecto, demostrado a través de un video, incluye una shell básica, editor, compilado
