Meus Projetos 549
Show HN: Lathoa, um aplicativo de matemática para crianças onde a IA erra de propósito
Criei isso para crianças de 10 a 14 anos. Um robô chamado Errol resolve um problema de matemática passo a passo e um dos passos está errado. A criança precisa encontrar e dizer o q…
Sistema Unix de Acesso Público SDF ... est. 1987
Uma breve história do Terminal Bloomberg
Gringo
O que o TLA+ pode e não pode verificar
Gringo
SDF vs. MSDF vs. Slug: Renderização de texto em GPU
[PITCH] - Novidades no Stylish-Gen: Backgrounds coloridos
Eu mantenho um projeto baseado em css. Está online a muitos anos e de tempos em tempos alguma modificação ou upgrade aparece. O projeto já teve o site hospedado no firebase e acho …
CLAUDE.md pede, hook impõe: os 3 níveis de contrato que separam 90% de 100%
Escrevi uma regra no CLAUDE.md do meu projeto principal, deixei lá por três meses, e medi. A IA seguiu em 90% das vezes. Nove em dez. Numa conversa de bar, 90% soa ótimo: quase sem…
E se argumentos pudesse ser traduzidos para uma estrutura computável?
texto Tenho pensado em uma ideia: E se fosse possível traduzir um argumento escrito em linguagem natural para uma estrutura que um programa consiga analisar? Não estou falando de r…
15 anos de Git e depois Jujutsu: por que não consigo mais voltar
2026: o primeiro VCS que escolhi de verdade Olhando para trás, eu nunca cheguei a escolher um sistema de controle de versões (VCS). Usava o que a empresa onde eu trabalhava tivesse…
Feeds RSS para Last.fm
Gringo
Show HN: Criei um sistema de blackhole baseado em BGP que você pode configurar em minutos
Olá amigos, tenho trabalhado nesta ideia desde 2019 e queria compartilhá-la para ver quem poderia estar interessado. Construí uma rede BGP cheia de nós que coletam dados de ameaças…
Git worktrees isolam o código, mas não o runtime dos seus agentes de IA
Este texto adapta uma experiência de desenvolvimento que documentamos no The Prompt Digest, projeto que mantenho. Imagine três agentes trabalhando no mesmo repositório. O primeiro …
Gringo
Show HN: Ledge.sh – Notas em Markdown executáveis
Olá HN, Ledge é um caderno Markdown que executa comandos shell, código, SQL, etc., de dentro de suas próprias notas. Construí o Ledge porque passo grande parte do meu dia copiando/…
Como fiz meu jogo de palavras não entregar a resposta pelo DevTools
Uns dias atrás postei aqui o PALAVRA 7, um jogo de adivinhar palavra que eu fiz. Uma das primeiras coisas que meus amigos da faculdade tentaram foi abrir o DevTools pra achar a res…
Pitch: colocamos login com passkey num editor SQL web. O que aprendemos sobre MFA, TOTP, OIDC e JWT
Um editor de banco que roda no navegador tem um problema de login diferente do da maioria dos apps. Quem entra não ganha só uma conta: ganha as conexões salvas, com as credenciais …
Pitch: Autenticação documental e prova de anterioridade: por que escolhi hash no navegador e ancoragem na rede Base
Olá, pessoal! Quero compartilhar com vocês um projeto que acabei de colocar no ar chamado Docmint (https://docmint.app), além dos bastidores técnicos e das decisões de arquitetura …
Experimentando OpenCode Parte 2
No texto anterior eu terminei exatamente onde todo bom projeto deveria começar: com um git init. Depois de quatro versões do bot, duas melhorias que não mudaram nada, uma refatoraç…
Pitch: Sou novo por aqui! Criei um validador e transmissor do eSocial Open-Source usando Go e HTMX (Sem dependências externas)
Olá, pessoal! Sou novo por aqui e gostaria de divulgar um projeto open-source que venho desenvolvendo. Quero muito pedir a ajuda dos devs da comunidade para avaliar o código, encon…
Show HN: Um modelo 3D funcional de uma máquina Enigma
O autor utilizou o Astra para construir os componentes internos de uma máquina Enigma, baseando-se em imagens de referência e prompts detalhados para entender sua mecânica.
Eu estava procurando um ICP. Descobri que estava procurando o problema errado
Há cerca de 20 dias, publiquei aqui um artigo sobre minha tentativa de vender um sistema de previsão de demanda para pequenos negócios. Na época, eu tinha chegado a uma conclusão: …
Nvidia lança plataforma de segurança que promete conter agentes de IA fora de controle em milissegundos
A Open Agent Safety Platform utiliza o software de código aberto OpenShell, executado no chip Vera AI CPU da empresa, para definir quais informações cada modelo pode acessar e veri…
Laya the open source version of Jev
O paradoxo da performance no frontend e o pato
Olá, galera do TabNews! Front-end... Nós provavelmente somos uma das áreas que mais falam sobre performance e, ao mesmo tempo, uma das que mais normalizaram jogar abstrações, depen…
Otimizando Sistemas de Pagamento de Alta Escala com Bit Packing: Conheça o JEC Enterprise (64-bit)
Recentemente, li o excelente guia do @andersonlimadev sobre o design de um Sistema de Pagamentos em Escala (com pico de 25.000 transações/segundo e 500 GB/dia de Ledger). Esse cená…