Editor de texto CLI de código aberto da Microsoft: Edit – Leve, rápido e semelhante ao VS Code

2025-06-18
Editor de texto CLI de código aberto da Microsoft: Edit – Leve, rápido e semelhante ao VS Code

A Microsoft lançou o Edit, um editor de texto de linha de comando de código aberto, leve, rápido e fácil de usar. Projetado com uma experiência de usuário semelhante ao VS Code, o Edit visa preencher a lacuna nas versões recentes do Windows, que não incluem um editor de texto CLI integrado. Embora voltado principalmente para usuários do Windows, o Edit também funciona no Linux e macOS. Sua edição sem modos, abertura de arquivos extremamente rápida e conjunto de recursos minimalista o tornam ideal para edições de texto rápidas. Embora não possua recursos avançados como destaque de sintaxe, sua velocidade e simplicidade o tornam uma alternativa atraente.

Leia mais
Desenvolvimento

Incant: Adicione feitiços mágicos ao seu código

2025-06-18
Incant: Adicione feitiços mágicos ao seu código

Incant é uma nova biblioteca que permite aos desenvolvedores integrarem invocações de modelos de linguagem com segurança. Ela fornece primitivas como `createSelector` e `createFilter` para operações em arrays, como selecionar o maior número ou filtrar nomes masculinos. Incant lê chaves de API de variáveis de ambiente, é fácil de configurar e garante segurança de tipo, prevenindo alucinações. No entanto, esteja ciente de que todos os dados de entrada são enviados para provedores de inferência a montante, portanto, evite enviar informações pessoais ou sensíveis.

Leia mais
Desenvolvimento ferramenta de desenvolvedor

Projeto SerDes de 130nm Skywater: Comunicação em Alta Velocidade

2025-06-18
Projeto SerDes de 130nm Skywater: Comunicação em Alta Velocidade

Este projeto descreve um circuito serializador/desserializador (SerDes) de alta velocidade projetado para comunicação de alta velocidade. Implementado usando Verilog HDL e sintetizado com OpenLane no processo Skywater OpenPDK 130nm, o SerDes converte dados paralelos em um fluxo serial para transmissão e vice-versa no receptor. O projeto inclui um transmissor (usando uma cadeia de inversores CMOS como driver), um receptor (empregando um inversor de realimentação resistivo e inversor CMOS para detecção e amplificação), um flip-flop D para amostragem de dados e um CDR de superamostragem para recuperação de clock. Os arquivos GDS, SPICE e netlist para todos os módulos são fornecidos.

Leia mais

A Jornada de Trabalho Infinita: Descobertas Impactantes da Microsoft

2025-06-18
A Jornada de Trabalho Infinita: Descobertas Impactantes da Microsoft

O relatório anual de tendências de trabalho da Microsoft revela uma tendência preocupante: a jornada de trabalho está se estendendo muito além dos horários tradicionais. Reuniões agendadas após 20h aumentaram 16%, e quase um terço dos trabalhadores ainda verificam e-mails às 22h. O esmaecimento das fronteiras entre trabalho e vida pessoal é ainda mais destacado pelo fato de que quase 20% dos funcionários que trabalham nos fins de semana verificam e-mails antes do meio-dia aos sábados e domingos, com mais de 5% interagindo ativamente com e-mails novamente nas noites de domingo.

Leia mais

Modelo de Regras Universais para Assistentes de Codificação de IA: Potencialize seu Fluxo de Trabalho

2025-06-18
Modelo de Regras Universais para Assistentes de Codificação de IA: Potencialize seu Fluxo de Trabalho

Cansado do comportamento inconsistente da IA em diferentes assistentes de codificação? Este modelo fornece uma estrutura robusta e multiplataforma para elevar sua experiência de programação em pares com IA. Ele utiliza princípios de engenharia de software estabelecidos e documentação estruturada para garantir a operação consistente da IA, compreensão profunda do projeto e fluxos de trabalho ótimos em ferramentas como Cursor, CLINE, RooCode, Windsurf e GitHub Copilot. Vá além de protótipos simples e crie aplicativos sofisticados com parceiros de IA que realmente entendam seu projeto.

Leia mais
Desenvolvimento

