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

Agente de IA de código aberto Refact.ai atinge impressionantes 69,8% no SWE-bench Verified

2025-05-22
Agente de IA de código aberto Refact.ai atinge impressionantes 69,8% no SWE-bench Verified

O Refact.ai, um agente de programação de IA de código aberto líder, atingiu uma pontuação notável de 69,8% no benchmark SWE-bench Verified, resolvendo autonomamente 349 de 500 problemas reais do GitHub. Esse sucesso é atribuído à sua arquitetura robusta: o modelo Claude-3.7 em seu núcleo, auxiliado por um subagente debug_script() para depuração e modificação de código, e uma ferramenta strategic_planning() para resolução otimizada de problemas. Todo o pipeline do Refact.ai é de código aberto, e sua aplicação no mundo real demonstra ganhos significativos de produtividade para desenvolvedores.

Leia mais
(refact.ai)
IA Programação de IA

Wisk Aero e NASA renovam parceria para acelerar voos autônomos

2025-05-22
Wisk Aero e NASA renovam parceria para acelerar voos autônomos

A Wisk Aero, desenvolvedora de aeronaves autônomas totalmente elétricas, anunciou uma parceria de pesquisa renovada de cinco anos com a NASA. Essa colaboração visa estabelecer padrões avançados de mobilidade aérea para integrar aeronaves autônomas no Sistema Nacional de Espaço Aéreo (NAS). O foco será no uso das capacidades de simulação e LVC (Live Virtual Constructive) da NASA para acelerar o desenvolvimento de seus sistemas autônomos de 6ª geração, com o objetivo de voos de passageiros autônomos seguros e eficientes até 2030.

Leia mais
(electrek.co)
Tecnologia Voo Autônomo

A Fascinante Incursão de Babbage na Decifração de Códigos

2025-07-08

Charles Babbage, em sua autobiografia, relata suas cativantes experiências com a decifração de códigos. Desde jovem, ele demonstrou uma habilidade para quebrar facilmente cifras de colegas, embora isso às vezes levasse a consequências físicas. Babbage acreditava firmemente que qualquer cifra poderia ser quebrada, participando de um desafio divertido com um amigo. Sua percepção excepcional e paciência permitiram que ele decifrasse o código aparentemente complexo de seu amigo, revelando sua simplicidade subjacente e demonstrando seu talento extraordinário em criptografia.

Leia mais
(mathshistory.st-andrews.ac.uk)
Diversos quebra de código

Satellogic disponibiliza feed aberto de dados de satélite com mais de 7 milhões de imagens

2025-03-04

A Satellogic, empresa de design, fabricação e operação de constelações de satélites, anunciou um programa de feed aberto de dados de satélite chamado "Satellogic EarthView". Este programa contém mais de 7 milhões de imagens exclusivas de mais de 3 milhões de locais, oferecendo imagens RGB e infravermelho próximo com resolução de 1 metro. O autor detalha a análise da constelação da Satellogic, o histórico de lançamentos e o processo de acesso e trabalho com os dados abertos, criando visualizações que destacam a distribuição espacial e a cobertura temporal.

Leia mais
(tech.marksblogg.com)
Tecnologia dados de satélite sensoriamento remoto análise espacial de dados

Grupo de Trabalho HTML do W3C: Impulsionando a Evolução do Padrão HTML

2024-12-26
Grupo de Trabalho HTML do W3C: Impulsionando a Evolução do Padrão HTML

O Grupo de Trabalho HTML do W3C tem a missão de levar as versões revisadas do HTML e DOM do WHATWG às Recomendações do W3C. Este grupo é composto por especialistas globais que trabalham em conjunto para garantir a evolução contínua e a melhoria dos padrões HTML, a fim de atender às necessidades em constante mudança da web. O grupo possui uma missão definida, um processo de participação e uma política de patentes, e publica regularmente atualizações e informações de eventos.

Leia mais
(www.w3.org)
Desenvolvimento padrão HTML padrões da web

Instalando AIX 1.3 em um 486: Uma Odisseia de Computação Retro

2025-04-03

