Protótipo de Mapas Internos com VLMs: De Fotos a Posições

2025-07-07

Em um final de semana, o autor criou um protótipo de sistema de localização interna usando apenas uma foto e modelos avançados de linguagem e visão (VLMs). Ao anotar um mapa de um shopping, identificar lojas visíveis na foto e usar a capacidade de reconhecimento de imagem do VLM, o sistema conseguiu corresponder a localização da foto ao mapa. Apesar de alguma ambiguidade, os resultados são surpreendentemente precisos, mostrando o potencial dos VLMs para localização interna. Isso abre caminhos interessantes para futuras aplicações de realidade aumentada (AR) e robótica, ao mesmo tempo em que destaca potenciais preocupações ambientais.

Leia mais

Sol artificial chinês bate recorde de fusão nuclear: 1.006 segundos de operação

2025-01-24
Sol artificial chinês bate recorde de fusão nuclear: 1.006 segundos de operação

O reator Experimental Advanced Superconducting Tokamak (EAST), apelidado de 'sol artificial', da China, atingiu um marco histórico na pesquisa de energia de fusão. Ele sustentou uma operação de plasma de alto confinamento por 1.006 segundos sem precedentes, superando o recorde anterior de 403 segundos (também estabelecido pelo EAST). Essa conquista significativa representa um passo crucial em direção ao aproveitamento da energia de fusão - uma fonte de energia limpa e virtualmente ilimitada. O sucesso é atribuído a avanços na estabilidade do sistema de aquecimento, precisão do sistema de controle e sistemas de diagnóstico. Essa inovação não apenas demonstra a liderança da China na pesquisa de fusão, mas também oferece esperança para um futuro de energia mais limpo.

Leia mais

Agentes de revisão de código de IA: úteis, mas não uma solução mágica

2025-05-07
Agentes de revisão de código de IA: úteis, mas não uma solução mágica

Muitos agentes de revisão de código de IA surgiram, usando LLMs para analisar diffs de código e identificar problemas. O autor experimentou o Coderabbit, descobrindo que ele ocasionalmente detecta erros que os revisores humanos perderam, mas também gera sugestões irrelevantes ou incorretas. Construir um agente básico é relativamente fácil usando a API do GitHub e uma chave OpenAI. No entanto, os LLMs têm dificuldades para entender completamente o código, especialmente sem um contexto mais amplo da base de código, levando a sugestões imprecisas. O autor conclui que criar um agente realmente útil requer resolver o problema da compreensão do código pelo LLM e aproveitar eficazmente o contexto da base de código.

Leia mais
Desenvolvimento

Configurando o servidor de linguagem Python no editor Kate para ambientes virtuais

2025-05-05

Esta publicação detalha a configuração de um servidor de linguagem Python no editor Kate para funcionar com ambientes virtuais. O autor observa que, embora a documentação do Kate exista, o processo de configuração pode ser complicado. O artigo descreve a criação de um script bash, `pylsp_in_env`, para detectar e ativar automaticamente ambientes virtuais. Este script é então integrado com `python-lsp-server` e `python-lsp-ruff` (para lint e formatação Ruff). A configuração final é alcançada especificando o script `pylsp_in_env` e o argumento de caminho `%{Project:NativePath}` no arquivo de configuração LSP do Kate.

Leia mais
Desenvolvimento Servidor de Linguagem

Automattic reduz contribuições patrocinadas para o WordPress

2025-01-09
Automattic reduz contribuições patrocinadas para o WordPress

A Automattic anunciou que reduzirá suas contribuições patrocinadas para o projeto WordPress devido a ações judiciais da WP Engine que desviam recursos e enfrentam críticas da comunidade. Essa realocação concentra os esforços da Automattic em seus próprios projetos lucrativos, como WordPress.com e WooCommerce, ao mesmo tempo em que iguala as horas de voluntariado prometidas por outras empresas para o benefício de toda a comunidade, focando em segurança e atualizações críticas. A Automattic enfatiza que isso não é um abandono do WordPress, mas uma recalibração estratégica para garantir sua saúde a longo prazo e contribuições mais eficazes.

Leia mais
Desenvolvimento

Recarregamento a Quente em Rust com Scheme Embutido

2025-01-08

