SteamOS se expande além do Steam Deck: Novo rótulo de compatibilidade chega

2025-05-14
SteamOS se expande além do Steam Deck: Novo rótulo de compatibilidade chega

A Valve está expandindo seu sistema operacional SteamOS baseado em Linux além do Steam Deck para outros PCs portáteis, como o Asus ROG Ally. Para se preparar, o Steam está introduzindo um rótulo "Compatível com SteamOS" indicando se um jogo e seu middleware são compatíveis com o SteamOS, incluindo funcionalidade do jogo, funcionalidade do iniciador e suporte anti-cheat. Mais de 18.000 títulos serão inicialmente rotulados como compatíveis. Embora a tecnologia Proton tenha melhorado muito a compatibilidade, nem todos os jogos do Windows funcionarão perfeitamente. Isso significa um grande passo em direção à adoção mais ampla do SteamOS.

Leia mais
Jogos

Stack AI procura engenheiros 10x: Construindo uma plataforma de aplicativos com tecnologia de IA

2025-05-14
Stack AI procura engenheiros 10x: Construindo uma plataforma de aplicativos com tecnologia de IA

A Stack AI, uma empresa de IA fundada por dois doutores do MIT e apoiada pela Y Combinator e Google, está contratando engenheiros 10x. Eles construíram uma plataforma sem código que integra modelos de IA como OpenAI e Anthropic com várias fontes de dados, com o objetivo de democratizar a construção de aplicativos de IA. Com mais de 85.000 usuários e mais de 300 clientes pagantes, eles precisam de especialistas qualificados em Python, banco de dados, AWS e contêineres para construir sistemas de back-end escaláveis e integrar modelos de IA. Os candidatos ideais possuem fortes habilidades de resolução de problemas, capacidade de trabalho em equipe e paixão por IA.

Leia mais

O Problema da Verbosidade: Por que LLMs geram código inchado

2025-05-14
O Problema da Verbosidade: Por que LLMs geram código inchado

Este artigo explora o problema de grandes modelos de linguagem (LLMs) gerarem código excessivamente verboso e ineficiente. O autor argumenta que o modelo de precificação baseado em tokens de muitos assistentes de codificação de IA incentiva a geração de código longo, mesmo que seja menos eficiente. Isso ocorre porque mais tokens processados significam mais receita. O autor descreve estratégias para mitigar isso, incluindo forçar o planejamento antes da codificação, implementar protocolos de permissão estritos, usar Git para experimentação e poda implacável e utilizar modelos mais baratos. A solução final, propõe o autor, é que as empresas de IA mudem seus incentivos econômicos para priorizar a qualidade do código em vez da contagem de tokens.

Leia mais
Desenvolvimento Incentivos Econômicos

Muscle-Mem: Dando Memória Muscular a Agentes de IA

2025-05-14
Muscle-Mem: Dando Memória Muscular a Agentes de IA

muscle-mem é um SDK Python que atua como um cache de comportamento para agentes de IA. Ele registra os padrões de chamadas de ferramentas de um agente enquanto ele resolve tarefas e reproduz deterministicamente essas trajetórias aprendidas ao encontrar a mesma tarefa novamente, voltando para o modo de agente se casos de borda forem detectados. O objetivo é tirar os LLMs do caminho crítico para tarefas repetitivas, aumentando a velocidade, reduzindo a variabilidade e eliminando os custos de tokens para tarefas que poderiam ser manipuladas por um simples script. A validação do cache é crucial, implementada por meio de 'Checks' personalizados, garantindo o reúso seguro de ferramentas.

Leia mais

TwoFold: Tornando arquivos de texto comuns em arquivos dinâmicos

2025-05-14
TwoFold: Tornando arquivos de texto comuns em arquivos dinâmicos

TwoFold é um pequeno aplicativo de linha de comando que permite que arquivos de texto simples se comportem como arquivos dinâmicos. É um híbrido entre um expansor de texto e um mecanismo de modelo, inspirado no Emacs Org-mode, Python Jupyter Notebooks e React JS. O TwoFold processa arquivos de texto, identifica tags semelhantes a LISP/XML e as transforma em saídas úteis. É compatível com documentos XML e HTML, mas os marcadores de tags são personalizáveis. Ele pode monitorar alterações em arquivos, permitindo colaboração em tempo real para tarefas como validação de dados, cálculos estatísticos ou verificação ortográfica. O TwoFold suporta vários tipos de arquivos (.txt, Markdown, Emacs Org, reStructured Text, HTML, XML e arquivos de código-fonte), mas não arquivos binários. Ele é executado usando o Bun e permite que os usuários criem e carreguem tags personalizadas com facilidade.

