IA em sistemas operacionais: mais hype do que substância?

2025-04-12
IA em sistemas operacionais: mais hype do que substância?

Microsoft, Apple e Google estão impulsionando agressivamente a integração de IA em seus sistemas operacionais, como o Copilot da Microsoft e o Apple Intelligence. No entanto, o artigo argumenta que isso é mais hype do que benefício prático. Os usuários preferem sistemas operacionais estáveis, privados e personalizáveis, sem bloatware desnecessário, anúncios ou recursos de IA invasivos. Embora assistentes de IA tenham valor em nichos específicos (como programação), forçar sua integração no sistema operacional sacrifica a experiência do usuário e facilita uma maior coleta de dados pelas empresas de tecnologia. O sistema operacional ideal é estável, privado, leve e personalizável, com ferramentas de IA oferecidas como aplicativos autônomos opcionais, não como funções principais do sistema operacional.

Leia mais

Ordenando Frações sob Incerteza e Estimando o Número de Ônibus: Abordagens Bayesiana e de Máxima Verossimilhança

2025-08-18

Este artigo aborda dois problemas estatísticos: ordenar frações sob incerteza e estimar o número de ônibus com base em observações limitadas. Para a ordenação de frações, são apresentadas abordagens bayesianas (usando a distribuição Beta) e de máxima verossimilhança, demonstradas em R. Para a estimativa de ônibus, uma função de densidade de probabilidade baseada na distribuição multinomial é construída, e uma abordagem de máxima verossimilhança é usada para derivar um intervalo de confiança para o número de ônibus. Ambos os problemas combinam inteligentemente modelagem estatística e métodos computacionais, mostrando a flexibilidade e praticidade da inferência estatística.

Leia mais

Microsoft apresenta Phi-4: novo modelo de linguagem pequeno que se destaca no raciocínio complexo

2024-12-15
Microsoft apresenta Phi-4: novo modelo de linguagem pequeno que se destaca no raciocínio complexo

A Microsoft lançou o Phi-4, seu mais recente modelo de linguagem pequeno (SLM) com 14 bilhões de parâmetros, que supera modelos maiores em tarefas de raciocínio complexo, particularmente em matemática, superando até mesmo o Gemini Pro 1.5 em problemas de competições matemáticas. Essa conquista é atribuída a conjuntos de dados sintéticos e orgânicos de alta qualidade e inovações pós-treinamento. Atualmente disponível no Azure AI Foundry sob um MSRLA, o Phi-4 será lançado no Hugging Face na próxima semana. A Microsoft enfatiza seu compromisso com o desenvolvimento responsável de IA, integrando recursos de segurança robustos ao design e implantação do Phi-4.

Leia mais

HMD Key: Smartphone acessível sem comprometer a qualidade

2025-01-12
HMD Key: Smartphone acessível sem comprometer a qualidade

A HMD Global lançou o HMD Key, um smartphone econômico com preço de apenas £59. Este dispositivo leve possui Android 14 (Go edition), memória virtual impressionante para aumentar o desempenho e uma incrível duração de bateria de 77 horas. Com modos de câmera versáteis e duas atualizações de segurança trimestrais, o HMD Key oferece uma experiência completa de smartphone sem gastar muito, provando que acessibilidade não significa sacrificar a qualidade.

Leia mais

População dos EUA Pode Diminuir Pela Primeira Vez: A Consequência Imprevista das Políticas de Imigração de Trump?

2025-09-02
População dos EUA Pode Diminuir Pela Primeira Vez: A Consequência Imprevista das Políticas de Imigração de Trump?

A população dos EUA pode diminuir pela primeira vez na sua história em 2025, não devido à guerra ou à peste, mas potencialmente devido às políticas de imigração rigorosas de Trump. Dados do Pew Research Center mostram uma queda de mais de um milhão na população nascida no estrangeiro na primeira metade do ano. Isso, combinado com a diferença entre a taxa de natalidade e mortalidade, pode levar à diminuição da população. Essa diminuição terá impactos econômicos profundos, incluindo escassez de mão de obra, aumento dos preços dos alimentos, escassez de moradias e pressão sobre o sistema de saúde. Além disso, uma população em declínio exacerbará as pressões fiscais sobre a Seguridade Social e o Medicare. O artigo explora as potenciais consequências políticas e econômicas dessa mudança demográfica e os potenciais ajustes de políticas futuras.