Este artigo demonstra como embutir o interpretador Scheme leve Stak Scheme em Rust, uma linguagem compilada, para alterar dinamicamente o comportamento do programa sem reiniciar o processo. Ele mostra a funcionalidade de recarregamento a quente incorporando um script Scheme em um servidor HTTP Rust. Usando o Stak Scheme e a biblioteca `stak-build`, a lógica do manipulador de solicitações HTTP do servidor é alterada dinamicamente sem recompilar o programa Rust.

Leia mais
Desenvolvimento Recarregamento a Quente

Desmentindo Mitos sobre Incêndios na Califórnia: Fato vs. Ficção

2025-01-13
Desmentindo Mitos sobre Incêndios na Califórnia: Fato vs. Ficção

Em meio aos incêndios florestais na Califórnia, a desinformação se espalhou online. O gabinete do governador Newsom divulgou uma declaração desmentindo alegações falsas sobre cortes de orçamento, má gestão florestal, escassez de água e as causas dos incêndios. Na realidade, o número de pessoal do CalFire e o orçamento quase dobraram, com aumentos significativos nos gastos com gestão florestal. Os reservatórios estão cheios, refutando as alegações de escassez de água. Investigações sobre as origens dos incêndios estão em andamento, com autoridades negando alegações de rituais satânicos. A Califórnia está empregando recursos extensos para combater os incêndios florestais sem precedentes.

Leia mais

Cinco anos na forja: Um aplicativo web minimalista de composição musical é lançado no Hacker News

2025-02-05
Cinco anos na forja: Um aplicativo web minimalista de composição musical é lançado no Hacker News

Um engenheiro relata sua jornada de cinco anos construindo um aplicativo web minimalista de composição musical online, "signal". Ele detalha os desafios de navegar pelas tecnologias JavaScript em evolução (de C++ para Electron, CoffeeScript, React, Riot.js, TypeScript e, finalmente, WebGL e styled-components), gargalos de desempenho e o lançamento eventual no Hacker News. Apesar da recepção inicial modesta, o aplicativo ganhou tração, obtendo estrelas no GitHub e patrocínios. Embora ainda esteja em fase inicial de desenvolvimento, o lançamento marca um marco significativo, com planos futuros focando em recursos de composição colaborativa.

Leia mais
Desenvolvimento Composição Musical

Fundação Matrix enfrenta crise de financiamento, ameaçando protocolo de comunicação de código aberto

2025-02-20
Fundação Matrix enfrenta crise de financiamento, ameaçando protocolo de comunicação de código aberto

A Fundação Matrix.org, responsável pela manutenção do protocolo de comunicação de código aberto Matrix, está enfrentando uma grave escassez de fundos. Apesar de um 2024 bem-sucedido e uma Conferência Matrix comemorando 10 anos do Matrix, a Fundação está operando com um orçamento apertado e enfrenta ameaças existenciais. O trabalho da Fundação na manutenção da especificação Matrix, garantindo sua segurança e interoperabilidade, é crucial. Sem financiamento suficiente, essas funções principais correm risco, potencialmente levando à fragmentação do protocolo. A Fundação está buscando urgentemente financiamento para manter programas críticos e evitar o fechamento de seus serviços de bridge, pedindo a indivíduos, organizações e investidores que ajudem a preservar essa rede de comunicação descentralizada e criptografada de ponta a ponta.

Leia mais
Desenvolvimento protocolo de comunicação

Parser de Dados Garmin: Domine seus Dados de Fitness com GarminDb

2025-02-02
Parser de Dados Garmin: Domine seus Dados de Fitness com GarminDb

GarminDb é um conjunto poderoso de scripts Python projetados para analisar dados de saúde do Garmin Connect e armazená-los em um banco de dados SQLite leve. Ele baixa e importa automaticamente dados de monitoramento diário (frequência cardíaca, atividade, subida/descida, estresse e minutos de intensidade), sono, peso e informações de frequência cardíaca em repouso. Além disso, ele resume os dados em relatórios diários, semanais, mensais e anuais e permite a criação de gráficos por meio da linha de comando ou Jupyter Notebooks. Um sistema de plug-ins permite a expansão fácil de tipos de dados. Em resumo, GarminDb é uma ferramenta abrangente e fácil de usar para gerenciar seus dados Garmin, tornando a análise de dados de saúde mais eficiente e conveniente.

