Variantes de Sudoku: Jogue e crie quebra-cabeças de Sudoku únicos

2025-01-21
Variantes de Sudoku: Jogue e crie quebra-cabeças de Sudoku únicos

SudokuVariants é uma plataforma online onde os usuários podem jogar e criar várias variantes de Sudoku. O site possui uma ampla seleção de tipos de Sudoku, incluindo Sudoku Killer, Sudoku Arrow e Sudoku Thermo, permitindo que os usuários filtrem e selecionem quebra-cabeças de acordo com suas preferências. Além disso, ele suporta salvar e importar grades de Sudoku para uma jogabilidade conveniente.

Leia mais
Jogos Jogo Online

Fuja da tecnologia barulhenta: A ascensão da certificação Calm Tech

2025-01-21
Fuja da tecnologia barulhenta: A ascensão da certificação Calm Tech

Em meio às distrações constantes da tecnologia moderna, a certificação Calm Tech surge como uma solução. Fundado por Amber Case, o Calm Tech Institute estabeleceu 81 padrões em seis categorias - atenção, periferia, durabilidade, luz, som e materiais - para premiar produtos projetados para foco e distração mínima. Os primeiros dispositivos certificados incluem o tablet reMarkable Paper Pro e o dispositivo doméstico inteligente Mui Board Gen 2, ambos priorizando o design minimalista e a redução de notificações. O Calm Tech Institute planeja pesquisas adicionais e colaboração com neurocientistas para entender melhor as necessidades cognitivas no design de interfaces de usuário.

Leia mais

Números de Táxi Fascinantes: Desvendando um Enigma Matemático

2025-01-21

Este artigo mergulha no enigma matemático dos 'Números de Táxi', que são números formados pelo produto de dois fatores cujos dígitos, excluindo o zero, combinam-se para formar os mesmos dígitos do produto. O artigo apresenta métodos para resolver Números de Táxi com 3 a 9 dígitos, fornecendo a contagem, o mínimo e o máximo valores para cada faixa de dígitos. O autor utiliza um programa Fortran para calcular esses Números de Táxi, analisando as propriedades de suas raízes digitais. O artigo conclui listando alguns resultados e estendendo a exploração para cenários envolvendo três ou mais fatores.

Leia mais
Diversos

CEO da Scale AI alerta: 'A América deve vencer a guerra da IA'

2025-01-21
CEO da Scale AI alerta: 'A América deve vencer a guerra da IA'

O CEO da Scale AI, Alexandr Wang, publicou um anúncio de página inteira no Washington Post, instando o presidente Trump a priorizar a corrida da IA. Ele argumenta que os EUA precisam aumentar os investimentos em IA, mudando o foco de algoritmos para poder computacional e dados. Wang também recomenda simplificar a produção de novas energias e aproveitar as vantagens dos dados governamentais para o desenvolvimento de IA. Ele acredita que a IA criará empregos, mas os EUA precisam apoiar os trabalhadores que se adaptam a novos papéis.

Leia mais
Tecnologia corrida da IA

Foqos: Recupere seu foco com NFC

2025-01-21

Foqos é um aplicativo de foco que utiliza a tecnologia NFC para ajudar os usuários a se manterem concentrados. Crie vários perfis para diferentes cenários (trabalho, estudo, hora de dormir, etc.). Grave esses perfis em tags NFC para ativação instantânea com um único toque - sem necessidade de desbloqueio ou abertura do aplicativo. Foqos é gratuito, privado e de código aberto para sempre. Sem assinaturas, rastreamento ou coleta de dados. Apenas foco puro.

Leia mais
Desenvolvimento aplicativo de foco

Startup de Peixes Indenígena EFishery Presuntamente Falsificou a Maioria de Suas Vendas

2025-01-21
Startup de Peixes Indenígena EFishery Presuntamente Falsificou a Maioria de Suas Vendas

