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

Adobe Acrobat Studio: IA recria o PDF, abrindo caminho para uma nova era de software?

2025-08-21
Adobe Acrobat Studio: IA recria o PDF, abrindo caminho para uma nova era de software?

O lançamento do PDF pela Adobe em 1993 revolucionou o manuseio de documentos. Agora, a Adobe integra IA generativa no Acrobat Studio, introduzindo 'Espaços PDF' e um assistente de IA, com o objetivo de redefinir o PDF. Isso não é apenas uma atualização de recursos; é um evento marcante que indica a profunda integração da IA em softwares do cotidiano. Embora a funcionalidade de IA esteja chamando a atenção, as preocupações com o impacto da IA permanecem. Se a iniciativa da Adobe liderará o setor como seu suporte à transparência fez, ainda está por ver, mas, inegavelmente, marca a chegada da era de software dominada pela IA.

Leia mais
(www.wired.com)
Tecnologia

Papa Francisco morre aos 88 anos

2025-04-21
Papa Francisco morre aos 88 anos

O Vaticano anunciou a morte do Papa Francisco aos 88 anos. Ele se tornou Papa em 2013, sucedendo Bento XVI. Sua morte ocorre após anos de preocupações com a saúde e uma longa internação no hospital no início deste ano. Conhecido por sua compaixão pelos pobres e marginalizados, ele era frequentemente chamado de "Papa do Povo". Sua morte será lamentada por cerca de 1,4 bilhão de católicos em todo o mundo.

Leia mais
(news.sky.com)
Diversos

Nvidia está eliminando gradualmente as GPUs Maxwell, Pascal e Volta

2025-01-25
Nvidia está eliminando gradualmente as GPUs Maxwell, Pascal e Volta

A Nvidia está eliminando gradualmente suas arquiteturas de GPU Maxwell, Pascal e Volta, movendo-as para um branch de driver legado. Embora o suporte CUDA permaneça, essas GPUs não receberão mais atualizações de recursos. O anúncio marca o fim de uma era para as placas da série GTX, com apenas a série GTX 16 e arquiteturas mais novas recebendo suporte total no futuro. Embora o suporte ao driver de jogo para Maxwell e Pascal ainda exista, o cronograma para sua finalização ainda não está claro. Isso significa que não haverá mais melhorias de desempenho para os usuários dessas placas mais antigas.

Leia mais
(www.tomshardware.com)
Hardware suporte de driver

Gripe aviária fora de controle: falhas do governo e da indústria preparam o cenário para uma pandemia

2025-01-13
Gripe aviária fora de controle: falhas do governo e da indústria preparam o cenário para uma pandemia

Os EUA estão lidando com um surto de gripe aviária fora de controle que se espalhou para o gado e até mesmo para humanos. A ação federal lenta, a deferência à indústria e a negligência com a segurança dos trabalhadores permitiram que o vírus se espalhasse por 16 estados, infectando mais de 860 rebanhos. Especialistas expressam profunda preocupação, temendo que o surto se torne uma pandemia. As investigações revelam falhas importantes: priorização da indústria agrícola em detrimento da saúde pública, financiamento inadequado, desrespeito à segurança dos trabalhadores agrícolas e intervenções federais tardias. Apesar de bilhões gastos, o vírus persiste, ameaçando a devastação econômica e uma possível pandemia. O artigo insta a uma ação rápida, incluindo melhor proteção aos trabalhadores, vigilância aprimorada e uma abordagem mais proativa para evitar um resultado catastrófico.

Leia mais
(www.scientificamerican.com)
Tecnologia Falha da Saúde Pública

Loglan'82: Uma Linguagem de Programação para Programação Orientada a Objetos e Distribuída

2025-04-18

