Adeus, Configuração Lenta: Paralelismo na Configuração de Builds com Makefiles

2025-04-26

O autor Tavian Barnes critica a ineficiência dos sistemas de build existentes (Autoconf, CMake, Meson etc.) na fase de configuração, que leva muito mais tempo do que a fase de build. Ele propõe uma solução paralelizada baseada em Makefiles, melhorando significativamente a eficiência ao dividir o processo de configuração em várias tarefas executáveis concorrentemente. A ideia central é aproveitar a capacidade de paralelismo do make, paralelizando as tarefas de teste do compilador que eram originalmente sequenciais, reduzindo o tempo de configuração de 38 segundos para 0,4 segundos. O artigo detalha a implementação, incluindo scripts auxiliares, técnicas de escrita de Makefiles e estratégias de paralelismo. Este artigo é valioso para desenvolvedores que buscam maior velocidade de build.

Leia mais
Desenvolvimento

Perda Massiva de Clientes da Comcast Devido à Falta de Transparência de Preços

2025-04-26
Perda Massiva de Clientes da Comcast Devido à Falta de Transparência de Preços

A Comcast registrou uma perda líquida de 183.000 clientes de banda larga residencial no primeiro trimestre de 2025, um aumento significativo em relação ao ano anterior. O presidente Mike Cavanagh atribuiu isso à falta de transparência de preços e a uma má experiência do cliente. Em resposta, a Comcast está simplificando sua estrutura de preços e oferecendo uma garantia de preço de cinco anos para novos clientes, com o objetivo de melhorar a retenção de clientes. Apesar do aumento da receita, o preço das ações da Comcast caiu 3,7% após o anúncio.

Leia mais

Jovens gregos revolucionam a tecnologia: foguetes, robôs e supercarros!

2025-04-26
Jovens gregos revolucionam a tecnologia: foguetes, robôs e supercarros!

Um relatório recente destaca o talento tecnológico crescente da juventude grega. Equipes de estudantes estão causando impacto em competições internacionais de aeroespacial, robótica e engenharia automotiva. A ASAT, por exemplo, está constantemente entre as melhores equipes estudantis da Europa. A medalha de prata do bitLab no WRO 2024 e a vitória no campeonato europeu demonstram sua proeza. Várias universidades estão ativamente envolvidas, com laboratórios como o Legged Robots Team da NTUA e o Robotics Lab da AUTH liderando o caminho. Essa história de sucesso não apenas demonstra a capacidade inovadora da geração jovem grega, mas também oferece um farol de esperança para o avanço tecnológico da nação, desafiando noções preconcebidas sobre as capacidades tecnológicas gregas.

Leia mais

Mais de US$ 8 milhões anuais para desvendar a integração sensório-motora do cérebro

2025-04-26
Mais de US$ 8 milhões anuais para desvendar a integração sensório-motora do cérebro

A Colaboração Simons em Neurociência Ecológica (SCENE) foi lançada com mais de US$ 8 milhões em financiamento anual para investigar como o cérebro integra de forma eficiente informações sensoriais e motoras. Este projeto interdisciplinar, reunindo neurocientistas e especialistas em aprendizado de máquina líderes, utiliza princípios da psicologia ecológica, focando em como o cérebro codifica affordances – oportunidades de ação no ambiente. A pesquisa abrangerá várias espécies, de roedores e morcegos a humanos, com o objetivo de descobrir princípios fundamentais da cognição e preencher lacunas na nossa compreensão do cérebro.

Leia mais
Tecnologia Cognição Cerebral

DoorDash oferece US$ 3,6 bilhões para adquirir Deliveroo

2025-04-25
DoorDash oferece US$ 3,6 bilhões para adquirir Deliveroo

A empresa britânica de entrega de comida Deliveroo anunciou que recebeu uma oferta de aquisição de US$ 3,6 bilhões em ações da sua contraparte americana, DoorDash. O programa de análise de mercado da Yahoo Finance, Market Domination Overtime, contou com especialistas discutindo as implicações desta notícia para ambas as empresas e o mercado de entrega de comida em geral.

Leia mais

Google encerra atualizações de software para os primeiros termostatos Nest

