ViTs x CNNs: Benchmarks de Velocidade Desmentem Mitos sobre Resolução

2025-05-04

Este artigo questiona a crença comum de que os Transformadores de Visão (ViTs) são ineficientes para o processamento de imagens de alta resolução. Através de benchmarks rigorosos em várias GPUs, o autor compara a velocidade de inferência, FLOPs e uso de memória de ViTs e Redes Neurais Convolucionais (CNNs). Os resultados mostram que os ViTs têm um desempenho excepcional até e incluindo 1024x1024 pixels, muitas vezes superando as CNNs em hardware moderno em velocidade e eficiência de memória. O autor também argumenta contra uma ênfase excessiva em alta resolução, sugerindo que resoluções mais baixas são frequentemente suficientes. Finalmente, o artigo apresenta mecanismos de atenção local, melhorando ainda mais a eficiência do ViT em resoluções mais altas.

Leia mais
IA

SQLite-JS: Potencie o SQLite com JavaScript

2025-05-22
SQLite-JS: Potencie o SQLite com JavaScript

A extensão SQLite-JS permite criar funções, agregações, funções de janela e sequências de classificação personalizadas no SQLite usando JavaScript. Isso possibilita manipulação de dados flexível e poderosa diretamente no seu banco de dados SQLite. Suporta funções escalares (processando linhas individuais), agregações (processando múltiplas linhas), funções de janela (acessando todo o conjunto de dados) e colations personalizadas (definindo ordens de classificação). Crie funções para executar cálculos, manipulação de texto e transformações de dados com instruções SQL simples. Exemplos incluem calcular idade, mediana, médias móveis e muito mais. A avaliação direta de código JavaScript também é suportada para tarefas complexas. Quando usado com o sqlite-sync, as funções personalizadas são replicadas automaticamente em um cluster SQLite Cloud.

Leia mais
Desenvolvimento Extensão de Banco de Dados

Provando a Correção de Memorização em Lean: Um Estudo de Caso

2025-06-20
Provando a Correção de Memorização em Lean: Um Estudo de Caso

Esta postagem de blog demonstra como resolver um problema de programação dinâmica usando memorização no demonstrador de teoremas Lean e verificar formalmente sua correção. O autor aborda o problema das Moedas de Ouro Bytelandianas, apresentando inicialmente uma solução memorizada usando um HashMap. A dificuldade de provar diretamente sua correção é destacada devido aos desafios em raciocinar sobre invariantes de estrutura de dados. A solução utiliza subtipos e pares dependentes para criar um `PropMap`, uma tabela de memorização que armazena não apenas valores calculados, mas também provas de sua correção. A correção do algoritmo é então provada incrementalmente dentro da própria implementação recursiva, culminando em uma prova de nível superior trivial. Essa abordagem interliga elegantemente código e prova, mostrando uma técnica poderosa para verificar formalmente algoritmos de programação dinâmica.

Leia mais
Desenvolvimento programação dinâmica

Gerenciamento de Memória em Rust: Técnicas Avançadas

2025-05-06
Gerenciamento de Memória em Rust: Técnicas Avançadas

Esta é a quinta publicação de uma série sobre gerenciamento de memória em Rust, aprofundando-se em técnicas avançadas para lidar com operações de memória complexas. Começando com um exemplo simples de iterador, a publicação explica as intrincadas regras de propriedade e empréstimo do Rust, esclarecendo por que `for y in x` move a propriedade de `x` e como usar uma referência `&x` evita isso. O impacto das chamadas de método no gerenciamento de memória é então analisado, detalhando como múltiplas chamadas de método podem levar a erros do verificador de empréstimo e apresentando soluções: descartar e reaproveitar, armazenar um identificador, fazer uma cópia e reestruturar o código. A publicação conclui com uma breve introdução às durações de vida em Rust e durações de vida não lexicais, mostrando como as anotações de duração de vida previnem referências penduradas e como o Rust usa mecanismos semelhantes para garantir tanto a segurança de memória quanto a segurança de thread.

Leia mais
Desenvolvimento Verificador de Empréstimo

GitHub Copilot: Seu Programador em Parelha com IA