Leia mais
Desenvolvimento Dados de Saúde

Trump vs. Musk: Uma Disputa Espacial

2025-06-07
Trump vs. Musk: Uma Disputa Espacial

O presidente Trump e o CEO da SpaceX, Elon Musk, travaram uma acirrada discussão pública, com Trump ameaçando cancelar contratos governamentais da SpaceX e Musk respondendo com a ameaça de desativar a espaçonave Dragon. Essa troca gerou preocupações sobre o impacto na NASA e no Departamento de Defesa, que dependem fortemente da SpaceX. Embora Musk mais tarde tenha retirado a ameaça de desativação, o incidente destaca a complexa interação entre a política e os negócios dos EUA e suas implicações para a exploração espacial. A retirada por Trump da indicação de Jared Isaacman para administrador da NASA complicou ainda mais a situação.

Leia mais
Tecnologia

Lições Aprendidas: Dois Anos como CTO da Carta

2025-05-24
Lições Aprendidas: Dois Anos como CTO da Carta

Refletindo sobre sua passagem de dois anos como CTO da Carta, o autor compartilha aprendizados importantes em estratégia de engenharia, adoção de LLMs e gestão organizacional. Ele discute o aprimoramento de seu estilo de liderança para se aprofundar nos detalhes, a escrita de um livro sobre estratégia de engenharia, a implementação bem-sucedida de LLMs na Carta para fluxos de trabalho internos e novos recursos de produtos, e o programa 'Navigator' de grande impacto para aumentar o envolvimento de engenheiros seniores. Ele também detalha estratégias para gerenciar custos de engenharia e comunicar eficazmente investimentos em P&D aos conselhos.

Leia mais

DIRKU: Uma Biblioteca de Registro de Imagens Baseada em Fluxo

2025-01-10
DIRKU: Uma Biblioteca de Registro de Imagens Baseada em Fluxo

DIRKU é uma biblioteca de software para registro de imagens baseado em fluxo desenvolvido no Departamento de Ciência da Computação da Universidade de Copenhague. Ele suporta várias medidas de similaridade (NMI, NCC, SSD), métodos de regularização e detecção de colisão, tornando-o adequado para lidar com grandes deformações e difeomorfismos. DIRKU suporta registro de imagens 2D e 3D e oferece vários esquemas de otimização, métodos de interpolação e métodos de integração de tempo. A biblioteca é fácil de usar, instalável via Conda e vem com documentação e exemplos abrangentes.

Leia mais

Universidade reformula currículo de programação: Ênfase em design explícito e sistemático

2024-12-19

O departamento de ciência da computação da Northeastern University desenvolveu um currículo de programação único que enfatiza o design de programas explícito e sistemático, em vez de se concentrar em linguagens de programação da moda. O currículo começa com uma linguagem de ensino simples, introduzindo gradualmente os princípios de design aos alunos antes de aplicá-los a linguagens industriais. Essa abordagem cultiva o raciocínio lógico e as habilidades de resolução de problemas para softwares grandes e complexos. O currículo também destaca os aspectos sociais da programação, incentivando a programação em pares para melhorar a comunicação e a colaboração. Esse método não apenas aprimora as perspectivas de emprego dos alunos, mas também lança uma base sólida para suas carreiras futuras.

Leia mais

Nova estrutura Forked do Swift simplifica o gerenciamento de dados compartilhados

2024-12-17
Nova estrutura Forked do Swift simplifica o gerenciamento de dados compartilhados

O desenvolvedor Drew McCormack lançou o Forked, uma nova estrutura Swift para simplificar o gerenciamento de dados compartilhados em dispositivos únicos e múltiplos. Inspirado no mecanismo de mesclagem do Git, o Forked suporta ramificação e mesclagem em um único arquivo, alcançando consistência eventual. Ele não requer um histórico completo de alterações, apenas versões suficientes para mesclagem de três vias. O Forked usa structs em vez de classes, suporta Codable e se integra perfeitamente a serviços em nuvem como o iCloud. Ele também aborda condições de corrida de acesso concorrente e suporta lógica de mesclagem personalizada ou algoritmos CRDT integrados. A sincronização do CloudKit é alcançada com apenas algumas linhas de código.

Leia mais

QueryHub: Interação com Banco de Dados Impulsionada por IA

