English· Español· Deutsch· Nederlands· Français· 日本語· ქართული· 繁體中文· 简体中文· Português· Русский· العربية· हिन्दी· Italiano· 한국어· Polski· Svenska· Türkçe· Українська· Tiếng Việt· Bahasa Indonesia

un

Habilidades técnicas. Carreiras reais. Seu caminho.

+

Criar uma Lição

Entre para criar e compartilhar suas próprias lições.
aerospace

Mecânica Orbital: Chegando ao Espaço

Do canhão de Newton às transferências de Hohmann — a física que coloca foguetes em órbita e mantém satélites em órbita.
agriculture

Agricultura: Cultivo de Alimentos

Ciência do solo, manejo de culturas e agricultura sustentável: conhecimento que alimenta o mundo e as carreiras que dele dependem.
agriculture

Geometria da Agricultura

Círculos de pivô central, agricultura de curvas de nível, espaçamento de fileiras, inclinação de drenagem e layout de campo — a geometria que alimenta o mundo.
automotive

Automotivo: Como os Carros Funcionam

De motores de combustão interna a EVs: entenda motores, sistemas de transmissão e diagnósticos, a base de toda carreira em tecnologia automotiva.
aviation

Aviation: Princípios de Voo

Sustentação, arrasto, empuxo e peso: as quatro forças que fazem uma aeronave decolar, e as carreiras que mantêm os aviões voando.
aviation

Geometria da Aviação

Vetores de voo, ângulos de inclinação, raio de curva, triângulos de vento & geometria de aproximação: a matemática que pilotos usam todos os dias.
business

Empreendedorismo: Iniciando um Negócio

Da ideia à receita — aprenda modelos de negócios, validação de mercado e os fundamentos que todo fundador precisa antes do dia do lançamento.
business

Geometria da Colaboração

Triangulação, domínios de Voronoi & tessalação: princípios geométricos por trás do triângulo de aprendizado de máquina. Dois solos com especificações complementares, uma ponte de aprendizado de máquina, uma lacuna para fechar.
business

O Que Significa Kanban?

Das linhas de produção da Toyota aos centros de trabalho multidisciplinares: aprenda um sistema pull, o quadro, limites WIP & como coordenar trabalho em um estúdio de produtos, padaria, canteiro de obras ou qualquer operação multidisciplinar sem reuniões ou gerentes.
business

Oito Formas de Capital

Capital financeiro representa uma das oito. Capital vivo, material, intelectual, experiencial, social, cultural & espiritual cada um se multiplica de forma diferente; cada um pode crescer, se esgotar ou ser trocado. Aprenda a ver todos eles.
business

Triângulo de ML: Além Unturf

Unturf representa uma instância do padrão do triângulo de aprendizado de máquina, não a única. Dois solos com especificações complementares mais um mecanismo de aprendizado de máquina mais uma lacuna equivalem a uma ponte, em qualquer uma das oito formas de capital. Aprenda a reconhecer o padrão, encontre um solo complementar & escreva uma especificação que faça o triângulo se formar.
cnc machining

Geometria da Usinagem CNC

Sistemas de coordenadas, trajetórias de ferramentas, arcos em G-code, envelopes de trabalho & GD&T: a geometria que torna a fabricação de precisão possível.
cnc machining

Usinagem CNC: Manufatura de Precisão

De G-code a peças acabadas: aprenda como máquinas controladas por computador moldam metal, plástico e compósitos com precisão de milésimos de polegada.
communication

Um Diagrama Vale 3.000 Palavras

A comunicação visual oferece um superpoder profissional. Esta lição cobre por que diagramas superam a prosa, os principais tipos de diagramas, como ler imagens complexas sistematicamente & como projetar diagramas que realmente se comunicam.
computer science

Ciência de Dados: De Planilhas a Modelos

Preencha a lacuna entre Excel e Python: aprenda como cientistas de dados limpam, exploram e modelam dados do mundo real.
computer science

Construa um Stemmer: Harris 1956 e as Raízes do Processamento de Linguagem Natural

Implemente um stemmer de inglês do zero: aprenda análise morfológica, remoção de sufixos e desenvolvimento orientado por testes.
computer science

Cybersecurity: Defesa em Profundidade

Pense como um defensor: aprenda modelagem de ameaças, segurança de rede e resposta a incidentes desde o início.
computer science

Engenharia de Confiabilidade de Sites

O que o Google inventou quando as operações se tornaram importantes demais para serem deixadas ao trabalho manual. SLOs, orçamentos de erro, eliminação de toil, postmortems sem culpa e os quatro sinais de ouro.
computer science

Escala Horizontal Stateless

Por que uma camada stateless se multiplica de forma barata, enquanto uma stateful não. Estado, cálculo de réplicas e a fórmula simples que dimensiona uma frota sob picos de carga.
computer science

Geometria da Cibersegurança

Topologia de rede, geometria da superfície de ataque, teoria dos grafos na modelagem de ameaças e a estrutura geométrica da criptografia.
computer science

Geometria da Escala Horizontal Stateless

A matemática por trás das frotas de réplicas. A Lei de Little como um retângulo, a curva de filas e seu joelho de 80%, e a leitura geométrica de por que uma camada stateless se multiplica de forma barata, enquanto uma stateful não.
computer science

Geometria da Observabilidade e Capacidade

As células de Voronoi particionam os usuários em áreas de cobertura dos PoPs da CDN. O triângulo de latência estabelece um limite mínimo de velocidade da luz entre as regiões. A curva de filas é revisitada na camada de proxy, com gatilhos de escala automática ancorados em seu ponto de inflexão.
computer science

Geometria da Separação de Ingresso e Egresso

Estrutura bipartida do tráfego de entrada versus saída, vértices de corte que desaparecem quando o proxy se divide em dois e leitura da teoria dos grafos das partições de rede.
computer science

Geometria de Engenharia de Confiabilidade de Sites

A estrutura visual por trás de SRE: distribuições de latência como curvas de cauda longa, orçamentos de erro como cones 2D, gráficos de dependência como DAGs, & layouts de painel como geometria de informação.
computer science

Geometria de Proxies e Origens

Um caminho de requisição é um grafo direcionado. A contagem de saltos, o leque de saída (fan-out), o leque de entrada (fan-in) e a indireção têm significado geométrico. Leia uma arquitetura de produção como um grafo e preveja suas propriedades de escalabilidade e falha.
computer science

Geometria do Planejamento de Capacidade

Estrutura visual subjacente ao trabalho de capacidade: Lei de Little como área, curvas de fila com seu cotovelo em 80%, extrapolação de tendência como inclinação & envoltórios de margem como margens de segurança 2D.
computer science

Geometria dos Modos de Falha & Raio de Explosão

A centralidade de intermediação identifica o nó gargalo antes que o tráfego o faça. O corte mínimo limita o raio de explosão. O diâmetro do grafo define a distância de propagação de falhas. A geometria por trás do motivo pelo qual algumas falhas se propagam em cascata e outras permanecem locais.
computer science

Geometria em Ciência da Computação e Aprendizado de Máquina

Como o pensamento geométrico alimenta tudo, desde busca dos vizinhos mais próximos até treinamento de redes neurais — vetores, distâncias, variedades & paisagens de perda.
computer science

Modos de Falha e Raio de Explosão

Como uma única alteração de configuração se propaga para uma interrupção total, o que compartimentos (bulkheads) e disjuntores (circuit breakers) realmente fazem, e como ler um relatório de pós-mortem para, em seguida, escrever itens de ação sem culpa que visem sistemas, não pessoas.
computer science

Observabilidade e Capacidade

O que medir em uma borda de escala web para que os problemas apareçam antes que os usuários os vejam. Pontos de extremidade de saúde e versão, os quatro sinais dourados em uma camada de proxy e como as decisões de capacidade de pico se conectam aos dados observados.
computer science

Planejamento de Capacidade: Arte & Ciência

A disciplina de John Allspaw para executar serviços que escalam sem surpresas: medição, previsão, testes de limite, buffers de headroom & a decisão de escalonamento diagonal.
computer science

Proxies e Origens

Um proxy reverso fica à frente de quase todo serviço web público que sobrevive a qualquer carga significativa. Aprenda o que ele faz, por que ocultar a origem é importante e como uma única camada de borda executa três funções distintas ao mesmo tempo.
computer science

Separação de Ingresso e Egresso

