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

AGX: A Modern ClickHouse Desktop Client Built with Tauri and SvelteKit

2025-03-19
AGX: A Modern ClickHouse Desktop Client Built with Tauri and SvelteKit

AGX is a desktop application built with Tauri and SvelteKit, providing a modern interface for exploring and querying data using ClickHouse's embedded database engine (chdb). It boasts native desktop application performance, an interactive SQL query editor with syntax highlighting, a schema browser, tabular result display, drag-and-drop file support, and cross-platform compatibility (macOS, Linux, Windows). The frontend uses SvelteKit for a reactive and efficient UI, while the backend leverages Tauri and Rust for native performance and security. Communication between frontend and backend is handled via Tauri's IPC bridge, with data querying powered by the embedded ClickHouse engine, chdb. Contributions are welcome!

Read more
(github.com)
Development

Ikemen GO: An Open-Source Fighting Game Engine in Go

2025-03-19
Ikemen GO: An Open-Source Fighting Game Engine in Go

Ikemen GO is an open-source fighting game engine written in Go, offering backwards compatibility with M.U.G.E.N version 1.1 Beta while adding numerous new features. Pre-built binaries are available for Windows, macOS, and Linux, with nightly builds also provided. Comprehensive documentation covers building, debugging (using Goland or VS Code), and cross-compilation with Docker. The engine's source code is MIT licensed, with certain assets under CC-BY 3.0.

Read more
(github.com)
Game

Zest: A Programming Language Balancing Malleability and Legibility

2025-03-19
Zest: A Programming Language Balancing Malleability and Legibility

Zest is a work-in-progress programming language designed to create systems that are both malleable and legible. It aims to combine the interactivity and liveness of systems like emacs with features like static typing, early binding, and jump-to-definition. Currently, Zest supports basic control flow, arithmetic, and functions, but still needs improvements in error handling, memory management, and recursive functions. Code can be interpreted or compiled, but mixed mode is not yet supported. The documentation includes embedded tests to verify the output of different dialects (lax and strict).

Read more
(github.com)
Development

fd: Blazing Fast File Finder (23x Faster than find)

2025-03-19
fd: Blazing Fast File Finder (23x Faster than find)

fd is a faster and more user-friendly alternative to the find command. It boasts intuitive syntax, parallelized directory traversal, and smart case matching, defaulting to ignoring hidden files and .gitignore entries. Supporting both regular expressions and glob patterns, fd offers extensive options to customize searches, including specifying root directories, file types, sizes, modification times, and more. It integrates seamlessly with other commands such as `ls`, `rm`, `rg`, and `fzf`. Benchmark tests demonstrate fd's significant speed advantage over find in large filesystems, achieving up to 23 times faster performance.

Read more
(github.com)
Development file finding

Git-Who: Track Down Code Ownership Like a Boss

2025-03-18
Git-Who: Track Down Code Ownership Like a Boss

Tired of hunting down the authors of specific code sections? Git-Who, a command-line tool, is your solution! Unlike `git blame`, which focuses on individual lines, Git-Who identifies the key contributors to entire code components or subsystems. Using three subcommands—`table`, `tree`, and `hist`—it presents authorship information in tables, tree structures, and timelines, showing contribution counts, last edit times, lines modified, and more. Filter results by path, branch, tag, or revision range, and use flags for sorting and filtering. Git-Who even respects Git mailmaps, consolidating contributions under varying names or emails. Try Git-Who to get a clear picture of code ownership!

Read more
(github.com)
Development code authorship

NVIDIA Dynamo: A High-Throughput, Low-Latency Inference Framework for Generative AI

2025-03-18
NVIDIA Dynamo: A High-Throughput, Low-Latency Inference Framework for Generative AI

NVIDIA introduces Dynamo, a high-throughput, low-latency inference framework designed for serving generative AI and reasoning models in multi-node distributed environments. Dynamo is inference engine agnostic (supporting TRT-LLM, vLLM, SGLang, and others), and incorporates features like disaggregated prefill & decode inference, dynamic GPU scheduling, LLM-aware request routing, accelerated data transfer, and KV cache offloading to maximize GPU throughput and minimize latency. Built in Rust for performance and Python for extensibility, Dynamo is fully open-source.