2024-12-18
GitHub Copilot: Seu Programador em Parelha com IA

O GitHub Copilot é um programador emparelhado com IA que fornece sugestões de código em tempo real com base em seu código e prompts de linguagem natural. Ele suporta várias linguagens de programação e IDEs, oferecendo planos gratuitos e pagos para atender às diversas necessidades. O Copilot possui poderosas funcionalidades de depuração e correção de vulnerabilidades de segurança, além de edição de vários arquivos e suporte multiplataforma. Embora treinado em repositórios de código público, ele não copia e cola código, mas gera sugestões probabilisticamente, oferecendo um filtro de referência de código opcional para mitigar preocupações sobre direitos autorais.

Leia mais

Computação quântica quebra o quebra-cabeça da química: Modelando moléculas complexas com precisão

2025-05-23
Computação quântica quebra o quebra-cabeça da química: Modelando moléculas complexas com precisão

Pesquisadores da IBM Quantum® e Lockheed Martin demonstraram, pela primeira vez, o uso de um computador quântico para modelar com precisão a estrutura eletrônica de moléculas de camada aberta — moléculas com elétrons desemparelhados — usando a técnica de Diagonalização Quântica Baseada em Amostra (SQD). Métodos clássicos têm dificuldades com esses sistemas complexos. Este estudo, focando no metileno (CH2), mostra a capacidade da computação quântica de calcular com precisão os estados singleto e tripleto, correspondendo a resultados clássicos de alta precisão. Essa descoberta abre portas para avanços em aeroespacial, detecção e design de materiais, destacando o potencial da computação quântica centrada em supercomputadores.

Leia mais

Yggdrasil: Um esquema de roteamento descentralizado experimental

2025-05-08

Yggdrasil é um esquema de roteamento compacto experimental, totalmente descentralizado e que requer apenas uma pequena quantidade de estado para funcionar. É predominantemente um esquema de caminho mais curto, pelo qual a rede tentará encontrar o caminho mais direto para o destino. Os nós são participantes iguais e se conectam usando conexões de pares que transportam tráfego de rede. As associações de pares podem ser configuradas em qualquer rede IP — seja uma ligação direta com fio ou sem fio, uma rede de área local ou mesmo a Internet. Em alguns casos, as associações de pares também podem ser configuradas automaticamente por dispositivos próximos na mesma rede usando descoberta de multidifusão. Todos os nós em uma rede Yggdrasil são roteadores e passarão automaticamente o tráfego para ajudá-lo a chegar mais perto de seu destino, quando possível. Isso significa que, mesmo em uma rede que está apenas esparsa-mente conectada, todos os nós serão alcançáveis por todos os outros nós nessa rede. Nem importa se um nó está atrás de um NAT — uma vez que uma associação de pares é estabelecida, o tráfego flui em ambas as direções sobre essa associação de pares. O Yggdrasil também é projetado para tolerar mudanças na rede. Por exemplo, se um link falhar, a rede se autocorrigirá e usará outros links para rotear o tráfego, quando disponível. Isso o torna adequado para uso em redes mesh, onde a topologia da rede pode e muitas vezes muda.

Leia mais

EA Origin será desativado: proteja seus jogos!

2025-01-25
EA Origin será desativado: proteja seus jogos!

A EA está desativando sua plataforma Origin em 17 de abril de 2025. Todos os usuários do Origin devem migrar para o aplicativo EA para continuar jogando e preservar seus dados do jogo. Embora a transição seja relativamente simples, ela requer um sistema de 64 bits, o que pode exigir uma atualização para alguns usuários. Como alternativa, os jogadores podem adicionar seus jogos à biblioteca Steam para evitar o uso do aplicativo EA.

Leia mais

Mudanças polêmicas na edição comunitária do MinIO geram indignação

2025-05-30
Mudanças polêmicas na edição comunitária do MinIO geram indignação

O MinIO, uma solução popular de armazenamento de objetos de código aberto, removeu recursos importantes de gerenciamento baseado na web de sua edição comunitária, gerando reação negativa dos usuários. A versão gratuita agora exige que os usuários confiem em ferramentas de linha de comando ou façam upgrade para um plano pago. Essa decisão, comparada por alguns a 'enshittification', levou muitos a explorar alternativas como SeaweedFS, Garage e Zenko. O MinIO afirma que as mudanças são necessárias para sustentar o desenvolvimento do projeto.

