A Beleza Inesperada dos Diagramas de Venn: Um Quebra-Cabeça Geométrico Além da Matemática

2025-01-19
A Beleza Inesperada dos Diagramas de Venn: Um Quebra-Cabeça Geométrico Além da Matemática

Diagramas de Venn, ferramentas gráficas simples, possuem uma história e aplicação muito além da nossa imaginação. Eles não são apenas auxílios visuais em sala de aula, mas também levantam uma série de problemas geométricos profundos. Este artigo explora a história dos diagramas de Venn e sua aplicação na lógica e na teoria dos conjuntos. Particularmente notável é o desafio de desenhar diagramas de Venn com mais de quatro conjuntos e os esforços que os matemáticos fizeram para encontrar representações mais elegantes. Isso não é apenas sobre desenhar diagramas, mas também uma exploração da beleza da matemática e da curiosidade humana.

Leia mais

FSD da Tesla: De direção autônoma total para sistema avançado de assistência ao motorista

2025-09-06

A promessa de longa data da Tesla de direção autônoma não supervisionada com sua capacidade de direção totalmente autônoma (FSD) permanece não cumprida. A Tesla silenciosamente redefineu a FSD, rebaixando-a de direção totalmente autônoma para um "sistema avançado de assistência ao motorista", sem mais prometer direção autônoma não supervisionada. Essa mudança está ligada ao pacote de bônus de opções de ações massivas de Elon Musk, que depende do número de assinantes do FSD da Tesla. Embora aparentemente vincule a recompensa de Musk à entrega do FSD, a nova definição permite que até mesmo a versão atual - que exige supervisão constante do motorista - atenda facilmente aos critérios. Isso levanta preocupações sobre o marketing enganoso da Tesla e táticas de troca de iscas, destacando a lacuna significativa entre suas promessas e a realidade de sua tecnologia de direção autônoma.

Leia mais
Tecnologia

CosAE: Um novo autoencoder para restauração de imagens de super-resolução usando séries de Fourier

2025-04-26

Pesquisadores apresentam o CosAE, um novo autoencoder que integra perfeitamente séries de Fourier clássicas com uma rede neural feed-forward. O CosAE representa imagens de entrada como séries temporais de cosseno 2D, cada uma definida por frequência e coeficientes de Fourier aprendíveis. Ao contrário dos autoencoders convencionais que perdem detalhes em gargalos de baixa resolução, o CosAE codifica coeficientes de frequência (amplitudes e fases), permitindo uma compressão espacial extrema (por exemplo, mapas de recursos subamostrados 64x) sem perda de detalhes na decodificação. Experimentos em super-resolução e restauração de imagens cegas demonstram desempenho de ponta, destacando a capacidade do CosAE de aprender uma representação generalizável para restauração de imagens.

Leia mais

Tecnologia obsoleta custa a um banco uma ação judicial de GDPR

2025-06-11
Tecnologia obsoleta custa a um banco uma ação judicial de GDPR

Um banco belga perdeu um processo judicial devido à incapacidade de seu sistema EBCDIC obsoleto de lidar com caracteres acentuados, resultando em registros incorretos de nomes de clientes. Isso destaca a importância da modernização do sistema na era digital e os requisitos rigorosos de precisão para dados pessoais sob o GDPR. O caso levanta preocupações sobre o uso contínuo de tecnologias legadas como EBCDIC, muito inferiores ao Unicode, e suas limitações no processamento de dados.

Leia mais
Tecnologia

DSLRoot: Uma Rede Proxy Residencial Fantasma com Raízes na Rússia?

2025-08-26

Uma postagem no Reddit expôs a DSLRoot, uma rede proxy residencial que paga US$ 250 por mês a usuários americanos para hospedar seus equipamentos. Seu histórico remonta à Rússia e à Europa Oriental, com seus operadores envoltos em mistério, mas ligados a um usuário do BlackHatWorld, USProxyKing, envolvido na distribuição de malware e serviços de robocall. A DSLRoot afirma transparência, mas suas operações levantam preocupações sobre segurança cibernética e privacidade, especialmente considerando o envolvimento de um membro da Guarda Nacional Aérea dos EUA com autorização de segurança de alto nível. A rede encolheu recentemente, provavelmente devido ao aumento da concorrência.

