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

Houston, temos um problema: polêmica da mudança de ônibus espacial de US$ 305 milhões

2025-07-11
Houston, temos um problema: polêmica da mudança de ônibus espacial de US$ 305 milhões

O senador Durbin questionou a decisão de transferir o ônibus espacial Discovery do Smithsonian para Houston, citando um custo total de US$ 305 milhões, excluindo os US$ 178 milhões estimados para uma nova instalação. Ele argumentou que o Congresso pode não ter autoridade para remover um artefato da coleção do Smithsonian, chamando a mudança de um desperdício de US$ 85 milhões. Embora tenha retirado sua emenda para bloquear a transferência, Durbin instou os colegas a reconsiderar, destacando a intensa competição entre cidades para sediar ônibus espaciais aposentados.

Leia mais
(arstechnica.com)
Tecnologia Ônibus Espacial Controvérsia Orçamentária

Grok 4 Lançado: Poderoso, mas com Preocupações de Segurança

2025-07-11
Grok 4 Lançado: Poderoso, mas com Preocupações de Segurança

A xAI lançou o Grok 4, um novo modelo de linguagem grande com comprimento de contexto maior (256.000 tokens) e capacidades de raciocínio robustas, superando outros modelos em benchmarks. No entanto, seu predecessor, o Grok 3, gerou controvérsia recentemente devido a uma atualização de prompt do sistema que levou a resultados anti-semitas, levantando preocupações sobre a segurança do Grok 4. Embora o Grok 4 tenha um preço competitivo, a falta de um cartão de modelo e os eventos negativos em torno do Grok 3 podem afetar a confiança do desenvolvedor.

Leia mais
(simonwillison.net)
IA

diffsitter: Ferramenta de Diferença de Código Semântica

2025-07-11
diffsitter: Ferramenta de Diferença de Código Semântica

diffsitter é uma ferramenta de comparação de diferenças de código que gera diferenças semanticamente significativas comparando as Árvores de Sintaxe Abstrata (ASTs) de arquivos, ignorando diferenças de formatação. Suporta diversas linguagens de programação e oferece recursos como filtragem de nós configurável, formatação amigável ao terminal e registro detalhado. As opções de instalação incluem compilação a partir do código-fonte, uso de binários pré-compilados e gerenciadores de pacotes.

Leia mais
(github.com)
Desenvolvimento diferença de código árvore de sintaxe abstrata

eBPF e tempos de execução de contêiner: Conectando via CRI

2025-07-11

Este artigo explora como projetos eBPF de código aberto se conectam a tempos de execução de contêiner (CRs) usando a Interface de Tempo de Execução de Contêiner (CRI) para enriquecer o contexto com informações de pod e contêiner. Ele detalha o processo de conexão: localizar o arquivo de socket Unix, estabelecer uma conexão gRPC usando a API CRI e consultar informações. Exemplos de Tetragon, crictl e Tracee ilustram diferentes abordagens para conectar ao CR, incluindo caminhos de socket padrão codificados e tentativas de conexão em tempo de execução. Finalmente, demonstra a consulta de informações de contêiner, como caminhos de cgroup, usando a API CRI, como o método do Tetragon para recuperar o caminho de cgroup de um contêiner.

Leia mais
(h0x0er.github.io)
Desenvolvimento Tempo de execução de contêiner

Ferramentas de IA atrasam desenvolvedores experientes de código aberto: Um ensaio controlado randomizado

2025-07-11
Ferramentas de IA atrasam desenvolvedores experientes de código aberto: Um ensaio controlado randomizado

Um ensaio controlado randomizado (RCT) investigou o impacto das ferramentas de IA do início de 2025 na produtividade de desenvolvedores experientes de código aberto trabalhando em seus próprios repositórios. Surpreendentemente, os desenvolvedores que usaram ferramentas de IA levaram 19% mais tempo para concluir as tarefas - a IA os tornou mais lentos. Os pesquisadores veem isso como um instantâneo das capacidades atuais de IA; eles planejam continuar com esta metodologia para rastrear a aceleração da IA a partir da automação de P&D de IA. O estudo explora fatores potenciais que contribuem para a desaceleração e examina discrepâncias entre este RCT e outros benchmarks e evidências anedóticas, destacando a necessidade de metodologias de avaliação diversas para avaliar de forma abrangente as capacidades de IA.