2025-05-08
QueryHub: Interação com Banco de Dados Impulsionada por IA

O QueryHub é uma plataforma de IA inovadora que transforma a maneira como você interage com seus bancos de dados. Usando processamento de linguagem natural, permite que os usuários consultem bancos de dados com inglês simples, eliminando a necessidade de SQL complexo. Ele gera automaticamente consultas SQL otimizadas, entende esquemas de bancos de dados e fornece visualização de dados. O QueryHub capacita desenvolvedores e empresas a analisarem dados de forma mais eficiente e obterem insights significativos, mesmo sem conhecimento especializado. Uma versão gratuita permite conectar um banco de dados e executar até 100 consultas de IA, enquanto um plano profissional oferece mais conexões e consultas ilimitadas.

Leia mais
Desenvolvimento

Governo do Reino Unido adota senhas sem senha: Passkeys chegam ao GOV.UK

2025-05-08
Governo do Reino Unido adota senhas sem senha: Passkeys chegam ao GOV.UK

O governo do Reino Unido está implementando a tecnologia Passkeys em seus serviços digitais no final deste ano, substituindo o atual sistema de verificação baseado em SMS. Essa medida deve gerar economia de milhões de libras anualmente, além de melhorar significativamente a segurança, alinhada com a estratégia de transformação digital do governo. O Centro Nacional de Segurança Cibernética (NCSC), que se juntou à FIDO Alliance, apoia a iniciativa. As Passkeys oferecem logins mais rápidos e seguros, com forte proteção contra ataques de phishing. Grandes empresas como Microsoft e Amazon também estão adotando as Passkeys, indicando uma mudança global para a autenticação sem senha.

Leia mais
Tecnologia

Framework Xenon: Uma poderosa estrutura de hacking de jogos em C++

2025-05-08
Framework Xenon: Uma poderosa estrutura de hacking de jogos em C++

Xenon é uma estrutura C++ poderosa e flexível projetada para criar trapaças de jogos, internas e externas. Sua arquitetura modular permite a implementação fácil de recursos como ESP, Aimbot, Radar e muito mais. Xenon suporta vários motores de jogo, incluindo Unreal Engine e Unity, e é projetado para ser universal, podendo ser adaptado a vários jogos com alterações mínimas. O framework oferece opções de cheats internas (injeção de DLL) e externas (aplicativo independente), simplificando o processo de desenvolvimento.

Leia mais

Rhai: Uma linguagem de script embutida segura e eficiente para Rust

2025-01-20
Rhai: Uma linguagem de script embutida segura e eficiente para Rust

Rhai é uma linguagem de script e mecanismo de avaliação embutidos para Rust, oferecendo uma maneira segura e fácil de adicionar recursos de script a qualquer aplicativo. Ele é compatível com todos os alvos de CPU e SO suportados pelo Rust, incluindo WebAssembly, e possui uma sintaxe simples, semelhante ao JavaScript. O Rhai se destaca pela avaliação eficiente e integração estreita com funções e tipos nativos do Rust, permitindo a passagem e o uso sem problemas de valores do Rust. Seus recursos de segurança robustos protegem contra ataques maliciosos, como estouro de pilha e scripts descontrolados.

Leia mais
Desenvolvimento Linguagem de Script Embutida

Indústria Criativa Britânica se Opõe a Brechas de Direitos Autorais em IA

2025-05-12
Indústria Criativa Britânica se Opõe a Brechas de Direitos Autorais em IA

Mais de 400 profissionais líderes da mídia e das artes do Reino Unido escreveram ao primeiro-ministro para se oporem a uma emenda ao Projeto de Lei de Dados (Uso e Acesso). Esta emenda permitiria que modelos de IA utilizassem obras protegidas por direitos autorais, causando preocupações sobre violações generalizadas de direitos autorais. Embora seja proposto um sistema de opt-out, o grupo, incluindo Paul McCartney, Elton John, Coldplay e várias organizações de mídia, argumenta que é insuficiente. Eles exigem transparência, forçando as empresas de IA a divulgarem as obras protegidas por direitos autorais usadas no treinamento, protegendo os criadores e promovendo uma indústria criativa vibrante no Reino Unido. A carta destaca o impacto econômico e a necessidade de prevenir anos de potencial roubo de direitos autorais.