John Does do Hospital Geral de Los Angeles: Uma Crise de Saúde de Pacientes Não Identificados

2025-06-18
John Does do Hospital Geral de Los Angeles: Uma Crise de Saúde de Pacientes Não Identificados

O Hospital Geral de Los Angeles recebe anualmente dezenas de milhares de pacientes não identificados, a maioria dos quais é rapidamente identificada. No entanto, alguns, como um homem encontrado inconsciente em fevereiro, permanecem por meses ou anos devido à falta de informações de identificação. O hospital tenta localizar parentes divulgando fotos e detalhes limitados, com sucesso variável. Isso apresenta não apenas desafios administrativos, mas também preocupações com a segurança do paciente e sobrecarrega os recursos de saúde. Vários casos semelhantes destacam as dificuldades impostas por pacientes não identificados, sublinhando a necessidade de atenção social para populações vulneráveis.

Leia mais

lstr: Visualizador de árvore de diretórios em Rust, com velocidade incrível

2025-06-18
lstr: Visualizador de árvore de diretórios em Rust, com velocidade incrível

lstr é um visualizador de árvore de diretórios minimalista e extremamente rápido, escrito em Rust. Inspirado no comando `tree`, o lstr oferece um poderoso modo interativo, além de uma visualização clássica. Ele utiliza a varredura de diretórios em paralelo para maximizar a velocidade, possui uma interface limpa e sem poluição visual, e fornece opções para exibir ícones de arquivos, permissões, tamanhos e status do Git. Integração com `.gitignore`, controle de profundidade e pesquisa fuzzy (via fzf) também são suportados. Você pode até integrar o lstr ao seu shell como um comando `cd` visual. Seja na visualização clássica em árvore ou no TUI interativo, a eficiência e o design limpo do lstr aprimorarão seu fluxo de trabalho de gerenciamento de arquivos.

Leia mais
Desenvolvimento árvore de diretórios

Senado aprova projeto de lei abrangente sobre stablecoins, regulamentação de criptomoedas entra em nova era

2025-06-18
Senado aprova projeto de lei abrangente sobre stablecoins, regulamentação de criptomoedas entra em nova era

O Senado dos EUA aprovou por uma votação esmagadora de 68 a 30 o Ato de Orientação e Estabelecimento de Inovação Nacional para Stablecoins dos EUA de 2025 (GENIUS Act), marcando um marco significativo na política de criptomoedas dos EUA. O projeto de lei, que obteve amplo apoio democrata, estabelece limites para os emissores de stablecoins como Circle, Ripple e Tether, exigindo requisitos rigorosos de reserva, transparência, conformidade anti-lavagem de dinheiro e novas regras de capital. Embora não satisfaça todos os críticos, os apoiadores argumentam que a inação não é mais uma opção, dada a crescente prevalência de stablecoins. A aprovação do projeto de lei representa um passo para os EUA se tornarem um líder global em criptomoedas, mas seu destino está interligado ao Ato de Clareza do Mercado de Ativos Digitais da Câmara; a aprovação de ambas as leis é crucial para moldar o futuro dos mercados de criptomoedas dos EUA.

Leia mais

Provas Matemáticas Visuais: Uma Galeria de Demonstrações Geométricas

2025-06-18

Este artigo apresenta uma coleção de provas visuais para várias identidades e teoremas matemáticos, inspirando-se em uma galeria de demonstrações geométricas. Ele abrange somas, séries geométricas, geometria e tópicos diversos. Exemplos incluem provas pictóricas intuitivas do teorema de Pitágoras, fórmulas de área de triângulos e várias fórmulas de soma. Essas provas visuais oferecem uma abordagem concisa e perspicaz para a compreensão de conceitos matemáticos complexos.

Leia mais

Projeto de um dia chuvoso: Um compilador de TinyBASIC para Go

2025-06-18

Em um fim de semana chuvoso, o autor construiu um compilador que traduz código TinyBASIC para Go. Usando nex (lexer) e goyacc (parser) do Go, o projeto compreende três etapas: análise lexical, análise sintática e geração de código. O autor detalha a gramática e o processo de geração de código, mostrando exemplos de programas e saídas. Este projeto divertido e desafiador demonstra a aplicação prática dos princípios de compiladores.