A EFishery Pte, uma das startups mais proeminentes da Indonésia, pode ter inflado sua receita e lucro ao longo de vários anos, de acordo com uma investigação interna desencadeada por uma denúncia de um denunciante sobre a contabilidade da empresa. Uma investigação preliminar em andamento na startup de agrotecnologia, apoiada por investidores incluindo a SoftBank Group Corp. e a Temasek Holdings Pte, estima que a administração inflou a receita em quase US$ 600 milhões nos nove meses até setembro do ano passado, de acordo com um relatório preliminar de 52 páginas circulado entre investidores e revisado pela Bloomberg News. Isso significaria que mais de 75% dos números relatados eram falsos, disse o relatório. A EFishery, que implanta alimentadores para criadores de peixes e camarões na Indonésia, era uma queridinha do cenário de startups do país e obteve uma avaliação de US$ 1,4 bilhão quando a G42, uma empresa de IA controlada pelo xeque Tahnoon bin Zayed Al Nahyan, dos Emirados Árabes Unidos, apoiou sua última rodada de financiamento. Ela arrecadou centenas de milhões de dólares em uma tentativa de modernizar a indústria pesqueira do país, fornecendo aos agricultores dispositivos de alimentação inteligentes, bem como ração, e depois comprando seus produtos para vendê-los no mercado mais amplo. Os investidores foram inicialmente atraídos por sua rentabilidade em um momento em que demissões, renúncias de CEOs e avaliações em queda no setor de tecnologia dominavam as manchetes. Ela apresentou um lucro de US$ 16 milhões para os primeiros nove meses de 2024 aos investidores, mas a investigação encomendada pela diretoria alega que a empresa gerou, na verdade, um prejuízo de US$ 35,4 milhões. A receita para o período foi estimada em US$ 157 milhões, em vez dos US$ 752 milhões que os investidores foram informados, de acordo com o relatório. A administração também inflou os números de receita e lucro de vários anos anteriores, disse o relatório. O relatório foi iniciado depois que um denunciante contatou um membro do conselho com alegações de que as contas não eram precisas, de acordo com pessoas familiarizadas com o assunto. O conselho então encomendou uma investigação formal em dezembro e demitiu o cofundador e diretor executivo Gibran Huzaifah depois que as inconsistências contábeis foram descobertas, disseram as pessoas. “Estamos totalmente cientes da gravidade da especulação do mercado e levamos este assunto com a máxima seriedade”, disse a eFishery em um comunicado por e-mail. “Permanecemos dedicados a manter os mais altos padrões de governança corporativa e ética em todas as operações da eFishery.” A história continua O relatório, elaborado pela FTI Consulting, está marcado como rascunho e sujeito a alterações posteriores à medida que a investigação prossegue. Baseia-se em mais de 20 entrevistas com funcionários da empresa e revisões de contas e mensagens em WhatsApp, Slack e outros canais, de acordo com o relatório. O relatório preliminar observa que os investigadores ainda não conversaram com os auditores ou revisaram quaisquer documentos de trabalho de auditoria ou outra documentação. Os números provavelmente mudarão ainda mais, com extratos bancários, entrevistas e outras contas ainda a serem encontrados ou concluídos. Huzaifah não respondeu às mensagens em busca de comentários. Temasek e SoftBank se recusaram a comentar, enquanto representantes da FTI e G42 não responderam imediatamente às perguntas. Os acionistas e diretores ficaram surpresos com a escala da alegada fraude, dadas as medidas de proteção que foram implementadas, incluindo verificações de canal e entrevistas de desligamento de funcionários, disse uma das pessoas, que pediu para não ser identificada, pois o assunto é privado. A EFishery havia contratado anteriormente a PricewaterhouseCoopers e a Grant Thornton para auditar os resultados financeiros. As duas empresas de contabilidade não responderam aos pedidos de comentários. As ligações com investidores têm ocorrido desde o início da investigação e a questão principal será o que fazer com os ativos e o caixa restante da empresa, disse uma das pessoas. Embora a eFishery tenha dito que tinha mais de 400.000 alimentadores de peixes em operação em clientes, as investigações iniciais estimam que ela tinha apenas cerca de 24.000. No total, os livros internos mostram perdas retidas em aproximadamente US$ 152 milhões desde sua criação até novembro de 2024. Embora o total de ativos da empresa seja de US$ 220 milhões, isso inclui US$ 63 milhões em contas a receber e US$ 98 milhões em investimentos, de acordo com o relatório. As alegações de fraude podem ser prejudiciais para o cenário de startups da Indonésia e ocorrem em um momento crítico, à medida que empresas jovens e investidores no país lutam para levantar novos fundos. A EFishery foi o mais recente unicórnio do país, ou seja, uma startup avaliada em mais de US$ 1 bilhão. --Com assistência de Min Jeong Lee.