Leia mais
Desenvolvimento

Microsoft pressiona usuários do Windows 10 a atualizar, mas existem opções melhores

2025-03-21
Microsoft pressiona usuários do Windows 10 a atualizar, mas existem opções melhores

A Microsoft está incentivando os usuários do Windows 10 a atualizar para o Windows 11, pois o suporte ao Windows 10 termina em outubro de 2025. E-mails estão sendo enviados, sugerindo uma troca por um novo PC. No entanto, essa não é a opção mais econômica. Muitos usuários permanecem no Windows 10, o que representa um desafio para a Microsoft. Em vez de trocar suas máquinas antigas, os usuários podem reutilizá-las para várias tarefas, como centros de mídia, máquinas de jogos ou servidores domésticos.

Leia mais
Tecnologia

Por que alguns serviços digitais do DVLA não funcionam à noite?

2025-01-16
Por que alguns serviços digitais do DVLA não funcionam à noite?

Este artigo investiga por que alguns serviços digitais do DVLA (Agência de Licenciamento de Condutores e Veículos do Reino Unido) ficam offline durante a noite. A causa raiz reside em um sistema legado complexo, incluindo um mainframe IBM da década de 1980 e um esforço de modernização parcialmente concluído. Diante da escolha entre anos de reconstrução da infraestrutura ou o lançamento de um serviço com limitações noturnas, o DVLA optou pela última opção para entregar valor rapidamente. O artigo destaca os desafios da transformação digital em grandes organizações que lutam com tecnologia legada e as decisões difíceis envolvidas no equilíbrio entre velocidade e estabilidade a longo prazo. A situação destaca o quão difícil pode ser a digitalização do governo, mesmo uma década após os esforços iniciais de modernização.

Leia mais

Torres Eólicas Mais Altas e Mais Baratas: A Engenharia de Madeira ao Resgate

2025-05-23
Torres Eólicas Mais Altas e Mais Baratas: A Engenharia de Madeira ao Resgate

Construir torres eólicas mais altas é tradicionalmente caro, limitando sua altura e eficiência. Uma nova solução utiliza madeira de engenharia, oferecendo a resistência do aço, mas com peso significativamente menor. Isso elimina reforços e manutenção dispendiosos, tornando as torres mais altas mais eficientes e econômicas. Na verdade, este projeto modular de madeira torna-se ainda mais vantajoso quanto mais alto ele for, prometendo uma revolução na energia eólica.

Leia mais

Origem surpreendente da matéria escura: partículas rápidas desacelerando

2025-05-16
Origem surpreendente da matéria escura: partículas rápidas desacelerando

Pesquisadores de Dartmouth propõem uma nova teoria sobre a origem da matéria escura. Seu modelo sugere que, no início do universo, partículas sem massa de alta energia colidiram e rapidamente se condensaram, semelhante ao vapor se transformando em água, formando matéria escura. Essas partículas, atraídas por spins opostos, esfriaram e sua energia caiu drasticamente, transformando-se em partículas frias e pesadas. A teoria é testável por meio da análise da radiação cósmica de fundo em micro-ondas e traça uma analogia com a formação de pares de Cooper na supercondutividade.

Leia mais
Tecnologia

A Língua Modela a Personalidade? Um Estudo Bilíngue Fascinante

2024-12-22

Um amigo, Victor, conduziu um experimento único explorando o impacto da língua na personalidade. Usando um teste de personalidade padronizado em bilíngues inglês/alemão, ele descobriu que metade apresentou mudanças significativas na personalidade dependendo da língua usada. Esse resultado fascinante gerou uma discussão sobre bilinguismo coordenado e composto, e tocou em relatividade e determinismo linguísticos. Embora os dados sejam limitados, o estudo de Victor sugere uma ligação sutil, mas intrigante, entre língua e personalidade.

Leia mais

Resumo de e-mail por IA do Gmail: útil, mas desativável

