Linguagens de Programação e Seus Domínios Assassinos

2025-05-18

Um artigo argumenta que cada linguagem de programação precisa de um aplicativo assassino para ter sucesso. O autor propõe um refinamento: em vez de um 'aplicativo assassino', é mais preciso dizer um 'domínio assassino'. Exemplos incluem C para kernels, C++ e Rust para programação de sistemas de baixo nível, Java para aplicativos comerciais e Android, Python para computação científica e aprendizado de máquina, e JavaScript para front-ends da web. A experiência do autor mostra que usar uma linguagem fora de sua área de especialização é significativamente mais difícil e muitas vezes impraticável.

Leia mais
Desenvolvimento domínios aplicações

visionOS 26: A Plataforma de RA da Apple Avança Mais Uma Vez

2025-06-12
visionOS 26: A Plataforma de RA da Apple Avança Mais Uma Vez

O visionOS 26 traz melhorias substanciais ao Apple Vision Pro, melhorando significativamente a experiência do usuário. As atualizações principais incluem Personas Espaciais muito melhoradas, persistência geográfica (salvando as posições de aplicativos e janelas) e suporte a widgets de terceiros. Novos ambientes imersivos (como um ambiente de Júpiter personalizável), um algoritmo de foto para 3D atualizado, recursos de visualização colaborativa e suporte a vídeos de campo de visão ultraamplo também estão incluídos. Embora recursos como suporte a controladores manuais ainda estejam em desenvolvimento, o visionOS 26 demonstra o compromisso contínuo da Apple com o futuro da realidade aumentada, consolidando o potencial de longo prazo do Vision Pro.

Leia mais
Tecnologia realidade aumentada

Modelo o3 do OpenAI encontra zero-day no kernel do Linux

2025-05-22
Modelo o3 do OpenAI encontra zero-day no kernel do Linux

Esta publicação descreve como o autor descobriu uma vulnerabilidade de dia zero (CVE-2025-37899) no kernel do Linux usando o modelo o3 do OpenAI. Ao auditar o ksmbd, o autor utilizou o o3 para analisar o código, identificando com sucesso uma vulnerabilidade de use-after-free no manipulador de comandos SMB 'logoff'. O o3 compreendeu a lógica complexa de conexões concorrentes e compartilhamento de objetos, apontando a falha. Além disso, o o3 redescobriu outra vulnerabilidade, CVE-2025-37778. O autor argumenta que o o3 representa um avanço significativo na capacidade de raciocínio de código, oferecendo aos pesquisadores de vulnerabilidades uma nova ferramenta poderosa para aumentar drasticamente a eficiência.

Leia mais
Desenvolvimento

Crítica do Blu-ray 4K de Sneakers: Um Clássico de Hackers Recebe uma Atualização Impressionante

2025-05-06
Crítica do Blu-ray 4K de Sneakers: Um Clássico de Hackers Recebe uma Atualização Impressionante

O clássico filme de hackers, *Sneakers*, recebe uma restauração 4K e lançamento em Blu-ray pela Kino Lorber! Este lançamento possui uma impressionante atualização visual em 4K, juntamente com uma riqueza de recursos extras, incluindo comentários do diretor e do elenco, um documentário e trailers antigos. O filme segue um grupo de hackers habilidosos que são contratados para roubar um poderoso dispositivo de descriptografia de um brilhante matemático. Embora alguns aspectos possam parecer um pouco desatualizados, as reviravoltas inteligentes do enredo e o humor envolvente permanecem cativantes. Este lançamento em 4K dá nova vida a este clássico thriller tecnológico.

Leia mais

Design modular de PC da Intel: Uma nova abordagem para o lixo eletrônico?

2025-01-23
Design modular de PC da Intel: Uma nova abordagem para o lixo eletrônico?

A Intel propôs um design de PC modular com o objetivo de reduzir o lixo eletrônico simplificando reparos e atualizações. Os designs atuais de PCs são tipicamente monolíticos, levando ao descarte quando um componente falha ou se torna obsoleto. A abordagem da Intel permite a substituição fácil de componentes, estendendo a vida útil do dispositivo. São propostos três designs direcionados a diferentes segmentos de mercado: PC Modular Premium, PC Modular de Entrada/Mainstream e PC Modular para Desktop. Embora PCs modulares não sejam novos, a proposta da Intel aborda diretamente o crescente problema do lixo eletrônico e se alinha com o movimento pelo direito ao reparo. No entanto, a adoção generalizada depende da relação custo-benefício e da aceitação do mercado.