Loglan'82 é uma linguagem de programação projetada para programação orientada a objetos e distribuída, com recursos que superam outras linguagens. Seu sistema de gerenciamento de objetos exclusivo, seguro e eficiente, suporte para classes modulares, corrotinas e threads, e capacidade de distribuir computações em uma rede de máquinas virtuais o diferenciam. Loglan'82 oferece um protocolo original de comunicação e sincronização baseado em objetos, chamado 'alien call', e resolve problemas complexos em gerenciamento de objetos, semântica de corrotinas e computação distribuída. É adequada para programadores ambiciosos, educadores e pesquisadores.

Leia mais
(lem12.uksw.edu.pl)
Desenvolvimento programação orientada a objetos

Literatura Infantil: Uma Resistência ao Mercado e um Motor de Maravilhas

2025-01-31
Literatura Infantil: Uma Resistência ao Mercado e um Motor de Maravilhas

Este ensaio explora a evolução e a importância da literatura infantil. De suas origens como manuais de instrução moral aos trabalhos imaginativos e diversos de hoje, a literatura infantil deixou de regular as crianças para se concentrar em suas necessidades e imaginações reais. O autor argumenta que a grande literatura infantil não apenas traz alegria, mas também cultiva o pensamento crítico, a consciência moral e uma compreensão profunda do mundo, oferecendo um baluarte contra a negatividade e, finalmente, servindo como um motor de maravilhas e esperança.

Leia mais
(www.lrb.co.uk)
Diversos literatura infantil imaginação

Revolucionando o Fluxo de Trabalho: O Poder de um CHANGELOG Público

2024-12-22

O engenheiro da AWS, Daniel Doubrovkine, compartilha sua experiência com a manutenção de um CHANGELOG público de seu trabalho. Ao documentar abertamente suas tarefas semanais, ele promove transparência e colaboração. Essa prática gerou benefícios significativos: reuniões individuais mais produtivas, integração mais tranquila para novos engenheiros, acesso fácil ao trabalho anterior, autorreflexão aprimorada e aumento da confiança entre os colegas. Ele incentiva outros a adotarem essa abordagem e compartilha seu método simples de registro, juntamente com um script Ruby para gerar uma tabela de conteúdo anual.

Leia mais
(code.dblock.org)
Desenvolvimento registro de trabalho

Tarefa Impossível: Dissecar um Quadrado em um Número Ímpar de Triângulos de Área Igual

2025-04-19

Este artigo explora um problema geométrico aparentemente simples: um quadrado pode ser dissecado em qualquer número de triângulos com áreas iguais? A resposta, surpreendentemente, é complexa. Em 1970, Paul Monsky provou que é impossível dissecar um quadrado em um número ímpar de triângulos de área igual. A prova combina de forma inteligente o Lema de Sperner e as avaliações 2-ádicas. Ao colorir de forma engenhosa os vértices dos triângulos e analisar o número de fatores de 2 na área do triângulo usando a avaliação 2-ádica, chega-se a uma contradição, provando a proposição.

Leia mais
(mathmondays.com)
Diversos

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
(www.ycombinator.com)
IA Detecção de Fraudes

Lógica para Programadores: Uma Introdução Suave ao Cálculo de Sequentes

2025-01-22

Esta postagem, a primeira de uma série sobre lógica, introduz o cálculo de sequentes como um sistema poderoso para raciocínio. Usando a notação de Gentzen, o autor explica como representar inferências lógicas simbolicamente, cobrindo regras de inferência, árvores de derivação e metavariáveis. O artigo compara o cálculo de sequentes, a dedução natural de sequentes e a dedução natural, e aborda o cálculo de sequentes unilateral e a lógica intuicionista. Finalmente, ele apresenta brevemente os termos de prova na lógica intuicionista e sua conexão com o lambda cálculo simplesmente tipado.

Leia mais
(ryanbrewer.dev)
Desenvolvimento Lógica Cálculo de Sequentes Teoria de Tipos

Mercado global de spyware se expande apesar dos esforços regulatórios: novos players, novos canais e desafios crescentes