Leia mais
Startup

Notebooks Jupyter e LLMs: Uma otimização de custos inesperada

2025-01-21

O autor usou LLMs para assistência de codificação, inicialmente com uma configuração ContinueDev + OpenRouter. Os custos aumentaram inesperadamente. A investigação revelou que arquivos Jupyter Notebook (.ipynb) contêm conteúdo oculto significativo (saídas de código, metadados, imagens codificadas em base64), levando a uma grande contagem de tokens e aumento dos custos de chamada do LLM. A solução foi converter arquivos .ipynb em arquivos .py e remover imagens codificadas em base64. Isso reduziu os custos em 94% e também a latência. A postagem destaca a importância de uma entrada consciente ao usar LLMs e recomenda verificar os custos regularmente.

Leia mais
Desenvolvimento Otimização de Custos

Gartner alerta: Migrações em larga escala do VMware serão longas, caras e arriscadas

2025-01-21
Gartner alerta: Migrações em larga escala do VMware serão longas, caras e arriscadas

Um novo relatório da Gartner alerta que migrar do VMware para plataformas de virtualização alternativas será um projeto longo, caro e arriscado. Para organizações com mais de 2.000 VMs, as migrações podem levar de 18 a 48 meses, com custos por VM variando de US$ 300 a US$ 3.000. O relatório destaca a complexidade decorrente da profunda integração do VMware além da virtualização, abrangendo redes, armazenamento e ferramentas de gerenciamento. Muitos usuários do VMware ainda não começaram o planejamento da migração; a Gartner aconselha começar cedo para evitar possíveis aumentos de preços da Broadcom. Existem alternativas de fornecedores como Red Hat e Oracle, mas a migração ainda exige um planejamento e testes extensivos.

Leia mais
Tecnologia Migração VMware

Guiado pela beleza de nossa suíte de testes: Uma história de Rust, Uxn e rigor de engenharia

2025-01-21

No verão passado, o autor lançou o Raven, uma implementação independente da CPU Uxn e do orquestrador Varavara. Recentemente, para melhorar a estabilidade e o desempenho, o autor construiu uma infraestrutura de teste robusta, incluindo CI do GitHub Actions, teste de instantâneos, prevenção estática de pânico e fuzzing. Esta postagem detalha os desafios e soluções encontrados durante a construção desses testes, como problemas com a confiabilidade dos executores do Windows e ARM do GitHub Actions e armadilhas na prova estática da ausência de pânico e no fuzzing. O autor melhorou com sucesso o desempenho e a confiabilidade do Raven, garantindo a portabilidade entre plataformas. A jornada destaca o poder do Rust, cargo-fuzz e até mesmo (suspiro) GitHub Actions na criação de sistemas robustos e corretos.

Leia mais
Desenvolvimento Máquina Virtual Testes

Cristãos Devem Usar IA para Apolética? Preocupações de um Desenvolvedor de Software

2025-01-21

Um desenvolvedor de software levanta preocupações sobre o uso de IA e Modelos de Linguagem Grandes (LLMs) para apologética cristã. Ele argumenta que os LLMs são fundamentalmente "geradores de besteiras", capazes de produzir resultados verdadeiros, mas não projetados para priorizar a verdade, tornando-os propensos à fabricação de informações. O uso de LLMs na apologética corre o risco de espalhar falsidades e prejudicar a credibilidade do cristianismo. O autor sugere focar na criação de mecanismos de busca poderosos para melhorar o acesso aos recursos existentes em vez de depender de LLMs.

Leia mais
Diversos Apolética

Primos memoráveis: A busca por números especiais

2025-01-21
Primos memoráveis: A busca por números especiais

