Webtagr - Sumário de Notícias de Tecnologia

Tags populares：

Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

BlackSheep: Framework Web ASGI rápido e leve para Python

2024-12-18

BlackSheep é um framework web ASGI assíncrono e rápido para Python, inspirado em Flask, ASP.NET Core e no trabalho de Yury Selivanov. Ele oferece um CLI para inicialização rápida de projetos, suporte para vinculação automática, injeção de dependências, geração de documentação OpenAPI e várias estratégias de autenticação e autorização. BlackSheep possui ampla compatibilidade com plataformas e tempos de execução e inclui recursos como middleware, WebSocket, SSE, serviço de arquivos estáticos e integração com Jinja2, tornando-o ideal para construir aplicativos web de alto desempenho.

(github.com)

Desenvolvimento Framework Web Assíncrono

GitHub Copilot: Seu Programador em Parelha com IA

2024-12-18

O GitHub Copilot é um programador emparelhado com IA que fornece sugestões de código em tempo real com base em seu código e prompts de linguagem natural. Ele suporta várias linguagens de programação e IDEs, oferecendo planos gratuitos e pagos para atender às diversas necessidades. O Copilot possui poderosas funcionalidades de depuração e correção de vulnerabilidades de segurança, além de edição de vários arquivos e suporte multiplataforma. Embora treinado em repositórios de código público, ele não copia e cola código, mas gera sugestões probabilisticamente, oferecendo um filtro de referência de código opcional para mitigar preocupações sobre direitos autorais.

(github.com)

Desenvolvimento programação IA assistente de código

Brisk: Uma estrutura de GUI C++20 multiplataforma para renderização de alto desempenho

2024-12-18

Brisk é uma estrutura de GUI C++20 moderna e multiplataforma, projetada para criar aplicativos responsivos e de alto desempenho com facilidade. Utilizando uma arquitetura MVVM e recursos reativos, o Brisk possui renderização escalável acelerada por GPU, tornando-o ideal para projetos com uso intensivo de gráficos. Ele suporta vários backends (D3D11, D3D12, Vulkan, OpenGL, Metal, WebGPU) e possui GUI declarativa, folhas de estilo e suporte completo para Unicode. Atualmente em desenvolvimento ativo, contribuições são bem-vindas.

(github.com)

Desenvolvimento Estrutura GUI Aceleração GPU

Projeto GitHub ted: Um editor de arquivos baseado em Máquina de Turing

2024-12-18

ted é uma ferramenta de linha de comando escrita em Go que permite aos usuários editar arquivos de acordo com as regras de uma máquina de Turing fornecida. Inspirada na necessidade do autor de processar arquivos de log, ted usa máquinas de estado para extrair precisamente as informações desejadas. Ele suporta várias operações, incluindo correspondência de expressões regulares, execução de comandos sed, atribuição de variáveis, captura e controle de saída, e oferece recursos como captura de várias linhas, grupos de captura de regex e movimento de cabeça/cauda de arquivo.

(github.com)

Desenvolvimento Máquina de Turing Edição de Arquivos Máquina de Estado

ImPlot3D: Biblioteca de Plotagem 3D de Modo Imediato de Alto Desempenho Baseada em Dear ImGui

2024-12-18

ImPlot3D é uma biblioteca de código aberto construída sobre o Dear ImGui, oferecendo aos desenvolvedores uma maneira fácil de usar e de alto desempenho para criar gráficos 3D. Independente do ImPlot, o ImPlot3D suporta vários tipos de gráficos 3D, incluindo gráficos de linhas, gráficos de dispersão, gráficos de superfície e gráficos de malha, com rotação interativa, panorâmica e zoom. Sua API intuitiva, semelhante ao Dear ImGui e ImPlot, permite integração rápida e personalização de marcadores, linhas, superfícies e estilos de malha, com opções para mapas de cores integrados ou personalizados. Um aplicativo de demonstração abrangente auxilia os usuários a aprender e utilizar seus recursos.

(github.com)

Desenvolvimento plotagem 3D

Ergo: Um Servidor IRC Moderno Escrito em Go

2024-12-18

Ergo é um servidor IRC moderno escrito em Go, projetado para ser fácil de configurar e usar. Ele combina os recursos de um ircd, uma estrutura de serviços e um bouncer (gerenciamento de contas integrado, armazenamento de histórico e funcionalidade de bouncer). Ele possui suporte de ponta para IRCv3 e é altamente personalizável por meio de uma configuração YAML rehashável. Recursos-chave incluem serviços integrados (NickServ, ChanServ, HostServ), suporte nativo a TLS/SSL, autenticação SASL, suporte a LDAP e recursos avançados de segurança e privacidade.

