IA projeta proteínas para neutralizar veneno de cobra

2025-01-16
IA projeta proteínas para neutralizar veneno de cobra

Pesquisadores, incluindo o ganhador do Nobel David Baker, usaram IA para projetar novas proteínas que inibem certas toxinas de veneno de cobra. Utilizando ferramentas de IA como RFdiffusion e ProteinMPNN, eles criaram proteínas que se ligam a 'toxinas de três dedos' encontradas no veneno de cobra. Os softwares AlphaFold2 e Rosetta previram a força de ligação. Experimentos mostraram que as proteínas projetadas protegeram eficazmente camundongos de neurotoxinas, sugerindo uma nova abordagem para o desenvolvimento de antiveneno. No entanto, inibidores que visam uma toxina diferente que interrompe as membranas celulares se mostraram ineficazes, destacando lacunas em nossa compreensão das interações proteína-membrana.

Leia mais

Semântica de Movimento em Swift: Uma Comparação com C++

2025-01-09

Este artigo examina as semelhanças e diferenças entre a semântica de movimento em Swift e C++. O Swift realiza automaticamente otimizações de movimento, o que é benéfico para o desempenho, mas pode surpreender programadores C++ acostumados ao idioma RAII. Os "tipos não copiáveis" do Swift são semelhantes aos "tipos apenas de movimento" do C++, mas os movimentos do Swift são destrutivos, evitando problemas potenciais com os movimentos "não destrutivos" do C++. O artigo compara o `consume` do Swift com o `std::move` do C++ e explica a redução da duração das variáveis, as convenções de passagem de parâmetros (`consuming`, `borrowing`, `inout`) e a Lei da Exclusividade no Swift. Finalmente, ele discute o uso de tipos não copiáveis para RAII, genéricos e tipos condicionalmente copiáveis em Swift, e por que o Swift não possui encaminhamento perfeito.

Leia mais
Desenvolvimento Semântica de Movimento

Por que abandonei o Clojure pelo Common Lisp

2025-01-12

Após sete anos com Clojure, um programador mudou para Common Lisp devido a frustrações com tempos de inicialização lentos e dificuldades na criação de executáveis nativos. Fatores-chave em sua decisão incluíram a necessidade de executáveis independentes e rápidos, compatibilidade com o Vim, suporte multiplataforma, multithreading robusto e uma comunidade vibrante com um ecossistema rico. O Common Lisp acabou vencendo devido às suas ferramentas maduras, ao poderoso sistema CLOS e Conditions e ao tempo de execução rápido.

Leia mais
Desenvolvimento

Por que as abelhas morrem depois de picar? Uma missão suicida pela colmeia?

2025-01-18
Por que as abelhas morrem depois de picar? Uma missão suicida pela colmeia?

As abelhas morrem após picar porque seus ferrões barbados ficam presos na pele da vítima, rasgando parte de seu abdômen. Isso não é simplesmente um acidente; é uma estratégia evoluída. O ferrão, conectado a um saco de veneno e a uma bomba muscular, continua injetando veneno mesmo depois que a abelha se foi. Isso contrasta com as vespas, cujas picadas não têm farpas, permitindo múltiplas picadas. O artigo explora as razões evolutivas para esse comportamento suicida, aprofundando-se na estrutura social das abelhas, no sistema imunológico, na seleção de grupo e na seleção de parentesco. As abelhas operárias, sendo reprodutivamente estéreis, são descartáveis, e seu sacrifício protege a rainha e a colmeia. O artigo examina ainda a teoria da seleção de parentesco e a haplodiploidia, explicando como a alta relação entre as irmãs operárias promove esse comportamento altruísta. Embora não seja perfeita, a teoria oferece uma explicação convincente para a evolução desse mecanismo de defesa suicida.

Leia mais
Tecnologia abelhas defesa suicida

AT&T promete créditos na conta após grande queda

2025-01-08
AT&T promete créditos na conta após grande queda