2025-09-12
Mercado global de spyware se expande apesar dos esforços regulatórios: novos players, novos canais e desafios crescentes

Um novo relatório revela a expansão e a complexificação do mercado global de spyware. Novos fornecedores, revendedores e fornecedores estão surgindo constantemente, incluindo empresas de Israel, Itália e outras, além de empresas de fachada conectadas a produtos NSO. Esses intermediários obscurecem as conexões entre fornecedores, fornecedores e compradores, tornando a regulamentação e a responsabilização extremamente difíceis. O relatório também descobre que países como Japão, Malásia e Panamá estão envolvidos em atividades de spyware, conflitando com os compromissos internacionais de algumas nações. Apesar dos esforços do governo dos EUA, o mercado de spyware continua a prosperar, com desafios regulatórios significativos restantes.

Leia mais
(arstechnica.com)
Tecnologia regulamentação global mercado global

20 Anos de Assinatura de Código do Firefox: Do Manual para o Automatizado

2025-02-07

Este artigo relata a evolução da assinatura de código do Firefox na Mozilla nos últimos 20 anos. Inicialmente, o processo era extremamente manual, exigindo máquinas físicas, pen drives e muitas etapas feitas à mão. Com os avanços tecnológicos, a Mozilla automatizou a assinatura, passando de scripts aprimorados para servidores de assinatura dedicados e, finalmente, adotando o Taskcluster e o serviço Autograph. Hoje, a assinatura de código do Firefox ocorre milhares de vezes por dia, melhorando significativamente a segurança do software.

Leia mais
(hearsum.ca)
Desenvolvimento

Rascunhe mensagens de texto do seu teclado de computador

2025-08-29
Rascunhe mensagens de texto do seu teclado de computador

Cansado de digitar mensagens longas no pequeno teclado do seu telefone? Esta ferramenta baseada em navegador permite que você redija e envie SMS e iMessages usando qualquer teclado de computador. Basta digitar sua mensagem e ela gerará um código QR que você pode escanear com o seu telefone para enviar. Suporta vários destinatários (separados por vírgula), e códigos internacionais são recomendados, mas nem sempre são necessários. Mesmo que você não conheça o número do destinatário, escaneie o código QR e preencha os destinatários no seu telefone usando o recurso de preenchimento automático. Todo o processamento de dados acontece no seu navegador; nada é enviado para um servidor. Experimente!

Leia mais
(sethmlarson.dev)
Desenvolvimento

Yhangry: Mercado de Chefs Privados Apoiado pela YC Contrata Engenheiro Full-Stack

2025-03-09
Yhangry: Mercado de Chefs Privados Apoiado pela YC Contrata Engenheiro Full-Stack

Yhangry, um Airbnb para chefs privados, conecta usuários com chefs para eventos. Com crescimento 8x em dois anos, US$ 4 milhões em investimento inicial e lucratividade, eles estão contratando um engenheiro full-stack experiente. A vaga envolve expansão internacional e desenvolvimento de recursos principais em seu escritório em Londres, oferecendo um salário competitivo.

Leia mais
(www.ycombinator.com)
Desenvolvimento Chef Privado

Chronicle: Um Kit de Ferramentas Pragmático de Event Sourcing em Go

2025-09-01
Chronicle: Um Kit de Ferramentas Pragmático de Event Sourcing em Go

Chronicle é um kit de ferramentas de event sourcing pragmático e com segurança de tipos para Go. Ele simplifica o controle de versão com `aggregate.Base` embutido, garantindo segurança de tipos com tipos de soma. Com suporte a vários backends (memória, SQLite, PostgreSQL), Chronicle aborda a concorrência com bloqueio otimista, melhora o desempenho com snapshots e oferece recursos como metadados de eventos e transformadores para criptografia e transformação de dados. Essa biblioteca robusta simplifica o event sourcing moderno em aplicações Go.

Leia mais
(github.com)
Desenvolvimento

Business Insider permite que jornalistas usem IA para rascunhos, sem aviso prévio

