Gource: Visualizando seu repositório de código com animações impressionantes

2025-01-03
Gource: Visualizando seu repositório de código com animações impressionantes

Gource é um software de código aberto que visualiza o histórico do seu repositório de controle de versão de uma forma animada e impressionante. A raiz do repositório fica no centro, os diretórios são ramos, os arquivos são folhas e os desenvolvedores se tornam personagens dinâmicos que se movem pela árvore de código, com suas contribuições mostradas em trilhas animadas. O Gource usa renderização OpenGL e requer uma placa de vídeo com aceleração 3D. Ele suporta vários sistemas de controle de versão, como Git, SVN, Mercurial e oferece parâmetros extensos para personalização, permitindo que você gere facilmente visualizações impressionantes do histórico do seu repositório de código.

Leia mais
Desenvolvimento visualização de código

Acidente aéreo da Jeju Air: Caixas pretas param de gravar antes da queda

2025-01-11
Acidente aéreo da Jeju Air: Caixas pretas param de gravar antes da queda

Um Boeing 737-800 da Jeju Air caiu na Coreia, resultando em 179 mortes. A investigação revelou que as caixas pretas (gravador de dados de voo e gravador de voz do cockpit) pararam de gravar quatro minutos antes do acidente. Essa perda de dados cruciais complica a investigação, forçando os investigadores a depender de outras evidências para determinar a causa do acidente. Possíveis causas em investigação incluem colisão com pássaros, mau funcionamento do trem de pouso e a barreira da pista. O ministro dos transportes renunciou e as autoridades estão investigando o aeroporto e a Jeju Air.

Leia mais

Autocorreção QMK: Correção de erros tipográficos no teclado

2025-01-08

O firmware QMK agora inclui autocorreção, oferecendo correção de erros tipográficos em tempo real diretamente no seu teclado. Usando uma estrutura de dados Trie, corrige erros de digitação comuns (por exemplo, 'ouput' para 'output') com sobrecarga mínima de recursos (1672 bytes para 71 entradas, ~20 µs por pressionamento de tecla). É insensível a maiúsculas e minúsculas, personalizável por meio de um dicionário e atualmente suporta apenas caracteres alfanuméricos e apóstrofos. Embora limitado ao inglês, melhora significativamente a eficiência de digitação para programadores e usuários semelhantes.

Leia mais

Batalha Antipirataria Francesa Escala: Provedor de DNS Quad9 Bloqueia Sites Piratas Globalmente

2024-12-12

Em uma luta crescente contra a pirataria esportiva online, a gigante de mídia francesa Canal+ obteve ordens judiciais obrigando os provedores de DNS Quad9 e Vercara a bloquear o acesso a sites de streaming piratas na França. A Quad9, considerando isso uma aplicação absurda da lei de direitos autorais, planeja recorrer, mas bloqueou globalmente os domínios por enquanto. Essa ação acende um debate global sobre direitos autorais e neutralidade da rede, com a Quad9 buscando apoio público para seu recurso a fim de manter uma internet aberta.

Leia mais

Desenvolvimento Guiado por Tipos: Como os Tipos Simplificam Problemas Complexos de Programação

2024-12-19
Desenvolvimento Guiado por Tipos: Como os Tipos Simplificam Problemas Complexos de Programação

Este artigo explora o conceito de "Desenvolvimento Guiado por Tipos", no qual o autor, com base na experiência com o grande projeto Heartbeat em Typescript (mais de 300.000 linhas), demonstra como o sistema de tipos do Typescript simplifica problemas complexos de programação. A ideia principal é que, ao utilizar efetivamente o sistema de tipos, permitindo que os tipos fluam livremente por todas as camadas do aplicativo, começando novos recursos com definições de tipos, tornando estados ilegais irrepresentáveis, analisando em vez de validar dados e mantendo a honestidade e especificidade do código, os bugs são drasticamente reduzidos e a eficiência do desenvolvimento é melhorada. O autor também compartilha técnicas para usar funções puras como pontes de tipos e o sistema de tipos como uma ferramenta de introspecção, reconhecendo a necessidade ocasional de contornar as restrições do sistema de tipos.