Leia mais
Desenvolvimento

Trilha no Vale da Morte: 180 Milhas em Julho

2025-06-18

Em julho de 1998, dois aventureiros planejaram uma caminhada pelo Parque Nacional do Vale da Morte, uma distância de aproximadamente 180 milhas. Seu objetivo era caminhar 15 milhas por dia durante 12 dias, para experimentar os efeitos do calor extremo prolongado. Este trecho detalha o início de sua jornada ambiciosa e os preparativos, incluindo roupas especiais e sistemas de entrega de água.

Leia mais

Plasma 6.4: Experiência de desktop mais suave, amigável e poderosa

2025-06-17
Plasma 6.4: Experiência de desktop mais suave, amigável e poderosa

O KDE Plasma 6.4 chegou, oferecendo uma experiência de desktop mais suave, amigável e poderosa. As melhorias abrangem acessibilidade, renderização de cores, suporte para tablets, gerenciamento de janelas e muito mais. Recursos principais incluem layouts de ladrilhos personalizáveis por área de trabalho virtual, uma ferramenta de captura de tela Spectacle reformulada, visualização de cores no KRunner e suporte aprimorado para artistas digitais e monitores HDR. A atualização também aprimora notificações, widgets e monitoramento do sistema. O Plasma 6.4 se concentra na criação de um ambiente de desktop mais conveniente e eficiente.

Leia mais
Desenvolvimento

Suporte de criptografia pós-quântica da Apple no iOS 26, iPadOS 26, macOS Tahoe 26 e visionOS 26

2025-06-17

O iOS 26, iPadOS 26, macOS Tahoe 26 e visionOS 26 agora incluem suporte para criptografia pós-quântica, negociando uma troca de chave segura para computadores quânticos (X25519MLKEM768) via TLS 1.3. Isso melhora a segurança, impedindo que computadores quânticos futuros descriptografem o tráfego TLS. No entanto, alguns servidores herdados podem falhar na conexão devido a mensagens ClientHello grandes demais. A Apple fornece um modo de compatibilidade temporário (`defaults write com.apple.network.tls AllowPQTLSFallback -bool true`) como solução alternativa, mas esta é uma solução temporária.

Leia mais

Dispositivo impresso em 3D divide ruído branco em um arco-íris acústico sem eletricidade

2025-06-17
Dispositivo impresso em 3D divide ruído branco em um arco-íris acústico sem eletricidade

Pesquisadores da Universidade Técnica da Dinamarca e da Universidad Politécnica de Madrid desenvolveram um emissor de arco-íris acústico (ARE) impresso em 3D que separa o ruído branco de banda larga em frequências distintas e as direciona em diferentes direções, criando um arco-íris acústico. Ao contrário dos sistemas acústicos tradicionais, o ARE utiliza espalhamento passivo, não necessitando de eletricidade. Aproveitando a morfogênese computacional, otimização topológica e modelagem baseada em ondas, os pesquisadores projetaram uma estrutura complexa que manipula ondas sonoras por meio de interações com sua superfície. Este dispositivo inovador abre novas possibilidades na detecção e controle acústico, oferecendo aplicações potenciais em vários campos.

Leia mais

Uma Aventura de Ônibus Econômica e Divertida: Atravessando o Interior de Nova York com Transporte Público Local

2025-06-17
Uma Aventura de Ônibus Econômica e Divertida: Atravessando o Interior de Nova York com Transporte Público Local

O autor relata uma viagem pelo interior do estado de Nova York usando apenas ônibus locais de transporte público rural para chegar à casa da avó no domingo de Páscoa, priorizando a economia em detrimento da conveniência. A viagem se mostrou desafiadora, com horários obscuros e muitas vezes desatualizados, serviço pouco frequente e transferências difíceis, às vezes exigindo longas caminhadas ou pernoites. No entanto, a viagem foi ricamente recompensadora, repleta de personagens excêntricos, um ritmo de vida mais lento e uma visão única da vida rural americana. O autor conclui que esse método não convencional, embora ineficiente, oferece uma experiência de viagem muito mais barata e autêntica do que os métodos tradicionais.

Leia mais

Facebook unifica todos os vídeos no formato Reels

2025-06-17
Facebook unifica todos os vídeos no formato Reels

