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

Superando o std::deque: Apresentando o Array Shift-To-Middle

2025-03-23

Superando o std::deque: Apresentando o Array Shift-To-Middle

O Array Shift-To-Middle é um array dinâmico projetado para superar o std::deque, std::vector e listas encadeadas em inserções e deleções em ambas as extremidades. Ele consegue isso usando memória contígua, melhorando a localidade de cache e suportando otimizações SIMD e paralelas. Benchmarks mostram ganhos significativos de desempenho, especialmente em CPUs multi-core e hardware com conjuntos de instruções SIMD. O projeto é open-source, com documentação completa da API e relatórios de benchmark disponíveis. Contribuições são bem-vindas!

(github.com)

Desenvolvimento array dinâmico

Verificação Formal de Modelos de ML em Lean 4

2025-03-23

Verificação Formal de Modelos de ML em Lean 4

O projeto `formal_verif_ml` fornece uma estrutura Lean 4 para verificação formal de propriedades (robusto, imparcialidade, interpretabilidade) de modelos de aprendizado de máquina. Inclui uma biblioteca Lean, tradutor de modelos, interface web e pipeline CI/CD, suportando vários tipos de modelos. Um portal web interativo permite que os usuários carreguem modelos, vejam o código Lean gerado, acionem a compilação de provas e visualizem a arquitetura do modelo.

(github.com)

IA

ttyd: Compartilhando seu terminal pela web

2025-03-23

ttyd: Compartilhando seu terminal pela web

ttyd é uma ferramenta simples de linha de comando para compartilhar seu terminal pela web. Oferece uma variedade de opções, incluindo especificação de porta, vinculação de interface de rede, autenticação, configurações de permissões de usuário, diretórios de trabalho personalizados e muito mais, permitindo uma configuração flexível. Recursos avançados como criptografia SSL, suporte a IPv6 e passagem de argumentos de cliente garantem acesso remoto ao terminal de forma segura e confiável.

(github.com)

Desenvolvimento compartilhamento de terminal

Programa Go: Converte Relatório de Auditoria de Segurança JSON para Markdown

2025-03-23

Programa Go: Converte Relatório de Auditoria de Segurança JSON para Markdown

Um programa Go simples que converte `security-audit.json` em `security-audit.md` para uso em pipelines de CI. Um exemplo de relatório é fornecido, juntamente com exemplos de integração de CI (`dependency-audit.yml` e `dependency-audit-only-when-detected.yml`), este último criando um problema no GitHub apenas se vulnerabilidades forem detectadas. O programa permite a personalização dos caminhos dos arquivos de entrada e saída e oferece a opção de falhar se nenhuma vulnerabilidade for encontrada.

(github.com)

Desenvolvimento Auditoria de Segurança

argp: Um poderoso analisador de argumentos de linha de comando baseado no padrão GNU em Go

2025-03-23

argp: Um poderoso analisador de argumentos de linha de comando baseado no padrão GNU em Go

argp é uma biblioteca Go que fornece um analisador de argumentos de linha de comando robusto, seguindo os padrões GNU. Ele possui recursos como ajuda integrada, varredura de campos de struct, suporte para tipos compostos (arrays, slices, structs) e subcomandos aninhados. O argp segue as regras de argumentos GNU, tratando opções curtas e longas, valores de opções, múltiplos valores e combinações de opções. Ele também oferece carregamento de configuração, contagem, anexação e suporte para fontes de dados personalizadas, como bancos de dados MySQL. Os desenvolvedores podem usar o argp para criar ferramentas de linha de comando poderosas de forma eficiente.

(github.com)

Desenvolvimento argumentos de linha de comando padrão GNU

Landrun: Sandbox leve e seguro para processos Linux

2025-03-22

Landrun: Sandbox leve e seguro para processos Linux