Leia mais

Crie uma Autoridade de Certificação minúscula e segura com YubiKey para seu Homelab

2025-01-19
Crie uma Autoridade de Certificação minúscula e segura com YubiKey para seu Homelab

Este tutorial o guiará na construção de uma Autoridade de Certificação (CA) segura e protegida por YubiKey em um Raspberry Pi. Usando o step-ca de código aberto e um Infinite Noise TRNG opcional para aleatoriedade aprimorada, você criará um minúsculo servidor ACME interno para as necessidades de TLS do seu homelab. O guia cobre a configuração do sistema, a criação de PKI, a configuração da CA, a adição de um provisionador ACME e a implementação de serviços systemd para lidar com a remoção/inserção do YubiKey. O resultado? Uma CA minúscula, segura e sem SSH.

Leia mais

Avanço na Segurança de Rede: Atrapando Intrusos em uma 'Rede do Inferno'

2024-12-17
Avanço na Segurança de Rede: Atrapando Intrusos em uma 'Rede do Inferno'

Pesquisadores da equipe SensorFu da Universidade de Oulu desenvolveram um novo sistema de defesa de segurança de rede inspirado na técnica LaBrea tarpit. O sistema intercepta solicitações ARP e retarda as respostas SYN-ACK, criando uma multidão de dispositivos virtuais na rede para confundir os intrusos. Isso força os atacantes a perder tempo significativo identificando dispositivos reais, fornecendo aos administradores tempo crucial para corrigir vulnerabilidades. Os testes mostraram que o sistema estende os tempos de varredura por horas, reduzindo drasticamente as taxas de sucesso de ataque. Leve, eficiente e fácil de implantar, este sistema oferece proteção robusta de rede para organizações de todos os tamanhos.

Leia mais

O Debate da Depuração printf: Um Desenvolvedor de Jogos Veterano Opina

2025-01-06

Alex Dixon, um desenvolvedor de jogos experiente, questiona a ideia extrema de rejeitar depuradores em favor da depuração com bloco de notas e printf. Ele argumenta que depuradores, sanitizadores de endereço e outras ferramentas aumentam significativamente a eficiência, mesmo para programadores experientes lidando com bugs complexos em projetos grandes ou código legado. Embora defenda o uso de depuradores, ele reconhece a utilidade do printf em cenários específicos (por exemplo, depuração de builds de lançamento ou eventos de toque em dispositivos móveis). Em última análise, ele enfatiza que a correção eficiente de bugs é o objetivo, e escolher as ferramentas certas é fundamental.

Leia mais
Desenvolvimento

O Sucesso Insano da SpaceX: O Algoritmo Haywood em Ação

2025-01-10
O Sucesso Insano da SpaceX: O Algoritmo Haywood em Ação

Esta resenha do novo livro de Eric Berger, *Reentry: SpaceX, Elon Musk, and the Reusable Rockets that Launched a Second Space Age*, detalha a extraordinária história de sucesso da SpaceX. O autor atribui as conquistas da SpaceX à adesão extrema de Elon Musk ao 'Algoritmo Haywood' – fazer uma lista de tudo o que é necessário para o sucesso e, em seguida, fazer tudo. A SpaceX superou inúmeros obstáculos técnicos e políticos, revolucionando a indústria aeroespacial com suas inovações ousadas e execução quase insana, alcançando foguetes reutilizáveis e reduzindo drasticamente os custos de lançamento. A resenha usa anedotas sobre os feitos ousados da SpaceX – desde o transporte de foguetes e construção de plataformas de lançamento até o tratamento de crises inesperadas – para destacar sua cultura empresarial única e busca implacável pela inovação apesar dos contratempos. Em última análise, o autor argumenta que o triunfo da SpaceX decorre de seu compromisso inabalável com seus objetivos, sua execução tenaz e o estilo de liderança não convencional de Musk.

Leia mais
Tecnologia Foguete

Fish Shell 4.0: Uma Reescrita Épica de C++ para Rust

2024-12-28