Leia mais
Tecnologia

Melhorias do iina Player: Exibição do Título e Minimização na Pausa

2025-09-16

Este trecho de código adiciona dois recursos práticos ao reprodutor de vídeo iina. Primeiro, ele exibe o título do vídeo em uma fonte grande de 48px no topo do reprodutor durante a reprodução. Segundo, ele minimiza a janela quando o vídeo é pausado e retoma a reprodução quando a janela é restaurada, melhorando a experiência do usuário.

Leia mais
Desenvolvimento

Metais pesados encontrados em retardante de incêndio usado em incêndios florestais na Califórnia

2025-04-06
Metais pesados encontrados em retardante de incêndio usado em incêndios florestais na Califórnia

Após os recentes incêndios florestais na Califórnia, a LAist, em parceria com pesquisadores da USC, testou amostras de MVP-FX, um retardante de incêndio usado nos incêndios de Palisades e Eaton. Os testes revelaram a presença de metais pesados tóxicos, incluindo chumbo, arsênio, cádmio e cromo. Embora o fabricante, Perimeter Solutions, alegue que os níveis estão abaixo dos limites da EPA e são naturalmente ocorrentes, sua ficha de dados de segurança omite essa informação. O Cal Fire e o Serviço Florestal dos EUA rejeitaram as descobertas, citando a possível contaminação das amostras de campo. Esta investigação levanta preocupações sobre a segurança e a transparência dos retardantes de incêndio, destacando os potenciais riscos à saúde para bombeiros e público, bem como os impactos ambientais de longo prazo nos ecossistemas aquáticos.

Leia mais

Bug misterioso de desativação de senha SSH no Ubuntu 24.04

2025-04-06

Desativar o acesso por senha SSH na internet, enquanto permitia na LAN local, em um servidor Ubuntu 24.04, parecia simples usando o sshd_config. No entanto, um arquivo de configuração personalizado em /etc/ssh/sshd_config.d/ foi ignorado após a reinicialização do daemon SSH. O culpado foi a regra de configuração 'o primeiro que chega é o primeiro que serve' do sshd_config, e um arquivo '50-cloud-init.conf' gerado pelo sistema contendo 'PasswordAuthentication yes', que foi carregado antes do arquivo personalizado. Renomear o arquivo de configuração personalizado para '10-no-passwords.conf' resolveu o problema, garantindo que ele fosse carregado primeiro.

Leia mais
Desenvolvimento Configuração do servidor

Xee: Um Motor de Execução XML Moderno em Rust

2025-03-28

O autor passou dois anos desenvolvendo o Xee, um motor de execução XML implementado em Rust, com suporte para XPath e XSLT modernos. Mais do que apenas uma biblioteca, o Xee é uma implementação completa de linguagem de programação, com uma ferramenta de linha de comando e uma biblioteca Rust, visando revitalizar a tecnologia XML envelhecida. O artigo detalha a arquitetura, a implementação do Xee e a história e o estado atual do XML, com um chamado à ação para desenvolvedores contribuírem.

Leia mais
Desenvolvimento

Notas de design do X: Unificando módulos OCaml

2025-09-09

O autor está projetando uma nova linguagem de programação, X, com o objetivo de combinar a inferência de tipo e a subtipagem estrutural do PolySubML com a maioria dos recursos do OCaml, abordando especialmente as diferenças sintáticas e conceituais entre o sistema de módulos do OCaml e os valores comuns. A publicação detalha como os módulos OCaml são unificados no X, cobrindo aspectos como membros de alias em registros, sintaxe struct e sig, abertura e inclusão de módulos, extensão de módulos e abstração com tipos existenciais. Propõe melhorias ao sistema de módulos do OCaml, como evitar importações com curingas. O objetivo final é uma linguagem de programação mais simples, fácil de entender e poderosa.

Leia mais
Desenvolvimento

A utilidade mal compreendida de `font-size-adjust`

2025-07-26

