O Diamante Vermelho Winston de 2,33 Quilates do Smithsonian: Uma Jornada Através da Cor, da História e da Geologia

2025-06-14

O Diamante Vermelho Winston de 2,33 quilates, recentemente apresentado no Museu Nacional de História Natural do Smithsonian, é o quinto maior diamante vermelho fancy conhecido e o único em exibição pública. Este artigo detalha a investigação científica e histórica desta gema rara, desde a análise espectroscópica até às origens geológicas. Revela que sua cor vermelho-puro provém de um equilíbrio cuidadoso de características de absorção relacionadas à deformação plástica e defeitos específicos, traçando sua história de 1938 até o presente. O estudo conclui que sua provável origem é a Venezuela ou o Brasil.

Leia mais

Projeto de Data Center Stargate da OpenAI Atrasado Devido à Incerteza Tarifária e Volatilidade do Mercado

2025-05-13
Projeto de Data Center Stargate da OpenAI Atrasado Devido à Incerteza Tarifária e Volatilidade do Mercado

O ambicioso projeto de data center Stargate da OpenAI está enfrentando atrasos devido à incerteza econômica decorrente de tarifas e à crescente volatilidade do mercado. Serviços de IA mais baratos fizeram bancos, empresas de private equity e gestores de ativos hesitarem em investir no projeto, que visa arrecadar até US$ 500 milhões para infraestrutura de IA. A SoftBank, inicialmente uma grande apoiadora, ainda não finalizou os planos de financiamento ou se envolveu em discussões detalhadas com potenciais investidores. As tarifas devem aumentar significativamente os custos de construção de data centers, com estimativas sugerindo um aumento de 5% a 15% nos custos gerais de construção devido ao aumento dos preços de racks de servidores, sistemas de refrigeração e outros componentes. Outro fator complicador é a crescente preocupação com a supercapacidade, à medida que gigantes de tecnologia como Microsoft e Amazon ajustam suas estratégias de data center, potencialmente reduzindo os projetos de construção.

Leia mais
Tecnologia

Mirage Persistent Kernel: Compilando LLMs em um único megakernel para inferência ultrarrápida

2025-06-19
Mirage Persistent Kernel: Compilando LLMs em um único megakernel para inferência ultrarrápida

Pesquisadores da CMU, UW, Berkeley, NVIDIA e Tsinghua desenvolveram o Mirage Persistent Kernel (MPK), um compilador e sistema de runtime que transforma automaticamente a inferência de modelos de linguagem grandes (LLMs) em várias GPUs em um megakernel de alto desempenho. Ao fundir toda a computação e comunicação em um único kernel, o MPK elimina a sobrecarga de lançamento do kernel, sobrepõe computação e comunicação e reduz significativamente a latência de inferência do LLM. Experimentos demonstram melhorias de desempenho substanciais em configurações de GPU única e várias GPUs, com ganhos mais pronunciados em cenários de várias GPUs. O trabalho futuro se concentra em expandir o MPK para suportar arquiteturas de GPU de próxima geração e lidar com cargas de trabalho dinâmicas.

Leia mais
IA

Peça de avião de US$ 223.520 encontrada em loja de segunda mão por US$ 30

2025-02-27
Peça de avião de US$ 223.520 encontrada em loja de segunda mão por US$ 30

Um homem de 35 anos do estado de Washington, Zach, comprou uma válvula de fornecimento de ar para motor de aeronave por US$ 30 em uma loja de segunda mão. A peça, identificada como Honeywell 3290628-4, faz parte de um motor GE CF6-80 de um A330-300 e tinha um valor de referência de US$ 223.520 em 2011, segundo a Aeroval. Embora Zach reconheça a dificuldade de vender a peça devido à falta de documentação e seu estado potencialmente não funcional, a história destaca o valor surpreendente de itens descartados e o potencial para descobertas incríveis em lojas de segunda mão.

Leia mais

Adeus a Reuniões Infinitas: Uma Nova Abordagem para o Desenvolvimento de Software de Alta Velocidade

2024-12-15

