Builds do Docker Compose sem daemon usando Podman, BuildKit e um toque de Bakah

2025-08-21

Devido à incompatibilidade do Docker com nftables e à preferência por uma abordagem sem root e sem daemon, o autor usa o Podman para construir um projeto Docker Compose. O artigo explora as deficiências do uso do Docker Compose CLI oficial e do podman-compose, alcançando finalmente builds no Podman usando o Docker Compose CLI e o BuildKit, ativando o socket Podman e criando um contexto Docker. Para evitar um daemon BuildKit, o autor desenvolveu o Bakah, uma ferramenta que converte projetos Compose em arquivos JSON Bake e usa o Buildah para construir, resultando em um processo de build completamente sem daemon.

Leia mais
Desenvolvimento

Revitalizando seu Mavericks: Dando nova vida a um sistema antigo

2025-08-21

Este guia mostra como dar nova vida ao seu antigo sistema OS X Mavericks. Ele envolve um script simples para atualizar o sistema, substituindo o navegador desatualizado por um Firefox moderno (Firefox Dynasty), usando o Aqua Proxy para corrigir problemas de compatibilidade HTTPS, adicionando novos emojis e configurando backups do Time Machine. O guia também instrui os usuários a excluir aplicativos pré-instalados indesejados, como Chess, iTunes e iBooks, para uma experiência personalizada. Todo o processo é simples, fazendo com que seu sistema Mavericks funcione de forma mais suave e personalizada para suas necessidades.

Leia mais
Desenvolvimento

Cubix: O primeiro plataforma 3D para ZX Spectrum?

2025-08-21
Cubix: O primeiro plataforma 3D para ZX Spectrum?

Gogin lançou Cubix, um jogo para ZX Spectrum durante a competição YRGB 2025, que está sendo aclamado como o primeiro plataforma 3D para o console. O feito impressionante é alcançado através de uma manipulação inteligente de imagens 2D e pré-cálculo, criando uma mecânica de níveis rotativos semelhante ao Fez. Ao pré-calcular e armazenar dados para superar as limitações de hardware do ZX Spectrum, Gogin completou este jogo impressionante em apenas 4,5 meses. Cubix desafia os limites do que é possível neste clássico computador dos anos 80.

Leia mais

Combinatorialista Maligna e 16 Vinhos: Um Enigma de Teoria da Informação

2025-08-21

Preso na adega de uma combinatorialista maligna, você recebe 16 garrafas de vinho sem rótulo, cada uma de um ano diferente entre 0 e 15, e quatro dispositivos de medição binários. Cada dispositivo mede uma garrafa, fornecendo 0 ou 1. O objetivo é identificar o ano de cada vinho com 50 medições ou menos. Embora pareça exigir 64 medições, explorando a singularidade dos anos, uma abordagem de dividir e conquistar, começando medindo a maioria das garrafas com um dispositivo, dividindo-as em grupos com base no resultado e aplicando recursivamente o método, pode resolvê-lo em 49 medições. Este enigma combina habilmente teoria da informação e combinatória, mostrando como usar a assimetria de informação para reduzir o esforço computacional.

Leia mais

Infinito no CSS: Uma jornada curiosa pelas interpretações do navegador

2025-08-21
Infinito no CSS: Uma jornada curiosa pelas interpretações do navegador

Este artigo explora o comportamento peculiar da palavra-chave `infinity` nas funções de cálculo CSS. Ao aplicar `infinity` a propriedades como `text-indent`, `word-spacing` e `letter-spacing`, o autor descobre inconsistências em como diferentes navegadores lidam com valores infinitos, embora os resultados visuais levem consistentemente a um overflow horizontal. Mais intrigantemente, quando usado com `z-index`, o valor computado de `infinity` é limitado ao valor inteiro máximo em todos os navegadores, resultando em uma ordem de empilhamento inesperada. Finalmente, o autor experimenta `infinity` para a duração da animação, descobrindo que ele se traduz em tempos extremamente longos, causando até mesmo que o Safari torne a página não responsiva. Em resumo, o experimento revela as diferentes estratégias que os navegadores empregam no tratamento de valores infinitos em CSS e alguns efeitos colaterais surpreendentes.

Leia mais
Desenvolvimento Infinito

