JWST detecta possíveis bioassinaturas em exoplaneta K2-18b

2025-04-17
JWST detecta possíveis bioassinaturas em exoplaneta K2-18b

Usando o Telescópio Espacial James Webb, cientistas detectaram sinais de sulfeto de dimetila e dissulfeto de dimetila na atmosfera do exoplaneta K2-18b, produtos químicos produzidos por vida marinha na Terra. Embora não seja uma prova definitiva de vida, os pesquisadores chamam isso do sinal mais promissor até agora de vida além do nosso sistema solar. K2-18b reside na zona habitável, com potencial para água líquida, tornando a vida uma possibilidade. Isso se baseia em pesquisas anteriores que identificaram metano e dióxido de carbono na atmosfera de K2-18b. Embora existam explicações alternativas, os pesquisadores estão animados com a descoberta e planejam investigações adicionais para confirmar suas descobertas.

Leia mais
Tecnologia bioassinatura

Traga de Volta os Feeds RSS Nativos para os Navegadores!

2025-04-17
Traga de Volta os Feeds RSS Nativos para os Navegadores!

A autora sente falta da conveniência do suporte nativo de feeds RSS nos navegadores, onde clicar em um ícone RSS adicionaria uma assinatura aos favoritos do navegador, permitindo fácil acesso a atualizações de notícias. Embora clientes de e-mail como o Thunderbird atualmente ofereçam suporte a RSS, a autora considera isso menos que ideal devido à necessidade de alternar aplicativos. Leitores baseados na web exigem contas, e extensões de navegador são vistas com desconfiança. A autora sente que as alternativas atuais são trabalhosas em comparação com a simplicidade da integração nativa do navegador e defende seu retorno.

Leia mais
Diversos

Além de NP: Um Problema de Complexidade Mais Intuitivo

2025-04-17
Além de NP: Um Problema de Complexidade Mais Intuitivo

O autor questiona o uso do Problema da Parada como o exemplo canônico de um problema mais difícil que NP-completo, argumentando que é confuso e pouco intuitivo. Embora indecidível, a verificação de uma resposta "sim" para o Problema da Parada pode ser feita executando o programa por um número finito de etapas. Uma alternativa mais fácil de entender é apresentada: mover uma peça em uma grade infinita para atingir um ponto alvo. Este problema é PSPACE-completo em dimensões inferiores, mas sua complexidade explode com o aumento das dimensões, eventualmente atingindo a completude de ACKERMANN, demonstrando visualmente uma complexidade muito além dos problemas NP.

Leia mais

Químicos desenvolvem novo método para reaproveitar pneus usados em resinas epóxi valiosas

2025-04-17
Químicos desenvolvem novo método para reaproveitar pneus usados em resinas epóxi valiosas

Milhões de pneus descartados acabam em aterros sanitários a cada ano, criando um problema ambiental significativo. Cientistas da UNC-Chapel Hill desenvolveram um novo método químico usando aminação C-H e rearranjo de polímeros para transformar borracha de resíduos em precursores valiosos para resinas epóxi. Esse processo eficiente e ecologicamente correto opera em condições brandas, oferecendo uma solução potencial para a crise de resíduos de pneus e estabelecendo um precedente para tecnologias de reciclagem mais ecológicas.

Leia mais

LG e Zenapse unem forças para anúncios emocionais impulsionados por IA

2025-04-17
LG e Zenapse unem forças para anúncios emocionais impulsionados por IA

A LG fez parceria com a Zenapse para lançar o ZenVision, um sistema baseado em IA que analisa os dados psicográficos dos telespectadores de TVs inteligentes LG. O ZenVision segmenta os telespectadores em grupos altamente específicos, como "conquistadores orientados a objetivos" e "conectores sociais", permitindo que os anunciantes os segmentem com anúncios emocionalmente inteligentes com base em fatores psicológicos, em vez de apenas dados demográficos. Essa compreensão mais profunda dos telespectadores visa melhorar a eficácia dos anúncios e reflete a estratégia da LG para expandir seus negócios de publicidade em TVs inteligentes, respondendo à crescente necessidade dos anunciantes de marketing emocional e à busca por novas fontes de receita por parte dos operadores de sistemas operacionais de TV.