2025-04-25
Google encerra atualizações de software para os primeiros termostatos Nest

O Google anunciou o fim das atualizações de software para os termostatos Nest Learning de primeira e segunda geração (lançados em 2011 e 2012, respectivamente) e a versão europeia de 2014. Após 25 de outubro, o controle remoto via telefone ou Google Assistant será desativado, embora ajustes locais de temperatura e programação permaneçam possíveis. O Google também declarou não ter planos para futuros lançamentos de termostatos Nest na Europa, embora os modelos de 3ª geração e Nest Thermostat E existentes continuem à venda. Um novo recurso permitirá que os usuários de termostatos Nest recentes definam horários pelo aplicativo Google Home ainda este ano. Para amenizar o impacto, o Google está oferecendo descontos em termostatos de substituição. Essa medida desperta preocupações sobre a vida útil dos dispositivos domésticos inteligentes e destaca o papel crucial do suporte de software em sua longevidade.

Leia mais

Mundo Florestal Neural Interativo no Seu Navegador

2025-04-25

O autor treinou uma rede neural para transformar um vídeo de uma trilha na floresta, capturado com um telefone, em um mundo virtual interativo explorável em um navegador da web. Diferente dos videogames tradicionais, este mundo não se baseia em geometria, iluminação e animações predefinidas, mas sim em uma rede neural gerando novas imagens com base em imagens anteriores e entradas de controle. Superando as limitações do modelo inicial, o autor melhorou o método de treinamento e a arquitetura da rede para alcançar uma experiência interativa relativamente suave. Isso mostra uma nova abordagem para gerar mundos virtuais usando redes neurais, prometendo um futuro de criação de mundos mais realista e conveniente.

Leia mais
Jogos Rede Neural

Lista Abrangente de Países do Mundo

2025-04-25

Esta lista fornece uma compilação quase exaustiva de todos os estados soberanos independentes e territórios em todo o mundo, abrangendo todos os continentes, da Ásia e África às Américas e Europa. Sua natureza extensa a torna útil para uma variedade de aplicações, incluindo a construção de bancos de dados geográficos, a realização de pesquisas sobre comércio internacional ou estudos globais.

Leia mais

Matriz de LED 3x5 controlada por Raspberry Pi Pico: do projeto de circuito ao controle web

2025-04-25
Matriz de LED 3x5 controlada por Raspberry Pi Pico: do projeto de circuito ao controle web

Este tutorial descreve a construção de uma matriz de LED 3x5 controlada por um Raspberry Pi Pico usando o tscircuit, permitindo controle remoto via WiFi. Ele cobre o projeto de circuito, a seleção de componentes (LEDs WS2812B), a metodologia de conexão (LEDs em série), o layout da PCB e uma interface web final para controle. Aprenda a criar uma matriz de LED para exibir informações, visualização de dados ou sistemas de notificação interativos.

Leia mais
Hardware Matriz de LED

GS-Calc: Planilha que lida com milhões de linhas com facilidade

2025-04-25

O GS-Calc é uma planilha moderna que redefine o que significa "big data" para softwares de desktop. Ele manipula facilmente arquivos CSV e XLSX massivos com milhões de linhas e milhares de colunas, possuindo um número ilimitado de planilhas e subpastas. Suas otimizações de desempenho superam significativamente outras soluções de planilhas em tarefas como carregar arquivos de texto, copiar e colar e funções VLOOKUP/MATCH. Além disso, o GS-Calc oferece recursos poderosos, incluindo tabelas dinâmicas robustas, simulações de Monte Carlo, suporte a expressões regulares e integração Python, tornando-o uma ferramenta ideal para análise de dados em larga escala.

Leia mais
Desenvolvimento

Criador de Logos Funcional a Partir de um Único Prompt: Potencial e Limitações de LLMs

2025-04-25
Criador de Logos Funcional a Partir de um Único Prompt: Potencial e Limitações de LLMs

