Tags populares：
Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

Prova do Último Teorema de Fermat: Computadores Enfrentam um Desafio Matemático

2024-12-12

Uma equipe está tentando provar o Último Teorema de Fermat usando Lean, encontrando desafios inesperados no caminho. Em vez de depender da prova original, eles estão usando uma abordagem moderna mais generalizada. Ao formalizar a cohomologia cristalina, descobriram um erro em um lema-chave, levando a uma reavaliação dos fundamentos da teoria. Eles finalmente encontraram uma solução alternativa usando uma prova diferente. Essa experiência destaca erros potenciais na literatura matemática moderna e sublinha a necessidade de provas formalizadas.

Leia mais
(xenaproject.wordpress.com)
Desenvolvimento Último Teorema de Fermat Matemática Formalizada

Peter Solnica, membro da equipe principal do Hanami, anuncia sua aposentadoria

2024-12-12

Peter Solnica, desenvolvedor principal do framework Hanami, anunciou recentemente sua aposentadoria da equipe principal. Após dois anos de reflexão, ele decidiu dedicar mais tempo à sua família e buscar um melhor equilíbrio entre vida profissional e pessoal. Solnica agradeceu a inúmeras pessoas e organizações que impactaram significativamente sua carreira, incluindo Lunar Logic, a equipe DataMapper e os membros da equipe Hanami. Ele afirmou que, embora não mais seja membro da equipe principal, continuará apoiando o desenvolvimento do Hanami e manterá contato com a comunidade. A aposentadoria de Solnica não reflete uma perda de fé no Hanami, mas sim um ajuste pessoal na administração do tempo e prioridades de vida, mudando seu foco para a família e o desenvolvimento Elixir.

Leia mais
(solnic.dev)
Desenvolvimento Código aberto Aposentadoria

Batalha Antipirataria Francesa Escala: Provedor de DNS Quad9 Bloqueia Sites Piratas Globalmente

2024-12-12

Em uma luta crescente contra a pirataria esportiva online, a gigante de mídia francesa Canal+ obteve ordens judiciais obrigando os provedores de DNS Quad9 e Vercara a bloquear o acesso a sites de streaming piratas na França. A Quad9, considerando isso uma aplicação absurda da lei de direitos autorais, planeja recorrer, mas bloqueou globalmente os domínios por enquanto. Essa ação acende um debate global sobre direitos autorais e neutralidade da rede, com a Quad9 buscando apoio público para seu recurso a fim de manter uma internet aberta.

Leia mais
(torrentfreak.com)
Tecnologia direitos autorais neutralidade da rede bloqueio de DNS

BlenderGPT: Modelagem 3D com IA em 20 segundos

2024-12-12

BlenderGPT é um programa de IA avançado que cria modelos 3D a partir de prompts de texto ou imagem em aproximadamente 20 segundos. Ele gera malhas totalmente texturizadas, importáveis diretamente para o Blender por meio de um atalho, ou disponíveis para download para uso em qualquer software compatível. Experimente gratuitamente hoje mesmo!

Leia mais
(www.blendergpt.org)
IA Modelagem 3D

Caçadores do Colorado Doam Caça para Combater a Insegurança Alimentar

2024-12-12

No Colorado, o Meat Cleaver, um processador de carne, faz parceria com caçadores para doar excesso de carne de veado, alce e outras carnes de animais selvagens para bancos de alimentos locais, combatendo a insegurança alimentar. Financiado pela Farmers and Hunters Feeding the Hungry (FHFH), o programa reduz o desperdício e fornece proteínas saudáveis ​​a famílias vulneráveis. Embora atualmente limitado ao Meat Cleaver, o programa doou com sucesso milhares de quilos de carne, recebendo elogios da comunidade. Caçadores participantes, apesar do sistema competitivo de licenças de caça, encontram satisfação em ajudar os necessitados.

Leia mais
(collective.coloradotrust.org)
Diversos bancos de alimentos doação de caça assistência comunitária

Quantus: Plataforma de Trading Quantitativo Revolucionária

2024-12-12

Quantus é uma plataforma de trading quantitativo avançada, projetada para fornecer soluções de trading eficientes e confiáveis para traders profissionais e investidores institucionais. Integra poderosas ferramentas de análise de dados, recursos flexíveis de backtesting e um sistema de execução de baixa latência, permitindo que os usuários capitalizem melhor as oportunidades de mercado e melhorem os retornos de investimento. Com sua tecnologia robusta e interface amigável, Quantus está se tornando rapidamente uma estrela em ascensão no cenário de fintech.