Leia mais

Sequenciamento de célula única revela remodelação epigenética em tecido adiposo branco de camundongos e humanos obesos

2025-04-17
Sequenciamento de célula única revela remodelação epigenética em tecido adiposo branco de camundongos e humanos obesos

Este estudo utilizou sequenciamento de RNA de célula única (snRNA-seq), CUT&TAG e ATAC-seq para investigar o tecido adiposo branco (WAT) em camundongos e humanos obesos, revelando alterações significativas na paisagem epigenética dos tipos de células WAT durante a perda de peso. Uma parte das alterações na expressão genética persistiu, sugerindo um mecanismo de memória epigenética da obesidade. Os pesquisadores analisaram amostras de três estudos humanos independentes (MTSS, LTSS e NEFA) e um modelo de camundongo com obesidade induzida por dieta. A análise multiômica revelou alterações nos tipos de células WAT e sua associação com a função metabólica.

Leia mais

Formance: Redifinindo a Interação entre Desenvolvedores e Finanças

2025-04-17
Formance: Redifinindo a Interação entre Desenvolvedores e Finanças

A Formance tem a missão de redefinir como os desenvolvedores interagem com o dinheiro como um primitivo de primeira classe e compõem com as finanças. Atualmente oculto em infraestruturas com permissões e travadas por fornecedores, o dinheiro precisa ser reconectado para capacitar empresas focadas em produtos com a capacidade de criar aplicativos financeiros inovadores. Com a plataforma Formance, estamos colocando primitivos agnósticos nas mãos dos engenheiros e suas equipes. Esses primitivos estão disponíveis como pacotes de código aberto e podem ser conectados ao parceiro financeiro de sua escolha. A Formance é nativa global e atende empresas em todo o mundo, 24 horas por dia, para construir e escalar seus aplicativos financeiros.

Leia mais
Desenvolvimento

Por que Frameworks são Malignos: Um Caso para Bibliotecas

2025-04-17
Por que Frameworks são Malignos: Um Caso para Bibliotecas

Este artigo mergulha nos princípios de design de bibliotecas funcionais, focando em composição e evitando callbacks. O autor argumenta que frameworks são difíceis de compor, explorar e testar, e restringem a estrutura do código. Em contraste, bibliotecas oferecem maior controle ao desenvolvedor, encorajam a exploração interativa e suportam múltiplas camadas de abstração. Usando um motor de jogo como exemplo, o artigo demonstra como fluxos de trabalho assíncronos e programação baseada em eventos podem mitigar as desvantagens de callbacks. Exemplos como FsLab ilustram a composição de bibliotecas. Por fim, o autor defende a construção de bibliotecas compostáveis e fáceis de explorar em vez de frameworks rígidos.

Leia mais
Desenvolvimento design de bibliotecas

A impressionante vitória do AlphaGo: um vislumbre do futuro da IA

2025-04-17
A impressionante vitória do AlphaGo: um vislumbre do futuro da IA

A histórica partida entre o AlphaGo, a IA do Google, e Lee Sedol, um dos melhores jogadores de Go do mundo, terminou com a vitória do AlphaGo por 4 a 1. A jogada 37 do AlphaGo na segunda partida foi saudada como um momento de gênio, uma jogada que nenhum humano faria. No entanto, a resposta de Lee Sedol na quarta partida demonstrou o brilho duradouro da intuição humana. Essa partida mostrou não apenas os avanços notáveis ​​na IA, mas também a resiliência e a criatividade da mente humana. A vitória do AlphaGo marca um salto significativo para a IA em jogos complexos, sugerindo um potencial transformador em vários campos, ao mesmo tempo que incentiva a reflexão sobre as implicações éticas do rápido avanço da IA.

Leia mais
IA

Joias escondidas em stdint.h do C: Além de limits.h para definições de tipos inteiros

2025-04-17
Joias escondidas em stdint.h do C: Além de limits.h para definições de tipos inteiros