Landrun é um sandbox Linux leve que usa o Landlock LSM, oferecendo segurança em nível de kernel e sobrecarga mínima. Ele permite controle de acesso granular para diretórios, suporta caminhos de leitura e gravação e permite permissões de execução opcionais. Também inclui controle de acesso à rede TCP (vinculação e conexão). Requer o kernel do Linux 5.13 ou superior com Landlock LSM habilitado (kernel 6.8 ou superior para restrições de rede). O Landrun fornece uma interface de linha de comando para configurar facilmente as permissões do sandbox, incluindo somente leitura, leitura/gravação, execução e portas TCP específicas de vinculação e conexão. Um modo de esforço máximo garante degradação suave em kernels mais antigos. Isso o torna ideal para executar com segurança código não confiável ou potencialmente malicioso.

(github.com)

Desenvolvimento segurança do kernel

Desvendando o R1-Zero: Alinhamento Eficiente de LLMs com o Framework Oat

2025-03-22

Desvendando o R1-Zero: Alinhamento Eficiente de LLMs com o Framework Oat

Pesquisadores lançaram um artigo, modelos e base de código revelando os mistérios do treinamento tipo R1-Zero. Eles desenvolveram o Oat, um framework de aprendizado por reforço LLM altamente modular e eficiente, e o utilizaram para treinar modelos tipo R1-Zero, como o Qwen2.5. O estudo descobriu que modelos base adequados e um algoritmo de aprendizado por reforço aprimorado (Dr. GRPO) são cruciais, evitando otimização tendenciosa de templates e conjuntos de perguntas incompatíveis. No final, eles alcançaram desempenho de ponta com apenas 27 horas de computação em 8 GPUs A100.

(github.com)

IA

FastOpenAPI: Um Gerador OpenAPI Baseado em Pydantic

2025-03-22

FastOpenAPI: Um Gerador OpenAPI Baseado em Pydantic

FastOpenAPI é uma biblioteca para gerar e integrar esquemas OpenAPI usando Pydantic e várias estruturas, buscando uma experiência amigável para desenvolvedores semelhante ao FastAPI. Ele suporta Falcon, Flask, Quart, Sanic, Starlette e Tornado, oferecendo roteamento no estilo FastAPI por meio de roteamento de proxy. Uma simples instalação com pip permite começar rapidamente, com Swagger UI e ReDoc UI fornecendo acesso conveniente à documentação. O projeto inclui exemplos abrangentes e benchmarks para facilitar a adoção e avaliação de desempenho.

(github.com)

Desenvolvimento Integração de Frameworks

Preocupações com a Privacidade: Navegador focado em privacidade acusado de problemas de telemetria

2025-03-22

Preocupações com a Privacidade: Navegador focado em privacidade acusado de problemas de telemetria

Um usuário relatou vários problemas de privacidade e telemetria em um navegador versão 1.8.2b no macOS aarch64. O navegador é comercializado como focado na privacidade, mas o usuário afirma que a telemetria parece estar ativada e a documentação carece de detalhes sobre impressão digital e outras práticas relacionadas à privacidade. O usuário exige transparência, solicitando uma explicação detalhada dos métodos de coleta de dados ou a cessação do marketing focado na privacidade se as alegações forem infundadas.

(github.com)

Diversos telemetria

Restrições de Aplicação de Sugestões de Código no GitHub

2025-03-22

Restrições de Aplicação de Sugestões de Código no GitHub

Este texto lista várias limitações encontradas ao aplicar sugestões de código no processo de revisão de código do GitHub. Essas incluem: nenhuma alteração de código feita, pull request fechado ou mesclado, visualizando um subconjunto de alterações, apenas uma sugestão por linha aplicável, aplicação de sugestões em linhas excluídas não é suportada, sugestão já aplicada ou marcada como resolvida, sugestões de revisões pendentes não podem ser aplicadas e sugestões em comentários de várias linhas não são permitidas. Essas restrições garantem a integridade e a precisão do processo de revisão de código.

(github.com)

Desenvolvimento Sugestões de Código

Plugin de Exportação de Região do Krita: Exporte facilmente regiões da tela

2025-03-22

Plugin de Exportação de Região do Krita: Exporte facilmente regiões da tela

Este plugin do Krita permite exportar qualquer região da sua tela, com redimensionamento opcional. Instalação: Coloque a pasta `region_exporter` na subpasta `pykrita` da pasta de recursos do Krita. Coloque `region_exporter.desktop` na raiz da pasta de recursos do Krita e `region_exporter.action` na subpasta `actions`. Uso: Use o atalho Ctrl+Shift+E ou o menu Ferramentas. Insira as coordenadas, tamanho, rotação e opções de seleção de camada para exportar sua imagem.