Matemáticos são fascinados pela busca por números primos especiais, como primos palíndromos e primos Smarandache. O artigo relata anedotas sobre números primos e a busca por 'primos memoráveis', como 12345678910987654321. O engenheiro indiano Shyam Sunder Gupta descobriu um primo palíndromo massivo com 17.350 dígitos, desencadeando uma busca mais ampla. Embora esses primos não ofereçam aplicações matemáticas imediatas, suas propriedades únicas e a própria busca são cativantes, atraindo numerosos entusiastas da matemática.

Leia mais
Diversos

Pica: O Catalisador de IA Autônoma de Código Aberto

2025-01-21

Pica é um ambicioso projeto de código aberto que visa construir um sistema de IA totalmente autônomo. Diferentemente dos modelos de IA existentes, treinados para tarefas específicas, a Pica busca uma IA de propósito geral capaz de aprender e se adaptar a várias tarefas. Seu design modular permite que pesquisadores e desenvolvedores contribuam e melhorem seus componentes. O sucesso da Pica pode revolucionar a IA, potencialmente levando a sistemas de IA mais poderosos, flexíveis e gerais, abrindo novas possibilidades em diversas aplicações, ao mesmo tempo em que apresenta novos desafios e considerações éticas.

Leia mais

Maximizando as Instalações de Pacotes Alpine: Um Desafio NP-Difícil

2025-01-21

Este artigo descreve um experimento para determinar o número máximo de pacotes Alpine Linux que podem ser instalados simultaneamente. O autor analisou os arquivos APKINDEX do Alpine, extraindo as dependências, conflitos e relações de fornecimento dos pacotes. Esses foram traduzidos em restrições para um solucionador PuLP. O experimento instalou com sucesso 98,5% dos pacotes do repositório principal e 97,8% do repositório principal + comunidade. Isso demonstra a otimização algorítmica da instalação de pacotes, oferecendo insights sobre a construção de imagens de contêiner mais enxutas.

Leia mais

Ataque de desanonimização de 0 cliques que afeta Signal, Discord e centenas de plataformas

2025-01-21
Ataque de desanonimização de 0 cliques que afeta Signal, Discord e centenas de plataformas

Um estudante do ensino médio de 15 anos, Daniel, descobriu um ataque de desanonimização de 0 cliques que explora o mecanismo de cache do Cloudflare. Essa vulnerabilidade permite que atacantes pinpointem a localização de usuários em um raio de 250 milhas enviando uma carga maliciosa para aplicativos vulneráveis como Signal, Discord e centenas de outros. O ataque não requer interação do usuário e pode até ser realizado por meio de notificações push. Daniel desenvolveu uma ferramenta, Cloudflare Teleport, para demonstrar a exploração. Embora ele tenha divulgado a vulnerabilidade de forma responsável, as respostas das empresas afetadas foram em grande parte insatisfatórias. Isso destaca os riscos de segurança potenciais inerentes ao cache de CDN e sublinha a importância da conscientização sobre a privacidade do usuário.

Leia mais
Tecnologia vulnerabilidade

Brendan Carr assume a presidência da FCC: Tempestade de regulamentação de tecnologia se aproxima?

2025-01-21
Brendan Carr assume a presidência da FCC: Tempestade de regulamentação de tecnologia se aproxima?

A ascensão de Brendan Carr à presidência da FCC sinaliza mudanças regulatórias significativas para os setores de tecnologia e mídia. Seu envolvimento no Projeto 2025, propondo limitações à imunidade da Seção 230 para empresas de tecnologia e divulgação de prioridades de conteúdo, prenuncia um ambiente regulatório mais rigoroso. Ele também planeja usar o poder da FCC para revogar licenças de espectro para redes que violem a regra do tempo igual. No entanto, a mudança de postura de Trump sobre o TikTok complica a abordagem de Carr às ameaças à segurança nacional impostas pelo aplicativo. Seu sucesso depende de obter o apoio de outros comissários republicanos.

Leia mais

A pílula amarga da IA vertical: O surgimento da IA horizontal

2025-01-21