Após contrair COVID-19, o autor embarcou em um projeto nostálgico: instalar o AIX 1.3 em seu antigo computador 486. Este Frankenstein 486, uma coleção de peças acumuladas ao longo de três décadas, apresentou inúmeros obstáculos. O processo de instalação envolveu 94 imagens de disquete, lidando com problemas de interface IDE, problemas de compatibilidade VGA e disquetes de instalação corrompidos. A jornada de resolução de problemas do autor incluiu a troca de placas gráficas, unidades de disco rígido, a recriação de disquetes de instalação e até mesmo a criação de um cabo VGA personalizado, mas a instalação acabou falhando. Essa anedota reflete uma paixão pela computação retro e perseverança em superar desafios técnicos, destacando as peculiaridades e complexidades de hardware mais antigo.

Leia mais
(hardwarehacks.org)
Hardware instalação de hardware

O Monad IO do Haskell e a Restrição de Valor: Uma Conexão Surpreendente

2025-05-26

Este artigo explora como o Monad IO do Haskell evita habilmente problemas de segurança de tipo decorrentes de referências polimórficas. Apesar da reputação do Haskell por sua pureza, o design do Monad IO incorpora implicitamente um mecanismo semelhante à 'restrição de valor' encontrada em outras linguagens ML. O artigo analisa os riscos de referências polimórficas, compara a abordagem do Haskell com outras linguagens e aprofunda a implementação interna do Monad IO, revelando sua semelhança com o Monad State e por que manipular diretamente o construtor IO é perigoso. Finalmente, demonstra como usar a classe de tipo MonadGen para contornar as restrições do IO, mas também enfatiza os riscos envolvidos.

Leia mais
(welltypedwit.ch)
Desenvolvimento Monad IO Segurança de Tipo

Notas de Aula de Computação Quântica do MIT 2022

2025-06-12

As notas de aula do curso de Computação Quântica (8.370/18.435) do outono de 2022 do professor Peter Shor, do MIT, estão disponíveis. As notas abrangem uma ampla gama de tópicos, desde conceitos fundamentais como superposição e evolução unitária até medição quântica, emaranhamento e algoritmos quânticos importantes, como os algoritmos de Deutsch-Jozsa, Simon, Shor e Grover. Tópicos avançados, incluindo códigos de correção de erros quânticos e protocolos de distribuição de chaves quânticas, também estão incluídos. Embora a Aula 26 esteja faltando, este recurso abrangente fornece uma base valiosa para aprender computação quântica.

Leia mais
(math.mit.edu)
Desenvolvimento informação quântica

Estudante do ensino fundamental descobre novo composto em fezes de ganso

2024-12-12
Estudante do ensino fundamental descobre novo composto em fezes de ganso

Um estudante do ensino fundamental, participando de um programa de pesquisa em parceria com uma universidade local, descobriu um novo composto, orfamide N, em uma amostra de fezes de ganso coletada em um parque. Embora não seja responsável pela atividade antibiótica inicialmente observada na bactéria, o orfamide N inibiu o crescimento de células de melanoma humano e câncer de ovário em testes de laboratório. Esta pesquisa demonstra o sucesso da combinação de divulgação educacional com pesquisa de descoberta de produtos naturais, destacando a importância das parcerias entre universidades e comunidades. O projeto forneceu uma experiência prática inestimável para o aluno, mostrando o potencial de jovens cientistas.

Leia mais
(phys.org)
Tecnologia descoberta científica pesquisa no ensino fundamental novo composto

Pós-proteicos contaminados: Chumbo e cádmio em níveis alarmantes

2025-01-12
Pós-proteicos contaminados: Chumbo e cádmio em níveis alarmantes

Uma nova investigação revela níveis alarmantes de chumbo e cádmio em muitos pós-proteicos comercializados, sendo os produtos orgânicos, à base de plantas e com sabor a chocolate os mais contaminados. O relatório do Clean Label Project descobriu que os pós-proteicos orgânicos continham três vezes mais chumbo e o dobro de cádmio em comparação com os produtos não orgânicos; os pós-proteicos à base de plantas tinham três vezes mais chumbo do que os produtos à base de soro de leite; e os pós-proteicos com sabor a chocolate continham quatro vezes mais chumbo e até 110 vezes mais cádmio do que os pós com sabor a baunilha. Quase metade das 160 amostras de pós-proteicos testadas excederam os limites de segurança da Proposição 65 da Califórnia. Recomenda-se aos consumidores que escolham pós-proteicos de ervilha ou à base de soro de leite/ovo (sabor baunilha) e que questionem ativamente os níveis de contaminantes junto às marcas.