(github.com)

Design Exportação de Imagem

Servidor Hyperbrowser MCP: Facilidade em Raspagem Web e Extração de Dados

2025-03-21

Servidor Hyperbrowser MCP: Facilidade em Raspagem Web e Extração de Dados

O Hyperbrowser apresenta seu servidor de Protocolo de Contexto de Modelo (MCP), uma ferramenta poderosa para raspar páginas da web, extrair dados estruturados e rastrear sites. Ele também simplifica o acesso a agentes de navegador de uso geral, como o CUA do OpenAI, o Uso do Computador Claude da Anthropic e o Uso do Navegador. O servidor possui recursos que incluem raspar páginas da web, rastrear a web, extrair dados estruturados, pesquisa do Bing e várias capacidades de automação do navegador. A instalação é simples; basta executar `npx hyperbrowser-mcp ` e configurar os arquivos de configuração relevantes.

(github.com)

Desenvolvimento extração de dados automação do navegador

Screen: Um emulador de terminal em PHP puro para interfaces de usuário de texto ricas

2025-03-21

Screen: Um emulador de terminal em PHP puro para interfaces de usuário de texto ricas

Screen é uma biblioteca de emulador de terminal escrita inteiramente em PHP, permitindo a criação de interfaces de usuário baseadas em texto ricas em qualquer aplicativo PHP. Inicialmente desenvolvido para resolver conflitos de códigos de escape ANSI no TUI multiprocesso do Solo para Laravel, o Screen cria um buffer de terminal virtual para lidar com segurança com operações ANSI (movimento do cursor, alterações de cor, limpeza da tela). Isso garante renderização consistente e suporta Unicode, caracteres multibyte, rolagem e uma ampla gama de códigos de escape ANSI. Um conjunto abrangente de testes, com um sistema de comparação visual inovador, garante a emulação precisa.

(github.com)

Desenvolvimento interface de usuário de texto

Cliente RDP baseado em Rust: IronRDP, seguro e eficiente

2025-03-21

Cliente RDP baseado em Rust: IronRDP, seguro e eficiente

O IronRDP é um conjunto de crates Rust que fornecem uma implementação segura do Protocolo de Área de Trabalho Remota (RDP) da Microsoft. Ele suporta vários codecs, incluindo bitmaps brutos não compactados, RLE, compressão de bitmap RDP 6.0 e Microsoft RemoteFX. Um cliente RDP assíncrono completo está incluído, juntamente com um exemplo de bloqueio para facilitar a integração. O projeto também detalha como habilitar o RemoteFX no servidor para melhor desempenho gráfico.

(github.com)

Desenvolvimento

Manifest: Um micro-backend de 1 arquivo para desenvolvimento simplificado

2025-03-21

Manifest: Um micro-backend de 1 arquivo para desenvolvimento simplificado

Manifest é uma estrutura de micro-backend leve e de arquivo único, projetada para simplificar o desenvolvimento de 80% dos sites e aplicativos que precisam apenas de recursos de backend básicos. Ele fornece funcionalidades essenciais, como autenticação, validação, armazenamento, redimensionamento de imagens, painel administrativo, endpoints dinâmicos, REST API, JS SDK e webhooks. Ideal para prototipagem rápida, microsserviços, aplicativos com muitas operações CRUD e CMS sem cabeça, o Manifest está atualmente em versão beta e é adequado para projetos pequenos e MVPs, mas não é recomendado para plataformas críticas.

(github.com)

Desenvolvimento prototipagem rápida arquivo único

PocketFlow: Uma nova estrutura para construção de sistemas de IA para empresas

2025-03-21

PocketFlow: Uma nova estrutura para construção de sistemas de IA para empresas