(github.com)

Desenvolvimento servidor IRC

Equalizador de 5 Bandas a5eq.lv2 de Código Aberto Lançado

2024-12-18

ashafq lançou o a5eq.lv2, um plugin de equalizador de 5 bandas LV2 de código aberto. Este plugin possui uma prateleira baixa, três filtros de pico e uma prateleira alta, projetados para escultura de áudio precisa para engenheiros de áudio amadores e profissionais. Ele possui coeficientes de filtro de alta precisão, processamento estéreo e uma interface amigável. Compatível com qualquer software host que suporte LV2, como Ardour e Audacity, é facilmente instalado e usado via linha de comando. Os usuários podem enviar problemas ou contribuir com código via GitHub.

(github.com)

Desenvolvimento processamento de áudio equalizador

Editor de Texto Adaptável 'ad': Combinando Vim e Acme

2024-12-18

ad é um editor de texto novo que combina a interface de edição modal do Vim e Kakoune com a abordagem de extensibilidade do Acme do Plan9. O ad permite que os usuários executem texto e serve como um playground para experimentar a implementação de vários recursos de editores de texto. Atualmente, o ad é estável o suficiente e completo o suficiente para ser experimentado, embora a documentação seja escassa e possam existir bugs. A filosofia de design do ad combina a edição modal do Vim, o mini-buffer do Emacs e os comandos de edição e extensibilidade do Acme, com o objetivo de criar um ambiente de edição confortável que suporte a interação direta com ferramentas e programas externos.

(github.com)

Desenvolvimento editor de texto edição modal extensibilidade

dLine: Ferramenta de Calendário em Terminal para Gerenciamento Eficiente de Horários

2024-12-18

dLine é uma ferramenta de linha de comando que apresenta dados importantes em formato de calendário diretamente no seu terminal. Ele monitora datas críticas, simplifica a adição de eventos por meio de APIs e calcula intervalos de tempo para vários tipos de eventos. Projetado para desenvolvedores, o dLine otimiza o gerenciamento de eventos e a navegação de horários sem sair do terminal. Ele possui visualizações dinâmica e estática, uma calculadora de eventos e recursos robustos de gerenciamento de dados, incluindo adicionar, excluir, visualizar e limpar eventos. O dLine também suporta esquemas de cores personalizados, traduções de usuários e integração com o Google Calendar.

(github.com)

Desenvolvimento ferramenta de linha de comando calendário gerenciamento de horários

SeleniumBase: Uma poderosa estrutura para automação web

2024-12-17

SeleniumBase é uma estrutura Python robusta para automação web, testes e contorno de detecção de bots. Construída sobre o Selenium WebDriver e integrada com ferramentas de teste como o pytest, ela oferece uma sintaxe limpa e recursos extensos, como esperas automáticas para elementos da página, geração de relatórios de teste, um painel e suporte para vários navegadores e sistemas operacionais. O SeleniumBase também inclui modos como o Modo UC e o Modo CDP para maior sigilo e confiabilidade, juntamente com exemplos e documentação abrangentes para adoção rápida.

(github.com)

Desenvolvimento automação web testes

FastVideo: Framework de código aberto acelera modelos de difusão de vídeo de grande porte

2024-12-17

FastVideo é um framework de código aberto projetado para acelerar a inferência e o treinamento de grandes modelos de difusão de vídeo. Ele suporta modelos como FastMochi e FastHunyuan, alcançando até 8 vezes mais velocidade na inferência. O framework utiliza técnicas de destilação de conhecimento e suporta destilação, ajuste fino e inferência para modelos de vídeo DiT baseados em PCM. Além disso, o FastVideo possui recursos de treinamento escaláveis com FSDP, paralelismo de sequência e checkpointing de ativação seletiva, permitindo ajuste fino eficiente em termos de memória.

(github.com)

IA modelos de difusão de vídeo aceleração de modelos

Surfer Protocol: Framework de código aberto para controlar seus dados pessoais

2024-12-17

Surfer Protocol é um framework de código aberto que permite aos usuários exportar e construir aplicativos com base em seus dados pessoais. Abordando o problema dos dados isolados em várias plataformas, o Surfer Protocol oferece uma solução. Ele inclui um aplicativo de desktop para exportar dados de vários aplicativos e serviços, e um SDK Python para construir aplicativos usando esses dados. Os usuários podem usar o Surfer Protocol para criar modelos de IA personalizados, recuperar o controle de seus dados das grandes empresas de tecnologia ou deixar um legado digital.

