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

Tilck: A Minimalist, Educational Kernel with Linux Compatibility

2025-07-16
Tilck: A Minimalist, Educational Kernel with Linux Compatibility

Tilck is an educational monolithic kernel designed for binary-level Linux compatibility, currently running on i686 and RISCV64. Its small, simple design makes it ideal for learning kernel programming, allowing comparison of user-mode code execution between Linux and Tilck. Tilck doesn't require custom applications; it runs mainstream Linux programs like the BusyBox suite. Future applications may include embedded systems demanding determinism and ultra-low latency, bridging the gap between Embedded Linux and real-time OSes like FreeRTOS or Zephyr.

Read more
(github.com)
Development

Cogency: 3-Line AI Agents That Just Work

2025-07-15
Cogency: 3-Line AI Agents That Just Work

Cogency is a multi-step reasoning framework that simplifies AI agent creation. It auto-detects providers like OpenAI, Anthropic, and Google, intelligently routes tools, and streams transparent reasoning. With just three lines of code, you can build a functional agent. Cogency boasts built-in tools such as a calculator, weather checker, timezone tool, and web search, along with detailed execution traces for debugging. Extendable with custom tools and LLMs.

Read more
(github.com)
AI multi-step reasoning

Benchmarking Distributed Caches: Memcache, Redis, Valkey, Dragonfly, and Garnet

2025-07-15
Benchmarking Distributed Caches: Memcache, Redis, Valkey, Dragonfly, and Garnet

This study performs a comprehensive benchmark of five distributed caches: Memcache, Redis, Valkey, Dragonfly, and Garnet. Metrics include throughput, latency, and CPU cycles. The testing environment uses an AWS c8g.8xlarge instance and the memtier_benchmark tool, varying pipeline sizes (1, 10, 25, 50). Results reveal performance differences across various metrics, aiding developers in selecting the optimal cache for their application needs. The two-week long benchmark included 15,000 individual runs.

Read more
(github.com)
Development distributed cache

aiosqlitepool: Boost Asyncio SQLite Performance by 72%

2025-07-15
aiosqlitepool: Boost Asyncio SQLite Performance by 72%

aiosqlitepool is a high-performance connection pool for asyncio SQLite applications. By reusing database connections, it eliminates connection overhead and significantly improves query speed. It works with asyncio drivers like aiosqlite, not as a replacement. Tests show a 72% performance boost and 41% reduction in average latency under heavy load. Ideal for high-throughput applications or those requiring low latency, aiosqlitepool effectively mitigates SQLITE_BUSY errors caused by write contention.

Read more
(github.com)
Development

Voil: Edit Your Filesystem Like a Text Buffer

2025-07-15
Voil: Edit Your Filesystem Like a Text Buffer

Voil is a VS Code extension that lets you manage your filesystem like a text buffer. Say goodbye to clicking and memorizing keybindings; create, rename, and move files and directories directly in the editor with the efficiency of text editing. Voil uses hidden IDs to track files and offers a rich set of commands and customization options, including recursive listing, sorting, filtering, and running custom shell commands. It's compatible with the Vim extension and provides detailed configuration instructions and examples. Check out the demo video to see it in action!

Read more
(github.com)
Development filesystem management extension

CallFS: A Distributed, High-Performance REST API Filesystem

2025-07-15
CallFS: A Distributed, High-Performance REST API Filesystem

CallFS is an ultra-lightweight, high-performance REST API filesystem offering precise Linux filesystem semantics across various backends, including local storage, Amazon S3, and a distributed peer-to-peer network. Designed for speed, reliability, and horizontal scalability, it features a modular architecture with components like an API server, core engine, pluggable storage backends, PostgreSQL metadata store, Redis-based distributed lock manager, and a link manager. CallFS provides rich file and directory operations, secure single-use download links, comprehensive security, and robust observability.

Read more
(github.com)
Development

GitHub Code Review Suggestion Application Limitations

2025-07-15
GitHub Code Review Suggestion Application Limitations

This text lists various limitations encountered when applying suggestions in GitHub code reviews. These include no code changes, closed pull requests, viewing a subset of changes, only one suggestion per line, applying to deleted lines, suggestions already applied or marked resolved, suggestions from pending reviews, multi-line comments, and pull requests queued to merge. These limitations are designed to maintain the integrity and efficiency of code review.

Read more
(github.com)
Development Suggestion Application

Arch: A Modular Edge and AI Gateway for Agentic Apps

2025-07-14
Arch: A Modular Edge and AI Gateway for Agentic Apps

