Kernel Linux abraça Rust: O fim dos pesadelos de segurança de memória do C?

2025-02-20

Greg KH, mantenedor de longa data do kernel Linux, defende o uso de Rust para reescrever partes do kernel em uma postagem do LKML. Ele argumenta que uma parte significativa dos bugs do kernel decorre de falhas sutis em C, que os recursos de segurança de memória do Rust impediriam efetivamente. Embora uma migração completa para Rust seja irrealista, escrever novos códigos e drivers em Rust reduziria drasticamente os bugs e melhoraria a eficiência do desenvolvimento. Greg insta os desenvolvedores do kernel a abraçarem o Rust para a saúde a longo prazo do projeto Linux.

Leia mais
Desenvolvimento

Nova: Um novo motor JavaScript escrito em Rust

2025-05-29

Nova é um motor JavaScript (ECMAScript) e WebAssembly escrito em Rust, seguindo princípios de design orientados a dados. Atualmente, é apenas um experimento divertido para aprender e provar a viabilidade de tal motor, mas pode muito bem se tornar algo muito maior no futuro. O motor ainda é muito limitado em suas capacidades, passando apenas cerca de 70% do conjunto de testes test262. No entanto, o desenvolvimento está em andamento e estamos melhorando rapidamente o motor. Se você estiver interessado no projeto, consulte o repositório GitHub ou junte-se ao nosso servidor Discord, onde a equipe principal reside e onde discutimos o desenvolvimento.

Leia mais
Desenvolvimento motor JavaScript

IRS torna o Direct File de código aberto: sistema gratuito de declaração de impostos

2025-05-30
IRS torna o Direct File de código aberto: sistema gratuito de declaração de impostos

O IRS tornou o Direct File de código aberto, um serviço gratuito de declaração de impostos online. Ele utiliza uma abordagem baseada em entrevistas, funciona em vários dispositivos (celular, desktop, etc.) e oferece suporte para inglês e espanhol. O Direct File traduz a legislação tributária em perguntas em linguagem simples, gerando formulários de impostos padrão que são enviados ao IRS. Seu núcleo é o Fact Graph, um grafo de conhecimento baseado em Scala que lida com informações incompletas. O Direct File também facilita a declaração de impostos estaduais e locais, permitindo que os usuários importem seus dados de declaração federal para ferramentas de terceiros. Desenvolvido internamente pelo IRS com o apoio do USDS, GSA e outros parceiros, parte do código foi excluída devido a preocupações de privacidade e segurança.

Leia mais
Desenvolvimento

Lentes de contato infravermelhas permitem que as pessoas vejam no escuro

2025-05-23
Lentes de contato infravermelhas permitem que as pessoas vejam no escuro

Cientistas criaram lentes de contato que concedem visão infravermelha a humanos e camundongos. Essas lentes sem energia convertem luz infravermelha em luz visível, permitindo que os usuários vejam luz infravermelha e luz visível simultaneamente. As lentes usam nanopartículas para converter luz infravermelha próxima (800-1600 nm) em espectro visível (400-700 nm), e podem até diferenciar entre vários comprimentos de onda infravermelhos. Embora atualmente limitado a detectar infravermelho de fontes de LED, futuras iterações visam maior sensibilidade e resolução, potencialmente auxiliando pessoas com daltonismo. Testes mostraram percepção infravermelha aprimorada com os olhos fechados devido à melhor penetração da pálpebra de luz infravermelha próxima.

Leia mais

Hopsworks migra de AWS para OVHCloud: Uma transição perfeita

2025-03-14
Hopsworks migra de AWS para OVHCloud: Uma transição perfeita

Hopsworks, uma plataforma open-source para desenvolver e operar sistemas de IA em larga escala, migrou com sucesso da AWS para a OVHCloud. Impulsionada principalmente pelos altos custos de saída da AWS, a migração utilizou Kubernetes e armazenamento compatível com S3, resultando em uma transição quase perfeita para milhares de usuários. A mudança reduziu significativamente os custos operacionais, com os preços competitivos e a boa qualidade do serviço da OVHCloud sendo fatores-chave na decisão.

Leia mais
Tecnologia migração na nuvem