(github.com)

Desenvolvimento dados pessoais framework de código aberto exportação de dados

PipeGate: Proxy leve e auto-hospedado - seu 'ngrok' de baixo custo

2024-12-17

PipeGate é um proxy leve e auto-hospedado, construído com FastAPI, projetado como um 'ngrok' de baixo custo. Ele permite que você exponha seus servidores locais à internet, fornecendo uma maneira simples de criar túneis da sua máquina local para o mundo externo. É uma excelente ferramenta para desenvolvedores que querem entender como os serviços de tunelamento como o ngrok funcionam internamente ou precisam de uma alternativa personalizável hospedada em sua própria infraestrutura. Recursos-chave incluem auto-hospedagem, conexões únicas, personalização, design leve e facilidade de aprendizado. A instalação é simples, via git clone ou pip.

(github.com)

Desenvolvimento proxy auto-hospedado alternativa ao ngrok servidor local

Bruin: Construa pipelines de dados com SQL e Python

2024-12-17

Bruin é uma poderosa ferramenta de pipeline de dados que combina ingestão de dados, transformação de dados com SQL e Python e verificações de qualidade de dados em uma única estrutura. Funciona com as principais plataformas de dados e é executado em sua máquina local, em uma instância EC2 ou em GitHub Actions. Recursos importantes incluem ingestão de dados, transformações SQL e Python, verificações de qualidade de dados, modelos Jinja, validação de ponta a ponta e suporte para vários ambientes. Os pipelines são facilmente definidos usando um simples arquivo pipeline.yml.

(github.com)

Desenvolvimento pipeline de dados

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

2024-12-17

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

(github.com)

Desenvolvimento Plataforma de desenvolvimento

Microsoft lança Multilspy: biblioteca Python para simplificar clientes de servidores de linguagem

2024-12-17

A Microsoft lançou o Multilspy, uma biblioteca Python que simplifica a construção de aplicativos em torno de servidores de linguagem. Com suporte para Java, Rust, C# e Python, o Multilspy automatiza o download de binários de servidor, configuração/desmontagem e fornece uma API simples. Ele interage com servidores de linguagem para obter resultados de análise estática, como conclusão de código, definições de símbolos e referências — essenciais para técnicas de geração de código assistida por IA, como Monitor-Guided Decoding.

(github.com)

Desenvolvimento servidor de linguagem biblioteca Python geração de código assistida por IA

Componente de Integração Xiaomi Home Assistant Lançado Oficialmente

2024-12-16

A Xiaomi lançou oficialmente o componente de integração Xiaomi Home Assistant, permitindo que os usuários integrem seus dispositivos inteligentes Xiaomi IoT ao Home Assistant. O componente suporta vários métodos de instalação, incluindo clone Git, HACS e instalação manual. Os usuários precisam fazer login com sua conta Xiaomi; várias contas e seleção de região são suportadas. O componente suporta a maioria dos dispositivos domésticos inteligentes Xiaomi, mas atualmente exclui dispositivos Bluetooth, infravermelho e virtuais. Os métodos de controle incluem controle na nuvem e controle local (exigindo um gateway central Xiaomi ou dispositivos com gateway integrado). Ele mapeia o MIoT-Spec-V2 para entidades do Home Assistant. O componente também suporta vários idiomas e um modo de depuração, priorizando a privacidade e segurança do usuário, mas requer armazenamento cuidadoso dos arquivos de configuração.

(github.com)

Desenvolvimento Xiaomi Casa Inteligente Integração IoT

Ferramenta de código aberto me_cleaner: otimiza o firmware da Intel ME para maior privacidade

2024-12-16

me_cleaner é um script Python de código aberto projetado para reduzir parcialmente o firmware do Intel Management Engine (ME), diminuindo sua capacidade de interagir com o sistema e melhorando a privacidade e a segurança do usuário. O firmware Intel ME, integrado em todas as placas-mãe Intel desde 2006, tem acesso à memória do sistema e à rede, tornando difícil desativá-lo ou substituí-lo. O me_cleaner modifica o firmware ME para que ele fique inativo durante a operação normal, ativando apenas durante a inicialização, mitigando efetivamente os riscos de segurança potenciais. A ferramenta suporta várias plataformas Intel, mas obter e gravar o firmware modificado requer um programador SPI externo. Os resultados variam dependendo da versão do firmware ME, mas geralmente reduzem significativamente o tamanho do firmware, potencialmente causando pequenos inconvenientes, como tempos de inicialização mais longos ou mensagens de aviso.

