Leonardo Rifeli

Derivar sob o sinal da integral quando os limites também se movem é a regra de Leibniz, e quase todo mundo que aplica ela esquece o termo de fronteira. Num caso que eu conferi numericamente, esquecer esse termo erra a resposta em 4,5 de 11,385, quase 40% do valor. Este post deriva os três termos a partir da regra da cadeia, dá as hipóteses que a troca de derivada com integral exige, mostra onde ela quebra em domínio infinito e no suporte de uma distribuição, e investiga a parte incômoda da história: o que Leibniz de fato escreveu não é a regra que hoje leva o nome dele.

Numa única conversa saíram 15 tasks pontuadas, 11 subtasks reestimadas e dois pull requests, sem eu abrir o ClickUp na mão. Este post abre a skill inteira: como ela é montada, o caminho entre o pedido em linguagem natural e a task criada, os quatro casos de escrita nos campos de ponto da API do ClickUp, o erro da minha primeira implementação que só apareceu quando fui escrever isso aqui, o modo de falha parcial que produzia exatamente a inconsistência que a skill queria evitar, o fallback de credencial que troca a identidade da operação em silêncio, e a lista honesta do que ela ainda não tem.

Meu DVR Intelbras MHDX 3004-C expõe uma API CGI no estilo Dahua que ninguém documenta direito. Em vez de clicar canal por canal numa interface web pesada, li e ajustei a configuração das câmeras com curl e autenticação Digest. Conto o passo a passo real: como achei a porta, como autentiquei, como li as tabelas de config antes de escrever qualquer coisa, o que dá pra controlar (encoder, cor, redução de ruído) e o que eu não consegui controlar por ela (exposição e anti-flicker), e como mantive a senha fora do histórico.

Continuação do post sobre o alpinista no nevoeiro. Existe um cheatsheet clássico de fórmulas essenciais de data science: estatística descritiva, probabilidade, álgebra linear, cálculo, machine learning, information theory, data science essentials e séries temporais. Cada uma dessas oito famílias tem aplicação direta na operação da Plataforma Harmo, todo dia. Esse post mapeia onde cada uma mora.

A topologia que combina MWAA (Airflow gerenciado pela AWS) como scheduler em Python e EKS como runtime dos workers pesados em Go. Por que escolhemos esse split, como as DAGs disparam pods em Go via KubernetesPodOperator, e os gotchas operacionais específicos do MWAA + EKS.