Arch is a modular edge and AI gateway proxy server designed to simplify building agentic applications. It handles the tedious low-level work, such as applying guardrails, clarifying ambiguous user input, routing prompts to the correct agent, and unifying access to any LLM, allowing developers to build and ship agentic apps faster. Built on Envoy, Arch offers features like routing, guardrails, and observability, and supports various languages and frameworks. A simple currency exchange agent demo showcases its ease of use, with interaction via curl commands. Arch supports both model-based and preference-based LLM routing strategies and provides detailed logging and observability.

Read more
(github.com)
Development Agentic Apps AI Gateway

Raycast-inspired Launcher Lands on Linux: Open Source and Extensible

2025-07-14
Raycast-inspired Launcher Lands on Linux: Open Source and Extensible

An open-source project, Raycast Linux, brings the popular macOS launcher Raycast to Linux. It boasts an extensible command palette, extension support (with compatibility limitations due to OS differences), a powerful calculator, clipboard history, snippet management, and AI integration via OpenRouter. While aiming for broad Raycast extension compatibility, some may not function due to macOS-specific APIs or dependencies. Built using Rust, Node.js, Tauri, and Swift, it's available as an AppImage and offers source code compilation.

Read more
(github.com)
Development launcher

APKLab: The Ultimate Android Reverse Engineering Extension for VS Code

2025-07-14
APKLab: The Ultimate Android Reverse Engineering Extension for VS Code

APKLab seamlessly integrates powerful open-source tools like Quark-Engine, Apktool, Jadx, and more directly into VS Code, providing a comprehensive Android reverse engineering experience. Decode resources, disassemble to Smali, decompile to Java, generate malware analysis reports, and perform HTTPS inspection – all within your favorite IDE. Features include support for custom keystore signing, Git repo initialization, and cross-platform compatibility (Linux, Windows, macOS).

Read more
(github.com)
Development Android reverse engineering

OpenCut: A Privacy-Focused, Open-Source Video Editor

2025-07-14
OpenCut: A Privacy-Focused, Open-Source Video Editor

OpenCut is a free and open-source video editor for web, desktop, and mobile. Prioritizing user privacy, all videos remain on your device. While its basic features are currently behind a paywall, its ease of use has been proven. It boasts timeline-based editing, multi-track support, real-time preview, and is free of watermarks or subscriptions. Built with Next.js, the project includes UI components, custom React hooks, utility and API logic, state management, and TypeScript types. Detailed setup and contribution guidelines are provided; contributions are welcome.

Read more
(github.com)
Development open-source video editor

TorchLeet: A PyTorch Deep Learning Playground

2025-07-13
TorchLeet: A PyTorch Deep Learning Playground

TorchLeet is a curated collection of PyTorch practice problems, categorized into two sets: a foundational set covering basic to advanced PyTorch concepts (linear regression, custom datasets, CNNs, etc.), and a challenging LLM set focusing on building LLMs from scratch (attention mechanisms, embeddings, and more). Each problem provides incomplete code with solutions, fostering hands-on learning. Perfect for beginners and experts alike.

Read more
(github.com)
Development

GhidrAssistMCP: AI-Powered Reverse Engineering for Ghidra

2025-07-13
GhidrAssistMCP: AI-Powered Reverse Engineering for Ghidra

GhidrAssistMCP is a powerful Ghidra extension providing an MCP (Model Context Protocol) server, enabling AI assistants and other tools to interact with Ghidra's reverse engineering capabilities via a standardized API. It boasts 31 built-in tools covering functions, data, cross-references, and more, along with a configurable UI, real-time logging, and dynamic tool management. This extension seamlessly integrates AI-powered analysis tools and custom scripts, boosting reverse engineering efficiency significantly.

Read more
(github.com)
Development

pattrns: A Novel Music Sequence Generator in Rust and Lua

2025-07-13
pattrns: A Novel Music Sequence Generator in Rust and Lua

pattrns is an experimental imperative-style music sequence generator engine written in Rust, also offering a Lua scripting interface for dynamic music creation, ideal for live coding. It uses a three-stage architecture (Rhythm, Gate, Emitter) separating rhythmic and tonal aspects for flexible composition and recombination. It also supports Tidal Cycles mini-notation. Note that pattrns only generates raw musical events; audio output requires a compatible application.

Read more
(github.com)
Development

Aeron: Blazing Fast Messaging for High-Performance Systems

2025-07-13
Aeron: Blazing Fast Messaging for High-Performance Systems

