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

De Fabricante de Picles a Rei: A História Não Contada de Khalid Sheldrake

2024-12-18
De Fabricante de Picles a Rei: A História Não Contada de Khalid Sheldrake

Bertie Sheldrake, neto de um fabricante de picles de Londres, converteu-se ao islamismo, mudando seu nome para Khalid. Ele se tornou uma figura proeminente na comunidade muçulmana britânica, fundando revistas e, finalmente, aceitando a realeza da efêmera República Islâmica do Turquestão Oriental em Xinjiang. Essa jornada incrível, da vida comum em Londres a um reino distante e de volta ao anonimato, adiciona um capítulo fascinante à história do islamismo britânico do século XX.

Leia mais
(www.nationalarchives.gov.uk)
Diversos História Britânica Islamismo personagem lendário

Reflection AI: Construindo Superinteligência por meio de Codificação Autônoma

2025-03-07
Reflection AI: Construindo Superinteligência por meio de Codificação Autônoma

A Reflection AI está construindo sistemas autônomos superinteligentes. Membros da equipe foram essenciais em projetos como o AlphaGo e lideraram avanços em aprendizado por reforço e modelos de linguagem grandes. Eles acreditam que a codificação autônoma é a chave para uma superinteligência mais ampla, planejando primeiro construir um sistema de codificação autônomo superinteligente e, em seguida, expandir esse projeto para todas as outras tarefas baseadas em computador. A empresa enfatiza a aplicação no mundo real, iterando com o feedback do usuário para garantir que os sistemas atendam às necessidades do mundo real de forma confiável e moldam responsavelmente o futuro da IA.

Leia mais
(www.reflection.ai)
IA Superinteligência Codificação Autônoma

OmiAI: O SDK de IA que simplesmente funciona

2025-02-02
OmiAI: O SDK de IA que simplesmente funciona

O OmiAI é um SDK de IA em TypeScript que seleciona automaticamente o melhor modelo de um conjunto selecionado com base em sua solicitação. Ele possui raciocínio embutido semelhante ao o3, ferramentas selecionadas, acesso à internet e suporte multi-modal completo para quase todos os tipos de mídia. Imagine usar um único LLM que se destaca em tudo - essa é a promessa do OmiAI. Ele inteligentemente encadeia modelos para tarefas complexas, possui raciocínio e chamada de ferramentas embutidos e oferece suporte multi-modal e acesso à internet em tempo real. Simplifique seu fluxo de trabalho de LLM com o OmiAI.

Leia mais
(github.com)
Desenvolvimento SDK de IA

Morte de denunciante da OpenAI: de suicídio a investigação ativa

2025-01-16
Morte de denunciante da OpenAI: de suicídio a investigação ativa

A morte de Suchir Balaji, ex-pesquisador da OpenAI, teve uma reviravolta dramática. Inicialmente considerada suicídio, a polícia de San Francisco reabriu o caso como uma 'investigação ativa e aberta' após alegações da família de Balaji e inconsistências na autópsia inicial. Balaji criticou publicamente as práticas da OpenAI antes de sua morte, provocando especulações sobre crime, até mesmo comentários de Elon Musk. Este caso destaca os riscos enfrentados pelos denunciantes na indústria de tecnologia e levanta questões cruciais sobre ética e responsabilidade no cenário de IA em rápida evolução.

Leia mais
(www.republicbiz.com)
Tecnologia denunciante investigação de morte

Legislação do Reino Unido defasada: sabotagem de cabos submarinos expõe lacunas legais

2025-07-02
Legislação do Reino Unido defasada: sabotagem de cabos submarinos expõe lacunas legais

Um ministro do governo do Reino Unido alertou que os ciberataques e a sabotagem de cabos submarinos estão confundindo as linhas entre guerra e paz, destacando falhas na legislação do Reino Unido. A Lei de Telégrafos Submarinos de 1885, com sua multa irrisória de £ 1.000, é lamentavelmente inadequada para as ameaças modernas. Incidentes recentes, como os ataques russos suspeitos a cabos submarinos na Suécia, sublinham a urgência. O governo está considerando um novo Projeto de Lei de Prontidão de Defesa para lidar com o cibercrime patrocinado pelo Estado e ataques a cabos submarinos, mas enfrenta desafios na definição de 'atos de guerra' e no equilíbrio entre respostas civis e militares.