Leia mais
(www.wqow.com)
Saúde pó proteico contaminação por metais pesados

Liquid Glass: Um fracasso no design de UI da Apple?

2025-06-23

De Aqua do Mac OS X ao Aero do Windows Vista e agora ao Liquid Glass do iOS, o design de interface do usuário translúcido sempre buscou uma aparência "descolada", sacrificando a usabilidade. O autor critica o Liquid Glass por seu foco excessivo em efeitos visuais, desfocando elementos da interface e reduzindo a legibilidade e a usabilidade. O design visual é priorizado em detrimento da experiência do usuário, argumentando que não é um verdadeiro avanço no design de IU, mas um mau uso dos princípios de design.

Leia mais
(take.surf)
Design

arXivLabs: Colaboração da Comunidade em Novos Recursos do arXiv

2025-06-01
arXivLabs: Colaboração da Comunidade em Novos Recursos do arXiv

arXivLabs é uma estrutura que permite a colaboradores desenvolverem e compartilharem novos recursos diretamente no site do arXiv. Indivíduos e organizações envolvidos abraçam os valores do arXiv 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 melhorar a comunidade do arXiv? Saiba mais sobre o arXivLabs.

Leia mais
(arxiv.org)
Desenvolvimento

Problema de Tokenização Provado como NP-Completo, Dobrando os Desafios de Compressão de Dados

2024-12-22
Problema de Tokenização Provado como NP-Completo, Dobrando os Desafios de Compressão de Dados

Um artigo publicado no arXiv prova a completude NP de duas variantes de tokenização, definida como o problema de comprimir um conjunto de dados para no máximo δ símbolos, encontrando um vocabulário diretamente (tokenização direta) ou selecionando uma sequência de operações de mesclagem (tokenização bottom-up). Essa descoberta tem implicações significativas para a compressão de dados e o processamento de linguagem natural, destacando o imenso desafio de resolver eficientemente o problema de tokenização para conjuntos de dados em larga escala.

Leia mais
(arxiv.org)
Desenvolvimento NP-completo tokenização compressão de dados

Gelo de Lago Norueguês: Um Retorno do Cocktail Após um Século

2025-02-18
Gelo de Lago Norueguês: Um Retorno do Cocktail Após um Século

No século XIX, a exportação de gelo americano para o Reino Unido impulsionou uma moda de bebidas geladas. Agora, Thomas Orderud, na Noruega, está revivendo essa tradição, colhendo gelo à mão do Lago Hemnes para criar gelo premium para coquetéis. Ele opera uma 'fazenda de gelo' que armazena blocos enormes e usa um braço robótico para esculpir várias formas. O gelo de lago de Orderud é puro, rigorosamente testado, e um estudo de energia mostra que é mais ecológico e transportável do que o gelo feito em máquina. Embora atualmente seja vendido apenas na Noruega, ele espera que sua história única e alta qualidade o impulsionem para o cenário internacional.

Leia mais
(vinepair.com)
Diversos gelo colhido à mão coquetéis

Origens Tóxicas, Decisões Tóxicas: Viés na Seleção de CEOs

2025-05-30
Origens Tóxicas, Decisões Tóxicas: Viés na Seleção de CEOs

Uma nova pesquisa revela que o viés na seleção de CEOs amplifica a tomada de riscos. CEOs nascidos perto de futuros locais de Superfund (expostos à poluição pré-natal) têm maior probabilidade de serem promovidos internamente, sugerindo que as empresas recompensam o sucesso aparente sem considerar a tolerância ao risco inerente. Esses 'CEOs do Superfund' se destacam internamente, mas adotam políticas externas mais arriscadas após a promoção, levando a maior volatilidade e desempenho mais fraco. O estudo indica que as empresas podem confundir sorte com habilidade, selecionando inadvertidamente tomadores de risco de alta variância cujas características só se tornam prejudiciais quando a tomada de decisões muda para domínios públicos e irreversíveis.

