Substituição de Código Quente Elixir/Erlang: Implementações com Zero Downtime

2024-12-13

Este artigo mergulha nas capacidades de troca de código quente do Elixir/Erlang, permitindo o carregamento e descarregamento de código em tempo de execução sem exigir reinicializações do sistema para atualizações de aplicativos. Um exemplo simples do módulo KV demonstra a troca quente manual, enquanto os comandos c/1 e r/1 do iex e a ferramenta Relups são introduzidos para facilitar o gerenciamento de aplicativos e atualizações de versões. O artigo explica aplicativos Erlang, lançamentos, appups e relups, detalhando o uso da ferramenta Distillery para gerar lançamentos de aplicativos e lançamentos de atualização, alcançando, em última análise, implementações com zero downtime e evitando interrupções do serviço.

Leia mais
Desenvolvimento troca de código quente

Suporte .NET do Heroku agora está disponível: Um sonho para desenvolvedores

2025-04-04
Suporte .NET do Heroku agora está disponível: Um sonho para desenvolvedores

O Heroku lançou oficialmente o suporte de disponibilidade geral (GA) para .NET, encerrando sua fase de teste beta. Isso significa que os desenvolvedores .NET agora podem aproveitar a infraestrutura robusta e os serviços de suporte do Heroku em ambientes de produção. O Heroku automatiza a construção e a implantação de aplicativos .NET, oferecendo suporte a linguagens como C#, F# e Visual Basic, e integrando-se perfeitamente a outros recursos do Heroku, como Pipelines, CI e Review Apps, para um fluxo de trabalho de desenvolvimento e implantação simplificado. Seja você iniciante em .NET ou um desenvolvedor experiente, o Heroku oferece uma experiência de implantação suave.

Leia mais
Desenvolvimento Implantação na Nuvem

Sugestões de código de IA eficazes: menos é mais

2025-01-29
Sugestões de código de IA eficazes: menos é mais

A Qodo (anteriormente Codium), com sua ferramenta de IA para análise e feedback automatizados de pull requests, Qodo Merge, descobriu uma lição crucial sobre o uso de LLMs para revisão de código. Inicialmente, priorizar a detecção de bugs sobre sugestões de estilo mostrou-se ineficaz; o modelo foi sobrecarregado pelas questões de estilo mais fáceis de encontrar, levando à fadiga de sugestões entre os desenvolvedores. A solução veio da simplificação da tarefa do modelo: focar apenas na busca de bugs e problemas significativos. Esse foco preciso aumentou as taxas de detecção de bugs e a relação sinal-ruído, resultando em um aumento de 50% nas taxas de aceitação de sugestões e um aumento de 11% no impacto geral. A principal conclusão: às vezes, eliminar distrações é mais eficaz do que uma priorização complexa.

Leia mais
Desenvolvimento

Reescrita do SQLite em Rust atinge redução de 100x na latência de cauda

2024-12-16

Pesquisadores da Universidade de Helsinque e Cambridge reescreveram o SQLite em Rust, criando o Limbo, um projeto que utiliza E/S assíncrona e io_uring para melhorar drasticamente o desempenho. Ao utilizar E/S assíncrona e desagregação de armazenamento, o Limbo consegue uma redução de até 100x na latência de cauda, particularmente benéfico em ambientes serverless multilocatários. A melhoria principal vem da substituição de instruções de bytecode síncronas por equivalentes assíncronos, eliminando bloqueios e melhorando a concorrência. As melhorias são mais notáveis em percentis altos, tornando o Limbo ideal para aplicações que exigem alta confiabilidade.

Leia mais
(avi.im)
Desenvolvimento E/S Assíncrona

showkey: Uma ferramenta de linha de comando Linux para solução de problemas de teclado

2025-01-30
showkey: Uma ferramenta de linha de comando Linux para solução de problemas de teclado

O autor encontrou um problema estranho em que sua tecla "]" continuava sendo pressionada repetidamente. Usando a ferramenta de linha de comando Linux `showkey`, ele descobriu o culpado: um teclado secundário pressionado contra um replicador IMSAI 8080 embaixo de sua mesa. O `showkey` exibe códigos de tecla e códigos de varredura, ajudando na solução de problemas de entrada de teclado. A opção -a fornece valores ASCII, decimal, octal e hexadecimal para as teclas pressionadas. O artigo detalha a instalação, o uso e as opções do `showkey`, compartilhando a experiência de solução de problemas do autor.

