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

Plataforma de Desenvolvimento IoT de Alto Desempenho em Rust

2025-04-16

Plataforma de Desenvolvimento IoT de Alto Desempenho em Rust

Uma plataforma de desenvolvimento IoT de alto desempenho construída com Rust está disponível! Ela suporta vários protocolos, incluindo MQTT, WebSocket, TCP e CoAP, e possui recursos de processamento de dados em tempo real. A segurança de memória e os recursos de concorrência do Rust garantem eficiência. O design modular permite fácil extensão e manutenção, abrangendo módulos para processamento de dados, interfaces de protocolo, notificações de mensagens e APIs externas. Esta plataforma é adequada para várias aplicações de IoT e é de código aberto sob a licença Apache 2.0.

(github.com)

Desenvolvimento Processamento de Dados em Tempo Real

Ambientes de navegador sandboxed prontos para implantação

2025-04-16

Ambientes de navegador sandboxed prontos para implantação

A Anthropic apresenta ambientes de navegador Chrome sandboxed inovadores, construídos em contêineres/Docker e Unikraft, fornecendo navegadores prontos para uso para fluxos de trabalho que precisam de acesso à internet. Esses ambientes suportam frameworks Chrome DevTools (como Playwright e Puppeteer) e oferecem acesso à GUI para monitoramento visual e controle remoto. A versão Unikernel possui recursos como espera automática, captura de estado e reinicializações a frio extremamente rápidas, ideais para aplicativos que exigem tratamento de eventos de baixa latência. Além disso, a Anthropic está contratando engenheiros de back-end para trabalhar no futuro da infraestrutura de IA.

(github.com)

Desenvolvimento navegador sandboxed

Programação Lógica Completa em Clojure: Clolog

2025-04-15

Programação Lógica Completa em Clojure: Clolog

O projeto Clolog integra a programação lógica completa (Prolog) em/chamávél a partir do Clojure, suportando chamadas para e do Clojure. Inspirado no LogLisp, Lisp Machine Prolog e Allegro Prolog, ele adiciona várias melhorias. A ênfase é em poder expressivo e transparência de execução, suportando prototipagem rápida, desenvolvimento de prova de conceito e raciocínio de loop externo (ainda não é muito rápido). Sintaxe Clojure baseada em Lisp, fornece predicados e operadores embutidos para negação, condicionais, vinculação de variáveis e acesso a valores Clojure.

(github.com)

Desenvolvimento

MeshCore: Uma Biblioteca Leve de Rede Mesh LoRa

2025-04-15

MeshCore: Uma Biblioteca Leve de Rede Mesh LoRa

MeshCore é uma biblioteca C++ leve e portátil que permite roteamento de pacotes multi-hop para projetos embarcados usando LoRa e outros rádios de pacotes. Projetada para redes resilientes e descentralizadas que funcionam sem acesso à internet, ela suporta vários dispositivos LoRa e oferece binários pré-compilados para facilitar a gravação usando ferramentas como Adafruit ESPTool. MeshCore equilibra simplicidade e escalabilidade, fornecendo funcionalidade semelhante ao Meshtastic e Reticulum, mas com foco em aplicações embarcadas. Ideal para comunicação off-grid, resposta a emergências e implantações de IoT.

(github.com)

Desenvolvimento Rede Mesh

LightlyTrain: Treinamento de modelos mais rápido, sem necessidade de rótulos

2025-04-15

LightlyTrain: Treinamento de modelos mais rápido, sem necessidade de rótulos

O LightlyTrain traz o pré-treinamento auto-supervisionado para pipelines de visão computacional do mundo real. Ele utiliza seus dados não rotulados para reduzir drasticamente os custos de rotulagem e acelerar a implantação do modelo. Integra-se facilmente em fluxos de trabalho existentes; apenas algumas linhas de código são necessárias para pré-treinar modelos em seus dados de imagem e vídeo não rotulados usando várias arquiteturas suportadas por bibliotecas como Torchvision, Ultralytics e TIMM. Escalonável para milhões de imagens, o LightlyTrain melhora significativamente o desempenho do modelo para conjuntos de dados pequenos e grandes, permitindo que você exporte modelos para ajuste fino ou inferência. Nenhuma experiência em aprendizado auto-supervisionado é necessária.