Prova Visual: a² – b² = (a + b)(a – b)

2024-12-15
Prova Visual: a² – b² = (a + b)(a – b)

O blog Futility Closet apresenta uma prova visual da fórmula matemática a² – b² = (a + b)(a – b), citando a perspicaz observação de Sophie Germain: “Diz-se que a álgebra não passa de geometria escrita e a geometria não passa de álgebra diagramática.” A publicação utiliza um diagrama de fácil compreensão para demonstrar a fórmula, destacando a elegância da matemática e a forte relação entre álgebra e geometria.

Leia mais

Crescimento Viral nas Redes Sociais: Fama Passageira ou Sucesso Sustentável?

2025-01-31
Crescimento Viral nas Redes Sociais: Fama Passageira ou Sucesso Sustentável?

Lançamentos de produtos são diferentes na era das mídias sociais. Viralizar pode trazer um grande influxo de usuários, mas esses costumam ser de baixa qualidade e com baixa retenção, os chamados 'curiosos'. O autor argumenta que perseguir o crescimento viral é equivocado; focar em durabilidade, escalabilidade e valor é essencial. Crescimento sustentável vem de usuários de alta qualidade e retenção. Somente produtos que resistem ao teste do tempo e atraem usuários valiosos realmente têm sucesso. Métricas como retenção de coorte a longo prazo, engajamento de usuários ativos e aquisição orgânica devem ser priorizadas em relação a picos virais passageiros.

Leia mais

DeepSeek: Um Cavalo Negro da IA Chinesa Emerge

2025-01-31
DeepSeek: Um Cavalo Negro da IA Chinesa Emerge

A DeepSeek, uma empresa de IA incubada pelo fundo de hedge chinês High-Flyer, tomou o mundo de assalto com seus modelos altamente eficientes, DeepSeek V3 e R1. O DeepSeek V3 possui baixos custos de treinamento (significativamente mais altos do que os divulgados US$ 6 milhões) e desempenho poderoso, juntamente com a inovadora tecnologia Multi-head Latent Attention, resultando em vantagens substanciais nos custos de inferência. Embora o sucesso da DeepSeek esteja ligado ao seu grande investimento em GPUs (cerca de 50.000 GPUs Hopper) e ênfase em talentos, sua estratégia de baixo preço levanta questões sobre a sustentabilidade de custos. O Google Gemini Flash 2.0 Thinking também apresenta um desafio à posição de liderança da DeepSeek. A ascensão da DeepSeek reflete o crescimento da força da tecnologia de IA chinesa, ao mesmo tempo em que promove a reflexão sobre a competição tecnológica internacional e os controles de exportação.

Leia mais

Máquina PCR à prova de adulteração: garantindo resultados científicos verificáveis

2025-03-02
Máquina PCR à prova de adulteração: garantindo resultados científicos verificáveis

Para combater o problema crescente de falsificação de dados na biomedicina, pesquisadores desenvolveram uma máquina PCR verificável. Ao integrar assinatura criptográfica e hardware seguro na máquina PCR, o sistema garante que os resultados experimentais não possam ser alterados após a geração. Usando uma máquina virtual e um ambiente de execução confiável, o software PCR é isolado, impedindo modificações maliciosas. Essa abordagem melhora a confiabilidade dos dados, mesmo para equipamentos mais antigos, representando um passo significativo na construção de um sistema de pesquisa científica verificável.

Leia mais
Tecnologia

Cegueira da Taxa Base: Quando Eventos Raros Nos Surpreendem (e Como a IA Pode Explorar Isso)

2025-01-26

Este ensaio usa os feitos surpreendentes do ladrão de carteiras Apollo Robbins para ilustrar o conceito de 'cegueira da taxa base'. O autor argumenta que subestimamos a probabilidade de eventos raros porque tendemos a ignorar as taxas base - a probabilidade prévia de um evento. Usando anedotas pessoais, como um encontro surpreendente com um alce no Colorado, e a subestimação do mundo acadêmico em relação à decepção, o autor mostra como ignorar as taxas base pode levar a consequências perigosas. O ensaio termina com uma pergunta provocativa: Estamos cegos à taxa base em relação aos riscos potenciais da IA, distraídos pelo hype e apelos para regulamentação?

