Nunca suspenda uma thread em seu próprio processo!

2025-04-15
Nunca suspenda uma thread em seu próprio processo!

Um cliente encontrou um problema de travamento de baixa frequência e longo prazo: sua thread de interface do usuário chamava o kernel e simplesmente travava. O dump do kernel não conseguia mostrar um rastreamento de pilha do modo de usuário porque a pilha havia sido descartada. A investigação revelou uma thread watchdog que periodicamente suspendia a thread da interface do usuário para capturar rastreamentos de pilha, mas desta vez ela travou por mais de cinco horas. A causa raiz: um deadlock. A thread watchdog, tentando obter um rastreamento de pilha, precisava de uma trava de tabela de função, mas a thread da interface do usuário estava suspensa, mantendo a trava. O artigo enfatiza nunca suspender uma thread dentro de seu próprio processo, pois isso aumenta o risco de deadlocks devido à contenção de recursos. Para suspender uma thread e capturar sua pilha, faça-o de outro processo para evitar deadlocks.

Leia mais
Desenvolvimento suspensão de thread

Gemini lança Veo 2: um novo avanço na geração de vídeo com IA

2025-04-15
Gemini lança Veo 2: um novo avanço na geração de vídeo com IA

Usuários avançados do Gemini agora podem gerar e compartilhar vídeos usando o Veo 2, o modelo de geração de vídeo de última geração do Google. Transforme prompts de texto em vídeos dinâmicos, facilmente compartilháveis em plataformas como TikTok e YouTube Shorts. O Veo 2, também acessível através do Whisk do Google Labs, produz vídeos de alta resolução e detalhados com realismo cinematográfico. Basta descrever sua cena e deixar o Gemini dar vida à sua visão.

Leia mais
IA

Recurso de segurança de reinicialização automática do Android lançado silenciosamente

2025-04-15
Recurso de segurança de reinicialização automática do Android lançado silenciosamente

O Google está implementando silenciosamente uma atualização de segurança significativa para todos os dispositivos Android por meio do Play Services 25.14. Essa atualização inclui um recurso que reinicia automaticamente um dispositivo bloqueado após três dias consecutivos de inatividade. Isso melhora a segurança, impedindo o acesso não autorizado. A atualização também traz outras melhorias, como telas de configurações aprimoradas e melhor conectividade com carros e wearables. Lançada em 14 de abril, a atualização pode levar uma semana ou mais para chegar a todos os dispositivos. Essa reinicialização automática reflete a 'Reinicialização por inatividade' da Apple no iOS 18.1, o que gerou preocupações entre as forças policiais devido à maior dificuldade de acesso aos dados.

Leia mais

Triplas de Destino: Um Guia para o Caos do Compilador

2025-04-15
Triplas de Destino: Um Guia para o Caos do Compilador

Este artigo mergulha nas complexidades das triplas de destino do compilador, como x86_64-unknown-linux-gnu. Ele explica os componentes de uma tripla (arquitetura, fornecedor, SO, ABI) e revela as diferenças entre o tratamento do GCC e do LLVM. O artigo detalha as convenções de nomenclatura para várias arquiteturas (x86, ARM, etc.), representação de fornecedor e SO, e enfatiza a importância da consistência para evitar confusão. Por fim, o autor aconselha contra a invenção de novas convenções de triplas de destino ao criar novas cadeias de ferramentas para facilitar a colaboração entre cadeias de ferramentas.

Leia mais
Desenvolvimento triplas de destino

Apple declara Mac mini 2018 e iPhone 6s como produtos antigos

2025-04-15
Apple declara Mac mini 2018 e iPhone 6s como produtos antigos

A Apple atualizou sua lista de produtos antigos, adicionando o Mac mini 2018 e o iPhone 6s. Isso significa que esses dispositivos receberão serviços e reparos mais limitados. O iPhone 6s, lançado inicialmente em 2015, permaneceu uma opção de baixo custo até 2018. O Mac mini 2018 foi o último Mac mini baseado em Intel antes da transição da Apple para o chip Apple silicon. Um produto é considerado "antigo" cinco anos após sua última data de venda e "obsoleto" após sete anos, quando a Apple deixa de fornecer peças e reparos.