Leia mais

Árvore Genealógica do Almquist Shell: Uma História Abrangente

2025-05-10

Este artigo traça meticulosamente a evolução do Almquist Shell (ash) e suas numerosas variantes, desde seu lançamento inicial em 1989 até sua presença em vários sistemas hoje em dia, incluindo Android e BusyBox. Uma árvore genealógica clara ilustra os relacionamentos entre os diferentes ramos do ash, enquanto o artigo aprofunda as principais melhorias, correções de bugs e diferenças de outros shells Bourne em cada versão. É essencialmente uma crônica da história do ash.

Leia mais
Desenvolvimento

Allstate processada por rastrear secretamente motoristas por meio do GasBuddy e outros aplicativos

2025-01-14
Allstate processada por rastrear secretamente motoristas por meio do GasBuddy e outros aplicativos

O Texas está processando a Allstate, alegando que a seguradora e sua subsidiária de dados, Arity, usaram dados de aplicativos como GasBuddy e Life360 para rastrear secretamente motoristas e ajustar ou cancelar apólices. O processo afirma que a Allstate pagou milhões a esses aplicativos para instalar softwares de rastreamento, coletando trilhões de milhas de dados de localização de mais de 45 milhões de pessoas, violando a Lei de Privacidade e Segurança de Dados do Texas. Esta é a primeira ação estatal a atingir violações abrangentes de privacidade de dados, levantando sérias preocupações sobre a privacidade de dados na indústria de seguros.

Leia mais

Introdução à Álgebra Geométrica: Multivetores e Rotores

2025-02-27

Este artigo fornece uma introdução concisa à álgebra geométrica n-dimensional R(p,q,r). Esta álgebra é construída a partir de p vetores positivos, q vetores negativos e r vetores nulos, chamados geradores, denotados como eᵢ. A álgebra inclui escalares reais, e cada vetor-base n é elevado ao quadrado para um número real. O produto de dois vetores, ou a exponenciação de um bivetor, cria um rotor que representa rotações, translações e muito mais. Um elemento genérico da álgebra é chamado de multivector, uma combinação linear de partes escalares, vetoriais e n-vetoriais.

Leia mais

Buracos em Espaços Topológicos: Equivalência de Homotopia e Equivalência de Homotopia Fraca

2025-06-23
Buracos em Espaços Topológicos: Equivalência de Homotopia e Equivalência de Homotopia Fraca

Este artigo explora o conceito de 'buracos' em espaços topológicos e introduz duas relações de equivalência: equivalência de homotopia e equivalência de homotopia fraca. A equivalência de homotopia permite que espaços sejam deformados enquanto preservam o número de 'buracos', como uma xícara de café e um toro sendo equivalentes em homotopia. A equivalência de homotopia fraca é mais relaxada, exigindo apenas que os espaços tenham os mesmos grupos de homotopia, mesmo que difiram na estrutura local. O artigo aprofunda o conceito de grupos de homotopia e ilustra como identificar 'buracos' em espaços usando grupos de homotopia com o exemplo de um toro. Finalmente, menciona a conjectura de Grothendieck de que o grupoide infinito captura todas as informações sobre um espaço topológico até a equivalência de homotopia fraca, o que está intimamente relacionado com sistemas de fatoração fraca e categorias de modelos de Quillen.

Leia mais

Linguagem Rye: Uma linguagem de programação de alto nível baseada em planilhas

2024-12-24

Rye é uma nova linguagem de programação que trata planilhas como cidadãos de primeira classe, alinhando-se mais intimamente com o pensamento humano. Este artigo demonstra como o Rye cria, carrega e manipula planilhas, suportando a importação de dados de arquivos CSV, SQL e Excel. Ele fornece um conjunto rico de funções para manipulação de dados, incluindo filtragem, classificação e seleção. Ao usar planilhas como uma estrutura de dados fundamental, o Rye simplifica as operações de dados e fornece uma experiência de programação mais intuitiva, especialmente ao lidar com dados tabulares, resultando em código conciso e eficiente que supera outras linguagens.