Leia mais
Desenvolvimento engine de modelo

O Discurso de Rádio de David Hilbert: Um Manifesto Sobre Problemas Matemáticos

2025-05-14

Em 1930, o renomado matemático David Hilbert proferiu um discurso contundente em Königsberg, afirmando que todo problema matemático é solucionável, desafiando uma visão oposta prevalente e controversa. Este artigo explora o contexto do discurso de rádio de Hilbert, incluindo seu trabalho anterior e as tendências filosóficas e culturais matemáticas prevalecentes. A gravação em áudio do discurso, juntamente com o original em alemão e uma tradução em inglês, serão fornecidos aos leitores para que mergulhem nos pensamentos deste gigante matemático e seu impacto duradouro na pesquisa matemática.

Leia mais
Diversos

Automatizando Ilustrações de Livros Didáticos de Física com MetaPost

2025-05-14
Automatizando Ilustrações de Livros Didáticos de Física com MetaPost

Diante da tarefa assustadora de criar centenas de diagramas para um livro didático de física, o autor buscou uma solução mais eficiente do que os editores tradicionais de gráficos vetoriais. O MetaPost surgiu como resposta, permitindo que ilustrações fossem definidas como funções de variáveis, simplificando ajustes e reutilização de elementos. O artigo detalha o processo do autor de criar várias formas (curvas, esferas, tubos, etc.) e texturas usando MetaPost, fornecendo exemplos de código. Apesar do cancelamento do livro didático, a biblioteca de código aprimorada foi de código aberto, oferecendo uma ferramenta versátil para gerar diagramas relacionados à física.

Leia mais
Desenvolvimento desenho automatizado

CEO da Palantir critica a lenta adoção de IA na Europa

2025-05-14
CEO da Palantir critica a lenta adoção de IA na Europa

Em um fórum de investimentos em Riad, Alex Karp, CEO da empresa de tecnologia de defesa Palantir Technologies, elogiou os engenheiros sauditas por sua meritocracia e patriotismo, e criticou a lenta adoção de IA na Europa. Ele destacou os EUA e o Oriente Médio como líderes na implementação de IA, contrastando isso com o progresso lento da Europa e o que ele percebeu como uma sensação de resignação entre seus participantes. Isso é atribuído às rígidas regulamentações de IA da Europa e sua baixa participação de mercado em áreas cruciais de infraestrutura de IA, como matérias-primas, infraestrutura em nuvem e supercomputadores. Embora a Europa lidere na fabricação de equipamentos de semicondutores de IA, sua participação de mercado nessas outras áreas é inferior a 5%.

Leia mais
Tecnologia

Melhorias de Acessibilidade do GNOME 48: AccessKit, Atalhos do Orca e Mais

2025-05-14

O GNOME 48 apresenta avanços significativos em acessibilidade. O GTK 4.18 integra o backend AccessKit, permitindo aplicativos GTK acessíveis no Windows e macOS pela primeira vez. O suporte a atalhos de teclado do leitor de tela Orca no Wayland está completo, fechando uma grande lacuna de acessibilidade. Além disso, a acessibilidade do WebKitGTK foi aprimorada, tornando o GNOME Web um navegador totalmente acessível e em sandbox. A nova ferramenta de acessibilidade, Elevado, também foi lançada, oferecendo aos desenvolvedores uma nova maneira de explorar e inspecionar recursos de acessibilidade de aplicativos. Muitas pequenas melhorias aprimoram a acessibilidade no GTK e bibliotecas relacionadas, incluindo melhorias no seletor de arquivos, caixas de lista, detecção de tamanho de botão e relatório de atributos de texto.

Leia mais
Desenvolvimento

Além do Pulso: Depurando RSI

2025-05-14