O Facebook anunciou que em breve todos os vídeos em sua plataforma serão compartilhados como reels, independentemente do comprimento ou orientação. Os usuários não precisarão mais escolher entre enviar um vídeo ou um reel; todos os uploads serão automaticamente convertidos em reels, removendo as restrições de comprimento (atualmente limitadas a 90 segundos nos Reels do Facebook). Essa simplificação reflete a mudança do Instagram em 2022 para converter automaticamente vídeos curtos em reels. Embora alguns usuários possam não gostar da mudança — por exemplo, vídeos horizontais sendo forçados a um formato vertical —, o Facebook garante aos usuários que a atualização não afetará as recomendações de vídeo e será implementada gradualmente em todo o mundo.

Leia mais
Tecnologia Formato de Vídeo

Bots de Treinamento de IA Sobrecarregam Instituições Culturais

2025-06-17
Bots de Treinamento de IA Sobrecarregam Instituições Culturais

Um aumento no número de bots que coletam dados para treinamento de IA está sobrecarregando instituições culturais como museus e arquivos. Uma pesquisa com 43 organizações revela que bots agressivos, muitas vezes ignorando as diretrizes do robots.txt, estão causando lentidão e interrupções nos sites. O problema é tão grave que ameaça a acessibilidade de coleções digitais. O relatório apela às empresas de IA para que desenvolvam métodos de aquisição de dados mais responsáveis, pois as instituições culturais não têm recursos para combater isso indefinidamente.

Leia mais
Tecnologia

bzip2 em Rust: Mais rápido e com compilação cruzada simplificada

2025-06-17
bzip2 em Rust: Mais rápido e com compilação cruzada simplificada

A versão 0.6.0 do bzip2, recém-lançada, utiliza por padrão a implementação em Rust, libbz2-rs-sys, proporcionando melhorias significativas de velocidade na compressão e descompressão, além de simplificar a compilação cruzada. Este trabalho aborda a dependência contínua em bzip2 em muitos projetos, com a versão Rust oferecendo soluções para problemas de compilação de longa data, como a compilação WebAssembly e compatibilidade com Windows/Android. Testes de benchmark mostram que a implementação em Rust geralmente supera a implementação em C, e uma auditoria de segurança Miri garante a confiabilidade do código.

Leia mais
Desenvolvimento

Falha do HDR em Mario Kart World: A Armadilha do Pipeline Priorizando SDR

2025-06-17
Falha do HDR em Mario Kart World: A Armadilha do Pipeline Priorizando SDR

O Nintendo Switch 2 foi lançado com Mario Kart World, prometendo 4K60 + HDR. No entanto, uma análise detalhada revela que o jogo sofre de uma implementação HDR ruim. O autor, um veterano do programa HDR do Xbox, demonstra que o jogo usa mapeamento de tom estático, limitando o brilho máximo em cerca de 950 nits e limitando a gama de cores para Rec.709. Isso aponta para um fluxo de trabalho priorizando SDR, onde o HDR é uma reflexão tardia, em vez de produção HDR nativa. O autor explica que esse "HDR falso" decorre de muitos desenvolvedores ainda usando pipelines priorizando SDR, resultando em HDR inferior. A solução? Priorizar o HDR desde o início, adotar ampla gama de cores e mapeamento de tom dinâmico para liberar todo o potencial do hardware HDR e melhorar significativamente a qualidade visual.

Leia mais
Jogos

Os LLMs acabarão com a programação? Lições da tradução automática

2025-06-17

O debate continua: os modelos de linguagem grandes (LLMs) tornarão os programadores obsoletos? Este artigo usa a tradução automática como uma analogia convincente. Embora ferramentas como o Google Tradutor tenham revolucionado a tradução, elas não substituíram os tradutores humanos. A tradução requer compreensão de contexto, resolução de ambiguidades e sensibilidade cultural — habilidades que os LLMs atualmente não possuem. Da mesma forma, a programação exige criatividade e capacidade de resolução de problemas além das capacidades atuais dos LLMs. O autor sugere que os LLMs são melhor utilizados como ferramentas auxiliares para melhorar a eficiência do programador, e não para substituí-los completamente.

Leia mais
Desenvolvimento