Leia mais

O Segredo do Beat Saber: Movimento Instruído no Design de Jogos VR

2025-05-02
O Segredo do Beat Saber: Movimento Instruído no Design de Jogos VR

O sucesso do Beat Saber não se deve apenas à música e ao ritmo; seu núcleo reside no conceito de design de 'Movimento Instruído'. O artigo argumenta que a pontuação não é baseada em tempo preciso, mas na amplitude e precisão dos movimentos do jogador. Isso não se limita a jogos de música; o jogo de combate VR Until You Fall exemplifica isso, guiando os jogadores por movimentos defensivos e ofensivos específicos para melhorar a imersão e controlar a intensidade do jogo e a sensação do jogador.

Leia mais

PuzzleZilla: Criador de Quebra-Cabeças Online Lançado

2024-12-15

PuzzleZilla é uma nova plataforma online que permite aos usuários criarem quebra-cabeças personalizados a partir de qualquer imagem carregada de seus dispositivos ou da internet. O site oferece uma ampla variedade de quebra-cabeças pré-categorizados, incluindo carros, bebês, cidades, animais, flores, natureza, meninas, paisagens, dinossauros, castelos, filmes, anime, gatos, cães, pinturas, comida e temas de fantasia. Os usuários podem criar e jogar seus quebra-cabeças online facilmente.

Leia mais

A Busca ao Tesouro de Código Aberto do CERN: Quantificando o Impacto de um Gigante Científico

2025-02-06

O CERN, uma força motriz na descoberta científica, tem uma longa história de contribuições de código aberto. Mas como medir seu impacto? O Escritório de Programas de Código Aberto (OSPO) do CERN fez parceria com o Software Heritage (SWH) para iniciar um projeto de 12 meses. Usando o vasto arquivo do SWH, eles pretendem rastrear projetos de software relacionados ao CERN, analisar sua evolução e quantificar sua influência na comunidade global de código aberto. Esta pesquisa não apenas iluminará o legado de código aberto do CERN, mas também fornecerá uma metodologia para outras organizações medirem suas próprias contribuições, oferecendo insights valiosos sobre o papel do código aberto no avanço científico e tecnológico.

Leia mais
Tecnologia

Provando a Correção de Memorização em Lean: Um Estudo de Caso

2025-06-20
Provando a Correção de Memorização em Lean: Um Estudo de Caso

Esta postagem de blog demonstra como resolver um problema de programação dinâmica usando memorização no demonstrador de teoremas Lean e verificar formalmente sua correção. O autor aborda o problema das Moedas de Ouro Bytelandianas, apresentando inicialmente uma solução memorizada usando um HashMap. A dificuldade de provar diretamente sua correção é destacada devido aos desafios em raciocinar sobre invariantes de estrutura de dados. A solução utiliza subtipos e pares dependentes para criar um `PropMap`, uma tabela de memorização que armazena não apenas valores calculados, mas também provas de sua correção. A correção do algoritmo é então provada incrementalmente dentro da própria implementação recursiva, culminando em uma prova de nível superior trivial. Essa abordagem interliga elegantemente código e prova, mostrando uma técnica poderosa para verificar formalmente algoritmos de programação dinâmica.

Leia mais
Desenvolvimento programação dinâmica

Wesley sobre a Escravidão: Uma Consciência do Século XVIII

2025-04-27

Em 1774, John Wesley publicou 'Pensamentos Sobre a Escravidão', uma forte condenação do então desenfreado comércio transatlântico de escravos. O texto descreve vividamente a brutalidade: o sequestro e a captura forçada na África, as condições desumanas durante a viagem e a opressão implacável nas plantações. Wesley, usando relatos em primeira mão extensos, refuta as justificativas para a escravidão, destacando sua violação da justiça natural e da humanidade, e pede o fim do comércio abominável. Este poderoso trabalho permanece uma comovente reflexão do século XVIII sobre a escravidão e um alerta severo para os dias de hoje.