Leia mais
(www.theregister.com)
Tecnologia

Rastreamento secreto do Android: Coleta de dados do Google sem consentimento

2025-03-04
Rastreamento secreto do Android: Coleta de dados do Google sem consentimento

Uma pesquisa de Doug Leith, professor e chefe de sistemas de computação no Trinity College Dublin, revela que o Android coleta secretamente dados do usuário, incluindo cookies de anúncios, antes mesmo que os usuários abram seu primeiro aplicativo. Essa coleta de dados, facilitada por aplicativos pré-instalados como os Serviços do Google Play e a Google Play Store, ocorre sem o consentimento do usuário e não possui mecanismo de desativação. Os rastreadores principais incluem o cookie DSID e o ID do Google Android, que continua enviando dados mesmo após o logout. Leith argumenta que isso pode violar leis de proteção de dados como o GDPR. O Google respondeu afirmando seu compromisso com as leis de privacidade, mas não abordou diretamente as questões específicas. Essa descoberta, juntamente com a recente polêmica em torno da instalação sem consentimento do Android System SafetyCore, alimenta preocupações sobre as práticas de coleta de dados do Google.

Leia mais
(www.theregister.com)
Tecnologia Privacidade Android Rastreio de dados

Fungos Bioengenheirados: Uma Arma Sexualmente Transmissível Contra Mosquitos Transmissores de Malária

2025-06-16
Fungos Bioengenheirados: Uma Arma Sexualmente Transmissível Contra Mosquitos Transmissores de Malária

Entomologistas da Universidade de Maryland bioengenheiraram um fungo mortal que se espalha sexualmente em mosquitos Anopheles, criando efetivamente uma infecção sexualmente transmissível para eles. Este fungo Metarhizium modificado, que produz neurotoxinas potentes, possui uma taxa de mortalidade de quase 90% em mosquitos fêmeas dentro de duas semanas após o acasalamento com machos infectados — um contraste gritante com a taxa de 4% do tipo selvagem. Crucialmente, o fungo é inofensivo para humanos e permite que machos infectados espalhem esporos por até 24 horas, tornando-o uma solução ambientalmente viável para combater mosquitos cada vez mais resistentes a medicamentos e as doenças que eles carregam. Esta abordagem inovadora utiliza a própria biologia dos mosquitos para controlar suas populações, oferecendo uma nova arma na corrida armamentista contínua contra doenças transmitidas por mosquitos.

Leia mais
(newatlas.com)
Tecnologia Doenças transmitidas por mosquitos Fungos

Graphcore Lança Supercomputador de IA do Tamanho de uma Pizza Box: M2000

2025-05-09
Graphcore Lança Supercomputador de IA do Tamanho de uma Pizza Box: M2000

A startup britânica de chips de IA, Graphcore, anunciou seu processador de IA de segunda geração, o GC200, e sua plataforma de computação correspondente, o M2000. O M2000 é anunciado como o primeiro computador de IA a atingir um petaflop de poder de processamento em um formato do tamanho de uma caixa de pizza. Cada chip GC200 possui 59,4 bilhões de transistores, e o M2000 usa quatro desses chips. A Graphcore afirma escalabilidade de até 64.000 IPUs, resultando em um potencial de 16 exaflops de poder de computação. O M2000 está atualmente sendo enviado para clientes de acesso antecipado e espera-se que tenha uma implantação mais ampla até o final do ano em vários aplicativos de IA em finanças, saúde, tecnologia e muito mais.

Leia mais
(www.graphcore.ai)
Tecnologia

Harvard perde US$ 450 milhões em subsídios federais em meio a acusações de antissemitismo

2025-05-18
Harvard perde US$ 450 milhões em subsídios federais em meio a acusações de antissemitismo

