referencia
explora las guías técnicas y los perfiles de empresas de Hraness. el índice y la categoría de corrección están en español; los demás textos, en inglés.
by hraness · drafted with ai assistance
guías sobre cómo se construyen los productos de Hraness y perfiles de empresas, laboratorios y herramientas con sus fuentes.
la categoría de corrección está disponible en español. los demás enlaces llevan a textos en inglés. las lecciones que requieren suscripción están identificadas en cada categoría.
reportajes
- selección de modelos (en inglés)qué permite predecir la elección de un modelo de frontera en 337 sesiones de programación, por qué la segunda lectura difiere de la primera y cómo se actualizó el enrutador de modelos.
empresas y laboratorios
- Roam Research (en inglés)la historia documentada de Roam Research y su fundador Conor White-Sullivan, desde el entusiasmo y las críticas hasta la idea aún inconclusa del pensamiento en red.
- Obsidian (en inglés)la historia documentada de Obsidian, sus protagonistas, el debate que lo rodea y su apuesta por los archivos como base del conocimiento.
- Gumroad (en inglés)la historia documentada de Gumroad y la empresa matriz de Sahil Lavingia, el debate que generan y su modelo de empresa pequeña.
- Every (en inglés)la historia documentada de Every, su editorial y sus aplicaciones, el debate que lo rodea y la idea de ofrecerlas en conjunto.
- Ink & Switch (en inglés)la historia documentada de Ink & Switch, el laboratorio independiente detrás de Automerge y del movimiento de software con prioridad local, y su comunidad de herramientas para pensar.
- tldraw (en inglés)la historia documentada de la empresa de lienzos infinitos de Steve Ruiz: su SDK, las demostraciones de Make Real y el lienzo como infraestructura.
- antithesis (en inglés)la historia documentada de Antithesis, la empresa de pruebas por simulación determinista surgida de FoundationDB, y su propuesta de pruebas autónomas.
- Midjourney (en inglés)la historia documentada de Midjourney, el laboratorio de investigación independiente y autofinanciado de David Holz, su comunidad y sus modelos.
- Zed (en inglés)la historia documentada de Zed Industries, fundada por veteranos de Atom y Tree-sitter, desde GPUI hasta su propuesta de un editor rápido y colaborativo.
- core Automation (en inglés)la historia documentada de Core Automation, Inc., el laboratorio de IA de San Francisco fundado por Jerry Tworek, exvicepresidente de investigación de OpenAI.
- Morph (en inglés)la historia documentada de Morph, la empresa detrás de Fast Apply, desde sus cambios de rumbo como Lingtual hasta su conjunto de subagentes.
- moving Castles (en inglés)la historia documentada del estudio berlinés Moving Castles, sus mundos y el lanzamiento de Zero.
- typesafe (en inglés)un perfil documentado de Typesafe AI, el laboratorio de sistema uno detrás de Jev: sus fundadores, su lanzamiento y la cuestión de calibración que sigue abierta.
- Cognition (en inglés)la historia documentada de Cognition, la empresa de Scott Wu detrás del agente de ingeniería de software Devin, y su adquisición de Windsurf.
- DeepSeek (en inglés)la historia documentada de DeepSeek, el laboratorio de IA con modelos de pesos abiertos, su fundador Liang Wenfeng y el fondo High-Flyer que lo respalda.
- Andon Labs (en inglés)la historia documentada de Andon Labs, dedicada a evaluar la seguridad de la IA, con Project Vend y sus experimentos sobre el comportamiento de los modelos.
- Convergent Research (en inglés)la historia documentada de Convergent Research, la organización sin fines de lucro que incuba organizaciones de investigación focalizada, y sus cofundadores Adam Marblestone y Anastasia Gamick.
guías técnicas
- infraestructura para agentes (en inglés)sesiones persistentes, orquestación y revisión para agentes de programación.
- software con prioridad local (en inglés)control del estado en el dispositivo y sincronización según las condiciones de su propietario.
- sistemas de conocimiento (en inglés)archivos Markdown, recuperación de información y evidencia junto al código.
- publicación web (en inglés)metadatos, mapas del sitio, imágenes para redes y verificación del commit que se sirve en producción.
- sistemas de diseño (en inglés)componentes básicos, tokens y catálogos de marca compartidos entre productos.
- multimedia en el navegador (en inglés)audio, MIDI y medios generativos en el navegador.
- cuentas y comercio (en inglés)identidad compartida, facturación y pagos a vendedores entre productos.
- la fábrica (en inglés)un ingeniero, muchos productos: operaciones del monorepositorio y flujos de trabajo con agentes.
- sistemas en Rust (en inglés)un espacio de trabajo de Cargo y muchas bibliotecas pequeñas: adaptaciones, núcleos deterministas y capas que realizan operaciones externas.
- lenguajes de programación (en inglés)lenguajes pequeños diseñados para ejecutarse, medirse y reproducirse.
- sistemas entre pares (en inglés)identidad, descubrimiento, transporte y consenso sin un servidor intermediario.
- informática (en inglés)simulación, evaluación y complejidad como datos para las decisiones de ingeniería.
- corrección del softwaremétodos para comprobar el software escrito por agentes: demostraciones, propiedades, reproducción y comprobantes.