Este artigo contesta o equívoco comum em torno da propriedade CSS `font-size-adjust`. O autor argumenta que `font-size` especifica o tamanho da caixa em torno de um glifo, não o glifo em si, levando a inconsistências entre diferentes fontes. Em vez de se concentrar apenas na substituição de fontes, `font-size-adjust` pode ser usado para garantir um tamanho mais consistente em várias fontes em uma página. O autor recomenda defini-lo como `ex-height 0.53` em um reset CSS para melhor consistência tipográfica.

Leia mais
Desenvolvimento

Domando o Pico de Demanda Sincronizada: Uma Abordagem Fundamentada

2025-08-25
Domando o Pico de Demanda Sincronizada: Uma Abordagem Fundamentada

Demanda sincronizada, onde um grande número de clientes solicita serviço quase simultaneamente, pode sobrecarregar até mesmo sistemas com bons recursos. Este artigo apresenta uma abordagem fundamentada para mitigar isso usando jitter aleatório para distribuir solicitações ao longo do tempo. Calculando um tamanho de janela seguro (W), as solicitações são distribuídas uniformemente, reduzindo assim a taxa de chegada de pico. O artigo também discute o uso de dicas do lado do servidor (como cabeçalhos Retry-After) e limitação de taxa para refinar a estratégia, equilibrando a estabilidade e a justiça do sistema. A abordagem é enquadrada como um problema de controle, enfatizando a necessidade de tomada de decisão e verificação orientadas por telemetria.

Leia mais
Desenvolvimento

CIO do Goldman Sachs: Gerenciar funcionários de IA será o desafio de 2025

2025-01-22
CIO do Goldman Sachs: Gerenciar funcionários de IA será o desafio de 2025

Marco Argenti, CIO do Goldman Sachs, prevê que gerenciar funcionários de IA será um grande desafio em 2025. Os modelos de IA amadurecerão para lidar com tarefas complexas, levando a equipes híbridas de humanos e IA. Isso exigirá que o RH corporativo gerencie recursos humanos e de máquinas, potencialmente incluindo 'demissões' de IA. Argenti também prevê que os principais modelos de IA serão semelhantes a graduados em PhD com conhecimento especializado da indústria, graças aos avanços na geração aumentada por recuperação e ajuste fino. Além disso, a convergência de IA e robótica permitirá que a IA compreenda e interaja melhor com o mundo físico.

Leia mais

XB-1 da Boom Supersonic quebra a barreira do som: Uma nova era para voos supersônicos civis

2025-01-28
XB-1 da Boom Supersonic quebra a barreira do som: Uma nova era para voos supersônicos civis

O avião demonstrativo XB-1 da Boom Supersonic quebrou com sucesso a barreira do som sobre o deserto de Mojave, na Califórnia, tornando-se a primeira aeronave civil a atingir voo supersônico. Este marco histórico ocorreu durante o 12º voo de teste do XB-1, mantendo velocidade supersônica (Mach 1.1) por aproximadamente quatro minutos. A Boom planeja construir o avião supersônico Overture com capacidade para 64 passageiros, já tendo garantido encomendas da American Airlines e Japan Airlines. Esta conquista marca um renascimento do voo supersônico civil e oferece esperança para o futuro das viagens de passageiros supersônicos.

Leia mais
Tecnologia

Guia para Leigos sobre Amostragem de LLMs Modernos

2025-05-04
Guia para Leigos sobre Amostragem de LLMs Modernos

Este artigo técnico oferece um guia abrangente sobre os métodos de amostragem usados na geração de texto por Modelos de Linguagem Ampla (LLM). Começa explicando por que LLMs usam tokenização de subpalavras em vez de palavras ou letras, e depois aprofunda em vários algoritmos de amostragem, incluindo amostragem de temperatura, métodos de penalidade (Presença, Frequência, Repetição, DRY), Top-K, Top-P, Min-P, Top-A, XTC, Top-N-Sigma, Amostragem Sem Cauda, Corte Eta, Corte Epsilon, Amostragem Tipicamente Local, Amostragem Quadrática e Mirostat. Cada algoritmo é explicado com pseudocódigo e ilustrações. Finalmente, discute a ordem dos métodos de amostragem e suas interações, destacando o impacto significativo da ordem diferente na saída final.