Um estudante de graduação em ciência da computação teve sua vida acadêmica ameaçada por uma dor debilitante no pulso. Diagnósticos iniciais de tendinite e lesão por esforço repetitivo levaram à fisioterapia, mas a dor piorou. O autor descobriu que a dor não era causada por danos físicos, mas por um sistema de previsão descalibrado no cérebro, prevendo incorretamente danos futuros. Ao estudar a neurociência da dor e combinando exercícios focados com a Terapia de Reprocessamento da Dor, ele recalibrou seu sistema de dor e se recuperou.

Leia mais

Log de Carregamento de Módulos Core do Lively Web

2025-05-14

Este log mostra o processo de carregamento dos módulos principais do Lively Web, exibindo os tempos de carregamento de vários módulos JavaScript. Os tempos de carregamento variam de 78ms a 555ms, cobrindo vários aspectos, como ferramentas IDE, ferramentas de rede e componentes de interface do usuário. Isso reflete a arquitetura modular e o ambiente de tempo de execução do Lively Web.

Leia mais
Desenvolvimento carregamento de módulos

Artie contrata seu primeiro Gerente de Marketing de Produto!

2025-05-14
Artie contrata seu primeiro Gerente de Marketing de Produto!

A Artie, uma plataforma de sincronização de dados em tempo real apoiada por investidores de ponta como a Y Combinator, está procurando seu primeiro Gerente de Marketing de Produto. Esta função exige um comunicador e contador de histórias forte que possa simplificar a tecnologia complexa de banco de dados em mensagens de marketing convincentes. O candidato ideal terá experiência em marketing de produto em startups em estágio inicial e colaborará efetivamente com as equipes de vendas, engenharia e produto. Esta é uma oportunidade fantástica para causar um impacto significativo em uma empresa de rápido crescimento, construir uma função de marketing do zero e acelerar sua carreira.

Leia mais

AlphaEvolve do DeepMind: Evoluindo Algoritmos de IA para Resolver Problemas Matemáticos e Melhorar o Design de Chips

2025-05-14
AlphaEvolve do DeepMind: Evoluindo Algoritmos de IA para Resolver Problemas Matemáticos e Melhorar o Design de Chips

O sistema AlphaEvolve do Google DeepMind, combinando a criatividade de um modelo de linguagem grande (LLM) com filtragem algorítmica, alcançou avanços em matemática e ciência da computação. Ele não apenas resolveu problemas matemáticos abertos, mas também foi aplicado aos próprios desafios do DeepMind, como melhorar o design de sua próxima geração de chips de IA, Tensor Processing Units, e otimizar o uso de recursos de computação globais do Google, economizando 0,7% dos recursos. Diferentemente de sistemas de IA anteriores adaptados para tarefas específicas, o AlphaEvolve é um sistema de uso geral capaz de lidar com códigos maiores e algoritmos mais complexos, superando até mesmo o sistema AlphaTensor, anteriormente especializado, em cálculos de multiplicação de matrizes.

Leia mais
IA

HBO Max está de volta: Warner Bros. Discovery renomeia serviço de streaming

2025-05-14
HBO Max está de volta: Warner Bros. Discovery renomeia serviço de streaming

Após dois anos de experimento, a Warner Bros. Discovery está trazendo de volta o nome HBO Max para seu serviço de streaming. A mudança de marca sinaliza uma mudança de uma abordagem ampla, no estilo Netflix, para um foco na programação de alta qualidade da HBO. Essa medida reconhece o valor da marca HBO e visa atrair um público mais exigente, aumentando o número de assinantes para uma meta de 150 milhões até 2026. A empresa destaca o aumento da lucratividade e o crescimento de assinantes como justificativa para a mudança.

Leia mais
Tecnologia

Uber lança viagens de rota fixa e baratas para combater a inflação

2025-05-14
Uber lança viagens de rota fixa e baratas para combater a inflação

Diante dos desafios econômicos, o Uber está lançando o Route Share, um novo recurso que oferece viagens de rota fixa com desconto durante os horários de pico nos principais centros urbanos dos EUA. Os passageiros podem economizar até 50% em comparação com o UberX. Aproveitando a tecnologia de compartilhamento de viagens existente, o Route Share permite até três passageiros por veículo e utiliza os dados do Uber para otimizar as rotas. Além do Route Share, o Uber anunciou 'Ride Passes' para viagens pré-pagas com desconto e uma parceria com o Dine Out do OpenTable para oferecer descontos em viagens para restaurantes. Essas iniciativas têm como objetivo atrair e reter clientes em meio à incerteza econômica.