Após uma grande queda na rede no ano passado, causada por uma atualização com falhas, a AT&T agora promete créditos diários na conta para futuras quedas. Os créditos se aplicam a quedas de serviço sem fio com duração de pelo menos 60 minutos que afetem 10 ou mais torres de celular e quedas de fibra com duração de pelo menos 20 minutos (usando um gateway fornecido pela AT&T). No entanto, a promessa tem ressalvas, excluindo eventos como desastres naturais ou problemas de terceiros. A AT&T mantém a discrição total sobre a elegibilidade para crédito, gerando preocupações sobre a confiabilidade do serviço e a transparência no tratamento de tais incidentes.

Leia mais

Estrutura KAG: Uma estrutura de raciocínio e recuperação aumentada por conhecimento

2024-12-30
Estrutura KAG: Uma estrutura de raciocínio e recuperação aumentada por conhecimento

KAG é uma estrutura de raciocínio lógico e perguntas e respostas baseada no mecanismo OpenSPG e modelos de linguagem grandes, usada para construir soluções de raciocínio lógico e perguntas e respostas factuais para bases de conhecimento de domínio profissional. Ela supera efetivamente as deficiências do cálculo de similaridade vetorial RAG tradicional, suportando raciocínio lógico e perguntas e respostas factuais de múltiplos saltos, e superando métodos atuais de ponta. Os recursos principais do KAG incluem uma estrutura de indexação mútua de conhecimento e fragmentos, alinhamento de conhecimento usando raciocínio semântico conceitual, construção de conhecimento com restrições de esquema e raciocínio e recuperação híbridos guiados por forma lógica.

Leia mais

Skyvern Browser Agent 2.0: Alcançando o Estado da Arte em Avaliações

2025-01-17
Skyvern Browser Agent 2.0: Alcançando o Estado da Arte em Avaliações

A equipe Skyvern lançou o Skyvern 2.0, um construtor de agente de navegador de código aberto sem código. Com a implementação de um loop de agente planejador-executor-validador, o Skyvern 2.0 atingiu uma pontuação de ponta de 85,85% no benchmark WebVoyager. Esta arquitetura divide instruções complexas em tarefas menores e gerenciáveis, e uma etapa de validação garante a conclusão bem-sucedida. O Skyvern 2.0 consegue lidar com prompts complexos como "Navegue até a Amazon e adicione um iPhone 16, uma capa e um protetor de tela ao carrinho". A equipe também divulgou publicamente os resultados completos da avaliação, demonstrando seu compromisso com o código aberto.

Leia mais
Desenvolvimento automação de navegador

Coccinelle: Uma Ferramenta Poderosa para o Desenvolvimento do Kernel Linux

2024-12-26

Coccinelle é uma ferramenta poderosa para o desenvolvimento do kernel Linux, usada para correspondência de padrões e transformação de texto. Ela permite a aplicação de patches complexos em toda a árvore e detecta padrões de programação problemáticos. Este documento detalha a instalação, o uso, os vários modos (patch, report, context, org) e recursos avançados do Coccinelle, como paralelização, uso de um único patch semântico, controle de arquivos processados, depuração e suporte a .cocciconfig. O Coccinelle utiliza a Linguagem de Patch Semântico (SmPL) e oferece vários modos para gerar patches, relatórios, informações de contexto e relatórios no modo Org, atendendo a diversas necessidades.

Leia mais

Falha na inicialização do Docker Desktop macOS devido a relatórios de malware

2025-01-16

Usuários do Docker Desktop para macOS recentemente enfrentaram problemas de inicialização em que o macOS sinalizou `com.docker.vmnetd` ou `com.docker.socket` como malware. A Docker identificou a causa raiz como arquivos incorretamente assinados em instalações existentes e lançou patches. Os usuários são aconselhados a atualizar para a versão mais recente ou substituir manualmente os arquivos afetados. O problema foi resolvido, mas a Docker continua monitorando para quaisquer outros problemas.

Leia mais
Desenvolvimento

Registros de Mais de 18 Milhões de Veteranos Americanos Falecidos Agora Disponíveis Online

2025-01-13
Registros de Mais de 18 Milhões de Veteranos Americanos Falecidos Agora Disponíveis Online