Aeron is a high-performance, low-latency messaging system supporting UDP unicast, multicast, and IPC. It offers Java, C, C++, and .NET clients, enabling efficient message exchange across machines or via IPC. Aeron boasts exceptional throughput and predictable low latency, leveraging Simple Binary Encoding (SBE) for optimized message handling. Features include Aeron Archive for persistent message storage and Aeron Cluster for fault-tolerant services. Owned and operated by Adaptive Financial Consulting, Aeron also provides premium services including training, consulting, and performance enhancements like kernel bypass and high-speed encryption. Ideal for building high-frequency trading systems and other demanding applications.

Read more
(github.com)
Development low-latency messaging

Reverse Engineering Chrome's New X-Browser-Validation Header

2025-07-13
Reverse Engineering Chrome's New X-Browser-Validation Header

Chrome recently introduced several new HTTP headers, with `x-browser-validation` being particularly intriguing. This post details the reverse engineering process revealing its functionality: it concatenates a hardcoded platform-specific API key with the user's full User-Agent string, then hashes it using SHA-1 and Base64 encodes the result. This header serves as an integrity check, preventing User-Agent spoofing. The analysis dissects relevant functions within Chrome's source code and provides default API keys for various platforms.

Read more
(github.com)
Tech HTTP Header

Moonshot AI Unveils Kimi K2: A 32B Parameter MoE Language Model with Powerful Agentic Capabilities

2025-07-13
Moonshot AI Unveils Kimi K2: A 32B Parameter MoE Language Model with Powerful Agentic Capabilities

Moonshot AI has released Kimi K2, a state-of-the-art 32 billion parameter Mixture-of-Experts (MoE) language model boasting a total of 1 trillion parameters. Trained using the Muon optimizer, Kimi K2 excels in frontier knowledge, reasoning, and coding tasks, and is meticulously optimized for agentic capabilities. It comes in two versions: Kimi-K2-Base, a foundation model for researchers, and Kimi-K2-Instruct, a ready-to-use instruction-following model with robust tool-calling capabilities, autonomously deciding when and how to use tools. The model and its weights are open-sourced, and an API is available.

Read more
(github.com)
AI Tool Calling

BinaryRPC: A High-Throughput C++ RPC Framework

2025-07-12
BinaryRPC: A High-Throughput C++ RPC Framework

Frustrated by performance issues with a Java WebSocket server, a newly graduated engineer turned to C++ and uWebSockets to build BinaryRPC, a high-throughput RPC framework. Inspired by Node.js and Express.js, BinaryRPC boasts a modern middleware and session management system, supporting multiple QoS levels for reliable messaging. Now open-source, it's well-documented and includes examples for easy adoption.

Read more
(github.com)
Development

Python's Dark Magic: Dict Unpacking Library

2025-07-12
Python's Dark Magic: Dict Unpacking Library

A Python library called `dict-unpacking-at-home` provides dictionary unpacking, allowing you to unpack dictionaries directly like this: `{greeting, thing} = dct`. While cool, the author claims it's not a critical library and the current version breaks line numbers in stack traces. A fix exists, but at a cost... With almost a million downloads per month and 30M+ total downloads, many people are using this seemingly unreliable library.

Read more
(github.com)
Development dictionary unpacking dark magic

Simple Sonos Control for a 5-Year-Old using ESP32

2025-07-12
Simple Sonos Control for a 5-Year-Old using ESP32

A father built a simple Sonos Play:1 speaker control system for his 5-year-old child. Using an M5Stack CardPuter v1.1 (ESP32S3) as a controller and Go for backend logic, the child can play or restart their favorite playlist with a button press. A green light indicates operational status. This is a fun, easy-to-use project highlighting simplicity and playful interaction.

Read more
(github.com)
Development Kids Project

Cactus: Cross-Platform Framework for Local LLM Deployment

2025-07-11
Cactus: Cross-Platform Framework for Local LLM Deployment

Cactus is a cross-platform framework for deploying large language models (LLMs), vision language models (VLMs), and text-to-speech (TTS) models locally within your app. Supporting Flutter and React Native, it works with any GGUF model from Hugging Face (Qwen, Gemma, Llama, etc.), handling models from FP32 down to 2-bit quantization. Cactus provides MCP tool calls for enhanced AI functionality (reminders, image search, message replies), cloud model fallback for complex tasks, Jinja2-powered chat templates, and token streaming. Example code, performance benchmarks across various devices, and C++ backend are provided.

Read more
(github.com)
Development

diffsitter: Semantic Code Diff Tool

2025-07-11
diffsitter: Semantic Code Diff Tool

diffsitter is a code diff tool that generates semantically meaningful diffs by comparing the Abstract Syntax Trees (ASTs) of files, ignoring formatting differences. It supports numerous programming languages and offers features like configurable node filtering, terminal-friendly formatting, and detailed logging. Installation options include building from source, using pre-built binaries, and package managers.