Leia mais
Hardware Produtos Antigos

O sonho do trem-bala americano: não se trata apenas de novas linhas

2025-04-15
O sonho do trem-bala americano: não se trata apenas de novas linhas

O desenvolvimento de trens de alta velocidade nos EUA tem sido lento, com novos projetos sendo caros e politicamente desafiadores. No entanto, o artigo sugere que a atualização da infraestrutura ferroviária existente oferece um caminho alternativo para um serviço ferroviário de passageiros mais rápido, particularmente no Nordeste e no Meio-Oeste, onde abundantes linhas ferroviárias mais antigas permanecem subutilizadas.

Leia mais

4chan invadido: Soyjak.Party vaza e-mails de moderadores

2025-04-15
4chan invadido: Soyjak.Party vaza e-mails de moderadores

Em abril de 2025, hackers anônimos, alegando pertencer à comunidade Soyjak.Party, invadiram o fórum 4chan. Eles exploraram código PHP desatualizado e funções MySQL descontinuadas, principalmente vulnerabilidades no script principal yotsuba.php, restaurando o quadro /QA/ excluído e vazando endereços de e-mail de vários moderadores e administradores, incluindo três e-mails .edu. O incidente se espalhou rapidamente pelas redes sociais, gerando discussões sobre segurança de sites e manutenção de código. Alegações sobre vazamento de e-mails .gov circularam, mas ainda não foram verificadas.

Leia mais
Tecnologia

Deportação Injusta: Jovem de 19 anos enviado para superprisão em El Salvador

2025-04-15
Deportação Injusta: Jovem de 19 anos enviado para superprisão em El Salvador

Merwil Gutiérrez, de 19 anos, um solicitante de asilo venezuelano, foi detido em Nova York por agentes da ICE que admitiram que ele não era o alvo, mas o deportaram de qualquer maneira. Ele foi enviado para a notória prisão CECOT em El Salvador, apesar das alegações de sua família de que ele não tinha laços com gangues ou antecedentes criminais. O incidente destaca preocupações sobre os procedimentos da ICE e os direitos humanos em El Salvador, provocando indignação e pedidos por seu retorno. Este caso destaca as duras realidades das políticas de imigração dos EUA e a situação difícil dos solicitantes de asilo.

Leia mais
Diversos

A Geração de Código de IA Substituirá Engenheiros Humanos?

2025-04-15
A Geração de Código de IA Substituirá Engenheiros Humanos?

Este artigo explora a comparação de produtividade entre modelos de geração de código de IA (como o Gemini) e engenheiros humanos. Embora atualmente um único engenheiro possa ser mais eficiente, os custos dos modelos de IA estão diminuindo e suas capacidades estão melhorando. No futuro, um grande número de modelos de IA trabalhando juntos, juntamente com bases de código e ferramentas de desenvolvimento otimizadas para IA, superará em muito as equipes humanas em eficiência. O artigo prevê que a indústria de engenharia de software se moverá para a industrialização, e o papel dos engenheiros mudará para gerenciar e supervisionar a IA como 'supervisores de fábrica'.

Leia mais
IA

Google abandona ccTLDs para busca global

2025-04-15
Google abandona ccTLDs para busca global

O Google está redirecionando todas as suas versões de domínio de nível superior de código de país (ccTLD) (como google.fr, google.co.uk) para Google.com. Essa mudança, que será implementada gradualmente nos próximos meses, se deve à capacidade aprimorada do Google de fornecer resultados de pesquisa localizados globalmente. Embora os usuários não devam experimentar grandes interrupções, eles podem precisar fazer login novamente ou ajustar as configurações de pesquisa. A funcionalidade principal de pesquisa permanece inalterada.

Leia mais
Tecnologia

Startup recebe conta de US$ 7.000 da Vercel: uma história de raspagem de bots de IA

2025-04-15
Startup recebe conta de US$ 7.000 da Vercel: uma história de raspagem de bots de IA