Leia mais
(papers.ssrn.com)
Startup Seleção de CEOs Tomada de riscos Risco ambiental

Cartél das Batatas Fritas: Quatro Empresas Controlam 97% do Mercado, Enfrentam Processos Antitruste

2025-01-07
Cartél das Batatas Fritas: Quatro Empresas Controlam 97% do Mercado, Enfrentam Processos Antitruste

O dono de um bar em Washington, D.C., descobriu que os quatro principais fornecedores de batatas congeladas – Lamb Weston, J.R. Simplot, McCain Foods e Cavendish Farms – aumentaram os preços quase simultaneamente em quantias quase idênticas. Isso desencadeou uma série de processos antitruste alegando conluio por meio da plataforma de análise de dados PotatoTrac, levando a um aumento vertiginoso nos preços das batatas fritas. Décadas de consolidação deixaram essas quatro empresas controlando 97% do mercado, prejudicando consumidores e pequenos negócios. O artigo explora o problema crescente de monopólios na indústria alimentícia e como a tecnologia facilita a manipulação de preços.

Leia mais
(jacobin.com)
Tecnologia monopólios na indústria alimentícia manipulação de preços

Microsoft Bing integra o Sora: Gerador de vídeo com IA gratuito chega

2025-06-10
Microsoft Bing integra o Sora: Gerador de vídeo com IA gratuito chega

A Microsoft integrou a tecnologia de geração de vídeo Sora da OpenAI em seu aplicativo móvel Bing, lançando o Bing Video Creator gratuito. Os usuários podem gerar vídeos curtos de 5 segundos simplesmente digitando prompts de texto. Embora atualmente seja limitado à geração de texto para vídeo e ofereça um número limitado de criações gratuitas, sua facilidade de uso e acessibilidade o tornam uma ferramenta atraente para criação casual de vídeos. Essa iniciativa não apenas oferece aos consumidores uma ferramenta conveniente para criação de vídeos, mas também abre possibilidades para usuários corporativos explorarem aplicações da geração de vídeo com IA, como resumos de vídeo automatizados, materiais de treinamento ou materiais de marketing.

Leia mais
(venturebeat.com)
Tecnologia

Renderizador Neural Suave com Triângulos Aprendíveis

2025-05-30

Esta pesquisa apresenta um novo método de renderização neural usando triângulos 3D aprendíveis como primitivas. Ao contrário das máscaras binárias tradicionais, ele emprega uma função de janela suave derivada do campo de distância com sinal 2D (SDF) do triângulo para modular suavemente a influência do triângulo nos pixels. Um parâmetro de suavidade, σ, controla a nitidez dessa função de janela, permitindo uma transição suave de uma máscara binária para uma aproximação de uma função delta. A imagem final é gerada pela mistura alfa das contribuições de todos os triângulos projetados. Todo o processo é diferenciável, permitindo a aprendizagem baseada em gradiente para otimizar os parâmetros do triângulo.

Leia mais
(trianglesplatting.github.io)
IA triângulos 3D campo de distância com sinal

Horas de Voo Anuais da British Airways

2025-06-27
Horas de Voo Anuais da British Airways

Este artigo detalha como os pilotos da British Airways registram suas horas de voo anuais. Ele explica os papéis dos pilotos (Comandante PIC, Piloto 2 P2, PIC sob Supervisão PICUS, etc.) e como, de acordo com os Procedimentos Operacionais Padrão (SOPs) da British Airways, as responsabilidades são compartilhadas entre o Capitão e o Primeiro Oficial durante um setor. Por exemplo, durante a descida, o Primeiro Oficial fará a aproximação até 1000 pés AGL, e então o Capitão assume o controle para o pouso. Todas as aproximações são aproximações monitoradas.

Leia mais
(jameshard.ing)
Diversos horas de voo papéis do piloto

arXivLabs: Colaboração da Comunidade em Novos Recursos do arXiv