Esta postagem de blog relata a descoberta inesperada do autor sobre definições de tipos inteiros ao aprender C. Nos primeiros dias do C, o tamanho dos inteiros variava muito em arquiteturas diferentes, levando fornecedores de compiladores a criar definições de tipos personalizadas, como types.h da Microware. Mais tarde, o padrão ANSI C introduziu stdint.h, fornecendo definições de tipos padrão como uint32_t e definições de valores máximos como INT_MAX de limits.h. No entanto, o autor descobriu recentemente que stdint.h também inclui definições como INT8_MAX e UINT32_MAX, que podem ser usadas diretamente para definir os valores máximo e mínimo de tipos inteiros de tamanhos específicos, tornando o código mais portátil e evitando erros causados por diferenças de plataforma.

Leia mais
Desenvolvimento tipos inteiros

Nobel de Química explica: Por que morremos?

2025-04-17
Nobel de Química explica: Por que morremos?

Venkatraman Ramakrishnan, ganhador do Nobel de Química de 2009, aprofunda os mecanismos do envelhecimento e da morte em seu novo livro, Por Que Morremos. Ele revela que a morte não é geneticamente programada, mas uma consequência do foco da evolução na transmissão eficiente de genes. A expectativa de vida não é simplesmente o acúmulo de desgaste celular, mas um equilíbrio entre a alocação de recursos para manter as funções corporais e o reparo versus crescimento, reprodução e criação de filhos. Ramakrishnan compartilhou suas descobertas no Milan Longevity Summit, desafiando a compreensão convencional da morte e do envelhecimento.

Leia mais
Tecnologia

Concorrência em Haskell: Escape do Inferno das Threads

2025-04-17

Este artigo relata a jornada do autor do desenvolvimento de sistemas embarcados em C/C++/Rust para Haskell, destacando as vantagens do Haskell na programação concorrente. Haskell usa threads verdes e E/S acionada por eventos, evitando as complexidades dos modelos tradicionais de threads. Por meio do pacote `async` e STM (Software Transactional Memory), Haskell oferece uma abordagem mais limpa e segura para tarefas concorrentes. Funções como `concurrently`, `race` e `mapConcurrently`, juntamente com estruturas de dados como `TVar` e `TBQueue`, simplificam as operações concorrentes e evitam problemas comuns de concorrência, como deadlocks e condições de corrida.

Leia mais
Desenvolvimento

Outlook Clássico se Torna um Monstro de CPU: Microsoft Responde

2025-04-17
Outlook Clássico se Torna um Monstro de CPU: Microsoft Responde

A Microsoft reconheceu que o Outlook Clássico está apresentando uso de CPU inesperadamente alto, atingindo picos de 30% a 50%, levando a um aumento no consumo de energia. Usuários relataram o problema desde novembro de 2024. Embora a Microsoft afirme estar investigando, a única solução alternativa envolve edições de registro, uma solução menos que ideal para usuários corporativos. Alguns especulam que esta é uma tática para impulsionar os usuários para o cliente Outlook mais recente, apesar de suas funcionalidades incompletas.

Leia mais
Tecnologia Uso da CPU

O Guardião Noturno e o Camundongo Geneticamente Modificado

2025-04-17
O Guardião Noturno e o Camundongo Geneticamente Modificado

Um cuidador de animais de laboratório de uma universidade tropeça em um segredo extraordinário: um camundongo geneticamente modificado, submetido a experimentos cruéis, sobreviveu milagrosamente e parece possuir uma vida excepcional. Ele secretamente resgata o camundongo e o mantém em casa. Esse segredo não apenas diz respeito ao destino de um único camundongo, mas também reflete os dilemas éticos na pesquisa científica e o relacionamento entre humanos e animais.

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

Reserva de Caixa de US$ 334 Bilhões de Buffett: Aguardando a Ação do Fed

2025-04-17

A Berkshire Hathaway, liderada por Warren Buffett, detém impressionantes US$ 334 bilhões em caixa, o suficiente para comprar as 476 empresas de menor valor de mercado do S&P 500. No entanto, no ano passado, Buffett silenciosamente vendeu ações, incluindo Apple e Bank of America, e até mesmo liquidou suas participações em ETFs do S&P 500. Essa movimentação precedeu uma queda acentuada no Nasdaq e no S&P 500. Em vez de comprar na baixa, Buffett está esperando a ação do Federal Reserve, espelhando sua abordagem durante a pandemia de 2020, quando ele só investiu após os cortes de taxas e os estímulos do Fed. A estratégia de Buffett é simples: não pague a mais, e se nada estiver barato, compre sua própria empresa.

