Webtagr - Technology News Summarizer

Popular：

Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Command-line Tool: OSGInt – A Powerful GitHub User Information Retriever

2025-03-24

Command-line Tool: OSGInt – A Powerful GitHub User Information Retriever

OSGInt is a powerful command-line tool that retrieves GitHub user information using either a username or email address. It fetches basic details like username, avatar, bio, and digs deeper to uncover email addresses and GPG keys. OSGInt uses multiple methods, including analyzing public commits, GPG keys, and the GitHub user API. Inspired by the Zen project, it's under active development, with features like spoofing commits to get email addresses in the works.

(github.com)

Development user information retrieval

Dennis Ritchie's Primeval C Compiler: A Blast from the Past

2025-03-24

Dennis Ritchie's Primeval C Compiler: A Blast from the Past

This post shares the source code of the earliest known versions of the C compiler, written by the late legend Dennis Ritchie. These are not compilable with modern C compilers like GCC, but represent the spark that ignited a soon-to-be trillion-dollar industry. Links to Aiju's PDP-11/Unix emulator (for attempting compilation) and the Research Unix repository are provided for those wishing to delve into the history of computing.

(github.com)

Development

beeFormer: Bridging the Semantic and Interaction Gap in Recommender Systems

2025-03-24

beeFormer: Bridging the Semantic and Interaction Gap in Recommender Systems

The beeFormer project introduces a novel approach to recommender systems designed to tackle the cold-start problem. It leverages language models to learn user behavior patterns from interaction data and transfer this knowledge to unseen items. Unlike traditional content-based filtering which relies on item attributes, beeFormer learns user interaction patterns to better recommend items aligned with user interests, even with no prior interaction data. Experiments demonstrate significant performance improvements. The project provides detailed training steps and pre-trained models, supporting datasets such as MovieLens, GoodBooks, and Amazon Books.

(github.com)

AI Recommender Systems Cold-Start Language Models

LangManus: An Open-Source AI Automation Framework for Multi-Agent Collaboration

2025-03-23

LangManus: An Open-Source AI Automation Framework for Multi-Agent Collaboration

LangManus is a community-driven open-source AI automation framework that integrates language models with tools for web search, crawling, and Python code execution. Developed by former colleagues in their spare time, this project aims to explore multi-agent and deep research, participating in the GAIA leaderboard. LangManus employs a hierarchical multi-agent system with roles such as Coordinator, Planner, Supervisor, Researcher, Coder, Browser, and Reporter, supporting various LLM integrations including Qwen and OpenAI-compatible models. The project is open-sourced under the MIT license and welcomes community contributions.

(github.com)

AI AI automation multi-agent system

Outperforming std::deque: Introducing the Shift-To-Middle Array

2025-03-23

Outperforming std::deque: Introducing the Shift-To-Middle Array

The Shift-To-Middle Array is a dynamic array designed to outperform std::deque, std::vector, and linked lists in insertion and deletion at both ends. It achieves this by using contiguous memory, improving cache locality, and supporting SIMD and parallel optimizations. Benchmarks show significant performance gains, especially on multi-core CPUs and hardware with SIMD instruction sets. The project is open-source, with full API documentation and benchmark reports available. Contributions are welcome!

(github.com)

Development dynamic array

Formal Verification of ML Models in Lean 4

2025-03-23

Formal Verification of ML Models in Lean 4

The `formal_verif_ml` project offers a Lean 4 framework for formally verifying properties (robustness, fairness, interpretability) of machine learning models. It includes a Lean library, model translator, web interface, and CI/CD pipeline, supporting various model types. An interactive web portal lets users upload models, view generated Lean code, trigger proof compilation, and visualize the architecture.

(github.com)

AI

ttyd: Share Your Terminal Over the Web

2025-03-23

ttyd: Share Your Terminal Over the Web