Leia mais
Desenvolvimento planilha

2024 em Matemática: Avanços e o Ascenso da IA

2024-12-20
2024 em Matemática: Avanços e o Ascenso da IA

2024 foi um ano marcante para a matemática, marcado por uma série de avanços significativos. Uma equipe de nove matemáticos provou a conjectura de Langlands geométrica — uma prova de 800 páginas aclamada como uma conquista coroada — conectando áreas distintas da matemática. Outros avanços importantes foram feitos em geometria, resolvendo conjecturas de longa data e fornecendo contra-exemplos surpreendentes. Simultaneamente, a inteligência artificial fez grandes avanços, com o modelo AlphaProof do Google DeepMind alcançando resultados notáveis na Olimpíada Internacional de Matemática, sugerindo o potencial da IA como um 'co-piloto' para pesquisas matemáticas futuras. Essas conquistas destacam não apenas o progresso significativo na compreensão matemática, mas também o potencial transformador da IA na formação do futuro do campo.

Leia mais

Executando ELKS em um NES: O Projeto NES86

2025-02-17
Executando ELKS em um NES: O Projeto NES86

O projeto NES86 é uma façanha incrível de engenharia: um emulador de IBM PC rodando em um NES! Simulando um processador Intel 8086 e hardware de PC compatível, ele executa com sucesso o ELKS (Embeddable Linux Kernel Subset), incluindo um shell e utilitários. Isso significa que você pode executar alguns softwares x86 em seu antigo NES, embora limitado a um terminal serial simples. O projeto é de código aberto e fornece instruções detalhadas de construção, cobrindo tanto a compilação da imagem ELKS quanto a geração da ROM NES86. Prepare-se para um desafio - executando um sistema operacional moderno em hardware retro!

Leia mais
Desenvolvimento Emulador

Planilhas de Espionagem em Cascata: Explorando a Complexidade do CSS Moderno para Impressão Digital de Email e Navegador

2025-01-10

Pesquisadores descobriram que recursos dinâmicos do CSS moderno permitem impressão digital em navegadores e emails, mesmo com JavaScript desabilitado. Três técnicas usando consultas de contêiner, funções aritméticas e seletores complexos conseguem alta precisão na inferência de configurações de aplicativo, SO e hardware. Essa impressão digital funciona até mesmo no ambiente restritivo de emails HTML. Os pesquisadores propõem duas defesas: pré-carregamento de recursos do navegador e um serviço de proxy de email.

Leia mais
Tecnologia

O Paradoxo de Jevons do Trabalho: Como a IA Está Nos Fazendo Trabalhar Mais

2025-03-28
O Paradoxo de Jevons do Trabalho: Como a IA Está Nos Fazendo Trabalhar Mais

O ensaio explora a consequência inesperada do aumento da produtividade impulsionada pela IA: em vez de nos libertar, está levando a um 'efeito de rebote do trabalho', onde o aumento da eficiência, paradoxalmente, leva a mais trabalho. Isso é impulsionado por fatores como o crescente custo de oportunidade do lazer, a criação de novas categorias de trabalho e a intensificação da concorrência. O autor argumenta que precisamos redefinir nossas métricas de progresso, passando de um foco singular na eficiência para uma consideração mais ampla do bem-estar humano, para evitar uma 'armadilha malthusiana'. Exemplos de métricas alternativas incluem a soberania do tempo dos funcionários, índices de bem-estar e profundidade de impacto. Em última análise, o artigo sugere que, em um mundo alimentado por IA, o recurso verdadeiramente escasso é saber o que vale a pena fazer — uma questão profundamente pessoal e subjetiva.

Leia mais
IA

JReleaser: Lançamentos de Projetos sem Dor de Cabeça

2025-01-21

O JReleaser simplifica o processo de lançamento de projetos, suportando diversas linguagens como Java, Go e Node.js. Ele cria pacotes facilmente para várias plataformas (Homebrew, Snapcraft, etc.), publica-os em serviços como GitHub e GitLab, e até gera logs de alterações automaticamente e anuncia lançamentos no Twitter. Seja CLI, Maven, Gradle ou Ant, o JReleaser otimiza seu fluxo de trabalho, permitindo que você se concentre no desenvolvimento.