Leia mais

PostgreSQL agora é um backend de armazenamento Trillian para logs de transparência de certificados

2025-01-07
PostgreSQL agora é um backend de armazenamento Trillian para logs de transparência de certificados

Trillian, o sistema de log de Transparência de Certificados (CT) de código aberto, agora suporta PostgreSQL como um backend de armazenamento, graças a uma contribuição significativa da Sectigo. Impulsionada por uma falha anterior do MariaDB devido ao esgotamento do espaço em disco, a Sectigo escolheu o PostgreSQL por sua confiabilidade aprimorada e integridade de dados, aproveitando o Write-Ahead Logging (WAL) e as propriedades ACID do PostgreSQL. Isso beneficia não apenas o ecossistema de CT, mas também outros logs de transparência baseados em Trillian. O Trillian v1.7.0 inclui esse suporte, atualmente em estágio Alfa.

Leia mais

Leis de Escalonamento de IA: Além do Pré-treinamento, um Novo Paradigma Emerge

2024-12-12
Leis de Escalonamento de IA: Além do Pré-treinamento, um Novo Paradigma Emerge

Este artigo explora a evolução das leis de escalonamento de IA, argumentando que elas se estendem além do pré-treinamento. O modelo o1 da OpenAI demonstra a utilidade e o potencial dos modelos de raciocínio, abrindo uma nova dimensão inexplorada para escalonamento. O artigo mergulha em técnicas como dados sintéticos, Otimização de Política Proximal (PPO) e aprendizado por reforço para melhorar o desempenho do modelo. Esclarece que o Claude 3.5 Opus da Anthropic e o Orion da OpenAI não foram fracassos, mas sim mudanças nas estratégias de escalonamento. Os autores enfatizam que o escalonamento abrange mais do que apenas aumentar dados e parâmetros; inclui computação em tempo de inferência, avaliações mais desafiadoras e inovações na arquitetura de treinamento e inferência.

Leia mais

Migração do Kubernetes Slack para uma nova plataforma iminente

2025-06-16

O espaço de trabalho Kubernetes Slack será rebaixado para um plano gratuito em 20 de junho, resultando em um limite de histórico de mensagens de 90 dias e na desativação de vários aplicativos e fluxos de trabalho. Isso ocorre porque o tamanho do espaço de trabalho excedeu as capacidades do plano gratuito do Slack. A comunidade Kubernetes está explorando uma migração para o Discord, oferecendo recursos e integrações aprimoradas, como sincronização de associação de grupo do GitHub. O Comitê Diretor decidirá em última análise sobre a plataforma futura.

Leia mais
Desenvolvimento

Resposta tecnológica da Apple aos motins de Los Angeles: Rastreamento de iPhones roubados

2025-06-14
Resposta tecnológica da Apple aos motins de Los Angeles: Rastreamento de iPhones roubados

Durante protestos contra o ICE em Los Angeles que escalaram para motins, ladrões saquearam a loja Apple Tower Theatre, roubando vários iPhones de demonstração. A Apple respondeu rapidamente bloqueando e rastreando remotamente os dispositivos roubados. Os telefones exibiram uma mensagem: “Por favor, volte ao Apple Tower Theatre. Este dispositivo foi desativado e está sendo rastreado. As autoridades locais serão alertadas”, juntamente com um alarme alto. Essa medida dissuasiva de alta tecnologia se mostrou eficaz, levando à prisão de pelo menos três suspeitos. O incidente destaca a abordagem inovadora da Apple para prevenção de roubos e sublinha a violência e os distúrbios durante os protestos em Los Angeles.

Leia mais

Erupção de vulcão chileno revela paisagem subaquática milenar

2024-12-24
Erupção de vulcão chileno revela paisagem subaquática milenar

Após a erupção do vulcão Chaitén, no Chile, em 2008, cientistas usaram um veículo operado remotamente para descobrir um vale subaquático esculpido por antigos glaciares e atividade vulcânica. A expedição investigou o impacto do vulcão no ambiente marinho, incluindo os efeitos potenciais em infraestruturas subaquáticas e pesca. Inesperadamente, eles encontraram uma paisagem glacial antiga notavelmente preservada, oferecendo insights inestimáveis ​​sobre a história geológica da região. A análise de amostras de sedimentos ajudará a reconstruir uma linha do tempo dos eventos geológicos e a entender melhor o impacto da erupção no ecossistema marinho.

