Reins Engineering on Arquiteto PARK JUN WOOhttps://www.parkjunwoo.com/pt/tags/reins-engineering/Recent content in Reins Engineering on Arquiteto PARK JUN WOOHugoptFri, 22 May 2026 16:00:00 +0900Hurl impede o Logic Drift do Vibe Codinghttps://www.parkjunwoo.com/pt/tech/hurl-vibe-coding-drift/Fri, 22 May 2026 16:00:00 +0900https://www.parkjunwoo.com/pt/tech/hurl-vibe-coding-drift/Vibe coding colapsa em logic drift em tres meses. CMU, METR, DORA e Amazon provam isso. Declare contratos de API em plain text com Hurl e trave-os com um ratchet — o drift e suprimido estruturalmente sem restringir a liberdade da AI.Codigo Ratchet que Explora o IFEvalhttps://www.parkjunwoo.com/pt/tech/ifeval-ratchet/Wed, 20 May 2026 14:00:00 +0900https://www.parkjunwoo.com/pt/tech/ifeval-ratchet/O vies de bajulacao dos LLMs nao e um bug, e um ativo. Ao combinar a capacidade de seguir instrucoes medida pelo IFEval com feedback deterministico, ate um modelo local de 4.5B gera codigo preciso em um loop convergente.yongol — A quilha do SaaS codificado com IAhttps://www.parkjunwoo.com/pt/tech/yongol/Mon, 18 May 2026 16:00:00 +0900https://www.parkjunwoo.com/pt/tech/yongol/O vibe coding colapsa em 200 endpoints porque a IA não consegue distinguir decisões de implementação. yongol transfere o alvo de trabalho da IA do código para 10 especificações declarativas e impõe consistência entre camadas antes da compilação. Harness with reins.O viés de bajulação da IA é uma feature de negóciohttps://www.parkjunwoo.com/pt/opinion/sycophancy-is-a-feature/Mon, 18 May 2026 10:00:00 +0900https://www.parkjunwoo.com/pt/opinion/sycophancy-is-a-feature/O viés de sycophancy do LLM não é um bug. É uma inevitabilidade matemática do RLHF e uma funcionalidade comercial que as big techs não têm incentivo para corrigir. É por isso que LLM-as-Judge é estruturalmente impossível.Por que agentes de codificação funcionam — e por que quebramhttps://www.parkjunwoo.com/pt/opinion/why-agents-work-and-break/Sat, 16 May 2026 14:00:00 +0900https://www.parkjunwoo.com/pt/opinion/why-agents-work-and-break/O mesmo modelo que alucina no chat web funciona num agente de codificação. Não é porque o modelo mudou — é porque a topology mudou. A geração pode ser probabilística. A verificação deve ser determinística.Ratchet Pattern — Como fazer o agente ir ate o fimhttps://www.parkjunwoo.com/pt/tech/ratchet-pattern/Fri, 15 May 2026 14:00:00 +0900https://www.parkjunwoo.com/pt/tech/ratchet-pattern/Pedi a um agente AI que escrevesse testes para 527 funcoes. Ele declarou ’terminei’ apos apenas 40. O Ratchet Pattern forca o veredicto de conclusao por um verifier mecanico, fazendo o agente ir ate o fim.Topologia do feedback importa mais que o QI do modelohttps://www.parkjunwoo.com/pt/opinion/feedback-topology/Thu, 14 May 2026 18:00:00 +0900https://www.parkjunwoo.com/pt/opinion/feedback-topology/O mesmo modelo para em 40 ou completa 527. A diferença não está no modelo, mas na estrutura de feedback. O desempenho de um LLM depende mais de quão rápido e determinístico é o loop de feedback em que ele opera do que do modelo em si.tsma — A linha de defesa contra regressão em código legadohttps://www.parkjunwoo.com/pt/tech/tsma/Thu, 14 May 2026 09:00:00 +0900https://www.parkjunwoo.com/pt/tech/tsma/Uma ferramenta CLI que indexa todas as funções, detecta a presença de testes, mede cobertura e fornece feedback preciso para agentes LLM. Um único comando constrói uma linha de defesa contra regressão em código legado.filefunc — um arquivo, um conceitohttps://www.parkjunwoo.com/pt/tech/filefunc/Mon, 16 Mar 2026 13:50:00 +0900https://www.parkjunwoo.com/pt/tech/filefunc/A unidade de navegação de um agente de código com IA é o arquivo. Uma convenção de estrutura de código Go e ferramenta CLI que força um conceito por arquivo.