Leia mais

Frango Cultivado em Laboratório de 7cm: Um Avanço Gigantesco

2025-04-17
Frango Cultivado em Laboratório de 7cm: Um Avanço Gigantesco

Pesquisadores da Universidade de Tóquio cultivaram um pedaço de frango de 7 cm de comprimento, 4 cm de largura e 2,25 cm de espessura em laboratório – o maior pedaço único de carne cultivada até hoje. Essa descoberta foi alcançada usando um novo sistema circulatório que fornece nutrientes e oxigênio ao tecido em crescimento. Embora ainda não seja próprio para consumo humano, o nugget de 11 gramas representa um avanço significativo. A equipe está colaborando com empresas para desenvolver ainda mais essa tecnologia, prometendo uma potencial revolução na produção de carne.

Leia mais
Tecnologia

Classes de Tipo em Kotlin e Validação de Dados: Uma Abordagem com Arrow

2025-04-17
Classes de Tipo em Kotlin e Validação de Dados: Uma Abordagem com Arrow

Este artigo explora o uso de classes de tipo em Kotlin para validação de dados. Usando um sistema de validação de portfólio de usuário de uma startup de fintech como exemplo, o autor demonstra como construir uma estrutura de validação genérica e reutilizável usando a biblioteca Arrow Kt e os receptores de contexto do Kotlin. O artigo compara abordagens orientadas a objetos e de classes de tipo, destacando as vantagens das classes de tipo para a manutenção e extensibilidade, e mostra como usar o tipo `EitherNel` do Arrow para tratamento funcional de erros. A função `zipOrAccumulate` é explicada em detalhe.

Leia mais

Códigos de País Globais e Verificação OTP

2025-04-17
Códigos de País Globais e Verificação OTP

Este trecho de código exibe uma lista de códigos de país para a maioria dos países do mundo e integra um processo simples de verificação OTP (senha única). Os usuários podem selecionar um código de país e, em seguida, concluir a autenticação inserindo o OTP. Este é um processo típico usado para registro ou login do usuário, com aplicativos comuns incluindo verificação do número de telefone.

Leia mais

Demolição da icônica loja Fry's Electronics em formato de nave espacial em Burbank

2025-04-17
Demolição da icônica loja Fry's Electronics em formato de nave espacial em Burbank

A icônica loja Fry's Electronics em formato de nave espacial em Burbank, que fechou em 2021, foi demolida. Embora a estrutura da nave espacial não tenha podido ser salva, as equipes de demolição preservaram um artefato alienígena do prédio. O terreno, localizado no canto da Hollywood Way e da Vanowen Street, será transformado em um complexo de apartamentos com cerca de 800 unidades.

Leia mais
Diversos Demolição

Adeus Spotify! Minha jornada para auto-hospedar minha música

2025-04-17
Adeus Spotify! Minha jornada para auto-hospedar minha música

Cansado do Spotify, embarquei em uma busca pelo substituto perfeito. Experimentei Winamp, foobar2000 e até mesmo criei meu próprio player de música na web, antes de optar pelo Jellyfin. O Jellyfin é um servidor de mídia auto-hospedado que me permite acessar minha biblioteca de música a qualquer hora e em qualquer lugar, sem depender de serviços de streaming. Embora exija alguma configuração técnica, é surpreendentemente fácil, mesmo em um computador antigo. Combinado com aplicativos móveis, ouvir música offline é muito fácil. Isso não apenas me deu autonomia digital, mas também abriu as portas para auto-hospedar outros aplicativos, como o Immich para gerenciamento de fotos.

Leia mais
Desenvolvimento tocador de música

Modelo de IA de 1 bit gigante da Microsoft: Desempenho impressionante, compatibilidade limitada

2025-04-17
Modelo de IA de 1 bit gigante da Microsoft: Desempenho impressionante, compatibilidade limitada