Leia mais
Tecnologia

Gerador de Arte IA Impressionante: Midjourney

2025-01-01

O Midjourney, um gerador de arte por IA, recentemente tomou a internet de assalto. Sua capacidade de produzir imagens incrivelmente detalhadas e estilisticamente diversas a partir de prompts de texto simples é surpreendente. Usando um vasto banco de dados e modelos de aprendizado profundo, o Midjourney cria obras de arte impressionantes, gerando um debate intenso sobre as capacidades da IA na arte e seu impacto em artistas tradicionais. Preocupações sobre a IA substituindo artistas humanos são contrabalançadas pela visão de que a IA é uma ferramenta poderosa para exploração criativa. Independentemente disso, o Midjourney representa uma nova era para a arte de IA.

Leia mais

Problemas de estabilidade da CPU AMD: A importância das atualizações da BIOS

2025-08-26
Problemas de estabilidade da CPU AMD: A importância das atualizações da BIOS

Tanto a AMD quanto a Intel enfrentaram problemas com o desempenho da CPU degradando com o tempo, frequentemente ligados a fabricantes de placas-mãe que se desviaram das configurações padrão. Para resolver problemas semelhantes, a AMD recomenda que os usuários atualizem prontamente sua BIOS da placa-mãe para obter as configurações padrão mais recentes, melhorar a compatibilidade e melhorar a segurança. Os chipsets e soquetes de CPU da AMD têm vida útil mais longa, juntamente com várias ferramentas de energia e overclock, criando uma gama muito maior de configurações de sistema, aumentando a dificuldade de teste. Isso é particularmente verdadeiro para placas-mãe AM4, que teoricamente podem ser emparelhadas com CPUs muito posteriores, ao contrário do ecossistema da Intel.

Leia mais

A Morte do Desenvolvedor Curioso?

2025-09-19
A Morte do Desenvolvedor Curioso?

Este artigo lamenta uma mudança na cultura de desenvolvimento. Antigamente impulsionada pela curiosidade e pela paixão por aprender, levando a inovações como Linux e Git, os desenvolvedores agora priorizam cada vez mais métricas, receita e escala. Isso muitas vezes os força a usar tecnologias que não gostam e construir produtos pelos quais não se importam. O autor argumenta que essa mudança sufoca a inovação e a criatividade, incentivando os desenvolvedores a redescobrir sua curiosidade e paixão pela criação, mesmo que seja apenas para resolver seus próprios problemas. O artigo enfatiza a importância de construir pelo prazer de fazê-lo, mesmo que o projeto não seja comercialmente viável.

Leia mais
Desenvolvimento cultura de desenvolvimento

Nanoplásticos: O Assassino Invisível de 75 Anos de Plástico

2025-04-11
Nanoplásticos: O Assassino Invisível de 75 Anos de Plástico

Um novo estudo publicado na Nature Communications revela o mecanismo molecular por trás da produção em massa de nanoplásticos. A pesquisa mostra que a força e a durabilidade dos plásticos estão intrinsecamente ligadas à sua propensão a formar nanoplásticos. Nas camadas cristalinas e amorfas dos plásticos, as camadas amorfas são mais suscetíveis à degradação ambiental e à quebra, levando à fratura das camadas cristalinas duras e à formação de nanoplásticos e microplastics persistentes e altamente danosos. Essa descoberta explica a natureza generalizada e persistente da poluição plástica nos últimos 75 anos e seu impacto potencial na saúde humana.

Leia mais

7 Lições de construir um aplicativo de IA em pequena escala

2025-01-23
7 Lições de construir um aplicativo de IA em pequena escala

