write en Hacker News
100 títulos de 92 autores en los últimos 30 días, con 95 enlaces distintos y 21 Show HN.
Cuenta títulos, no confirma hechos. Abre la fuente antes de sacar conclusiones.
Proyectos de este término
La nota viene de nuestro modelo.
- Show HN: Lasm – escribe webapps verificadas formalmente en Lean para Node, serverless y edge · nota 8.5
Lasm compila programas de Lean 4 ahead-of-time a WebAssembly, permitiendo aplicaciones web formalmente verificadas que pueden desplegarse en Node, serverless, edge y navegador. Su aplicación insignia RealWorld demuestra 117 teoremas probados que cubren autorización, integridad de datos y paginación, con pruebas de conformidad en múltiples plataformas.
- Show HN: Submilli, runtime con permisos semánticos para agentes que escriben código · nota 7.8
Submilli es un runtime escrito en Rust que ejecuta código TypeScript generado por agentes en WebAssembly, con un modelo de permisos semántico llamado Blueprints. Aplica reglas detalladas por operación (por ejemplo, límites de reembolso por nivel de cliente) fuera del control del modelo, con paquetes integrados, registros de auditoría y límites de recursos. Cubre un vacío crítico de seguridad para los agentes de negocio que generan código.
- Show HN: MCP para Recordatorios de Apple, lectura y escritura nativas mediante ReminderKit · nota 7.5
Un servidor MCP y una CLI nativos para macOS para los Recordatorios de Apple, que usan el framework privado ReminderKit para ofrecer acceso completo de lectura y escritura a todas las funciones de Recordatorios, a diferencia de las alternativas existentes basadas en AppleScript. Ofrece a los agentes de IA herramientas completas para gestionar recordatorios, listas, etiquetas, secciones y listas inteligentes, con protección contra conflictos basada en versiones y configuración con un clic para los agentes populares.
- Show HN: Sheetstream, escribe un XLSX de un millón de filas en Node con 82 MB de RAM · nota 7.5
Sheetstream es una biblioteca para Node.js que transmite archivos XLSX y CSV de cualquier tamaño mediante enlaces nativos en Rust, con un uso de memoria constante (por ejemplo, 1 millón de filas en unos 82 MB de RAM). Cubre un vacío real que dejan exceljs y SheetJS, que se bloquean o consumen gigabytes al manejar exportaciones grandes, y ofrece una API bien diseñada con formato, múltiples hojas y streams sensibles a la contrapresión.
Títulos recientes
Títulos traducidos por IA, que puede equivocarse. El original queda justo debajo.
- Escribe Todas las Cosas
Write All the Things
30/10/2026 · asbedb.dev · discusión en HN - Modelos de IA rivales escriben una enciclopedia y se evalúan a ciegas
Rival AI models write an encyclopedia and judge each other blind
30/10/2026 · scio.md · discusión en HN - Cómo leer traces distribuidos cuando no escribiste el código
How to read distributed traces when you didn't write the code
30/10/2026 · newsletter.signoz.io · discusión en HN - Show HN: Lasm – escribe webapps verificadas formalmente en Lean para Node, serverless y edge
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
30/10/2026 · github.com · discusión en HN - Yo 'escribo software' desde oct. 2026 – Parte 1
I 'write software' as of Oct 2026 – Part 1
29/10/2026 · chicagobuss.dev · discusión en HN - Herramientas, 17 con acceso de escritura: cómo las plataformas de IA limitan la autoridad de los agentes
Tools, 17 with write access: How AI platforms bound agent authority
29/10/2026 · antalpha.com · discusión en HN - Show HN: Jotcal, un calendario en el que miras y escribes
Show HN: Jotcal, a calendar you glance at and write on
28/10/2026 · jotcal.app · discusión en HN - Memoria muscular: ¿todavía puedes escribir código sin IA?
Muscle Memory – Can you still write code without AI?
28/10/2026 · discusión en HN - Solicitud para startups: “LLM que escriben bien”, ¿por qué?
Request for Startups – "LLMs That Write Well" – Why?
28/10/2026 · discusión en HN - Ya no escribo código. Sigo leyéndolo
I Don't Write Code Anymore. I Still Read It
28/10/2026 · oioannou.com · discusión en HN - El mito de la interoperabilidad de Iceberg: ¿escribir una vez, leer en cualquier lugar?
The Iceberg Interoperability Myth: Write Once, Read Anywhere?
28/10/2026 · olake.io · discusión en HN - La forma correcta de escribir código complejo
The Right Way to Write Complex Code
28/10/2026 · coderhapsody.ai · discusión en HN - A medida que los humanos escriben menos código, las cargas de trabajo pasan de la verificación humana a la verificación por agentes
As humans write less code: workloads shift from human to agent verification
27/10/2026 · metabase.com · discusión en HN - Escribe tus propios benchmarks de LLM
Write your own LLM Benchmarks
27/10/2026 · anaivebidder.com · discusión en HN - Write Once, Run Anywhere: ¿Java para Computadoras Retro?
Write Once, Run Anywhere: Java for Retro Computers?
26/10/2026 · retrogamecoders.com · discusión en HN - Los Adaptive Warehouses de Snowflake reducen la amplificación de escritura de MERGE [vídeo]
Snowflake Adaptive Warehouses cut MERGE write amplification [video]
26/10/2026 · youtube.com · discusión en HN - Por qué es un error pensar que la IA no puede escribir como humanos
Why it is foolish to think AI can't write like humans
26/10/2026 · discusión en HN - "Inventor del correo electrónico" demanda a un sitio de noticias por negarse a escribir sobre su campaña
"Inventor of email" sues news site for refusing to write about his campaign
23/10/2026 · universalhub.com · discusión en HN - ¿A quién le importa si los académicos usan IA para escribir?
Who Cares Whether Academics Use AI to Write?
23/10/2026 · chronicle.com · discusión en HN - Show HN: Hicimos que la IA escribiera una wiki con 45 mil correos de Enron, con cada dato citado
Show HN: We had AI write a wiki from 45k Enron emails, every fact cited
23/10/2026 · thisandthat.chat · discusión en HN - Los agentes escriben la mayor parte de nuestro código ahora, y deberíamos haber dejado de planificar sprints
Agents write most of our code now, and we should stopped planning sprints
22/10/2026 · usecaddie.app · discusión en HN - Una escritura fuera de límites en el decodificador Brotli de Node.js permite ejecución remota de código
Node.js Brotli decoder out-of-bounds write permits remote code execution
22/10/2026 · nodejs.org · discusión en HN - Escribe Moby Dick, más o menos
Write Moby Dick, approximately
22/10/2026 · codegolf.stackexchange.com · discusión en HN - Creamos una IA de documentos que lee pero no escribe
We built a document AI that reads but doesn't write
22/10/2026 · nutrient.io · discusión en HN - Me llevó cinco años escribir 200 líneas de Python
It took me five years to write 200 lines of Python
22/10/2026 · ansipunk.me · discusión en HN - Left to Write (1 de 3): teclados adaptativos para usuarios de una mano
Left to Write (1 of 3): Adaptive Keyboards for One-Handed Users
22/10/2026 · 99percentinvisible.org · discusión en HN - 6 de cada 10 candidatos a empleo están replanteando cómo escriben para no sonar como IA
6 in 10 Job Seekers Are Rethinking How They Write to Avoid Sounding Like AI
21/10/2026 · greenhouse.com · discusión en HN - Un constructor de apps agentic gratuito donde los LLM solo escriben lo que las herramientas deterministas no pueden
A free agentic app builder where LLMs only write what deterministic tools can't
21/10/2026 · editor.besser-pearl.org · discusión en HN - DevEx para desarrolladores que no escriben código
DevEx for developers who don't write code
20/10/2026 · bauplanlabs.com · discusión en HN - Show HN: MCP para Recordatorios de Apple, lectura y escritura nativas mediante ReminderKit
Show HN: Apple Reminders MCP – native read/write via ReminderKit
20/10/2026 · github.com · discusión en HN