Fim do suporte ao Windows 10: Impacto no TurboTax Desktop

2025-08-21

A Microsoft encerrará o suporte técnico gratuito e as atualizações de segurança para o sistema operacional Windows 10 em 14 de outubro de 2025. Como resultado, o TurboTax Desktop 2025 só será compatível com o Windows 11 (64 bits). Usuários do Windows 10 precisarão atualizar para o Windows 11 ou mudar para o TurboTax Online para continuar usando o software de declaração de imposto.

Leia mais

Injeção de Dependência Elegante em OCaml: Uma Abordagem Orientada a Objetos

2025-08-21

Este artigo explora diferentes abordagens para injeção de dependência em OCaml e propõe uma nova solução orientada a objetos. O autor contrasta as deficiências dos métodos existentes usando efeitos definidos pelo usuário e módulos como valores de primeira classe, argumentando que eles são excessivamente verbosos e propensos a erros em aplicações do mundo real. A nova abordagem aproveita o poderoso modelo de objetos do OCaml, utilizando recursos como tipos de objetos estruturados e variáveis de linha para alcançar injeção de dependência com segurança de tipo, com composição e extensão fáceis. O artigo demonstra a elegância e a manutenibilidade deste método por meio de exemplos simples e mais complexos, comparando-o a outras abordagens e, por fim, recomendando o método orientado a objetos para cenários de injeção de dependência diretos.

Leia mais

Correios da Austrália suspende envios para os EUA em meio ao caos tarifário de Trump

2025-08-21
Correios da Austrália suspende envios para os EUA em meio ao caos tarifário de Trump

Os Correios da Austrália estão suspendendo alguns envios para os EUA devido às próximas tarifas da administração Trump, causando grandes problemas nas redes postais e varejistas em todo o mundo. Isso significa que produtos de outros países não poderão mais transitar pela Austrália para os EUA. A suspensão ocorre quando os EUA encerram sua isenção 'de minimis', adicionando tarifas a importações de baixo valor. As empresas de comércio eletrônico estão enfrentando confusão e muitos operadores postais estão correndo para se adaptar. Outros países também estão paralisando os envios para os EUA, destacando a incerteza em torno das mudanças tarifárias. Os Correios da Austrália estão explorando o uso de provedores terceirizados para lidar com os novos impostos.

Leia mais
Tecnologia envios

O Prazer da Rima Visual: Como Padrões na Arte Criam Prazer

2025-08-21
O Prazer da Rima Visual: Como Padrões na Arte Criam Prazer

Este artigo explora como a interação entre repetição e variação na arte cria prazer estético. Usando "Paris Street; Rainy Day", de Gustave Caillebotte, como principal exemplo, o autor analisa a repetição e variações sutis de formas geométricas como triângulos e retângulos, e como esses padrões desencadeiam a satisfação visual no cérebro. O artigo examina ainda a fotografia de Lee Friedlander, "Albuquerque, Novo México", e obras de Roni Horn e Ormond Gigli, argumentando que os padrões de repetição "iguais, mas diferentes" em várias formas de arte geram rimas visuais, levando ao prazer estético para o espectador.

Leia mais
Design

Instruções misteriosas `d4d4` no LLD: Não uma armadilha, mas um desvio condicional

2025-08-21

Um programador descobriu inúmeras instruções `d4d4` em código ARM desassemblado, sempre inacessíveis e identificadas pelo objdump do LLVM como um desvio relativo para -0x58. Experimentos e análises revelaram que essas não foram adicionadas pelo compilador LLVM, mas sim pelo vinculador LLD durante o alinhamento de limites de arquivos de objeto. O LLD usa `d4d4` como preenchimento, com a intenção de que seja uma instrução de armadilha. No entanto, é na verdade um desvio condicional, atuando como um salto relativo no conjunto de instruções Thumb. Isso parece ser um erro no LLD; não é uma armadilha verdadeira, podendo causar saltos imprevisíveis. O vinculador GNU usa zeros para preenchimento, evitando esse problema.

Leia mais
Desenvolvimento

illumos Cafe: Mais um Canto Acolhedor para a Diversidade de Sistemas Operacionais

2025-08-21
illumos Cafe: Mais um Canto Acolhedor para a Diversidade de Sistemas Operacionais