2025-05-30
Resumo de e-mail por IA do Gmail: útil, mas desativável

O Gmail agora usa IA para gerar automaticamente resumos de e-mail, utilizando a arquitetura Transformer. Embora a precisão dependa do conteúdo do e-mail, esse recurso pode ser desnecessário para a maioria dos usuários. Para desativá-lo, acesse as configurações do aplicativo Gmail e desative os "recursos inteligentes", embora isso também desative outros recursos convenientes, como notificações de alta prioridade e respostas inteligentes. Esse recurso está desativado por padrão na Europa e no Japão.

Leia mais
Tecnologia resumo de e-mail

Censura do Governo dos EUA: Um efeito assustador na pesquisa científica

2025-02-21
Censura do Governo dos EUA: Um efeito assustador na pesquisa científica

O novo governo dos EUA está fechando programas de ajuda, retirando-se da OMS e do Acordo de Paris, excluindo conjuntos de dados, recusando financiamento para universidades e proibindo palavras como "viés", "mulheres" e "gênero" de documentos federais. Isso está prejudicando a pesquisa científica e ameaçando a saúde pública. Um pesquisador anônimo revela a censura do governo e o silenciamento de populações vulneráveis, pedindo atenção para essa situação alarmante. As ações tomadas estão causando medo generalizado e ameaçam a integridade da pesquisa científica e da saúde pública.

Leia mais
Tecnologia censura científica

A Gramática Excêntrica do PostgreSQL: Uma Imersão Profunda no Analisador Sintático

2025-06-23

Este artigo mergulha em alguns aspectos menos conhecidos da gramática do PostgreSQL, incluindo operadores personalizados, precedência em instruções SELECT compostas, tipos percentuais, continuação de strings, identificadores entre aspas e escapes Unicode. O autor destaca que os operadores personalizados do PostgreSQL diferem significativamente de outras linguagens convencionais, apresentando desafios de implementação exclusivos. Por exemplo, o suporte a operadores personalizados permite a análise nativa da sintaxe de expressão lambda do Trino, mas introduz complexidades de precedência. O artigo também detalha o comportamento diferenciado da continuação de strings e comentários, explicando como lidar com aspas duplas e sequências de escape Unicode dentro de identificadores. Por fim, demonstra o uso de funções de operador, mostrando como especificar o esquema do operador.

Leia mais

Exoplaneta Tylos: Um Planeta de Lava que Desafia Nossa Compreensão do Clima

2025-02-19
Exoplaneta Tylos: Um Planeta de Lava que Desafia Nossa Compreensão do Clima

Astrônomos usando o Very Large Telescope do Observatório Europeu do Sul realizaram pesquisas aprofundadas em um exoplaneta chamado Tylos (WASP-121b). Localizado a 900 anos-luz da Terra, este planeta tem um período orbital de 30 horas, com um lado perpetuamente escaldante e o outro perpetuamente escuro. Ao analisar seus elementos atmosféricos de ferro, sódio e hidrogênio, os pesquisadores descobriram um fenômeno sem precedentes: uma corrente de jato de alta velocidade no equador, juntamente com um fluxo atmosférico inferior transportando gás do lado quente para o lado frio. Esse padrão climático bizarro desafia nossa compreensão dos sistemas climáticos planetários e parece algo saído da ficção científica.

Leia mais

Mergulho profundo na microarquitetura SiFive P550: um passo ambicioso do RISC-V

2025-01-27
Mergulho profundo na microarquitetura SiFive P550: um passo ambicioso do RISC-V

Este artigo mergulha na microarquitetura SiFive P550, um núcleo de processador RISC-V voltado para aplicativos de alto desempenho. O P550 emprega uma arquitetura de execução fora de ordem de três vias com um pipeline de 13 estágios, com o objetivo de atingir 30% de desempenho superior em menos da metade da área de um Arm Cortex A75 comparável. A análise compara o P550 com o Cortex A75, examinando a previsão de desvios, a busca e decodificação de instruções, a execução fora de ordem e o subsistema de memória. Embora o P550 apresente fraquezas em áreas como acesso de memória desalinhado, ele representa um passo significativo para o RISC-V. Embora precise de refinamentos adicionais, o P550 demonstra o progresso da SiFive em direção a CPUs de uso geral de alto desempenho.