Leia mais

Biblioteca de funções trigonométricas em Nix puro: abandonando Python para melhor desempenho

2025-04-17
Biblioteca de funções trigonométricas em Nix puro: abandonando Python para melhor desempenho

Para calcular a latência de rede entre seus 17 nós VPS sem testes manuais de ping, o autor tentou aproximar a latência calculando a distância física entre as coordenadas dos nós usando Nix. Como faltavam funções trigonométricas nativas no Nix, ele implementou as funções sin, cos, tan, arctan e sqrt em Nix puro e usou a fórmula de Haversine para calcular as distâncias e latências. Este projeto evita dependências externas como Python, melhorando a eficiência e a reprodutibilidade.

Leia mais
Desenvolvimento Trigonometria

Status do Serviço em Nuvem do Google: Monitoramento Abrangente

2025-06-12

O Google Cloud Platform lançou uma página de monitoramento de status em tempo real para todos os seus serviços. A página lista o status operacional de vários serviços, desde o Compute Engine até o AI Platform. Os usuários podem verificar facilmente a disponibilidade de serviços em várias regiões e multi-regiões. Entre em contato com o suporte se você encontrar um problema não listado aqui. Perguntas frequentes sobre informações e interpretação do status do serviço também estão disponíveis.

Leia mais
Tecnologia Status do Serviço

Zach Attack!: Um jogo de quebra-cabeça de raspadinha nostálgico

2025-06-02

Zach Attack! Scratch 'n Solve Puzzle Pack é uma coleção de seis jogos de raspadinha exclusivos que combinam o raciocínio dedutivo de quebra-cabeças lógicos com a avaliação de risco de jogos de testar a sorte. Inspirado em Scratchees, um produto semelhante da empresa de jogos Decipher dos anos 90 (conhecida por seus jogos de cartas colecionáveis de Star Wars e Star Trek), Zach Attack! oferece uma experiência de jogo nostálgica e envolvente. Prepare-se para raspar e se divertir muito!

Leia mais
Jogos raspadinha

Problema de Conformidade com a Licença MIT do Ollama

2025-05-16
Problema de Conformidade com a Licença MIT do Ollama

O Ollama, um cliente de modelo de linguagem grande de código aberto baseado em llama.cpp, está enfrentando um problema de conformidade de licença. O usuário relata que o aviso de direitos autorais para llama.cpp, exigido pela licença MIT, está faltando nas distribuições binárias do Ollama. Isso exige a adição das informações de direitos autorais apropriadas aos binários para garantir a conformidade com a licença MIT.

Leia mais
Desenvolvimento licença MIT

Arroyo: Um Decodificador JSON incrivelmente rápido baseado em Arrow

2025-03-26
Arroyo: Um Decodificador JSON incrivelmente rápido baseado em Arrow

O motor de processamento de stream Arroyo enfrenta o desafio principal de processar eficientemente grandes fluxos de dados JSON. Este artigo detalha como o Arroyo utiliza o formato de memória colunar Arrow e uma estratégia de decodificação JSON em duas passagens para melhorar drasticamente a velocidade de desserialização JSON. A primeira passagem constrói uma estrutura de dados "fita" achatada, enquanto a segunda passagem constrói matrizes Arrow concorrentemente com base no esquema. Essa abordagem é até 2,3 vezes mais rápida do que os desserializadores baseados em Jackson em benchmarks. Além disso, o Arroyo estende o suporte para JSON bruto e tratamento de dados incorretos, permitindo um processamento mais flexível de dados de streaming do mundo real.

Leia mais
Desenvolvimento decodificação JSON

DEDA: Kit de extração, decodificação e anonimização de pontos de rastreamento

2025-04-01
DEDA: Kit de extração, decodificação e anonimização de pontos de rastreamento