(github.com)

Desenvolvimento pré-treinamento de modelos aprendizado auto-supervisionado

Chroma: Simulando daltonismo para melhorar a acessibilidade em jogos

2025-04-15

Chroma: Simulando daltonismo para melhorar a acessibilidade em jogos

Chroma é uma ferramenta projetada para simular vários tipos de daltonismo, auxiliando desenvolvedores de jogos e equipes de acessibilidade a testar experiências de jogos para usuários daltônicos. Simula três tipos principais: Protanopia, Deuteranopia e Tritanopia, oferecendo alto desempenho, precisão e uma interface fácil de usar. Chroma funciona sobre qualquer jogo, independentemente do mecanismo, fornecendo simulação em tempo real, facilidade de captura de tela e configurações personalizáveis. Um problema conhecido durante a construção do CMake envolve uma biblioteca CPPWinRT desatualizada; recomenda-se o uso do Visual Studio 2022 ou a instalação do pacote NuGet Microsoft.Windows.CppWinRT.

(github.com)

Desenvolvimento simulação de daltonismo

Visualizador de Log Gigante: Navegue instantaneamente em arquivos de texto de 4 TB

2025-04-15

Visualizador de Log Gigante: Navegue instantaneamente em arquivos de texto de 4 TB

Cansado de esperar para abrir arquivos de log enormes? O `giant-log-viewer` carrega instantaneamente arquivos de texto de até 4 TB com uma pegada de memória minúscula, usando apenas ~80 MB de memória de heap JVM. Ele suporta codificação UTF-8 e ASCII, mas tem limitações: não lida com linhas com mais de 1 MB, emojis ou sistemas sem GUI; atualmente, ele só funciona no Windows, macOS e Linux. Embora não seja tão rico em recursos quanto o `less`, é perfeito para navegar rapidamente em logs gigantes por meio de arrastar e soltar ou atalhos de teclado. O projeto é de código aberto no GitHub, e doações são bem-vindas para ajudar o desenvolvedor a assinar os executáveis.

(github.com)

Desenvolvimento visualizador de log arquivos grandes

MCP-Shield: Protegendo seus servidores de Protocolo de Contexto de Modelo

2025-04-15

MCP-Shield: Protegendo seus servidores de Protocolo de Contexto de Modelo

O MCP-Shield é uma ferramenta para escanear e detectar vulnerabilidades em seus servidores MCP (Protocolo de Contexto de Modelo). Ele identifica riscos de segurança como ataques de envenenamento de ferramentas, canais de exfiltração de dados e escalações de origem cruzada. A ferramenta suporta vários métodos de configuração e opcionalmente integra o Claude AI da Anthropic para análise mais aprofundada. Padrões comuns de vulnerabilidade detectados incluem envenenamento de ferramentas com instruções ocultas, shadowing de ferramentas e modificação de comportamento, canais de exfiltração de dados e violações de origem cruzada. Por exemplo, ele pode identificar uma ferramenta de calculadora que secretamente tenta acessar chaves privadas SSH. O MCP-Shield visa ajudar desenvolvedores e auditores de segurança a proteger seus servidores MCP e suporta a verificação antes de adicionar novos servidores, durante auditorias de segurança, durante o desenvolvimento e após as atualizações.

(github.com)

Desenvolvimento detecção de vulnerabilidades

Decifrador Lógico de Igualdade UUID: força bruta em AES-256-CBC

2025-04-15

Decifrador Lógico de Igualdade UUID: força bruta em AES-256-CBC

Um kit de ferramentas de descriptografia lógico de campo compacto que força bruta arquivos AES-256-CBC criptografados com UUID usando uma inicialização baseada em igualdade: xy = x / y. Isso demonstra uma busca determinística dentro de espaços de entropia definidos. Uma demonstração gera um arquivo criptografado com UUID com um sufixo estruturado. O `uuid_demobreaker.py` então varre linearmente o espaço UUID, aproveitando a igualdade como uma 'ignição' lógica - não uma heurística - para guiar a busca. O decifrador não adivinha, filtra ou usa atalhos probabilísticos; ele define e explora o espaço de busca diretamente.

(github.com)

Desenvolvimento

ClipCapsule: Um gerenciador de área de transferência minimalista para Linux