2025-09-17
Business Insider permite que jornalistas usem IA para rascunhos, sem aviso prévio

O Business Insider tornou-se um dos primeiros grandes veículos de notícias a permitir formalmente que jornalistas usem IA para criar rascunhos de reportagens, sem a necessidade de divulgação aos leitores. Memos internos revelam que a IA pode ser usada como ferramenta para pesquisa e edição de imagens, mas os jornalistas são responsáveis por garantir que o produto final seja seu próprio trabalho. Embora conteúdo gerado por IA ou não verificado seja sinalizado, artigos que usam IA para rascunhos não o declararão explicitamente. Essa medida reflete a adoção agressiva de IA pelo Business Insider, apesar de controvérsias anteriores relacionadas a conteúdo gerado por IA.

Leia mais
(www.theverge.com)
Tecnologia jornalismo com IA indústria de mídia

Queda de F-35: Ligação em voo de 50 minutos não consegue salvar jato de US$ 200 milhões

2025-08-27
Queda de F-35: Ligação em voo de 50 minutos não consegue salvar jato de US$ 200 milhões

Um caça F-35 caiu no Alasca devido ao gelo no trem de pouso que impediu sua correta implantação. O piloto passou 50 minutos em uma teleconferência com engenheiros da Lockheed Martin tentando solucionar o problema antes de ejetar. A investigação revelou contaminação significativa de água no sistema hidráulico da aeronave e falha em atender aos avisos sobre problemas de sensores em clima extremamente frio, levando à tomada de decisões falhas e à perda da aeronave de US$ 200 milhões.

Leia mais
(www.cnn.com)
Tecnologia queda de caça

As Turfeiras Irlandesas: Uma Transição Justa Entre Tradição e Imperativos Ambientais

2025-04-20
As Turfeiras Irlandesas: Uma Transição Justa Entre Tradição e Imperativos Ambientais

A eliminação gradual da queima de turfa na Irlanda para atingir as metas climáticas gerou um debate sobre o futuro de suas turfeiras. Esta entrevista com o geógrafo humano Breandán Ó Caoimh explora os impactos sociais, culturais e econômicos dessa transição. Ó Caoimh enfatiza a necessidade de equilibrar a redução da exploração comercial de turfa com o respeito às necessidades das comunidades rurais que dependem da turfa. Ele defende uma abordagem mais inclusiva, guiando a transição por meio do diálogo e de incentivos, em vez de medidas punitivas. Ele também pede uma abordagem de governança mais descentralizada, dando poder às comunidades locais para desenvolver soluções adaptadas às suas circunstâncias específicas. Em última análise, a Irlanda precisa equilibrar a conservação ambiental com a sustentabilidade econômica para as comunidades rurais, exigindo colaboração entre o Estado, o setor privado, as comunidades e os proprietários de terras.

Leia mais
(worldsensorium.com)
Diversos turfeiras desenvolvimento rural

Pontos de inflexão climática: simplificação e desafios em sistemas complexos

2025-09-19
Pontos de inflexão climática: simplificação e desafios em sistemas complexos

Cientistas descobriram mudanças dramáticas na história do clima da Terra, como a transformação do Deserto do Saara de um Éden exuberante para um mar de areia. O conceito de 'pontos de inflexão' foi introduzido para descrever essas mudanças grandes e abruptas. Apesar da extrema complexidade do sistema climático global, pesquisas sugerem que perto dos pontos de inflexão, sistemas complexos simplificam seu comportamento, assemelhando-se a sistemas de dimensão inferior. No entanto, prever mudanças climáticas futuras continua sendo um desafio, pois os cientistas não conseguem observar diretamente vários estados da Terra e precisam fazer muitas suposições sobre as relações entre variáveis, novos estados de equilíbrio e a natureza dos próprios pontos de inflexão.

Leia mais
(www.quantamagazine.org)
Tecnologia pontos de inflexão