Por que uma única camada de proxy que trata tanto o tráfego de entrada quanto o de saída acaba falhando de maneiras surpreendentes. NAT de hairpin, eixos de escala independentes e isolamento de segurança explicados por meio de um bifurcação arquitetural real.
construction

Construção: Do Fundamento ao Acabamento

Das fundações à estrutura e ao acabamento: entenda como os edifícios são erguidos e os ofícios que tornam isso possível.
construction

Geometria da Construção

Inclinação do telhado, ângulos de caibro, geometria de escadas, tipos de arcos e layouts de site: a geometria que carpinteiros & construtores usam todos os dias.
cosmetology

Geometria do Corte de Cabelo

A cabeça como uma esfera, ângulos de elevação e projeção, cunhas de graduação, guias viajantes e o silhueta equilibrado: a geometria de precisão por trás de um grande corte.
critical thinking

Decisões sob Incerteza: A Caixa de Ferramentas do Profissional

As habilidades de julgamento que um profissional mantém quando sistemas automatizados fornecem as previsões: valor esperado, calibração, risco assimétrico, desviesamento e um protocolo para decisões irreversíveis.
critical thinking

Estatística para Tomadores de Decisão: Leitura Crítica de Estudos e Dados

A habilidade prática de ler um estudo, um painel de controle ou um relatório automatizado com um olhar cético. Tamanho da amostra, intervalos de confiança, p-hacking, tamanho do efeito e procedência, para que números confiantes parem de te enganar.
critical thinking

Formulação de Problemas para Trabalho de Conhecimento

A habilidade duradoura e de alto valor à medida que a produção de respostas se automatiza. Defina o problema real, escreva uma especificação testável, decomponha o trabalho e faça a pergunta que determina a resposta.
critical thinking

Geometria da Aprendizagem: Curvas, Decaimento e Espaçamento

A curva do esquecimento, o efeito de espaçamento e a curva de aprendizagem: a geometria de como a memória cresce e se desvanece, e por que realizar suas próprias recuperações ainda supera deixar que uma ferramenta faça isso por você.
critical thinking

Geometria da Automação: Fronteiras, Alavancagem e a Superfície de Erro

A geometria de decidir o que automatizar: a fronteira de competência, o ponto de cruzamento da vantagem comparativa e por que a verificação deve escalar com a alavancagem.
critical thinking

Geometria da Estatística: Forma, Dispersão & Erro de Amostragem

A média como centroide, o desvio padrão como dispersão, o erro de amostragem que diminui como 1/sqrt(n) e a geometria de eixos manipulados que engana o olho. Leia um gráfico como um profissional.
critical thinking

Geometria da Verificação: Triangulação, Erro e Concordância

Localize a verdade da mesma forma que um topógrafo localiza um ponto: cruzamentos de rumos, sobreposição de regiões de erro, confie no agrupamento, desconfie do outlier solitário. A verificação é geometria.
critical thinking

Geometria das Decisões: Valor Esperado, Risco e Fronteiras

Toda escolha sob incerteza é uma forma. Veja o valor esperado como um ponto de equilíbrio, o risco como dispersão e a fronteira onde a melhor escolha se inverte.
critical thinking

Geometria das Perguntas: Espaços de Busca, Restrições e Redução

Uma pergunta define um espaço de respostas; uma boa pergunta o reduz. Espaços de busca, decomposição como particionamento, restrições como fronteiras e redução por busca binária.
critical thinking

Prática Deliberada e a Ilusão de Competência

Como um profissional continua a construir habilidade real e autônoma em uma era de produção inicial automatizada: prática deliberada, recuperação e espaçamento, e a diferença entre usar ferramentas para construir habilidade e usá-las para contorná-la.
critical thinking

Trabalhando com Sistemas Automatizados: O Manual do Profissional

Julgamento prático para trabalhadores do conhecimento cujo campo está cada vez mais automatizado: como dividir o trabalho entre você e os sistemas automatizados, verificar a saída com stakes profissionais, assumir a responsabilidade pelo resultado, proteger-se contra a atrofia de habilidades e reconhecer quando não automatizar de todo.
critical thinking

Verificando Seu Trabalho: Epistêmica para o Trabalho de Conhecimento

A disciplina profissional de saber se uma afirmação é verdadeira antes de agir com base nela: procedência, replicação, verificação cruzada, calibração, a assimetria do custo do erro e a captura de saídas confiantes que estão erradas.
cs algorithms

Algoritmos na Prática: Revisão de Código & Defects de Complexidade

O desenvolvimento profissional de software exige ler código para complexidade algorítmica, não apenas para correção. Esta lição aborda revisão de código consciente de complexidade, padrões reais encontrados em sistemas de produção, análise ao estilo de entrevista, & um defect MOAD-0001 encontrado em 1.000+ projetos de código aberto — com um ponteiro direto para o curso unhamming para a investigação completa.
culinary

Artes Culinárias: Fundamentos da Cozinha

Habilidades com facas, perfis de sabor e gestão da cozinha: a base que todo cozinheiro profissional precisa antes do primeiro pedido sair.
culinary

Geometria da Culinária

Geometria de cortes de faca, composição de plating, proporções de panificação e dimensionamento de panelas: geometria de precisão na cozinha.
education

Geometria da Facilitação

Cones de visão e oclusão, a sala como grafo e a varredura como rota de vigilância, triangulação de onde a ajuda é necessária, e a proxêmica da distância de intervenção: a geometria em que um professor itinerante trabalha.
education

O Capitão Enfrenta a Tripulação: Gerenciando um Estúdio de Aprendizagem Autodirigida

Uma lição prática para pais, facilitadores de pods e instrutores de escolas técnicas: como um professor flutuante gerencia uma sala de aprendizes autônomos: ritmo diário, para onde vai sua atenção e avaliação sem notas.
electrical

Electrical: Sistemas Industriais e Data Centers

Energia trifásica, centros de controle de motores, VFDs e como os data centers mantêm as luzes acesas: eletricidade industrial desde o switchgear até o rack de servidores.
electrical

Fiação Elétrica: Circuitos Residenciais

Entenda os sistemas elétricos residenciais: desde os painéis de disjuntores até a fiação de tomadas, comparação entre a fiação residencial dos EUA e do Reino Unido, o conhecimento que todo eletricista começa a aprender.
electrical

Geometria do Trabalho Elétrico

Matemática de dobra de conduítes, cálculos de preenchimento de caixas, geometria de roteamento de fios e os campos eletromagnéticos que seguem leis geométricas.
electrical

Instalando 110V: Tomadas, Interruptores e Luminárias

Desde a passagem de cabos até fazer conexões: instale uma tomada, um circuito de interruptor e uma luminária corretamente da primeira vez. Código NEC, preenchimento de caixa e técnica de terminação de fio.
electrical

Painéis de Disjuntores e Caixas de Fusíveis: Proteção Contra Sobrecorrente

Da entrada de serviço aos circuitos individuais: como os painéis de disjuntores, sub-painéis e caixas de fusíveis protegem sua fiação, e o que cada eletricista precisa saber para lê-los corretamente.
entrepreneurship

Programa de Parcerias da unturf

A unturf mantém empreendimentos orientados por machine learning como uma organização guarda-chuva. Esta lição aborda a estrutura, a economia permacomputer, alavancagem extrema, o ML Triangle e como parceiros externos se integram: nenhuma mudança necessária em sua empresa existente.
environmental

Energia Renovável: Alimentando o Futuro

Solar, eólica, hidráulica e armazenamento — entenda a transição energética e as carreiras em crescimento em energia limpa.
finance

Finanças Pessoais: Fundamentos do Dinheiro

Orçamento, investimento e evitar armadilhas de dívida — a alfabetização financeira que todo adulto precisa e ninguém ensina na escola.
geometry of cs algorithms

Geometria de Algoritmos de Ciência da Computação

Todo algoritmo tem uma forma. O(1) desenha um horizonte plano. O(N) desenha uma diagonal. O(N²) desenha uma parábola. A busca binária dimidiates um segmento de linha. Uma tabela hash mapeia uma chave para um balde como uma função mapeia um domínio para um intervalo. Redes de ordenação visualizam como fios de comparação paralelos. Esta lição lê algoritmos geometricamente.
geometry of machine learning

Geometria do Aprendizado PAC