Leia mais

Git-Bug: Revolucionando o gerenciamento de problemas em repositórios Git

2025-05-14
Git-Bug: Revolucionando o gerenciamento de problemas em repositórios Git

Git-Bug é uma ferramenta de gerenciamento de problemas independente, distribuída e offline-first que incorpora problemas, comentários e muito mais como objetos diretamente em seu repositório Git (não em arquivos!), permitindo push/pull para vários remotos. Aproveitando a arquitetura descentralizada do Git, permite trabalho offline e sincronização perfeita, com recursos de busca ultrarrápidos. Integra-se a plataformas como GitHub e GitLab por meio de bridges e oferece interfaces flexíveis (CLI, TUI, web). Criado por Michael Muré e mantido por uma comunidade vibrante, é lançado sob a licença GPLv3 ou posterior.

Leia mais
Desenvolvimento Gerenciamento de Problemas

A Fórmula da História de Hollywood: Mito ou Grilhão?

2025-05-14
A Fórmula da História de Hollywood: Mito ou Grilhão?

Este artigo investiga a estrutura narrativa de três atos predominante em filmes e televisão, traçando suas raízes até Aristóteles e sua ampla adoção em Hollywood. Embora reconheça seu sucesso comercial, o autor questiona sua natureza repetitiva e conservadora. Ela mascara a estrutura subjacente, reforça o status quo e potencialmente dificulta o pensamento crítico sobre a realidade. O artigo também explora formas narrativas alternativas, como narrativas cíclicas e fragmentadas, e apela para que a produção cinematográfica reflita melhor a fragmentação e a complexidade da sociedade contemporânea.

Leia mais
Design

Servidor NetBSD e disputas em empresa familiar: Uma batalha de confiança e tecnologia

2025-05-14
Servidor NetBSD e disputas em empresa familiar: Uma batalha de confiança e tecnologia

Dezesseis anos atrás, o autor foi solicitado por um amigo para ajudar uma empresa familiar a estabelecer um sistema de TI para resolver sua situação financeira caótica. Ele construiu um servidor baseado em NetBSD para integrar os dados da empresa, mas enfrentou forte oposição de alguém dentro da empresa que tentou apagar os dados do servidor para encobrir problemas financeiros. O autor acabou descobrindo a conspiração por meio de conexões passadas, mas o servidor ainda foi destruído. Apesar disso, o autor protegeu as informações da empresa por meio de backups antecipados, mas acabou decidindo deixar a empresa familiar porque a administração não conseguia resolver a corrupção interna. Essa história conta sobre o conflito envolvendo confiança, tecnologia e ética, e a frustrante realidade de que alguns problemas simplesmente não podem ser resolvidos.

Leia mais

Sony considera produção de PS5 nos EUA e aumento de preços devido a tarifas

2025-05-14
Sony considera produção de PS5 nos EUA e aumento de preços devido a tarifas

A Sony prevê uma perda de ¥100 bilhões (US$ 680 milhões) no próximo ano devido a tarifas. Para compensar isso, a empresa está explorando opções que incluem a transferência da fabricação do PS5 para os EUA e o aumento dos preços. Embora o PS5 tenha sofrido aumentos de preços em algumas regiões este ano, o impacto das tarifas pode levar a aumentos de preços globais. O CEO da Sony indicou que a produção do PS5 nos EUA é uma estratégia viável e eficiente. Apesar de uma pequena queda nas vendas do PS5, a Sony está avaliando sua melhor resposta às tarifas, o que afetará as decisões de preços futuros.

Leia mais
Jogos

Enfrentando a Crise Habitacional de Nova York: Uma Abordagem Priorizando a Mobilidade

2025-05-14
Enfrentando a Crise Habitacional de Nova York: Uma Abordagem Priorizando a Mobilidade

A crise habitacional de Nova York exige ação imediata, mas a construção de novas moradias leva anos. Este artigo propõe uma solução mais rápida: melhorar a mobilidade. Otimizando faixas de ônibus, ajustando os preços de estacionamento, construindo ciclovias protegidas e melhorando os sistemas de informação do metrô, a cidade pode indiretamente aumentar a oferta de moradias acessíveis e abrir oportunidades para os moradores. O autor cita exemplos bem-sucedidos de Londres e São Francisco para demonstrar a eficácia e a viabilidade dessas estratégias, destacando sua implementação rápida e alta alavancagem.