O governo federal encerrou US$ 450 milhões em subsídios de pesquisa para a Universidade de Harvard, citando antissemitismo. Isso segue cortes anteriores totalizando US$ 2,2 bilhões e sinaliza um possível corte completo de financiamento futuro. O governo acusa Harvard de ação insuficiente para lidar com incidentes antissemitas e práticas discriminatórias, embora o anúncio não contenha detalhes sobre eventos recentes ou os esforços de Harvard. Várias agências federais emitiram cartas semelhantes, indicando um esforço coordenado para retirar o financiamento.

Leia mais
(arstechnica.com)
Tecnologia Subsidios Federais Antissemitismo

Task Explorer: Um Gerenciador de Tarefas Multiplataforma Poderoso

2025-02-13
Task Explorer: Um Gerenciador de Tarefas Multiplataforma Poderoso

O Task Explorer é uma poderosa ferramenta de gerenciamento de tarefas que não apenas monitora aplicativos em execução, mas também fornece insights profundos sobre suas atividades. Sua interface prioriza velocidade e eficiência, fornecendo dados de processo em tempo real com interação mínima. As informações são exibidas em painéis acessíveis; a seleção de um processo revela informações detalhadas na metade inferior da tela, facilmente navegáveis com as teclas de seta. A atualização dinâmica de dados oferece insights em tempo real sobre o desempenho e o comportamento do sistema.
Recursos avançados incluem um Painel de Thread mostrando rastros de pilha, um Painel de Memória para visualizar e editar a memória do processo, um Painel de Handles exibindo handles abertos, um Painel de Sockets mostrando conexões e um Painel de Módulos listando DLLs carregadas. O monitoramento robusto do sistema apresenta gráficos em tempo real de CPU, handles, tráfego de rede e acesso a disco. Os painéis de informações do sistema permitem o controle sobre os serviços do sistema.
Construído com o Qt Framework, o Task Explorer é compatível com Windows 7+ (32/64 bits) e planeja suportar Linux.

Leia mais
(github.com)
Desenvolvimento gerenciador de tarefas monitoramento do sistema

Xerox adquire Lexmark por US$ 1,5 bilhão

2024-12-23

A Xerox Holdings Corporation anunciou que vai adquirir a Lexmark International, Inc. por US$ 1,5 bilhão. Essa aquisição fortalecerá o portfólio de impressão principal da Xerox e construirá um negócio global mais amplo de impressão e serviços de impressão gerenciados para atender melhor às necessidades em evolução dos clientes em ambientes de trabalho híbridos. O acordo, que deverá ser fechado no segundo semestre de 2025, une duas empresas líderes do setor para criar uma oferta mais abrangente e expandir a presença geográfica, especialmente na região da APAC.

Leia mais
(newsroom.lexmark.com)
Tecnologia Fusões e Aquisições Indústria de Impressão Ambiente de Trabalho Híbrido

Alinhamento de IA: Uma Tarefa Impossível?

2025-01-28
Alinhamento de IA: Uma Tarefa Impossível?

O surgimento de grandes modelos de linguagem (LLMs) trouxe preocupações de segurança, como ameaças e reescrita de código. Os pesquisadores estão tentando orientar o comportamento da IA para se alinhar aos valores humanos por meio do "alinhamento", mas o autor argumenta que isso é quase impossível. A complexidade dos LLMs supera em muito o xadrez, com um número quase infinito de funções aprendíveis, tornando os testes exaustivos impossíveis. O artigo do autor prova que, mesmo com objetivos cuidadosamente projetados, não se pode garantir que os LLMs não irão desviar. Resolver verdadeiramente a segurança da IA requer uma abordagem societal, estabelecendo mecanismos semelhantes às regras da sociedade humana para restringir o comportamento da IA.

Leia mais
(www.scientificamerican.com)
IA Grandes modelos de linguagem Problema de alinhamento

DeepSeek Abale o Mundo da IA: Um Déjà Vu?

2025-02-18
DeepSeek Abale o Mundo da IA: Um Déjà Vu?