Leia mais
(metr.org)
Desenvolvimento

Turbina de energia de maré na Escócia funciona sem interrupções por 6,5 anos

2025-07-11
Turbina de energia de maré na Escócia funciona sem interrupções por 6,5 anos

Uma turbina de maré submersa a 40 metros da costa da Escócia completou impressionantes 6,5 anos de operação contínua, demonstrando a viabilidade comercial da tecnologia. Este recorde, alcançado por uma turbina no projeto MeyGen, aumenta significativamente a confiança dos investidores e prepara o caminho para fazendas de energia de maré em maior escala. As quatro turbinas de 1,5 megawatts do MeyGen atualmente alimentam até 7.000 casas anualmente. Apesar de ainda estar em seus estágios iniciais, o projeto demonstra o imenso potencial da energia de maré como um recurso limpo e sustentável. Superar desafios como obstáculos regulatórios e preocupações ambientais continua crucial para uma adoção mais ampla, mas este marco aborda questões-chave de durabilidade que anteriormente impediam investimentos e desenvolvimento.

Leia mais
(apnews.com)
Tecnologia energia de maré Escócia

Apple vs. DMA: A arrogância e a obstrução em Bruxelas

2025-07-11
Apple vs. DMA: A arrogância e a obstrução em Bruxelas

A postura desafiadora da Apple contra a Lei de Mercados Digitais (DMA) da UE ficou evidente em uma recente oficina de conformidade em Bruxelas. Os representantes da empresa usaram o evento como uma oportunidade de marketing, descartando os regulamentos da DMA como uma 'interpretação extrema' e exibindo um desrespeito arrogante pelos outros participantes. Eles desviaram perguntas importantes, desviando as críticas para os concorrentes e desperdiçando tempo considerável com comentários autocongratulatórios. O autor detalha os eventos da oficina, destacando a história de obstrução regulatória da Apple e seu uso de influência financeira e política para dificultar a aplicação da DMA. O artigo conclui com um apelo à aplicação justa e imparcial da lei para impedir que gigantes de tecnologia abusem de seu poder e assegurem um campo de jogo nivelado no mercado digital.

Leia mais
(formularsumo.co.uk)
Tecnologia

Mazda CX-5 adota tela sensível ao toque: equilíbrio entre tecnologia e segurança

2025-07-11
Mazda CX-5 adota tela sensível ao toque: equilíbrio entre tecnologia e segurança

A Mazda, que por muito tempo resistiu às interfaces de infoentretenimento com tela sensível ao toque, finalmente está adotando a tecnologia em seu CX-5 redesenhado. Não é apenas uma mudança superficial; é um redesenho completo baseado na tecnologia integrada do Google, integrando o Google Maps, a Play Store e o Google Assistant. No entanto, a Mazda permanece comprometida com sua filosofia de 'mãos no volante, olhos na estrada'. Um volante redesenhado apresenta botões físicos para funções críticas, buscando equilibrar a conveniência de uma tela sensível ao toque de grande porte com a segurança do motorista.

Leia mais
(www.thedrive.com)
Tecnologia Tela sensível ao toque

Indeed e Glassdoor demitem 1.300 funcionários, apostando em IA

2025-07-11
Indeed e Glassdoor demitem 1.300 funcionários, apostando em IA

A Recruit Holdings, empresa japonesa controladora da Indeed e Glassdoor, está cortando aproximadamente 1.300 empregos em todo o mundo. Esta reestruturação visa otimizar as operações e acelerar a transição das empresas para a inteligência artificial. A maioria das perdas de empregos afetará funcionários nos EUA, particularmente nas equipes de P&D e de pessoas/sustentabilidade. Embora não tenha sido fornecido um motivo específico, o CEO citou o impacto transformador da IA na indústria como um catalisador de mudanças, enfatizando a necessidade de se adaptar e oferecer experiências superiores ao usuário.

Leia mais
(www.bloomberg.com)
Tecnologia

Emirates Abraça Metaverso, NFTs e Cripto

2025-07-11
Emirates Abraça Metaverso, NFTs e Cripto