Após o sucesso do BSD Cafe, o projeto illumos Cafe foi lançado. Semelhante em espírito ao BSD Cafe, o illumos Cafe visa fornecer serviços rodando em sistemas operacionais baseados em illumos, demonstrando sua usabilidade e promovendo a diversidade de sistemas operacionais de código aberto. Atualmente, ele hospeda instâncias do Mastodon e snac, com planos para expandir os serviços. O projeto abraça uma filosofia positiva e inclusiva, buscando criar uma comunidade livre e independente, livre do controle de grandes empresas de tecnologia.

Leia mais

Vendedores virtuais de IA superam humanos no Taobao

2025-08-21
Vendedores virtuais de IA superam humanos no Taobao

Uma empresa de marketing de Xangai, a PLTFRM, criou avatares de IA que estão revolucionando o comércio eletrônico ao vivo na China. Esses vendedores de IA transmitem 24 horas por dia, 7 dias por semana, em plataformas como Taobao e Pinduoduo, superando consistentemente seus colegas humanos. A Brother, por exemplo, relatou um aumento de 30% nas vendas ao vivo depois de mudar para um avatar de IA. Embora plataformas como o Douyin permaneçam cautelosas, a adoção generalizada desses avatares de IA levanta preocupações sobre a possível substituição de empregos para vendedores ao vivo humanos e afiliados. A acessibilidade e o baixo custo da tecnologia estão impulsionando essa tendência, sugerindo um futuro dominado por conteúdo e vendas gerados por IA.

Leia mais

Atualização do Windows 11 em setembro: Melhorias no Copilot, Widgets Personalizáveis na Tela de Bloqueio

2025-08-21
Atualização do Windows 11 em setembro: Melhorias no Copilot, Widgets Personalizáveis na Tela de Bloqueio

A Microsoft está preparando uma grande atualização de recursos para os usuários do Windows 11 em setembro. A atualização inclui melhorias no Copilot, como Recall e Click To Do aprimorados, além de melhorias para todos os usuários, como a Pesquisa do Windows aprimorada (imagens exibidas em uma visualização em grade), widgets personalizáveis na tela de bloqueio e uma interface Windows Hello redesenhada. Além disso, o menu suspenso do calendário da barra de tarefas exibirá segundos novamente, e o Gerenciador de Tarefas foi atualizado. Usuários de PCs Copilot+ receberão uma nova página inicial do Recall e um novo tutorial do Click To Do. Atualizações futuras incluem um menu Iniciar mais personalizável e um modo escuro aprimorado em todo o sistema.

Leia mais
Tecnologia

Projeto ambicioso de sequenciamento genômico dos Emirados Árabes Unidos: mapeando o DNA da nação

2025-08-21
Projeto ambicioso de sequenciamento genômico dos Emirados Árabes Unidos: mapeando o DNA da nação

Abu Dhabi está expandindo significativamente seu projeto nacional de sequenciamento genômico, coletando DNA de recém-nascidos emiratenses, com o objetivo de colocar os Emirados Árabes Unidos na vanguarda dos cuidados de saúde. O projeto já mapeou os genomas de 68% dos cidadãos emiratenses, e o sequenciamento voluntário ao nascer é oferecido para detectar mais de 800 condições genéticas infantis tratáveis. Ao abordar a sub-representação global de genomas árabes (cerca de 1% mapeados), esta iniciativa aborda os desafios de saúde pública e expande os cuidados de saúde personalizados. A M42, empresa de IA apoiada pelo estado que dirige o projeto, está buscando colaborações com outras nações e empresas farmacêuticas para alavancar seu crescente conjunto de dados.

Leia mais

Assistente Google Home recebe atualização com o Gemini

2025-08-21
Assistente Google Home recebe atualização com o Gemini

O Google anunciou uma grande atualização para seu ecossistema doméstico inteligente Google Home: o 'Gemini for Home', um novo assistente de voz alimentado pela IA Gemini do Google, será lançado ainda este ano. Substituindo o atual Assistente Google, o Gemini for Home oferecerá uma compreensão de linguagem natural significativamente melhorada e interações mais intuitivas. Ele pode lidar com solicitações complexas, como "desligue todas as luzes, exceto no meu quarto", e criar sem problemas listas, entradas de calendário e lembretes. A adição do Gemini Live permite interações conversacionais mais fluidas. Embora os detalhes de preços para um possível nível premium não tenham sido divulgados, esta é provavelmente a atualização mais significativa do Google Home desde sua criação e provavelmente prenuncia novos lançamentos de hardware.