Leia mais
Hardware Microarquitetura

Quantus: Plataforma de Trading Quantitativo Revolucionária

2024-12-12

Quantus é uma plataforma de trading quantitativo avançada, projetada para fornecer soluções de trading eficientes e confiáveis para traders profissionais e investidores institucionais. Integra poderosas ferramentas de análise de dados, recursos flexíveis de backtesting e um sistema de execução de baixa latência, permitindo que os usuários capitalizem melhor as oportunidades de mercado e melhorem os retornos de investimento. Com sua tecnologia robusta e interface amigável, Quantus está se tornando rapidamente uma estrela em ascensão no cenário de fintech.

Leia mais

Óculos AR Halliday: Um design único com desvantagens significativas

2025-01-27
Óculos AR Halliday: Um design único com desvantagens significativas

Os óculos AR Halliday, apresentados na CES, possuem um design óptico inovador que difere das abordagens convencionais baseadas em guias de onda. Usando um projetor monoculo para projetar imagens diretamente no olho através de um sistema óptico de espelho, eles oferecem vantagens em termos de brilho e eficiência, e compatibilidade com lentes de prescrição padrão. No entanto, os usuários precisam olhar para cima para ver a imagem, levando a desconforto e constrangimento social. A luz dispersa também resulta em um efeito de halo, diminuindo o contraste. Apesar do marketing bem-sucedido, o design pode dificultar as melhorias na resolução e na qualidade da imagem, e a falta de uma câmera limita seu potencial de IA. Embora inovador, suas desvantagens superam significativamente os benefícios.

Leia mais

John Does do Hospital Geral de Los Angeles: Uma Crise de Saúde de Pacientes Não Identificados

2025-06-18
John Does do Hospital Geral de Los Angeles: Uma Crise de Saúde de Pacientes Não Identificados

O Hospital Geral de Los Angeles recebe anualmente dezenas de milhares de pacientes não identificados, a maioria dos quais é rapidamente identificada. No entanto, alguns, como um homem encontrado inconsciente em fevereiro, permanecem por meses ou anos devido à falta de informações de identificação. O hospital tenta localizar parentes divulgando fotos e detalhes limitados, com sucesso variável. Isso apresenta não apenas desafios administrativos, mas também preocupações com a segurança do paciente e sobrecarrega os recursos de saúde. Vários casos semelhantes destacam as dificuldades impostas por pacientes não identificados, sublinhando a necessidade de atenção social para populações vulneráveis.

Leia mais

Mistral AI Lança Le Chat Enterprise: Plataforma de IA Unificada para Empresas

2025-05-07
Mistral AI Lança Le Chat Enterprise: Plataforma de IA Unificada para Empresas

A Mistral AI lançou o Le Chat Enterprise, um assistente de IA repleto de recursos, alimentado por seu novo modelo Mistral Medium 3. Projetado para enfrentar os desafios de IA empresarial, como fragmentação de ferramentas e retorno lento do investimento, o Le Chat Enterprise oferece uma plataforma unificada para todo o trabalho organizacional. Recursos principais incluem pesquisa empresarial, construtores de agentes, conectores de dados personalizados, bibliotecas de documentos, modelos personalizados e implantações híbridas. A plataforma prioriza a privacidade com conexões de dados seguras e oferece opções de personalização extensivas. Melhorias nos planos Le Chat Pro e Team também foram anunciadas. O Le Chat Enterprise está disponível no Google Cloud Marketplace, com integrações do Azure AI e AWS Bedrock em breve.

Leia mais
IA

IRC Driven: Revivendo o IRC como uma Plataforma Social

2025-01-13

IRC Driven é um site moderno de indexação IRC e mecanismo de busca com o objetivo de reviver o IRC e transformá-lo em uma plataforma social. Ele oferece indexação de rede e canal, criação de perfis de usuário e páginas de canal com base na lista de canais da rede. O site passou por várias reescritas e melhorias recentes incluem a resolução de problemas de API, trazendo de volta os bots de canal. O site também está buscando voluntários para ajudar no desenvolvimento para melhorar ainda mais a experiência do usuário.