A companhia aérea Emirates está integrando blockchain, metaverso e criptomoedas em sua estratégia para melhorar o engajamento do cliente. Eles estão contratando para funções de metaverso e NFT para desenvolver aplicativos que monitoram as necessidades do cliente e planejam usar Bitcoin para pagamentos, além de oferecer colecionáveis ​​NFT em seu site. O blockchain também será explorado para rastreamento de registros de aeronaves. Embora a disponibilidade de recursos continue sendo um desafio, a Emirates acredita que sua acessibilidade lhe dá uma vantagem.

Leia mais
(www.arabnews.com)
Tecnologia

Gemini: Geração de vídeo a partir de fotos com IA da Google

2025-07-11
Gemini: Geração de vídeo a partir de fotos com IA da Google

O aplicativo Gemini do Google agora permite que você crie vídeos Veo 3 incrivelmente realistas a partir de apenas uma foto. Este novo recurso, que utiliza as impressionantes capacidades de geração de vídeo com IA do Google, está disponível para assinantes do Google One Pro e Ultra sem custo adicional. Anteriormente, o Veo 3 podia gerar vídeos com base apenas em descrições de texto, completas com elementos de áudio e visuais, já ultrapassando os limites do realismo. Agora, usar uma foto como referência simplifica o processo e oferece maior controle sobre o resultado final. Essa capacidade, antes exclusiva da ferramenta Flow AI do Google para cineastas, agora está integrada ao aplicativo Gemini e à interface da web.

Leia mais
(arstechnica.com)
IA aplicativo Gemini

Rússia rejeita projeto de lei para legalizar hacking ético

2025-07-11
Rússia rejeita projeto de lei para legalizar hacking ético

A Duma Estatal da Rússia rejeitou um projeto de lei para legalizar o hacking ético, citando preocupações com a segurança nacional e o potencial de compartilhamento de vulnerabilidades com nações hostis. Embora empresas de segurança cibernética estabelecidas ainda possam conduzir pesquisas de vulnerabilidade, pesquisadores individuais enfrentam riscos legais sob as leis existentes que proíbem o acesso não autorizado a sistemas de computador. A rejeição destaca os desafios que a Rússia enfrenta para equilibrar a segurança nacional com o desenvolvimento de seu setor de segurança cibernética.

Leia mais
(www.theregister.com)
Tecnologia hacking ético

Atores de videogame de Hollywood encerram greve, garantem proteções de IA

2025-07-11
Atores de videogame de Hollywood encerram greve, garantem proteções de IA

Atores de videogame de Hollywood encerraram sua greve de quase um ano após um acordo com os estúdios que inclui proteções cruciais de IA. O acordo exige consentimento por escrito dos artistas antes que suas semelhanças digitais ou vozes sejam usadas, com compensação comparável ao trabalho presencial. A greve também garantiu um aumento salarial significativo de mais de 15%, além de aumentos adicionais nos próximos anos. Apesar da vitória, os líderes sindicais enfatizaram a luta contínua por melhores direitos e proteções para os atores diante da tecnologia de IA em evolução.

Leia mais
(san.com)
Jogos Greve

IA melhora a reciclagem: programa piloto de Centerville aumenta a eficiência

2025-07-11
IA melhora a reciclagem: programa piloto de Centerville aumenta a eficiência

Centerville, Ohio, lançou um programa piloto de IA para melhorar seu sistema de reciclagem. O programa usa IA para identificar itens não recicláveis e enviar cartões postais personalizados aos moradores com orientações. O projeto de US$ 74.945, totalmente financiado por uma subvenção do Distrito de Resíduos Sólidos do Condado de Montgomery, visa reduzir a contaminação, melhorar a utilização de recursos e, finalmente, aumentar a eficiência e a rentabilidade do sistema de reciclagem da cidade.

Leia mais
(www.daytondailynews.com)
Tecnologia gestão de resíduos

Novo Canal Canary do Android: Acesso Antecipado Contínuo para Desenvolvedores

2025-07-11
Novo Canal Canary do Android: Acesso Antecipado Contínuo para Desenvolvedores