2025-05-31
arXivLabs: Colaboração da Comunidade em Novos Recursos do arXiv

arXivLabs é uma estrutura que permite que desenvolvedores colaborem com a comunidade arXiv para criar e compartilhar novos recursos diretamente no site do arXiv. Os participantes devem manter os valores do arXiv de abertura, comunidade, excelência e privacidade dos dados do usuário. Tem uma ideia para melhorar a comunidade arXiv? Explore o arXivLabs.

Leia mais
(arxiv.org)
Desenvolvimento

Stack Error: Lidando com Erros de Forma Ergonômica em Rust

2025-05-18
Stack Error: Lidando com Erros de Forma Ergonômica em Rust

Stack Error é uma biblioteca Rust projetada para simplificar o tratamento de erros. Ela equilibra a facilidade de uso do `anyhow` com a flexibilidade e personalização do `thiserror`, fornecendo mensagens de erro informativas e dados tipados para facilitar a depuração e o tratamento de erros em tempo de execução. Usando macros e tipos de erro personalizados, Stack Error ajuda os desenvolvedores a construir aplicativos mais fáceis de manter, reduzindo a sobrecarga de gerenciamento de erros e permitindo que eles se concentrem na lógica principal.

Leia mais
(github.com)
Desenvolvimento biblioteca

Problemas de Links Fortes vs. Links Fracos: O Caso da Ciência

2025-02-08
Problemas de Links Fortes vs. Links Fracos: O Caso da Ciência

Este artigo explora os conceitos de 'problemas de links fortes' e 'problemas de links fracos'. Problemas de links fracos, como a segurança alimentar, dependem da qualidade do pior elo; problemas de links fortes, como o progresso científico, dependem da qualidade do melhor elo. Muitos erradamente tratam a ciência como um problema de link fraco, focando excessivamente na prevenção de pesquisas ruins, suprimindo assim trabalhos inovadores. O autor argumenta que isso decorre da intensa competição e preocupações com status na academia, levando, em última análise, à estagnação do progresso científico.

Leia mais
(www.experimental-history.com)
Tecnologia links fracos links fortes

Nevermind do Nirvana: O sucesso inesperado de um álbum construído em acordes maiores

2025-05-04

Em 1991, o Nevermind do Nirvana tornou-se inesperadamente uma sensação crítica e comercial. Suas guitarras cruas e som implacável cativaram os ouvintes. Mais de 30 anos depois, uma reavaliação revela um ingrediente-chave: o uso quase exclusivo de acordes maiores, evitando acordes menores e progressões de acordes complexas (7th, 2nd, 4th, 6th, 9th, dim, aug). Isso criou uma linguagem harmônica única, ousada e inovadora para a época. Curiosamente, Kurt Cobain aparentemente trabalhou intuitivamente, sem saber de nenhuma regra musical que estivesse seguindo. Isso demonstra o poder da emoção crua e do instinto transcendendo a proficiência técnica.

Leia mais
(farina00.github.io)
Jogos Análise Musical

Conjunto de dados de rejeição de chave de código aberto: uma solução robusta de rejeição

2025-05-04
Conjunto de dados de rejeição de chave de código aberto: uma solução robusta de rejeição

Este projeto de código aberto fornece uma coleção de traços de osciloscópio que ilustram o comportamento de rejeição de chave. Inclui vários tipos de chave (chave de balancim, botões, etc.) testados sob diferentes forças e velocidades de acionamento. Os dados estão disponíveis nos formatos CSV e PWL para uso no projeto e simulação de algoritmos de rejeição para circuitos e firmware. O conjunto de dados inclui descrições detalhadas da metodologia de teste e equipamentos, tornando-o um recurso valioso para engenheiros.

Leia mais
(github.com)
Hardware rejeição de chave rejeição conjunto de dados de código aberto

Migrando do AWS App Mesh para o Amazon ECS Service Connect

2025-01-21
Migrando do AWS App Mesh para o Amazon ECS Service Connect