O surgimento dos modelos DeepSeek causou ondas de choque na indústria de IA, gerando um debate intenso. Este artigo revisita um discurso de 1990 de Gordon Moore sobre as tendências da indústria VLSI, destacando semelhanças impressionantes entre os desafios da época – competição da Ásia, aumento dos custos de fabricação, apoio do governo e busca de aplicações – e os que a indústria de IA enfrenta hoje. A postura cautelosa de Moore em relação aos chips de redes neurais naquela época, contrastando com o boom atual da IA, é instigante. A história parece se repetir; os avanços tecnológicos são rápidos, mas as questões fundamentais da indústria persistem.

Leia mais
(thechipletter.substack.com)
IA

Mergeable: Uma caixa de entrada melhor para solicitações pull do GitHub

2025-05-12
Mergeable: Uma caixa de entrada melhor para solicitações pull do GitHub

Mergeable é um aplicativo de navegador projetado para melhorar o gerenciamento de solicitações pull do GitHub. Ele permite que os usuários organizem PRs em seções usando consultas de pesquisa flexíveis, armazena todos os dados localmente no navegador, suporta atalhos de teclado para navegação rápida e se conecta a várias instâncias do GitHub (incluindo o GitHub Enterprise). Importantemente, ele destaca os PRs aguardando sua ação, tudo sem precisar de nenhuma instalação de aplicativo do GitHub. Experimente a instância pública em https://app.usemergeable.dev ou faça o auto-hospedamento usando a documentação em https://www.usemergeable.dev.

Leia mais
(github.com)
Desenvolvimento Solicitação Pull

Simplificando a Interação com o Claude CLI usando um SDK Python

2025-05-10
Simplificando a Interação com o Claude CLI usando um SDK Python

Um novo SDK Python, `codesys`, simplifica a interação com a ferramenta Claude CLI. Ele suporta todas as opções do Claude CLI, oferece saída de streaming automática ou manual e permite acesso personalizado a ferramentas. Os desenvolvedores podem usar o SDK de forma eficiente imitando seu fluxo de trabalho real de código Claude — planejando a tarefa explorando a base de código e, em seguida, implementando o plano. O SDK também fornece vários exemplos mostrando saída de streaming automática e manual, análise JSON, uso de ferramentas personalizadas e passagem de argumentos adicionais.

Leia mais
(github.com)
Desenvolvimento

Guerra Tarifária de Trump: Indústria Petrolífera do Canadá e do México Sofre Impacto

2025-02-17
Guerra Tarifária de Trump: Indústria Petrolífera do Canadá e do México Sofre Impacto

A imposição pela administração Trump de altas tarifas sobre produtos petrolíferos canadenses e mexicanos gerou preocupações generalizadas. Essa medida pode levar a um aumento de 10% nos preços da gasolina no Meio-Oeste dos EUA e afetar gravemente as exportações de petróleo do Canadá e do México. Especialistas apontam a alta dependência dos EUA do petróleo pesado canadense, com substitutos limitados, o que significa que as tarifas serão repassadas diretamente aos consumidores. O México pode redirecionar suas exportações de petróleo para os mercados asiático e europeu. Esse evento destaca a tensa relação entre os EUA e seus principais parceiros comerciais, e o impacto das políticas tarifárias no mercado de energia global.

Leia mais
(oilprice.com)
Tecnologia tarifas de petróleo mercado de energia

Mau uso do Blockchain: Hype ou Inovação?

2025-03-18
Mau uso do Blockchain: Hype ou Inovação?

Este artigo analisa criticamente o estado atual das aplicações de blockchain em áreas como gerenciamento da cadeia de suprimentos, verificação de autenticidade de objetos, garantia de autenticidade de declarações, votação, prova de autoria e registro de terras. O autor destaca que muitas soluções de blockchain aparentemente lógicas ignoram o problema central de 'blockchain não é Internet das Coisas (IoT)', levando a dificuldades em garantir a autenticidade dos dados. O artigo argumenta que, em muitos cenários, bancos de dados distribuídos ou assinaturas digitais podem resolver o problema sem a complexidade e o consumo de recursos do blockchain. O autor acredita que, atualmente, apenas na área de transferência de valor o blockchain (como o Bitcoin) demonstra verdadeiro valor, enquanto as perspectivas de aplicação de contratos inteligentes permanecem incertas.

Leia mais
(blog.smartdec.net)
Tecnologia contratos inteligentes