Foundry: Permitindo que agentes de IA dominem navegadores web

2025-06-17
Foundry: Permitindo que agentes de IA dominem navegadores web

A Foundry, uma startup sediada em São Francisco, está construindo uma infraestrutura que permite que agentes de IA usem navegadores web como humanos. Eles estão enfrentando as limitações atuais de agentes de IA interagindo com aplicativos empresariais (como Salesforce e SAP), como travamentos frequentes e depuração manual extensa. A Foundry emprega uma estratégia semelhante à da Waymo e Scale AI, construindo uma infraestrutura robusta para melhorias rápidas de desempenho em agentes de IA, com o objetivo de tornar a automação baseada em IA mais confiável e prática. Eles estão ativamente recrutando engenheiros de elite apaixonados por entregar tecnologia fundamental rapidamente.

Leia mais
IA

O Desenvolvedor Cérebro-de-Grug: Um Guia para Combater a Complexidade

2025-06-17

Este guia divertido para desenvolvimento de software, escrito da perspectiva de um desenvolvedor "Grug", oferece estratégias práticas para combater a complexidade. A complexidade é comparada a uma força demoníaca que invade a base de código. O autor defende dizer "não" a recursos e abstrações desnecessários, enfatizando a regra 80/20 (entregar 80% do valor com 20% do código). Estratégias-chave incluem a fatoração adequada do código, refatoração estratégica, testes eficazes e ferramentas. O artigo é uma leitura espirituosa e perspicaz que oferece lições valiosas para desenvolvedores de todos os níveis.

Leia mais
Desenvolvimento Complexidade

OpenAI pode processar a Microsoft por antitruste: uma opção nuclear?

2025-06-17
OpenAI pode processar a Microsoft por antitruste: uma opção nuclear?

A OpenAI está considerando apresentar uma queixa antitruste contra a Microsoft, seu maior investidor, segundo o Wall Street Journal. O possível processo alega que a Microsoft está usando seu domínio na nuvem e poder contratual para sufocar a concorrência. Essa medida pode quebrar uma parceria fundamental de IA, que começou com um investimento de US$ 1 bilhão em 2019 e desde então cresceu para bilhões a mais, incluindo os direitos exclusivos da Microsoft de hospedar modelos OpenAI no Azure. O conflito decorre da reestruturação da OpenAI e de desentendimentos sobre a participação acionária da Microsoft e os direitos exclusivos de hospedagem na nuvem.

Leia mais
Tecnologia

Matéria Escura do Universo Encontrada!

2025-06-17
Matéria Escura do Universo Encontrada!

Por décadas, cientistas procuraram a matéria comum 'desaparecida' do universo, que representa 5% do universo. Pesquisadores do Centro de Astrofísica Harvard-Smithsonian e do Caltech usaram rajadas rápidas de rádio (FRBs) para resolver o mistério: mais de três quartos da matéria comum reside em gás quente e de baixa densidade entre galáxias. As FRBs desaceleram ao atravessar o gás intergaláctico; a medição dessa desaceleração revela a densidade do gás. Este estudo fornece as primeiras medições detalhadas da distribuição da matéria comum, confirmando simulações cosmológicas e ilustrando o movimento da matéria em todo o universo. Também destaca a eficiência dos mecanismos de feedback intergalácticos.

Leia mais

Irã pede desinstalação do WhatsApp: Ameaça à segurança ou repressão política?

2025-06-17
Irã pede desinstalação do WhatsApp: Ameaça à segurança ou repressão política?

A televisão estatal iraniana acusou o WhatsApp de coletar dados do usuário e enviá-los a Israel, instando os cidadãos a desinstalar o aplicativo. O WhatsApp negou essas alegações, destacando sua criptografia de ponta a ponta, que protege a privacidade do usuário e impede o rastreamento de localização, conteúdo de mensagens ou compartilhamento de dados com governos. Apesar de proibições anteriores, muitos iranianos usam proxies e VPNs para acessar o WhatsApp. Esse incidente levanta preocupações sobre segurança da informação e censura governamental, e destaca o uso generalizado e a importância do WhatsApp no Irã.

Leia mais
Tecnologia

Conectando formal e informal: Design de DSL na era dos LLMs

2025-06-17