Este artigo detalha sete lições aprendidas na construção de um assistente de IA em pequena escala durante o último ano. O autor descobriu que problemas de escalabilidade surgiram mais cedo do que o esperado. A programação de IA é estocástica, exigindo ajustes iterativos de prompts, ajuste fino, ajuste de preferência e hiperparâmetros. A qualidade dos dados é crucial, com investimento significativo de tempo na construção e manutenção de um conjunto de dados de alta qualidade e pipeline de processamento. A avaliação do modelo é igualmente importante, pois conjuntos de validação simples geralmente não capturam casos de borda do mundo real. Confiança e qualidade são primordiais, exigindo experimentação e avaliação contínuas. O próprio pipeline de treinamento é a propriedade intelectual central, constantemente refinado por meio de iteração. Finalmente, o autor adverte contra a dependência excessiva de bibliotecas de IA devido à possível falta de completude ou má integração do ecossistema; construir diretamente sobre abstrações de baixo nível é frequentemente mais confiável.

Leia mais

OpenAI Lança Plataforma de Empregos com IA e Programa de Certificação

2025-09-05
OpenAI Lança Plataforma de Empregos com IA e Programa de Certificação

A OpenAI planeja lançar no próximo ano uma plataforma de empregos impulsionada por IA para conectar empregadores com candidatos com habilidades em inteligência artificial, visando acelerar a implantação da tecnologia em empresas e órgãos governamentais. Nos próximos meses, também será lançado um novo programa de certificação para ensinar os trabalhadores a usar melhor a IA no trabalho. A OpenAI está trabalhando com várias organizações neste programa, incluindo a Walmart Inc., a maior empregadora privada dos EUA. A OpenAI disse que planeja certificar 10 milhões de americanos até 2030.

Leia mais

SerenityOS: Um sistema operacional Unix-like nostálgico e poderoso

2025-04-22

SerenityOS é um sistema operacional desktop que é uma carta de amor às interfaces de usuário dos anos 1990, com um núcleo personalizado semelhante ao Unix. Ele combina a estética dos softwares de produtividade do final dos anos 1990 com a acessibilidade do usuário avançado dos sistemas *nix do final dos anos 2000. Construído por desenvolvedores para desenvolvedores, é um projeto de código aberto encontrado no GitHub, completo com um servidor Discord, páginas de manual e até um programa de recompensa por bugs.

Leia mais
Desenvolvimento

LineageOS 22.1 Lançado: Extração 30x Mais Rápida, Novos Apps de Música e PDF

2024-12-31

O LineageOS 22.1, baseado no Android 15 QPR1, está disponível com melhorias significativas. Os utilitários de extração são 30 vezes mais rápidos, e dois novos aplicativos foram adicionados: Twelve, um reprodutor de música, e Camelot, um leitor de PDF. SeedVault, Etar e WebView também foram atualizados. A numeração de versão foi ajustada para se alinhar com os números de versão menores do Android, facilitando a distinção entre as versões do Android. O projeto simplificou sua base de código, adicionou suporte para mais dispositivos e incentiva os desenvolvedores a contribuir com código e traduções.

Leia mais
Desenvolvimento

Toys 'R' Us: De loja de artigos para bebês a gigante do varejo e à falência

2025-04-22
Toys 'R' Us: De loja de artigos para bebês a gigante do varejo e à falência

Charles Lazarus, fundador da Toys 'R' Us, usou sua perspicácia empresarial para transformar uma pequena loja de artigos para bebês em uma gigante do varejo de brinquedos. Ele foi pioneiro no modelo de loja de grande porte, revolucionando o cenário de varejo de brinquedos com uma vasta seleção e uma abordagem em estilo de supermercado. Aproveitando a prosperidade do pós-guerra, ele redefineu a experiência de compra de brinquedos. No entanto, este varejista, outrora dominante na indústria, acabou sucumbindo às mudanças na dinâmica do varejo, declarando falência em 2017, marcando o fim de uma era.

Leia mais

Erros de IA: Diferentes dos Erros Humanos, Mais Difíceis de Prever

2025-01-23

Ao contrário dos erros humanos, os erros de Modelos de Linguagem Grandes (LLMs) são aleatórios, não agrupados e cometidos com alta confiança. Este artigo explora as características únicas dos erros de LLM e propõe duas estratégias: projetar LLMs mais parecidos com humanos e construir novos sistemas de correção de erros. A pesquisa atual concentra-se em técnicas como aprendizado por reforço com feedback humano e métodos como questionamento repetido para melhorar a confiabilidade da IA. Embora algumas peculiaridades dos LLMs reflitam o comportamento humano, sua frequência e gravidade superam em muito as taxas de erro humano, exigindo o uso cauteloso de sistemas de tomada de decisão de IA e confinando sua aplicação a domínios adequados.