Cansado de reuniões intermináveis e planejamentos longos? Este artigo apresenta um método de desenvolvimento de software de alta eficiência: centrado em código, iteração rápida. O autor usa a confeitaria como exemplo para ilustrar o conceito de alcançar a solução ideal por meio de experimentação rápida, testes frequentes e melhoria contínua. Este método enfatiza a redução da documentação, expressando ideias diretamente em código, usando dados simulados e ferramentas de recarregamento a quente para acelerar o desenvolvimento e melhorando a legibilidade do código por meio de um estilo de código conciso e convenções de nomenclatura. O autor defende a divisão de projetos em arquivos independentemente executáveis, minimizando o tempo de reinicialização e usando ferramentas de linguagem padrão para depuração. Embora este método possa parecer um "laboratório caótico", ele pode concluir projetos de forma eficiente e evitar a redundância e ineficiência dos métodos tradicionais.

Leia mais

Cidade Murada de Kowloon: Uma Secção Transversal de Densidade e Decomposição

2024-12-13
Cidade Murada de Kowloon: Uma Secção Transversal de Densidade e Decomposição

Na década de 1990, a Cidade Murada de Kowloon, em Hong Kong, era o lugar mais densamente povoado do mundo, com aproximadamente 50.000 pessoas em apenas 2,6 hectares. Após a Segunda Guerra Mundial, tornou-se um refúgio para refugiados, seus edifícios crescendo organicamente em uma estrutura labiríntica. O crime e as más condições de vida levaram à sua demolição em 1994. A ilustração em seção transversal da artista Hitomi Terasawa captura vividamente esse fenômeno urbano único e, em última análise, trágico, preservando sua memória como um 'organismo vivo'.

Leia mais

The Promised LAN: Uma Rede Privada 24/7 Sempre Ativa

2025-07-24

The Promised LAN é uma rede fechada, apenas para membros, que opera uma festa LAN 24/7 desde 2021. Sua arquitetura sofisticada conecta nós independentes via IPSec, usando BGP para roteamento. Um TLD personalizado (.tpl) alimenta seu DNS, empregando servidores raiz distribuídos e resolvedores recursivos para alta disponibilidade. Para simplificar o gerenciamento de certificados TLS, eles construíram um sistema PKI interno usando registros DNS e SSH para emissão de certificados, ignorando serviços externos como ACME. Este artigo detalha a arquitetura do sistema e as políticas de segurança, mostrando seu design elegante e compromisso com a segurança.

Leia mais
Desenvolvimento

A Maior Viagem de Trem do Mundo: Um Mito Desmascarado?

2025-05-17
A Maior Viagem de Trem do Mundo: Um Mito Desmascarado?

Uma suposta rota de trem de Lagos, Portugal, para Singapura, abrangendo 18.755 km em 13 países, reivindica o título da maior viagem de trem do mundo. No entanto, essa afirmação é repleta de problemas: a definição da rota é fluida, permitindo adições arbitrárias; requer inúmeras transferências, negando o aspecto de 'viagem única'; e as sanções relacionadas ao conflito na Ucrânia interromperam o trecho Moscou-Pequim. O artigo explora a definição e a viabilidade da 'maior viagem de trem', destacando que a viagem de trem única mais longa é de Moscou a Pyongyang, com 10.214 km. Em última análise, o autor enfatiza a própria jornada como mais significativa do que o destino.

Leia mais

Aplicativo Pocket de leitura será desativado em 2025

2025-05-22

O popular aplicativo de leitura Pocket será desativado em 8 de julho de 2025. Os usuários terão até 8 de outubro de 2025 para exportar seu conteúdo salvo antes que todos os dados sejam excluídos permanentemente. A decisão vem com a evolução dos hábitos de navegação na web dos usuários, e a Mozilla está redirecionando recursos para projetos mais alinhados com esses hábitos. O boletim informativo por e-mail do Pocket será renomeado para "Ten Tabs" e continuará oferecendo conteúdo selecionado.

Leia mais
Diversos desativação

Preços para Membros do Micro Center: Grátis até 2026!

2025-05-30
Preços para Membros do Micro Center: Grátis até 2026!

Os preços para membros do Micro Center estão disponíveis, totalmente gratuitos até 2026! Não é necessário cartão de crédito para se juntar; basta entrar com sua conta verificada para desbloquear economias extras aplicadas automaticamente no checkout. As devoluções são sempre gratuitas, e iniciá-las online economiza tempo. Procure a etiqueta verde nos produtos em todo o site para identificar ofertas de preços para membros. Contas existentes do Micro Center se qualificam automaticamente.