ttyd is a simple command-line tool for sharing your terminal over the web. It offers a wealth of options, including port specification, network interface binding, authentication, user permission settings, custom working directories, and more, allowing for flexible configuration. Advanced features such as SSL encryption, IPv6 support, and client argument passing ensure secure and reliable remote terminal access.

(github.com)

Development terminal sharing

Go Program: Convert Security Audit JSON to Markdown Report

2025-03-23

Go Program: Convert Security Audit JSON to Markdown Report

A simple Go program converts `security-audit.json` to `security-audit.md` for use in CI pipelines. An example report is provided, along with example CI integration files (`dependency-audit.yml` and `dependency-audit-only-when-detected.yml`), the latter only creating a GitHub issue if vulnerabilities are detected. The program allows customization of input and output file paths and offers an option to fail if no vulnerabilities are found.

(github.com)

Development Security Audit

argp: A Powerful GNU-Standard Command-Line Argument Parser in Go

2025-03-23

argp: A Powerful GNU-Standard Command-Line Argument Parser in Go

argp is a Go library providing a robust command-line argument parser adhering to GNU standards. It boasts features like built-in help, struct field scanning, support for composite types (arrays, slices, structs), and nested subcommands. argp follows GNU argument rules, handling short and long options, option values, multiple values, and option combinations. It also offers configuration loading, counting, appending, and support for custom data sources, such as MySQL databases. Developers can leverage argp to create powerful command-line tools efficiently.

(github.com)

Development command-line arguments GNU standard

Landrun: A Lightweight, Kernel-Level Secure Sandbox for Linux

2025-03-22

Landrun: A Lightweight, Kernel-Level Secure Sandbox for Linux

Landrun is a lightweight Linux sandbox utilizing the Landlock LSM, boasting kernel-level security and minimal overhead. It offers fine-grained access control for directories, supporting read and write paths with optional execution permissions. TCP network access control (binding and connecting) is also included. Requiring Linux kernel 5.13+ with Landlock LSM enabled (kernel 6.8+ for network restrictions), Landrun provides a command-line interface for easily configuring sandbox permissions, including read-only, read-write, execution, and specific TCP port binding and connection allowances. A best-effort mode ensures graceful degradation on older kernels. This makes it ideal for securely running untrusted or potentially malicious code.

(github.com)

Development kernel security

Unpacking R1-Zero: Efficient LLM Alignment with the Oat Framework

2025-03-22

Unpacking R1-Zero: Efficient LLM Alignment with the Oat Framework

Researchers released a paper, models, and codebase unveiling the mysteries of R1-Zero-like training. They developed Oat, a highly modular and efficient LLM reinforcement learning framework, and used it to R1-Zero-train models like Qwen2.5. The study found that proper base models and an improved reinforcement learning algorithm (Dr. GRPO) are crucial, avoiding biased optimization from mismatched templates and question sets. Ultimately, they achieved state-of-the-art performance with only 27 hours of compute on 8x A100 GPUs.

(github.com)

AI

FastOpenAPI: A Pydantic-Powered OpenAPI Generator

2025-03-22

FastOpenAPI: A Pydantic-Powered OpenAPI Generator

FastOpenAPI is a library for generating and integrating OpenAPI schemas using Pydantic and various frameworks, aiming for a developer-friendly experience similar to FastAPI. It supports Falcon, Flask, Quart, Sanic, Starlette, and Tornado, offering FastAPI-style routing via proxy routing. Simple pip installation gets you started quickly, with Swagger UI and ReDoc UI providing convenient documentation access. The project includes comprehensive examples and benchmarks for easy adoption and performance evaluation.

(github.com)

Development Framework Integration

Privacy Concerns: Privacy-Focused Browser Accused of Telemetry Issues

2025-03-22

Privacy Concerns: Privacy-Focused Browser Accused of Telemetry Issues