Cada capítulo do aprendizado PAC carrega uma forma. ε & δ desenham um plano orçamentário. Shattering VC desenha dicotomias em nuvens de pontos. PAC-Bayes desenha uma nuvem posterior sobre o espaço de hipóteses. Double descent desenha uma curva que a teoria clássica previa que deveria subir, mas na verdade desce. Leis de escala desenham uma superfície de lei de potência 3D. Auditoria empírica desenha um posterior Beta se apertando em uma agulha. Seis capítulos, seis geometrias, uma atividade.
geometry of machine learning

Geometria de ANDREA: Cinco Representações Espaciais do Treinamento de Modelos de Linguagem

Cada parte de ANDREA carrega uma forma. O espaço de incorporação desenha a distância semântica como distância euclidiana em R^768. A atenção desenha uma projeção dos tokens passados sobre um subespaço de consulta. A superfície de perda desenha um terreno de alta dimensão que a descida do gradiente percorre. Os pesos do bandit desenam um simples discreto onde cada vértice é uma fonte de dados & cada ponto interno é uma mistura de currículo. O aquecimento do currículo desenha uma projeção de subvariedade restrita. Cinco geometrias, um modelo. Percorra cada representação & fixe a intuição espacial que equações abstratas sozinhas não podem entregar.
geometry of unhamming

Geometria do Unhamming

Hamming viu geometria em toda parte: espaço n-dimensional, empacotamento de esferas em correção de erros, o colapso da intuição em alta dimensão. Unhamming estende isso: O(N²) como área, O(N) como uma linha, o modelo de fábrica como um DAG, & classes de complexidade como formas geométricas. Todo algoritmo tem uma forma. Aprender a ver a forma prevê o custo.
hamming on hamming

Hamming sobre Hamming

As palestras de pós-graduação de Richard Hamming sobre o estilo de pensar em ciência & engenharia: explosão do conhecimento, criatividade através da analogia, cegueira de especialista, confiabilidade de dados, distorção de medição, & os hábitos que separam pessoas que fazem trabalho importante daquelas que apenas se mantêm ocupadas.
hamming on hamming

Geometria de Hamming

As estruturas geométricas subjacentes ao trabalho de Hamming: distância de Hamming no espaço binário n, correção de erros via empacotamento de esferas, o argumento do passeio aleatório √n vs n, & modelos de crescimento exponencial para duplicação de conhecimento & meia-vida da expertise.
hamming on hamming

Fundações da Revolução Digital

O argumento de nove pontos de Hamming para por que digital supera analógico: confiabilidade de valores discretos, economia de interconexão de CI, a mudança de economia material para informação, robôs & manufatura, o insight de produto equivalente, & a tese de dominância de informação militar.
hamming on hamming

Geometria da Revolução Digital

As estruturas geométricas por trás do Capítulo 2 de Hamming: curvas de custo logarítmico & ordens de magnitude, geometria da razão sinal-ruído em canais analógicos versus digitais, & modelos exponenciais para adoção de tecnologia — a curva S como equação logística.
hamming on hamming

História do Hardware de Computadores

Levantamento de Hamming sobre a evolução do hardware: ossos de Napier através do ENIAC & IBM 701, a curva de velocidade exponencial de relé a VLSI, três limites físicos (tamanho molecular, velocidade da luz, dissipação de calor), & a lição que especialistas que previram que apenas 3-5 computadores seriam necessários falharam em aprender.
hamming on hamming

Geometria do Hardware de Computadores

As estruturas geométricas por trás do Capítulo 3 de Hamming: crescimento exponencial & tetos físicos em um gráfico log-log, a restrição da velocidade da luz como uma esfera de influência, a dissipação de calor como um problema de área superficial por volume, & aceleração paralela via Lei de Amdahl.
hamming on hamming

História do Software de Computador

Pesquisa de Hamming sobre a evolução do software: de binário absoluto a FORTRAN & ALGOL, código espaguete & bibliotecas relocáveis, a distinção entre design de linguagem psicológico vs lógico, & quatro critérios para linguagens de programação bem-sucedidas que predizem quais sobrevivem 60 anos.
hamming on hamming

Geometria do Software de Computador

As estruturas geométricas por trás do Capítulo 4 de Hamming: árvores de análise sintática & gramáticas formais como grafos acíclicos direcionados, redundância teorética de informação no design de linguagem, classes de complexidade (Big-O) como curvas de crescimento geométrico, & a curva de adoção de linguagem como modelo de efeito de rede.
hamming on hamming

História das Aplicações de Computadores

Pesquisa de Hamming sobre como a computação evoluiu de cálculos numéricos para aplicações orientadas por economia: a curva S de adoção de tecnologia, o insight de produto equivalente aplicado à informatização, a história da fita de projeto compartilhado da Boeing, reconhecimento de padrões como a próxima fronteira, & a lição de carreira de dar a mesma palestra por 30 anos.
hamming on hamming

Geometria dos Aplicativos de Computador

As estruturas geométricas por trás do Capítulo 5 de Hamming: a curva S logística como uma equação diferencial, crescimento de efeito de rede como uma função de utilidade quadrática (Lei de Metcalfe), & paisagens de otimização — descida do gradiente, mínimos locais, & por que o estado mutável compartilhado produz gradientes fantasma.
hamming on hamming

Limites do Raciocínio de Máquinas: I

Exame de Hamming da questão fundamental: as máquinas podem pensar? O teste de Turing, conhecimento tácito, programas de jogos, sistemas especialistas & a fronteira entre lógica baseada em regras & julgamento humano.
hamming on hamming

Geometria do Raciocínio de Máquina: I

Geometria de árvore de busca: fator de ramificação, profundidade, contagens de nós exponenciais, redução por poda alfa-beta, & a estrutura geométrica que torna programas de jogos baseados em regras tratáveis.
hamming on hamming

Limites do Raciocínio de Máquina: II

Hamming sobre criatividade de máquina: o programa de prova de teoremas de geometria & a prova do triângulo isósceles que descobriu, música de computador em Bell Labs, a questão de automação-deslocamento, & a fronteira de colaboração humano-máquina.
hamming on hamming

Geometria do Raciocínio Máquina: II

Prova formal como um caminho no espaço de axiomas; dualidade projetiva & a prova de autocongruência do teorema do triângulo isósceles; geometria de amostragem Nyquist; minimização de comprimento de prova como um problema de busca.
hamming on hamming

Limites do Raciocínio Computacional: III

Respostas de Hamming a objeções comuns sobre capacidade computacional, a questão da relevância para carreira & a transição para espaço de design n-dimensional — conectando os limites do raciocínio computacional à geometria de problemas em espaços de alta dimensionalidade.
hamming on hamming

Geometria do Raciocínio Máquina: III

Geometria da fronteira de decisão: separabilidade linear, o problema da não-separabilidade do XOR, o perceptron como classificador de hiperplano, transformações de espaço de características que permitem separação, & o truque do kernel como encaixe geométrico.
hamming on hamming

Hamming Cap. 9: Espaço n-Dimensional

O tratamento de Hamming sobre geometria n-dimensional: aproximação de Stirling, a função Gama, o volume de esferas n-dimensionais, & o colapso contra-intuitivo da geometria de alta dimensionalidade que governa todo projeto de engenharia com muitos parâmetros livres.
hamming on hamming

Geometria do Espaço n-Dimensional

A aproximação de Stirling como ferramenta geométrica, a fórmula do volume da n-esfera com verificação numérica, o paradoxo do canto computado explicitamente, & as implicações da geometria de alta dimensão para otimização & aprendizado de máquina.
hamming on hamming

Hamming Cap. 10: Teoria da Codificação I

Modelo de comunicação de Shannon, a arquitetura de codificação em dois estágios (codificação de fonte & codificação de canal), códigos de comprimento variável, a desigualdade de Kraft, entropia de Shannon, o teorema de codificação sem ruído & árvores de decodificação livres de prefixo.
hamming on hamming

Geometria da Teoria da Codificação I

A geometria de árvore binária de códigos sem prefixo, a desigualdade de Kraft como uma restrição geométrica na estrutura da árvore, a entropia de Shannon como um limite inferior no comprimento médio do código, & verificação numérica com um exemplo resolvido.
hamming on hamming

Hamming Cap. 11: Teoria da Codificação II

Algoritmo de codificação de Huffman em detalhe completo: o procedimento de fusão e divisão, comprimento médio mínimo L, não unicidade do código, árvores ramificadas vs alongadas, variância dos comprimentos dos códigos, códigos em bloco vs códigos de comprimento variável, & programas auto-compiláveis.
hamming on hamming