A Metacast, uma startup de podcast, enfrentou uma conta de quase US$ 7.000 da Vercel devido a um aumento no tráfego de bots de IA. Amazonbot, Claudebot e outros bots enviaram 665.000 solicitações em um único dia, raspando milhares de imagens de suas 1,4 milhões de páginas de episódios de podcast. A API de Otimização de Imagens da Vercel, embora tenha tornado o aplicativo rápido, mostrou-se cara. A startup respondeu rapidamente, bloqueando os bots e desabilitando a otimização de imagens para URLs externas, evitando um desastre. Esse incidente serve como um conto de advertência para startups sobre os custos e riscos potenciais da atividade inesperada de bots de IA.

Leia mais
Startup bots de IA

Construindo Autenticação OTP do Zero: Desvendando HOTP e TOTP

2025-04-15
Construindo Autenticação OTP do Zero: Desvendando HOTP e TOTP

Este post mergulha profundamente no funcionamento interno dos algoritmos de Senha de Uso Único (OTP), HOTP e TOTP. Começando com a experiência do autor implementando autenticação no trabalho, ele explica os benefícios de segurança dos OTPs e detalha o processo de geração de OTP baseado em HMAC, incluindo hash de chave, cálculos de timestamp e geração final de código. Um aplicativo de demonstração criado pelo autor também é fornecido para os leitores aprenderem e testarem.

Leia mais
Desenvolvimento

Utilitário de pesquisa ASCII em Ada: Um tutorial completo

2025-04-15

Este artigo detalha a criação de um utilitário de pesquisa ASCII de linha de comando escrito em Ada. O utilitário imprime a tabela ASCII completa ou, dado um valor hexadecimal, binário, octal ou decimal, fornece o código e o nome do caractere ASCII correspondente. O autor guia meticulosamente o leitor pelo processo de desenvolvimento, cobrindo a configuração do ambiente, a implementação do código e o tratamento de erros. Um link para o código fonte completo no GitHub é fornecido. Este artigo é adequado para leitores com alguma experiência em programação e oferece insights valiosos sobre programação Ada e desenvolvimento de ferramentas de linha de comando.

Leia mais
Desenvolvimento

IA Generativa: Uma Espada de Dois Gumes para o Setor de Serviços de TI da Índia

2025-04-15
IA Generativa: Uma Espada de Dois Gumes para o Setor de Serviços de TI da Índia

A IA generativa oferece ganhos significativos de eficiência, mas apresenta um grande desafio para o setor de serviços de TI da Índia. Embora as empresas indianas tenham prosperado atendendo clientes ocidentais, agora enfrentam uma questão crucial: os dividendos de produtividade da IA se traduzirão em crescimento de receita ou a competição intensa levará a reduções de preços que anulam esses ganhos? Análises sugerem que pressões deflacionárias já estão surgindo, com melhorias de eficiência impulsionadas pela IA alimentando a competição de preços e potencialmente desacelerando o crescimento de médio prazo para 4-5%. Embora algumas empresas tenham obtido sucesso com projetos de IA generativa, a IA muitas vezes substitui, em vez de complementar, os gastos existentes em TI. Os clientes estão exigindo e recebendo economias de custos com IA, forçando os provedores de serviços de TI a mudar para modelos de preços baseados em resultados ou valor para capturar o valor gerado pela IA, em vez de apenas permitir ganhos de eficiência mais adiante na cadeia de valor.

Leia mais

Decifrador Lógico de Igualdade UUID: força bruta em AES-256-CBC

2025-04-15
Decifrador Lógico de Igualdade UUID: força bruta em AES-256-CBC

Um kit de ferramentas de descriptografia lógico de campo compacto que força bruta arquivos AES-256-CBC criptografados com UUID usando uma inicialização baseada em igualdade: xy = x / y. Isso demonstra uma busca determinística dentro de espaços de entropia definidos. Uma demonstração gera um arquivo criptografado com UUID com um sufixo estruturado. O `uuid_demobreaker.py` então varre linearmente o espaço UUID, aproveitando a igualdade como uma 'ignição' lógica - não uma heurística - para guiar a busca. O decifrador não adivinha, filtra ou usa atalhos probabilísticos; ele define e explora o espaço de busca diretamente.

Leia mais
Desenvolvimento

O Boom de Robotaxis na China: Regulamentações Estritas, Desenvolvimento Rápido