(github.com)

Tecnologia Redução de firmware Privacidade e Segurança

Visualização de IA: Redes de Rodovias Urbanas Semelhantes

2024-12-15

O site similar-cities usa IA para visualizar as relações entre cidades comparando as semelhanças de suas redes de rodovias. Ele emprega um algoritmo único de 'caminhada de bêbado', calculando a similaridade de caminhos aleatórios dentro das redes de rodovias para avaliar a similaridade estrutural. Os dados são obtidos do OpenStreetMap, abrangendo aproximadamente 2500 cidades. O projeto é de código aberto, fornecendo explicações detalhadas do algoritmo e código, e recebe mais dados de cidades para melhorar a precisão.

(github.com)

IA Visualização Redes de Rodovias

Mapa de Projetos GitHub: Visualizando 400.000+ Projetos

2024-12-15

O desenvolvedor Anvaka criou um mapa interativo que visualiza mais de 400.000 projetos do GitHub usando dados publicamente disponíveis. O projeto usa similaridade de Jaccard para calcular os relacionamentos entre os projetos e o algoritmo de Leiden para agrupamento. O resultado é uma representação visualmente impressionante do ecossistema do GitHub, permitindo que os usuários pesquisem e explorem as conexões entre os projetos, revelando sua complexidade e riqueza.

(github.com)

Desenvolvimento relacionamentos de projetos

Vercel lança ƒun: Um ambiente de execução local para funções Serverless

2024-12-15

A Vercel lançou o ƒun, um ambiente de execução local para desenvolvimento de funções serverless, permitindo que desenvolvedores emulem o ambiente AWS Lambda localmente. O ƒun suporta vários tempos de execução, incluindo Node.js e Python, permitindo testes e depuração rápidos de funções serverless sem implantação na nuvem. Embora o ƒun busque aproximar-se do ambiente Lambda real, existem algumas diferenças importantes, principalmente em termos de sandbox de processos e permissões de usuário.

(github.com)

Desenvolvimento Computação em Funções Desenvolvimento Local

Programa WASM ignora o sandbox do sistema de arquivos node:wasi

2024-12-15

Este projeto demonstra uma prova de conceito mostrando como um programa WASM pode ignorar a restrição de diretório preopens no node:wasi para acessar arquivos fora do sandbox. Normalmente, os programas WASM estão limitados ao acesso a diretórios preabertos. No entanto, usando links simbólicos para substituir arquivos em um momento preciso e executando um processo externo, essa limitação pode ser contornada. Isso não é uma vulnerabilidade de segurança prática no node:wasi, mas sim um caso limite potencial. O projeto destaca que não se deve depender do node:wasi para impedir completamente que código malicioso acesse arquivos externos.

(github.com)

Desenvolvimento

SVC16: O Computador Virtual Mais Simples Desafia Programadores

2024-12-15

O SVC16 é um computador virtual minimalista de 16 bits projetado para a máxima simplicidade. Ele não possui registradores de CPU, realizando todas as operações em um único bloco de memória. O conjunto de instruções é extremamente simplificado, sem recursos sofisticados como som ou tamanho de tela variável. Os programadores são desafiados a escrever código de máquina e compiladores por conta própria, criando feitos incríveis com as ferramentas mais simples. O projeto fornece um emulador para executar programas criados pelo usuário e até mesmo jogos. Este é um projeto perfeito para aprender os princípios de baixo nível de computação e aprimorar as habilidades de programação.

(github.com)

Desenvolvimento computador virtual 16 bits desafio de programação

llama.cpp Integra Modelo Multimodal Qwen2VL

2024-12-15

O projeto llama.cpp no GitHub recentemente mesclou uma solicitação de pull adicionando suporte para o modelo de linguagem grande multimodal Qwen2VL. Este modelo combina um modelo de linguagem grande com um codificador de visão, permitindo o processamento de imagens e texto. A integração envolve converter a parte LLM do modelo e o codificador de visão para o formato GGUF e usar uma nova ferramenta de linha de comando para inferência. Trabalhos futuros incluem adicionar suporte para mais backends como MPS e Vulkan.

(github.com)

IA