Leia mais

Mudança climática pode aumentar os níveis de arsênio no arroz

2025-04-18
Mudança climática pode aumentar os níveis de arsênio no arroz

Um estudo de seis anos revela que a mudança climática, especificamente o aumento do CO2 e da temperatura, aumenta os níveis de arsênio inorgânico nos grãos de arroz. O cultivo de arroz envolve a inundação de arrozais, levando à absorção de arsênio da água. O arsênio inorgânico, uma substância tóxica de materiais industriais, contamina as fontes de água. A exposição ao arsênio inorgânico está ligada a vários problemas de saúde, incluindo cânceres e doenças cardíacas. Esta pesquisa destaca a ameaça potencial da mudança climática à segurança alimentar e à saúde humana, especialmente em regiões onde o arroz é um alimento básico.

Leia mais
Tecnologia arroz

Necromancia de startups: Domínios inativos do Google Apps podem ser comprometidos por novos proprietários

2025-01-15
Necromancia de startups: Domínios inativos do Google Apps podem ser comprometidos por novos proprietários

Um pesquisador de segurança descobriu uma vulnerabilidade crítica: o encerramento inadequado de contas do Google Workspace deixa domínios de startups inativos vulneráveis. Novos proprietários podem reativar as contas do Google de ex-funcionários, concedendo acesso a serviços de terceiros (Slack, ChatGPT, Zoom, etc.) acessados via Google OAuth. Dados confidenciais, incluindo documentos fiscais e comunicações internas, ficam expostos. O Google inicialmente descartou como vulnerabilidade, mas após a apresentação do pesquisador na conferência Shmoocon, eles reavaliaram, oferecendo uma recompensa. Isso destaca o risco de procedimentos insuficientes de fechamento de contas e potenciais fraquezas na autenticação OAuth.

Leia mais
Tecnologia

Escapando do Inferno das Consultas SQL Aninhadas: Construindo Dados de Página de Filme com uma Única Consulta

2025-09-05

Este artigo discute os desafios de construir dados de página de filme usando bancos de dados relacionais. Métodos tradicionais exigem várias consultas SQL para buscar informações como diretores, atores e gêneros, e montar manualmente os resultados na estrutura hierárquica desejada, o que é ineficiente e propenso a erros. O autor usa funções como `jsonb_agg` para gerar diretamente dados estruturados em formato JSON em uma única consulta SQL, resolvendo efetivamente o problema de "impedância de objeto-relacional", melhorando a eficiência e evitando várias solicitações de rede e inconsistências de dados. Isso demonstra a evolução do SQL e a importância de se adaptar às novas necessidades de dados.

Leia mais
Desenvolvimento

Claude 3.7 da Anthropic: IA de raciocínio impulsionada por aprendizado por reforço

2025-02-24
Claude 3.7 da Anthropic: IA de raciocínio impulsionada por aprendizado por reforço

A Anthropic lançou o Claude 3.7, um modelo de IA aprimorado que se diferencia dos modelos tradicionais de linguagem ampla (LLMs) por se concentrar na capacidade de raciocínio. Treinado usando aprendizado por reforço, o Claude 3.7 se destaca na resolução de problemas que exigem raciocínio passo a passo, particularmente desafios de codificação, superando os modelos da OpenAI em alguns benchmarks. Esse avanço decorre de dados de treinamento adicionais e otimizações para aplicativos comerciais, como escrita de código e resposta a perguntas jurídicas. O lançamento do Claude Code aumenta ainda mais sua praticidade na codificação assistida por IA, fornecendo suporte robusto para planejamento de código complexo.

Leia mais
IA

Mercure: Solução de comunicação em tempo real rápida e confiável

2025-01-02
Mercure: Solução de comunicação em tempo real rápida e confiável

Mercure é uma solução aberta, fácil, rápida, confiável e eficiente em termos de bateria para enviar atualizações de dados para navegadores da web e outros clientes HTTP. É ideal para publicar atualizações assíncronas e em tempo real de recursos servidos por APIs da web, alimentando aplicativos web e móveis reativos. O protocolo e uma implementação Go pronta para produção, juntamente com bibliotecas e uma imagem Docker, estão disponíveis no GitHub. Uma versão gerenciada e altamente escalonável também é oferecida em Mercure.rocks.

