PARK JUN WOO
Proponho Reins Engineering.
Coloque rédeas nos agentes de IA — direcione-os com contratos determinísticos, trave-os com catracas, separe decisões da implementação. Escrevo código e prosa sem parar, junto com IA.
Reins Engineering
Prompt Engineering → Say it well and it works
Context Engineering → Give good context and it works
Harness Engineering → Contain it with structure
Reins Engineering → Steer it with direction
Um arreio sem rédeas é apenas uma cerca. Não mude o modelo. Adicione um contrato.
→ Reins Engineering — IA com rédeas
Código aberto
Ferramentas de Reins Engineering:
- yongol — Valida cruzadamente 10 SSOT e gera código. A implementação do Reins Engineering. Arreio com rédeas.
- toulmin — Motor de regras em Go baseado no modelo de argumentação de Toulmin. Regras são funções Go, exceções são grafos de defeats, o julgamento é feito pelo h-Categoriser.
- filefunc — Um arquivo, um conceito. Estrutura de código operável por agentes.
- tsma — Scaffolding automatizado de testes para código legado.
- ssac — Service Sequences as Code. Fluxo de serviços declarativo.
- whyso — O que o git blame não mostra. Extrai o histórico de alterações de sessões do Claude Code.
Projetos mundiais:
- GEUL — Uma linguagem semântica para IA. Anexa proveniência, carimbo temporal e grau de confiança a cada informação para verificação mecânica. A terceira linguagem.
- DABEL5 — Engenharia de enxame de Dyson. Da mineração de asteroides à autorreplicação de espelhos — projetando uma civilização Kardashev Tipo 1 usando apenas tecnologia existente.
Contato
Direitos autorais
Os artigos técnicos e de opinião neste site são compartilhados sob a licença CC BY 4.0.
- Livremente compartilhe, cite, traduza e crie obras derivadas.
- Atribuição — Credite a fonte e o autor (Park Jun Woo).
O código aberto segue a licença de cada repositório. Dúvidas: mail@parkjunwoo.com