PocketFlow é uma estrutura LLM baseada em TypeScript que utiliza uma estrutura de gráfico direcionado aninhado. Isso divide tarefas complexas de IA em etapas de LLM reutilizáveis, permitindo ramificação e recursão para tomada de decisão semelhante a um agente. A estrutura é facilmente extensível, integrando vários LLMs e APIs sem wrappers especializados, e possui depuração de fluxo de trabalho visual e persistência de estado, acelerando a construção de sistemas de IA de nível empresarial.

(github.com)

IA IA empresarial

Retro Boy: Emulador de Game Boy em Rust, agora na Web!

2025-03-20

Retro Boy: Emulador de Game Boy em Rust, agora na Web!

Retro Boy é um emulador de Game Boy preciso, escrito em Rust e jogável no seu navegador web. Usando wasm-pack para compilação WebAssembly, ele usa Web Audio API e HTML Canvas para áudio e gráficos. Suporta cartuchos MBC1, MBC3, MBC5 e HuC1, possuindo emulação precisa de CPU, áudio e gráficos, incluindo suporte a códigos de trapaça GameShark/GameGenie. A interface amigável inclui modo de tela cheia, pausa/retomar, modos de cor selecionáveis e mapeamento de teclas personalizável. Retro Boy passa uma parte significativa dos testes ROMs de Blargg, demonstrando sua alta precisão.

(github.com)

Jogos

GizmoSQL: Um Servidor de Banco de Dados Apache Arrow Flight SQL de Alto Desempenho

2025-03-20

GizmoSQL: Um Servidor de Banco de Dados Apache Arrow Flight SQL de Alto Desempenho

O GizmoSQL é uma implementação de servidor Apache Arrow Flight SQL que usa DuckDB ou SQLite como banco de dados de back-end. Ele permite autenticação por meio de middleware e permite conexões criptografadas por meio de TLS. Este projeto oferece imagens Docker e executáveis de CLI para implantação e uso fáceis. Os usuários podem se conectar ao servidor por meio de drivers JDBC ou ADBC e consultar usando Python ou a ferramenta de linha de comando `gizmosql_client`. O GizmoSQL suporta comandos SQL de inicialização personalizados e oferece opções de configuração flexíveis, como a seleção de diferentes bancos de dados de back-end e a habilitação/desabilitação de TLS. Uma imagem Docker compacta também está disponível.

(github.com)

Desenvolvimento

Minimalytics: Ferramenta de análise SQLite leve para bilhões de eventos

2025-03-20

Minimalytics: Ferramenta de análise SQLite leve para bilhões de eventos

Minimalytics é uma ferramenta de análise minimalista independente construída em SQLite, projetada para ambientes com recursos limitados. Ela oferece uma solução leve para rastrear e visualizar dados de eventos com uma pegada mínima. Lidando com mais de um bilhão de eventos por mês com apenas ~20 MB de armazenamento, é perfeita para rastrear serviços internos ou quando você precisa de análises simples sem inchaço. Os recursos incluem uma interface da web para gerenciamento de dashboards e gráficos interativos.

(github.com)

Desenvolvimento análise leve recursos limitados

Servidor Minesweeper via MCP: Um Agente do Lado do Servidor

2025-03-20

Servidor Minesweeper via MCP: Um Agente do Lado do Servidor

Este é um servidor de Protocolo de Contexto de Modelo (MCP) que permite que agentes clientes MCP joguem Minesweeper. Ele foi projetado para funcionar junto com um servidor de jogo Minesweeper. Uma demonstração de vídeo acelerada está disponível em https://youtu.be/CXXMafVtlEQ (16x de velocidade). Siga as instruções do servidor do jogo para iniciá-lo localmente. Instale as dependências, crie o servidor e configure seu cliente MCP para adicionar a ferramenta (por exemplo, no claude_desktop_config.json do Claude Desktop). Inicie um jogo de Minesweeper e tente marcar todas as minas; as coordenadas são indexadas a partir de 0. O log de conversação completo é extenso, com trechos mostrando o posicionamento incorreto de bandeiras e desistindo após várias tentativas.

(github.com)

Jogos Servidor de Jogo

AgentKit: Construindo Redes Multiagente com Roteamento Determinístico e Ferramentas Avançadas

2025-03-20

AgentKit: Construindo Redes Multiagente com Roteamento Determinístico e Ferramentas Avançadas