2025-04-15
O Boom de Robotaxis na China: Regulamentações Estritas, Desenvolvimento Rápido

A indústria de robotaxis na China está crescendo rapidamente, mas sob um regime regulatório estrito. Ao contrário do foco dos EUA na Waymo, a China possui quatro grandes players: Baidu, Pony.AI, WeRide e AutoX. Uma conferência da Ride AI destacou as diferenças na regulamentação e na experiência do usuário. As autoridades chinesas impõem aprovações em várias etapas, de testes com motorista de segurança à operação eventual sem motorista. Isso contrasta fortemente com a abordagem mais relaxada dos EUA. As experiências da YouTuber Sophia Tung ao andar em vários robotaxis revelaram o veículo de 6ª geração da Baidu como o melhor, aproximando-se da qualidade da Waymo, enquanto outros ficaram para trás. Embora experiências individuais ofereçam insights limitados, o progresso dos robotaxis na China é inegável.

Leia mais
Tecnologia

Exibição de Prompts de Arte com IA: De Florestas Encantadas a Dragões Cyberpunk

2025-04-15
Exibição de Prompts de Arte com IA: De Florestas Encantadas a Dragões Cyberpunk

Esta publicação é uma coleção de prompts para gerar arte com IA, abrangendo uma ampla variedade de estilos e assuntos. De florestas encantadoras e deusas reais a retratos fotorrealistas, elementos cyberpunk, criaturas fantásticas e cenas criativas de comida e natureza, esses prompts detalhados oferecem inspiração para entusiastas de arte com IA. Muitos incluem detalhes como fotógrafos, estilos e informações de iluminação para aprimorar o resultado final.

Leia mais
IA

A Senhora Tóxica: Um Mistério Médico que Confunde os Especialistas

2025-04-15
A Senhora Tóxica: Um Mistério Médico que Confunde os Especialistas

Em 1994, Gloria Ramirez, uma paciente com câncer, desencadeou um incidente bizarro no pronto-socorro de um hospital. Vários profissionais de saúde sofreram desmaios, convulsões e outros sintomas após sua chegada, levando ao bloqueio imediato do pronto-socorro. Embora a investigação oficial tenha concluído que foi histeria em massa, vários funcionários sofreram danos significativos nos órgãos, alimentando o ceticismo. Uma teoria sugere que a automedicação de Ramirez com DMSO se transformou em sulfato de dimetila altamente tóxico durante o tratamento, causando o incidente. No entanto, essa teoria carece de provas definitivas, e a morte de Ramirez permanece um mistério, levando à reflexão sobre os sistemas médicos e as explicações científicas.

Leia mais

arXivLabs: Projetos experimentais com colaboradores da comunidade

2025-04-15
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 de 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

Calculadora de Incertezas: Domando a Incerteza em Cálculos Diários

2025-04-15
Calculadora de Incertezas: Domando a Incerteza em Cálculos Diários

Filip Hracek apresenta uma calculadora de incerteza que simplifica o raciocínio estatístico permitindo a entrada de intervalos numéricos (por exemplo, 4~6, representando um intervalo de confiança de 95%). Usando um método de Monte Carlo, a calculadora lida com aritmética básica, potências, raízes e funções trigonométricas, fornecendo distribuições de probabilidade e percentis para uma análise mais abrangente. Ilustrado com exemplos como o processo de tomada de decisão financeira de uma família e a equação de Drake, o artigo mostra sua praticidade, reconhecendo limitações como a computação lenta e uma interface de usuário rudimentar. A calculadora capacita os usuários a tomar decisões informadas apesar das incertezas inerentes.

Leia mais

arXivLabs: Projetos Experimentais com Colaboradores da Comunidade

2025-04-15
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 abraçaram 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

Gerando Criaturas de Floresta Proceduralmente: Uma Jornada Longa e Desafiadora

2025-04-12
Gerando Criaturas de Floresta Proceduralmente: Uma Jornada Longa e Desafiadora