Leia mais

Apple lança iPhone 16e: Um novo iPhone potente e acessível

2025-02-19
Apple lança iPhone 16e: Um novo iPhone potente e acessível

A Apple anunciou o iPhone 16e, uma nova adição à linha iPhone 16 que oferece recursos poderosos a um preço mais acessível. Equipado com o chip A18 e o novo modem celular C1 da Apple, ele oferece desempenho e duração da bateria impressionantes. O iPhone 16e foi projetado para a Apple Intelligence, um sistema de IA focado na privacidade com recursos como a ferramenta Limpar para edição de imagens e pesquisa de fotos em linguagem natural. Um sistema de câmera 2 em 1 de 48 MP oferece fotos e vídeos de alta qualidade, e a conectividade por satélite garante que os usuários permaneçam conectados mesmo sem cobertura celular ou Wi-Fi. As pré-encomendas começam em 21 de fevereiro.

Leia mais
Tecnologia

Aprendizado por Reforço Offline Melhora o Raciocínio em Múltiplas Etapas de LLMs

2024-12-23
Aprendizado por Reforço Offline Melhora o Raciocínio em Múltiplas Etapas de LLMs

Pesquisadores apresentam OREO, um método de aprendizado por reforço offline projetado para aprimorar as capacidades de raciocínio em múltiplas etapas de modelos de linguagem grandes (LLMs). Baseado no aprendizado por reforço de entropia máxima, OREO aprende conjuntamente um modelo de política e uma função de valor otimizando a equação de Bellman suave. Isso resolve as limitações da Otimização Direta de Preferências (DPO) no raciocínio em múltiplas etapas, especificamente a necessidade de dados de preferência pareados extensos e o desafio da atribuição de crédito eficaz. Experimentos demonstram a superioridade do OREO sobre os métodos de aprendizado offline existentes em benchmarks envolvendo raciocínio matemático e controle de agente incorporado.

Leia mais

A Arrecadação de Fundos da Wikipédia: Um Olhar Mais Atento aos Milhões

2024-12-16
A Arrecadação de Fundos da Wikipédia: Um Olhar Mais Atento aos Milhões

A Wikipédia, conhecida por suas informações gratuitas, realiza campanhas agressivas de arrecadação de fundos. Este artigo revela que a Fundação Wikimedia acumulou centenas de milhões de dólares, muito mais do que o necessário para a operação do site. As somas vultosas não são usadas para compensar os editores voluntários, mas sim para financiar uma grande equipe (550 funcionários) e altos salários de executivos, levando ao descontentamento entre os voluntários. O artigo exorta os leitores a reconsiderar suas doações, questionando a eficiência e a transparência dos fundos e destacando possíveis vieses políticos.

Leia mais

Sguaba: Crate Rust para Transformações de Coordenadas à Prova de Erros

2025-05-31
Sguaba: Crate Rust para Transformações de Coordenadas à Prova de Erros

Sguaba é um novo crate Rust de código aberto que simplifica as transformações de coordenadas entre vários sistemas (WGS84, ECEF, NED, FRD) para engenheiros. Aproveitando o sistema de tipos do Rust, ele evita a mistura acidental de sistemas de coordenadas, uma fonte comum de erros. Projetado para facilidade de uso, o Sguaba fornece tipos intuitivos como `Coordinate`, `Vector`, `Orientation` e `Pose`, e usa `RigidBodyTransform` para conversões. Documentação e exemplos abrangentes estão incluídos. Embora atualmente falte suporte para ENU e ECI, contribuições são bem-vindas.

Leia mais

Gatos conseguem sentir a diferença: como a olfação felina distingue entre humanos

2025-05-30
Gatos conseguem sentir a diferença: como a olfação felina distingue entre humanos

Um novo estudo revela que gatos domésticos usam a olfação para diferenciar entre humanos familiares (donos) e desconhecidos. Os gatos passaram significativamente mais tempo cheirando o odor de uma pessoa desconhecida, exibindo lateralização no uso das narinas semelhante a outros animais que respondem a odores novos. O estudo também encontrou correlações entre traços de personalidade felinos e comportamento de farejar, mas nenhuma associação com a força do vínculo gato-dono. Esta pesquisa ilumina a complexidade da cognição social olfativa felina, oferecendo novos insights sobre as interações gato-humano.