O autor gerou um criador de logos totalmente funcional, incluindo opções de exportação, a partir de um único prompt no Aider. Trechos de código demonstram a capacidade do LLM de gerar links de fontes, dependências e estilos CSS embutidos, incluindo até mesmo o hash SHA mais recente de uma biblioteca CDN vinculada. No entanto, ao expandir o código usando o Sonnet 3.7, a complexidade do projeto aumentou significativamente, resultando em código não compilável. O autor explora as diferenças nas capacidades de geração e expansão de código entre diferentes LLMs (como Claude e GPT-4o), e o impacto do tamanho da janela de contexto, limites de saída e outros fatores nos aplicativos LLM. As limitações das janelas de contexto e dos limites de saída em LLMs são destacadas como desafios importantes.

Leia mais

PCs com Copilot+ da Microsoft: Recall, Busca Aprimorada e Clique para Fazer

2025-04-25
PCs com Copilot+ da Microsoft: Recall, Busca Aprimorada e Clique para Fazer

A Microsoft está lançando os PCs com Copilot+, com destaque para o recurso Recall. Este lançamento também inclui uma busca do Windows reformulada com processamento de linguagem natural e 'Clique para Fazer', permitindo a extração de texto de imagens, pesquisa de conteúdo na tela e resumo/reescrita rápidos. Os PCs com Copilot+ exigem uma NPU capaz de mais de 40 trilhões de operações por segundo (TOPS), atualmente compatível com os processadores Qualcomm Snapdragon X Elite e Plus, Intel Core Ultra 200V-series e AMD Ryzen AI 300-series. Embora Recall e a busca aprimorada estejam disponíveis em sistemas Arm e x86, alguns recursos do 'Clique para Fazer' estão atualmente limitados a sistemas baseados em Arm.

Leia mais
Tecnologia

Mergulhe em D: Um Guia Completo

2025-04-25

Este livro fornece um guia completo para programação em D, abrangendo desde a sintaxe básica até recursos avançados. Com uma estrutura de capítulos clara, ele apresenta progressivamente conceitos centrais de D: variáveis, tipos de dados, operadores, fluxo de controle, funções, classes, programação orientada a objetos, templates e concorrência. Vários exemplos de código e exercícios estão incluídos para ajudar os leitores a entender as técnicas de programação em D. Adequado para iniciantes e programadores experientes.

Leia mais

Magnitude: Framework de Test Nativo de IA para Aplicativos Web

2025-04-25
Magnitude: Framework de Test Nativo de IA para Aplicativos Web

Magnitude é uma estrutura de teste de ponta a ponta de código aberto revolucionária para aplicativos web, alimentada por agentes de IA visual que 'veem' sua interface e se adaptam a quaisquer alterações. Crie casos de teste facilmente com linguagem natural, aproveite um poderoso agente de raciocínio para planejamento e ajuste e confie em um agente visual rápido para execução confiável. Execute testes localmente ou em pipelines de CI/CD; a estrutura lida automaticamente com problemas encontrados durante os testes. O Magnitude suporta vários modelos de LLM, incluindo Gemini 2.5 pro, Anthropic e OpenAI, e oferece um modelo visual gratuito, Moondream. Ele simplifica significativamente a criação e execução de testes.

Leia mais

Gym Class: Contrata-se Engenheiro de Animação Sênior para Sucesso do Meta Quest

2025-04-25
Gym Class: Contrata-se Engenheiro de Animação Sênior para Sucesso do Meta Quest

Gym Class, um jogo social líder no Meta Quest com milhões de downloads e classificação de 4,9 estrelas, está se expandindo! Eles estão procurando um Engenheiro de Animação experiente para liderar o design, desenvolvimento e implementação de sistemas de animação de personagens na Unity. Esta função exige experiência em Unity e C#, experiência comprovada em animação de jogos para dispositivos móveis, forte compreensão de IK, mistura de animações e máquinas de estado, e talento para otimização de desempenho móvel. Você liderará uma equipe de alto desempenho e moldará o futuro do movimento dos personagens no jogo.

Leia mais

Chips de IA da Intel vendem menos que o esperado, criando escassez de capacidade de produção

2025-04-25
Chips de IA da Intel vendem menos que o esperado, criando escassez de capacidade de produção