Leia mais

Vulnerabilidade de Escape de VM do VirtualBox: Overflow de Inteiro Leva a Compromisso do Host

2025-05-17
Vulnerabilidade de Escape de VM do VirtualBox: Overflow de Inteiro Leva a Compromisso do Host

Uma vulnerabilidade de overflow de inteiro de alta gravidade na função vmsvga3dSurfaceMipBufferSize do VirtualBox permite que atacantes manipulem uma chamada malloc, alocando 0 bytes enquanto o VirtualBox acompanha um tamanho de buffer maior. Isso leva a primitivas de leitura/escrita linear, escalando para acesso de leitura/escrita arbitrário à memória do host. Uma prova de conceito demonstra a fuga completa da máquina virtual. A exploração envolve disparar uma alocação de superfície com erro, explorar leitura/escrita fora dos limites, alocação de heap arbitrária e, finalmente, obter o controle do RIP para execução de código arbitrário. Uma correção está disponível; os usuários devem atualizar imediatamente.

Leia mais
Tecnologia escape de VM

Negócios de Caixa vs. Negócios de Patrimônio: Uma Distinção Empreendedora Crucial

2025-02-24
Negócios de Caixa vs. Negócios de Patrimônio: Uma Distinção Empreendedora Crucial

O autor compartilha a importância crucial de entender a diferença entre 'negócios de caixa' e 'negócios de patrimônio' no empreendedorismo. Negócios de caixa são como caixas eletrônicos, fornecendo retornos rápidos, mas com potencial de crescimento limitado, enquanto negócios de patrimônio são como plantar uma árvore - retornos iniciais lentos, mas altas recompensas de longo prazo. Usando experiências pessoais, o autor adverte contra a confusão entre os dois, recomendando a construção de um negócio de caixa estável primeiro antes de se concentrar em negócios de patrimônio com potencial de longo prazo. Essa abordagem ajuda a evitar o abandono prematuro de objetivos de longo prazo devido à pressão por retornos imediatos.

Leia mais

Uso excessivo de tomografias computadorizadas pode causar mais de 100.000 casos de câncer nos EUA

2025-04-15

Um novo estudo revela que os 93 milhões de tomografias computadorizadas (TC) realizadas nos EUA em 2023 podem levar a mais de 100.000 casos de câncer, incluindo quase 10.000 em crianças. Isso representa 5% de todos os cânceres nos EUA, equivalente aos cânceres causados pelo álcool. Os pesquisadores pedem a redução de exames de TC desnecessários e a otimização das doses de radiação para mitigar o risco de câncer. Embora as tomografias computadorizadas sejam cruciais para o diagnóstico e tratamento, o uso excessivo aumenta a exposição à radiação e o risco de câncer. O estudo enfatiza a importância de exames de TC clinicamente justificados com ajustes de dose específicos para a idade e o órgão.

Leia mais

Chamadas de função LLM não escalam; orquestração de código é mais simples e eficaz

2025-05-21
Chamadas de função LLM não escalam; orquestração de código é mais simples e eficaz

Alimentar a saída completa das chamadas de ferramentas de volta aos LLMs é caro e lento. Este artigo argumenta que os esquemas de saída, permitindo a recuperação de dados estruturados, permitem que os LLMs orquestrem o processamento por meio de código gerado – uma abordagem mais simples e eficaz. Os métodos tradicionais, onde as saídas das ferramentas são alimentadas de volta ao LLM como mensagens para determinar a próxima etapa, funcionam bem com conjuntos de dados pequenos, mas falham em escala real (por exemplo, grandes blobs JSON de servidores MCP Linear e Intercom). O artigo propõe a execução de código como um método fundamental de processamento de dados, usando variáveis como memória e código para orquestrar várias chamadas de função para processamento de dados escalonável, superando os problemas de custo, velocidade e potencial perda de dados dos LLMs que lidam com grandes conjuntos de dados. Isso requer ambientes de tempo de execução de IA seguros e sem estado, atualmente em desenvolvimento inicial.

Leia mais
Desenvolvimento Orquestração de Código

Priorize os relacionamentos em ambientes de trabalho estressantes