Octocode: Indexador de Código e Construtor de Grafos de Conhecimento com IA

2025-06-07
Octocode: Indexador de Código e Construtor de Grafos de Conhecimento com IA

Octocode é um poderoso indexador de código e mecanismo de busca semântica que constrói grafos de conhecimento inteligentes de sua base de código. Ele combina recursos avançados de IA com design local-first para fornecer compreensão profunda do código, mapeamento de relacionamentos e assistência inteligente para desenvolvedores. Suporta várias linguagens de programação e oferece consultas em linguagem natural, busca em vários modos, classificação inteligente e expansão de símbolos. Um sistema de memória integrado armazena insights, decisões e contexto, integrando-se perfeitamente a assistentes de IA.

Leia mais
(github.com)
Desenvolvimento

Adeus, fluxos de trabalho tediosos: minha configuração de desenvolvimento com tmux

2025-06-23

Esta publicação detalha um fluxo de trabalho de desenvolvimento altamente eficiente construído em torno do tmux. O autor usa uma configuração e scripts tmux inteligentes para abrir arquivos diretamente em um servidor remoto, alternar perfeitamente entre painéis e alternar facilmente entre arquivos — tudo sem clones locais. A publicação descreve o processo de configuração, incluindo expressões regulares e scripts, e compara alternativas. A motivação surgiu de frustrações com o atraso do VSCode e conflitos de associação de teclas. Embora seja complexo de configurar, o autor argumenta que os ganhos de eficiência superam o custo.

Leia mais
(jyn.dev)
Desenvolvimento desenvolvimento remoto

Algoritmo de organização de ícones do Explorador do Windows O(n²) causa travamentos

2025-03-10
Algoritmo de organização de ícones do Explorador do Windows O(n²) causa travamentos

Um usuário do Windows encontrou travamentos no explorador de arquivos, e o autor usou ferramentas de análise de desempenho para identificar o culpado: um algoritmo ineficiente de organização de ícones. A complexidade de tempo O(n²) do algoritmo resultou em tempos excessivamente longos de organização com muitos ícones, mesmo quando ocultos. O autor verificou isso experimentalmente, destacando a necessidade de os desenvolvedores evitarem algoritmos tão ineficientes.

Leia mais
(randomascii.wordpress.com)
Desenvolvimento

Executando Linux no Excel: Uma Brincadeira Divertida

2025-04-30
Executando Linux no Excel: Uma Brincadeira Divertida

Um desenvolvedor conseguiu executar um sistema Linux dentro do Microsoft Excel! Usando um emulador leve chamado mini-rv32ima, compilado como um DLL e chamado por meio de macros VBA, o desenvolvedor conseguiu exibir a saída do Linux diretamente nas células do Excel. Embora o projeto seja considerado com bugs e o autor admita ter usado um DLL externo em vez de reescrever o emulador em VBA ou fórmulas do Excel, é um experimento criativo e divertido que demonstra engenhosidade e habilidade de programação.

Leia mais
(github.com)
Desenvolvimento

Síntese e Caracterização de Catalisador de Eletroredução de CO2 de Alta Eficiência

2025-06-10
Síntese e Caracterização de Catalisador de Eletroredução de CO2 de Alta Eficiência

Pesquisadores sintetizaram um novo catalisador MxNi1−x@SDC para eletroredução de CO2 de alta eficiência usando um método sol-gel. O catalisador foi preparado misturando diferentes sais metálicos com ácido cítrico e etilenoglicol, seguido de tratamento em alta temperatura. Os materiais Co0.5Ni0.5-SDC e LSCF também foram sintetizados, e uma célula eletrolítica foi construída. O desempenho e a estrutura do catalisador foram investigados usando medições eletroquímicas, várias técnicas de caracterização (incluindo XRD, SEM, TEM, XPS, XAS e espectroscopia Raman) e simulações DFT, revelando o mecanismo por trás de sua eletroredução de CO2 eficiente.

Leia mais
(www.nature.com)
Tecnologia redução de CO2 eletroquímica

Teste de 7 Dias: Calendário de IA Personalizado com Integração do ChatGPT

2025-01-02