Leia mais

Meta lança Pyrefly: verificador de tipos Python em Rust

2025-05-17
Meta lança Pyrefly: verificador de tipos Python em Rust

O Meta lançou uma versão alfa do Pyrefly, um verificador de tipos Python de código aberto e extensão IDE construída em Rust. O Pyrefly visa melhorar a consistência de tipos no código Python, ajudando a detectar erros antes da execução. Ele suporta integração IDE e uso de linha de comando, priorizando desempenho e inferência de tipos, funcionando efetivamente mesmo em código não anotado. Evoluindo do Pyre do Meta, o Pyrefly busca ser um verificador de tipos mais poderoso e extensível, colaborando com a comunidade Python para melhorar o sistema de tipos Python.

Leia mais
Desenvolvimento

Rei do Crypto do Kentucky Preso por Sequestro e Tortura

2025-05-25
Rei do Crypto do Kentucky Preso por Sequestro e Tortura

John Woeltz, um homem de 37 anos do Kentucky conhecido como o "rei do crypto do Kentucky", foi preso e acusado de sequestro, tortura e agressão a um homem italiano mantido em cativeiro por semanas em uma casa de luxo em Manhattan. A vítima, de 28 anos, foi supostamente torturada para obter sua senha de Bitcoin, sofrendo espancamentos com coronha, ferimentos com serra elétrica e outros atos brutais. A polícia recuperou evidências, incluindo fotos e instrumentos de tortura, na residência de luxo. Woeltz está detido sem fiança.

Leia mais
Diversos

Chromehounds: O jogo de mechas da FromSoftware ressurge das cinzas

2025-05-27
Chromehounds: O jogo de mechas da FromSoftware ressurge das cinzas

Quinze anos após o fechamento de seus servidores, o jogo de mechas cult Chromehounds foi ressuscitado por uma comunidade dedicada. ImagineBeingAtComputers, usando o emulador de Xbox 360 Xenia e habilidades de engenharia reversa, conseguiu trazer de volta o modo multiplayer online. Embora atualmente limitado a batalhas gratuitas, a equipe visa restaurar o modo completo de 'Guerra Neroimus', uma tarefa monumental que envolve a reconstrução de um banco de dados complexo. Este renascimento não apenas mostra a paixão duradoura por jogos de nicho, mas também destaca o poder da colaboração de código aberto e os avanços na tecnologia de emulação.

Leia mais
Jogos

Efeitos de IA OpenVINO para Audacity

2025-02-16

A Intel lançou um conjunto de plug-ins de IA baseados em OpenVINO para o Audacity, oferecendo supressão de ruído, transcrição, geração de música e recursos de separação. A supressão de ruído funciona de forma semelhante à ferramenta integrada do Audacity; a transcrição, alimentada pelo Whisper.cpp, transcreve e traduz áudio; a geração de música e remix de estilo utilizam o Stable Diffusion para criar nova música; e a separação de música divide faixas em vocais, instrumentos ou componentes individuais como bateria e baixo. Atualmente, apenas uma versão para Windows está disponível para download no GitHub.

Leia mais

Ficção Científica: Dos Sonhos Lunares a Futuros Cheios de Esperança

2025-04-29
Ficção Científica: Dos Sonhos Lunares a Futuros Cheios de Esperança

A ficção científica já nos inspirou a alcançar a Lua. Agora, dominada por visões distópicas e apocalípticas, ela fomenta o pessimismo em relação ao futuro. Este artigo argumenta que a ficção científica deve retomar seu espírito otimista, mostrando futuros mais brilhantes e inspirando a criação de uma realidade melhor. O autor conclama os escritores de ficção científica a criarem narrativas cheias de esperança, oferecendo novas perspectivas e possibilidades para construir uma sociedade mais ideal, evitando a falta de preparação diante de crises do mundo real.

Leia mais
Tecnologia futuro otimismo

Asus, Samsung e MSI anunciam os primeiros monitores OLED 4K de 27 polegadas e 240 Hz do mundo

2025-01-02
Asus, Samsung e MSI anunciam os primeiros monitores OLED 4K de 27 polegadas e 240 Hz do mundo