Leia mais
Tecnologia

Trump dá uma reviravolta: Convertendo subsídios do CHIPS Act em participações societárias

2025-08-21
Trump dá uma reviravolta: Convertendo subsídios do CHIPS Act em participações societárias

Trump, que anteriormente jurou acabar com o CHIPS Act, agora planeja transformar seu financiamento em investimentos de participação acionária em fabricantes de chips dos EUA. Essa mudança surpreendente gerou um debate considerável. O plano envolve converter subsídios já aprovados (mas na maioria não desembolsados) da administração Biden em participações acionárias em empresas como a Intel, dando aos contribuintes americanos uma parte nos lucros. Essa estratégia é vista como um possível equilíbrio entre responsabilidade fiscal e a segurança da dominância dos EUA em semicondutores, mas também pode introduzir incerteza para outras empresas que buscam subsídios federais e potencialmente impactar sua eficiência operacional.

Leia mais

Pixel Watch 4: A Evolução do 'Companheiro Essencial' do Google

2025-08-21
Pixel Watch 4: A Evolução do 'Companheiro Essencial' do Google

O Google Pixel Watch 4 apresenta atualizações significativas de hardware e software. O novo relógio possui bordas mais finas, uma tela mais brilhante e uma vida útil da bateria aprimorada. Também possui um inovador carregador lateral e oferece tela e bateria substituíveis e reparáveis. Em termos de software, o Pixel Watch 4 integra o Gemini AI para um assistente de voz mais poderoso e um treinador de saúde personalizado, juntamente com um recurso de chamada de emergência por satélite SOS. Em essência, o Pixel Watch 4 representa um grande passo à frente do Google na área de smartwatches, buscando entregar um "companheiro essencial" durável e repleto de recursos.

Leia mais
Tecnologia

Masimo processa Alfândega dos EUA para bloquear recurso de oxigênio no sangue do Apple Watch

2025-08-21
Masimo processa Alfândega dos EUA para bloquear recurso de oxigênio no sangue do Apple Watch

Após um processo por violação de patente da Masimo, o recurso de oxigênio no sangue do Apple Watch da Apple foi inicialmente proibido. Embora a Apple tenha desativado o recurso por meio de software, ela o reativou recentemente, chamando-o de recurso "redesenhado". A Masimo agora alega que a Alfândega e Proteção de Fronteiras dos EUA (CBP) extrapolou sua autoridade e violou o devido processo ao permitir que a Apple restaurasse a funcionalidade. O processo visa impedir a decisão da CBP e restabelecer a proibição original. A questão central é se a CBP violou o devido processo e se o recurso "redesenhado" da Apple ainda constitui violação de patente.

Leia mais
Tecnologia Processo de Patente

Purificadores de ar portáteis: a realidade por trás do marketing

2025-08-21
Purificadores de ar portáteis: a realidade por trás do marketing

Uma revisão de quase 700 estudos revela que muitos purificadores de ar portáteis comercializados para reduzir a propagação de infecções em ambientes fechados carecem de testes em humanos para comprovar sua eficácia. A maioria dos estudos testou o desempenho do dispositivo em espaços desocupados, negligenciando o impacto nas taxas de infecção humana e os potenciais subprodutos prejudiciais. Tecnologias como oxidação fotocatalítica e métodos baseados em plasma mostram promessa na remoção de micróbios do ar, mas carecem de dados de testes em humanos para confirmar sua eficácia na prevenção de infecções. Os pesquisadores pedem testes rigorosos de eficácia e segurança para proteger os consumidores e a saúde pública.

Leia mais
Tecnologia purificadores de ar

Motor 3D CSS Puro: Construindo Mundos 3D Realistas com Elementos HTML

2025-08-21
Motor 3D CSS Puro: Construindo Mundos 3D Realistas com Elementos HTML