Leia mais

Rust 10 anos: Uma história de comunidade e infraestrutura

2025-05-17
Rust 10 anos: Uma história de comunidade e infraestrutura

No décimo aniversário da linguagem de programação Rust, o autor original, Graydon Hoare, reflete sobre sua jornada. Não é apenas uma história de linguagem de programação, mas uma narrativa de uma vasta comunidade construindo e mantendo infraestrutura técnica compartilhada. O sucesso do Rust decorre da necessidade de infraestrutura robusta e do investimento de longo prazo de organizações como a Mozilla, juntamente com milhares de voluntários. O Rust evoluiu de um protótipo simples para uma linguagem poderosa com um enorme ecossistema e amplas aplicações. O futuro requer a atração contínua de talentos, manutenção de estabilidade e compatibilidade e aprimoramento adicional da qualidade.

Leia mais
Desenvolvimento

Gerando Geometria de Nuvem de Pontos Impressionante com Funções de Distância Assinadas

2025-03-29
Gerando Geometria de Nuvem de Pontos Impressionante com Funções de Distância Assinadas

Este artigo apresenta uma técnica de codificação criativa para gerar geometria de nuvem de pontos usando funções de distância assinadas (SDFs). O autor usa o exemplo de partículas colidindo com esferas para explicar como as SDFs podem detectar colisões de forma eficiente e se estender a formas mais complexas. O artigo fornece exemplos de código Processing, incluindo classes como Point, Vector, Ray e Tracer, e implementações de SDF como SphereSDF e BoxSDF, demonstrando como usar SDFs para rastreamento de esferas para gerar imagens de nuvem de pontos bonitas.

Leia mais

Reconhecimento de imagem por IA detecta estruturas semelhantes a bolhas no universo

2025-04-01
Reconhecimento de imagem por IA detecta estruturas semelhantes a bolhas no universo

Pesquisadores da Universidade Metropolitana de Osaka desenvolveram um modelo de aprendizado profundo que identifica eficientemente estruturas semelhantes a bolhas, anteriormente não catalogadas, na Via Láctea. Usando dados dos telescópios espaciais Spitzer e James Webb, o modelo de IA detecta com precisão 'bolhas Spitzer', formadas pela formação de estrelas de alta massa e cruciais para a compreensão da formação estelar e da evolução galáctica. O modelo também identifica estruturas em forma de casca de explosões de supernovas, abrindo caminho para investigações mais profundas sobre a formação estelar e os efeitos de eventos explosivos dentro das galáxias.

Leia mais

Creatr: Aumentando a Produtividade e Acelerando o Desenvolvimento

2025-05-23
Creatr: Aumentando a Produtividade e Acelerando o Desenvolvimento

Creatr é uma ferramenta de desenvolvimento poderosa que aumenta dramaticamente a eficiência do desenvolvedor. O feedback do usuário destaca a capacidade do Creatr de otimizar a codificação, permitindo que os desenvolvedores se concentrem em desenvolvimento e design de alto nível, levando à construção de projetos mais rápidos e melhores. A integração perfeita com o Supabase simplifica a implantação. Seja um protótipo rápido ou um aplicativo completo, o Creatr reduz significativamente o tempo de desenvolvimento, ajudando os desenvolvedores a dar vida às suas ideias mais rapidamente.

Leia mais

Aumentando a Acessibilidade de Tabelas Web: Um mergulho profundo no Tab Roving

2025-05-23

Este artigo aborda os desafios de gerenciamento de foco em tabelas web, especialmente para usuários de teclado, onde a navegação tradicional por tabulação é ineficiente. O autor apresenta uma técnica chamada "Tab Roving", que usa as teclas de seta para navegar entre as células da tabela, tratando a tabela inteira como um único elemento focalizável. Isso melhora significativamente a experiência do usuário para usuários de teclado. O artigo detalha os princípios de implementação, incluindo o uso do atributo `tabindex`, rastreamento de foco e um exemplo de código em React, e discute outros cenários de aplicação, como mega menus e campos de entrada numérica personalizados.

Leia mais
Desenvolvimento Gerenciamento de Foco