Leia mais

Dauug|36: Um minicomputador de 36 bits seguro e durável

2025-04-22

Dauug|36 é uma arquitetura de minicomputador de 36 bits projetada para CPUs, controladores e minicomputadores construídos pelo próprio usuário. Ele possui um design notavelmente seguro, evitando recursos como DRAM, cache de memória, execução especulativa e execução fora de ordem, eliminando assim muitas vulnerabilidades comuns (Rowhammer, Spectre, Meltdown, estouro de pilha). Este projeto de código aberto requer apenas ferramentas de montagem em escala de fabricante, tornando-o construível em qualquer lugar. Seu design simples prioriza a segurança, buscando uma construção única, um dispositivo para toda a vida que não requer atualizações de segurança. A filosofia chave: baixa complexidade iguala alta segurança.

Leia mais
Hardware minicomputador

Compilando uma Pequena Linguagem Funcional para LLVM: Um Exemplo de Calculadora Simples

2025-09-23

Este artigo detalha o processo de compilação de uma pequena linguagem funcional para LLVM. Começando com uma linguagem de calculadora básica, o autor constrói progressivamente um analisador léxico, um analisador sintático e um gerador de código LLVM. O artigo explica detalhadamente cada etapa, incluindo a análise com a biblioteca megaparsec, a geração de código LLVM IR usando as bibliotecas llvm-hs-pure e llvm-hs-pretty, e finalmente a compilação e execução do resultado. Por meio deste exemplo, os leitores podem aprender como traduzir recursos de linguagens funcionais (como correspondência de padrões) para LLVM IR e como usar LLVM para geração e compilação de código.

Leia mais
Desenvolvimento Linguagem Funcional

Reforma do SAT: Um Reflexo da Preparação para a Faculdade?

2025-09-04
Reforma do SAT: Um Reflexo da Preparação para a Faculdade?

O SAT, anunciado como uma medida de preparação para a faculdade, passou por mudanças. Os resultados recentes mostram uma imagem preocupante sobre a preparação acadêmica dos aspirantes à faculdade. As universidades há muito usam testes padronizados como o SAT para filtrar candidatos, criando uma grande indústria de preparação para testes. A influência do SAT na educação americana é inegável.

Leia mais

Atlassian adquire startup de navegador com IA por US$ 610 milhões

2025-09-04
Atlassian adquire startup de navegador com IA por US$ 610 milhões

A Atlassian, gigante de software empresarial, adquiriu a The Browser Company, startup de Nova York por trás dos navegadores Arc e Dia (focado em IA), por US$ 610 milhões em dinheiro. O CEO da Atlassian, Mike Cannon-Brookes, um usuário precoce do Arc, foi atraído pela combinação inovadora de navegador da web e funcionalidade de chatbot do Dia, permitindo a manipulação de dados entre aplicativos. Essa aquisição posiciona estrategicamente a Atlassian para integrar as capacidades do Dia com seu conjunto existente de aplicativos de trabalho. O CEO da The Browser Company, Josh Miller, vê o negócio como uma jogada estratégica para acelerar o crescimento do Dia, garantir participação de mercado e evitar uma possível aquisição por empresas de tecnologia maiores. O Dia continuará focado em usuários corporativos e não se tornará simplesmente um invólucro para aplicativos Atlassian.

Leia mais
Tecnologia navegador IA

A Era de Ouro do Streaming Acabou?

2025-09-17
A Era de Ouro do Streaming Acabou?

Da ascensão da Netflix à greve dos roteiristas de 2023, a indústria de streaming passou por uma grande transformação. Inicialmente, a "TV de prestígio" de alto orçamento dominava, mas a queda das ações da Netflix e a incerteza econômica levaram à contração da indústria e à redução de orçamentos de produção. Agora, programas de alta qualidade são mais escassos, substituídos por programação não ficcional de baixo custo. Os espectadores estão se voltando para plataformas gratuitas como o YouTube, sinalizando uma onda iminente de consolidação de streaming.

Leia mais