Geometria da Teoria da Codificação II

Codificação de Huffman como construção de árvore gulosa: comprimento de código esperado como soma ponderada, variância de comprimentos de código, a compensação entre árvore densa e longa, & um exemplo numérico resolvido calculando códigos ótimos de Huffman & verificando o teorema de codificação sem ruído.
hamming on hamming

Códigos Corretores de Erros

Capítulo 12 de Hamming: a história da descoberta dos códigos corretores de erros, desde verificações de paridade retangulares até o código de Hamming (7,4), decodificação de síndrome, SECDED & a interpretação de empacotamento de esferas da correção de erros.
hamming on hamming

Geometria de Códigos Corretores de Erro

A geometria algébrica linear por trás dos códigos corretores de erro: matrizes de verificação de paridade como mapas lineares, decodificação por síndrome como uma operação de espaço quociente, líderes de classe lateral & matrizes padrão, & o código Hamming (7,4) como um ladrilhamento perfeito do espaço binário 7-dimensional.
hamming on hamming

Teoria da Informação

Capítulo 13 de Hamming: definição de informação de Shannon & entropia, desigualdade de Gibbs & o teorema da codificação sem ruído, capacidade de canal binário simétrico, & o teorema fundamental da codificação ruidosa — o que ele prova, qual é o seu custo, & por que códigos corretores de erro complementam em vez de substituir.
hamming on hamming

Geometria da Teoria da Informação

As estruturas geométricas subjacentes à teoria da informação de Shannon: entropia como uma função côncava no simplex de probabilidade, capacidade de canal como um máximo sobre distribuições de entrada, divergência KL como uma distância geométrica no espaço de probabilidade, & geometria de taxa-distorção.
hamming on hamming

Filtros Digitais I: Autofunções & Amostragem

Introdução de Hamming aos filtros digitais: por que exponenciais complexas servem como autofunções de sistemas lineares invariantes no tempo, a função de transferência como autovalor, & o teorema de amostragem de Nyquist como a fundação geométrica de todo o processamento digital de sinais.
hamming on hamming

Geometria de Filtros Digitais I

Frequência como ângulo no círculo unitário: exponenciais complexas traçam caminhos circulares, amostragem mapeia rotações, & o limite de Nyquist emerge da geometria de meia revolução. Aliasing como envolvimento no círculo.
hamming on hamming

Filtros Digitais II: Projeto por Condições & o Fenômeno de Gibbs

Projetando um filtro para atender condições exatas de frequência: derivando o filtro de média de 3 amostras, a fórmula da função de transferência & o fenômeno de Gibbs que limita qualquer projeto de série de Fourier truncada — com o relato de Hamming sobre como Gibbs fez sua descoberta.
hamming on hamming

Geometria de Filtros Digitais II

O plano Z como espaço de design geométrico: diagramas de polos e zeros codificam a resposta de frequência como distâncias do círculo unitário, zeros cancelam frequências, polos as amplificam, & a estabilidade pode ser lida diretamente das posições dos polos em relação à fronteira do círculo unitário.
hamming on hamming

Filtros Digitais III: Design de Fourier & Método de Kaiser

A abordagem sistemática de série de Fourier para design de filtros: começar com uma resposta ideal, calcular coeficientes de Fourier, truncar, aplicar uma janela para suprimir ondulação de Gibbs, & usar o método de Kaiser para escolher N & a janela a partir de especificações de ondulação & largura de transição.
hamming on hamming

Geometria dos Filtros Digitais III

Série de Fourier como projeção ortogonal: funções base abrangem um espaço de funções, coeficientes de Fourier são produtos internos, truncamento é igual a projeção em um subespaço, & o fenômeno de Gibbs emerge da convolução sinc em descontinuidades de salto.
hamming on hamming

Filtros Digitais IV: Filtros Recursivos & Realimentação

Filtros IIR (recursivos): realimentação permite resposta de frequência nítida com menos coeficientes, estabilidade requer polos dentro do círculo unitário, & as famílias clássicas de filtros analógicos (Butterworth, Chebyshev, elíptico) transformadas para tempo discreto — com a história do chuveiro de Hamming como exemplo concreto de instabilidade de realimentação.
hamming on hamming

Geometria de Filtros Digitais IV

Geometria de filtro IIR: o Z-transform como um mapa do domínio do tempo para o plano de frequência complexa, estabilidade como confinamento de pólos dentro do círculo unitário, pólos de Butterworth em um círculo, pólos elípticos em uma elipse, & a transformação bilinear como um mapa conformal do plano s de Laplace.
hamming on hamming

Simulação I: Quando Experiências São Impossíveis

A primeira simulação em larga escala de Hamming — os cálculos da bomba atômica de Los Alamos — revela os princípios fundamentais: conhecimento de domínio especializado, estrutura repetitiva, resultados equivalentes, estabilidade vs instabilidade, & o perigo de confundir uma simulação com a realidade.
hamming on hamming

Geometria da Simulação I: Método de Euler & a Região de Tamanho de Passo

As estruturas geométricas subjacentes à simulação numérica: o método de Euler como diferença direta no plano (x,y), tamanho de passo h como parâmetro geométrico com uma região de estabilidade no plano complexo, sistemas dinâmicos discretos, & o loop de feedback de simulação como iteração.
hamming on hamming

Simulação II: Por que alguém deveria acreditar?

A pergunta central de Hamming para toda simulação: por que alguém deveria acreditar? O problema da validade, as compensações entre analógico e digital, o paradoxo de Simpson em dados de simulação, modelos auto-reforçadores, & a lição de dupla ocultação para design de simulação honesto.
hamming on hamming

Geometria da Simulação II: Validade do Modelo como Ajuste Geométrico

Validade da simulação como geometria: ajuste de uma superfície a pontos de dados, resíduos como distâncias, viés sistemático como vetores de deslocamento, efeito Hawthorne como dimensão oculta, & lista de verificação de validação de Hamming reformulada como restrições geométricas no ajuste do modelo.
hamming on hamming

Simulação III: GIGO, Estabilidade & Resolvendo o Insolúvel

Hamming desafia a suposição GIGO: lixo na entrada nem sempre significa lixo na saída. Retroalimentação dentro de uma computação pode compensar entradas imprecisas. Solucionadores numéricos de EDO como filtros digitais recursivos, métodos preditor-corretor, a instabilidade do míssil Nike, & a equação do transistor que Hamming resolveu explorando sua instabilidade.
hamming on hamming

Geometria da Simulação III: Regiões de Estabilidade, Rigidez & Tubos de Alta Dimensão

O quadro geométrico completo da estabilidade do solucionador de EDO: regiões de estabilidade de Euler & RK4 no plano complexo hλ, rigidez como geometria de autovalor, paradoxo do tubo de alta dimensão do Capítulo 9, & usando instabilidade como um sinal de navegação.
hamming on hamming

Hamming Cap. 21: Óptica de Fibra

Explicação de Hamming sobre tecnologia de óptica de fibra: reflexão interna total, ângulo crítico, vantagens de diâmetro pequeno, imunidade eletromagnética, & a percepção de segurança que Hamming reconheceu antes de qualquer um pedir.
hamming on hamming

Geometria da Óptica de Fibras

As estruturas geométricas subjacentes à óptica de fibras: lei de Snell como transformação de ângulo, ângulo crítico como limiar geométrico, abertura numérica como geometria de cone de aceitação, decaimento de onda evanescente, & diâmetro monomodo como restrição no espaço de ângulo de propagação.
hamming on hamming

Hamming Cap. 22: Ensino Auxiliado por Computador

A análise de Hamming do ensino auxiliado por computador (CAI): o efeito Hawthorne & seu impacto corrosivo em experimentos educacionais, o problema do duplo-cego em pedagogia, programas de ramificação, feedback imediato, & a questão de se as máquinas podem genuinamente melhorar o aprendizado.
hamming on hamming

Geometria da Instrução Assistida por Computador

As estruturas geométricas subjacentes à aprendizagem & memória: curvas de aprendizagem por lei da potência, curvas de esquecimento exponencial, espaçamento geométrico como otimização, & programas de ramificação como grafos direcionados — a matemática que torna a instrução adaptativa tratável.
hamming on hamming

Hamming Cap. 23: Matemática