Read more
(github.com)
AI Inference Framework

Sesame AI Releases 1B Parameter Conversational Speech Model

2025-03-18
Sesame AI Releases 1B Parameter Conversational Speech Model

Sesame AI Labs has released CSM (Conversational Speech Model), a 1 billion parameter speech generation model based on the Llama architecture. CSM generates RVQ audio codes from text and audio inputs and its checkpoint is available on Hugging Face. An interactive voice demo and a Hugging Face space for testing audio generation are also provided. While capable of producing varied voices, CSM hasn't been fine-tuned to specific voices and has limited multilingual support. Sesame AI emphasizes its use for research and educational purposes only, prohibiting impersonation, misinformation, and illegal activities.

Read more
(github.com)
AI speech generation Sesame AI

Cascii: A Dependency-Free Online ASCII & Unicode Diagram Builder

2025-03-17
Cascii: A Dependency-Free Online ASCII & Unicode Diagram Builder

Cascii is a web-based ASCII and Unicode diagram builder written in vanilla JavaScript. It boasts zero dependencies on servers, web packing, or libraries, and uses no markup or stylesheets. Simply open cascii.html to start building diagrams. Cascii is also hosted at cascii.app, offering short links for diagrams, account creation, and more. Features include layer management, selection tools, grouping, ordering, duplication, dynamic tables, free drawing/erasing, autosave, paste/import text, history (undo/redo), and support for both ASCII and Unicode characters.

Read more
(github.com)
Development ASCII drawing Unicode drawing

coq-of-rust: Formal Verification for 100% Bug-Free Rust Code

2025-03-17
coq-of-rust: Formal Verification for 100% Bug-Free Rust Code

coq-of-rust is a formal verification tool for Rust that translates Rust programs into the Coq proof assistant to achieve 100% bug-free code. By translating Rust code to Coq, it leverages Coq's powerful proof techniques to verify the correctness of the code, eliminating all bugs. The tool supports a wide range of Rust features and offers formal verification services for critical applications like smart contracts and database engines.

Read more
(github.com)
Development

Cline: Your AI coding assistant, mastering your CLI and editor

2025-03-17
Cline: Your AI coding assistant, mastering your CLI and editor

Cline is an AI assistant powered by Claude 3.7 Sonnet, capable of handling complex software development tasks step-by-step. It can create and edit files, navigate large projects, use a browser, and execute terminal commands (with permission). Cline supports multiple API providers and can extend its capabilities through the Model Context Protocol (MCP). It features a human-in-the-loop GUI for safety and reliability. Cline also boasts error monitoring, code completion, and version control, significantly boosting development efficiency.

Read more
(github.com)
Development code development

Amnesty's Mobile Verification Toolkit: A Forensic Tool for Spyware Detection

2025-03-17
Amnesty's Mobile Verification Toolkit: A Forensic Tool for Spyware Detection

Amnesty International's Security Lab released the Mobile Verification Toolkit (MVT) in July 2021. This tool helps simplify and automate the process of gathering forensic evidence to identify potential compromises on Android and iOS devices. MVT uses publicly available Indicators of Compromise (IOCs) to scan for traces of known spyware campaigns, but it's crucial to remember that this is not a guarantee of complete device security. Intended for technologists and investigators familiar with digital forensics and command-line tools, MVT is not for general self-assessment.

Read more
(github.com)
Tech digital forensics

CppMatch: A Rust-like Error Handling and Pattern Matching Library for C++

2025-03-16
CppMatch: A Rust-like Error Handling and Pattern Matching Library for C++

CppMatch is a lightweight header-only C++ library bringing Rust-style exception handling and pattern matching to C++. It uses a `Result` type to represent success or failure, simplifies error handling with the `expect` macro, and implements pattern matching with the `match` macro. It also offers `zip_match` to combine multiple `Result` objects. Compatible with Clang and GCC, CppMatch offers various error handling strategies, including handling different error types with lambdas. It's a compelling option for C++ developers seeking the elegance of Rust's error handling.