A equipe do Fish shell concluiu uma tarefa gigantesca: reescrever o Fish shell de C++ para Rust em quase dois anos. Devido às limitações nas ferramentas do C++, diferenças entre compiladores e plataformas, ergonomia e segurança de threads, a equipe escolheu o Rust para melhorar o desempenho, a segurança e a experiência do desenvolvedor. Usando uma abordagem de "Navio de Teseu", eles substituíram os componentes gradualmente, garantindo a estabilidade durante o processo. Embora tenham surgido desafios, como problemas de compatibilidade com o autocxx, a equipe lançou com sucesso a versão beta do Fish 4.0, com melhorias de desempenho, novos recursos e versões estáticas mais fáceis de instalar.

Leia mais
Desenvolvimento

NASA e Axiom Space alteram ordem de montagem da estação espacial comercial

2024-12-29
NASA e Axiom Space alteram ordem de montagem da estação espacial comercial

A NASA e a Axiom Space modificaram a sequência de montagem de sua estação espacial comercial. O novo plano prioriza o lançamento do Módulo de Carga, Energia e Térmica primeiro, permitindo que a Estação Axiom se torne um destino de voo livre já em 2028, independente da Estação Espacial Internacional (ISS). Isso acelera as capacidades operacionais da Estação Axiom, reduz a dependência da ISS e prepara para o descomissionamento da ISS não antes de 2030. A NASA continua apoiando a P&D de múltiplas estações espaciais comerciais para manter a liderança dos EUA em pesquisas de microgravidade e para servir aos objetivos futuros de exploração espacial.

Leia mais

Meta FAIR Lança Pesquisas de IA Inovadoras e Modelos de Código Aberto

2024-12-13
Meta FAIR Lança Pesquisas de IA Inovadoras e Modelos de Código Aberto

O Meta FAIR lançou uma série de artefatos de pesquisa de IA inovadores, incluindo o Meta Motivo, um modelo fundamental para controlar agentes corporais virtuais, e o Meta Video Seal, um modelo de código aberto para marca d'água em vídeo. Este lançamento concentra-se em avanços nas capacidades dos agentes, robustez, segurança e inovações arquitetônicas para uma aprendizagem mais eficiente. Outras contribuições importantes incluem o código base Flow Matching, o Meta Explore Theory-of-Mind para raciocínio sobre a teoria da mente, os modelos de conceito amplo (LCMs) e o Dynamic Byte Latent Transformer. Ao disponibilizar esses modelos e ferramentas de código aberto, o Meta visa promover a colaboração e acelerar o desenvolvimento responsável da IA.

Leia mais

Ithy: IA Distribuída para Pesquisas Extensivas

2024-12-13

Ithy é uma ferramenta inovadora de busca que utiliza inteligência artificial distribuída para pesquisas abrangentes. Superando as limitações de sistemas de IA únicos, Ithy utiliza múltiplas IAs trabalhando juntas para fornecer resultados de pesquisa mais completos e aprofundados, oferecendo aos usuários informações mais ricas e respostas mais precisas do que nunca.

Leia mais

resizer2: Gerencie janelas do Windows como no KDE/i3 com Win+Mouse

2024-12-29
resizer2: Gerencie janelas do Windows como no KDE/i3 com Win+Mouse

O resizer2 é um gerenciador de janelas para Windows que permite que você redimensione e mova janelas usando a tecla Win + mouse, semelhante aos gerenciadores de janelas KDE ou i3. Ele oferece recursos como mover, redimensionar, ajustar a opacidade, minimizar e maximizar janelas, mesmo em vários monitores. Embora exija privilégios de administrador para mover janelas do sistema e tenha algumas peculiaridades conhecidas (como incompatibilidade com alguns aplicativos em tela cheia), o resizer2 oferece uma experiência de gerenciamento de janelas mais eficiente e conveniente para usuários do Windows.

Leia mais

FIX Parser: Decodificando o Protocolo de Intercâmbio de Informações Financeiras

2025-01-09