Este artigo explora a competição entre aplicativos de IA vertical (IA otimizada para domínios específicos) e aplicativos de IA horizontal (IA mais genérica e escalável). Usando experiência pessoal e a estrutura dos Sete Poderes de Hamilton Helmer, o autor argumenta que, à medida que o desempenho do modelo melhora, os aplicativos de IA vertical lutam para manter uma vantagem competitiva. Exceto por alguns poucos que possuem recursos exclusivos e essenciais, a maioria dos aplicativos de IA vertical será eventualmente superada por IA horizontal superior. A IA horizontal, semelhante a um funcionário remoto, é facilmente integrada, mais barata e melhora continuamente o desempenho por meio de avanços de modelo. O autor usa seu projeto AcademicGPT como um estudo de caso, mostrando como um aplicativo de IA vertical foi superado por modelos de IA horizontal mais gerais.

Leia mais

China Bate o Próprio Recorde de Instalações de Energia Renovável em 2024

2025-01-21
China Bate o Próprio Recorde de Instalações de Energia Renovável em 2024

A China quebrou seu próprio recorde de instalações de energia renovável em 2024, adicionando aproximadamente 277 gigawatts de energia solar e quase 80 gigawatts de energia eólica. Essa conquista representa um marco significativo, permitindo que a China atinja sua meta de energia renovável para 2030 seis anos antes do previsto, contrastando fortemente com a mudança dos EUA para combustíveis fósseis. Apesar de um ano desafiador para o setor solar devido à superoferta, o ritmo de instalação se manteve impressionante. Embora desafios como atualizações de infraestrutura de rede e disponibilidade de terras possam desacelerar o crescimento nos próximos anos, ainda são projetadas adições substanciais para 2025.

Leia mais
Tecnologia energia na China

Amurex: Simplificando a Implantação de LLMs

2025-01-21

Amurex é um projeto de código aberto que visa simplificar a implantação de modelos de linguagem grandes (LLMs). Ele fornece uma estrutura fácil de usar, permitindo que os desenvolvedores integrem LLMs poderosos em seus aplicativos com facilidade, sem a necessidade de conhecimento profundo das tecnologias subjacentes complexas. Encontre o projeto aqui: https://github.com/thepersonalaicompany/amurex. Este projeto reduz a barreira de entrada para aplicativos de IA, acelerando a adoção da tecnologia de IA.

Leia mais

Printercow: Impressão com IA para todos

2025-01-21

O Printercow transforma qualquer impressora térmica em um endpoint de API, permitindo que você imprima qualquer coisa, de recibos a arte gerada por IA, por meio de solicitações HTTP. Suporta várias marcas de impressoras térmicas e oferece 300 impressões gratuitas por mês. A instalação simples via linha de comando ou aplicativo de desktop torna a configuração muito fácil. Se você é um entusiasta imprimindo poemas de IA ou uma empresa lidando com milhares de recibos diariamente, o Printercow se adapta às suas necessidades. Suas configurações flexíveis, recursos robustos e design focado na privacidade o tornam a ponte perfeita entre a IA e o mundo físico.

Leia mais
Tecnologia

O Mistério da Era Dourada: Luigi Mangione, Henry James e o Ato Inexplicável da Violência Política

2025-01-21
O Mistério da Era Dourada: Luigi Mangione, Henry James e o Ato Inexplicável da Violência Política

O assassinato do CEO da United Healthcare, Brian Thompson, por Luigi Mangione, cativou o público, deixando muitas pessoas questionando seus motivos. Este artigo traça paralelos entre o caso e o romance menos conhecido de Henry James, "A Princesa Casamassima", que apresenta um jovem revolucionário carismático lutando com desejos conflitantes de luxo e violência. Tanto o evento da vida real quanto a narrativa fictícia deixam detalhes cruciais envoltos em mistério, alimentando especulações sobre a psicologia por trás da violência política e destacando as limitações do realismo em retratar tais atos.

Leia mais

A Pivotada de US$ 40 Bilhões da Garmin: De GPS para Carro a Rei dos Relógios de Fitness

2025-01-21
A Pivotada de US$ 40 Bilhões da Garmin: De GPS para Carro a Rei dos Relógios de Fitness