Leia mais
Desenvolvimento plataforma social

Os Segredos Assombrosos da Linha Numérica

2025-02-19
Os Segredos Assombrosos da Linha Numérica

Este artigo mergulha nas complexidades surpreendentes escondidas na aparentemente simples linha numérica. O autor argumenta que mesmo os inteiros merecem uma consideração mais profunda em relação à sua existência e distinção. Mais chocante ainda, a grande maioria dos números na linha numérica são não computáveis, o que significa que eles não podem ser expressos ou calculados com precisão, excedendo os limites da compreensão humana. Isso desafia nossa compreensão dos números e revela os mistérios infinitos do mundo matemático.

Leia mais

Converte de Tabelas Excel/Google Sheets para Markdown

2025-05-30
Converte de Tabelas Excel/Google Sheets para Markdown

Esta poderosa ferramenta online converte perfeitamente entre tabelas do Excel ou Google Sheets e tabelas Markdown. Basta copiar e colar para converter; o resultado é automaticamente copiado para a área de transferência. A ferramenta é executada totalmente no lado do cliente, garantindo a privacidade dos seus dados. Também suporta alinhamento de colunas personalizado (esquerda, centro, direita).

Leia mais
Desenvolvimento Conversão de Tabelas

Quatro Dias de Caos com IA: O Colapso do Meu Projeto Deskthang

2025-01-27
Quatro Dias de Caos com IA: O Colapso do Meu Projeto Deskthang

O autor tentou construir o Deskthang, um projeto que exibe o status do pipeline GitLab CI/CD usando um Raspberry Pi Pico, tela LCD e LEDs RGB, em um único dia. Ele tentou usar ferramentas de IA para o desenvolvimento de código Zig e transferência de imagens via USB para o Pico. No entanto, a orientação equivocada da IA e uma compreensão falha da comunicação USB levaram a uma luta de quatro dias que resultou em um código confuso e disfuncional. Principais conclusões: IA é uma ferramenta, não um copiloto; atrito deliberado melhora o foco; aprender com erros é superior a atalhos; respeite a complexidade dos projetos.

Leia mais
Desenvolvimento Programação Zig

Embriões Ciborgues: Registrando a Atividade Cerebral Durante o Desenvolvimento

2025-06-15
Embriões Ciborgues: Registrando a Atividade Cerebral Durante o Desenvolvimento

Cientistas de Harvard criaram embriões ciborgues implantando matrizes de eletrodos flexíveis nos cérebros em desenvolvimento de rãs, camundongos e salamandras. Essa tecnologia inovadora permite o registro da atividade neural durante todo o desenvolvimento, fornecendo insights sem precedentes sobre como o cérebro se forma e funciona. Embora os pesquisadores considerem a implantação em embriões humanos antiética, a tecnologia tem um potencial imenso para o estudo e tratamento de distúrbios do neurodesenvolvimento em crianças devido à sua natureza biocompatível e elástica. Experimentos revelaram a capacidade da tecnologia de rastrear mudanças na atividade neural durante o desenvolvimento e a regeneração, potencialmente abrindo caminho para novas intervenções terapêuticas.

Leia mais
Tecnologia Bioengenharia

Construindo seu próprio Asyncio em Python: Desvendando o await

2025-05-07
Construindo seu próprio Asyncio em Python: Desvendando o await

Este artigo fornece uma explicação clara e profunda do asyncio, o mecanismo central da programação assíncrona em Python. O autor constrói uma versão simplificada do asyncio passo a passo, revelando o funcionamento interno da palavra-chave `await` e culminando em um servidor echo totalmente funcional. Começando com os conceitos básicos de geradores e corrotinas, o artigo introduz gradualmente conceitos centrais como Scheduler e Future, e detalha como usar o módulo `selectors` para E/S não bloqueante. Ao ler isso, os leitores obtêm uma compreensão mais profunda dos mecanismos subjacentes da programação assíncrona do Python e desmistificam a 'mágica' do `await`.

Leia mais
Desenvolvimento
1 2 548 549 550 552 554 555 556 595 596