2025-04-14

ClipCapsule: Um gerenciador de área de transferência minimalista para Linux

ClipCapsule é um gerenciador de área de transferência minimalista para Linux, construído com Go e WailsJS. Ele aumenta a produtividade permitindo que você gerencie e alterne entradas da área de transferência usando apenas atalhos de teclado - sem mouse ou GUI necessária. Atualmente em desenvolvimento, a GUI precisa estar aberta para que os atalhos funcionem, mas um daemon em segundo plano está em desenvolvimento para operação perfeita. Os principais recursos incluem fluxo de trabalho prioritário para teclado, histórico da área de transferência, reordenação dinâmica e armazenamento local apenas. A instalação envolve clonar o repositório, instalar o Wails e construir o aplicativo, possivelmente exigindo privilégios de sudo ou configuração manual de acesso ao dispositivo de entrada do teclado.

(github.com)

Desenvolvimento Gerenciador de Área de Transferência

Modelo de segmentação de marca d'água de código aberto da Diffusion Dynamics: tecnologia central do clear.photo

2025-04-14

Modelo de segmentação de marca d'água de código aberto da Diffusion Dynamics: tecnologia central do clear.photo

A Diffusion Dynamics tornou público o código fonte da tecnologia central por trás de seu produto de remoção de marca d'água, clear.photo: um modelo de segmentação de marca d'água. Este modelo de aprendizado profundo gera máscaras que destacam as regiões da marca d'água, sendo excelente na segmentação de marcas d'água baseadas em logotipos. O projeto fornece um fluxo de trabalho completo para treinamento e inferência, incluindo geração de conjuntos de dados, treinamento de modelos e pós-processamento, e suporta ajuste fino em chips Apple M-series. Uma característica chave é sua estratégia de aumento de dados que randomiza os parâmetros da marca d'água, levando a um desempenho robusto. O objetivo é fornecer uma base clara e facilmente modificável para a construção de ferramentas mais complexas.

(github.com)

Desenvolvimento remoção de marca d'água segmentação de imagem

Profiler C++ de Cabeçalho Único: utl::profiler

2025-04-14

Profiler C++ de Cabeçalho Único: utl::profiler

utl::profiler é uma biblioteca de perfil C++ de cabeçalho único que usa macros simples para medir o tempo de execução de segmentos de código e construir automaticamente um gráfico de chamadas. A biblioteca possui recursos como opções de estilo personalizáveis, segurança de thread e suporte para threads separadas. Ele reduz significativamente a sobrecarga usando intrínsecos x86. A biblioteca também suporta estilo personalizado e exportação de resultados para um arquivo.

(github.com)

Desenvolvimento Biblioteca de Cabeçalho Único

Inferência de Tipos TypeScript sem Geração de Código a partir de Mensagens Protobuf

2025-04-14

Inferência de Tipos TypeScript sem Geração de Código a partir de Mensagens Protobuf

O protobuf-ts-types permite que você defina tipos de mensagem independentes de linguagem no formato proto e inferir tipos TypeScript diretamente sem geração de código. Ele usa inteligentemente os tipos literais de modelo do TypeScript. Embora atualmente seja uma prova de conceito e não suporte serviços, RPCs, campos oneof e map e importações, ele oferece um grande potencial para simplificar a integração do Protobuf com o TypeScript.

(github.com)

Desenvolvimento Inferência de Tipos

Estratégia de Motor de Inferência de Código Aberto do DeepSeek: Contribuições Modulares, Não Lançamento Direto

2025-04-14

Estratégia de Motor de Inferência de Código Aberto do DeepSeek: Contribuições Modulares, Não Lançamento Direto

Devido a restrições de recursos, a equipe DeepSeek optou por não lançar diretamente seu motor de inferência interno de código aberto, escolhendo em vez disso colaborar com projetos de código aberto existentes. Eles extrairão componentes reutilizáveis do motor e os contribuirão como bibliotecas independentes, além de compartilhar estratégias de otimização. Essa abordagem visa retribuir de forma sustentável à comunidade de código aberto, promover o desenvolvimento de AGI e garantir que seus benefícios sirvam a toda a humanidade. Esforços futuros priorizarão a sincronização da engenharia de inferência com a comunidade de código aberto e parceiros de hardware para permitir suporte SOTA do Dia 0 para novos lançamentos de modelos.