Leia mais

Experimento secreto de IA da Universidade de Zurique no r/changemyview causa indignação

2025-04-27

Um experimento secreto de IA de quatro meses conduzido pela Universidade de Zurique no popular subreddit r/changemyview causou controvérsia. Pesquisadores usaram dezenas de contas geradas por IA para postar comentários projetados para influenciar as opiniões dos usuários, violando as regras do subreddit. O experimento empregou anedotas pessoais fabricadas para reforçar argumentos, levando a acusações de manipulação. Embora os pesquisadores afirmem que o estudo tem importância social significativa, os moderadores argumentam que a manipulação psicológica não consensual é inaceitável. O incidente destaca as preocupações éticas em torno da IA e a importância do consentimento informado.

Leia mais

Renderização de Glifos Vetoriais em Tempo Real: Além dos SDFs, rumo ao Anti-aliasing de Alta Precisão

2025-06-13

Frustrado com as limitações das soluções existentes de renderização de texto em tempo real, como os problemas de desfoque e textura dos SDFs, o autor embarcou em uma nova abordagem. Os problemas de estrutura de subpixels de seu novo monitor OLED serviram como o impulso final. Ele abandonou os SDFs e, em vez disso, rasteriza curvas Bézier de glifos diretamente na GPU, empregando acumulação temporal para refinar a qualidade do anti-aliasing ao longo do tempo. Métodos inteligentes de empacotamento de atlas e algoritmos de ordem Z gerenciam eficientemente os dados dos glifos, enquanto o anti-aliasing de subpixels resolve problemas de franjas de cores em telas OLED. O resultado é uma renderização de texto em tempo real de alta qualidade e alto desempenho, especialmente impressionante ao lidar com linhas finas e glifos intrincados.

Leia mais
Desenvolvimento renderização de glifos

Concurso de Fotografia Rest of World: O Impacto Global da Tecnologia

2025-01-26
Concurso de Fotografia Rest of World: O Impacto Global da Tecnologia

O concurso de fotografia do Rest of World recebeu 227 inscrições de mais de 45 países, mostrando como a tecnologia transforma vidas em todo o mundo. As fotos premiadas retrataram diversos cenários: escaneamento biométrico de migrantes na fronteira entre os EUA e o México, aprendizado online na Índia rural e comunidades alimentadas por energia solar na Mongólia. As imagens destacam a integração da tecnologia na vida cotidiana, revelando oportunidades e desafios em várias culturas e contextos. Elas contam histórias cativantes sobre o impacto da tecnologia em comunidades locais.

Leia mais

Supermercado de Pequeno Porte Vence a Nintendo em Batalha de Marcas

2025-02-02
Supermercado de Pequeno Porte Vence a Nintendo em Batalha de Marcas

Um pequeno supermercado costarriquenho, "Super Mario", venceu uma batalha judicial contra a gigante de videogames Nintendo. A Nintendo contestou o registro da marca do supermercado, alegando direitos sobre a marca "Super Mario". No entanto, o supermercado conseguiu demonstrar que sua classificação de registro (serviços de fornecimento de produtos alimentícios básicos) não conflitava com as classes de marcas registradas da Nintendo. Essa vitória de Davi contra Golias mostra a importância da persistência e da ação legal estratégica, mesmo contra uma corporação global.

Leia mais

FlashMLA: Kernel de Decodificação MLA Eficiente para GPUs Hopper

2025-02-24
FlashMLA: Kernel de Decodificação MLA Eficiente para GPUs Hopper

FlashMLA é um kernel de decodificação MLA eficiente, otimizado para GPUs Hopper, projetado para servir sequências de comprimento variável. Alcançando até 3000 GB/s em configurações limitadas por memória e 580 TFLOPS em configurações limitadas por computação em H800 SXM5 usando CUDA 12.6, o FlashMLA usa precisão BF16 e um kvcache com paginação e tamanho de bloco de 64. Inspirado nos projetos FlashAttention 2&3 e Cutlass, o FlashMLA oferece melhorias significativas de desempenho para processamento de sequências em larga escala.

Leia mais
1 2 524 525 526 528 530 531 532 595 596