Os novos chips de PC com IA da Intel estão vendendo menos do que o esperado, criando uma escassez inesperada de capacidade de produção para seus chips mais antigos e mais baratos. Essa notícia vem junto com anúncios de demissões e um relatório financeiro ruim que fez as ações da empresa despencarem. Os consumidores estão optando por chips Raptor Lake de geração anterior, mais baratos, em vez dos modelos de IA Lunar Lake e Meteor Lake, mais caros. A escassez resultante na capacidade do nó de processo 'Intel 7' deve persistir. Essa alta inesperada na demanda por chips mais antigos aponta para a falta de um 'aplicativo killer' para IA no mercado de PCs. A receita do Grupo de Computação para Clientes (CCG) da Intel no primeiro trimestre caiu 8% em relação ao ano anterior. Os resultados financeiros futuros da AMD fornecerão mais insights sobre a resposta do mercado.

Leia mais

Fantasmas do Deserto de Mojave: Yucca Man e as Lendas Criptozoológicas do Sul da Califórnia

2025-04-25
Fantasmas do Deserto de Mojave: Yucca Man e as Lendas Criptozoológicas do Sul da Califórnia

Este artigo explora a lenda duradoura do Yucca Man no Deserto de Mojave, no sul da Califórnia, juntamente com outras observações semelhantes de criptídeos. Desde a década de 1970, relatos de uma criatura de oito pés de altura, peluda e com olhos vermelhos surgiram em bases militares, parques nacionais e áreas remotas. Enquanto as populações indígenas viam esses seres como entidades sobrenaturais, relatos modernos os descrevem como criaturas semelhantes ao Pé Grande. O artigo aprofunda-se em paralelos históricos, incluindo histórias de uma besta alada no Lago Elizabeth e o 'Monstro de Cimento' de uma mina próxima, tecendo geografia, história e folclore em uma narrativa cativante de mistério.

Leia mais

Demissões em massa no DOT resultam em contratações apressadas em meio a preocupações com a segurança

2025-04-25
Demissões em massa no DOT resultam em contratações apressadas em meio a preocupações com a segurança

O Departamento de Transportes (DOT), sob o secretário Sean Duffy, enfrentou um grande revés depois que demissões em massa deixaram a agência lutando para manter serviços essenciais, particularmente na Administração Federal de Aviação (FAA). O uso controverso de Duffy de acordos de 'demissão diferida' levou quase 4.700 funcionários a deixarem seus cargos, aumentando preocupações significativas com a segurança. Agora, o DOT está supostamente tentando recontratar muitos desses funcionários, destacando as consequências caóticas e potencialmente perigosas dos cortes iniciais. Embora o DOT afirme que as demissões foram medidas de eficiência, a turbulência resultante lança dúvidas sobre essa narrativa e levanta sérias questões sobre a segurança das viagens aéreas.

Leia mais

Cobertura de Código Diferencial para Depuração: Uma Técnica Poderosa

2025-04-25

Este artigo apresenta uma poderosa técnica de depuração: análise de cobertura de código diferencial. Comparando a cobertura de código de testes aprovados e reprovados, você pode identificar rapidamente o código com bugs. O autor usa a biblioteca `math/big` do Go como exemplo, demonstrando como usar `go test` e `go tool cover` para gerar relatórios de cobertura e `diff` para comparar as diferenças. Isso identifica de forma eficiente o trecho de código que causa a falha no teste, reduzindo significativamente o tempo de depuração em comparação com os métodos tradicionais. A técnica é ilustrada encontrando um bug em poucas linhas de código de mais de 15.000.

Leia mais
Desenvolvimento cobertura de código

Mati Carbon vence o XPrize de US$ 50 milhões por tecnologia inovadora de remoção de carbono

2025-04-25
Mati Carbon vence o XPrize de US$ 50 milhões por tecnologia inovadora de remoção de carbono