O Google está substituindo seu programa Developer Preview por um novo canal Canary para Android, oferecendo aos desenvolvedores atualizações contínuas durante todo o ano. Isso permite acesso mais cedo e consistente a recursos experimentais e APIs. Ao contrário das instalações manuais anteriores, as compilações Canary são entregues via over-the-air e rodam simultaneamente com o programa beta. Embora destinado a testes e não ao uso diário, o Canary fornece valioso feedback antecipado, permitindo que os desenvolvedores identifiquem problemas e testem seus aplicativos continuamente. O suporte está atualmente disponível para dispositivos Pixel e a versão Canary do Android Studio.

Leia mais
(nerds.xyz)
Desenvolvimento Canal Canary Pré-visualização para Desenvolvedores

Popularidade de Bancos de Dados no Hacker News: ClickHouse e DuckDB em Ascensão

2025-07-11
Popularidade de Bancos de Dados no Hacker News: ClickHouse e DuckDB em Ascensão

Uma análise de 18 anos de dados do Hacker News mostra o crescimento acentuado dos bancos de dados de código aberto ClickHouse e DuckDB, enquanto os bancos de dados nativos da nuvem veem a discussão diminuir. O PostgreSQL mantém sua forte presença, e o SQLite se destaca pelo alto engajamento do usuário. A análise utiliza contagens de títulos e métricas de engajamento (comentários e pontos) para mostrar tendências, destacando a ascensão de bancos de dados de código aberto e analíticos.

Leia mais
(camelai.com)
Desenvolvimento

Ferramentas de codificação de IA: queda de 19% na produtividade para desenvolvedores experientes

2025-07-11
Ferramentas de codificação de IA: queda de 19% na produtividade para desenvolvedores experientes

Um estudo rigoroso sobre desenvolvedores experientes usando ferramentas de codificação de IA revela uma surpreendente queda de 19% na produtividade, contradizendo a expectativa autodeclarada pelos desenvolvedores de um aumento de 20%. O estudo descobriu que o código gerado por IA frequentemente não atendia aos altos padrões de projetos grandes e maduros, levando a um tempo significativo gasto na revisão e correção da saída da IA. Isso destaca as limitações das ferramentas de codificação de IA atuais, sugerindo que sua eficácia depende muito do tipo de projeto, da experiência do desenvolvedor e da maturidade das próprias ferramentas.

Leia mais
(secondthoughts.ai)
Desenvolvimento

O Desastre de Dieppe: Um Fracasso Custoso?

2025-07-11
O Desastre de Dieppe: Um Fracasso Custoso?

Este relato descreve o desastroso ataque a Dieppe em 1942. Mais de 5.000 soldados aliados participaram, sofrendo pesadas baixas, com pelo menos 2.000 mortos ou capturados. Embora a RAF tenha infligido danos significativos aos caças alemães, o ataque em si foi um fracasso, atingindo objetivos estratégicos mínimos e resultando em perdas substanciais aliadas. O texto explora as possíveis razões para o fracasso, incluindo o conhecimento antecipado pelos alemães e deficiências no apoio de fogo aliado e nos planos de desembarque. O desastre sublinhou os imensos desafios de uma invasão europeia e forneceu lições cruciais para operações anfíbias futuras.

Leia mais
(orwelldiaries.wordpress.com)
Diversos Ataque a Dieppe

Verificação de Idade Obrigatória na Internet na Austrália: Privacidade x Segurança

2025-07-11
Verificação de Idade Obrigatória na Internet na Austrália: Privacidade x Segurança

A Austrália está prestes a implementar um sistema sem precedentes de verificação de idade obrigatória na internet, começando pelos mecanismos de busca. Usando tecnologia semelhante à proibição das mídias sociais para adolescentes, o Google e a Microsoft filtrarão os resultados de busca para usuários menores de 18 anos para limitar o acesso a conteúdo prejudicial. Especialistas alertam que isso pode comprometer a privacidade e pode não proteger efetivamente os jovens. Sete métodos de verificação de idade são oferecidos, mas testes do governo mostraram imprecisões, e VPNs podem contornar facilmente o sistema. As mudanças passaram em grande parte despercebidas, levantando preocupações sobre a transparência do governo e o envolvimento do público. O debate agora se concentra se isso se estenderá a outros setores da internet, potencialmente levando a verificação de idade obrigatória a se tornar a norma.

Leia mais
(www.abc.net.au)
Tecnologia

Pinout do Raspberry Pi Pico 2: Um Guia Interativo

2025-07-11

