write no Hacker News
100 títulos de 92 autores nos últimos 30 dias, com 95 links diferentes e 21 Show HN.
Conta títulos, não confirma fatos. Abra a fonte antes de concluir qualquer coisa.
Projetos deste termo
A nota vem do nosso modelo.
- Show HN: Lasm – escreva webapps formalmente verificadas em Lean para Node, serverless e edge · nota 8.5
Lasm compila programas Lean 4 ahead-of-time para WebAssembly, permitindo aplicações web formalmente verificadas que podem ser implantadas em Node, serverless, edge e navegadores. Seu aplicativo RealWorld principal demonstra 117 teoremas provados cobrindo autorização, integridade de dados e paginação, com testes de conformidade em múltiplas plataformas.
- Show HN: Submilli, runtime com permissões semânticas para agentes que escrevem código · nota 7.8
Submilli é um runtime escrito em Rust que executa código TypeScript gerado por agentes em WebAssembly, com um modelo de permissões semânticas chamado Blueprints. Aplica regras detalhadas por operação (por exemplo, limites de reembolso por nível de cliente) fora do controle do modelo, com pacotes integrados, trilhas de auditoria e limites de recursos. Preenche uma lacuna crítica de segurança para agentes de negócios que geram código.
- Show HN: MCP para Lembretes da Apple, leitura e escrita nativas via ReminderKit · nota 7.5
Um servidor MCP e uma CLI nativos para macOS voltados aos Lembretes da Apple, que usam o framework privado ReminderKit para acesso completo de leitura e escrita a todos os recursos dos Lembretes, diferentemente das alternativas existentes baseadas em AppleScript. Oferece aos agentes de IA ferramentas completas para gerenciar lembretes, listas, tags, seções e listas inteligentes, com proteção contra conflitos baseada em versão e configuração com um clique para os agentes populares.
- Show HN: Sheetstream, escreva um XLSX de um milhão de linhas no Node com 82 MB de RAM · nota 7.5
Sheetstream é uma biblioteca para Node.js que faz streaming de arquivos XLSX e CSV de qualquer tamanho usando bindings nativos em Rust, mantendo uso de memória constante (por exemplo, 1 milhão de linhas em cerca de 82 MB de RAM). Preenche uma lacuna real deixada por exceljs e SheetJS, que travam ou consomem gigabytes ao lidar com exportações grandes, e oferece uma API bem projetada, com formatação, múltiplas planilhas e streams sensíveis a backpressure.
Títulos recentes
Títulos traduzidos por IA, que pode errar. O original fica logo abaixo.
- Escreva Todas as Coisas
Write All the Things
30/10/2026 · asbedb.dev · discussão no HN - Modelos de IA rivais escrevem uma enciclopédia e se avaliam às cegas
Rival AI models write an encyclopedia and judge each other blind
30/10/2026 · scio.md · discussão no HN - Como ler traces distribuídos quando você não escreveu o código
How to read distributed traces when you didn't write the code
30/10/2026 · newsletter.signoz.io · discussão no HN - Show HN: Lasm – escreva webapps formalmente verificadas em Lean para Node, serverless e edge
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge
30/10/2026 · github.com · discussão no HN - Eu 'escrevo software' desde out. 2026 – Parte 1
I 'write software' as of Oct 2026 – Part 1
29/10/2026 · chicagobuss.dev · discussão no HN - Ferramentas, 17 com acesso de escrita: como as plataformas de IA limitam a autoridade dos agentes
Tools, 17 with write access: How AI platforms bound agent authority
29/10/2026 · antalpha.com · discussão no HN - Show HN: Jotcal, um calendário que você olha e escreve nele
Show HN: Jotcal, a calendar you glance at and write on
28/10/2026 · jotcal.app · discussão no HN - Memória muscular: você ainda consegue escrever código sem IA?
Muscle Memory – Can you still write code without AI?
28/10/2026 · discussão no HN - Pedido para startups: “LLMs que escrevem bem”, por quê?
Request for Startups – "LLMs That Write Well" – Why?
28/10/2026 · discussão no HN - Eu não escrevo mais código. Ainda leio
I Don't Write Code Anymore. I Still Read It
28/10/2026 · oioannou.com · discussão no HN - O mito da interoperabilidade do Iceberg: escreva uma vez, leia em qualquer lugar?
The Iceberg Interoperability Myth: Write Once, Read Anywhere?
28/10/2026 · olake.io · discussão no HN - A forma certa de escrever código complexo
The Right Way to Write Complex Code
28/10/2026 · coderhapsody.ai · discussão no HN - À medida que humanos escrevem menos código, as cargas de trabalho passam da verificação humana para a verificação por agentes
As humans write less code: workloads shift from human to agent verification
27/10/2026 · metabase.com · discussão no HN - Escreva seus próprios benchmarks de LLM
Write your own LLM Benchmarks
27/10/2026 · anaivebidder.com · discussão no HN - Write Once, Run Anywhere: Java para Computadores Retrô?
Write Once, Run Anywhere: Java for Retro Computers?
26/10/2026 · retrogamecoders.com · discussão no HN - Snowflake Adaptive Warehouses reduz a amplificação de escrita em MERGE [vídeo]
Snowflake Adaptive Warehouses cut MERGE write amplification [video]
26/10/2026 · youtube.com · discussão no HN - Por que é tolice achar que a IA não consegue escrever como humanos
Why it is foolish to think AI can't write like humans
26/10/2026 · discussão no HN - "Inventor do e-mail" processa site de notícias por recusar escrever sobre sua campanha
"Inventor of email" sues news site for refusing to write about his campaign
23/10/2026 · universalhub.com · discussão no HN - Quem se importa se acadêmicos usam IA para escrever?
Who Cares Whether Academics Use AI to Write?
23/10/2026 · chronicle.com · discussão no HN - Show HN: Pedimos à IA que escrevesse uma wiki a partir de 45 mil e-mails da Enron, com cada fato citado
Show HN: We had AI write a wiki from 45k Enron emails, every fact cited
23/10/2026 · thisandthat.chat · discussão no HN - Agentes escrevem a maior parte do nosso código agora, e deveríamos ter deixado de planejar sprints
Agents write most of our code now, and we should stopped planning sprints
22/10/2026 · usecaddie.app · discussão no HN - Escrita fora dos limites no decodificador Brotli do Node.js permite execução remota de código
Node.js Brotli decoder out-of-bounds write permits remote code execution
22/10/2026 · nodejs.org · discussão no HN - Escreva Moby Dick, aproximadamente
Write Moby Dick, approximately
22/10/2026 · codegolf.stackexchange.com · discussão no HN - Criamos uma IA de documentos que lê, mas não escreve
We built a document AI that reads but doesn't write
22/10/2026 · nutrient.io · discussão no HN - Levei cinco anos para escrever 200 linhas de Python
It took me five years to write 200 lines of Python
22/10/2026 · ansipunk.me · discussão no HN - Left to Write (1 de 3): teclados adaptativos para usuários com uma mão
Left to Write (1 of 3): Adaptive Keyboards for One-Handed Users
22/10/2026 · 99percentinvisible.org · discussão no HN - 6 em cada 10 candidatos a emprego estão repensando como escrevem para não soar como IA
6 in 10 Job Seekers Are Rethinking How They Write to Avoid Sounding Like AI
21/10/2026 · greenhouse.com · discussão no HN - Um construtor de apps agentic gratuito em que LLMs escrevem apenas o que ferramentas determinísticas não conseguem
A free agentic app builder where LLMs only write what deterministic tools can't
21/10/2026 · editor.besser-pearl.org · discussão no HN - DevEx para desenvolvedores que não escrevem código
DevEx for developers who don't write code
20/10/2026 · bauplanlabs.com · discussão no HN - Show HN: MCP para Lembretes da Apple, leitura e escrita nativas via ReminderKit
Show HN: Apple Reminders MCP – native read/write via ReminderKit
20/10/2026 · github.com · discussão no HN