software · 24 menciones
TexLite es una herramienta de código abierto pensada para equipos reducidos y de confianza que necesitan escribir documentos LaTeX de forma colaborativa desde el navegador, sin depender de servicios en la nube. Su principal atractivo frente a alternativas como Overleaf es que se ejecuta sobre el pro
En 1992, Leslie Lamport, conocido por sus trabajos en sistemas distribuidos y por haber creado LaTeX, publicó una nota titulada "Types Considered Harmful", en la que defendía que los lenguajes de especificación debían basarse en formalismos no tipados (una suerte de teoría de conjuntos) en lugar de
Este ensayo recorre la historia de la tipografía matemática y la presenta como una forma de visualización de datos más que como un simple sistema de transcripción. El autor parte de la idea de que componer matemáticas impresas siempre ha sido considerablemente más difícil que componer texto corrient
Dired es el navegador de archivos integrado en Emacs que trata directorios y ficheros como un buffer editable del propio editor, lo que permite navegar, marcar, copiar, mover y renombrar archivos con las mismas combinaciones de teclas y comandos que se usan en cualquier buffer de Emacs. Este artícul
Un programador describe su progresiva pérdida de capacidad de concentración y analiza las causas que, en su experiencia, han erosionado su atención sostenida. Empieza reconociendo que necesita un temporizador de 15 minutos y bloquear toda distracción para redactar el propio texto, y que rara vez con
agent-shell, un modo nativo para Emacs que permite interactuar con agentes de inteligencia artificial a través del protocolo ACP (Agent Client Protocol), ha alcanzado la versión 0.63 con una batería de novedades que amplían su integración, personalización y usabilidad. La actualización añade dos ag
Un investigador académico explica por qué abandonó gestores de referencias como Zotero, Jabref, Cobib y Tellico para gestionar su bibliografía completa desde un único archivo BibTeX de texto plano, una decisión que mantiene desde hace casi dos años. BibTeX, el formato asociado a las distribuciones
Rheo es una infraestructura de documentos que convierte Typst en una base viable para la publicación multiformato. Funciona como un motor de composición tipográfica y de sitio estático que se sitúa entre el lenguaje Typst y los formatos de salida que utilizan los lectores: PDF, HTML y EPUB. A partir
TikZ Editor es una aplicación gratuita, de código abierto y licencia MIT que permite crear y modificar figuras TikZ de LaTeX de forma visual, arrastrando nodos y rutas en lugar de editar coordenadas a mano. Funciona tanto en la web como como aplicación de escritorio ligera (basada en Tauri con un pe
Este artículo reflexiona sobre el fenómeno conocido como "yak shaving", término que alude a encadenar tareas auxiliares hasta perder de vista el objetivo original. La expresión la acuñó Carlin Vieri, estudiante de doctorado del MIT AI Lab, tras ver un episodio de Yak Shaving Day en la serie animada
Tectonic es un sistema de composición tipográfica moderno que convierte archivos TeX en PDF de manera eficiente. A diferencia de las instalaciones tradicionales de TeX, Tectonic es autocontenido y no requiere una distribución completa de TeX Live; descarga automáticamente los recursos de LaTeX neces
Una colección de plantillas de Pandoc simplifica la creación de documentos académicos al convertir archivos Markdown a varios formatos como PDF, LaTeX, HTML y ePub. Diseñada principalmente para apuntes de clase, ejercicios y tesis de ciencias de la computación, las plantillas admiten documentos comp
Los modelos de lenguaje grande (LLMs) están facilitando el uso de TLA+ (Temporal Logic of Actions), un lenguaje de verificación formal inventedo por Leslie Lamport en la década de 1990. Según el ingeniero Jesse Jiryu Davis en un artículo publicado en emptysqua.re, los LLMs Frontier pueden generar có
El punto tipográfico es una unidad de medida histórica originaria de 1517, diseñada para representar el tamaño mínimo significativo de impresión. Sin embargo, esta aparente simplicidad enmascara una realidad compleja: no existe una definición universal de 'punto', lo que ha generado inconsistencias
Este contenido explora conceptos fundamentales de los sistemas Unix, centrándose en tres pilares: las pipes (tuberías), la creación de procesos mediante fork(), y los procesos zombis. Las pipes, ideadas por Doug McIlroy en 1964, permiten conectar la salida de un programa directamente con la entrada
Este documento presenta una clasificación exhaustiva de las codificaciones de ordinales (números naturales) dentro del cálculo lambda, un sistema formal fundamental en teoría de la computación. Se organizan en tres categorías principales: Lineal, Afín y No-Lineal, cada una con múltiples encodings pr
Este estudio aborda un problema crítico en la cuantificación de microplásticos ambientales: los falsos positivos causados por el contacto con guantes de laboratorio. Cuando los investigadores analizan muestras del medio ambiente para detectar microplásticos, necesitan distinguir los polímeros sintét
El matemático Timothy Gowers, de la Universidad de Cambridge, informa que ChatGPT 5.5 Pro ha demostrado capacidad para realizar investigación de nivel doctoral en matemáticas. El hallazgo representa una revisión significativa al alza de las estimaciones sobre las capacidades de los modelos de lengua
Este artículo narra la fascinante historia de cómo se corrigió un error que llevaba 20 años existiendo en Enlightenment E16, un administrador de ventanas de 1997. La autora, editora jefe de un blog y entusiasta de E16, se encontró con un fallo crítico que bloqueaba completamente el sistema al abrir
Este artículo explora una realidad común y a menudo incómoda en la industria del software: trabajar en productos que la gente odia. El autor, un ingeniero con experiencia en empresas como Zendesk y GitHub, comparte su perspectiva sobre por qué esto ocurre y cómo afrontarlo. ¿Por qué trabajamos en p
Un estudio reciente publicado en RSC Analytical Methods revela que la contaminación por microplásticos en investigaciones científicas podría estar significativamente sobrestimada debido al uso de guantes de laboratorio estándar. Investigadores de la Universidad de Michigan descubrieron que los guant
Este artículo describe una solución ingeniosa para mostrar texto coloreado y con formato en GitHub-Flavored Markdown (GFM) sin recurrir a HTML. El autor, Scottvr, del proyecto 'phart' (Python Hierarchical ASCII Rendering Tool), se enfrentó al desafío de integrar la salida de su herramienta, que gene
Un nuevo motor de tipografía de código abierto llamado VMPrint promete generar archivos PDF de calidad bit-perfecta, eliminando las inconsistencias y dependencias problemáticas asociadas con las soluciones actuales. Desarrollado por Cosmiciron y disponible en GitHub, VMPrint se distingue por su dise
DjVu es un formato de archivo diseñado para comprimir documentos escaneados, especialmente libros y documentos técnicos, de manera mucho más eficiente que el formato PDF. Aunque menos conocido hoy en día, su superioridad radica en su capacidad para manejar imágenes y texto de forma inteligente, a di