Adeus à análise tediosa de falhas: depuração com IA

2025-05-05

Enquanto o desenvolvimento de software avança rapidamente, a análise de despejos de falhas permanece presa ao passado. Este artigo apresenta o mcp-windbg, um projeto de código aberto que revoluciona a depuração de falhas usando IA (GitHub Copilot) e o Model Context Protocol (MCP). Os desenvolvedores agora podem interagir com o depurador de forma natural por meio de conversas, com a IA identificando e até mesmo corrigindo bugs automaticamente, aumentando drasticamente a eficiência. O mcp-windbg integra habilmente o WinDBG/CDB com IA, eliminando a necessidade de comandos manuais. Basta fazer perguntas, e a IA analisará os despejos de memória, interpretará os rastros de pilha e fornecerá soluções. Isso transforma a análise de falhas de uma tarefa tediosa em um processo mais inteligente e eficiente, mudando fundamentalmente a experiência de depuração para desenvolvedores de software.

Leia mais

Guix Shepherd 1.0 Lançado: Um Gerenciador de Serviços Minimalista Atingindo a Versão 1.0

2025-01-14

Após 21 anos em desenvolvimento, o gerenciador de serviços Guix Shepherd finalmente atingiu a versão 1.0! O Shepherd é um gerenciador de serviços minimalista, porém poderoso, que monitora, inicia, interrompe e reinicia serviços. Ele suporta ações personalizadas e a visualização de dependências de serviços. Escrito em Guile Scheme, o Shepherd possui uma configuração simples e intuitiva, tornando-o acessível mesmo para quem não é especialista em Scheme. A versão 1.0 introduz serviços cronometrados, exibição de status de serviço aprimorada, um serviço de rotação de logs e um serviço de log do sistema. O código é notavelmente conciso e eficiente, com apenas 7.4K linhas de código Scheme. O desenvolvimento futuro visa um gerenciador de serviços distribuído e baseado em capacidades.

Leia mais
Desenvolvimento gerenciador de serviços

A Complexidade Insondável dos Cartões de Baralho

2025-01-17
A Complexidade Insondável dos Cartões de Baralho

O ato aparentemente simples de jogar cartas esconde uma complexidade matemática incrível. Da aleatoriedade da embaralhada aos momentos de 'eureka' nos jogos de cartas, o tema fascinou matemáticos e designers de jogos. Este artigo explora as origens e a evolução dos baralhos, seu uso no design de jogos modernos e o fascínio cativante que nos mantém presos, destacando os desafios que eles apresentam em matemática e desenvolvimento de jogos.

Leia mais

Pebble Ressuscitado: Código Aberto Reacende a Esperança

2025-02-07
Pebble Ressuscitado: Código Aberto Reacende a Esperança

O lançamento do código-fonte do PebbleOS pelo Google deu novo fôlego à comunidade Pebble. A equipe Rebble está trabalhando duro no desenvolvimento de hardware e software para um novo relógio Pebble, com foco no chipset nRF52840. Eles estão disponibilizando todas as atualizações como código aberto e colaborando com fábricas e fornecedores para criar um novo relógio que se assemelha muito à experiência clássica do Pebble, mas com software de código aberto modificável e melhorável. Desenvolvedores são bem-vindos a se juntar e contribuir para melhorar o PebbleOS, o aplicativo Cobble e o SDK do Pebble.

Leia mais
Hardware

Implementação de um Alocador de Memória em 163 LOC

2025-06-22

Enquanto explorava o alocador de memória mimalloc, o autor descobriu a falta de suporte para pré-alocação. Isso levou à criação de um alocador simples, com 163 linhas de código, baseado no sistema Buddy. O artigo detalha os processos de alocação e desalocação dentro do sistema Buddy e aborda a fragmentação de memória. O autor destaca a surpreendente simplicidade da implementação, enfatizando a importância de entender os princípios de alocação de memória para programadores.

Leia mais
Desenvolvimento sistema Buddy

Especificações Formais: Além das Instruções, Definindo Comportamentos de Software

2025-07-28
Especificações Formais: Além das Instruções, Definindo Comportamentos de Software