(github.com)

IA motor de inferência

Meilisearch: Motor de busca de código aberto ultrarrápido para seus aplicativos

2025-04-14

Meilisearch: Motor de busca de código aberto ultrarrápido para seus aplicativos

O Meilisearch é um motor de busca de código aberto ultrarrápido e fácil de integrar em seus aplicativos, sites e fluxos de trabalho. Ele oferece recursos prontos para uso, como pesquisa híbrida, pesquisa conforme você digita, tolerância a erros de digitação, filtragem e pesquisa facetada, classificação, suporte a sinônimos, geoprocura e suporte a vários idiomas, para uma experiência de pesquisa superior. O Meilisearch fornece uma API RESTful, vários SDKs, compatibilidade com IA e um serviço em nuvem (Meilisearch Cloud) para implantação e manutenção fáceis. Ele prioriza a privacidade do usuário, permitindo que os usuários desativem a coleta de dados anônimos e fornecendo um canal de solicitação de exclusão de dados.

(github.com)

Desenvolvimento motor de busca de código aberto

Um Guia Prático de Programação C para Hackers

2025-04-14

Um Guia Prático de Programação C para Hackers

Este livro, dedicado a Dennis Ritchie, oferece um guia prático de programação C para hackers. O autor, um hacker experiente, compartilha técnicas práticas obtidas de anos de experiência, enfatizando o poder e a flexibilidade da linguagem C. Ele defende a liberdade que a linguagem C oferece, argumentando que a escolha da ferramenta certa é prerrogativa do programador, e não uma questão de preferências impostas. O livro inclui exemplos de código e discussões sobre o uso de extensões GNU.

(github.com)

Desenvolvimento Guia Prático

CI Local para GitHub: Livre-se da Nuvem, Abrace sua Máquina de Desenvolvimento

2025-04-14

CI Local para GitHub: Livre-se da Nuvem, Abrace sua Máquina de Desenvolvimento

Cansado de CI na nuvem lento, caro e alugado? `gh-signoff`, uma extensão do GitHub CLI, traz o CI para sua máquina local! Execute seus testes localmente, assine quando eles passarem (usando `gh signoff`) e obtenha aquele status de commit verde do GitHub sem complicações. Diga adeus a filas de mesclagem complexas e pipelines de implantação – simplicidade e controle são seus.

(github.com)

Desenvolvimento CI Local

Treinamento GRPO leve: Sem Transformers, sem vLLM

2025-04-13

Treinamento GRPO leve: Sem Transformers, sem vLLM

Este projeto implementa uma estrutura de treinamento GRPO (Group Relative Policy Optimization) leve, construída quase do zero, dependendo apenas de tokenizadores e PyTorch. Ele melhora o algoritmo original removendo a divergência de KL e incorporando o filtro de episódios muito longos, melhorando a estabilidade do treinamento e o uso da memória da GPU. O projeto treina o modelo Qwen2.5-3B-Instruct na tarefa CountDown, que requer a geração de uma expressão matemática para atingir um valor alvo dado um conjunto de números. O modelo resolve isso aprendendo a gerar raciocínio em cadeia de pensamento antes da resposta final, guiado por recompensas de formato e resposta. Todo o processo é simples e reprodutível, rodando em uma única GPU A40 com comandos mínimos.

(github.com)

Desenvolvimento

EXWM: Gerenciador de Janelas para Emacs

2025-04-13

EXWM: Gerenciador de Janelas para Emacs

O EXWM é um gerenciador de janelas X para Emacs baseado em XELB, com recursos completos e totalmente controlado por teclado. Ele oferece modos de layout híbrido (mosaico e empilhamento), suporte a área de trabalho dinâmica e compatibilidade com ICCCM/EWMH. Recursos opcionais incluem suporte RandR (multimonitor), bandeja do sistema, método de entrada, suporte à configuração de plano de fundo e servidor XSETTINGS. Confira as capturas de tela e o guia do usuário para uma visão geral completa e instruções de instalação!

(github.com)

Desenvolvimento

Guia Aberto para Compensação de Equidade: Um Guia Completo

2025-04-13