Asus, Samsung e MSI anunciaram em conjunto os primeiros monitores para jogos OLED 4K de 27 polegadas e 240 Hz do mundo. Os três monitores usam o painel QD-OLED de quarta geração da Samsung Display, prometendo maior vida útil e utilizando DisplayPort 2.1a para taxas de atualização de 4K a 240 Hz sem Compressão de Fluxo de Exibição (DSC). Embora sejam muito semelhantes em especificações, existem pequenas diferenças no tamanho (o da Asus tem 26,5 polegadas), no suporte HDR (a Asus inclui Dolby Vision) e nos detalhes da garantia. As datas de lançamento e os preços ainda não foram anunciados, mas a combinação de alta taxa de atualização, alta resolução e tecnologia OLED posiciona esses monitores como telas de jogos de alto nível.

Leia mais

Sipeed NanoKVM-PCIe: Solução KVM sobre IP acessível

2024-12-24
Sipeed NanoKVM-PCIe: Solução KVM sobre IP acessível

A Sipeed lançou o NanoKVM-PCIe, uma solução KVM sobre IP de baixo custo com suporte opcional para WiFi 6 e PoE. Baseado no SoC SOPHGO SG2002, ele possui várias interfaces, incluindo Ethernet, USB-C e HDMI, suportando saída de vídeo 1080p60. O dispositivo suporta controle UEFI/BIOS, emulação de teclado/mouse USB, IPMI e muito mais, com uma interface web para gerenciamento. O NanoKVM-PCIe pode ser alimentado via slot PCIe ou USB-C, e tem preço entre US$ 55 e US$ 70.

Leia mais

Codex: Agente de codificação leve para seu terminal

2025-04-16
Codex: Agente de codificação leve para seu terminal

Codex é um agente de codificação leve que roda em seu terminal, utilizando a API OpenAI para raciocínio de código no nível do ChatGPT. Ele oferece modos interativo e não interativo, automatizando a conclusão de código, execução, instalação de dependências e até mesmo a geração de testes unitários. Um sandbox robusto garante segurança. Os usuários podem personalizar instruções e modos de aprovação, lidando com tarefas desde explicações de código simples até refatoração complexa. Suporta vários sistemas operacionais e é de código aberto para contribuições da comunidade, Codex simplifica os fluxos de trabalho de desenvolvimento.

Leia mais
Desenvolvimento

Aplicativo Treinador de Piano de Código Aberto Lançado

2025-07-07
Aplicativo Treinador de Piano de Código Aberto Lançado

Piano Trainer é um aplicativo de prática de piano gratuito e de código aberto que oferece vários modos de prática: escalas, acordes, quintas e questionários interativos. É compatível com MIDI, multiplataforma e suporta entrada de teclado em linha inicial. Atualizações futuras incluem mais escalas, configurações, perguntas de questionário comutáveis e sons de teclado personalizáveis. Baixe gratuitamente no itch.io ou crie a partir do código-fonte no GitHub.

Leia mais

Da Eficiência na Segunda Guerra Mundial à Falha do Governo Moderno: A Ascensão e Queda da Melhoria Sistemática

2025-02-11
Da Eficiência na Segunda Guerra Mundial à Falha do Governo Moderno: A Ascensão e Queda da Melhoria Sistemática

Este artigo examina a história da reforma da eficiência do governo dos EUA, contrastando o sucesso do programa de Simplificação do Trabalho do Bureau of the Budget durante a Segunda Guerra Mundial (usando fluxogramas para melhorar os processos) com a falha da National Performance Review (NPR) da administração Clinton. Embora a NPR tenha alcançado alguns avanços tecnológicos, sua negligência em relação à participação dos trabalhadores de primeira linha e o foco em ganhos de curto prazo enfraqueceram, em última análise, as capacidades institucionais. O artigo argumenta que a reforma eficaz do governo requer abordagens sistemáticas, priorizando o envolvimento dos trabalhadores de primeira linha e a construção de capacidades sustentáveis, em vez de mudanças superficiais.

Leia mais

O Capacitor que Desaparece Maravilhosamente: Uma Maneira Inteligente de Melhorar o Desempenho do Amplificador de Fotodiodo