A user reported multiple privacy and telemetry issues with a browser version 1.8.2b on macOS aarch64. The browser is marketed as privacy-focused, yet the user claims telemetry appears to be enabled and the documentation lacks details on fingerprinting and other privacy-related practices. The user demands transparency, requesting either a detailed explanation of data collection methods or a cessation of privacy-focused marketing if the claims are unsubstantiated.

(github.com)

Misc telemetry

GitHub Code Suggestion Application Restrictions

2025-03-22

GitHub Code Suggestion Application Restrictions

This text lists various limitations encountered when applying code suggestions in GitHub's code review process. These include: no code changes made, pull request closed or merged, viewing a subset of changes, only one suggestion per line applicable, applying suggestions on deleted lines is unsupported, suggestion already applied or marked resolved, suggestions from pending reviews cannot be applied, and suggestions on multi-line comments are not allowed. These restrictions ensure the integrity and accuracy of the code review process.

(github.com)

Development Code Suggestions

Krita Region Exporter Plugin: Easily Export Canvas Regions

2025-03-22

Krita Region Exporter Plugin: Easily Export Canvas Regions

This Krita plugin lets you export any region of your canvas, with optional resizing. Installation: Place the `region_exporter` folder in your Krita resources folder's `pykrita` subfolder. Place `region_exporter.desktop` in the root of your Krita resources folder and `region_exporter.action` in the `actions` subfolder. Usage: Use the Ctrl+Shift+E shortcut or the Tools menu. Enter coordinates, size, rotation, and layer selection options to export your image.

(github.com)

Design Image Export

Hyperbrowser MCP Server: Web Scraping and Data Extraction Made Easy

2025-03-21

Hyperbrowser MCP Server: Web Scraping and Data Extraction Made Easy

Hyperbrowser introduces its Model Context Protocol (MCP) server, a powerful tool for scraping web pages, extracting structured data, and crawling websites. It also simplifies access to general-purpose browser agents like OpenAI's CUA, Anthropic's Claude Computer Use, and Browser Use. The server boasts features including webpage scraping, web crawling, structured data extraction, Bing search, and various browser automation capabilities. Installation is straightforward; simply run `npx hyperbrowser-mcp ` and configure the relevant config files.

(github.com)

Development data extraction

Screen: A Pure PHP Terminal Emulator for Rich Text UIs

2025-03-21

Screen: A Pure PHP Terminal Emulator for Rich Text UIs

Screen is a terminal emulator library written entirely in PHP, enabling the creation of rich text-based user interfaces within any PHP application. Initially developed to solve ANSI escape code conflicts in Solo for Laravel's multi-process TUI, Screen creates a virtual terminal buffer to safely handle ANSI operations (cursor movement, color changes, screen clearing). This ensures consistent rendering and supports Unicode, multibyte characters, scrolling, and a wide range of ANSI escape codes. A comprehensive test suite, featuring a novel visual comparison system, guarantees accurate emulation.

(github.com)

Development text UI

Secure and Efficient Rust-based RDP Client: IronRDP

2025-03-21

Secure and Efficient Rust-based RDP Client: IronRDP

IronRDP is a collection of Rust crates providing a secure implementation of the Microsoft Remote Desktop Protocol (RDP). It supports various codecs including uncompressed raw bitmaps, RLE, RDP 6.0 bitmap compression, and Microsoft RemoteFX. A full-fledged asynchronous RDP client is included, along with a blocking example for easier integration. The project also details how to enable RemoteFX on the server for enhanced graphics performance.

(github.com)

Development

Manifest: A 1-File Micro-Backend for Simplified Development

2025-03-21

Manifest: A 1-File Micro-Backend for Simplified Development

Manifest is a lightweight, single-file micro-backend framework designed to streamline development for 80% of websites and apps needing only basic backend features. It provides essential functionalities like authentication, validation, storage, image resizing, admin panel, dynamic endpoints, REST API, JS SDK, and webhooks. Ideal for rapid prototyping, microservices, CRUD-heavy apps, and headless CMS, Manifest is currently in beta and suitable for small projects and MVPs, but not recommended for critical platforms.