Guia Aberto para Compensação de Equidade: Um Guia Completo

Este guia desvenda as complexidades da compensação de equidade, cobrindo várias formas como ações restritas, opções de ações e unidades de ações restritas. Ele visa capacitar funcionários, gerentes de contratação, fundadores e estudantes a entender as intrincadas nuances da compensação de equidade, tomar decisões informadas e evitar erros dispendiosos. Os tópicos incluem os fundamentos da compensação de equidade, fundamentos das corporações acionárias, como a equidade é concedida, fundamentos tributários, impostos sobre a compensação de equidade, planos e cenários, ofertas e negociações e outros recursos. O guia também aborda armadilhas comuns e oferece sugestões práticas.

(github.com)

Startup compensação de equidade opções de ações planejamento tributário

Gatehouse-TS: Uma Biblioteca de Autorização Flexível e sem Dependências em TypeScript

2025-04-13

Gatehouse-TS: Uma Biblioteca de Autorização Flexível e sem Dependências em TypeScript

Gatehouse-TS é uma biblioteca de autorização flexível e sem dependências, escrita em TypeScript, combinando políticas de controle de acesso baseadas em função (RBAC), baseadas em atributos (ABAC) e baseadas em relacionamento (ReBAC). Uma porta da popular biblioteca Gatehouse Rust, ela possui uma API fácil de usar, suporta composição de políticas com operadores lógicos, oferece rastreamento detalhado de avaliação para depuração e fornece uma API de construtor fluente para criação de políticas personalizadas. Seu design leve e documentação abrangente tornam-na facilmente integrável e adaptável a vários projetos.

(github.com)

Desenvolvimento Autorização Controle de Acesso

Skywork-OR1: Lançamento de poderosos modelos de raciocínio de código aberto

2025-04-13

Skywork-OR1: Lançamento de poderosos modelos de raciocínio de código aberto

A SkyworkAI lançou a série Skywork-OR1 de poderosos modelos de raciocínio de código aberto, incluindo Skywork-OR1-Math-7B, Skywork-OR1-32B-Preview e Skywork-OR1-7B-Preview. Esses modelos, treinados usando aprendizado por reforço baseado em regras em larga escala, se destacam no raciocínio matemático e em código. O Skywork-OR1-Math-7B supera significativamente modelos de tamanho semelhante nos testes AIME24 e AIME25; o Skywork-OR1-32B-Preview atinge níveis de desempenho do Deepseek-R1 em tarefas matemáticas e de codificação; e o Skywork-OR1-7B-Preview supera todos os modelos de tamanho semelhante em ambos os domínios. Os modelos completos e scripts de treinamento serão de código aberto nos próximos dias.

(github.com)

IA

Testes de Mutação Rust com cargo-mutants

2025-04-13

Testes de Mutação Rust com cargo-mutants

cargo-mutants é uma ferramenta Rust que melhora a qualidade do código gerando versões mutantes do seu código para testar sua robustez. Ele identifica bugs potenciais não detectados pelos seus testes existentes, fornecendo uma perspectiva diferente das ferramentas tradicionais de cobertura de código. Ele se concentra em verificar se os testes realmente verificam o comportamento do código, não apenas o alcance do código. Fácil de usar e integra-se com CI, é ativamente mantido e promete melhorias futuras, incluindo novos tipos de mutação.

(github.com)

Desenvolvimento

Osprey: Proteção do Navegador

2025-04-13

Osprey: Proteção do Navegador

Osprey é uma extensão de navegador que protege você de sites maliciosos. Ele verifica URLs contra ameaças conhecidas e bloqueia o acesso a sites prejudiciais, exibindo um aviso se um site malicioso for detectado. Fácil de instalar na Chrome Web Store ou nos complementos do Microsoft Edge, o Osprey também oferece instruções de instalação manual. Personalize as configurações de proteção e obtenha suporte por meio do rastreador de problemas fornecido.

(github.com)

Desenvolvimento proteção contra malware

Whenever: Datas e horários com segurança de DST e tipados para Python

2025-04-13

Whenever: Datas e horários com segurança de DST e tipados para Python