Primeiro Raio Induzido por Drone com Sucesso Mundial

2025-04-23
Primeiro Raio Induzido por Drone com Sucesso Mundial

A NTT Corporation alcançou um feito mundial: induzir e guiar um raio com sucesso usando um drone. O experimento, realizado em condições de raio natural, validou tanto a inovadora gaiola de proteção contra raios do drone — capaz de suportar impactos diretos — quanto o método de indução baseado em campo elétrico. Essa descoberta abre portas para reduzir significativamente os danos causados por raios em cidades e infraestruturas, com planos futuros focando no uso de 'drones anti-raios' para proteção em larga escala e até mesmo na captura de energia dos raios. O sucesso se baseia em anos de pesquisa e aborda as limitações dos para-raios tradicionais.

Leia mais
(group.ntt)
Tecnologia raio proteção contra raios

Modelo de Boeing 777 feito com pastas de arquivo

2024-12-27
Modelo de Boeing 777 feito com pastas de arquivo

Luca Iaconi-Stewart passou anos criando meticulosamente uma maquete em escala 1:60 de um avião Boeing 777-300ER, usando apenas pastas de arquivo. O projeto, que nasceu de uma aula de arquitetura no ensino médio, mostra sua maestria na versatilidade do papel. De designs iniciais simples a um produto final incrivelmente detalhado, ele utilizou o Adobe Illustrator para projetar peças intrincadas, depois as cortou, montou e colou meticulosamente. Essa criação impressionante envolveu extensa pesquisa, design, impressão e montagem, demonstrando um artesanato incrível e atenção aos detalhes.

Leia mais
(www.lucaiaconistewart.com)
Design construção de maquetes modelo de avião

Por que a tecnologia 'Chata' é realmente a melhor

2025-02-11
Por que a tecnologia 'Chata' é realmente a melhor

Este artigo argumenta que a tecnologia 'chata', exemplificada pelo NetBSD, é superior na administração de sistemas e arquitetura. 'Chato' implica previsibilidade, reduzindo falhas inesperadas e dores de cabeça na manutenção. Tecnologia madura possui documentação abrangente, uma comunidade ativa e um histórico comprovado, não apenas idade. Embora a ubiquidade não seja a medida de 'chateza', tecnologias maduras são geralmente mais fáceis de entender e manter, reduzindo assim custos e melhorando a confiabilidade. O autor conclui que a 'chateza' do NetBSD é precisamente sua maior força.

Leia mais
(rubenerd.com)
Desenvolvimento

Advent of Code no Nintendo DS: Um Desafio de Programação Rust em um Sistema Embarcado

2024-12-16

O autor enfrentou o Advent of Code 2024 usando Rust em um Nintendo DS. Este relato detalhado acompanha a jornada, desde a configuração de um ambiente de compilação cruzada e a escrita de código Rust para um sistema embarcado sem tempo de execução até a superação de desafios em gerenciamento de memória, interrupções e saída de tela. O autor exibiu com sucesso a solução do Advent of Code na tela do DS. O artigo demonstra fortes habilidades de programação e um profundo entendimento de sistemas embarcados, destacando as técnicas e o prazer da programação em ambientes com recursos limitados.

Leia mais
(sailor.li)
Desenvolvimento

Langfuse: Plataforma de Engenharia de LLM de código aberto simplifica o desenvolvimento

2024-12-17
Langfuse: Plataforma de Engenharia de LLM de código aberto simplifica o desenvolvimento

Langfuse é uma plataforma de engenharia de LLM de código aberto projetada para simplificar o desenvolvimento e a implantação de aplicativos de modelos de linguagem grandes (LLM). Ela oferece recursos como observabilidade de LLM, métricas, avaliações, gerenciamento de prompts, um playground e conjuntos de dados, integrando-se perfeitamente com ferramentas como LlamaIndex, Langchain, OpenAI SDK e LiteLLM. Os desenvolvedores podem usar o Langfuse para monitorar o desempenho do LLM, gerenciar prompts, avaliar a eficácia do modelo e, finalmente, acelerar o desenvolvimento de aplicativos LLM.