A Garmin, pioneira em GPS, enfrentou quase a extinção com a ascensão da Apple e do Google. No entanto, um investimento maciço em P&D permitiu uma mudança dramática, transformando a empresa de uma fabricante de dispositivos de navegação para carros em uma líder em relógios e rastreadores de fitness. O artigo detalha a jornada da Garmin, desde a invenção do GPS e a fundação da Garmin até sua transição da navegação automotiva para o mercado de rastreamento de atividades ao ar livre e de fitness. Seus gastos sustentados em P&D permitiram a sobrevivência e o crescimento em um cenário altamente competitivo, mostrando a importância da inovação contínua e da adaptação.

Leia mais
Tecnologia Transformação

Lições Aprendidas Construindo Aplicativos de LLM

2025-01-21

Esta postagem resume as lições aprendidas na construção de aplicativos usando Modelos de Linguagem Grandes (LLMs). LLMs excel em transformar grandes quantidades de texto em resumos concisos; eles têm dificuldades em gerar mais texto do que a entrada ou em confiar em seus dados pré-treinados para raciocínio complexo. Aplicativos de LLM eficazes devem fornecer ao LLM todas as informações necessárias, permitindo que o LLM execute a condensação de texto. O autor aconselha contra o uso de LLMs para tarefas que exigem conhecimento especializado humano (por exemplo, diagnóstico médico) e enfatiza que os LLMs devem aumentar, não substituir, os trabalhadores humanos. Evite usar LLMs para tarefas que podem ser feitas com código regular.

Leia mais

Corrigindo um Bug Subtil no Comando uname do Apache NuttX RTOS: Variáveis Estáticas Causam Problemas

2025-01-21
Corrigindo um Bug Subtil no Comando uname do Apache NuttX RTOS: Variáveis Estáticas Causam Problemas

Esta publicação detalha a jornada de depuração de um bug aparentemente menor no comando `uname` do Apache NuttX RTOS. O problema inicial: o hash do commit estava faltando na saída. A investigação levou a um caminho tortuoso, envolvendo a inspeção da imagem do kernel, a chamada de `uname` na inicialização do kernel e a desmontagem do aplicativo. O culpado? Uma variável estática corrompida (`g_version`) responsável por armazenar o hash do commit dentro dos aplicativos NuttX. Esse comportamento inesperado destacou a importância da depuração completa em sistemas embarcados, enfatizando que mesmo anomalias menores podem sinalizar problemas mais profundos e graves.

Leia mais
Desenvolvimento correção de bug

Dokploy: Soluções de Implantação Sem Esforço

2025-01-21
Dokploy: Soluções de Implantação Sem Esforço

Dokploy é uma plataforma de implantação multiservidor de código aberto, fácil de usar, projetada para simplificar a implantação e a gestão de aplicativos. Suporta vários métodos de implantação, incluindo Nixpacks, Heroku Buildpacks e Dockerfiles personalizados, e integração nativa com Docker Compose. Recursos incluem gerenciamento avançado de usuários, gerenciamento de banco de dados com backups, acesso à API e CLI e suporte a clusters Docker Swarm. Monitoramento em tempo real, alertas, vários modelos de código aberto e uma comunidade vibrante aprimoram ainda mais suas capacidades. Seja para implantar projetos pequenos ou aplicativos em larga escala, o Dokploy oferece uma solução flexível e eficiente.

Leia mais
Desenvolvimento

Inverno de Startups: A fé do Hacker News no mito das startups congela

2025-01-21
Inverno de Startups: A fé do Hacker News no mito das startups congela

Uma postagem recente no Hacker News destaca uma mudança no sentimento em relação às startups. Enquanto em 2013, fundadores que fracassaram recebiam comentários de apoio, agora histórias semelhantes são recebidas com ceticismo sobre os riscos. Essa mudança é atribuída a: maior visibilidade das consequências negativas (esgotamento, problemas de relacionamento, problemas de saúde mental); altos salários em grandes empresas de tecnologia tornando o incentivo financeiro para startups menos atraente; limitações do modelo de capital de risco se tornando claras; e os frutos de baixo custo da era móvel/web sendo amplamente colhidos. O autor sugere que isso sinaliza um 'Inverno de Startups', potencialmente levando a um ecossistema de startups mais autêntico e sustentável.

Leia mais