Este artigo explora uma nova direção na interseção de DSLs e LLMs: projetar DSLs que se integram perfeitamente com fluxos de trabalho de codificação baseados em LLM. O autor detalha sua experiência usando LLMs para gerar scripts, descobrindo que os LLMs são excelentes na criação de 'código de colagem' - preenchendo a estrutura básica com base em descrições em linguagem natural, enquanto deixa a lógica complexa para codificação manual. Essa experiência levanta uma questão fundamental: como podemos incorporar esse fluxo de trabalho assistido por LLM nos próprios DSLs? O objetivo final é preencher a lacuna entre código formal e especificações em linguagem natural informal, potencialmente gerando automaticamente especificações em linguagem natural com base na análise de tipo de DSL.

Leia mais
Desenvolvimento

Fragmentação em Tempo Real para Modelos de Ação-Linguagem-Visão

2025-06-17

Este artigo apresenta o Real-Time Chunking (RTC), um algoritmo que aborda o desafio da execução em tempo real de modelos de Ação-Linguagem-Visão (VLA) em robótica. VLAs tradicionais são lentos e propensos a descontinuidades ao mudar entre blocos de ação, levando a um comportamento instável do robô. O RTC resolve isso dividindo as ações em blocos e gerando o próximo bloco enquanto executa o anterior, alcançando desempenho em tempo real e eliminando descontinuidades. Experimentos demonstram que o RTC melhora significativamente a velocidade e a precisão de execução, mantendo um desempenho robusto mesmo sob alta latência. Esta pesquisa prepara o caminho para a construção de robôs capazes de lidar com tarefas complexas em tempo real.

Leia mais

Xlibre: Um Fork Moderno do Xorg Desafia a Dominância do Wayland

2025-06-17

O Wayland, anunciado como uma substituição moderna para o Xorg, enfrenta críticas por sua funcionalidade incompleta e adoção forçada. Ele tem dificuldades em áreas cruciais como desktop remoto, atalhos de teclado personalizados e suporte a softwares legados. Isso levanta preocupações na comunidade de código aberto, pois as deficiências do Wayland impactam a experiência do usuário, especialmente para pessoas com deficiência. Em resposta, o Xlibre, um fork do Xorg, visa modernizar o Xorg e fornecer uma alternativa completa e estável. O Xlibre oferece um raio de esperança para a área de trabalho Linux, mas seu sucesso em desafiar o Wayland ainda está por ser visto.

Leia mais
Desenvolvimento

Estimando a ocupação de tanques de armazenamento de petróleo usando imagens de satélite: um guia para iniciantes

2025-06-17
Estimando a ocupação de tanques de armazenamento de petróleo usando imagens de satélite: um guia para iniciantes

O TankerTrackers.com usa imagens de satélite e dados de rastreamento de petroleiros para esclarecer a natureza opaca do mercado global de petróleo. Este artigo detalha como medir o diâmetro e a altura de tanques de armazenamento de petróleo usando imagens de satélite e estimar a ocupação com base nas variações de sombra. Comparando imagens de datas diferentes, as mudanças no volume de petróleo podem ser rastreadas, ajudando a analisar as tendências do mercado. Este método utiliza de forma inteligente informações publicamente disponíveis e análise de imagens para fornecer uma nova perspectiva sobre a análise do mercado de petróleo.

Leia mais

Construindo Agentes LLM eficazes: Comece Simples

2025-06-17
Construindo Agentes LLM eficazes: Comece Simples

A Anthropic compartilha seus aprendizados sobre a construção de agentes de modelos de linguagem grandes (LLM) em várias indústrias. Eles enfatizam a importância de padrões simples e compostáveis ​​em vez de frameworks complexos. A postagem define agentes, diferenciando entre fluxos de trabalho predefinidos e agentes controlados dinamicamente. Ela detalha vários padrões de construção, incluindo encadeamento de prompts, roteamento, paralelização, coordenador-trabalhadores e avaliador-otimizador. Ela defende começar com o uso direto da API LLM, aumentando gradualmente a complexidade e destaca a importância da engenharia de ferramentas e a manutenção da simplicidade e transparência na produção.

Leia mais
IA
1 2 158 159 160 162 164 165 166 595 596