(github.com)

Development micro-backend rapid prototyping single-file

PocketFlow: A New Framework for Building Enterprise-Ready AI Systems

2025-03-21

PocketFlow: A New Framework for Building Enterprise-Ready AI Systems

PocketFlow is a TypeScript-based LLM framework utilizing a nested directed graph structure. This breaks down complex AI tasks into reusable LLM steps, enabling branching and recursion for agent-like decision-making. The framework is easily extensible, integrating various LLMs and APIs without specialized wrappers, and features visual workflow debugging and state persistence, accelerating the building of enterprise-grade AI systems.

(github.com)

AI enterprise AI

Retro Boy: A Highly Accurate Game Boy Emulator in Rust, Now on the Web!

2025-03-20

Retro Boy: A Highly Accurate Game Boy Emulator in Rust, Now on the Web!

Retro Boy is a cycle-accurate Game Boy emulator written in Rust and playable in your web browser. Leveraging wasm-pack for WebAssembly compilation, it uses Web Audio API and HTML Canvas for audio and graphics. Supporting MBC1, MBC3, MBC5, and HuC1 cartridges, it boasts accurate CPU, audio, and graphics emulation, even including GameShark/GameGenie cheat code support. The user-friendly interface features fullscreen mode, pause/resume, selectable color modes, and customizable keymapping. Retro Boy passes a significant portion of Blargg's test ROMs, demonstrating its high accuracy.

(github.com)

Game

GizmoSQL: A High-Performance Apache Arrow Flight SQL Server

2025-03-20

GizmoSQL: A High-Performance Apache Arrow Flight SQL Server

GizmoSQL is an Apache Arrow Flight SQL server implementation using DuckDB or SQLite as a backend database. It enables authentication via middleware and allows encrypted connections via TLS. This project offers Docker images and CLI executables for easy deployment and use. Users can connect to the server via JDBC or ADBC drivers and query using Python or the `gizmosql_client` CLI tool. GizmoSQL supports custom initialization SQL commands and offers flexible configuration options, such as selecting different backend databases and enabling/disabling TLS. A slim Docker image is also available.

(github.com)

Development

Minimalytics: A Lightweight SQLite Analytics Tool for Billions of Events

2025-03-20

Minimalytics: A Lightweight SQLite Analytics Tool for Billions of Events

Minimalytics is a standalone minimalist analytics tool built on SQLite, designed for resource-constrained environments. It offers a lightweight solution for tracking and visualizing event data with a minimal footprint. Handling over a billion events per month with only ~20MB of storage, it's perfect for tracking internal services or needing simple analytics without the bloat. Features include a web UI for dashboard management and interactive graphs.

(github.com)

Development lightweight analytics resource-constrained

Minesweeper via MCP: A Server-Side Agent

2025-03-20

Minesweeper via MCP: A Server-Side Agent