Um desenvolvedor passou meses criando uma demonstração de ambiente 3D impressionante usando apenas transformações CSS 3D, elementos HTML e JavaScript. A demonstração inclui modelos complexos, iluminação e sombras realistas e até mesmo detecção de colisão. O artigo detalha os aspectos técnicos, incluindo a criação de objetos 3D a partir de elementos retangulares, usando inteligentemente gradientes e canvas para efeitos de iluminação e sombra, e detecção de colisão baseada em mapa de altura. Isso não é apenas uma demonstração técnica; mostra o imenso potencial do CSS no campo dos gráficos 3D.

Leia mais
Desenvolvimento Motor 3D

Imersão na Arquitetura do Bluesky: Uma Rede Social Descentralizada por Dentro

2025-08-21
Imersão na Arquitetura do Bluesky: Uma Rede Social Descentralizada por Dentro

Este artigo mergulha profundamente na arquitetura do protocolo ATProto que alimenta a rede social descentralizada Bluesky. Ele explica minuciosamente conceitos essenciais como Registros, Blobs, Léxicos, DIDs e Handles, e detalha como os componentes do servidor, como PDS (Servidor de Dados Pessoais), Relay, AppView, Labellers e Geradores de Feeds, trabalham juntos. O autor contrasta o ATProto com o Fediverse e fornece uma visão geral de SDKs, documentação e recursos da comunidade relevantes, oferecendo aos desenvolvedores um guia abrangente para entender e contribuir para o ecossistema Bluesky.

Leia mais
Desenvolvimento

Organizações sem fins lucrativos de tecnologia: por que são tão ruins em arrecadar fundos?

2025-08-21

O autor, um filantropo regular, observa que as organizações sem fins lucrativos de tecnologia são significativamente piores em atrair doadores do que outros tipos de instituições de caridade. Esta postagem analisa as deficiências, destacando a necessidade de organizações sem fins lucrativos de tecnologia simplificarem os processos de doação (oferecendo métodos diversos como cartões de crédito, DAFs, etc.), comunicarem claramente o impacto das doações (detalhando metas organizacionais, finanças, progresso do projeto e uso de fundos) e promoverem uma conexão humana mais forte (envolvendo-se proativamente com os doadores e construindo relacionamentos). O autor defende que as organizações sem fins lucrativos de tecnologia aprendam com modelos de sucesso em outros setores para melhorar seus esforços de arrecadação de fundos e alcançar suas missões.

Leia mais

Engenheiro de IA na Bay Area: Construindo um Sistema de Detecção de Fraudes com IA

2025-08-21
Engenheiro de IA na Bay Area: Construindo um Sistema de Detecção de Fraudes com IA

A Coris está contratando engenheiros de IA experientes para construir um sistema de detecção de fraudes com IA para o comércio global. As responsabilidades incluem o ajuste fino e a otimização de LLMs para detecção de fraudes, a construção de serviços de back-end Django de alto desempenho e o tratamento de grandes volumes de dados de processadores de pagamento como Stripe e Adyen. O candidato ideal possui 3+ anos de experiência em Python/Django, experiência em otimização de LLM e detecção de fraudes e a capacidade de garantir baixa latência e baixo custo em ambientes de alta concorrência.

Leia mais

Zedless: Um fork do Zed focado em privacidade e local-first

2025-08-21
Zedless: Um fork do Zed focado em privacidade e local-first

Zedless é um fork do Zed em desenvolvimento, projetado para priorizar a privacidade e ser local-first. Ele remove a dependência de serviços de nuvem proprietários, telemetria e relatórios automáticos de falhas. Prioriza a infraestrutura própria, permitindo que os usuários configurem os provedores para serviços de rede (sem padrões e desabilitados por padrão). Importante: evita acordos de licença de contribuidor e garante a licenciamento adequado de todas as dependências de terceiros.

Leia mais
Desenvolvimento

Formalizando o Último Teorema de Fermat no Lean: Um Projeto Open Source Colaborativo

2025-08-21

Uma colaboração internacional liderada por Kevin Buzzard está empreendendo a tarefa ambiciosa de provar formalmente o Último Teorema de Fermat usando o verificador de teoremas Lean. Financiado pelo Conselho de Pesquisa em Engenharia e Ciências Físicas do Reino Unido e sediado no Imperial College London, este projeto explora os limites da verificação de provas matemáticas. Ao usar um computador para verificar a prova, o projeto explora o potencial da formalização e da verificação automatizada em matemática, com implicações para pesquisas futuras.