DEDA é um kit de ferramentas de código aberto para extrair, decodificar e anonimizar pontos de rastreamento incorporados em documentos impressos. Impressoras a laser coloridas geralmente deixam pequenos pontos de rastreamento contendo informações como o número de série da impressora. O DEDA pode ler e decodificar essas informações e também anonimizar documentos para evitar rastreamento. Ele oferece uma interface gráfica do usuário e ferramentas de linha de comando para várias operações, incluindo extração de pontos, comparação de impressoras, criação de pontos personalizados e anonimização de digitalizações e documentos. A instalação requer Python 3 e várias dependências; dicas de solução de problemas para erros de instalação comuns são fornecidas.

Leia mais
Desenvolvimento

OpenAI: A Próxima Visa? Desafios e Riscos no Caminho para o Monopólio

2024-12-26
OpenAI: A Próxima Visa? Desafios e Riscos no Caminho para o Monopólio

O artigo compara a OpenAI à Visa, argumentando que seu sucesso não se deve à superioridade tecnológica, mas à criação de barreiras por meio de acordos exclusivos, contratos governamentais e restrições de licenciamento para limitar a concorrência. A OpenAI tenta construir essas barreiras por meio de lobby para regulamentação governamental, restringindo investidores de financiar concorrentes e garantindo contratos exclusivos de longo prazo com grandes clientes. No entanto, essa estratégia enfrenta obstáculos políticos e competitivos. Assim como a Visa enfrentou no passado, a crescente ubiquidade da tecnologia LLM ameaça o negócio principal de APIs. A concorrência de Elon Musk e o relaxamento potencial da regulamentação governamental complicam ainda mais os esforços da OpenAI para manter sua dominância. Em última análise, o futuro da OpenAI depende de sua capacidade de construir barreiras de entrada suficientemente altas, tanto tecnológica quanto legalmente, para evitar a repetição do processo antitruste da Visa.

Leia mais

Credenciais de Sessão Vinculadas a Dispositivos no Chrome 135: Segurança Aprimorada na Web

2025-05-02
Credenciais de Sessão Vinculadas a Dispositivos no Chrome 135: Segurança Aprimorada na Web

O Chrome 135 apresenta as Credenciais de Sessão Vinculadas a Dispositivos (DBSC), um novo recurso projetado para aumentar a segurança de aplicativos web. O DBSC protege as sessões de usuários contra roubo de cookies e sequestro de sessão gerando um par de chaves vinculado ao dispositivo. Mesmo que os cookies sejam roubados, os atacantes não podem acessar as contas de outros dispositivos. Aproveitando o armazenamento com suporte de hardware, como o TPM, e atualizando regularmente cookies de curta duração, o DBSC aprimora significativamente a segurança sem afetar a experiência do usuário. Desenvolvedores podem integrar e testar esse recurso por meio de cabeçalhos HTTP.

Leia mais

Imapsync: Sua solução para migração e backup IMAP

2025-02-12

O Imapsync é uma ferramenta de linha de comando para transferências IMAP incrementais e recursivas entre caixas de correio, em qualquer lugar na internet ou na sua rede local. Ele suporta Windows, Linux e Mac OS X e lida eficientemente com transferências interrompidas. O Imapsync não migra contatos e calendários, mas oferece alternativas e suporte profissional robusto. A partir de €60, inclui uma garantia de devolução do dinheiro de 30 dias. Em 2024, ele processou mais de 200 milhões de transferências de caixa de correio, demonstrando sua potência e extensa base de usuários.

Leia mais
Desenvolvimento migração de email

Expressões estranhas em Rust: levando o sistema de tipos ao limite

2025-06-28
Expressões estranhas em Rust: levando o sistema de tipos ao limite

Este artigo explora algumas expressões extremas e aparentemente paradoxais dentro do poderoso sistema de tipos da linguagem de programação Rust. Ao dissecar exemplos do arquivo de teste `weird-expr.rs`, como o uso criativo de `return true`, loops aninhados e instruções `break`, e uma compreensão profunda de inferência de tipos e coerção, o artigo explica sua validade em Rust. Essas não são falhas, mas sim demonstrações do sistema de tipos flexível e do poder expressivo do Rust, mostrando sua robustez no tratamento de casos extremos.

Leia mais
Desenvolvimento

Administração Trump admite deportação errônea de salvadorenho com status protegido

2025-04-01
Administração Trump admite deportação errônea de salvadorenho com status protegido