O AgentKit é uma estrutura para construir redes multiagente que oferece roteamento determinístico, suporte para vários provedores de modelos e ferramentas avançadas por meio do MCP. Combinado com o servidor Inngest Dev e seu mecanismo de orquestração, o AgentKit torna seus agentes tolerantes a falhas quando implantados na nuvem. Conceitos principais incluem Agentes (chamadas LLM combinadas com prompts, ferramentas e MCP), Redes (uma maneira simples de fazer os Agentes colaborarem com um Estado compartilhado, incluindo transferência), Estado (combina o histórico de conversas com uma máquina de estado totalmente tipada, usada no roteamento), Roteadores (autonomia de roteamento baseado em código para baseado em LLM (ex: ReAct)) e Rastreamento (depure e otimize seu fluxo de trabalho localmente e na nuvem com rastreamento integrado). O AgentKit suporta múltiplas estratégias de roteamento, incluindo roteamento determinístico baseado em código e roteamento autônomo baseado em agente, e oferece um mecanismo de estado compartilhado para facilitar a colaboração entre agentes.

(github.com)

Desenvolvimento rede multiagente roteamento determinístico

Atualização TruffleRuby: Aumento de Desempenho e Melhorias de Compatibilidade

2025-03-20

Atualização TruffleRuby: Aumento de Desempenho e Melhorias de Compatibilidade

O TruffleRuby, uma implementação de alto desempenho da linguagem de programação Ruby, lançou uma nova versão com melhorias significativas de desempenho e compatibilidade. Esta versão corrige vários bugs, incluindo problemas em métodos como Module#name, Module#const_added e ObjectSpace.undefine_finalizer, e melhora a compatibilidade com OpenSSL 3.0.x e 3.x. Além disso, vários métodos e recursos novos foram adicionados, como IO#{pread, pwrite}, Range#reverse_each, e otimizações foram feitas na negociação de codificação e no desempenho de várias extensões C. Esta atualização aprimora a estabilidade e o desempenho do TruffleRuby, aproximando-o da implementação Ruby padrão, MRI.

(github.com)

Desenvolvimento

Physix.go: Um motor de física simples em Go

2025-03-20

Physix.go: Um motor de física simples em Go

Physix.go é um motor de física simples, rápido e fácil de usar, escrito em Go. Ele oferece cálculos de física eficientes, incluindo simulações baseadas em partículas, operações vetoriais e dinâmica de mola. A instalação é feita via `go get github.com/rudransh61/Physix.go`, com exemplos prontamente disponíveis. O motor suporta detecção de colisão retângulo-retângulo e círculo-círculo com efeitos de ricochete baseados na conservação de momento e energia, e também inclui recursos de simulação de mola.

(github.com)

Desenvolvimento Motor de Física

Stelvio: Gerenciamento simplificado do AWS para desenvolvedores Python

2025-03-20

Stelvio: Gerenciamento simplificado do AWS para desenvolvedores Python

Stelvio é uma biblioteca Python que simplifica o gerenciamento e a implantação de infraestrutura de nuvem AWS. Ela usa Python puro, oferecendo padrões inteligentes para configurações complexas. Os desenvolvedores definem recursos de nuvem com código Python familiar, separando claramente a infraestrutura do código do aplicativo. Atualmente, suporta Lambda, DynamoDB e API Gateway (com mais serviços AWS planejados), o Stelvio prioriza a produtividade do desenvolvedor em vez da complexidade da infraestrutura, oferecendo uma abordagem mais simplificada do que Terraform, Pulumi ou AWS CDK. Observação: Stelvio está em alfa inicial, ideal para experimentação.

(github.com)

Desenvolvimento Infraestrutura em Nuvem

Servidor MCP para buscar conteúdo de páginas da web usando o navegador sem cabeça Playwright

2025-03-20

Servidor MCP para buscar conteúdo de páginas da web usando o navegador sem cabeça Playwright