Leia mais
Desenvolvimento

Bateria Infinita da Gouach: Quebrando a Criptografia da Bosch e Reinventando a Energia de E-bikes

2025-08-21
Bateria Infinita da Gouach: Quebrando a Criptografia da Bosch e Reinventando a Energia de E-bikes

Após superar contratempos iniciais, a Gouach desenvolveu a Bateria Infinita com classificação IP67, obtendo mais de US$ 3,7 milhões em financiamento por meio do Indiegogo e de capital de risco. Essa bateria modular é compatível com várias e-bikes, superando o desafio da comunicação criptografada com motores Bosch mid-drive. Os apoiadores da UE devem receber seus kits em junho, com entregas nos EUA e uma loja online aberta a seguir. A abordagem inovadora da Gouach, tratando baterias de e-bikes como componentes modulares em vez de unidades monolíticas, representa uma potencial mudança de paradigma na indústria.

Leia mais

SimpleIDE: Levando o desenvolvimento profissional VB.NET para o Linux

2025-08-21
SimpleIDE: Levando o desenvolvimento profissional VB.NET para o Linux

SimpleIDE é um IDE VB.NET leve e profissional, construído com GTK# 3 no Linux usando .NET 8.0. Ele fornece um ambiente de desenvolvimento moderno para projetos VB.NET, com edição em guias de vários arquivos, realce de sintaxe, conclusão inteligente de código, sistema de build integrado, recursos de depuração e assistência de IA Claude. O SimpleIDE também possui integração Git, temas personalizáveis e atalhos de teclado extensos. Este projeto de código aberto recebe contribuições.

Leia mais
Desenvolvimento

Folha de dicas do f-string do Python: Dominando a formatação de strings

2025-08-21

Esta postagem de blog apresenta uma folha de dicas para a formatação f-string do Python, cobrindo várias opções de formatação para números, inteiros e strings, incluindo preenchimento, largura, agrupamento, precisão e tipo. Também explora modificadores comuns a todos os objetos, como !s, !r, !a, e como misturar e combinar esses modificadores com outras especificações de formatação. Se você trabalha com números, inteiros ou strings, esta folha de dicas permite que você utilize facilmente o poder das f-strings do Python, melhorando a legibilidade e a eficiência do código.

Leia mais
Desenvolvimento formatação de strings

Dinamarca elimina imposto sobre livros para combater 'crise de leitura'

2025-08-21
Dinamarca elimina imposto sobre livros para combater 'crise de leitura'

Diante de uma crescente 'crise de leitura', a Dinamarca eliminará seu imposto de 25% sobre vendas de livros - o mais alto da Europa. Essa medida, que custará ao estado cerca de US$ 51 milhões anualmente, visa aumentar as vendas de livros e as taxas de leitura. A decisão segue um relatório da OCDE que revelou que 24% dos dinamarqueses de 15 anos têm dificuldades com a compreensão de leitura básica, um aumento de quatro pontos percentuais em uma década. A indústria editorial dinamarquesa havia defendido a redução de impostos, enfatizando a necessidade de livros físicos acessíveis para todos.

Leia mais

UTCP 1.0.1: Um Protocolo Universal de Chamada de Ferramentas Flexível e Escalável

2025-08-21
UTCP 1.0.1: Um Protocolo Universal de Chamada de Ferramentas Flexível e Escalável

O Universal Tool Calling Protocol (UTCP) 1.0.1 é um padrão moderno, flexível e escalável para definir e interagir com ferramentas em uma ampla variedade de protocolos de comunicação. Seu núcleo modular e arquitetura baseada em plug-ins o tornam mais extensível, testável e fácil de empacotar. O UTCP enfatiza escalabilidade, interoperabilidade e facilidade de uso, oferecendo plug-ins para HTTP, SSE, CLI e muito mais. A nova versão apresenta uma arquitetura refatorada que separa a biblioteca principal dos plug-ins opcionais, juntamente com uma estratégia de pesquisa aprimorada e um mecanismo de substituição de variáveis.

Leia mais
1 2 25 26 27 29 31 32 33 564 565