A Fundação XPrize anunciou os vencedores de sua competição de remoção de carbono de US$ 100 milhões. A startup Mati Carbon, sediada em Houston, levou para casa o grande prêmio de US$ 50 milhões por sua tecnologia de intemperismo de rocha aprimorada, que envolve espalhar basalto esmagado em fazendas para sequestrar CO2 atmosférico. A abordagem baseada em dados da Mati Carbon, o processo de verificação rigoroso e a plataforma de software impressionaram os juízes. Embora as soluções de captura direta de ar e baseadas no oceano não tenham atingido o limite de remoção de 1.000 toneladas, várias receberam prêmios de marco, destacando seu progresso. Aumentar a escala das tecnologias de remoção de carbono continua crucial para combater as mudanças climáticas.

Leia mais
Tecnologia

Divisão Partidária Impressionante em Como os Legisladores dos EUA Citam a Ciência

2025-04-25
Divisão Partidária Impressionante em Como os Legisladores dos EUA Citam a Ciência

Uma nova análise de centenas de milhares de documentos políticos revela uma diferença impressionante em como os partidos políticos dos EUA usam a literatura científica. Comitês do Congresso liderados por democratas e grupos de reflexão de esquerda são muito mais propensos a citar artigos de pesquisa do que seus colegas republicanos. O estudo também descobriu que democratas e grupos de esquerda têm maior probabilidade de citar pesquisas de alto impacto, e ambos os lados raramente citam os mesmos estudos ou tópicos. A pesquisa, publicada na Science, mostra que documentos de comitês controlados por democratas tinham quase 1,8 vezes mais probabilidade de citar ciência do que aqueles liderados por republicanos.

Leia mais

O Romance do Século XX: Uma Forma Explosiva em um Mundo Explosivo

2025-04-25
O Romance do Século XX: Uma Forma Explosiva em um Mundo Explosivo

Esta resenha explora o livro de Edwin Frank, *Stranger Than Fiction: Lives of the Twentieth-Century Novel*, que examina a evolução do romance em um mundo conturbado. Frank argumenta que os romances do século XX ampliaram seus temas, abrangendo homossexualidade, alcoolismo, anti-heróis e realismo mágico, entre outros temas ausentes nos romances do século XIX. No entanto, a resenha também sugere que a profundidade dos romances do século XX não supera os clássicos do século XIX, como as obras de Dickens e Tolstói. O texto conclui com uma preocupação sobre o futuro do romance e sua leitura, lamentando a potencial perda de uma forma literária que se engaja tão profundamente com a natureza humana e a emoção.

Leia mais

A Vida Tumultuosa da Polêmica Autora MacLane

2025-04-25
A Vida Tumultuosa da Polêmica Autora MacLane

Após a polêmica em torno de sua estreia, MacLane publicou um segundo livro no ano seguinte, 'Minha Amiga Annabel Lee', um conto proto-surrealista sobre sua amizade com uma boneca de porcelana japonesa. Foi recebido com indiferença crítica. Sua vida subsequente foi um turbilhão de atividades jornalísticas, problemas financeiros (incluindo prisão por dívidas) e um relacionamento de longo prazo com Caroline M. Branson, 44 anos mais velha. MacLane continuou a escrever, expressando suas opiniões não convencionais sobre casamento, família, sexo, religião e muito mais, deixando para trás um legado tão controverso quanto enigmático.

Leia mais
Diversos

arXivLabs: Projetos experimentais com colaboradores da comunidade

2025-04-25
arXivLabs: Projetos experimentais com colaboradores da comunidade

arXivLabs é uma estrutura que permite a colaboradores desenvolverem e compartilharem novos recursos do arXiv diretamente em nosso site. Indivíduos e organizações que trabalham com o arXivLabs abraçaram e aceitaram nossos valores de abertura, comunidade, excelência e privacidade dos dados do usuário. O arXiv está comprometido com esses valores e trabalha apenas com parceiros que os respeitam. Tem uma ideia para um projeto que agregará valor à comunidade do arXiv? Saiba mais sobre o arXivLabs.

Leia mais
Desenvolvimento

Formalizando a Principia Mathematica de Russell usando Lean4

2025-04-25
Formalizando a Principia Mathematica de Russell usando Lean4