Leia mais
Diversos mobilidade moradia

Sequenciamento de Tarefas Orientado por Engenharia: Entregando Mais Valor, Mais Rápido

2025-05-14

Este artigo apresenta uma abordagem de sequenciamento de tarefas orientada por engenharia que ajuda as equipes a entregar mais valor, mais rapidamente. Tradicionalmente, os gerentes de produto determinam a ordem das tarefas com base no PRD. No entanto, os engenheiros compreendem melhor o custo e as dependências das tarefas. Uma abordagem melhor envolve engenheiros priorizando tarefas com base em valor, custo e viabilidade, até mesmo reformulando soluções para reduzir custos. Por exemplo, o estudo de caso mostra um engenheiro optando por um e-mail semanal em vez de construir um painel complexo, entregando algum valor antes de lidar com tarefas mais complexas. Isso melhora significativamente a realização de valor, permitindo que as equipes criem mais valor em um período de tempo mais curto.

Leia mais
Desenvolvimento

GitHub Aperta Limites de Taxa para Solicitações Não Autenticadas

2025-05-14
GitHub Aperta Limites de Taxa para Solicitações Não Autenticadas

O GitHub está atualizando os limites de taxa para solicitações não autenticadas para melhorar a segurança e a estabilidade da plataforma. Isso afeta operações como clonar repositórios via HTTPS, acessar APIs REST anonimamente e baixar arquivos de raw.githubusercontent.com. O aumento recente na atividade de scraping da API levou à atualização para proteger a plataforma e garantir uma experiência confiável para desenvolvedores em todo o mundo. Usuários não autenticados podem encontrar novos limites de taxa, enquanto usuários autenticados manterão limites mais altos. O GitHub incentiva a autenticação para acesso consistente e confiável.

Leia mais

AlphaEvolve: Os Heróis Não Contados por Trás da Descoberta de Algoritmos de IA

2025-05-14
AlphaEvolve: Os Heróis Não Contados por Trás da Descoberta de Algoritmos de IA

AlphaEvolve, um projeto focado no uso de IA para descoberta de algoritmos, não teria sido possível sem os esforços colaborativos de uma grande equipe. A seção de agradecimentos nomeia mais de 40 indivíduos, destacando os diversos papéis, de pesquisadores e engenheiros a designers, envolvidos em sua criação e enfatizando a natureza colaborativa e a complexidade da descoberta de algoritmos de IA.

Leia mais

Chefs robôs assumem posto de descanso na Coreia do Sul: eficiência versus custo humano

2025-05-14
Chefs robôs assumem posto de descanso na Coreia do Sul: eficiência versus custo humano

Um posto de descanso em uma rodovia sul-coreana substituiu chefs humanos por robôs, aumentando a eficiência para 150 refeições por hora. No entanto, essa automação levou à perda de empregos e à ansiedade entre os ex-chefs humanos, que relatam menor qualidade da comida e insatisfação do cliente. Embora os robôs aliviem a carga de trabalho, a mudança fez com que alguns funcionários desistissem, destacando os desafios da automação na indústria de serviços: equilibrar o aumento da eficiência com os direitos dos trabalhadores e evitar o desemprego em massa. A situação destaca a necessidade de programas de reciclagem e apoio do governo durante essa transição tecnológica.

Leia mais
Tecnologia

Passkeys: A Revolução Criptográfica na Autenticação

2025-05-14
Passkeys: A Revolução Criptográfica na Autenticação

Este artigo mergulha na criptografia por trás das passkeys, explicando como elas usam pares de chaves para criar assinaturas digitais sem transmitir informações sensíveis aos servidores, prevenindo assim phishing e reutilização de senhas. A especificação WebAuthn aprimora a segurança por meio do vínculo de origem, garantindo que as passkeys sejam usadas apenas no site correto. São explorados diferentes tipos de autenticadores, juntamente com como as extensões WebAuthn podem gerar e armazenar chaves criptográficas. Ameaças potenciais, como ataques de navegador e autenticadores comprometidos, são discutidas, juntamente com estratégias de mitigação. Embora não seja uma solução perfeita, as passkeys oferecem segurança significativamente aprimorada e representam um futuro convincente para a autenticação.