Leia mais
(quantus.finance)
Tecnologia trading quantitativo plataforma de trading

Relatório de Auditoria de Segurança do Aplicativo Mullvad VPN de 2024 Publicado

2024-12-12

A Mullvad VPN divulgou o relatório de sua auditoria de segurança de terceiros de 2024 para seu aplicativo VPN. A auditoria descobriu seis vulnerabilidades, com gravidade variando de baixa a alta, todas as quais foram corrigidas. Três vulnerabilidades de alta gravidade envolveram manipuladores de sinal e vazamento de endereço IP virtual e foram corrigidas na versão mais recente. A auditoria também observou alguns problemas não relacionados à segurança que a Mullvad está trabalhando ativamente para resolver. No geral, o aplicativo Mullvad VPN é considerado altamente seguro, mas os usuários ainda são aconselhados a atualizar para a versão mais recente.

Leia mais
(mullvad.net)
Tecnologia segurança VPN auditoria de segurança correções de vulnerabilidades

Filtros de nomes do ChatGPT causam controvérsia

2024-12-12

O chatbot de IA ChatGPT gerou controvérsia devido a seus filtros de nomes integrados. Esses filtros impedem os usuários de mencionar certos nomes, como Brian Hood, Jonathan Turley e Jonathan Zittrain, causando interrupções no bate-papo. O motivo para filtrar esses nomes decorre de instâncias anteriores em que o ChatGPT gerou incorretamente informações sobre essas pessoas, levando a disputas legais. Embora a OpenAI afirme que a filtragem de "David Mayer" foi uma falha, o incidente destaca os desafios que os LLMs enfrentam no manuseio de informações sensíveis e os problemas potenciais que filtros codificados de forma rígida podem criar.

Leia mais
(arstechnica.com)
IA filtros de nomes

Programador critica provedores OAuth por falhas na API

2024-12-12

Um programador criticou publicamente vários provedores OAuth (GitHub, Facebook, TikTok, Strava, Naver e outros) por inconsistências em suas APIs. Os problemas incluíam códigos de status incorretos, respostas de erro não padrão, nomenclatura de parâmetros inconsistente e formatos de expiração de token com defeito. O autor instou esses provedores a corrigir esses problemas, expressando confusão particular com as escolhas de design do Naver. A postagem também destacou a falta de suporte para autenticação básica HTTP, esclarecendo posteriormente que, embora opcional no OAuth 2.1, a falta de suporte PKCE na maioria dos provedores os torna não conformes a nenhuma das especificações.

Leia mais
(pilcrowonpaper.com)
Desenvolvimento inconsistências de API especificação desenvolvedor falhas na API

Gukesh é coroado o mais jovem campeão mundial de xadrez da história

2024-12-12

Na 14ª rodada do Campeonato Mundial de Xadrez de 2024, o Mestre Internacional indiano de 18 anos, Gukesh D, derrotou o campeão em título, Ding Liren, para se tornar o mais jovem campeão mundial de todos os tempos! Ding usou uma Defesa Grünfeld Reversa, mas Gukesh, com jogadas de abertura precisas e preparação profunda, levou a partida para um final de jogo complexo. Após uma longa luta, Ding cometeu um erro crucial, permitindo que Gukesh capitalizasse e garantisse uma vitória histórica, realizando um sonho de longa data.

Leia mais
(lichess.org)
Jogos xadrez campeão mundial

Jujutsu: Um Sistema de Controle de Versão Revolucionário

2024-12-12

O autor usa diariamente o Jujutsu, um sistema de controle de versão baseado em Git, e o recomenda fortemente. Diferentemente de outras alternativas simplificadas ao Git, o Jujutsu se concentra em melhorar o fluxo de trabalho de usuários avançados, principalmente na simplificação da edição do histórico. O autor relata uma experiência pessoal mostrando a facilidade do Jujutsu em modificar commits anteriores, eliminando comandos Git complexos. Embora o Jujutsu tenha algumas desvantagens, como a falta de suporte para git send-email e a exigência do CLA do Google, o autor ainda o usa diariamente para projetos pessoais.

Leia mais
(drewdevault.com)
Desenvolvimento Controle de Versão
1 2 … 14 15 16 17 18 19 20 22 Next →