Leia mais

Philips lança 'Fixables': Peças de reposição imprimíveis em 3D para autorreparação

2025-05-12
Philips lança 'Fixables': Peças de reposição imprimíveis em 3D para autorreparação

A Philips lançou uma nova iniciativa chamada 'Philips Fixables', incentivando o autorreparação ao oferecer peças de reposição imprimíveis em 3D, oficialmente projetadas e gratuitas. Esses arquivos estão disponíveis no Printables.com, com a oferta inicial sendo um pente de 3 mm para uma máquina de barbear. Embora atualmente limitado, a Philips planeja expandir a biblioteca de peças disponíveis ao longo do tempo. Este programa, lançado inicialmente na República Tcheca em parceria com a Prusa Research e a LePub, promove opções de reparo sustentáveis e visa fomentar uma comunidade em torno de hardware reparável. Os usuários também podem solicitar que peças específicas sejam adicionadas ao programa Fixables.

Leia mais
Hardware autorreparação

Itália revive planos de energia nuclear: uma mudança após Chernobyl?

2025-03-04
Itália revive planos de energia nuclear: uma mudança após Chernobyl?

O governo italiano aprovou um projeto de lei para reintroduzir a energia nuclear, visando enfrentar questões de segurança energética e mudanças climáticas, com a meta de neutralidade de carbono até 2050. Após a eliminação gradual da energia nuclear após um referendo de 1987, uma mudança na opinião pública e na política governamental levou à inclusão da energia nuclear nos planos nacionais de energia. A nova lei enfatiza tecnologias de reatores modulares avançados e estabelece uma autoridade reguladora independente para garantir segurança e transparência.

Leia mais

Bell Labs Holmdel: De Centro de Pesquisa a Comunidade Tecnológica Vibrante

2025-03-31
Bell Labs Holmdel: De Centro de Pesquisa a Comunidade Tecnológica Vibrante

O Complexo Bell Labs Holmdel, em Nova Jersey, outrora uma instalação de pesquisa e desenvolvimento para o Bell System e Bell Labs, passou por uma transformação notável. Este icônico edifício projetado por Eero Saarinen, que já abrigou milhares de engenheiros e pesquisadores e foi palco de trabalhos premiados com o Nobel, foi remodelado e se tornou o Bell Works, um vibrante empreendimento de uso misto. Agora uma comunidade próspera, abriga startups de tecnologia, espaços residenciais, varejo e entretenimento, combinando perfeitamente sua arquitetura moderna de meados do século com design contemporâneo.

Leia mais

Intel Mount Morgan IPU: Um Monstro de Processador de Infraestrutura em Nuvem

2025-09-11
Intel Mount Morgan IPU: Um Monstro de Processador de Infraestrutura em Nuvem

A Intel revelou sua unidade de processamento de infraestrutura (IPU) de próxima geração, Mount Morgan, uma atualização significativa em relação à sua predecessora, Mount Evans. Com 24 núcleos Arm Neoverse N2, aceleradores aprimorados e maior largura de banda, o Mount Morgan lida com uma gama mais ampla de serviços de infraestrutura em nuvem, desde o provisionamento de VMs e coleta de métricas até funções de rede. As melhorias principais incluem poder de computação aprimorado, largura de banda de memória mais rápida (LPDDR5-6400), um mecanismo aprimorado de criptografia e compressão (LCE) com suporte de criptografia assimétrica e uma taxa de transferência Ethernet dobrada de 400 Gbps. Sua arquitetura flexível permite que ele opere em vários modos, incluindo como um servidor autônomo ou em conjunto com até quatro servidores host. O Mount Morgan representa um grande passo na estratégia de aceleração de hardware em nuvem da Intel, com o objetivo de competir em um mercado em rápida evolução.

Leia mais
Hardware

Crescimento do mercado global de PCs e smartphones desacelera, Índia pronta para se beneficiar

2025-04-23
Crescimento do mercado global de PCs e smartphones desacelera, Índia pronta para se beneficiar