O governo Trump admitiu em um documento judicial ter deportado erroneamente Kilmar Abrego Garcia, um pai de Maryland com status legal protegido, para El Salvador. Garcia recebeu "suspensão de remoção" em 2019, indicando alta probabilidade de sofrer danos se repatriado. Apesar do ICE conhecer seu status protegido, um erro administrativo levou à sua deportação. Atualmente detido no sinistro "Centro de Confinamento Antiterrorismo" de El Salvador, o governo alega que o tribunal não tem jurisdição para ordenar seu retorno. Seu advogado argumenta que, se o governo pode deportar qualquer pessoa à vontade sem recurso judicial, as leis de imigração se tornam sem sentido.

Leia mais

A Hipótese da Representação Platônica: Rumo à Inversão Universal de Incorporação e Comunicação com Baleias

2025-07-18
A Hipótese da Representação Platônica: Rumo à Inversão Universal de Incorporação e Comunicação com Baleias

Pesquisadores descobriram que grandes modelos de linguagem convergem para um espaço de representação subjacente compartilhado à medida que crescem, um fenômeno chamado de 'Hipótese da Representação Platônica'. Isso sugere que modelos diferentes aprendem os mesmos recursos, independentemente da arquitetura. O artigo usa o jogo 'Mussolini ou Pão' como uma analogia para explicar essa representação compartilhada e a suporta ainda mais com a teoria da compressão e a capacidade de generalização do modelo. Criticamente, com base nessa hipótese, os pesquisadores desenvolveram o vec2vec, um método para conversão não supervisionada entre espaços de incorporação de modelos diferentes, alcançando uma inversão de incorporação de texto de alta precisão. Aplicações futuras podem envolver a decodificação de textos antigos (como o Linear A) ou a tradução da linguagem das baleias, abrindo novas possibilidades para a compreensão entre línguas e o avanço da IA.

Leia mais

Golpes com clonagem de voz por IA expõem falhas nas regras de evidências

2025-03-11

Um golpe usando clonagem de voz por IA destaca os desafios impostos pela rápida evolução da tecnologia de síntese de voz. Um pai quase foi vítima de um golpista que imitou a voz de seu filho de forma convincente. Este caso expõe as fraquezas nas atuais Regras Federais de Evidências, que permitem a autenticação de gravações de voz baseadas apenas na identificação de testemunhas – um processo agora não confiável devido à sofisticada clonagem de voz por IA. Estudos mostram que as pessoas têm dificuldade em distinguir vozes reais de clones gerados por IA, demonstrando o alto realismo da tecnologia atual. O artigo defende a alteração das regras de evidências para dar aos juízes mais discrição na admissão ou exclusão de evidências de áudio potencialmente fabricadas, adaptando-se à paisagem em evolução da IA.

Leia mais

Motor de Xadrez em 84.688 Expressões Regulares

2025-01-07

Nicholas Carlini criou um motor de xadrez minimax de 2 camadas usando impressionantes 84.688 expressões regulares como um projeto de férias. Ele projetou uma máquina virtual baseada em expressões regulares com um conjunto de instruções sem ramificações, execução condicional e SIMD. Um compilador de execução simbólica traduz código Python em sequências de expressões regulares, permitindo computação paralela. O motor utiliza o SIMD para calcular movimentos para várias peças simultaneamente, com otimizações inteligentes de expressões regulares para velocidade. Embora limitado em profundidade, ele demonstra o surpreendente poder computacional das expressões regulares.

Leia mais

CodeMic: Ferramenta de Geração de Código com IA

2024-12-22

CodeMic é uma ferramenta alimentada por IA que gera código com base em descrições em linguagem natural. Ela produz código de alta qualidade rapidamente, aumentando significativamente a eficiência do desenvolvimento. Tanto programadores experientes quanto iniciantes podem usar o CodeMic com facilidade, permitindo que se concentrem em aspectos mais criativos do trabalho. O CodeMic suporta várias linguagens de programação e aprende e melhora continuamente, fornecendo aos desenvolvedores uma poderosa assistência de código.

Leia mais

Windows 7 SP2 Aprimorado: Uma Experiência Renovada, Mas com Cuidado