2025-05-13
Priorize os relacionamentos em ambientes de trabalho estressantes

Em um ambiente de trabalho estressante, onde você se sente prestes a explodir ou a pedir demissão a qualquer momento, lembre-se de que todos estão estressados. Deixar o emprego impulsivamente não é sábio; você precisará de referências para o seu próximo emprego. A memória negativa de 'aquele cara' que saiu furioso vai persistir. Portanto, priorize os relacionamentos. Mesmo sob pressão, tenha empatia com os colegas; não deixe o ambiente profissional corromper as conexões humanas.

Leia mais

Vamos depreciar o `git checkout` coletivamente?

2025-01-09
Vamos depreciar o `git checkout` coletivamente?

Este artigo argumenta a favor da depreciação coletiva do comando `git checkout`. O autor afirma que `git checkout` é excessivamente complexo e confuso, especialmente para iniciantes. Ele propõe o uso dos comandos mais claros `git switch` e `git restore` como substitutos. Embora o Git não remova `git checkout`, o autor incentiva uma mudança liderada pela comunidade para alternativas melhores a fim de melhorar a experiência geral do Git e evitar confusões para iniciantes.

Leia mais

Vulnerability-Lookup: Plataforma Colaborativa de Gerenciamento de Vulnerabilidades

2025-02-06
Vulnerability-Lookup: Plataforma Colaborativa de Gerenciamento de Vulnerabilidades

O Vulnerability-Lookup é uma poderosa plataforma de código aberto para correlacionar rapidamente vulnerabilidades de várias fontes, simplificando o processo de divulgação coordenada de vulnerabilidades (CVD). Ele suporta a importação de diversas fontes, incluindo NIST NVD e CISA, e permite que os usuários adicionem observações de vulnerabilidades, comentários e criem pacotes. Sua API e biblioteca Python facilitam a integração com outras ferramentas, permitindo que os desenvolvedores criem facilmente suas próprias ferramentas de observação. O Vulnerability-Lookup é licenciado sob a GNU Affero GPL v3.0 e é desenvolvido pelo CIRCL, Alexandre Dulaunoy, Raphaël Vinot e Cédric Bonhomme.

Leia mais

Segunda vida de um servidor de arquivos de uma década: solução de armazenamento de baixo custo

2024-12-17

Uma empresa ainda está executando em produção uma máquina, um servidor de arquivos com mais de uma década de idade. Embora desatualizado, com um BMC que requer Java para KVM-over-IP, seus 16 compartimentos de disco e portas Ethernet de 10G o tornam ideal para reaproveitamento. Usado como um servidor de armazenamento de baixo custo com disco próprio, ele atende à necessidade de armazenamento de alta capacidade e baixo desempenho, apesar da sua idade e RAM limitada. Isso destaca o valor do reaproveitamento de hardware antigo quando os requisitos se alinham.

Leia mais

C++26 terá Reflexão em Tempo de Compilação: Adeus Boilerplate, Olá Alto Desempenho

2025-06-22

Herb Sutter anunciou que o C++26 incluirá reflexão em tempo de compilação, uma mudança significativa para o desenvolvimento em C++. A reflexão em tempo de compilação fornece acesso à estrutura de um programa, permitindo tarefas como enumerar os métodos de uma classe. Isso é particularmente impactante para bibliotecas como simdjson, permitindo conversão de alta velocidade entre estruturas de dados personalizadas e strings JSON sem código redundante. O artigo demonstra a geração de instruções SQL de inserção eficientes usando reflexão em tempo de compilação, reduzindo código redundante e melhorando a reusabilidade e segurança do código. Embora o código possa parecer complexo, os ganhos de desempenho e a simplificação do código são significativos.

Leia mais

O Grande Golpe dos Hubs USB-C: Uma História de Desmontagem

2025-07-18
O Grande Golpe dos Hubs USB-C: Uma História de Desmontagem

O autor comprou três hubs USB-C de marcas diferentes, apenas para descobrir que todos usavam hardware quase idêntico, incluindo o problemático chip de rede Realtek RTL8153, levando a problemas de compatibilidade com macOS. Apesar de grandes diferenças de preço, o custo real era baixo, destacando grandes acréscimos de marca. Um hub até superaquecer perigosamente. Desmontagens revelaram que essas marcas revendiam produtos de baixo custo, levando a um apelo à conscientização do consumidor e à rejeição do exagero de marketing.