Pesquisadores da Microsoft revelaram o BitNet b1.58 2B4T, um modelo de IA de 1 bit inovador com 2 bilhões de parâmetros. Treinado em um conjunto de dados massivo, ele supera modelos comparáveis da Meta, Google e Alibaba em benchmarks como GSM8K e PIQA, com o dobro da velocidade e uso de memória significativamente menor. Surpreendentemente, ele roda em CPUs, incluindo o Apple M2. No entanto, sua dependência na estrutura personalizada bitnet.cpp da Microsoft, atualmente incompatível com GPUs, limita sua adoção ampla. Embora promissor para dispositivos com recursos limitados, a compatibilidade permanece um grande obstáculo.

Leia mais

Paradoxo de Compressão ZFS: Blocos Lógicos vs. Blocos Físicos

2025-04-17

Um arquivo zero de 256 KB criado com `dd` em um sistema de arquivos ZFS com compressão habilitada exibe um comportamento intrigante: `ls -l` mostra seu tamanho como 256 KB, mas `ls -s` e `ls -slh` mostram um tamanho muito menor, quase zero. Isso se deve à compressão eficiente do ZFS, resultando em um número mínimo de blocos físicos. O artigo explora três maneiras de medir o tamanho do arquivo: tamanho lógico (em bytes), contagem de blocos físicos e contagem de blocos lógicos. Ele destaca que o campo `st_blocks` do POSIX não especifica qual tamanho relatar, levando a mudanças potenciais no valor de `st_blocks` ao mover arquivos entre sistemas de arquivos, e até mesmo a uma possível expansão do tamanho do arquivo excedendo a capacidade do novo sistema de arquivos.

Leia mais
Desenvolvimento

Tratado Pandêmico Global Alcançado: Prevenindo o Próximo Surto

2025-04-16
Tratado Pandêmico Global Alcançado: Prevenindo o Próximo Surto

Após três anos de negociações, a Organização Mundial da Saúde (OMS) chegou a um acordo histórico sobre o primeiro tratado pandêmico mundial. Este tratado visa prevenir, preparar e responder a futuras pandemias. Embora não seja perfeito, marca um momento decisivo na história da saúde global, estabelecendo normas cruciais para a segurança global. Central ao tratado é um mecanismo de 'acesso ao patógeno e compartilhamento de benefícios', projetado para garantir uma distribuição mais justa de vacinas, medicamentos e diagnósticos, evitando uma repetição das desigualdades na vacinação contra a COVID-19. Apesar da ausência dos EUA nas negociações, a conclusão do tratado demonstra a cooperação global. Os detalhes de implementação ainda precisam ser definidos, mas o tratado fornece uma base sólida para a resposta global a pandemias.

Leia mais

Engines de Consulta de Banco de Dados: Push vs. Pull

2025-04-16

Este artigo explora as diferenças entre mecanismos de consulta de banco de dados baseados em push e pull. Sistemas baseados em pull, semelhantes ao modelo iterador, são acionados pelo consumidor, onde os dados são recuperados sob demanda. Sistemas baseados em push, por outro lado, são acionados pelo produtor, empurrando ativamente os dados para operadores a jusante. Sistemas baseados em push se destacam no tratamento de planos de consulta em forma de DAG (por exemplo, a cláusula WITH do SQL) devido à sua capacidade de empurrar dados eficientemente para vários operadores a jusante, evitando cálculos redundantes e buffer desnecessário. No entanto, sistemas baseados em pull oferecem vantagens ao lidar com certos algoritmos (como junções de mesclagem e cláusulas LIMIT). O artigo examina ainda a eficiência de cache, a simplicidade do código e a adequação de cada modelo em diferentes cenários, concluindo que nenhum é universalmente superior, e a escolha depende de requisitos específicos.

Leia mais
Desenvolvimento mecanismo de consulta

Solferino: O Nascimento Inesperado do Direito Internacional

2025-04-16
Solferino: O Nascimento Inesperado do Direito Internacional