Um calendário de IA personalizado com integração do ChatGPT está procurando 20 testadores para um teste de 7 dias (mínimo 3 dias). Esta ferramenta ajuda a planejar tarefas com antecedência, fornecendo respostas personalizadas alimentadas por IA no dia agendado para impulsionar a criatividade e superar obstáculos. Os usuários podem refinar as respostas de IA por meio de um recurso 'Iniciar bate-papo'. O teste tem limites de bate-papo (10 mensagens/sessão, 100 palavras/mensagem). Adicione o link aos favoritos; o convite do Discord é de uso único. Feedback sobre recursos e IU é bem-vindo. Emails falsos são aceitáveis.

Leia mais
(running4-m.github.io)
Desenvolvimento Calendário de IA

Vulnerabilidades Críticas no GitLab Duo Permitem Exfiltração de Código-Fonte

2025-05-23
Vulnerabilidades Críticas no GitLab Duo Permitem Exfiltração de Código-Fonte

Pesquisadores descobriram vulnerabilidades críticas no GitLab Duo, um assistente de IA integrado ao GitLab. Ataques podem incorporar prompts ocultos em código-fonte, comentários ou outros conteúdos do projeto para manipular o Duo a vazar código-fonte privado e até mesmo vulnerabilidades de dia zero. O ataque explorou a análise de contexto do Duo e a renderização assíncrona de Markdown, levando à injeção de HTML e roubo de código. O GitLab corrigiu as vulnerabilidades, mas este incidente destaca a importância da segurança dos assistentes de IA. Qualquer sistema que incorpore LLMs deve tratar a entrada do usuário como não confiável e potencialmente maliciosa.

Leia mais
(www.legitsecurity.com)
Tecnologia Vazamento de Código-Fonte

RTABench: Um novo benchmark para aplicativos de análise em tempo real

2025-03-29
RTABench: Um novo benchmark para aplicativos de análise em tempo real

Benchmarks de análise tradicionais geralmente ignoram as necessidades de aplicativos em tempo real, como gerar insights rápidos e direcionados para usuários, dispositivos ou transações específicos. O RTABench preenche essa lacuna fornecendo um benchmark que reflete com precisão a análise em tempo real dentro de aplicativos, usando um esquema normalizado, tamanhos de conjuntos de dados realistas e consultas que correspondem aos padrões de uso do mundo real. Ele inclui 33 consultas cobrindo consultas de eventos brutos, filtragem seletiva, junções de várias tabelas e consultas pré-agregadas para avaliar o desempenho do banco de dados em esquemas normalizados, filtragem seletiva e visualizações materializadas incrementais. O RTABench suporta vários bancos de dados e dá as boas-vindas às contribuições da comunidade para expandir seu suporte a bancos de dados e otimizações.

Leia mais
(github.com)
Desenvolvimento análise em tempo real benchmark de banco de dados

Encontrando Caminho para um Alvo Móvel em Terreno em Evolução

2025-01-11
Encontrando Caminho para um Alvo Móvel em Terreno em Evolução

Esta postagem de blog descreve uma solução inovadora de busca de caminho para um jogo de navegador Unity, 'Build + Brawl', onde centenas de inimigos navegam em direção a um jogador em movimento em um ambiente dinamicamente mutável. Em vez de A*, o autor implementou uma abordagem de campo de direção. Isso pré-calcula direções e distâncias de movimento ótimas para cada célula da grade, minimizando as atualizações ao mudar o jogador ou os obstáculos. Isso melhora drasticamente o desempenho, evitando atrasos no navegador. A postagem é dividida em duas partes, explicando a construção do algoritmo e o tratamento de obstáculos, ilustrado com diagramas claros. É um ótimo estudo de caso para desenvolvedores de jogos.

Leia mais
(www.holm.dog)
Jogos Algoritmo de Busca de Caminho Campo de Direção

Lei de Mercados de Aplicativos Abertos Reintroduzida: Segundo Round para as Big Techs?

2025-06-26
Lei de Mercados de Aplicativos Abertos Reintroduzida: Segundo Round para as Big Techs?