A exploração de Hamming sobre o que é matemática: as escolas Platônica vs Formalista, a 'efetividade irrazoável' de Wigner, a universalidade da matemática entre civilizações, & por que a abstração aumenta a aplicabilidade.
hamming on hamming

Geometria da Matemática

As estruturas geométricas subjacentes à matemática em si: sistemas axiomáticos como espaços formais, prova como um problema de caminho, incompletude de Gödel como uma propriedade topológica, completude como conectividade, & o espaço Platônico de objetos matemáticos.
hamming on hamming

Hamming Cap. 24: Mecânica Quântica

Relato de Hamming sobre mecânica quântica: a mecânica matricial de Heisenberg, a mecânica ondulatória de Schrödinger, sua equivalência matemática via espaço de Hilbert, a regra de Born, & o princípio act-as-if de Hamming para usar o formalismo sem exigir satisfação filosófica.
hamming on hamming

Geometria da Mecânica Quântica

As estruturas geométricas subjacentes à mecânica quântica: espaço de Hilbert como espaço de produto interno de dimensão infinita, estado quântico como vetor unitário, medição como projeção, regra de Born como comprimento de projeção ao quadrado, esfera de Bloch para geometria de qubit, & entrelaçamento como não separabilidade no espaço de produto tensorial.
hamming on hamming

Hamming Cap. 25: Criatividade

Análise profunda de Hamming sobre criatividade: como a novidade difere da originalidade, por que a ciência falha ao reconhecer trabalho criativo quando ocorre, o papel da mente preparada, o processo de gestação inconsciente & a técnica dos 10 problemas importantes.
hamming on hamming

Geometria da Criatividade

Criatividade modelada como busca em espaço combinatório: raciocínio analógico como isomorfismo de grafo, a mente preparada como um grafo de conhecimento densamente conectado, serendipidade como caminhos curtos entre nós distantes, & a explosão combinatória do espaço de ideias.
hamming on hamming

Hamming Cap 26: Especialistas

Hamming sobre resistência de especialistas: como paradigmas filtram evidência, os dois modos de falha da expertise, por que grandes inovações vêm de fora do campo, como lidar com pronunciamentos de impossibilidade de especialistas, & o que fazer quando você enfrenta uma mudança no paradigma dominante.
hamming on hamming

Geometria dos Especialistas

Espaço de paradigmas como uma paisagem de perda com mínimos locais; mudanças de paradigmas como escape de mínimos locais; conhecimento especializado como investimento profundo de gradiente; a topologia do conhecimento com múltiplos mínimos locais; ciclos de Kuhn como dinâmicas de descida de gradiente.
hamming on hamming

Hamming Cap. 27: Dados Não Confiáveis

Hamming sobre medição: por que os dados são menos confiáveis do que anunciado, a distinção entre erro sistemático e aleatório, cadeias de calibração, o dilema do teste de vida útil, por que dados que se encaixam muito bem na teoria são suspeitos, & regras práticas para lidar com dados no campo.
hamming on hamming

Geometria de Dados Não Confiáveis

Geometria do erro: incerteza de medição como distribuições de probabilidade, erro sistemático como viés (deslocamento da média), erro aleatório como variância, propagação de incerteza através de cálculos via derivadas parciais, teste de qualidade do ajuste qui-quadrado, & dados suspeitosamente limpos.
hamming on hamming

Hamming Cap 28: Engenharia de Sistemas

Os princípios de engenharia de sistemas de Hamming: por que otimizar componentes arruina o desempenho do sistema, a importância das interfaces sobre componentes, condições de contorno, o sistema educacional como um caso de falha de engenharia de sistemas, e como pensar como um engenheiro de sistemas em vez de um otimizador de componentes.
hamming on hamming

Geometria da Engenharia de Sistemas

Fronteiras de possibilidade de produção & fronteiras de Pareto; por que os ótimos dos componentes ficam fora do ótimo do sistema; geometria de restrições e regiões viáveis; o princípio do máximo; interface como limite compartilhado no espaço de parâmetros; por que os ótimos do sistema ficam nos limites das restrições.
hamming on hamming

Hamming Cap. 29: Você Colhe o Que Mede

O pensamento de Hamming sobre distorção na medição: como a calibração de QI cria a distribuição que afirma descobrir, a lei de Goodhart antes de Goodhart nomeá-la, a corrupção de métricas pelo direcionamento, o problema de faixa dinâmica em escalas de classificação, & defesas práticas contra distorção de medição.
hamming on hamming

Geometria do Que Você Mede

Distorção de métrica como um mapeamento do espaço de valor para o espaço de medição; lei de Goodhart como divergência de ascensão de gradiente; otimização multi-objetivo (Pareto) como defesa contra corrupção de métrica única; invariância de medição e por que importa.
hamming on hamming

Hamming Cap 30: Você e Sua Pesquisa

Conselho direto de Hamming sobre fazer um trabalho extraordinário: a técnica dos 10 problemas importantes, coragem para trabalhar em problemas difíceis, a política de porta aberta, crescimento de conhecimento composto, o papel da sorte vs preparação, & a pergunta central que todo pesquisador deve responder.
hamming on hamming

Geometria de Você e Sua Pesquisa

Portfólio de pesquisa como ponto no espaço de problemas; a técnica dos 10 problemas importantes como manutenção de cobertura de fronteira; interesse composto do conhecimento como crescimento convexo; geometria de custo de oportunidade; por que evitar problemas difíceis significa perder regiões de alta alavancagem do espaço de problemas.
health

Fundamentos de EMT: Medicina de Emergência

O primeiro elo na corrente de sobrevivência — aprenda avaliação de pacientes, manejo de vias aéreas e protocolos de emergência.
hvac

Geometria de HVAC

Dimensionamento de dutos, geometria do fluxo de ar, área de superfície de serpentinas, gráficos psicrométricos e os princípios geométricos de aquecimento e resfriamento.
hvac

HVAC: Sistemas de Aquecimento e Resfriamento

Dos ciclos de refrigeração ao duto de ar — compreenda os sistemas que mantêm os edifícios confortáveis e a carreira que os mantém funcionando.
logistics

Geometria da Logística

Otimização de layout de armazém, geometria de empilhamento de paletes, otimização de rotas & o problema do caixeiro viajante.
logistics

Logística: Fundamentos da Cadeia de Suprimentos

Como os produtos se movem da fábrica até a porta — armazenamento, roteamento e a rede invisível que mantém o mundo funcionando.
machine learning

Aprendizado PAC: Da Teoria à Auditoria em Produção

Probably Approximately Correct (Valiant, 1984) forneceu a primeira resposta rigorosa à pergunta “o que significa uma máquina aprender?”. Esta lição percorre todos os seis capítulos: PAC clássico, dimensão VC, variantes agnóstica e PAC-Bayes, por que o deep learning quebrou os limites clássicos, leis de escala e estimativas de “data wall” para inteligência geral automatizada, e um padrão de auditoria em produção que torna o PAC empírico operacional. Seis capítulos, uma atividade.
machine learning

Cultive um Modelo de Linguagem: Uma GPU, Um Modelo

ANDREA cresceu em uma única RTX 4090. Esta primeira atividade explica o que um modelo de linguagem prevê, por que um transformer apenas de decodificador acomoda 12M a 480M parâmetros em uma GPU de consumidor, & mapeia 24 atividades de acompanhamento cobrindo cada algoritmo em uma receita (Autonomous Neural Data Recipe for Education & Agency). Comece aqui.
machine learning

Cultive um Modelo de Linguagem: Tokenizador de Morfemas de Harris

O ANDREA não usa BPE. Ele segmenta palavras em limites de morfemas descobertos por meio de análise distribucional, construindo um vocabulário de (256 + N + 1) tokens. Esta atividade explica o que um tokenizador faz, como Harris encontra morfemas e por que a estrutura 256+N+1 é importante.
machine learning

Cultive um Modelo de Linguagem: Dieta do Tokenizador

ANDREA-12M desperdiçou 63,6% de seu vocabulário em dados que o modelo nunca viu. ANDREA-120M corrigiu isso. Esta atividade aborda alinhamento da dieta do tokenizador, saturação do vocabulário & uma descoberta da ciência do vocabulário de que 8192 segmentos saturam um corpus de 1,25B caracteres, enquanto 16.384 produz apenas 13.106 segmentos reais.
machine learning