Polônia furiosa com restrições dos EUA à exportação de chips de IA

2025-01-21
Polônia furiosa com restrições dos EUA à exportação de chips de IA

A Polônia, um aliado chave dos EUA, está furiosa com as restrições dos EUA à exportação de chips de IA. Essa medida ameaça a ambiciosa expansão militar e o desenvolvimento tecnológico da Polônia. O governo polonês considera a decisão incompreensível e busca soluções junto aos EUA e à UE para proteger seus interesses tecnológicos e de defesa.

Leia mais

Limite da dicotomia de Marte erodida em centenas de quilômetros

2025-01-21
Limite da dicotomia de Marte erodida em centenas de quilômetros

Uma nova pesquisa sugere que o limite icônico da dicotomia de Marte, separando o hemisfério sul mais elevado do hemisfério norte mais baixo, pode ter recuado centenas de quilômetros devido à erosão hídrica. Os pesquisadores analisaram dados do Mars Express e do Mars Reconnaissance Orbiter, descobrindo que milhares de buttes e mesas perto de Mawrth Vallis, situadas no limite da dicotomia, compartilham uma altura semelhante a um planalto de maior altitude próximo, indicando que são vestígios de um planalto maior erodido. Essa erosão maciça sugere um ciclo hídrico ativo no início da história de Marte, consistente com a teoria de um oceano no norte, mas também potencialmente causado por outros processos hidrológicos, como o derretimento de calotas de gelo. A descoberta oferece novas pistas sobre o clima e a evolução geológica precoces de Marte, adicionando evidências para um oceano passado, mas também levantando novas questões.

Leia mais

Tribo Celta da Idade do Ferro Centrada em Mulheres, Revela DNA Antigo

2025-01-21
Tribo Celta da Idade do Ferro Centrada em Mulheres, Revela DNA Antigo

Um estudo inovador usando DNA antigo revelou uma estrutura social surpreendente em uma tribo celta da Idade do Ferro na Grã-Bretanha. Ao contrário das sociedades pré-históricas anteriores, a tribo Durotriges, datada de 100 a.C. a 100 d.C., era centrada em mulheres. A análise do DNA mitocondrial mostrou residência matrilocal, com os homens se mudando para as comunidades de suas esposas. Isso forneceu às mulheres fortes redes de apoio e influência significativa, desafiando os papéis tradicionais de gênero e oferecendo uma nova perspectiva sobre a organização social antiga. As descobertas sugerem um costume matrilocal generalizado na Grã-Bretanha durante a Idade do Ferro.

Leia mais

FOSDEM 2025: Declaração sobre protestos planejados

2025-01-21
FOSDEM 2025: Declaração sobre protestos planejados

Os organizadores do FOSDEM 2025 emitiram um comunicado abordando os protestos planejados contra uma palestra controversa. A declaração esclarece que a inclusão da palestra não foi influenciada por patrocínio; alegações sugerindo o contrário são falsas. O FOSDEM sempre acolheu protestos pacíficos, desde que não interrompam os procedimentos. Os organizadores pedem aos organizadores de protestos que os contactem antecipadamente para garantir que as normas de segurança e incêndio sejam atendidas.

Leia mais
Diversos protesto

Redis UNLINK vs DEL: Uma Imersão Profunda na Mecânica Interna

2025-01-21
Redis UNLINK vs DEL: Uma Imersão Profunda na Mecânica Interna

Os comandos UNLINK e DEL do Redis removem chaves, mas suas implementações internas diferem. O comando DEL remove chaves sincronicamente e libera memória, enquanto o comando UNLINK coloca a remoção em uma fila de fundo para processamento assíncrono. A natureza 'não bloqueante' do UNLINK não é absoluta; ele calcula o custo de remover um objeto: se o custo for inferior a 64, ele remove sincronicamente; caso contrário, assincronicamente. O artigo mergulha no código-fonte do Redis, explicando os detalhes da implementação de UNLINK e DEL, incluindo o cálculo de slot de chave, desvinculação em duas fases e remoção assíncrona, e discute o papel do LAZYFREE_THRESHOLD.

Leia mais
Desenvolvimento
1 2 504 505 506 508 510 511 512 595 596