Read more
(github.com)
Development Pattern Matching

Wify: A React Native App for Effortless WiFi Connection

2025-03-16
Wify: A React Native App for Effortless WiFi Connection

Wify is a React Native application that simplifies WiFi connection by scanning images or using the camera to extract WiFi credentials. It supports OCR in multiple languages, uses fuzzy matching for WiFi names, and includes robust permission handling with user-friendly prompts. The app seamlessly connects to networks, even with minor discrepancies in names, making WiFi access quick and easy on both Android and iOS.

Read more
(github.com)
Development WiFi Connection

zlib-ng: A Next-Gen Data Compression Library

2025-03-16
zlib-ng: A Next-Gen Data Compression Library

zlib-ng is a modernized fork of the popular zlib compression library, improving performance, maintainability, and portability. It incorporates optimizations from Intel and Cloudflare, and supports a wide range of CPU instruction sets such as AVX-512 and ARM NEON. zlib-ng aims to coexist with zlib, offering a lower barrier to code changes and supporting CMake and multiple build systems.

Read more
(github.com)
Development

UUSEC WAF: A Free, High-Performance Web Application Firewall

2025-03-16
UUSEC WAF: A Free, High-Performance Web Application Firewall

UUSEC WAF is a free, high-performance, and highly scalable web application firewall (WAF) and API security protection product that leverages AI and semantic engines. It boasts a three-layered defense mechanism (traffic, system, and runtime layers). Employing machine learning for anomaly detection, it intercepts 0-day attacks without needing extra rules. Its self-developed cache cleaning surpasses commercial nginx versions, offering regex matching for enhanced flexibility. Built-in HIPS and RASP provide powerful dual-layer defense. Advanced semantic engines and Lua scripting allow for highly flexible rule creation. Installation is straightforward, with host and Docker options. Benchmark tests show accuracy exceeding 99%, significantly outperforming comparable free WAFs.

Read more
(github.com)
Tech

Docs: Open-Source Collaborative Document Editor Takes on Notion

2025-03-16
Docs: Open-Source Collaborative Document Editor Takes on Notion

Docs is an open-source collaborative document editor designed to simplify knowledge creation and sharing. It features offline editing, clean formatting, AI-powered actions (generate, summarize, correct, translate), real-time collaboration, and granular access control. Docs is easy to install and scale, offering multiple document export formats. Led by the French and German governments, this multilingual project is under active development and plans to incorporate wiki functionality.

Read more
(github.com)
Development collaborative editor

Become a 10x Developer in 30 Seconds with rust-stakeholder

2025-03-16
Become a 10x Developer in 30 Seconds with rust-stakeholder

Tired of actually coding? Meet rust-stakeholder, a CLI tool that generates impressive-looking, yet utterly meaningless, terminal output. Convince everyone you're a coding genius without writing a single line of useful code! Simulate development activity, generate progress bars, fake network traffic, and even create artificial crises. It's satire, of course – don't actually use this to land a job you're not qualified for!

Read more
(github.com)
Development programmer humor satire

Agentic: An Extensible Agent Platform with Structured Outputs

2025-03-16
Agentic: An Extensible Agent Platform with Structured Outputs

Agentic is a platform allowing users to define extensions and output schemas using Pydantic data models. This enables structured outputs from chatbots, as demonstrated by the example code defining a time output model for date and time information. This provides increased flexibility and control for building AI applications.

Read more
(github.com)
Development

Async-Powered Pandas: Supercharge Your Pandas Workflows with Async

2025-03-15
Async-Powered Pandas: Supercharge Your Pandas Workflows with Async