2024-12-12
O Capacitor que Desaparece Maravilhosamente: Uma Maneira Inteligente de Melhorar o Desempenho do Amplificador de Fotodiodo

Este artigo apresenta uma técnica inteligente para melhorar o desempenho de amplificadores de fotodiodos: bootstrapping. A capacitância parasita de um fotodiodo limita sua capacidade de amplificar sinais que mudam rapidamente. Em um amplificador de impedância transversa tradicional (TIA), essa capacitância reduz a largura de banda. O artigo analisa o princípio de funcionamento de um TIA, explicando como a capacitância parasita do fotodiodo afeta o desempenho do circuito. O autor apresenta um circuito bootstrapped usando um amplificador operacional e JFET, que elimina efetivamente a capacitância parasita mantendo a tensão nos terminais do fotodiodo praticamente a mesma, melhorando significativamente a largura de banda. O artigo também discute uma variante de circuito bootstrapped AC acoplado e fornece fórmulas relevantes.

Leia mais

LSD: Um servidor MCP que dá acesso à internet ao Claude

2025-02-05
LSD: Um servidor MCP que dá acesso à internet ao Claude

O servidor LSD-MCP permite que o Claude se conecte à internet e agregue informações de alta qualidade diretamente de sites usando LSD SQL, uma DSL para a web. Ele permite que desenvolvedores conectem a internet a aplicativos como se fosse um banco de dados PostgreSQL. Projetado para navegadores, o LSD oferece paralelismo poderoso e tabelas just-in-time, eliminando a necessidade de tabelas pré-criadas. Uma instalação simples de linha de comando e a configuração de LSD_USER e LSD_API_KEY permitem que o Claude execute consultas LSD. A solução de problemas de erro envolve verificar o caminho uv e o arquivo claude_desktop_config.json.

Leia mais
Desenvolvimento

Análise da Sobreposição de Links Entre Lobste.rs e Hacker News

2024-12-23

Uma postagem de blog analisa a sobreposição de links entre Lobste.rs e Hacker News, dois importantes sites de notícias de tecnologia. A postagem lista vários artigos que aparecem em ambos os sites, explorando temas e tendências nos links sobrepostos, como desenvolvimento de software de código aberto, IA e linguagens de programação. Isso destaca os interesses comuns e os padrões de disseminação de informações dentro da comunidade de tecnologia.

Leia mais

CEO da Nvidia: Desempenho de chips de IA supera a Lei de Moore

2025-01-08
CEO da Nvidia: Desempenho de chips de IA supera a Lei de Moore

O CEO da Nvidia, Jensen Huang, declarou na CES 2025 que o desempenho dos chips de IA da empresa está melhorando mais rápido do que a Lei de Moore. Ele atribuiu isso à capacidade da Nvidia de inovar simultaneamente em toda a pilha – arquitetura, chip, sistema, bibliotecas e algoritmos. O novo superchip de data center GB200 NVL72 possui um aumento de desempenho de 30 a 40 vezes em cargas de trabalho de inferência de IA em comparação com seu antecessor. Huang acredita que isso levará a custos mais baixos de inferência de IA e a avanços adicionais nas capacidades do modelo de IA.

Leia mais
Tecnologia chips de IA

De SQL Server para Armazenamento Chave-Valor: Uma análise de uma reescrita de banco de dados que deu errado

2025-06-15

Um desenvolvedor sênior relata sua experiência com uma reescrita de banco de dados em uma empresa anterior. O sistema original, usando SQL Server, sofria de gargalos de desempenho e frequentes interrupções devido a procedimentos armazenados complexos. A reescrita optou por armazenamentos chave-valor simples, mas devido à incompatibilidade do modelo de dados e à falta de suporte a transações, as operações de E/S dispararam, o desempenho piorou e um complexo sistema de checkpoints foi introduzido. A reescrita acabou não resolvendo os problemas originais e criou novos desafios. Esse relato humorístico reflete sobre a importância da seleção de tecnologia e do design arquitetônico, e o impacto negativo da simplificação excessiva.

Leia mais
Desenvolvimento reescrita de banco de dados
1 2 528 529 530 532 534 535 536 595 596