software · 7 menciones
El desarrollo de software está evolucionando rápidamente, y las herramientas tradicionales, como los IDEs, están perdiendo relevancia a medida que los desarrolladores pasan más tiempo explorando código y interactuando con modelos de lenguaje grandes (LLMs). El sistema de control de versiones Git, qu
El artículo explora el futuro de los lenguajes de programación en un contexto de ingeniería basada en agentes. Contrario a la creencia inicial de que los lenguajes existentes se consolidarían, el autor argumenta que es probable que veamos el surgimiento de nuevos lenguajes de programación debido a l
Este artículo explora la evolución del editor de texto `vi` y su relación con su sucesor, `vim`. El autor argumenta que la versión original de `vi`, aunque apreciada por algunos por su comportamiento particular, es un producto de su época, concretamente de los sistemas Unix de la década de 1980 con
Usuarios de Claude Code pueden experimentar un aumento significativo en la velocidad de navegación y análisis de código al habilitar una función oculta llamada LSP (Language Server Protocol). Actualmente, Claude Code utiliza una búsqueda de texto básica (similar a 'grep') que puede tardar entre 30 y
OpenCode AI ha lanzado una versión beta de su agente de codificación de código abierto para escritorios, disponible para macOS, Windows y Linux. La aplicación, ya popular entre más de 5 millones de desarrolladores mensuales, permite a los usuarios escribir código directamente en su terminal, IDE o e
El artículo de Sumato AI introduce Spath y Splan, dos nuevas herramientas diseñadas para mejorar la eficiencia y la calidad de los agentes de codificación basados en IA. Tradicionalmente, la programación ha estado intrínsecamente ligada al sistema de archivos, lo que implica una estructura jerárquic
Apple Inc. ha ampliado significativamente el soporte de su lenguaje de programación Swift para incluir una gama más amplia de entornos de desarrollo integrado (IDE). A partir de ahora, desarrolladores pueden utilizar Swift en IDEs como Cursor, VSCodium, Kiro (de AWS) y Antigravity (de Google). Esta
Un nuevo editor de texto llamado Nev ha sido desarrollado por Nimaoth y está disponible en GitHub. Nev combina características de editores populares como Neovim, Helix y Zed, ofreciendo una experiencia de desarrollo impulsada por el teclado tanto en terminal como en interfaz gráfica. El editor inclu
Claude Code es una herramienta de inteligencia artificial diseñada para asistir en tareas de programación, que está demostrando gran efectividad en entornos empresariales con millones de líneas de código, sistemas legacy con décadas de antigüedad, y arquitecturas distribuidas con decenas de reposito
Aiki Alpha 2 ya está disponible, etiquetado como v0.4.0-alpha-35 y distribuido desde la página de releases de su repositorio en GitHub. Frente a Alpha 1, que convirtió al lenguaje en algo tangible, Alpha 2 hace explícita su arquitectura: la gramática pasa a ser la única autoridad sobre la superficie
El autor describe el proceso de cinco meses para diseñar el sistema de consultas del compilador Krabby, inicialmente planteado con una arquitectura push que acabó descartada. Las principales limitaciones del modelo push eran que, al gestionar referencias pendientes, terminaba siendo un sistema de co
MathCode es un asistente de programación para terminal que incorpora un motor de formalización matemática. Acepta un enunciado matemático en lenguaje natural y lo traduce automáticamente a un teorema en Lean 4 para intentar demostrarlo de forma formal. La herramienta combina un REPL persistente de L
Raphael Amorim anunció el cierre del código abierto de Canario, un terminal que construyó para uso personal orientado a flujos de trabajo con agentes de inteligencia artificial. El desarrollador explicó que la decisión responde a la falta de tiempo para mantenerlo como proyecto público, ya que su ot
Huzzah es un editor experimental creado por el ingeniero Daniel Vaughn que propone una nueva forma de trabajar con modelos de lenguaje para generar software. Frente a los agentes de programación convencionales, basados en instrucciones largas, imperativas y transcritas en chats que se desechan tras
revo es un lenguaje de programación dinámico diseñado paraprogramar y experimentar con estructuras de datos, evaluación en tiempo de compilación, macros, concurrencia y tipado opcional. Su propuesta combina una sintaxis expresiva con un flujo de datos que avanza de arriba abajo, reduce el anidamient
ExactTeX es un superconjunto gradual de LaTeX desarrollado por Camilo Chaves que añade anotaciones opcionales sobre archivos .tex para que el compilador pueda comprobar referencias, detectar identificadores mal escritos y señalar incoherencias antes de imprimir el PDF. Renombrar un archivo de .tex a