O Protocolo FIX (Financial Information Exchange) é um sistema de mensagens padronizado para comunicação eletrônica em tempo real de informações relacionadas a negociações em mercados financeiros. Ele permite a troca perfeita de informações sobre ordens, execuções e dados de mercado entre diversas entidades financeiras. O FIXParser decodifica mensagens FIX em formatos legíveis por humanos, incluindo FIX JSON e uma representação de mensagem proprietária. O artigo também destaca o FIX Simple Binary Encoding (FIX SBE), um formato compacto e de alto desempenho para melhorar a eficiência de transferência de dados e reduzir a latência.

Leia mais
Tecnologia Protocolo FIX

Vespa Mandarinia Erradicada dos Estados Unidos

2024-12-23

Após três anos sem detecções confirmadas, o Departamento de Agricultura do Estado de Washington (WSDA) e o Departamento de Agricultura dos Estados Unidos (USDA) anunciaram a erradicação do Vespa mandarinia (Vespa mandarinia) de Washington e dos EUA. Esse sucesso foi resultado de um esforço colaborativo de vários anos envolvendo agências estaduais e federais, membros da comunidade e o público, que desempenharam um papel crucial na denúncia de avistamentos. Os vespões representavam uma ameaça significativa às abelhas, outros polinizadores e à agricultura, e sua erradicação protege o ecossistema e a indústria agrícola dos EUA. Apesar da erradicação, a vigilância continua para evitar a reintrodução.

Leia mais

NASA Descobre a Causa da Queda do Helicóptero Ingenuity em Marte

2024-12-13
NASA Descobre a Causa da Queda do Helicóptero Ingenuity em Marte

Após quase um ano de investigação, a NASA finalmente desvendou o mistério por trás da queda do Ingenuity, o helicóptero de Marte transportado pelo rover Perseverance. O sistema de navegação do helicóptero, incapaz de discernir recursos suficientes na superfície relativamente lisa de Marte, resultou em uma velocidade horizontal ao pousar. Isso fez com que o Ingenuity tombasse, quebrando suas pás. Apesar da falta de uma caixa preta, os investigadores juntaram a causa a partir de dados e imagens limitadas. Notavelmente, o Ingenuity ainda se comunica de forma intermitente com o Perseverance. O incidente levou a NASA a começar a planejar missões subsequentes, incluindo um helicóptero maior de Marte capaz de transportar instrumentos científicos.

Leia mais

2024: Um ano recorde para a The Ocean Cleanup

2025-01-05
2024: Um ano recorde para a The Ocean Cleanup

Em 2024, a The Ocean Cleanup fez progressos significativos na remoção de plástico dos oceanos do mundo. De ampliar seu trabalho na Grande Porção de Lixo do Pacífico (GPGP) a expandir os esforços de limpeza de rios globalmente, cada marco nos aproximou da solução deste desafio ambiental crítico. Mais de 11 milhões de quilos de plástico foram removidos, superando a quantidade coletada em todos os anos anteriores combinados. Isso incluiu o sucesso do Sistema 03 na GPGP e a implantação de interceptores em rios na Tailândia, Guatemala e Jamaica. A organização também está explorando maneiras de transformar os resíduos plásticos em produtos úteis e continua a conduzir pesquisas científicas para apoiar a tomada de decisões políticas. Os resultados demonstram que limpar os oceanos é possível, mas exige esforços contínuos.

Leia mais

Nix Home Manager: Um guia para gerenciamento de dotfiles

2024-12-22

Este artigo mergulha nas vantagens e técnicas de usar o Nix Home Manager para gerenciamento de dotfiles. O autor começa reconhecendo a curva de aprendizado íngreme do Nix e do Home Manager, recomendando uma abordagem gradual para dominar seus recursos. O artigo explica vários casos de uso do Home Manager, incluindo instalação de software, configuração de programas e serviços declarativos e gerenciamento de dotfiles. O foco principal é na função `mkOutOfStoreSymlink`, que cria links simbólicos para dotfiles, permitindo modificações sem reconstruir todo o sistema. Um exemplo de módulo personalizado é fornecido para facilitar a alternância entre configurações mutáveis e imutáveis. Por fim, o autor compara o Home Manager com outras ferramentas de gerenciamento de dotfiles, destacando seus benefícios de reprodutibilidade.

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