Este projeto visa formalizar o primeiro volume da Principia Mathematica do Prof. Bertrand Russell usando o verificador de teoremas Lean. O objetivo é garantir que a formalização se alinhe claramente com os teoremas correspondentes no livro para evitar confusão. O projeto segue rigorosamente as provas de Russell, com poucas ou nenhuma declaração adicional. Um novo tático, `Syll`, foi criado para lidar com uma forma mais geral de silogismo. Embora a Principia Mathematica seja considerada um 'fracasso monumental', o autor achou o processo de formalização enriquecedor.

Leia mais
Desenvolvimento

Curry: Uma fusão perfeita entre programação funcional e lógica

2025-04-25
Curry: Uma fusão perfeita entre programação funcional e lógica

Curry é uma linguagem de programação declarativa multiparadigma que combina perfeitamente recursos da programação funcional (expressões aninhadas, funções de ordem superior, tipagem forte, avaliação preguiçosa) e da programação lógica (não-determinismo, busca integrada, variáveis livres, estruturas de dados parciais). Em comparação com paradigmas de programação únicos, Curry oferece recursos adicionais, como avaliação otimizada para computações orientadas a lógica e casamento de padrões flexível e não-determinístico com funções definidas pelo usuário.

Leia mais
Desenvolvimento

Aposta da Microsoft em IA: Mustafa Suleyman pode mudar o jogo?

2025-04-25
Aposta da Microsoft em IA: Mustafa Suleyman pode mudar o jogo?

A Microsoft investiu US$ 650 milhões na aquisição da equipe principal da Inflection AI, na esperança de aproveitar a experiência de seu fundador, Mustafa Suleyman, para impulsionar suas capacidades de IA e, em particular, reverter o crescimento morno de usuários do Copilot. No entanto, a chegada de Suleyman não tem sido tranquila. Dificuldades na integração da equipe interna, relações tensas com a OpenAI e a grande disparidade no número de usuários entre o Copilot e o ChatGPT representam desafios para a Microsoft. O artigo explora os dilemas estratégicos da Microsoft no campo da IA e se Suleyman poderá finalmente entregar um produto de IA de consumo bem-sucedido.

Leia mais
Tecnologia

Juíza Presa por Ajudar Homem a Evitar Autoridades de Imigração

2025-04-25
Juíza Presa por Ajudar Homem a Evitar Autoridades de Imigração

A juíza do Tribunal de Circuito do Condado de Milwaukee, Hannah Dugan, foi presa pelo FBI por supostamente ajudar um homem a escapar das autoridades de imigração, aumentando as tensões entre a administração Trump e o judiciário. O FBI alega que Dugan enganou intencionalmente agentes que tentavam prender Eduardo Flores-Ruiz. O advogado de Dugan afirma que suas ações não foram em prol da segurança pública. A prisão gerou um debate sobre a separação de poderes e o excesso de poder do governo.

Leia mais

arXivLabs: Projetos Experimentais com Colaboradores da Comunidade

2025-04-25
arXivLabs: Projetos Experimentais com Colaboradores da Comunidade

arXivLabs é uma estrutura que permite que colaboradores desenvolvam e compartilhem novos recursos do arXiv diretamente em nosso site. Tanto indivíduos quanto organizações que trabalham com o arXivLabs adotaram e aceitaram nossos valores de abertura, comunidade, excelência e privacidade dos dados do usuário. O arXiv está comprometido com esses valores e trabalha apenas com parceiros que os respeitam. Tem uma ideia para um projeto que agregará valor à comunidade do arXiv? Saiba mais sobre o arXivLabs.

Leia mais
Desenvolvimento

Microsoft vai descontinuar o aplicativo Mapas do Windows

2025-04-25
Microsoft vai descontinuar o aplicativo Mapas do Windows

A Microsoft anunciou que irá descontinuar e remover o aplicativo Mapas do Windows da Microsoft Store em julho de 2025. Isso segue a remoção anterior do suporte para mapas offline e a exclusão do aplicativo de novas instalações do Windows 11 24H2. Embora ainda esteja disponível para download, a reinstalação será impossível após julho. A Microsoft direciona os usuários para a versão web do Bing Maps. Essa medida sinaliza uma simplificação dos serviços de mapeamento da Microsoft, focando em sua oferta baseada na web.

Leia mais
Tecnologia Mapas do Windows
1 2 280 281 282 284 286 287 288 595 596