A UBS e a Gartner reduziram significativamente suas previsões de crescimento para os mercados globais de PCs e smartphones devido a tarifas comerciais e incertezas macroeconômicas que afetam a demanda dos consumidores. Espera-se que as remessas globais de PCs cresçam apenas 2% em 2025 e 2026, enquanto as remessas de smartphones crescerão 1% e permanecerão estáveis, respectivamente. O mercado americano será desproporcionalmente afetado, com a demanda de PCs prevista para cair. No entanto, a Índia está pronta para se beneficiar à medida que a Apple e a Samsung transferem a produção da China para evitar tarifas americanas. Os fabricantes estão se diversificando da China, fortalecendo o papel da Índia na fabricação de hardware.

Leia mais

A Evolução Impressionante dos Stents: Uma Jornada Pessoal

2024-12-29
A Evolução Impressionante dos Stents: Uma Jornada Pessoal

Dezessete anos após um ataque cardíaco que o levou à implantação de um stent, o autor reflete sobre os notáveis avanços na tecnologia de stents. Ele traça paralelos entre a evolução dos stents — de estruturas metálicas básicas a dispositivos sofisticados com liberação de medicamentos e bioabsorvíveis — e o desenvolvimento de smartphones. O autor explora o impacto dos medicamentos GLP-1 no futuro dos procedimentos com stents e destaca o profundo efeito que essa tecnologia salvadora de vidas teve no cuidado cardiovascular, culminando em uma história pessoal de resiliência e gratidão.

Leia mais
(om.co)

Proposta Safe C++ Abandonada: Comitê C++ Prioriza Perfis

2025-09-14

Há um ano, a proposta Safe C++ visava adicionar um subconjunto seguro ao C++, oferecendo garantias robustas como o Rust, sem quebrar o código C++ existente. No entanto, a proposta foi rejeitada pelo comitê C++ em favor da abordagem de Perfis. Os Perfis definem modos restritos de C++ para garantir propriedades de segurança. É uma solução mais pragmática e fácil de adotar do que o Safe C++, embora possa oferecer garantias de segurança menos abrangentes. Em última análise, é considerado um caminho mais realista para o futuro.

Leia mais
Desenvolvimento Perfis

arXivLabs: Projetos Experimentais com Colaboradores da Comunidade

2025-09-10
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. Indivíduos e 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

Obscura: Uma VPN Construída para Privacidade Real

2025-02-20
Obscura: Uma VPN Construída para Privacidade Real

Carl Dong e sua equipe de especialistas em privacidade apresentam a Obscura, uma VPN projetada para resolver a lacuna entre a privacidade prometida e a privacidade entregue nos serviços de VPN existentes. A equipe possui um forte histórico, incluindo contribuições para o projeto Nix, a biblioteca padrão Go, correções de vulnerabilidades de tokens de segurança de hardware e auditorias de segurança de criptomoedas. A Obscura concentra-se em fornecer privacidade em nível de arquitetura, não apenas promessas, com o objetivo de tornar o acesso à internet seguro e confiável disponível para todos.

Leia mais
Tecnologia

Família Airbus A320 prestes a superar a família Boeing 737 como avião comercial mais entregue

2025-08-18
Família Airbus A320 prestes a superar a família Boeing 737 como avião comercial mais entregue

De acordo com dados da Cirium, a família de jatos de fuselagem estreita Airbus A320 está prestes a superar a família Boeing 737 como o avião comercial mais entregue do mundo. Este marco, quase quatro décadas em desenvolvimento, representa uma vitória significativa para a Airbus em sua competição de longa data com a Boeing. O sucesso do A320 é atribuído à sua tecnologia inovadora fly-by-wire, opções flexíveis de motores e a variante 'neo' eficiente em combustível, enquanto a paralisação do Boeing 737 MAX proporcionou uma oportunidade crucial. Apesar da vantagem inicial da Boeing, as melhorias e inovações contínuas da Airbus impulsionaram o A320 a superar seu rival em número de entregas.

Leia mais
Tecnologia aeroespacial

Gamers se tornam especialistas em cibersegurança acidentalmente