Incubadora de Criadores do Chorus: Controvérsia e Esperança

2025-08-28
Incubadora de Criadores do Chorus: Controvérsia e Esperança

O Chorus, uma organização que visa apoiar criadores de conteúdo progressistas, lançou um programa de incubadora de criadores para ajudá-los a produzir conteúdo político de alta qualidade. No entanto, o programa enfrentou controvérsias. Alguns criadores acusaram o Chorus de usar suas imagens para arrecadação de fundos sem permissão e de tentar se tornar um intermediário entre líderes políticos progressistas e mídia independente. Apesar disso, muitos criadores se inscreveram no programa, na esperança de obter financiamento e recursos para produzir conteúdo melhor e influenciar o processo político. O futuro do programa e se ele realmente poderá ajudar a mídia independente ainda está por ser visto.

Leia mais
Diversos

Exercício: A intervenção médica mais potente já conhecida?

2025-01-02
Exercício: A intervenção médica mais potente já conhecida?

Um estudo multidisciplinar em larga escala revela o profundo impacto do exercício no corpo humano. A pesquisa demonstra que o exercício vai além dos benefícios cardiovasculares, afetando múltiplos sistemas, incluindo o sistema digestivo, o humor e a saúde mental. Experimentos com ratos mostraram que o exercício alterou a composição molecular de quase todos os tecidos, espelhando e até revertendo mudanças associadas a doenças. O estudo também encontrou diferenças notáveis ​​entre os sexos na resposta ao exercício, destacando a necessidade de pesquisas futuras incluírem ambos os sexos. Os especialistas aconselham que qualquer movimento é melhor do que nenhum, mesmo curtos períodos de exercício diário oferecendo benefícios significativos.

Leia mais

Microsoft corrige vulnerabilidade crítica de inicialização segura do Windows

2025-01-16
Microsoft corrige vulnerabilidade crítica de inicialização segura do Windows

A Microsoft corrigiu uma vulnerabilidade crítica que permitia que atacantes contornassem o Boot Seguro do Windows. A vulnerabilidade, presente em softwares de recuperação do sistema de vários fornecedores, envolvia um aplicativo UEFI com assinatura incorreta que permitia a instalação de firmware malicioso antes mesmo do carregamento do SO. A correção revoga a assinatura problemática. O status dos sistemas Linux ainda não está claro.

Leia mais
Tecnologia

Phi-3-Mini da Microsoft: Modelo de IA leve para desenvolvimento aprimorado

2024-12-28
Phi-3-Mini da Microsoft: Modelo de IA leve para desenvolvimento aprimorado

A Microsoft apresentou o Phi-3-Mini, um modelo de linguagem leve que oferece desempenho semelhante ao GPT-3.5 em dispositivos com recursos limitados. Este artigo explora seus pontos fortes, incluindo capacidades robustas de raciocínio e codificação, e integração perfeita com ferramentas como Ollama e Pieces. Executando o Phi-3-Mini localmente via Ollama, combinado com o Pieces para gerenciamento de trechos de código, simplifica a geração e refatoração de código, aumentando a produtividade do desenvolvedor. Embora o estouro de contexto permaneça um problema com textos longos, a natureza leve do Phi-3-Mini e seus recursos poderosos o tornam um ativo valioso no desenvolvimento de IA.

Leia mais

Probabilidade e Dualidade: De Lançamentos de Moedas à Geometria de Alta Dimensão

2025-09-21

Este artigo explora vários problemas de probabilidade aparentemente não relacionados, como a probabilidade de existir um caminho em um grafo aleatório e a probabilidade de que a envoltória convexa de quatro pontos em um círculo unitário contenha a origem, ambos surpreendentemente iguais a 1/2. O autor usa habilmente truques de dualidade e argumentos combinatórios para revelar as conexões profundas por trás desses problemas. Ao analisar o número de células cortadas de um espaço de alta dimensão por hiperplanos lineares e estudar as propriedades de matrizes aleatórias, o autor finalmente explica esses resultados de probabilidade e propõe vários problemas matemáticos não resolvidos, levando os leitores a ponderarem a curiosa relação entre probabilidade, geometria e dualidade.

Leia mais
Diversos dualidade
1 2 36 37 38 40 42 43 44 595 596