aiopandas is a lightweight library that adds async support to Pandas' core functions like `map`, `apply`, and `applymap` via monkey patching. This allows seamless integration of async functions, enabling controlled parallel execution with `max_parallel` for dramatically faster processing of I/O-bound tasks such as API calls, web scraping, and database queries. It also integrates with tqdm for progress tracking. Simply replace `.map()` with `.amap()` (and similar for other functions) for a near drop-in replacement.

Read more
(github.com)
Development Async Programming Parallel Processing

MYGA: Make YouTube Great Again

2025-03-15
MYGA: Make YouTube Great Again

MYGA is a clean and minimal YouTube frontend, stripping away ads and unnecessary features. Powered by yt-dlp for downloading videos and optionally your local AI model for summarizing video content, it offers a local, efficient, concise, and ad-free YouTube experience. Features include channel management, subscriptions, background playback, offline playback, and more. It's dependency-free (except nano-spawn), using only HTML/CSS; no JS frameworks on the client or server. Host it on your home network for playback on all your devices.

Read more
(github.com)
Development local

Sketch Programming: A Minimalist Paradigm for Code Design (LLM Transpiler)

2025-03-15
Sketch Programming: A Minimalist Paradigm for Code Design (LLM Transpiler)

Sketch programming is a revolutionary approach to software development prioritizing simplicity, readability, and expressiveness. It's not a specific language but a meta-programming paradigm abstracting boilerplate code, reducing cognitive load, and focusing developers on core logic. Implementable in any language, Sketch works across all project scales. The core idea is to 'sketch' the program's essence with minimal, intuitive syntax, leaving details to the underlying language. It uses a keyword-driven, declarative syntax, emphasizing readability and intent, supporting rapid iteration and language-agnostic design. An example shows a React component sketched and then transpiled into full React code. A VS Code extension is also under development.

Read more
(github.com)
Development Sketch Programming

eli: A 15-Year Odyssey of Embedded Lisp Interpretation

2025-03-15
eli: A 15-Year Odyssey of Embedded Lisp Interpretation

eli is the culmination of over 15 years of designing and implementing embedded Lisp interpreters in various languages. Born from a need for an embedded Lisp for personal projects, it's become one of the author's most significant endeavors. Primarily implemented in Java, with ongoing efforts to integrate it with Common Lisp, eli demonstrates comparable performance to Python in certain benchmarks. The project boasts a unique type system encompassing bits, callables, comparables, countables, characters, floating-point numbers, integers, iterators, iterables, libraries, lists, maps, types, methods, missing values, numerics, pairs, strings, identifiers, durations, and points in time. It offers a rich feature set, including conditionals, loops, macros, variable binding, type checking, method definition, overloading, lambdas, and namespace/module management.

Read more
(github.com)
Development

RubyLLM: An Elegant Ruby Library for AI Interaction

2025-03-15
RubyLLM: An Elegant Ruby Library for AI Interaction

RubyLLM is a clean and easy-to-use Ruby library that simplifies interaction with various AI models, including OpenAI, Anthropic, Gemini, and DeepSeek. It provides a unified API and data format, eliminating the headaches of juggling incompatible APIs from different AI providers. RubyLLM supports a wide range of AI functionalities, such as chat, image and audio analysis, PDF processing, image generation, vector embeddings, and custom tool integration. Seamless integration with Rails allows for easy persistence of chat history. Its design philosophy prioritizes elegant Ruby code over complex configurations and callbacks, making AI interaction a joy.

Read more
(github.com)
Development

Open-Source Multi-Agent Framework OWL Tops GAIA Benchmark

2025-03-14
Open-Source Multi-Agent Framework OWL Tops GAIA Benchmark

OWL, a cutting-edge multi-agent collaboration framework built on the CAMEL-AI Framework, achieved the #1 spot on the GAIA benchmark with an average score of 58.18! It enables more natural, efficient, and robust task automation across diverse domains through dynamic agent interactions. OWL is open-source, supports various installation methods and models (including OpenAI, Qwen, and DeepSeek), and boasts a rich set of toolkits such as browser automation, multimodal processing, and document parsing. A user-friendly web interface is also provided. The OWL team is actively seeking community contributions of use cases and continuously improving the framework.