Leia mais
(github.com)
Desenvolvimento Plataforma de desenvolvimento

Tempo Unix e uma Proposta Modesta

2024-12-27

Este artigo discute a discrepância entre o tempo Unix (o número de segundos desde 1º de janeiro de 1970) e o tempo real devido à desaceleração da rotação da Terra e pequenas variações em sua órbita. Segundos bissextos foram introduzidos para resolver isso, mas suas complexidades levaram a um plano para descontinuá-los até 2035. O autor propõe uma solução inovadora: ajustar periodicamente a órbita da Terra para manter a sincronização entre o ano solar e o ano médio do calendário gregoriano, eliminando assim a necessidade de segundos bissextos.

Leia mais
(www.johndcook.com)
Tecnologia tempo Unix órbita da Terra

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
(www.wired.com)
Tecnologia Vendas de IA Comércio eletrônico ao vivo

2Solitude: Redifinindo viagens de aventura

2024-12-23
2Solitude: Redifinindo viagens de aventura

A 2Solitude é especializada na reforma de aviões experimentais de exibição Antonov AN-2 registrados nos EUA, transformando-os em campings de shows aéreos. São divertidos de voar e garantem conversas entre entusiastas da aviação. Seja na primeira fila em Oshkosh, na pesca de ossos nas Exumas ou no stand-up paddle em um lago do Alasca, a 2Solitude oferece acesso sem igual. Esta aeronave está registrada como experimental de exibição e não é elegível para nenhum trabalho comercial. É projetada para o deleite do proprietário e apenas para exibição. A 2Solitude oferece uma plataforma para criar suas próprias aventuras exclusivas, capacitando os ousados a explorar e compartilhar suas experiências.

Leia mais
(www.2solitude.com)
Diversos viagens de aventura modificação de aeronaves aviação

Cassinos Militares: Lucro Enorme vs. Adição ao Jogo entre Soldados

2025-08-04
Cassinos Militares: Lucro Enorme vs. Adição ao Jogo entre Soldados

Após os ataques de 11 de setembro, o oficial do Exército dos EUA, Dave Yeager, encontrou consolo nas máquinas caça-níqueis em sua base em Seul, entrando em um vício devastador no jogo. Isso destaca uma tendência preocupante: veteranos e militares são mais propensos a transtornos de jogo do que civis, muitas vezes hesitantes em procurar ajuda por medo de represálias. O Programa de Máquinas de Recreio do Exército (ARMP) gera dezenas de milhões de dólares anualmente com suas operações de máquinas caça-níqueis no exterior, mas críticos argumentam que fundos insuficientes são alocados para a educação sobre jogos problemáticos, criando um contraste gritante entre a lucratividade do programa e o sofrimento daqueles que ele potencialmente prejudica.

Leia mais
(www.wired.com)
Diversos vício em jogos máquinas caça-níqueis

Publicidade: Uma Metáfora Cancerígena

2025-02-10

Este artigo traça um paralelo impressionante entre publicidade e câncer, destacando suas características comuns: crescimento descontrolado, consequências destrutivas, resiliência e consumo de recursos. Argumenta-se que a publicidade, longe de simplesmente informar os consumidores, tornou-se manipulativa e enganosa, consumindo vastos recursos corporativos, poluindo canais de mídia, distorcendo a tomada de decisões e corroendo a confiança. Mesmo em mercados saturados, a competição publicitária se torna um jogo de soma zero, forçando as empresas a um ciclo vicioso de gastos crescentes. O autor usa uma metáfora poderosa para expor os impactos negativos e os potenciais danos da publicidade.

Leia mais
(jacek.zlydach.pl)
Diversos metáfora do câncer comportamento do consumidor
1 2 … 30 31 32 34 36 37 38 … 595 596