software · 19 menciones
El equipo de desarrollo de Pidgin ha lanzado la cuarta versión alfa de su nueva rama 3.0, identificada con el número de versión 2.98.0. Este ciclo de desarrollo, que se ha acortado de trimestral a mensual, incluye la implementación del plugin de protocolo 'soju', que permite conectar con la red de b
El equipo de compilación de Rust ha anunciado la creación de dos nuevos grupos de trabajo: el grupo de notificación de objetivos GPU y el área de trabajo de enlazadores. Estas iniciativas buscan mejorar la colaboración técnica y la resolución de problemas específicos en el desarrollo del compilador.
El desarrollador de Flirt ha anunciado oficialmente la disponibilidad del proyecto como código abierto, situando el repositorio en Codeberg. Esta decisión permite a la comunidad acceder al código fuente y participar en el desarrollo del software, aunque el autor advierte que la herramienta aún no es
El equipo de desarrollo de Pidgin ha lanzado la tercera versión alfa de la nueva interfaz de usuario, identificada como 2.97.0. Esta actualización, disponible en SourceForge y a través de un nuevo CDN de Fastly, marca un hito en la transición hacia la versión final 3.0.0, que aún no está lista para
Mergiraf es un controlador de fusión (merge driver) para Git diseñado para gestionar archivos de diversos lenguajes de programación y formatos de archivo. Su principal característica es la capacidad de realizar fusiones estructuradas sintácticamente, lo que permite una integración más precisa y segu
maak.el es un paquete para GNU Emacs escrito íntegramente en Emacs Lisp que ofrece integración nativa con Maak, una herramienta escrita en GNU Guile Scheme que reemplaza los Makefiles tradicionales por un sistema de automatización de proyectos basado en Lisp. El paquete, alojado en Codeberg bajo lic
Un programador autodidacta británico relata su experiencia de doce semanas en el Recurse Center (RC), un retiro de programación con sede en Brooklyn, Nueva York, que también ofrece modalidad a distancia y presencial. El artículo, estructurado en ocho partes, combina narración personal con una guía p
Consumer Rights Wiki (CRW) es un wiki colaborativo que se define como el mayor repositorio en internet dedicado a documentar prácticas anticonsumo por parte de empresas y proveedores de servicios. Funciona sobre MediaWiki (ahora en la versión 1.46) y se mantiene con la contribución voluntaria de edi
El matemático Terence Tao anunció la apertura de Palomar, un registro de demostraciones matemáticas verificadas en el lenguaje de pruebas Lean, una iniciativa impulsada por Lean FRO e ICARM. El proyecto surge ante la proliferación de pruebas generadas por inteligencia artificial, algunas formalizada
El equipo de desarrollo del lenguaje de programación Rust ha anunciado la activación de Polonius Alpha, una nueva versión del verificador de préstamos (borrow checker), en su canal nightly. El objetivo es estabilizar esta funcionalidad en los próximos meses y, según sus propias previsiones, antes de
BorrowSanitizer es una herramienta de análisis dinámico diseñada para detectar errores de aliasing específicos de Rust en aplicaciones escritas en varios lenguajes. El compilador de Rust ofrece garantías estáticas de seguridad muy estrictas al restringir el aliasing y la mutabilidad, pero los desarr
El equipo del lenguaje de programación Rust trabaja en una propuesta para introducir nuevos rasgos que describan de forma explícita qué operaciones son posibles sobre un tipo. Hoy Rust asume que cualquier valor puede moverse en memoria y puede "olvidarse" con `mem::forget`, lo que impide ciertos pat
FlickBoard es un teclado para Android nacido de la frustración del desarrollador natkr con los teclados táctiles modernos. Tras años usando MessagEase, un teclado basado en una cuadrícula 3×3 en la que cada tecla ofrece nueve interacciones distintas (toques y deslizamientos hacia los bordes y esquin
El equipo de Servo publicó la versión 0.4.0 de su navegador open source, que reúne los 558 commits aterrizados durante junio, un nuevo récord mensual (frente a los 534 de abril y los 391 de mayo). La actualización incorpora varias funciones de la plataforma web: la función CSS attr() en modo experim
El blog oficial del equipo de rendimiento del compilador de Rust publica un nuevo balance de progreso correspondiente al periodo comprendido entre el 3 de diciembre de 2025 y el 29 de julio de 2026. Durante esos meses, el tiempo medio de compilación se redujo un 5,59%, una mejora atribuible en parte
El equipo de desarrollo de Pidgin, el cliente de mensajería multiprotocolo de código abierto, ha publicado la segunda alpha de la futura versión 3.0, identificada como 2.96.0. La release está disponible en SourceForge y próximamente en Flathub Beta; los usuarios avanzados también pueden compilarla c
CS 6120 es un curso de nivel doctoral de la Cornell University, impartido por Adrian Sampson, que ahora se ofrece como itinerario autoguiado y abierto en la web. El programa aborda la implementación de lenguajes de programación desde una perspectiva tanto clásica como de investigación: representacio
Open-LLM-VTuber es un compañero de inteligencia artificial con interacción por voz y un avatar Live2D animado, diseñado para funcionar de forma totalmente local en Windows, macOS y Linux. El proyecto nació con el objetivo de replicar mediante soluciones de código abierto la experiencia de la VTuber
Este artículo presenta el "Mathematics Distillation Challenge – Teorías Ecuacionales", una iniciativa innovadora para avanzar en la investigación matemática a través de la colaboración y la asistencia de la inteligencia artificial. Tradicionalmente, la investigación matemática se ha centrado en un p