Leia mais
Tecnologia

Replicação de banco de dados distribuído usando SWIM e BadgerDB

2025-05-14
Replicação de banco de dados distribuído usando SWIM e BadgerDB

Este artigo descreve um esquema de replicação de banco de dados distribuído que utiliza o protocolo SWIM e o recurso de backup incremental do BadgerDB. Usando o pacote memberlist do Hashicorp e seu mecanismo TCP Push/Pull, os nós periodicamente computam seu estado local e o enviam para outros nós. Os nós remotos mesclam o estado remoto com seu estado local, acionando o processo de replicação. O estado do nó é definido como o conjunto das últimas versões conhecidas de outros nós. Ao receber o estado, um nó envia solicitações HTTP ao nó remoto, sincronizando concorrentemente backups incrementais dos bancos de dados auth, config e log, alcançando assim a replicação real.

Leia mais
Desenvolvimento replicação protocolo SWIM

Microsoft SAM TTS: A Voz Icônica do Windows XP Está de Volta

2025-05-14

Lembra da icônica voz robótica do Windows XP? O Microsoft SAM Texto para Fala está de volta, agora como uma implementação JavaScript para seu navegador! Esta versão moderna recria fielmente a voz clássica do Windows XP, rodando inteiramente no lado do cliente para garantir privacidade e uso offline. Personalize o tom, a velocidade e outros parâmetros para criar variações, de pequenos duendes a robôs gigantes. Reviver a nostalgia da computação do início dos anos 2000!

Leia mais
Desenvolvimento

Aplicativo Android do Nextcloud Bloqueado: Google Revoca Acesso ao Upload de Arquivos

2025-05-14
Aplicativo Android do Nextcloud Bloqueado: Google Revoca Acesso ao Upload de Arquivos

O Nextcloud, uma plataforma de nuvem auto-hospedada, não consegue enviar arquivos que não sejam de mídia em seu aplicativo Android desde meados de 2024. O Google se recusou a restabelecer as permissões de acesso necessárias, citando preocupações com a privacidade, impactando significativamente a experiência do usuário. A equipe do Nextcloud afirma ter tentado se comunicar com o Google, mas sem sucesso. Esse problema dificulta a sincronização e o envio de arquivos, tornando difícil para o Nextcloud substituir totalmente o Google Workspace.

Leia mais
Desenvolvimento

Explorando uma Vulnerabilidade de Confusão de Tipos no Daemon coreaudiod do macOS

2025-05-14
Explorando uma Vulnerabilidade de Confusão de Tipos no Daemon coreaudiod do macOS

Este post de blog detalha a jornada do autor na descoberta e exploração de uma vulnerabilidade de confusão de tipos de alto risco no daemon do sistema coreaudiod do macOS. Usando um harness de fuzzing personalizado, instrumentação dinâmica e análise estática, o autor, um engenheiro de segurança do Google Project Zero, descobriu uma vulnerabilidade de escape de sandbox. A pesquisa empregou uma abordagem de fuzzing orientada a conhecimento, combinando fuzzing automatizado com engenharia reversa manual direcionada. A vulnerabilidade, CVE-2024-54529, foi corrigida pela Apple.

Leia mais

HDR da Halide: Quebrando os Mitos da Fotografia HDR

2025-05-14
HDR da Halide: Quebrando os Mitos da Fotografia HDR

Os desenvolvedores do aplicativo de câmera Halide mergulham nas concepções errôneas em torno da fotografia HDR. Os modos HDR tradicionais (como o 'modo HDR' do iPhone) são na verdade composições de várias fotos com mapeamento de tom, não HDR verdadeiro, levando à perda de detalhes e artefatos artificiais. O artigo apresenta o novo processamento HDR de uma única foto do Halide, inspirado em técnicas tradicionais de câmara escura, como desvio e queima. Isso dá aos usuários controle granular sobre o mapeamento de tom, preservando detalhes e oferecendo várias opções de exibição HDR. O artigo também discute o estado atual e os desafios da tecnologia de exibição HDR.

Leia mais
1 2 237 238 239 241 243 244 245 595 596