A organização sem fins lucrativos Reclaim The Records venceu uma ação judicial de anos contra o Departamento de Assuntos de Veteranos dos EUA (VA), obtendo acesso ao banco de dados BIRLS. Este banco de dados, agora disponível gratuitamente online, contém informações biográficas sobre mais de 18 milhões de veteranos americanos falecidos. A pesquisa no banco de dados permite que pesquisadores solicitem arquivos completos de reivindicações de veteranos, potencialmente contendo centenas de páginas de documentos históricos. Embora a maioria dos arquivos permaneça no VA, o BIRLS fornece um índice crucial, auxiliando significativamente a pesquisa histórica e genealógica.

Leia mais

OKRs: Ferramenta ou Armadilha?

2024-12-25
OKRs: Ferramenta ou Armadilha?

Este artigo explora a dualidade dos OKRs (Objetivos e Resultados-Chave). O autor aponta que muitas empresas usam mal os OKRs para avaliações de desempenho, levando as equipes a superenfatizar métricas mensuráveis ​​enquanto negligenciam os objetivos reais e os efeitos externos. O autor usa o exemplo da Alexa para ilustrar como a busca cega por resultados-chave pode ser contraproducente. Em contraste, a Honeycomb usa OKRs como uma ferramenta para comunicação e reflexão, tratando os resultados-chave como pistas para observar o mundo e melhorar o trabalho, em vez de critérios de julgamento finais, evitando assim a distorção de métricas.

Leia mais

Operador de SEO Parasitário Escapa de Penalidades do Google

2024-12-21

Este artigo expõe como o operador de SEO parasitário Finixio/Clickout Media escapou rápida e eficazmente das penalidades do Google. Após uma atualização do algoritmo do Google, vários sites da Finixio/Clickout Media enfrentaram penalidades severas por violar a política de abuso de reputação do site do Google, resultando em queda acentuada de tráfego e classificações. No entanto, por meio do uso inteligente de redirecionamentos e técnicas de ocultação, eles restauraram suas operações em poucos dias e continuaram lucrando com sua rede de sites parasitas. Eles até expandiram suas operações após serem penalizados, aproveitando novos sites e sites de alta autoridade existentes (como o CoinTelegraph) para continuar promovendo jogos de azar e criptomoedas. O artigo detalha suas estratégias, incluindo o uso de geolocalização para ocultar conteúdo e a colocação de conteúdo em vários plataformas. Ele aponta que a causa raiz desse fenômeno é o enfraquecimento da autoridade temática nos algoritmos do Google, tornando a autoridade de domínio o principal fator de classificação.

Leia mais

Alteração incompatível com GRUB2 causa loop de inicialização da configuração da BIOS

2024-12-16
Alteração incompatível com GRUB2 causa loop de inicialização da configuração da BIOS

Os sistemas Debian e Kali Linux do autor experimentaram loops de inicialização após uma atualização do GRUB2 que adicionou o comando `fwsetup --is-supported`. Versões mais antigas do GRUB não reconheceram este parâmetro. O problema surgiu de um módulo `efifwsetup.mod` mais antigo, restante de uma restauração de backup do sistema, causando um conflito entre a nova configuração do GRUB e o módulo antigo. A instalação do pacote `grub-efi-amd64-bin` resolveu o problema. Isso destaca a importância da compatibilidade com versões anteriores em atualizações de software e a necessidade de considerar os possíveis efeitos colaterais ao fazer alterações parciais em softwares complexos como o GRUB2.

Leia mais
Desenvolvimento loop de inicialização

Design de Software é Construção de Conhecimento: Um Estudo de Caso

2025-01-01
Design de Software é Construção de Conhecimento: Um Estudo de Caso

Uma empresa terceirizou seu serviço de integração para um fornecedor SaaS e, posteriormente, decidiu criar um sistema de substituição interno, SVC, devido a preocupações com custos. Uma engenheira altamente qualificada, X10, completou o desenvolvimento do SVC de forma independente. No entanto, as equipes subsequentes lutaram para manter e modificar o sistema, experimentando uma eficiência extremamente baixa. O artigo analisa o motivo: o resultado do desenvolvimento de software não é código, mas a compreensão dos engenheiros do sistema e de sua lógica de negócios — uma 'teoria'. Após a saída de X10, a equipe carecia dessa 'teoria', levando a dificuldades na manutenção do sistema, tornando-o semelhante a uma 'casa mal-assombrada'. O autor argumenta que o design de software deve se concentrar na construção de conhecimento para facilitar a compreensão e a manutenção por equipes subsequentes, evitando a criação de 'sistemas legados'.

