Webtagr - Sumário de Notícias de Tecnologia

Unificando Operações de Aprendizado Profundo: A Operação com Janela Generalizada

2025-09-13

Este artigo apresenta a Operação com Janela Generalizada (GWO), uma estrutura teórica que unifica as operações principais de aprendizado profundo, como multiplicação de matrizes e convolução. A GWO decompõe essas operações em três componentes ortogonais: Caminho (localidade operacional), Forma (estrutura geométrica e simetria) e Peso (importância das características). O artigo propõe o Princípio de Alinhamento Estrutural, sugerindo que a generalização ótima ocorre quando a configuração da GWO reflete a estrutura intrínseca dos dados. Esse princípio decorre do princípio do Gargalo de Informação (IB). Uma métrica de Complexidade Operacional baseada na complexidade de Kolmogorov é definida, argumentando que a natureza dessa complexidade — regularização adaptativa versus capacidade de força bruta — determina a generalização. A GWO prevê uma generalização superior para operações que se alinham adaptivamente com a estrutura de dados. A estrutura fornece uma gramática para criar operações neurais e um caminho baseado em princípios das propriedades dos dados para projetos de arquiteturas generalizáveis.

Uma Nova Constante Complexa Derivada da Razão Áurea e sua Conjectura de Transcendência

2025-06-22

Um artigo de pesquisa de Tristen Harr introduz e analisa uma nova constante complexa, ΛG1, derivada de potências inversas da razão áurea, ϕ. Definida como ΛG1 = T + iJ, onde T = 1/(2ϕ) e J = 1/(2ϕ²), é provado ser um número algébrico com magnitude menor que um, adequado como argumento para a função Polilogaritmo, Lis(z). Avaliações numéricas de alta precisão para o Dilogaritmo (s=2) e o Trilogaritmo (s=3) sugerem que Lis(ΛG1) é transcendente para todos os inteiros s≥2 e reside fora da extensão de campo Q(π, ln(2), ϕ). Esta pesquisa é parcialmente motivada por potenciais aplicações em estudos de quase-cristais, onde a razão áurea é fundamental.

Deputy: Uma Linguagem Tipada Dependente Hospedada em Clojure

2025-05-20

Deputy é uma linguagem de programação experimental com tipos dependentes, incorporada em Clojure, com tipos de dados indutivos. Ela explora as implicações de um fluxo de trabalho baseado em REPL e Lisp para programação e verificação de tipos. Implementada como uma biblioteca Clojure, permite que os programadores utilizem a linguagem anfitriã enquanto trabalham no nível de tipo. Isso possibilita cálculos de nível de tipo que dependem de valores, desbloqueando padrões de programação poderosos. É importante destacar que, apesar da rica semântica dinâmica dos tipos, a verificação de tipos permanece uma operação puramente em tempo de compilação.