Read more
(github.com)
Development code diff abstract syntax tree

Pangolin: Self-Hosted Zero Trust Tunneled Reverse Proxy

2025-07-11
Pangolin: Self-Hosted Zero Trust Tunneled Reverse Proxy

Pangolin is a self-hosted, tunneled reverse proxy server with identity and access control, designed to securely expose private resources across distributed networks. It acts as a central hub, connecting isolated networks – even those behind restrictive firewalls – via encrypted tunnels, enabling easy access to remote services without opening ports. Leveraging WireGuard, Pangolin offers robust features including centralized authentication (SSO, TOTP), role-based access control, and flexible deployment options. Extend its functionality with Traefik plugins. Use cases include bypassing port restrictions, deploying business applications, and managing IoT networks. A self-hosted alternative to Cloudflare Tunnels.

Read more
(github.com)
Development zero trust

cmdk: Your Terminal's New Best Friend (⌘-k Access to Anything)

2025-07-10
cmdk: Your Terminal's New Best Friend (⌘-k Access to Anything)

Tired of endless `cd` and `ls` commands in your terminal? cmdk revolutionizes file navigation! Press ⌘-k to instantly access any file or directory on your filesystem, with previews before opening. Leveraging fzf for fuzzy searching, cmdk intelligently opens files based on their type (text in vim, images in Preview, etc.). Simple installation, powerful functionality—experience Notion/Slack-like access in your terminal.

Read more
(github.com)
Development

Petrichor: A macOS Offline Music Player Built with Swift and SwiftUI

2025-07-10
Petrichor: A macOS Offline Music Player Built with Swift and SwiftUI

Petrichor is a powerful offline music player for macOS offering all the features you'd expect: organized library browsing, interactive playlist and queue management, folder view browsing, quick access to favorites in the sidebar, easy navigation, native macOS integration (menubar and dock controls, dark mode support), powerful search, and smart playlists. Created by a developer who missed the features of Swinsian and wanted to learn Swift and macOS app development, it's built entirely with Swift and SwiftUI and uses a SQLite database to manage music file information.

Read more
(github.com)
Development

Anna's Archive MCP Server: Search and Download Documents

2025-07-10
Anna's Archive MCP Server: Search and Download Documents

This is an MCP server for searching and downloading documents from Anna's Archive. It allows searching for documents matching specified terms and downloading specific documents previously returned by the search tool. The software explicitly disclaims endorsement of unauthorized acquisition of copyrighted material and should be considered solely a utility. Users are urged to respect intellectual property rights. Requires two environment variables: ANNAS_SECRET_KEY (API key) and ANNAS_DOWNLOAD_PATH (download path).

Read more
(github.com)
Development document search document download

Flopper Ziro: A Cheap, Open-Source Flipper Zero Clone

2025-07-10
Flopper Ziro: A Cheap, Open-Source Flipper Zero Clone

Flopper Ziro is a cheap, DIY, and fully open-source Flipper Zero clone built using the Arduino IDE. While not a professional device, it aims to replicate core Flipper Zero functionalities like RubberDucky, RFID/NFC (work in progress), IR, and RF. Programmable via Arduino IDE, it allows saving/loading data from an SD card. The project is under development, with plans to improve SD card functionality, finish RF scanning and sending, and add more RFID/NFC capabilities.

Read more
(github.com)
Hardware Flipper Zero clone

Biomni: A Game-Changing Biomedical AI Agent

2025-07-10
Biomni: A Game-Changing Biomedical AI Agent

Biomni is a game-changing general-purpose biomedical AI agent capable of autonomously conducting a wide array of research tasks across various biomedical subfields. By integrating cutting-edge LLMs, retrieval-augmented planning, and code-based execution, Biomni significantly boosts research productivity and facilitates the generation of testable hypotheses. The open-source project actively solicits community contributions—new tools, datasets, software, benchmarks, and tutorials—to build Biomni-E2, a next-generation environment. Significant contributors will be recognized with co-authorship on publications in top-tier journals or conferences.

Read more
(github.com)
AI Biomedical AI

RN Maps Clustering: A High-Performance React Native Map Clustering Library

2025-07-09
RN Maps Clustering: A High-Performance React Native Map Clustering Library

RN Maps Clustering is a modern, performant, and fully-typed map clustering library for React Native. Built on top of supercluster, it provides a simple declarative API for adding beautiful and efficient marker clustering to your react-native-maps components. Customize cluster rendering, handle press events, and enjoy features like automatic marker spreading and high performance. It significantly improves developer efficiency.

Read more
(github.com)
Development Map Clustering
1 2 … 6 7 8 10 12 13 14 … 50 51