Zulip

organization · 4 menciones

El Zulia Fútbol Club fue un club de fútbol profesional venezolano que tenía sede en Maracaibo, estado Zulia. Jugaba en la Primera División de Venezuela y disputaba sus partidos como local en el Estadio José Encarnación Romero, utilizando en algunas ocasiones como sede alterna el Estadio Lino Alonso. Los colores que identificaron al club son los mismos de la bandera del estado Zulia: el azul predominante y el negro. El club se fundó el 30 de junio de 2005 y empezó a jugar en la Segunda División B

Ver en Wikipedia

Noticias que mencionan Zulip

Zulip Asegura Futuro Abierto con Nuevo Soporte a Largo Plazo

Zulip da un paso histórico hacia la sostenibilidad: nace la Fundación Zulip para garantizar su futuro abierto En un movimiento que marca un antes y un después para el ecosistema del software de código abierto, el proyecto Zulip ha anunciado la creación de la Fundación Zulip, una nueva entidad indep

IA impulsa la investigación matemática con nuevo reto

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

Radicle propone forja de código descentralizada y soberana sin intermediarios

Radicle lanza plataforma descentralizada de colaboración de código. La herramienta, construida sobre Git, funciona como una forja de código soberana donde no existe una entidad central que controle la red. Los repositorios se replican entre pares de manera descentralizada, garantizando que los usuar

Herramienta de Rust verifica la seguridad del código con Creusot

Creusot, una herramienta desarrollada por el proyecto Creusot-Rs, es un verificador deductivo para código Rust diseñado para garantizar la seguridad y corrección de los programas. Esta herramienta permite a los desarrolladores verificar que sus códigos están libres de pánicos, desbordamientos y fall

Endive: nuevo runtime de wasm para java sin dependencias nativas

El proyecto Endive, desarrollado por Bytecode Alliance, es un nuevo tiempo de ejecución nativo de Java para WebAssembly (Wasm). Lanzado como un fork de Chicory, permite ejecutar módulos Wasm directamente en la Máquina Virtual de Java (JVM) sin dependencias nativas ni llamadas JNI. La relevancia de e

Open-LLM-VTuber: un asistente de voz con avatar Live2D que funciona en local

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

CS 6120 de Cornell: curso autoguiado y abierto sobre compiladores avanzados

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

Pidgin publica la segunda alpha de la versión 3.0 con número 2.96.0

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

Palomar: un registro para verificar demostraciones matemáticas en Lean

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

Cómo acelerar el compilador de Rust: balance de julio de 2026

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

FlickBoard: un teclado móvil abierto inspirado en MessagEase

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

Rust activa Polonius Alpha en nightly, su nuevo verificador de préstamos

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

Consumer Rights Wiki: un repositorio colaborativo sobre prácticas anticonsumo

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

Mergiraf: controlador de fusión de Git para múltiples lenguajes

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

RecurseCenter.return(): crónica de un retiro de programación

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

maak.el: integración de Maak en Emacs para ejecutar tareas desde el editor

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