software · 38 menciones
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
Vault Operator es un complemento para Obsidian que integra un agente de inteligencia artificial directamente dentro del vault del usuario, en lugar de funcionar como una herramienta externa. A diferencia de los asistentes que esperan texto copiado y pegado, este plugin lee las notas, recorre el graf
La versión preliminar de la aplicación de escritorio de ChatGPT/Codex para Linux, distribuida como paquete RPM oficial, presenta un problema de compatibilidad con el método de entrada japonés (IME) en equipos Fedora 44 con KDE Plasma sobre Wayland y Fcitx 5: al abrir el programa desde el menú de apl
El autor describe la migración completa de su blog personal, que hasta 2025 dependía de una pila Pelican/Markdown sobre Python con Bootstrap 4, wiki.vim para edición en Vim y Pandoc como conversor intermedio. Con cerca de 200 entradas, el proceso de compilación empezó a ralentizarse y mantener dos c
Un mes después de iniciar su experimento de sustituir empleados por agentes de inteligencia artificial, un desarrollador identificado como [chad] ha publicado los detalles de su plantilla de seis agentes que ya operan como una "mini plantilla digital" para sus productos y una organización sin fines
El autor distingue dos formas de escritura dentro de su flujo de trabajo personal: las notas, que se actualizan de forma continua, y los artículos del blog, que se publican en un momento concreto y permanecen fijos. Las notas funcionan como un 'segundo cerebro' construido en Obsidian y publicado en
Este ensayo constituye una respuesta detallada al artículo de Brennan Kenneth Brown titulado «What have note-taking PKMs accomplished, really?». El autor rebate la premisa central de Brown, que cuestiona si seis años después del lanzamiento de Obsidian se ha producido un aumento real del conocimient
Un desarrollador ha presentado Semoi, un complemento para Obsidian diseñado para certificar que un texto fue redactado por una persona y no generado por un modelo de lenguaje. La herramienta mide el tiempo de escritura y registra los eventos de pulsación y liberación de teclas del documento, y al fi
Screenpipe es una aplicación de escritorio desarrollada por Louis y respaldada por Y Combinator (S26) que registra de forma continua la pantalla y el audio del usuario en local, los indexa y los expone a través de una API para que agentes de IA dispongan de una memoria consultable de lo que el usuar
En Quesma Blog, un investigador comparte cómo construyó un sistema de investigación profunda con agentes de IA capaz de ejecutarse durante horas sin aumentar el gasto en suscripciones. Su primer intento con Claude Max 5x agotó todo el límite de tokens en 30 minutos: 111 agentes lanzados, solo 25 afi
KizunaShelf es una aplicación de código abierto para catalogar libros, películas, series, anime, música, juegos y cualquier otro elemento cultural que el usuario quiera conservar. Su premisa central es la filosofía de "archivos sobre aplicaciones": toda la información se guarda como archivos Markdow
Sx es un gestor de paquetes de código abierto para activos de inteligencia artificial (skills, configuraciones de MCP y comandos) creado por Sleuth para resolver la distribución de ese conocimiento entre usuarios de herramientas como Claude Code, Cursor, Copilot, Codex, Gemini, Cline o Kiro. La vers
Zen Mode es un script de Hammerspoon, distribuido en GitHub por el usuario cabeen, que ofrece un modo de enfoque global en macOS accionado por un único atajo de teclado. Su objetivo es silenciar visualmente todo lo que compite por la atención del usuario —el fondo de escritorio, los iconos del Dock,
Las fichas de repaso suelen asociarse con la memorización mecánica de vocabulario, pero pueden ser una herramienta potente para asentar conocimientos que exigen comprensión profunda, como las matemáticas. Esta es la tesis que sostiene Lesley Lai en una carta de amor a las flashcards, escrita como co
La idea de encerrar el conocimiento de una organización dentro de complejos sistemas de RAG (recuperación y generación) y bases de datos vectoriales ha quedado obsoleta. Durante años, los equipos dedicados a entrenar agentes de inteligencia artificial dedicaban enormes recursos a fragmentar document
La startup Pocket, respaldada por Y Combinator, ha captado 11 millones de dólares en una ronda liderada por Accel, con la participación del propio fondo Y Combinator y del consejero delegado y cofundador de ElevenLabs, Mati Staniszewski. La compañía vende un dispositivo con forma de tarjeta de crédi
LLM Wiki es una herramienta de código abierto que transforma un agente de IA en un investigador autónomo capaz de construir una base de conocimiento temática en Markdown plano. Su propuesta central es que cada ejecución se acumula: las fuentes se convierten en artículos con referencias cruzadas, los
Trace es una aplicación para macOS que graba y transcribe reuniones de forma totalmente local, sin enviar audio ni texto a servidores externos. Funciona sobre Apple silicon y requiere macOS 14 o posterior. Qué hace y por qué importa. La herramienta captura el audio del micrófono y del sistema en el
Esta herramienta transforma un directorio de archivos Markdown, como una bóveda de Obsidian o una exportación de gbrain, en un único archivo HTML interactivo que muestra un mapa de conocimiento. El mapa utiliza un grafo de fuerzas donde los nodos y enlaces se colorean por tema (carpeta de primer niv
El Universal Memory Protocol (UMP) es una especificación abierta que aborda la última gran brecha de interoperabilidad en la infraestructura de agentes de inteligencia artificial: la memoria portátil y estandarizada. El Model Context Protocol (MCP) ya define cómo los agentes invocan herramientas y l
Hyper es la nueva herramienta de la startup del mismo nombre, integrada en la promoción Y Combinator P26, que actúa como una 'memoria corporativa' para agentes de inteligencia artificial. Sus fundadores, Shalin y Kanyes, parten de una premisa clara: aunque los modelos de IA actuales pueden abordar t
Cheese Paper es un editor de texto diseñado específicamente para la escritura de ficción, que prioriza la simplicidad, el control local de los archivos y la sincronización sin depender de servicios en la nube. Su importancia radica en que combina un entorno de escritura minimalista con capacidades d
Este proyecto es una exploración profunda de la "arqueología digital" que transforma un registro masivo de conversaciones en una estructura de conocimiento organizada, similar a un CRM personal. El autor, Vadim Drobinin, analizó 1.2 millones de mensajes de los últimos 20 años para entender su "banda
El artículo 'Human Bottlenecks' de Fernando Borretti explora la disonancia entre la promesa de la Inteligencia Artificial (IA) de multiplicar la productividad humana y la realidad cotidiana. Aunque hoy en día tenemos modelos capaces de ejecutar tareas complejas, la expectativa de que una simple secu
El desarrollador Andrey Lukyanenko probó el modelo de inteligencia artificial MiniMax M2.7 en tres flujos de trabajo reales de codificación a través de API, comparándolo con Claude Opus 4.7. Las pruebas incluyeron refactorización de un proyecto PyTorch existente, redacción de notas técnicas para una
Codex-maxxing es un artículo de Jason Liu que explora cómo utilizar Codex, el agente de programación de OpenAI, de manera más allá de la simples escritura de código. El autor describe su transición de usar agentes de IA exclusivamente para tareas de programación a integrarlos en todo su flujo de tra
El desarrollador Zakirullin ha lanzado 'files.md', una nueva herramienta de código abierto diseñada para simplificar la gestión del conocimiento personal mediante archivos markdown. La aplicación permite almacenar notas, documentos, proyectos, diarios, hábitos y listas de tareas en archivos .md loca
El artículo presenta el concepto de 'Emacsificación' del software, un nuevo paradigma donde los agentes de IA permiten crear aplicaciones completamente personalizadas, similares a la cultura Emacs donde los usuarios construyen sus propias herramientas. El autor critica la experiencia actual de leer
Investigadores de ciberseguridad han identificado una campaña de ingeniería social denominada REF6598 que utiliza la aplicación de notas Obsidian para distribuir un troyano de acceso remoto (RAT) inédito llamado PHANTOMPULSE. La campaña apunta específicamente a profesionales de los sectores financie
Un nuevo visor de Markdown de código abierto llamado Marky ha sido lanzado para macOS, ofreciendo una alternativa ligera y rápida a las soluciones existentes. Desarrollado por GRVYDEV y construido con Tauri, React y markdown-it, Marky se centra en la visualización instantánea de archivos .md desde l
Obsidian es un programa de toma de notas que está ganando popularidad, y con razón. A diferencia de muchas alternativas basadas en la nube, Obsidian te permite trabajar con archivos Markdown locales. Esto significa que tienes control total sobre tus datos: son tuyos, puedes moverlos, copiarlos y usa
Un ingeniero de Staff de una empresa ha desarrollado un sistema de gestión del conocimiento que utiliza el propio sistema de archivos como una base de datos de grafos, sin necesidad de infraestructura adicional como bases de datos vectoriales o pipelines RAG. El sistema, basado en archivos Markdown
Este artículo presenta una metodología innovadora para construir bases de conocimiento personales utilizando Modelos de Lenguaje Grandes (LLMs), que va más allá del enfoque tradicional de Recuperación Aumentada por Generación (RAG). RAG típicamente implica subir documentos, el LLM recupera fragmento
Este artículo de Ellane W. aborda un problema común: olvidar cómo realizar tareas que realizamos con cierta frecuencia, especialmente aquellas que no repetimos regularmente. El ejemplo inicial es la preparación de un PDF para una demostración, un proceso que, aunque conocido, requirió un esfuerzo co
Un desarrollador con movilidad reducida, Blake Watson, ha creado una herramienta de accesibilidad para macOS llamada "Scroll My Mac" utilizando Claude Code y Get Shit Done (GSD). Watson, quien utiliza un Mac para casi todo debido a su condición de espina bífida muscular, ha luchado con la navegación
El artículo explora los desafíos de crear una alternativa a GoodReads para el seguimiento y reseña de libros, revelando problemas fundamentales con la forma en que los sistemas actuales manejan la información bibliográfica. El autor, frustrado con la interfaz de GoodReads y Storygraph, intenta const
Un reciente estudio de Fortune reveló que miles de CEOs admiten que la inteligencia artificial no ha tenido un impacto medible en la productividad o el empleo, lo que ha generado escepticismo y preocupación. Sin embargo, el autor del blog, Danny McCue, argumenta que estos líderes están midiendo el é
Este artículo de Steph Ango explora su flujo de trabajo personal con Obsidian, una potente herramienta para la toma de notas y la organización del conocimiento. Obsidian se distingue por su enfoque 'de abajo hacia arriba', priorizando la flexibilidad y la longevidad de los datos sobre la dependencia