Este projeto fornece um servidor MCP que usa o navegador sem cabeça Playwright para buscar conteúdo de páginas da web. Ele suporta a busca de URLs únicas e em lote, extrai inteligentemente o conteúdo principal e o converte para Markdown. Os usuários podem executá-lo diretamente com `npx` e configurar parâmetros como tempo limite, estratégia de espera, extração de conteúdo, comprimento máximo e se retornar HTML ou Markdown. São fornecidas instruções para configurar o servidor no Claude Desktop, instalar navegadores Playwright e depurar.

(github.com)

Desenvolvimento Servidor MCP Raspagem da Web

Modelo Hunyuan3D da Tencent recebe atualização: menor, mais rápido e com geração de textura

2025-03-20

Modelo Hunyuan3D da Tencent recebe atualização: menor, mais rápido e com geração de textura

A Tencent lançou uma versão atualizada de seu modelo open-source Hunyuan3D, apresentando uma variante 'mini' menor e mais rápida. Essa atualização não apenas melhora a velocidade de inferência, mas também adiciona recursos de geração de textura, resultando em visuais de modelos 3D significativamente aprimorados. As alterações de código se concentram na otimização do carregamento do modelo, ajustes de parâmetros e um pipeline de geração de textura simplificado com suporte a formatos de arquivo mais amplos. Isso torna a poderosa tecnologia de modelagem 3D mais acessível a uma gama maior de desenvolvedores.

(github.com)

Desenvolvimento

Adminer: Ferramenta de Gerenciamento de Banco de Dados em um Único Arquivo

2025-03-20

Adminer: Ferramenta de Gerenciamento de Banco de Dados em um Único Arquivo

Adminer é uma ferramenta completa de gerenciamento de banco de dados escrita em PHP, composta por um único arquivo para fácil implantação. Suporta MySQL, PostgreSQL, SQLite e muitos outros bancos de dados, com plugins que expandem a funcionalidade para Elasticsearch, MongoDB e outros. Os usuários podem personalizar o Adminer com plugins adicionais e gerenciar sua ordem de carregamento por meio de um simples arquivo de configuração PHP. O Adminer Editor fornece uma interface amigável para manipulação de dados.

(github.com)

Desenvolvimento

mcp-kafka: Conectando assistentes de IA ao Apache Kafka

2025-03-19

mcp-kafka: Conectando assistentes de IA ao Apache Kafka

mcp-kafka é um servidor Model Context Protocol (MCP) que atua como uma ponte entre assistentes de IA e o Apache Kafka. Ele permite que assistentes de IA criem, gerenciem e interajam diretamente com tópicos e mensagens do Kafka. A ferramenta suporta criação, listagem, exclusão, descrição de tópicos, produção e consumo de mensagens, com suporte para autenticação SASL_PLAINTEXT e PLAINTEXT. O mcp-kafka é fácil de instalar e usar, com documentação e exemplos abrangentes.

(github.com)

Desenvolvimento

Modo Foco: Extensão de navegador de código aberto para produtividade

2025-03-19

Modo Foco: Extensão de navegador de código aberto para produtividade

O Modo Foco é uma extensão de navegador de código aberto projetada para aumentar a produtividade bloqueando sites que distraem. Os usuários podem bloquear vários sites, programar horários de bloqueio e até mesmo usar caracteres curinga (por exemplo, reddit.com/*) para bloqueio abrangente. Contribuições são bem-vindas sob a Licença MIT.

(github.com)

Desenvolvimento

Diga adeus à cópia e colagem: o Claude Desktop ganha um assistente de programação em par

2025-03-19

Diga adeus à cópia e colagem: o Claude Desktop ganha um assistente de programação em par

Cansado de copiar e colar código dentro e fora da janela de bate-papo do Claude? O codemcp é um plugin que transforma o Claude Pro em um poderoso assistente de programação em par. Edite arquivos diretamente, corrija bugs, refatore código e execute testes, tudo dentro do seu IDE. Construído em torno de IA agentiva segura e controle de versão Git, o codemcp garante que todas as alterações sejam reversíveis. Diga adeus às contas massivas de API (olá para limites de taxa baseados em tempo!) e olá para a codificação eficiente e colaborativa com o Claude!

(github.com)

Desenvolvimento

← Previous 1 2 … 29 30 31 32 33 34 35 36 37 … 50 51 Next →