O autor passou anos trabalhando na geração procedural e animação de um grande número de criaturas de floresta para seu jogo, The Big Forest. Inicialmente, ele tentou usar modelos paramétricos simples, mas os resultados foram insatisfatórios. Então, ele mudou para a parametrização manual e usou Análise de Componentes Principais para encontrar parâmetros de nível superior, mas os resultados ainda não eram ideais. Finalmente, ele abandonou as soluções automatizadas e, em vez disso, definiu manualmente parâmetros de nível superior, desenvolvendo ferramentas para auxiliar no ajuste de parâmetros. Para animação, o autor se baseou em pesquisas anteriores, usando uma abordagem cinemática e refinando-a continuamente para alcançar um movimento de criatura mais natural. Todo o processo foi desafiador, mas também agradável, e o autor compartilha suas experiências de tentativa, erro e melhoria.

Leia mais
Jogos

Programação Lógica Completa em Clojure: Clolog

2025-04-15
Programação Lógica Completa em Clojure: Clolog

O projeto Clolog integra a programação lógica completa (Prolog) em/chamávél a partir do Clojure, suportando chamadas para e do Clojure. Inspirado no LogLisp, Lisp Machine Prolog e Allegro Prolog, ele adiciona várias melhorias. A ênfase é em poder expressivo e transparência de execução, suportando prototipagem rápida, desenvolvimento de prova de conceito e raciocínio de loop externo (ainda não é muito rápido). Sintaxe Clojure baseada em Lisp, fornece predicados e operadores embutidos para negação, condicionais, vinculação de variáveis e acesso a valores Clojure.

Leia mais
Desenvolvimento

Bolsas de lona mini da Trader Joe's para a Páscoa: de US$ 2,99 para US$ 2.000 na revenda

2025-04-15
Bolsas de lona mini da Trader Joe's para a Páscoa: de US$ 2,99 para US$ 2.000 na revenda

As bolsas de lona mini em tons pastel da Trader Joe's, lançadas no início deste mês, causaram uma verdadeira febre de compras. Vendidas originalmente por US$ 2,99, essas bolsas de edição limitada estão sendo revendidas por quase US$ 2.000 online. Os compradores chegaram até mesmo a se envolver em discussões físicas para obtê-las, destacando sua imensa popularidade. Esta não é a primeira vez que as bolsas mini da Trader Joe's causam alvoroço; o lançamento do ano passado também gerou uma loucura semelhante, transformando-as em itens de moda cobiçados.

Leia mais
(qz.com)

Visualizador de Log Gigante: Navegue instantaneamente em arquivos de texto de 4 TB

2025-04-15
Visualizador de Log Gigante: Navegue instantaneamente em arquivos de texto de 4 TB

Cansado de esperar para abrir arquivos de log enormes? O `giant-log-viewer` carrega instantaneamente arquivos de texto de até 4 TB com uma pegada de memória minúscula, usando apenas ~80 MB de memória de heap JVM. Ele suporta codificação UTF-8 e ASCII, mas tem limitações: não lida com linhas com mais de 1 MB, emojis ou sistemas sem GUI; atualmente, ele só funciona no Windows, macOS e Linux. Embora não seja tão rico em recursos quanto o `less`, é perfeito para navegar rapidamente em logs gigantes por meio de arrastar e soltar ou atalhos de teclado. O projeto é de código aberto no GitHub, e doações são bem-vindas para ajudar o desenvolvedor a assinar os executáveis.

Leia mais

MCP-Shield: Protegendo seus servidores de Protocolo de Contexto de Modelo

2025-04-15
MCP-Shield: Protegendo seus servidores de Protocolo de Contexto de Modelo

O MCP-Shield é uma ferramenta para escanear e detectar vulnerabilidades em seus servidores MCP (Protocolo de Contexto de Modelo). Ele identifica riscos de segurança como ataques de envenenamento de ferramentas, canais de exfiltração de dados e escalações de origem cruzada. A ferramenta suporta vários métodos de configuração e opcionalmente integra o Claude AI da Anthropic para análise mais aprofundada. Padrões comuns de vulnerabilidade detectados incluem envenenamento de ferramentas com instruções ocultas, shadowing de ferramentas e modificação de comportamento, canais de exfiltração de dados e violações de origem cruzada. Por exemplo, ele pode identificar uma ferramenta de calculadora que secretamente tenta acessar chaves privadas SSH. O MCP-Shield visa ajudar desenvolvedores e auditores de segurança a proteger seus servidores MCP e suporta a verificação antes de adicionar novos servidores, durante auditorias de segurança, durante o desenvolvimento e após as atualizações.