Após a Batalha de Solferino em 1859, o empresário suíço Henry Dunant, testemunhando o horrível resultado, ficou profundamente comovido. Sua experiência em primeira mão ajudando os feridos levou à criação do Comitê Internacional da Cruz Vermelha e às subsequentes Convenções de Genebra, lançando as bases para o direito internacional moderno. Apesar de uma vida pessoal tumultuada, a contribuição de Dunant para a cooperação internacional e o humanitarismo permanece significativa, seus ideais continuando a moldar a paz e o desenvolvimento global.

Leia mais

Quando a faculdade pode não valer a pena: Uma análise de custo-benefício

2025-04-16
Quando a faculdade pode não valer a pena: Uma análise de custo-benefício

Um estudo recente do Federal Reserve Bank de Nova York revela que, embora um diploma universitário geralmente gere um retorno saudável de 12-13% sobre o investimento, isso não é verdade para todos. Fatores como altos custos de mensalidades, prazos de graduação prolongados e a escolha da especialização impactam significativamente o retorno. O estudo analisa vários cenários, incluindo altos custos de vida, falta de auxílio financeiro e estudos prolongados, todos os quais reduzem o retorno. Além disso, pelo menos um quarto dos graduados não veem benefícios econômicos suficientes da faculdade, e a escolha da especialização influencia fortemente a renda, com campos de STEM geralmente superando as humanidades.

Leia mais

Plandex: Agente de Codificação de IA para Grandes Projetos

2025-04-16
Plandex: Agente de Codificação de IA para Grandes Projetos

Plandex é uma ferramenta de desenvolvimento de IA baseada em terminal projetada para lidar com grandes tarefas de codificação que abrangem várias etapas e inúmeros arquivos. Processando até 2 milhões de tokens de contexto diretamente (~100 mil por arquivo), pode indexar diretórios com 20 milhões de tokens ou mais usando mapeamentos de projeto tree-sitter. Um sandbox de revisão de diff cumulativo mantém as alterações geradas pela IA separadas até que estejam prontas, e a execução de comandos é controlada para facilitar a reversão e a depuração. Plandex combina modelos de Anthropic, OpenAI, Google e provedores de código aberto, oferecendo autonomia total e controle granular, tornando-o resiliente às complexidades de grandes projetos. Ele possui um modo de bate-papo com reconhecimento de projeto, integração com Git e uma interface CLI amigável ao desenvolvedor.

Leia mais
Desenvolvimento grandes projetos

Google suspende 39,2 milhões de contas de anunciantes em 2024, intensificando a luta contra a fraude com IA

2025-04-16
Google suspende 39,2 milhões de contas de anunciantes em 2024, intensificando a luta contra a fraude com IA

O Google suspendeu impressionantes 39,2 milhões de contas de anunciantes em 2024, mais do que o triplo do ano anterior, demonstrando sua postura agressiva contra a fraude em anúncios. Aproveitando modelos de linguagem grandes (LLMs) e métodos de detecção avançados, o Google identificou e suspendeu proativamente a grande maioria das contas fraudulentas antes que pudessem veicular anúncios. A empresa também implementou contramedidas técnicas contra deepfakes e atualizou políticas, resultando em uma queda significativa nos anúncios de deepfake relatados. Embora reconhecendo preocupações sobre justiça, o Google destacou seu processo de apelação e compromisso de melhorar a transparência e a comunicação com os anunciantes.

Leia mais

Ciência de Dados para RH em Grandes Organizações: Além do Recrutamento

2025-04-16
Ciência de Dados para RH em Grandes Organizações: Além do Recrutamento

Este artigo argumenta que uma abordagem de ciência de dados é crucial para RH em grandes organizações, indo além das tarefas tradicionais de recrutamento. Ao utilizar análise de redes sociais, análise de sentimentos e modelagem preditiva, o RH pode melhorar a comunicação, fortalecer a cultura da empresa, melhorar a retenção de funcionários e garantir uma compensação justa. O artigo explora como esses insights baseados em dados ajudam a identificar influenciadores-chave, prever a rotatividade e abordar problemas ocultos, construindo, em última análise, uma organização mais resiliente. A escolha entre um cientista de dados interno e um consultor externo depende das necessidades específicas da organização.

Leia mais
1 2 301 302 303 305 307 308 309 595 596