Buzee: Aplicativo de busca de texto completo de código aberto lançado

2024-12-14

Buzee é um aplicativo de busca de texto completo multiplataforma construído com Rust e Svelte. Ele permite a busca rápida de arquivos locais, pastas, histórico do navegador e muito mais, inclusive extraindo texto de PDFs e imagens usando OCR. Desenvolvido ao longo de dois anos, este projeto apresenta uma arquitetura robusta usando Tauri para desempenho, SQLite e Tantivy para indexação e um front-end Svelte limpo. Embora rico em recursos, ainda possui algumas áreas para desenvolvimento futuro, e o autor está lançando-o como código aberto para que outros possam contribuir.

(github.com)

Desenvolvimento busca de texto completo

Svader: Biblioteca Svelte para Componentes Renderizados por GPU

2024-12-14

Svader é uma biblioteca para criar componentes Svelte renderizados por GPU usando shaders de fragmentos WebGL e WebGPU. Os desenvolvedores podem escrever programas em shaders de fragmentos para personalizar as cores dos pixels e controlar os efeitos de renderização por meio da passagem de parâmetros. Suporta Svelte 4 e 5, oferecendo modos de renderização WebGL e WebGPU com parâmetros integrados, como resolução, escala e tempo. Svader simplifica a renderização de GPU com componentes fáceis de usar e fornece renderização de fallback em ambientes sem suporte a WebGL ou WebGPU.

(github.com)

Desenvolvimento

Notas de lançamento do HTMX v2.0.4: Correções de bugs e melhorias

2024-12-14

As notas de lançamento do HTMX v2.0.4 detalham inúmeras correções de bugs e melhorias. Esta versão concentra-se em aprimoramentos de estabilidade e compatibilidade, incluindo correções para problemas de Shadow DOM aninhados, comportamento aprimorado do `hx-boost` em formulários, melhor suporte para Web Components e Shadow DOM e extensões atualizadas para desempenho e confiabilidade aprimorados. Ajustes na função `htmx.ajax` e otimizações para o tratamento de eventos `hx-trigger` também estão incluídos.

(github.com)

Desenvolvimento Lançamento Correções de bugs

Farebox: Roteamento Multimodal em Rust

2024-12-14

Farebox é uma implementação rápida do RAPTOR em Rust, projetada para máquinas com restrições de memória. Ele utiliza o Valhalla para transferências e roteamento de primeira/última milha, suportando roteamento multiagência e com reconhecimento de fuso horário. O objetivo do projeto é complementar o OpenTripPlanner, fornecendo um serviço de preenchimento para áreas não cobertas por instâncias existentes. O mapeamento de memória é usado para tabelas de horários para permitir cobertura em escala planetária com uma única instância e reduzir os custos de hospedagem. Planos futuros incluem suporte a GTFS-RT e potencialmente rRAPTOR para cálculo simultâneo de itinerários em vários horários de partida.

(github.com)

Desenvolvimento Roteamento

Linguagem de Programação Luon: Um Lua com Tipagem Estática

2024-12-14

Luon é uma nova linguagem de programação com tipagem estática, com sintaxe semelhante às linguagens baseadas em Oberon e incorporando conceitos do Lua, com destino à máquina virtual LuaJIT. Essencialmente, uma versão tipada estaticamente do Lua, permite a reutilização de bibliotecas Lua e C existentes por meio de declarações de procedimentos externos. Luon aborda deficiências no tratamento de erros e na estrutura de código do Lua, oferecendo um compilador e IDE integrado que suporta programação procedural, genérica e orientada a objetos. O projeto inclui exemplos e casos de teste extensos e está em desenvolvimento ativo.

(github.com)

Desenvolvimento tipagem estática

Microsoft lança código aberto MarkItDown: Ferramenta de conversão de arquivos para Markdown

2024-12-13

A Microsoft lançou o código aberto do MarkItDown, uma ferramenta Python que converte vários arquivos (incluindo PDF, PowerPoint, Word, Excel, imagens, áudio e HTML) para o formato Markdown. A ferramenta possui uma API simples, suporta uma ampla variedade de tipos de arquivos e incorpora OCR e transcrição de fala para maior funcionalidade, tornando-a ideal para análise de texto ou indexação. Contribuições são bem-vindas, e o projeto segue o Código de Conduta de Código Aberto da Microsoft.

(github.com)

Desenvolvimento conversão Markdown conversão de arquivos ferramenta Python

← Previous 1 2 3 Next →