Ambiente de Trabalho Trinity R14.1.3 Lançado: Leve, Eficiente e Ideal para Hardware Antigo

2024-12-13

A equipe do projeto Trinity Desktop Environment (TDE) lançou a versão R14.1.3, um ambiente de desktop leve e gratuito, projetado para usuários que preferem uma experiência enxuta e eficiente. Esta versão suporta várias distribuições Linux, BSD e DilOS, possui baixos requisitos de sistema, tornando-a ideal para hardware antigo. O R14.1.3 inclui várias melhorias, como integração da API do Portal da Área de Trabalho XDG, um novo módulo de configurações da trackpad, novos temas e esquemas de cores e suporte para vários aplicativos e linguagens de programação como Python 3.13. O projeto incentiva doações para apoiar seu desenvolvimento contínuo.

Leia mais

Perplexity supera o Google como melhor mecanismo de busca

2024-12-16
Perplexity supera o Google como melhor mecanismo de busca

Um colunista de tecnologia veterano relembra a evolução dos mecanismos de busca, dos pioneiros iniciais como AltaVista à dominância do Google e, agora, à ascensão da busca impulsionada por IA. O artigo argumenta que a dependência excessiva do Google em anúncios degradou a qualidade da busca, enquanto o Perplexity, com sua abordagem impulsionada por IA, fornecimento de links de origem e foco na experiência do usuário, surgiu como uma alternativa superior. Embora reconhecendo as imperfeições das respostas de IA, o autor destaca as fontes verificáveis do Perplexity como um diferencial fundamental, fornecendo resultados de busca mais precisos e confiáveis. O futuro do Google é incerto, e sua capacidade de recuperar sua antiga glória ainda está por ser vista.

Leia mais

AlphaFind: Aplicativo que Requer JavaScript

2024-12-14

AlphaFind é um aplicativo que requer que o JavaScript esteja habilitado para funcionar. Isso significa que, se o JavaScript estiver desabilitado em seu navegador ou seu dispositivo não o suportar, o aplicativo não funcionará. Certifique-se de que o JavaScript esteja habilitado em seu navegador para acessar os recursos do AlphaFind.

Leia mais
Diversos aplicativo

Nova Fronteira da Física: Além da Termodinâmica

2024-12-22
Nova Fronteira da Física: Além da Termodinâmica

Este artigo aprofunda o significado e as limitações da termodinâmica na física. O autor argumenta que, embora a mecânica estatística forneça uma compreensão microscópica da termodinâmica, ela pode obscurecer princípios mais gerais. Apela-se para que se concentre em observações macroscópicas e empíricas, como a termodinâmica fora do equilíbrio e os sistemas auto-organizados, sugerindo que essas áreas podem conter novas leis físicas e oferecer soluções para problemas práticos, refletindo o desenvolvimento inicial da termodinâmica a partir de melhorias nas máquinas a vapor.

Leia mais

CSIRO Lança Mapa com IA que Visualiza Pesquisa em Segurança Hídrica em Acesso Aberto

2024-12-18

A CSIRO lançou o 'Atlas of Open Water Security Science', um mapa interativo que visualiza a distribuição geográfica de publicações de acesso aberto sobre ciência da água do seu Programa de Segurança Hídrica desde 2010. Utilizando IA, esta versão de teste de 3 meses extrai locais e contexto das publicações, mas pode conter imprecisões. Os usuários podem explorar a evolução da pesquisa, clicar nas publicações para obter detalhes e aprender mais sobre a inovação em IA da CSIRO em ciência ambiental. Use com cautela.

Leia mais

MLC-LLM: Tornando as GPUs AMD competitivas para inferência de LLMs

2024-12-24

GPUs da NVIDIA dominaram por muito tempo a área de inferência de modelos de linguagem grandes (LLMs). No entanto, o projeto MLC-LLM usa compilação de aprendizado de máquina para implantar com sucesso LLMs em GPUs AMD, obtendo resultados impressionantes. Usando ROCm e Vulkan, a AMD Radeon RX 7900 XTX atinge 80% da velocidade da NVIDIA RTX 4090 e 94% da RTX 3090 Ti para inferência Llama2-7B/13B. Isso melhora significativamente a competitividade das GPUs AMD e expande as opções de implantação de LLM, incluindo APUs AMD como as encontradas no Steam Deck. Desenvolvimento futuro do MLC-LLM inclui otimizações para processamento em lote, suporte para várias GPUs, quantização e arquiteturas de modelos expandidas, e redução da diferença de desempenho com a NVIDIA, abordando, em última análise, as limitações de computação em IA.