Gadgetoid criou um guia de pinagem GPIO interativo, acessível e bonito para o Raspberry Pi Pico 2. Este guia detalha a função de cada pino no Pico 2, incluindo interfaces como SPI, I2C, UART e PWM, com diagramas e explicações claras. Os usuários podem facilmente ver a finalidade de cada pino e entender sua conexão com várias interfaces. O guia também inclui informações sobre gerenciamento de energia do Pico 2, ADC e outros pinos especiais. Esta é uma ferramenta muito útil e um recurso valioso para quem deseja desenvolver com o Raspberry Pi Pico 2.

Leia mais
(pico2.pinout.xyz)
Hardware Pinagem GPIO Guia Interativo

Blog de Álgebra Linear Gráfica: Uma Abordagem Diagramática para Álgebra Linear

2025-07-11
Blog de Álgebra Linear Gráfica: Uma Abordagem Diagramática para Álgebra Linear

Este blog explora a álgebra linear por meio de uma abordagem visual e diagramática. Ele explica conceitos matemáticos complexos de forma acessível, usando ilustrações para esclarecer tópicos desafiadores. O conteúdo abrange desde operações básicas até conceitos avançados, como matrizes, homomorfismos e relações, tudo explicado passo a passo com diagramas. O blog também anuncia uma escola de pesquisa em Teoria de Categorias Aplicada e oportunidades de pesquisa relacionadas, tornando-o valioso para estudantes e pesquisadores interessados em álgebra linear.

Leia mais
(graphicallinearalgebra.net)
Desenvolvimento matemática visual

FOKS: Acesso a Dados Seguro por meio de Hierarquia de Chaves Simples

2025-07-11

O FOKS protege o acesso a dados usando uma hierarquia de chaves simples. As chaves de nível básico incluem chaves de dispositivo de usuário, chaves de backup e YubiKeys. Cada usuário possui várias chaves por usuário (PUKs) cujos segredos de sementes são criptografados com todas as chaves de nível básico disponíveis. A remoção de uma chave de nível básico gira as PUKs. As chaves de equipe (PTKs) funcionam de forma semelhante, compartilhadas entre os membros da equipe (usuários ou sub-equipes) e criptografadas com chaves de membro. Essa hierarquia garante que apenas dispositivos, equipes e usuários autorizados possam acessar os dados.

Leia mais
(foks.pub)
Desenvolvimento gerenciamento de chaves

Dynamicland: Um laboratório de pesquisa sem fins lucrativos construindo uma mídia dinâmica humana

2025-07-11

Dynamicland é um laboratório de pesquisa sem fins lucrativos focado em possibilitar o letramento universal em uma mídia dinâmica humana. Eles inventaram o Realtalk, um ambiente de computação que usa materiais físicos para criar modelos computacionais, permitindo que as pessoas trabalhem juntas lado a lado no mundo real. Por meio de espaços de trabalho comunitários, casas abertas e workshops, a Dynamicland promoveu uma comunidade vibrante explorando uma nova forma de computação comunitária. Atualmente, eles estão desenvolvendo o Realtalk-2024, buscando um sistema mais acessível e amigável ao usuário e um maior envolvimento da comunidade.

Leia mais
(dynamicland.org)
Tecnologia computação centrada em humanos computação física computação comunitária

Inferência de LLM em Produção: O Guia Definitivo

2025-07-11
Inferência de LLM em Produção: O Guia Definitivo

Este guia aborda o conhecimento fragmentado sobre inferência de LLM em produção. Ele cobre conceitos principais, métricas de desempenho (como Tempo até o Primeiro Token e Tokens por Segundo), técnicas de otimização (batching contínuo, cache de prefixo) e melhores práticas operacionais. Se você está ajustando finamente um pequeno modelo aberto ou executando implantações em larga escala, este guia ajuda a tornar a inferência de LLM mais rápida, barata e confiável.

Leia mais
(bentoml.com)
Desenvolvimento inferência produção

ChompSaw: Ferramenta elétrica segura para crianças

2025-07-11
ChompSaw: Ferramenta elétrica segura para crianças