This is a Model Context Protocol (MCP) server enabling MCP client agents to play Minesweeper. It's designed to work alongside a Minesweeper game server. A sped-up video demo is available at https://youtu.be/CXXMafVtlEQ (16x speed). Follow the game server's instructions to start it locally. Install dependencies, build the server, and configure your MCP client to add the tool (e.g., in Claude Desktop's `claude_desktop_config.json`). Start a Minesweeper game and try to flag all mines; coordinates are 0-indexed. The full conversation log is extensive, with snippets showing incorrect flag placement and giving up after multiple attempts.

(github.com)

Game Minesweeper Game Server

AgentKit: Building Multi-Agent Networks with Deterministic Routing and Rich Tooling

2025-03-20

AgentKit: Building Multi-Agent Networks with Deterministic Routing and Rich Tooling

AgentKit is a framework for building multi-agent networks offering deterministic routing, support for multiple model providers, and rich tooling via MCP. Combined with the Inngest Dev Server and its orchestration engine, AgentKit makes your Agents fault-tolerant when deployed to the cloud. Core concepts include Agents (LLM calls combined with prompts, tools, and MCP), Networks (a simple way to get Agents to collaborate with a shared State, including handoff), State (combines conversation history with a fully typed state machine, used in routing), Routers (autonomy from code-based to LLM-based (ex: ReAct) orchestration), and Tracing (debug and optimize your workflow locally and in the cloud with built-in tracing). AgentKit supports multiple routing strategies, including code-based deterministic routing and agent-based autonomous routing, and offers a shared state mechanism for easier agent collaboration.

(github.com)

Development multi-agent network deterministic routing

TruffleRuby Update: Performance Boost and Compatibility Improvements

2025-03-20

TruffleRuby Update: Performance Boost and Compatibility Improvements

TruffleRuby, a high-performance implementation of the Ruby programming language, has released a new version with significant performance improvements and compatibility enhancements. This release fixes numerous bugs, including issues in methods such as Module#name, Module#const_added, and ObjectSpace.undefine_finalizer, and improves compatibility with OpenSSL 3.0.x and 3.x. Additionally, many new methods and features have been added, such as IO#{pread, pwrite}, Range#reverse_each, and optimizations were made to encoding negotiation and the performance of several C extensions. This update enhances TruffleRuby's stability and performance, bringing it closer to the standard Ruby implementation, MRI.

(github.com)

Development

Physix.go: A Simple Physics Engine in Go

2025-03-20

Physix.go: A Simple Physics Engine in Go

Physix.go is a simple, fast, and easy-to-use physics engine written in Go. It offers efficient physics calculations, including particle-based simulations, vector operations, and spring dynamics. Installation is via `go get github.com/rudransh61/Physix.go`, with examples readily available. The engine supports rectangle-rectangle and circle-circle collision detection with bouncing effects based on momentum and energy conservation, and also includes spring simulation capabilities.

(github.com)

Development Physics Engine

Stelvio: Streamlined AWS Management for Python Devs

2025-03-20

Stelvio: Streamlined AWS Management for Python Devs

Stelvio is a Python library simplifying AWS cloud infrastructure management and deployment. It uses pure Python, offering smart defaults for complex configurations. Developers define cloud resources with familiar Python code, cleanly separating infrastructure from application code. Currently supporting Lambda, DynamoDB, and API Gateway (with more AWS services planned), Stelvio prioritizes developer productivity over infrastructure complexity, offering a more streamlined approach than Terraform, Pulumi, or AWS CDK. Note: Stelvio is in early alpha, ideal for experimentation.

(github.com)

Development Cloud Infrastructure

MCP Server for Web Page Content Fetching with Playwright

2025-03-20

MCP Server for Web Page Content Fetching with Playwright

This project offers an MCP server that uses the Playwright headless browser to fetch web page content. It supports single and batch URL fetching, intelligently extracts main content and converts it to Markdown. Users can run it directly with `npx`, and configure parameters such as timeout, wait strategy, content extraction, maximum length, and whether to return HTML or Markdown. Instructions for configuring the server in Claude Desktop, installing Playwright browsers, and debugging are also provided.

(github.com)

Development MCP Server

Tencent's Hunyuan3D Model Gets a Speed Boost and Texture Generation

2025-03-20

Tencent's Hunyuan3D Model Gets a Speed Boost and Texture Generation

Tencent has released an updated version of its open-source Hunyuan3D model, featuring a smaller, faster 'mini' variant. This update not only improves inference speed but also adds texture generation capabilities, resulting in significantly enhanced 3D model visuals. Code changes focus on optimized model loading, parameter adjustments, and a streamlined texture generation pipeline with broader file format support. This makes the powerful 3D modeling technology more accessible to a wider range of developers.

(github.com)

Development Tencent Hunyuan3D

← Previous 1 2 3 4 5 6 7 8 9 … 20 21 Next →