2025-03-26
Windows 7 SP2 Aprimorado: Uma Experiência Renovada, Mas com Cuidado

Um projeto chamado Windows 7 Service Pack 2 visa revitalizar sistemas Windows 7 mais antigos com atualizações e melhorias. Ainda em desenvolvimento, ele suporta apenas sistemas de 64 bits e exclui atualizações ESU e drivers de GPU personalizados. A instalação requer atenção cuidadosa; etapas incorretas podem danificar seu sistema. Atualmente, imagens ISO estão disponíveis para instalações limpas, com um instalador no local planejado para mais tarde. A equipe enfatiza o suporte limitado a RAID/Intel RST e nenhum suporte a 32 bits.

Leia mais
Desenvolvimento Sistema de 64 bits

Navegador Lynx: Uma Fuga Baseada em Texto do Estado de Vigilância

2025-02-20
Navegador Lynx: Uma Fuga Baseada em Texto do Estado de Vigilância

Na década de 2020, usar a internet parece uma batalha constante. Para combater a vigilância generalizada, o navegador Lynx — um veterano dos primórdios da World Wide Web — está de volta. Leve e rápido, ele bloqueia rastreadores e anúncios sem extensões. Embora ele exiba apenas texto e não tenha suporte para imagens e vídeos, essa é sua força: é virtualmente impossível de rastrear. Emparelhado com o mecanismo de busca FrogFind, ele simplifica as estruturas das páginas para facilitar a leitura. Aprender algumas teclas de atalho é um pequeno preço a pagar pela verdadeira liberdade online.

Leia mais
Tecnologia

Pedido de SDK para Óculos Meta: Desbloqueando o Potencial dos Desenvolvedores

2025-02-20
Pedido de SDK para Óculos Meta: Desbloqueando o Potencial dos Desenvolvedores

Um desenvolvedor está pedindo à Meta que lance um kit de desenvolvimento de software (SDK) para os óculos Meta. Atualmente com funcionalidades limitadas, o desenvolvedor imagina uma comunidade construída em torno de um SDK, aproveitando uma potencial API de serviço em segundo plano para permitir que aplicativos de terceiros enviem comandos. Isso permitiria comandos de voz como "Hey Meta" para controlar dispositivos domésticos inteligentes, por exemplo. O acesso a um feed de câmera ao vivo, se fornecido pelo SDK, abriria inúmeras possibilidades. Isso aumentaria muito a personalização e a experiência do usuário dos óculos Meta.

Leia mais
Desenvolvimento Óculos Meta

Microsoft cancela contratos de data centers: excesso de capacidade de computação em IA?

2025-02-24
Microsoft cancela contratos de data centers: excesso de capacidade de computação em IA?

A Microsoft Corp. cancelou alguns contratos de locação de capacidade de data center nos EUA, de acordo com a TD Cowen, levantando preocupações sobre um possível superinvestimento em capacidade de computação de IA a longo prazo. Os contratos cancelados representam “algumas centenas de megawatts” — aproximadamente dois data centers — e envolveram acordos com vários operadores privados. Isso, juntamente com uma redução na conversão de declarações de qualificações em contratos formais, sugere um possível reajuste da estratégia de infraestrutura de IA da Microsoft ou uma superestimação da demanda de longo prazo.

Leia mais
Tecnologia

Sistema Tático SDR Portátil com Raspberry Pi

2025-02-16
Sistema Tático SDR Portátil com Raspberry Pi

O criador Media-Grizzly projetou um sistema de rádio definido por software (SDR) portátil baseado em Raspberry Pi chamado D.E.S.E.R.T. Este dispositivo prático funciona como um SDR móvel e, com o toque de um interruptor, pode desabilitar drones próximos. Alimentado por um Raspberry Pi 4B (embora compatível com outros modelos), possui teclado, LED de energia, porta USB, visor LCD e um interruptor 'DE-AUTH' proeminente para interferência de drones (a legalidade varia de acordo com a localização). O código-fonte do sistema ainda não é público, mas está previsto para ser lançado no GitHub.

Leia mais
1 2 386 387 388 390 392 393 394 595 596