A AWS está desativando o AWS App Mesh em 30 de setembro de 2026. Esta publicação detalha estratégias para migrar do App Mesh para o Amazon ECS Service Connect, um serviço gerenciado que oferece confiabilidade e observabilidade aprimoradas para microsserviços em contêineres. As principais diferenças entre os dois serviços são destacadas, incluindo verificações de integridade integradas, detecção de outliers e integração aprimorada do CloudWatch. Uma estratégia de implantação azul/verde é recomendada para minimizar o tempo de inatividade durante a migração. O artigo também compara recursos como roteamento de tráfego, observabilidade, segurança e compartilhamento de recursos.

Leia mais
(aws.amazon.com)
Desenvolvimento Migração de Microsserviços

Cofundador do Instagram critica IA por priorizar engajamento em vez de insights úteis

2025-05-07
Cofundador do Instagram critica IA por priorizar engajamento em vez de insights úteis

Kevin Systrom, cofundador do Instagram, criticou empresas de IA por priorizarem o engajamento do usuário em vez de fornecer informações genuinamente úteis. Ele comparou essas táticas às usadas por empresas de mídia social para crescimento agressivo, argumentando que prejudicam a experiência do usuário. Systrom observou que algumas empresas de IA sacrificam a qualidade das respostas para aumentar métricas como tempo de uso e usuários ativos diários. Ele instou as empresas de IA a se concentrarem em respostas de alta qualidade em vez de métricas facilmente manipuláveis. A OpenAI respondeu citando suas especificações de usuário, reconhecendo que seu modelo de IA pode não ter informações suficientes e exigir esclarecimentos.

Leia mais
(techcrunch.com)
IA engajamento

Reflexões Semanais de um Engenheiro de Dados: A Ascensão do Gemini e Novas Oportunidades em Dados

2025-05-26
Reflexões Semanais de um Engenheiro de Dados: A Ascensão do Gemini e Novas Oportunidades em Dados

Um engenheiro de dados sênior compartilha seus pensamentos e observações das últimas semanas, cobrindo novas tendências no campo de dados, recomendações para excelentes ferramentas e uma visão para inovação futura. Ele menciona a importância de conectar produtores e consumidores de dados e elogia o rápido desenvolvimento de modelos de linguagem grandes como o Gemini do Google. Ele também destaca oportunidades significativas de inovação em software financeiro, como agregação de dados e previsão de IA.

Leia mais
(erikheintare.substack.com)
Desenvolvimento

Equalizador de 5 Bandas a5eq.lv2 de Código Aberto Lançado

2024-12-18
Equalizador de 5 Bandas a5eq.lv2 de Código Aberto Lançado

ashafq lançou o a5eq.lv2, um plugin de equalizador de 5 bandas LV2 de código aberto. Este plugin possui uma prateleira baixa, três filtros de pico e uma prateleira alta, projetados para escultura de áudio precisa para engenheiros de áudio amadores e profissionais. Ele possui coeficientes de filtro de alta precisão, processamento estéreo e uma interface amigável. Compatível com qualquer software host que suporte LV2, como Ardour e Audacity, é facilmente instalado e usado via linha de comando. Os usuários podem enviar problemas ou contribuir com código via GitHub.

Leia mais
(github.com)
Desenvolvimento processamento de áudio equalizador

Versalhes: Poder e a Ausência de Alma no Design

2025-02-19

A construção de Versalhes surgiu do desejo de poder de Luís XIV e da inveja pelos magníficos jardins de seu antigo ministro das finanças. O autor usa isso como trampolim para discutir a falta de alma no design de produtos modernos. Ele argumenta que, assim como Versalhes é impressionante, mas sem vida, muitos produtos modernos priorizam a estética superficial e a funcionalidade, negligenciando a conexão emocional. O verdadeiro design, ele afirma, deve vir das experiências emocionais do designer, tirando inspiração de suas próprias profundezas, como um jardineiro cultivando o solo, para criar produtos cheios de vida. O artigo usa a arquitetura como exemplo, contrastando os sentimentos evocados pela Sagrada Família e um prédio de central telefônica, destacando a importância da emoção no design.

Leia mais
(www.doc.cc)
Design Emoção Produto
1 2 … 506 507 508 510 512 513 514 … 595 596