2025-03-02
Gamers se tornam especialistas em cibersegurança acidentalmente

Milhares de entusiastas de videogames estão inadvertidamente desenvolvendo habilidades de cibersegurança por meio de seu hobby. Speedrunners, na busca pelos tempos mais rápidos de conclusão de jogos, exploram falhas que exigem habilidades de engenharia reversa. Eles utilizam ferramentas como IDA Pro e Ghidra, e até mesmo desenvolvem ferramentas personalizadas, para entender a mecânica dos jogos. As falhas que eles encontram — estouros de buffer, uso após liberação, etc. — são surpreendentemente semelhantes a vulnerabilidades de cibersegurança do mundo real. Esses jogadores possuem habilidades valiosas de pesquisa de vulnerabilidades sem perceber o potencial profissional. Este artigo os incentiva a fazer a transição para a indústria de cibersegurança, transformando sua paixão em uma carreira.

Leia mais

Desenvolvedor cria jogo para Game Boy Advance em Zig

2024-12-31

Um desenvolvedor criou um jogo 2048 para Game Boy Advance usando a linguagem de programação emergente Zig. O artigo destaca as vantagens do Zig na programação embarcada, especialmente seu processo de compilação cruzada simplificado, gerenciamento de memória eficiente (incluindo structs compactadas) e poderosa geração de código em tempo de compilação. O autor compara a experiência de desenvolvimento usando C++ versus Zig, observando a facilidade e eficiência do Zig no tratamento do layout de memória peculiar do Game Boy Advance e registradores de hardware. Embora o Zig tenha algumas desvantagens, como suporte limitado a assembly embutido e instruções Thumb, suas numerosas vantagens o tornam uma escolha ideal para desenvolver jogos para consoles retrô.

Leia mais
Desenvolvimento Desenvolvimento Embarcado

O Fim do Suporte a 32 bits no Kernel Linux?

2025-09-02

Na Open Source Summit Europe 2025, Arnd Bergmann, mantenedor do suporte de arquitetura no kernel Linux, fez uma apresentação discutindo a possibilidade de remoção do suporte a sistemas de 32 bits. Embora sistemas desktop e de servidor tenham migrado há muito tempo para 64 bits, um número significativo de dispositivos de 32 bits permanece em sistemas embarcados. Bergmann observou que, embora o kernel ainda esteja adicionando suporte para algumas placas de 32 bits, o número de placas de 64 bits com suporte superou significativamente as de 32 bits. Ele argumentou que a remoção do suporte a 32 bits é um processo gradual, exigindo consideração do suporte de hardware e software existentes e análise do número de usuários para determinar quando remover o suporte para arquiteturas específicas. A apresentação também abordou os desafios e soluções relacionados ao suporte a 32 bits, como suporte de memória alta, o problema do ano 2038 e suporte big-endian. Por fim, Bergmann afirmou que o kernel manterá o suporte para sistemas armv7 por pelo menos mais dez anos, enquanto o suporte para outras arquiteturas de 32 bits provavelmente desaparecerá mais cedo.

Leia mais

Desastre da OceanGate: Quando a responsabilização falha

2025-08-24
Desastre da OceanGate: Quando a responsabilização falha

O relatório de investigação da implosão do submarino OceanGate menciona repetidamente a 'responsabilidade', mas este artigo argumenta que não é uma panacéia. Ele categoriza os problemas em dois tipos: desafios de coordenação e modelos de risco mal calibrados. Nos desafios de coordenação, a responsabilização pode levar a culpar indivíduos enquanto ignora problemas sistêmicos. Com modelos de risco mal calibrados, mesmo com o CEO pilotando o submersible e tendo 'a pele no jogo', uma avaliação de risco incorreta levou ao desastre. O artigo argumenta que as soluções exigem colaboração entre equipes e supervisão de segurança independente, não apenas responsabilidade. A responsabilização pode exacerbar 'dupla vinculação', onde os indivíduos enfrentam pressões conflitantes, levando a riscos de segurança a serem ignorados.

Leia mais
1 2 106 107 108 110 112 113 114 595 596