Leia mais

Cientistas chineses alcançam avanço em supercondutividade de alta temperatura

2025-02-18
Cientistas chineses alcançam avanço em supercondutividade de alta temperatura

Cientistas da Universidade de Ciência e Tecnologia do Sul (Sustech), na China, observaram supercondutividade de alta temperatura em um filme fino de cristais de óxido de níquel, alcançando condução de eletricidade sem resistência a uma temperatura relativamente alta de 45 Kelvin (-228°C) sem alta pressão. Publicado na Nature, este estudo oferece novas esperanças para a compreensão do mecanismo de supercondutividade de alta temperatura e o design de supercondutores de temperatura ambiente. A descoberta promete tornar tecnologias como ressonância magnética significativamente mais baratas e eficientes. Embora a temperatura crítica dos supercondutores à base de níquel ainda precise de melhorias em comparação com os à base de cobre, a equipe está ativamente explorando maneiras de otimizar o crescimento e a composição do material para aumentar ainda mais sua temperatura crítica.

Leia mais

Henrique Godoy, 20 anos: A Promessa da IA na América Latina

2025-06-12
Henrique Godoy, 20 anos: A Promessa da IA na América Latina

Henrique Godoy, um prodígio brasileiro da matemática de 20 anos, está revolucionando a IA na América Latina. Aos 15 anos, foi o aluno mais jovem a ser admitido no renomado programa de matemática da Universidade de São Paulo. Depois, recebeu uma bolsa substancial para estudar Ciência da Computação, alcançando uma classificação entre os 200 melhores na Olimpíada Brasileira de Matemática das Universidades. Godoy foi pioneiro na primeira implementação bem-sucedida de um Modelo de Linguagem Grande (LLM) na área de bancos de investimento latino-americanos, e fundou a Doki, uma plataforma fintech que administra mais de R$ 10 milhões para profissionais de saúde. Seu trabalho recebeu mais de 500 citações, mostrando suas significativas contribuições para IA e fintech. As conquistas excepcionais de Godoy o posicionam como uma figura líder no futuro da IA.

Leia mais
IA

Rede de malware em larga escala descoberta no GitHub

2025-06-20

A Klarrio descobriu uma grande rede de malware operando no GitHub. A rede utiliza 2.400 repositórios contendo malware e 15.000 contas falsas para promover projetos clonados com avaliações enganosamente altas. Os atacantes usam IA para atualizar constantemente o malware, evitando a detecção. A Klarrio relatou o problema ao GitHub e ao golang.org, incentivando os usuários a bloquear URLs específicas.

Leia mais

Links Mágicos e Passkeys: Um Futuro Sem Senhas?

2025-01-06
Links Mágicos e Passkeys: Um Futuro Sem Senhas?

Este artigo explora a evolução dos métodos de login em sites. Embora links mágicos ofereçam conveniência, sua experiência do usuário costuma ser frustrante. O autor argumenta que Passkeys, o padrão de autenticação de próxima geração, podem se integrar perfeitamente aos links mágicos para fornecer uma experiência de login mais segura e rápida. Passkeys eliminam a necessidade de alternar aplicativos, são significativamente mais rápidos que senhas e links mágicos e se integram perfeitamente ao preenchimento automático. O artigo sugere que os sites adotem Passkeys como complemento, melhorando gradualmente a experiência do usuário e, finalmente, eliminando a dependência de senhas.

Leia mais
Tecnologia Links Mágicos

A Tendência Crescente de Morar Perto dos Amigos

2024-12-27
A Tendência Crescente de Morar Perto dos Amigos

No mundo acelerado de hoje, manter amizades próximas pode ser desafiador. Este artigo explora a crescente tendência de pessoas se mudarem para perto de seus amigos mais próximos. Através de entrevistas com vários indivíduos e famílias, o artigo destaca os benefícios da proximidade, incluindo recursos compartilhados, socialização conveniente e apoio mútuo aos cuidados com as crianças. Esses 'mini-bairros' promovem laços fortes, combatem a solidão e criam ambientes ricos para criar filhos, oferecendo uma alternativa convincente aos aspectos isolados da vida moderna.