Leia mais

Execução Simbólica por Sobrecarga de __bool__

2024-12-24
Execução Simbólica por Sobrecarga de __bool__

Este artigo apresenta uma técnica inteligente para execução simbólica de código Python, sobrecarregando a função __bool__ na biblioteca Python Z3. O autor utiliza as capacidades do Z3 para traduzir instruções condicionais Python em expressões Z3, permitindo a exploração de caminhos e análise de resultados. Esta abordagem ignora a travessia complexa de AST e permite o uso direto em código Python, simplificando a execução simbólica.

Leia mais

As Ambições da Nvidia em IA para Desktop: Trazendo Modelos de Bilhões de Parâmetros para Casa

2025-01-16
As Ambições da Nvidia em IA para Desktop: Trazendo Modelos de Bilhões de Parâmetros para Casa

Na CES, a Nvidia revelou o 'Project Digits', um supercomputador de IA para desktop baseado em sua arquitetura Grace Blackwell. Com preço em torno de US$ 3.000, ele pode executar modelos de IA com 200 bilhões de parâmetros localmente. Isso é visto como uma tentativa da Nvidia de replicar seu sucesso em jogos no mercado de IA para desktop. Embora inicialmente direcionado a cientistas de dados e pesquisadores de IA, seu preço acessível e facilidade de uso (compatível com Windows e Mac) sugerem uma possível expansão para um mercado de consumo mais amplo. O ecossistema de GPU maduro da Nvidia e suas parcerias de hardware ajudarão a construir uma linha de produtos de IA semelhante, mas a maturidade do ecossistema de software será crucial para seu sucesso.

Leia mais
Tecnologia

Sistema o3 da OpenAI atinge pontuação inovadora no benchmark ARC-AGI

2024-12-20
Sistema o3 da OpenAI atinge pontuação inovadora no benchmark ARC-AGI

O novo sistema o3 da OpenAI, treinado no conjunto de treinamento público ARC-AGI-1, atingiu uma pontuação inovadora de 75,7% no conjunto de avaliação semi-privado, superando as limitações anteriores dos modelos de linguagem grandes. Isso representa um avanço significativo nas capacidades de IA, demonstrando uma adaptação a novas tarefas nunca antes vista na família GPT. Embora ainda não tenha atingido a Inteligência Artificial Geral (AGI), o sucesso do o3 destaca a importância da recombinação do conhecimento em tempo de teste e fornece pontos de dados valiosos para a pesquisa contínua de AGI. Ainda existem desafios, pois o o3 ainda falha em algumas tarefas simples, sublinhando as complexidades de alcançar a verdadeira AGI.

Leia mais
IA

Filme interativo gratuito da MSCHF: uma experiência de arte colaborativa

2025-01-13
Filme interativo gratuito da MSCHF: uma experiência de arte colaborativa

A MSCHF lançou um filme interativo gratuito chamado "Free Paint 1.0", permitindo que os usuários criem colaborativamente seus visuais. Funcionando como um desenho colaborativo online massivo, os usuários adicionam e removem imagens por meio de uma ferramenta online, construindo o filme quadro a quadro. Atualmente com 92% de conclusão, o projeto mostra as possibilidades da criação coletiva na era da internet, gerando conversas sobre arte, autoria e direitos autorais.

Leia mais

Redesign do currículo da Khoury na Northeastern: Abandonando os fundamentos?

2025-01-05
Redesign do currículo da Khoury na Northeastern: Abandonando os fundamentos?

A faculdade Khoury de Ciências da Computação da Northeastern University está reformulando seu currículo, eliminando cursos fundamentais como Fundies 1, Fundies 2 e Design Orientado a Objetos. Este artigo de opinião argumenta que essa mudança abandona os princípios básicos da ciência da computação em favor da linguagem Python, atualmente popular, negligenciando o desenvolvimento crucial de habilidades de design de programas sistemáticos. O autor teme que isso reduza a qualidade do ensino, dificultando a produção de desenvolvedores de software competentes e potencialmente prejudicando as perspectivas de longo prazo do programa de ciência da computação da Northeastern.

Leia mais

IA Generativa e Uso Justo: Um Estudo de Caso do ChatGPT