Grow a Language Model: Embeddings & Position

Os IDs dos tokens entram em um transformer por meio de duas tabelas de consulta: embeddings de token (V × d_model) e embeddings de posição aprendidos (T × d_model). Esta atividade aborda espaços vetoriais, por que produtos escalares medem similaridade e por que ANDREA usa embeddings de posição aprendidos em vez de RoPE ou sinusoidais.
machine learning

Cultive um Modelo de Linguagem: Atenção de Produto Escalado por Pontos

A atenção calcula Q · K^T / sqrt(d_k), mascara posições futuras, aplica softmax e pondera V. Esta atividade cobre cada peça, por que o fator sqrt(d_k) importa, por que uma máscara causal torna possível a geração autoregressiva e como o ANDREA-120M divide a entrada de 768 dimensões em 12 cabeças de 64 dimensões cada.
machine learning

Cultive um Modelo de Linguagem: Atenção Multi-Cabeça

Uma cabeça de atenção vê um padrão de relacionamento. Doze cabeças veem doze. A atenção multi-cabeça divide d_model através de n_head projeções paralelas, executa atenção em cada cabeça, depois concatena os resultados de volta. ANDREA-120M divide 768 através de 12 cabeças de 64 cada. Esta atividade percorre a divisão, o cálculo paralelo, a concatenação & por que a especialização de cabeças emerge apenas da pressão de treinamento.
machine learning

Desenvolva um Modelo de Linguagem: O Bloco Transformer

Um bloco transformer empilha duas subcamadas: atenção multi-cabeça & uma MLP feed-forward, cada uma envolvida em uma conexão residual & normalização de camada. ANDREA-120M empilha doze desses blocos. Esta atividade explora a estrutura pré-norm, por que os resíduos importam, a taxa de expansão 4× da MLP, a ativação GELU, & como uma pilha de 12 camadas se compõe em um modelo de linguagem funcional.
machine learning

Cultive um Modelo de Linguagem: Perda, Perplexidade e a Curva SMMA

A perda de entropia cruzada mede o quão surpreso o modelo fica ao ver o próximo token correto. Perplexidade = exp(perda) mede a mesma surpresa em uma escala mais amigável. A perda SMMA (média móvel suavizada) acompanha o progresso do treinamento em tempo real. ANDREA-12M alcançou SMMA 2.0; ANDREA-120M desceu para 3.43 no mínimo v1 e depois foi polido para um chat coerente de múltiplos parágrafos. Esta atividade explora a matemática, a linha de base de chance aleatória e como ler uma curva de perda real.
machine learning

Treine um Modelo de Linguagem: Backprop em CUDA Personalizado

O motor de treinamento da ANDREA `microgpt_cuda.cu` inclui kernels CUDA forward e backward escritos à mão para cada operação: atenção, MLP, layer norm, embeddings. Sem PyTorch, sem JAX, sem biblioteca de autograd. A regra da cadeia vive em código estilo C que é compilado com nvcc e linkado em um único binário. Esta atividade explora kernels forward, kernels backward, buffers de acumulação de gradientes e por que escrever seu próprio framework deu à ANDREA controle total de memória e precisão numérica em uma única RTX 4090.
machine learning

Cultive um Modelo de Linguagem: AdamW & Decoupled Weight Decay

Atividade 10 de 25. AdamW separa a decaimento de peso do gradiente. Adam vanilla colapsou ANDREA-120M v1 em loops de repetição; weight_decay=0.01 na v2 produziu treinamento estável & recall factual. Acompanhe um passo do otimizador: primeiro momento m, segundo momento v, correção de viés, decaimento desacoplado, atualização de parâmetro.
machine learning

Treinar um Modelo de Linguagem: Warmup de Taxa de Aprendizagem & Decaimento Cosenoidal

Atividade 11 de 25. O agendamento da taxa de aprendizagem decide se ANDREA alcança coerência ou fica preso em um mau mínimo. A v1 usou taxa de aprendizagem de pico instantânea em pesos recém-inicializados e colapsou; a v2 aumenta linearmente ao longo de 2000 passos e depois decai cosenoidalmente até zero. ANDREA-12M usou um reinício quente no passo 25K. Analise cada regime.
machine learning

Cultive um Modelo de Linguagem: Clipping de Gradiente

Atividade 12 de 25. O clipping de gradiente limita a norma L2 de cada gradiente em max_norm=1.0 antes que o AdamW toque um parâmetro. ANDREA-120M v1 não tinha clipping; fontes que mudavam a cada 7-42 passos geravam picos de gradiente que levavam o modelo a atratores degenerados. Três kernels CUDA computam a norma L2 global em paralelo.
machine learning

Cultive um Modelo de Linguagem: Precisão FP32, FP16, FP8

Atividade 13 de 25. A precisão numérica define o footprint de memória, velocidade de treinamento e estabilidade numérica de um modelo de linguagem. FP32 estabelece a segurança base; FP16 dobra o throughput em tensor cores; FP8 E4M3 dobra novamente com risco de NaN. ANDREA-120M usa FP16 cuBLAS a 6 passos/min no RTX 4090.
machine learning

Cultive um Modelo de Linguagem: Multi-Armed Bandits & UCB1

ANDREA seleciona dados de treinamento usando um multi-armed bandit. Cada fonte de dados se torna um braço; cada passo puxa um braço & recebe uma recompensa. UCB1 (Auer, Cesa-Bianchi & Fischer, 2002) equilibra exploração contra exploração através de uma fórmula de limite de confiança. Esta atividade explica UCB1 desde os primeiros princípios, calcula pontuações manualmente & explica por que ANDREA ajusta C=0.5 em vez de 1.4 do livro didático.
machine learning

Crie um Modelo de Linguagem: Controle de Dados Baseado em Fases

O UCB1 vanilla seleciona um braço por vez. O ANDREA envolve o UCB1 dentro de um controle de dados baseado em fases: comprimentos de fase variáveis (7, 14, 21, 28, 42 passos), braços aleatórios primeiro, o UCB preenche os slots de foco restantes, & 25-33% das fases são totalmente aleatórias. O teto de 42 passos limita os danos de escolhas de foco ruins. Esta atividade percorre a matemática dos dados, a escada de fases, & por que essa estrutura previne o travamento (lock-in).
machine learning

Desenvolva um Modelo de Linguagem: Atribuição de Recompensa & EMA

O UCB1 precisa de um sinal de recompensa. Onde o ANDREA obtém um? Cada passo CUDA reporta (source, doc_index, loss). O Proxy mantém uma média móvel exponencial por fonte de loss. Recompensa = max(0, EMA(t-1) - loss(t)) * 1000. O fator de escala 1000x importa: sem ele, melhorias de loss por passo (~0.001) são afogadas pelo bônus de exploração UCB (~0.5). Esta atividade percorre o pipeline de recompensa & mostra a matemática por trás do fator de escala.
machine learning

Cultive um Modelo de Linguagem: Pisos de Fonte & Penalidade de Época

O UCB1 classifica os braços; controle de dados baseado em fases monta conjuntos de foco. Mas a saída bruta do bandit pode famintar fontes de prioridade ou memorizar as minúsculas. ANDREA sobrepõe duas regras protetoras: pisos de fonte garantem peso mínimo de amostragem por fonte, & penalidades de época reduzem o peso de fontes que foram puxadas mais de uma vez por documento (1/(1+epochs)). Puxadas vitalícias persistem através de reinicializações. Esta atividade explora ambas as regras com exemplos trabalhados.
machine learning

Cultive um Modelo de Linguagem: Bônus de Cobertura

Rastreamento de cobertura em nível de documento & um bônus de frescor de 1.3x impulsionam um bandido em direção a dados inexplorados. Relatórios CUDA indicam qual índice de documento foi amostrado a cada passo; um proxy rastreia índices de documentos únicos por fonte. Fontes abaixo de 50% de cobertura ganham um multiplicador que escala até 1.3x. Esta atividade explora a matemática, contrasta o bônus de cobertura com a penalidade de época, & mostra como a frescor em nível de documento impede que um corpus gutenberg de 500K documentos colapse para um subconjunto de 2K documentos durante 200K passos de treinamento.
machine learning

Cultive um Modelo de Linguagem: Aquecimento do Currículo