Leia mais

Vazamento de PAT do GitHub: Ampliação da Cadeia de Ataques

2025-04-15
Vazamento de PAT do GitHub: Ampliação da Cadeia de Ataques

Pesquisadores de segurança da Wiz descobriram que atacantes exploraram uma vulnerabilidade em reviewdog/action-setup@v1 para roubar um Token de Acesso Pessoal (PAT) do GitHub, levando a um incidente de segurança maior. Este não foi um incidente isolado; várias outras ações do GitHub mantidas pelo mesmo desenvolvedor, incluindo reviewdog/action-shellcheck, podem ser afetadas. Embora os mantenedores do GitHub e do reviewdog tenham corrigido a vulnerabilidade, a Wiz alerta que, se ações comprometidas permanecerem em uso e os segredos não forem girados, os atacantes ainda poderão explorar "tj-actions/changed-files" para lançar um ataque repetido.

Leia mais

Chroma: Simulando daltonismo para melhorar a acessibilidade em jogos

2025-04-15
Chroma: Simulando daltonismo para melhorar a acessibilidade em jogos

Chroma é uma ferramenta projetada para simular vários tipos de daltonismo, auxiliando desenvolvedores de jogos e equipes de acessibilidade a testar experiências de jogos para usuários daltônicos. Simula três tipos principais: Protanopia, Deuteranopia e Tritanopia, oferecendo alto desempenho, precisão e uma interface fácil de usar. Chroma funciona sobre qualquer jogo, independentemente do mecanismo, fornecendo simulação em tempo real, facilidade de captura de tela e configurações personalizáveis. Um problema conhecido durante a construção do CMake envolve uma biblioteca CPPWinRT desatualizada; recomenda-se o uso do Visual Studio 2022 ou a instalação do pacote NuGet Microsoft.Windows.CppWinRT.

Leia mais
Desenvolvimento simulação de daltonismo

Harvard Rejeita Tentativa do Governo Federal de Controlar a Liberdade Acadêmica

2025-04-14
Harvard Rejeita Tentativa do Governo Federal de Controlar a Liberdade Acadêmica

O presidente da Universidade Harvard, Alan Garber, emitiu uma carta condenando veementemente a tentativa do governo federal de interferir na liberdade acadêmica e na governança interna da universidade sob o pretexto de combater o antissemitismo. As exigências do governo vão além do combate ao antissemitismo, abrangendo o controle direto sobre o ambiente intelectual de Harvard, incluindo a auditoria de pontos de vista e a limitação do poder de indivíduos específicos. Harvard argumenta que essas exigências violam a Primeira Emenda, excedem a autoridade do governo sob o Título VI e se recusa a cumprir, prometendo defender sua independência acadêmica e direitos constitucionais. Harvard reafirma seu compromisso em combater o antissemitismo, mantendo a liberdade acadêmica e a pesquisa aberta.

Leia mais

Navio Chinês 'Meng Xiang' Mirando para o Moho

2025-04-14
Navio Chinês 'Meng Xiang' Mirando para o Moho

O recém-comissionado navio de pesquisa chinês Meng Xiang ('Sonho'), equipado com um sistema de estabilização dinâmica, pode operar em mares agitados e perfurar até 11 quilômetros de profundidade. Usando hastes de perfuração de liga de titânio e brocas de diamante, ele perfurará de forma confiável em ambientes de alta temperatura e alta pressão, com um laboratório flutuante para processamento e análise rápidos de amostras. As primeiras expedições de perfuração científica do navio devem começar no próximo ano, com o objetivo de perfurar em escala total o Moho sob o assoalho oceânico do Pacífico ou do Índico antes de 2030. Isso fornecerá dados sem precedentes sobre a arquitetura da crosta oceânica, a natureza petrológica do Moho oceânico e os limites inferiores da vida na Terra. A colaboração internacional é incentivada para compartilhar os resultados da pesquisa.

Leia mais
1 2 3 5 7 8 9 292 293