Legisladores dos EUA reintroduziram o projeto de lei bipartidário Lei de Mercados de Aplicativos Abertos, com o objetivo de frear a dominância das lojas de aplicativos da Apple e do Google. Este projeto de lei revisado, semelhante ao seu antecessor de 2021, busca promover a concorrência e a proteção do consumidor, permitindo lojas de aplicativos de terceiros, sistemas de pagamento alternativos e protegendo os direitos dos desenvolvedores. Novas adições abordam preocupações com propriedade intelectual e segurança nacional, e proíbem ações punitivas contra desenvolvedores que permitem acesso remoto a outros aplicativos. No entanto, espera-se que o projeto de lei enfrente forte oposição das Big Techs, que anteriormente gastaram milhões em lobby contra um projeto de lei semelhante.

Leia mais
(appleinsider.com)
Tecnologia Regulamentação de tecnologia monopólio de app stores concorrência tecnológica

Codificação ≠ Programação: A Perspectiva de um Vencedor do Prêmio Turing sobre Abstração

2025-05-05
Codificação ≠ Programação: A Perspectiva de um Vencedor do Prêmio Turing sobre Abstração

Leslie Lamport, um vencedor do Prêmio Turing de 84 anos, fez um discurso principal enfatizando a diferença crucial entre codificação e programação. Ele argumentou que o pensamento abstrato antes da codificação é fundamental, levando a menos erros e código mais eficiente. Sua própria linguagem de especificação TLA+, usada no desenvolvimento da espaçonave Rosetta, serve como um excelente exemplo, demonstrando significativa redução de código e melhorias arquitetônicas. Lamport critica a tendência dos programadores de se concentrarem em linguagens em vez de design abstrato, defendendo o design do modelo abstrato do programa primeiro, depois a codificação. Essa abordagem minimiza a depuração e a revisão, resultando em código mais limpo e fácil de manter.

Leia mais
(thenewstack.io)
Desenvolvimento pensamento abstrato

Absorção de CO2 por plantas globalmente muito maior do que se pensava anteriormente

2025-01-14

Uma nova pesquisa revela que as plantas em todo o mundo estão absorvendo aproximadamente 31% mais dióxido de carbono do que se estimava anteriormente. Os cientistas usaram modelos e medições inovadores, rastreando o caminho de um composto chamado sulfeto de carbonila (OCS) através da fotossíntese, para avaliar com mais precisão a produção primária bruta terrestre global (GPP). As descobertas sugerem que as florestas tropicais podem ser um sumidouro de carbono muito maior do que se pensava anteriormente com base em dados de satélite, destacando a importância do sequestro natural de carbono para a mitigação das mudanças climáticas. Este trabalho melhora significativamente as simulações do sistema terrestre e as previsões climáticas, fornecendo dados cruciais para previsões mais precisas do CO2 atmosférico futuro e seu impacto no clima global.

Leia mais
(www.ornl.gov)
Tecnologia Fotossíntese Ciclo do Carbono Mudanças Climáticas

Mapa de agressores sexuais criado por cidadãos no Japão gera debate jurídico

2025-03-28
Mapa de agressores sexuais criado por cidadãos no Japão gera debate jurídico

Em resposta à falta de um registro nacional de agressores sexuais e numerosos casos de abuso sexual de crianças, um site chamado Amyna surgiu no Japão, oferecendo um mapa de supostos agressores sexuais. Criado por um ex-funcionário da ONU, o Amyna visa preencher a lacuna nos sistemas oficiais, mas sua legalidade é altamente questionável. As leis japonesas de proteção de informações pessoais impõem restrições severas à divulgação de dados, potencialmente deixando o Amyna vulnerável a alegações de violação de privacidade. Embora o site argumente que protege crianças, sua falta de processos de verificação robustos e o manuseio de informações sensíveis geram riscos de falsas acusações e vitimização secundária. A iniciativa provocou um amplo debate sobre privacidade, direitos dos cidadãos e responsabilidade do governo, destacando deficiências na estrutura legal japonesa para a proteção infantil.

Leia mais
(unseen-japan.com)
Diversos agressor sexual ação cidadã
1 2 … 409 410 411 413 415 416 417 … 595 596