Leia mais
Diversos amizade vizinhança

Bad Apple no Vim: 6500 Expressões Regulares e Muita Magia

2025-01-12
Bad Apple no Vim: 6500 Expressões Regulares e Muita Magia

Este post descreve como o autor renderizou o vídeo musical Bad Apple dentro do Vim usando apenas consultas de busca. Cada quadro foi convertido em um array binário de pixels, decomposto em retângulos e representado por uma expressão regular do Vim. O resultado? Um arquivo contendo mais de 6500 expressões regulares, reproduzidas sequencialmente por meio de um macro do Vim para criar a animação. Essa façanha impressionante mostra as capacidades surpreendentes do Vim e a considerável habilidade de programação do autor.

Leia mais
Desenvolvimento Expressão Regular

Design de Software de Informação: O Triunfo dos Gráficos, a Falha da Interação?

2025-06-03

Em seu artigo, Bret Victor questiona os princípios tradicionais de design de software, argumentando que a maior parte do software (software de informação) se concentra na apresentação de informações, e não na interação. Ele defende o design de software de informação baseado no design gráfico, reduzindo a interação do usuário por meio de visualizações inteligentes e reconhecimento de contexto. O artigo utiliza exemplos como horários de trens, livrarias online e listagens de filmes para contrastar os designs interativos tradicionais com abordagens guiadas pelo design gráfico. Propõe métodos de inferência de contexto usando detecção ambiental e dados históricos. Victor faz um apelo para que a indústria de design de software priorize a comunicação visual, revolucionando o design de software de informação para experiências de usuário mais intuitivas e eficientes.

Leia mais
Desenvolvimento Design Gráfico

Transferência de microbiota oral pode mediar depressão e ansiedade em casais

2025-05-25
Transferência de microbiota oral pode mediar depressão e ansiedade em casais

Um estudo com 268 casais recém-casados revela uma possível ligação entre a transferência de microbiota oral e a transmissão de sintomas de depressão e ansiedade. Cônjuges saudáveis de parceiros com insônia, depressão e ansiedade apresentaram piora significativa dessas condições, além de alterações na composição de sua microbiota oral, refletindo a de seus parceiros afetados após seis meses. Isso sugere que o contato próximo facilita a transferência de bactérias orais, potencialmente influenciando a saúde mental em casais.

Leia mais
Tecnologia microbiota oral

Tig: Interface de modo texto para Git

2024-12-17

Tig é uma interface de modo texto baseada em ncurses para Git, funcionando principalmente como um navegador de repositório Git. Também auxilia na preparação de alterações para confirmação em nível de bloco e atua como um paginador para saídas de vários comandos Git. Instruções de instalação, notas de lançamento detalhando novos recursos e correções de bugs, e recursos como a página inicial, manual e seção de perguntas e respostas no Stack Overflow estão prontamente disponíveis. Relatórios de bugs e solicitações de recursos podem ser enviados por meio do rastreador de problemas ou por e-mail.

Leia mais

IA decifra rolo de Herculano de 2000 anos: Revelando o tratado ético de Filodemo

2025-05-11
IA decifra rolo de Herculano de 2000 anos: Revelando o tratado ético de Filodemo

Usando o 'desdobramento virtual' com tecnologia de IA, pesquisadores identificaram pela primeira vez o título e o autor dentro de um rolo selado de Herculano, PHerc. 172. O rolo foi confirmado como *Sobre os Vícios* pelo filósofo grego Filodemo, um tratado ético que oferece orientação sobre como cultivar uma vida virtuosa. Essa descoberta inovadora, alcançada pelo Vesuvius Challenge e pesquisadores da Universidade de Würzburg, rendeu a eles um prêmio de US$ 60.000. Embora o autor e o título estejam claros, o local preciso do rolo na série *Sobre os Vícios* (que se sabe ter pelo menos 10 livros) requer investigação adicional. Essa descoberta oferece insights valiosos sobre as opiniões éticas de Filodemo e o *Sobre os Vícios* completo, mostrando o potencial transformador da IA na pesquisa em humanidades.

Leia mais
1 2 588 589 590 592 594 595 596