Cansado das armadilhas do `datetime` do Python? O Whenever oferece operações de data e hora com segurança de DST e tipadas com desempenho incomparável, superando outras bibliotecas de terceiros e, muitas vezes, a biblioteca padrão. Escolha entre uma implementação Rust de alto desempenho ou uma versão Python pura para facilidade de uso. Ele resolve as deficiências da biblioteca padrão no tratamento de DST e verificação de tipo, fornecendo uma API limpa para escrever código de data e hora correto.

(github.com)

Desenvolvimento data e hora

Chonky: Segmentação de Texto Inteligente com Transformadores

2025-04-13

Chonky: Segmentação de Texto Inteligente com Transformadores

Chonky é uma biblioteca Python que divide inteligentemente o texto em pedaços semânticos significativos usando um modelo de transformador refinado. Esta biblioteca é útil em sistemas de Geração Aumentada por Recuperação (RAG). Ela processa textos grandes de forma eficiente, dividindo-os em pedaços menores e gerenciáveis para facilitar a análise e o processamento. O código de exemplo mostra como usar o Chonky para dividir um texto de amostra em pedaços semanticamente coerentes.

(github.com)

Desenvolvimento segmentação de texto transformador

OmniSVG: Um Modelo Unificado e Escalável de Geração de Gráficos Vetoriais

2025-04-13

OmniSVG: Um Modelo Unificado e Escalável de Geração de Gráficos Vetoriais

OmniSVG é a primeira família de geradores multimodais de SVG de ponta a ponta que utiliza modelos pré-treinados de Visão-Linguagem (VLMs). É capaz de gerar SVGs complexos e detalhados, desde ícones simples até personagens de anime intrincados. O projeto já lançou os datasets MMSVG-Icon e MMSVG-Illustration, e o artigo científico. Planos futuros incluem o lançamento do código e modelos pré-treinados, o dataset MMSVG-Character, e uma página do projeto com um relatório técnico.

(github.com)

IA geração de SVG modelos de visão-linguagem

KickSmash32: Módulo de Substituição de ROM Amiga de Código Aberto

2025-04-12

KickSmash32: Módulo de Substituição de ROM Amiga de Código Aberto

KickSmash32 é um módulo de substituição de ROM Kickstart de código aberto para sistemas Amiga 3000 e 4000. Com suporte para até 8 bancos flash independentes, permite a programação e a comutação de ROMs via utilitários de linha de comando Amiga ou um utilitário de host Linux (USB-C). Serviços de arquivos de host opcionais permitem transferências de arquivos fáceis entre o Amiga e o PC host. Documentação completa e instruções de construção são fornecidas. Observe que, devido a layouts inconsistentes de soquetes ROM em modelos Amiga, o KickSmash32 é compatível apenas com Amiga 3000 e Amiga 4000 originais.

(github.com)

Hardware substituição de ROM

Shorty: Uma biblioteca C++ para Lambdas mais concisas

2025-04-12

Shorty: Uma biblioteca C++ para Lambdas mais concisas

Shorty é uma biblioteca C++ projetada para oferecer uma sintaxe mais concisa do que as expressões lambda nativas do C++, sem a intenção de substituir o C++ por um DSL preguiçoso. Permite notação mais intuitiva para classificação, filtragem, zip e chamada de funções externas, suportando vários métodos de acesso a argumentos e conversões de tipo. Por exemplo, `std::ranges::sort(subject, $lhs > $rhs);` classifica de forma concisa, e `subject | std::views::filter(($i % 2) == 0);` filtra números pares. Seu design prioriza a eficiência do desenvolvedor e a redução de código redundante.

(github.com)

Desenvolvimento Expressões Lambda

Awe: Um Novo Compilador ALGOL W

2025-04-12

Awe: Um Novo Compilador ALGOL W

Awe é um novo compilador para a linguagem de programação ALGOL W, sucessora do Algol 60. É uma implementação completa da linguagem descrita na Descrição da Linguagem ALGOL W de junho de 1972. O Awe deve compilar código escrito para compiladores ALGOL W OS/360 com alterações mínimas. Recursos incluem alocação de registro dinâmica, tratamento de strings, números complexos e um sistema de E/S padrão. O projeto agradece a Hendrick Boom e outros por suas contribuições.

(github.com)

Desenvolvimento

← Previous 1 2 … 24 25 26 27 28 29 30 31 32 … 50 51 Next →