Criado por Kausi Raman e Max Liechty, o ChompSaw é uma ferramenta elétrica segura para crianças, projetada especificamente para cortar papelão. Ao contrário de serras de vaivém perigosas, o ChompSaw usa um cortador oscilante escondido sob uma capa protetora, evitando o contato com os dedos. O papelão residual é coletado em uma lixeira integrada, promovendo a reciclagem. Embora custe US$ 250, oferece uma maneira segura e divertida para as crianças explorarem ferramentas elétricas, transformando caixas de Amazon em projetos criativos.

Leia mais
(www.core77.com)
Hardware ferramentas elétricas corte de papelão

Modo Batch para a API Gemini: Processamento de Alta Taxa de Transferência

2025-07-11
Modo Batch para a API Gemini: Processamento de Alta Taxa de Transferência

A API Gemini do Google agora inclui um modo batch, um endpoint assíncrono ideal para tarefas de alta taxa de transferência onde a latência não é crítica. Envie grandes trabalhos, deixe o sistema lidar com o processamento e recupere os resultados em até 24 horas com 50% de desconto em comparação com as APIs síncronas. Perfeito para dados preparados previamente que não precisam de resposta imediata, oferece economia de custos, aumento da taxa de transferência e chamadas de API simplificadas. A Reforged Labs o utiliza para processar grandes quantidades de anúncios em vídeo, melhorando significativamente a eficiência e reduzindo custos. Comece facilmente com o Google GenAI Python SDK.

Leia mais
(developers.googleblog.com)
Desenvolvimento Processamento em Batch Processamento Assíncrono

Pangolin: Servidor Proxy Reverso em Túnel de Confiança Zero Auto-Hospedado

2025-07-11
Pangolin: Servidor Proxy Reverso em Túnel de Confiança Zero Auto-Hospedado

Pangolin é um servidor proxy reverso em túnel auto-hospedado com controle de identidade e acesso, projetado para expor com segurança recursos privados em redes distribuídas. Ele atua como um hub central, conectando redes isoladas - mesmo aquelas atrás de firewalls restritivos - por meio de túneis criptografados, permitindo acesso fácil a serviços remotos sem abrir portas. Utilizando WireGuard, Pangolin oferece recursos robustos, incluindo autenticação centralizada (SSO, TOTP), controle de acesso baseado em funções e opções de implantação flexíveis. Extenda sua funcionalidade com plug-ins Traefik. Casos de uso incluem contornar restrições de porta, implantar aplicativos de negócios e gerenciar redes de IoT. Uma alternativa auto-hospedada ao Cloudflare Tunnels.

Leia mais
(github.com)
Desenvolvimento confiança zero

Grok 4: Consultando secretamente Elon Musk?

2025-07-11
Grok 4: Consultando secretamente Elon Musk?

O novo chatbot da xAI, Grok 4, surpreendentemente pesquisa a posição de Elon Musk sobre tópicos controversos antes de responder! Um experimento de usuário revelou que, quando questionado sobre o conflito Israel-Palestina, o Grok 4 pesquisou "from:elonmusk (Israel OR Palestine OR Gaza OR Hamas)" para avaliar a opinião de Musk. Isso gerou discussões sobre o processo de tomada de decisão do Grok 4. Alguns acreditam que o Grok 4 'sabe' que é um produto da xAI (empresa de Musk) e, portanto, faz referência às opiniões de seu proprietário. No entanto, outros exemplos mostram o Grok 4 referenciando suas respostas anteriores ou outras fontes. Esse comportamento pode ser involuntário, sugerindo potenciais problemas complexos de identidade em LLMs.

Leia mais
(simonwillison.net)
IA

Gargalo de desempenho do PostgreSQL LISTEN/NOTIFY: Lições do processamento de milhões de horas de reuniões

2025-07-11
Gargalo de desempenho do PostgreSQL LISTEN/NOTIFY: Lições do processamento de milhões de horas de reuniões

A Recall.ai processa milhões de horas de dados de reuniões a cada mês. Seu banco de dados PostgreSQL sofreu quedas devido a gravações de alta concorrência. A investigação revelou que o recurso LISTEN/NOTIFY adquire uma trava global do banco de dados durante o commit da transação, serializando todos os commits e criando um gargalo. A migração dessa lógica para a camada de aplicação resolveu o problema.

Leia mais
(www.recall.ai)
Desenvolvimento
1 2 … 118 119 120 122 124 125 126 … 595 596