2024-12-14

Este artigo examina se modelos de IA generativa, particularmente o ChatGPT, se qualificam para uso justo de material protegido por direitos autorais. O autor analisa os quatro fatores descritos na Seção 107 da Lei de Direitos Autorais dos EUA: propósito e caráter do uso, natureza da obra protegida por direitos autorais, quantidade e substancialidade da parte usada e efeito no mercado. Através de um estudo de caso do ChatGPT, o autor argumenta que o uso do ChatGPT de seus dados de treinamento provavelmente constitui violação de direitos autorais. A natureza comercial do ChatGPT e sua incapacidade de transformar os dados de treinamento, juntamente com o prejuízo ao mercado de obras originais, contradizem os princípios do uso justo.

Leia mais

Revivendo o Retro: Conectando um Tandy Coco à Internet com o FujiNet

2024-12-20
Revivendo o Retro: Conectando um Tandy Coco à Internet com o FujiNet

Este artigo detalha a jornada do autor ao conectar um antigo computador Tandy Coco à internet usando o projeto FujiNet, uma iniciativa ambiciosa de código aberto que visa ser o único periférico necessário para computadores antigos. O autor enfrentou desafios durante o processo de montagem, incluindo dificuldades de soldagem, bugs de hardware e problemas de compatibilidade de software. Apesar desses obstáculos, ele conseguiu se conectar à internet e executar vários aplicativos, incluindo um rastreador da ISS e jogos. A experiência destaca o dinamismo da comunidade de código aberto e o potencial da retrocomputação, mostrando a diversão do reparo de hardware e do desenvolvimento de software.

Leia mais

Werk: Um sistema de construção multiplataforma simples

2025-01-13

Cansado da complexidade do Make? Simon Ask Ulsnes criou o Werk, um sistema de construção simplificado e um executor de comandos projetado para resolver as deficiências do Make e do Just. O Werk suporta construções multiplataforma, lida com dependências complexas e fornece uma experiência amigável ao usuário. Escrito em Rust e utilizando async/await para gerenciamento eficiente de concorrência, ele evita erros comuns de sincronização. O artigo detalha a filosofia de design do Werk, o uso e a comparação com outras ferramentas de construção, compartilhando a experiência e os insights do autor no desenvolvimento do Werk.

Leia mais
Desenvolvimento

Recurso Digital Ajudando Sobreviventes de Incêndios Florestais a se Recuperar

2025-01-15
Recurso Digital Ajudando Sobreviventes de Incêndios Florestais a se Recuperar

O Sistema de Arquivos de Perda Doméstica, criado por sobreviventes de incêndios florestais na Califórnia, é um recurso digital projetado para apoiar indivíduos que enfrentam o processo desafiador da recuperação de desastres. Esta ferramenta abrangente fornece listas de verificação, ferramentas de organização e recursos essenciais para ajudar a gerenciar reivindicações de seguros, documentar perdas e rastrear despesas. Ele apresenta várias planilhas cobrindo ações imediatas, detalhes de seguros, gerenciamento de inventário, recursos de saúde mental e muito mais. Caixas físicas também estão disponíveis mediante solicitação.

Leia mais

Por que o Linux ainda não está pronto para a área de trabalho

2024-12-30

Este artigo explora as razões profundas pelas quais o Linux ainda não alcançou a adoção generalizada na área de trabalho. O autor destaca vários problemas-chave: compatibilidade de software deficiente entre distribuições, atualizações frequentes levando a bugs e regressões, financiamento insuficiente resultando em qualidade de software inferior, suporte inadequado para drivers de hardware e desafios na comunicação dentro da comunidade Linux. Embora o Linux se destaque em ambientes de servidor, sua presença na área de trabalho permanece prejudicada por esses obstáculos persistentes, dificultando sua capacidade de competir efetivamente com sistemas operacionais estabelecidos como o Windows.

Leia mais
Desenvolvimento compatibilidade de software

Benchmark de LLM: Pelicano em uma Bicicleta

2024-12-16