Read more
(github.com)
AI multi-agent collaboration task automation

Exo Language: Installation, Development, and Testing Guide

2025-03-14
Exo Language: Installation, Development, and Testing Guide

Exo is a programming language supporting Python 3.9 and above. Installation is straightforward using pip. Exo files execute directly with Python, and C/header files are generated via the exocc command. Development involves setting up a virtual environment and installing dependencies, including PySMT and CMake. Testing requires z3-solver (or another solver) and CMake 3.21 or later. Tests cover various scenarios and support code coverage. More information and examples are available in the project repository.

Read more
(github.com)
Development

Probabilistic Time Series Forecasting: A Paradigm Shift in Predictive Analytics

2025-03-14
Probabilistic Time Series Forecasting: A Paradigm Shift in Predictive Analytics

Say goodbye to single-point predictions! Probabilistic time series forecasting revolutionizes predictive analytics by providing complete probability distributions of possible outcomes, not just single values. This enables more nuanced and reliable decision-making. Studies show significant improvements in forecasting accuracy, error reduction, and especially in predicting extreme events. Various sectors, including finance, healthcare, and manufacturing, benefit from improved risk assessment, resource allocation, and inventory management. This comprehensive guide delves into the principles, methods (Bayesian methods, Gaussian Processes, deep probabilistic models), and applications of probabilistic forecasting across diverse domains. It also covers crucial techniques like data preprocessing, model selection, and uncertainty calibration.

Read more
(github.com)
AI Probabilistic Forecasting Time Series

WebUSB Bypass: Controlling a Raspberry Pi Pico via a U2F Exploit

2025-03-14
WebUSB Bypass: Controlling a Raspberry Pi Pico via a U2F Exploit

Control a Raspberry Pi Pico from your browser without WebUSB! This article details a method that exploits a vulnerability in the U2F security key protocol. By emulating a U2F security key, data is disguised as a signature, bypassing browser security restrictions to control the Pico's LED. While this leverages a U2F flaw, it's not a security vulnerability in itself, only working on devices intentionally designed with this vulnerability. The article stresses the risks of connecting unknown USB devices.

Read more
(github.com)
Hardware

MCPGod: Streamlining Model Context Protocol Server Management

2025-03-14
MCPGod: Streamlining Model Context Protocol Server Management

MCPGod is a command-line tool designed to simplify the management of Model Context Protocol (MCP) servers. It allows developers to easily add, run, list, and remove servers, as well as interact with server tools. Supporting Windows, macOS, and Linux, MCPGod provides detailed logging for easy debugging. Features include adding or removing MCP servers for specific clients, listing all tools on any MCP server, running any tool directly from the command line, and controlling tool/client permissions.

Read more
(github.com)
Development model context protocol

ArkFlow: A High-Performance Rust Stream Processing Engine

2025-03-14
ArkFlow: A High-Performance Rust Stream Processing Engine

ArkFlow is a high-performance stream processing engine built on Rust and Tokio. It supports multiple data sources like Kafka, MQTT, and HTTP, and offers various processors including SQL queries, JSON processing, and Protobuf encoding/decoding. Its modular design allows for easy extension, and configuration is managed via YAML files. Users can define inputs, pipelines, and outputs to handle diverse stream processing tasks, such as Kafka-to-Kafka data processing or generating and processing test data.

Read more
(github.com)
Development

Writing C Code in Prolog: The C Plus Prolog Project

2025-03-13
Writing C Code in Prolog: The C Plus Prolog Project

The C Plus Prolog project attempts to merge Prolog and C. It leverages non-standard features of SWI-Prolog to translate Prolog code into C. The project uses Prolog's metaprogramming capabilities to implement advanced features like macros and generics. While verbose and error-prone, it explores the possibilities of macros in a systems programming language and demonstrates Prolog's potential for code generation. Despite its quirks, it offers a unique approach to cross-platform C development leveraging Prolog's capabilities.

Read more
(github.com)
Development
1 2 3 5 7 8 9 … 21 22