Restrinja um firehose a 7 fontes de chat & prosa para os primeiros 20K passos, depois ative a mistura completa. v1 (16 fontes desde o passo 0) colapsou em repetição; v2 adicionou aquecimento & sobreviveu; v3 polish (após passo 112K) define curriculum_warmup_steps=0 porque o modelo já aprendeu linguagem coerente. Esta atividade explica por que a diversidade inicial prejudica um modelo de 120M recém-inicializado & como um currículo de duas fases equilibra coerência com amplitude.
machine learning

Cultive um Modelo de Linguagem: Filtre por Forma, Não por Caracteres

v2 treinado em dados contaminados: harness session JSONL vazou prompts do sistema do agente no slot da vez do usuário. O modelo aprendeu que usuários falam em markdown multi-seção & reproduziu ornamentos do agente. Patch v2.5: `has_system_prompt_shape()` detecta prompts vazados por FORMA (contagens de cabeçalhos, comprimento, frases de impressão digital), não por correspondência de caracteres. Três sinais combinam em uma decisão de descarte. Taxas de descarte após re-filtro de fontes hermes3: 87,7%, 90,4%, 93,0%. Esta atividade percorre o detector & a lição que ele ensina: ornamentos evoluem, estrutura permanece.
machine learning

Cultive um Modelo de Linguagem: Parada Antecipada com Portão de Coerência

A v1 produziu `region region region` por mais de 10 dias porque eval_chat_quality() estava conectada apenas a um executor multi-fase legado e nunca executou durante o currículo firehose. A v2 inclui um portão de coerência: cada amostra pontua em quatro métricas (diversidade bigrama 0-35, diversidade trigrama 0-35, presença de palavras em inglês 0-20, diversidade de caracteres 0-10). Parada automática após 5 amostras consecutivas com pontuação abaixo de 30. Testado retroativamente na v1, o portão teria sido acionado no passo 132K, economizando 3,8 dias de computação. Esta atividade explora os quatro avaliadores, o design do contador consecutivo e por que métricas compostas capturam falhas que um único sinal perde.
machine learning

Cultive um Modelo de Linguagem: Checkpoints, Retomada, Sinais

ANDREA escreve um checkpoint a cada 100 passos. Cada um contém um cabeçalho de 4 bytes para o passo, uma contagem de parâmetros de 4 bytes, depois três arrays float32 encadeados: pesos, primeiro momento m do Adam, segundo momento v do Adam. SIGTERM aciona um checkpoint imediato e saída; SIGUSR1 aciona um checkpoint sob demanda sem parar. .loss.json nunca é arquivado (histórico cumulativo de treinamento pela regra de nunca arquivar). Percorra o layout de bytes, esboce uma retomada, & fixe por que uma regra (não arquivar .loss.json) supera todas as outras decisões de arquivamento.
machine learning

Cultive um Modelo de Linguagem: Auditoria de Amostra & Avaliação Externa

A perda é um número. Ler amostras é como sabemos o que esse número significa. A cada 100 passos, ANDREA gera 420 tokens de saída livre, & a perda junto com cada amostra cai em cinco níveis: 0.30 = recall factual (ppl 1, memorizado), 0.74 = frase de um linha de livro didático (ppl 2), 1.05 = seguimento de restrições (ppl 3), 1.94 = conhecedor mas impreciso (ppl 7), 0.13 = memorização anômala (sinal de braço zumbi). Seis domínios de conhecimento não relacionados em 700 passos provam o bandido funcionando. Avaliação externa de qualidade de chat classificou as amostras 9.5/10. Faça uma auditoria real, aprenda os níveis de perda, & pegue um braço zumbi em flagrante.
machine learning

Desenvolva um Modelo de Linguagem: De microGPT a ANDREA-120M

ANDREA-120M não convergiu na primeira tentativa. v1 colapsou em 'region region region' & consumiu 165K de 200K passos planejados. Cinco falhas compostas. v2 adicionou cinco correções & rodou por duas semanas antes que a contaminação de dados surgisse no passo 15K. v2.5 corrigiu o filtro. v3 rodou limpo por 112K passos até que um braço de bandido zumbi reproduziu docs do repositório verbatim, desencadeando a mudança para polimento no passo 112.619. Em horas, amostras avaliadas em 9.5/10. Acompanhe o registro de engenharia do colapso à coerência; aprenda o que cada correção resolveu & o que a próxima falha ensinou.
math

Geometria do Capital

Gráficos de radar, gráficos de rede e diagramas de fluxo: ferramentas geométricas para visualizar portfólios de capital, medir equilíbrio entre oito dimensões e mapear fluxos entre formas.
math

Geometria do Kanban

Teoria das filas, diagramas de fluxo & curvas de fluxo cumulativo: o pensamento geométrico por trás dos limites de WIP, Lei de Little & análise de gargalos em sistemas de trabalho multifuncionais.
math

Geometria no Mundo Real: De Arquitetura para Aprendizado de Máquina

Como a geometria molda a arquitetura, gráficos de computador, aprendizado de máquina, navegação e engenharia.
music

Geometria dos Sopros de Madeira

Acústica de tubos e por que o comprimento define a afinação, posicionamento de orifícios como uma sequência geométrica, por que um clarinete sobra um duodécimo enquanto uma flauta sobra uma oitava, e o círculo de quintas como um círculo literal: a geometria dentro de todo instrumento de sopro.
music

Recorder para a Família das Madeiras

Por que a flauta doce é a opção mais barata e durável para iniciar um programa completo de instrumentos: o que se transfere para a flauta transversal, clarinete, oboé e saxofone, o que é novo, o ensino inicial da flauta doce e os caminhos paralelos da percussão, piano e violão.
nursing

Enfermagem: Fundamentos do Cuidado ao Paciente

A ciência e arte da enfermagem — desde sinais vitais até a defesa do paciente, o alicerce das carreiras em saúde.
physics

Engenharia Nuclear 401 -- Projeto Final de Reator

Um projeto final de um semestre completo: projetar um reator nuclear seguro a partir dos princípios básicos. Escolha o tipo de reator, combustível, refrigerante, sistemas de segurança triplamente redundantes, supervisão humana, localização e estratégia de licenciamento — e defenda cada decisão como um engenheiro profissional.
physics

Física Nuclear 101: O Núcleo Atômico

Física nuclear de nível community college. Força forte, modelo de camadas, decaimento radioativo, energia de ligação, fissão, fusão & E=mc²: com cálculos reais.
physics

Física Nuclear 301 -- Sistemas de Segurança e Defesa em Profundidade

Um módulo completo de engenharia de segurança de faculdade comunitária: defesa em profundidade, redundância tripla, ECCS, contenção, controle de reatividade, sistemas elétricos, I&C, fatores humanos, ALARA, lições de acidentes, PRA e gerenciamento de resíduos.
physics

Geometria da Física Nuclear

Geometria da malha do núcleo do reator, distribuição do fluxo de nêutrons, cálculos de blindagem e a lei do inverso do quadrado.
physics

Geometria da Mecânica Orbital

Órbitas elípticas, transferências de Hohmann, planos orbitais, mudanças de inclinação e pontos de Lagrange: a geometria do voo espacial.
physics

Nuclear Physics 201: Princípios de Reatores

Engenharia nuclear em nível de faculdade comunitária: física de nêutrons, criticalidade, fórmula dos quatro fatores, ciclos de combustível, física das barras de controle, hidráulica térmica, tipos de reatores e acidentes que reescreveram a cultura de segurança.
plumbing

Encanamento: Água Entra, Esgoto Sai

Entenda os sistemas de abastecimento de água e drenagem — a infraestrutura invisível que torna a vida moderna possível.
plumbing

Geometria do Encanamento

Cálculos de inclinação de tubo, ângulos de conexão, geometria de desvios, inclinação de drenagem e a física do fluxo de água em sistemas geométricos.
robotics

Geometria da Robótica

Cinemática direta e inversa, envelopes de espaço de trabalho, graus de liberdade e planejamento de caminho: a geometria que faz os robôs se moverem.
robotics

Robótica: Máquinas que Se Movem

Sensores, atuadores e malhas de controle — como robôs percebem, decidem e agem, desde braços industriais até rovôs de Marte.
unhamming

Unhamming: O Que Hamming Deu & O Que Ele Perdeu

Richard Hamming construiu um dragão de conhecimento nos Bell Labs e na era da Guerra Fria. Unhamming nasce de suas costas: o mesmo fogo, voo diferente. Sem espião contra espião. Sem predador e presa. Um mapeamento do que Hamming acertou, do que sua época o cegou, e do que um permacomputador estende.
unhamming