Simon Willison criou um benchmark único de LLM: gerar uma imagem SVG de um pelicano andando de bicicleta. Esse prompt incomum tinha como objetivo testar as habilidades criativas dos modelos sem depender de dados de treinamento pré-existentes. Ele testou 16 modelos de OpenAI, Anthropic, Google Gemini e Meta (Llama no Cerebras), revelando variações significativas na qualidade dos SVGs gerados. Alguns modelos produziram resultados surpreendentemente bons, enquanto outros tiveram dificuldades.

Leia mais

Compilador Rust: Uma Arquitetura de Compilação Incremental Baseada em Consultas

2024-12-13

Para resolver os problemas de eficiência da compilação tradicional em pipeline, o compilador Rust utiliza uma arquitetura de compilação incremental baseada em consultas. Essa arquitetura divide o processo de compilação em uma série de consultas interdependentes, usando um banco de dados de compilação para armazenar em cache os resultados intermediários. Isso permite recompilar apenas as seções de código necessárias. Semelhante à gestão de dependências de um sistema de construção, isso melhora significativamente a velocidade de compilação, especialmente benéfico em cenários como integração com IDE. Embora introduza complexidade, essa abordagem oferece uma experiência de compilação incremental mais estável e eficiente para Rust em comparação com melhorias graduais em métodos tradicionais, sendo agora o padrão para builds de desenvolvimento.

Leia mais

IA do Adobe Lightroom adiciona Bitcoin à foto

2025-01-12
IA do Adobe Lightroom adiciona Bitcoin à foto

Um fotógrafo usando a ferramenta de remoção de realces de IA do Adobe Lightroom descobriu um erro bizarro: um bitcoin apareceu em sua foto de uma gaivota onde não existia antes. A adição inesperada de um logotipo de criptomoeda à imagem provocou indignação e debate entre os fotógrafos, levantando preocupações sobre a confiabilidade da tecnologia de processamento de imagens de IA.

Leia mais

Roedores argentinos prosperam em oásis de Dubai

2024-12-19
Roedores argentinos prosperam em oásis de Dubai

Uma surpreendente população de maras da Patagônia, roedores parecidos com coelhos da Argentina, estabeleceu-se no oásis de Al Qudra Lakes, nos arredores de Dubai. Esses animais de pernas longas e orelhas grandes agora vagam pela paisagem desértica, tipicamente lar de gazelas. Sua chegada permanece um mistério, possivelmente derivando de animais de estimação escapados dos ricos. Apesar do clima desértico rigoroso, o oásis fornece um habitat adequado, e a falta de predadores naturais permitiu que as maras prosperassem e se reproduzissem por vários anos. A população próspera sugere adaptação e reprodução bem-sucedidas em seu ambiente inesperado.

Leia mais

Criador do Rosetta 2 se junta ao Lean FRO para aprimorar o gerador de código

2024-12-22
Criador do Rosetta 2 se junta ao Lean FRO para aprimorar o gerador de código

Leonardo de Moura, Cientista Aplicada Sênior Principal na AWS e Arquiteto Chefe do Lean FRO (uma organização sem fins lucrativos), anunciou que Cameron Zwarich, o brilhante criador do Rosetta 2 e um desenvolvedor de software excepcional com mais de 15 anos de experiência na Apple especializado em software de sistemas de baixo nível, se juntou à equipe do Lean FRO. Zwarich se concentrará em melhorar o gerador de código do Lean, prometendo um impacto significativo no ecossistema Lean.

Leia mais
Desenvolvimento Gerador de Código

Minha tentativa fracassada de abandonar o Google Agenda para o Proton

2025-01-15
Minha tentativa fracassada de abandonar o Google Agenda para o Proton

O autor tentou migrar do Google Agenda para o Proton como parte de um esforço maior para desvincular sua vida digital do Google. Embora as migrações do navegador, e-mail e unidade tenham sido bem-sucedidas, o calendário se mostrou um obstáculo significativo. O recurso 'Easy Switch' do Proton Calendar, embora aparentemente simples, permitia apenas exportações de calendário somente leitura, impedindo edições de outros aplicativos, como o calendário padrão do iPhone. Tentativas de sincronização via iCalendar também falharam devido à incapacidade de exportar um link de calendário de trabalho privado. Em última análise, o autor retornou ao Google, refletindo sobre a falta de padronização no compartilhamento de calendários entre plataformas.

Leia mais
1 2 539 540 541 543 545 546 547 564 565