Esta publicação aprofunda a distinção entre especificações formais e programas tradicionais. Enquanto programas são listas de instruções, especificações formais são conjuntos de comportamentos. Usando um contador como exemplo, o autor ilustra como as especificações definem todos os comportamentos corretos e utilizam a teoria dos conjuntos, empregando geradores (Init e Next) para descrever conjuntos infinitos de comportamentos. Isso contrasta com o conceito de não-determinismo na programação; em especificações formais, não-determinismo refere-se a múltiplas maneiras pelas quais um comportamento pode ser estendido, enquanto em programas, refere-se a caminhos de código incertos. O artigo enfatiza a importância de entender especificações formais como conjuntos de comportamentos, crucial para depuração e interpretação de erros do verificador de modelos.

Leia mais

Simulações Orgânicas Encantadoras: Algoritmos e Técnicas

2025-07-16
Simulações Orgânicas Encantadoras: Algoritmos e Técnicas

Este artigo mergulha nas técnicas algorítmicas por trás da criação de simulações orgânicas cativantes, inspiradas no comportamento de organismos como o Physarum polycephalum. O autor explica meticulosamente o algoritmo de Jeff Jones, detalhando o movimento das partículas, a deposição de rastros, a difusão e a decadência, mostrando como os ajustes de parâmetros (distância do sensor, ângulo, ângulo de rotação, distância de movimento) produzem resultados diversos. O artigo explora ainda o projeto '36 Points' de Sage Jenson, que introduz fórmulas de parâmetros dinâmicos para maior complexidade e variedade. Finalmente, o autor compartilha sua implementação, utilizando computação GPU e experimentos de cores, fornecendo trechos de código e links para projetos interativos.

Leia mais

A Lenda de Mel: O Blackjack em Hexadecimal de um Programador Real

2025-07-16

Este artigo conta a história de Mel, um programador lendário da década de 1980. Mestre em código de máquina, Mel escreveu um jogo de blackjack para o computador LGP-30 da Royal McBee, posteriormente otimizando-o para o RPC-4000. Ele rejeitou compiladores e montadores otimizados, otimizando manualmente o código para explorar a arquitetura de memória de tambor para velocidade máxima. Mesmo loops simples foram elaborados de forma engenhosa, usando estouro de endereço de instrução para terminar, evitando testes explícitos. Embora forçado a adicionar uma chave de vitória/derrota, ele sutilmente inverteu a lógica, fazendo o programa sempre ganhar quando ativado, mostrando seu estilo único e postura ética. O artigo destaca a profunda habilidade e dedicação de Mel à sua arte.

Leia mais
Desenvolvimento lenda da programação

Repensando a API de Tempo do C: Uma Abordagem Moderna

2025-02-16

A API de tempo do C é conhecida por sua bagunça herdada e escolhas de design ruins. Este artigo mostra os problemas com um exemplo simples de impressão do tempo atual, destacando funções desajeitadas e limitações. Uma alternativa proposta utiliza estruturas de dados mais limpas, precisão de nanossegundos com representação de ponto flutuante e tratamento de fuso horário e formatação simplificados. Embora não seja destinado à adoção imediata generalizada, esta prova de conceito demonstra um caminho para uma biblioteca de tempo C mais moderna e eficiente, oferecendo insights valiosos para o design da API de tempo de outras linguagens.

Leia mais
Desenvolvimento API de Tempo

Relatório de Tráfego da Wikipédia: Eleições nos EUA e Hollywood Dominam em 2024

2025-01-21

O relatório de tráfego da Wikipédia de 2024 mostra um ano dominado por figuras e eventos relacionados às eleições dos EUA, com metade das dez primeiras posições ocupadas por candidatos e resultados. Hollywood também teve uma forte presença, com 'Deadpool e Wolverine' e 'Duna: Parte Dois' da Marvel se mostrando muito populares. Séries de crimes reais da Netflix, como 'Monstros: A História de Lyle e Erik Menendez', também geraram tráfego significativo. A lista inclui ainda as eleições gerais indianas, eventos esportivos, as estrelas do pop Taylor Swift e Sabrina Carpenter e figuras da tecnologia como ChatGPT e Elon Musk. Este instantâneo de 2024 destaca os eventos globais e o interesse público, mostrando o papel da Wikipédia como fonte primária de informações.

Leia mais
1 2 475 476 477 479 481 482 483 595 596