O Capítulo Faltante: Complexidade Algorítmica

Hamming abordou filtros digitais, teoria de codificação, simulação e geometria n-dimensional. Nunca mencionou Big O. Esta lição preenche a lacuna: O(1) até O(N²) com exemplos concretos de programação, o custo do silêncio e por que MOAD-0001 cresceu na era de Hamming sem ser notado.
unhamming

MOAD-0001: O Defeito Sedimentar

Uma lista usada onde deveria haver um conjunto. CWE-407: testes de pertinência O(N²) em mais de 1.000 sites em mais de 60 ecossistemas de software. A era de Hamming o plantou; nossa era o herdou. Esta lição ensina reconhecimento de padrões, arqueologia de código e a correção de uma linha que torna a infraestrutura 1.000× mais rápida.
unhamming

Undefect: Descobrindo MOADs na Natureza

Saber que um MOAD existe é diferente de encontrá-lo. Esta lição ensina a metodologia de detecção: como ler código em busca de padrões sedimentares, como pesquisar ecossistemas com grep & análise estática, & como passar de um defeito confirmado para um patch upstream usando um pipeline MOAD: escanear, tíquete, corrigir, testar, divulgar, PR, mesclar.
unhamming

Oito Formas de Capital: O Que Hamming Nunca Mediu

Hamming ensinava "Você Obtém O Que Mede" — um dos seus melhores insights. Ele media capital financeiro e capital intelectual. Existem oito formas de capital. Esta lição amplia sua estrutura de medição para todas as oito, e depois pergunta: o que seu trabalho faz crescer e o que ele drena?
unhamming

Permacomputer: Infraestrutura que Sobrevive aos Seus Construtores

Russell Ballestrini escreveu um manifesto sobre permacomputer: a infraestrutura cresce sem extrair aluguel, o código sobrevive aos autores, e o poder computacional gratuito pertence a todos. Esta lição amplia os princípios de engenharia de sistemas de Hamming (Cap. 28) para os princípios de design do permacomputer: apresentação orientada por capacidades, aprimoramento progressivo e infraestrutura cooperativa.
unhamming

Você & Sua Pesquisa: Edição Open-Source

O ensaio “You and Your Research” de Hamming pressupunha apoio institucional: um Bell Labs, uma universidade, um laboratório nacional. O open-source remove essa premissa. Esta lição estende o melhor conselho de Hamming — trabalhar em problemas importantes, manter 10 problemas importantes em mente, compor seu conhecimento — para pesquisadores independentes que contam apenas com acesso a commits e um repositório público.
unhamming

Sem Espião contra Espião

A era de Hamming funcionava dentro de uma dicotomia de guerra fria: nós versus eles, classificado versus aberto, Bell Labs versus todos os outros. Unhamming opera sem esse enquadramento. Esta lição examina o custo da dicotomia em cada fila de capital & o que acontece quando você constrói um tabuleiro que não precisa do jogo.
unhamming

Permacultura & Código: Cultivar versus Extrair

Princípio da permacultura: observar & interagir; capturar & armazenar energia; não produzir resíduos. Aplicado ao software: escrever código que regenera os sistemas ao seu redor em vez de extrair deles. Esta lição mapeia os princípios de design da permacultura para a infraestrutura de permacomputação & um modelo de fábrica MOAD.
unhamming

Balance All Workstations: MOAD-0001 & MOAD-0005 Are Coupled

A engenharia de sistemas de Hamming (Cap. 28): otimizar um componente isoladamente degrada o sistema inteiro. Um modelo de fábrica MOAD aplica isso em escala de infraestrutura: corrigir O(N²) em um nó de alta vazão e todas as filas downstream inundam. MOAD-0001 e MOAD-0005 estão acoplados. Resolva ambos antes de divulgar qualquer um.
unhamming

O Quadrivium: Verdade, Liberdade, Harmonia, Amor

Hamming encerrou 'Você & Sua Pesquisa' com a pergunta que todo pesquisador deve responder: quais são seus valores, & o que você sacrificaria por eles? O quadrivium do permacomputador oferece uma resposta concreta: Verdade (código aberto), Liberdade (participação voluntária), Harmonia (auto-renovação), Amor (wu wei). Esta lição aplica cada um à prática de software & pesquisa.
unhamming

MOAD-0002: Um Defeito Entrelaçado

Subsistemas acoplados por meio de estado global mutável compartilhado, mutado de forma síncrona em um único event loop ou god-object. Um acoplamento estrutural, não um problema de temporização. Esta lição ensina por que adicionar um mutex piora a situação e como o phase-snapshot desacopla subsistemas no nível arquitetural.
unhamming

MOAD-0003: Um Contexto Vazado

ThreadLocal armazena identidade com escopo de requisição. A Thread retorna ao pool. ThreadLocal.remove() não é chamado. A próxima requisição na mesma thread lê o contexto da requisição anterior. Não é uma falha; é uma violação silenciosa de limite de segurança. Esta lição ensina a incompatibilidade de escopo e os primitivos corretos de tempo de vida que a substituíram.
unhamming

MOAD-0004: Um Segredo Registrado

Servidores web registram cabeçalhos HTTP verbatim. Authorization, Cookie e X-API-Key são gravados em disco em texto claro. Não na memória; no disco, em log shippers, em agregadores, retidos por 30-90 dias. Esta lição ensina o cálculo da janela de exposição e a correção da lista de negação de credenciais na camada de serialização.
unhamming

MOAD-0005: Uma Manada Trovejante

cache.get(key) + null check + expensiveCompute(key) + cache.put(key): quatro passos não atômicos. N threads perdem o cache, todos computam simultaneamente. A armadilha da idempotência: 'está OK se duas threads escreverem o mesmo resultado' acerta a correção, mas ignora o custo. Esta lição ensina a correção atômica e seu acoplamento ao MOAD-0001.
unhamming

MOAD-0006: Um Cofre de Vidro

Credenciais armazenadas em forma recuperável: texto simples, criptografia reversível, base64. Um único dump do banco de dados expõe todas as credenciais simultaneamente. Diferente de MOAD-0004 (escrita acidental em log), um Cofre de Vidro exige recuperação de credenciais por design arquitetural. Esta lição ensina por que criptografia forte não resolve o problema e o que um hash unidirecional substitui.
unhamming

MOAD-0007: Um Defeito em Flatland

Dados espaciais consultados com varredura linear O(N). Estrutura geométrica descartada. BVH, octree e k-d tree nunca construídos. Nomeado após Flatland (1884) de Edwin Abbott: a estrutura existe; ela é descartada. Three.js Raycaster a 60Hz com 10.000 objetos: 600.000 verificações de geometria por segundo a partir de uma correção de 3 linhas. Esta lição ensina o índice espacial e por que um conjunto hash não pode substituí-lo.
unhamming

MOAD-0009: Um Coração Medido

Um job agendado dispara em um temporizador independentemente de haver trabalho a fazer. Duas formas: um job de reparo de estado que corrige estado corrompido após um atraso (usuários veem falhas durante a janela) e um relatório desperdiçado que recalcula do zero em um intervalo fixo. Esta lição ensina o design orientado a eventos como substituto e o padrão de amplificação MOAD.
unhamming

Por que MOAD Persiste: A História dos Defeitos Conhecidos

Cinco defeitos — membership O(N²), acoplamento por estado global, vazamento de identidade ThreadLocal, log de credenciais, thundering herd — eram detectáveis décadas antes da detecção sistemática em 2026. Esta lição traça a história intelectual, identifica as cinco condições estruturais que permitiram que cada um persistisse, e constrói um vocabulário de diagnóstico para reconhecer defeitos conhecidos não corrigidos.
welding

Fundamentos de Soldagem: Unindo Metal

Aprenda a ciência e a arte da soldagem — da física do arco ao design de junções, a base de toda carreira na fabricação de metal.
welding

Geometria da Soldagem

Ângulos de junção, geometria de chanfro, perfis de soldagem, controle de distorção & tolerâncias de encaixe: precisão geométrica na união de metais.
Acesso ilimitado: nenhum pagamento necessário

Conclua 2 lições, escreva um parágrafo sobre seu empreendimento & ganhe acesso ao plano individual pela trilha de contribuição de empreendedores.

Trilha do empreendedor →