Leia mais

Amador constrói robô de rifle assistido por IA usando ChatGPT

2025-01-12
Amador constrói robô de rifle assistido por IA usando ChatGPT

Um engenheiro amador construiu um sistema de rifle robótico assistido por IA usando o ChatGPT da OpenAI, gerando debates éticos sobre armas de IA. O sistema, capaz de mirar e atirar por comandos de voz, viralizou no TikTok. A OpenAI posteriormente cortou o acesso do engenheiro ao ChatGPT, destacando a acessibilidade e os perigos potenciais da tecnologia de IA. Para aumentar a preocupação, a própria OpenAI está colaborando com o Pentágono em armas de IA, contradizendo sua missão inicial. Esse cenário do mundo real lembra a ficção científica, levantando sérias questões sobre o futuro das armas de IA e os perigos de projetos de IA DIY não regulamentados.

Leia mais
Tecnologia armas de IA

Controle seu Roku com gestos: Um projeto Python e MediaPipe

2025-01-03
Controle seu Roku com gestos: Um projeto Python e MediaPipe

O HandiRokuRemote permite controlar seu Roku usando gestos! Este projeto Python usa o MediaPipe do Google para rastreamento de mão em tempo real, traduzindo gestos em comandos enviados ao seu Roku através de seu Protocolo de Controle Externo (ECP). A interface intuitiva possui detecção automática de dispositivos, configurações personalizáveis (modo de depuração, inicialização automática, visualização de esqueleto) e uma variedade de gestos suportados para navegação e controle de mídia. Embora existam limitações atuais quanto à distância de detecção de mão, o desenvolvimento futuro visa expandir a compatibilidade para outras Smart TVs e dispositivos habilitados para HDMI-CEC.

Leia mais
Desenvolvimento

Armazenamento de Dados Digitais em Escala Secular: Uma Corrida Contra o Tempo

2024-12-14
Armazenamento de Dados Digitais em Escala Secular: Uma Corrida Contra o Tempo

Este artigo explora o desafio de armazenar dados digitais por 100 anos. Da invenção do primeiro computador da IBM com disco rígido, o RAMAC, até a prevalência do armazenamento em nuvem hoje, o autor analisa as vantagens e desvantagens de vários métodos de armazenamento, incluindo discos rígidos, armazenamento em nuvem, mídia removível e impressão física ou gravação. O artigo destaca as ameaças à preservação de dados a longo prazo, como danos físicos ao hardware, atualizações de software, mudanças institucionais e flutuações de mercado. Em última análise, o autor argumenta que a chave para o armazenamento digital em escala secular reside em estabelecer uma cultura que valoriza a manutenção e a preservação, exigindo um esforço coletivo de todos os setores da sociedade para combater a erosão do tempo e proteger o patrimônio digital da humanidade.

Leia mais

Guia Definitivo de Empregos Remotos: Seu Emprego dos Sonhos Está Aqui

2025-01-09

Este recurso é uma compilação de inúmeras oportunidades de emprego remoto em várias áreas, incluindo tecnologia, design, marketing e suporte ao cliente. Seja você um engenheiro experiente ou um recém-formado, você encontrará posições adequadas aqui. De Remote Rocketship, focado em vagas de tecnologia, a We Work Remotely, oferecendo uma ampla gama de empregos remotos, e Remote Nursing Jobs especificamente para enfermeiros, este recurso tem tudo. Além disso, plataformas como 4DayWeek.io, focada em semanas de trabalho de quatro dias, e muitas outras oferecem uma grande quantidade de vagas de emprego remotas para ajudá-lo a encontrar o caminho de carreira ideal.

Leia mais
Diversos
1 2 543 544 545 547 549 550 551 554 555