software · 13 menciones
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
