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

High-Performance IoT Development Platform in Rust

2025-04-16
High-Performance IoT Development Platform in Rust

A high-performance IoT development platform built with Rust is now available! It supports multiple protocols including MQTT, WebSocket, TCP, and CoAP, and features real-time data processing capabilities. Rust's memory safety and concurrency features ensure efficiency. The modular design allows for easy extension and maintenance, encompassing modules for data processing, protocol interfaces, message notifications, and external APIs. This platform is suitable for various IoT applications and is open-sourced under the Apache 2.0 license.

Read more
(github.com)
Development Real-time Data Processing

Deployment-Ready Sandboxed Browser Environments

2025-04-16
Deployment-Ready Sandboxed Browser Environments

Anthropic introduces innovative sandboxed Chrome browser environments, built on containers/Docker and Unikraft, providing ready-to-use browsers for agentic workflows needing internet access. These environments support Chrome DevTools frameworks (like Playwright and Puppeteer) and offer GUI access for visual monitoring and remote control. The Unikernel version boasts automated standby, state snapshotting, and extremely fast cold starts, ideal for applications requiring low-latency event handling. Additionally, Anthropic is hiring backend engineers to work on the future of AI infrastructure.

Read more
(github.com)
Development sandboxed browser

Full-Featured Logic Programming in Clojure: Clolog

2025-04-15
Full-Featured Logic Programming in Clojure: Clolog

Clolog embeds full-featured logic programming (Prolog) in/callable from Clojure, supporting calls to and from Clojure. Inspired by LogLisp, Lisp Machine Prolog, and Allegro Prolog, it adds several enhancements. Emphasis is on expressive power and execution transparency, supporting rapid prototyping, proof-of-concept development, and outer-loop reasoning (it's not blazing fast, yet). Clojure-based, Lispy syntax provides built-in predicates and operators for negation, conditionals, variable binding, and access to Clojure values.

Read more
(github.com)
Development

MeshCore: A Lightweight LoRa Mesh Networking Library

2025-04-15
MeshCore: A Lightweight LoRa Mesh Networking Library

MeshCore is a lightweight, portable C++ library enabling multi-hop packet routing for embedded projects using LoRa and other packet radios. Designed for resilient, decentralized networks operating without internet access, it supports various LoRa devices and offers pre-built binaries for easy flashing via tools like Adafruit ESPTool. MeshCore balances simplicity and scalability, providing functionality similar to Meshtastic and Reticulum but with a focus on embedded applications. Ideal for off-grid communication, emergency response, and IoT deployments.

Read more
(github.com)
Development Mesh Networking

LightlyTrain: Faster Model Training, No Labels Needed

2025-04-15
LightlyTrain: Faster Model Training, No Labels Needed

LightlyTrain brings self-supervised pretraining to real-world computer vision pipelines. It leverages your unlabeled data to drastically reduce labeling costs and accelerate model deployment. Easily integrate it into existing workflows; just a few lines of code are needed to pretrain models on your unlabeled image and video data using various architectures supported by libraries like Torchvision, Ultralytics, and TIMM. Scalable to millions of images, LightlyTrain significantly improves model performance for both small and large datasets, enabling you to export models for fine-tuning or inference. No self-supervised learning expertise is required.

Read more
(github.com)
Development model pretraining self-supervised learning

Chroma: Simulating Color Blindness for Enhanced Game Accessibility

2025-04-15
Chroma: Simulating Color Blindness for Enhanced Game Accessibility

Chroma is a tool designed to simulate various types of color blindness, aiding game developers and accessibility teams in testing game experiences for color-blind users. It simulates three major types: Protanopia, Deuteranopia, and Tritanopia, offering high performance, accuracy, and an easy-to-use interface. Chroma works on top of any game, regardless of engine, providing real-time simulation, easy screenshotting, and customizable settings. A known issue during CMake build involves an outdated CPPWinRT library; using Visual Studio 2022 or installing the Microsoft.Windows.CppWinRT NuGet package is recommended.

Read more
(github.com)
Development color blindness simulation

Giant Log Viewer: Instantly Browse 4TB Text Files

2025-04-15
Giant Log Viewer: Instantly Browse 4TB Text Files

Tired of waiting to open massive log files? `giant-log-viewer` instantly loads text files up to 4TB with a tiny memory footprint, using only ~80MB of JVM heap memory. It supports UTF-8 and ASCII encoding, but has limitations: it doesn't handle lines longer than 1MB, emojis, or systems without a GUI; it currently only runs on Windows, macOS, and Linux. While not as feature-rich as `less`, it's perfect for quickly browsing giant logs via drag-and-drop or keyboard shortcuts. The project is open-source on GitHub, and donations are welcome to help the developer sign the executables.

Read more
(github.com)
Development large files

MCP-Shield: Protecting Your Model Context Protocol Servers

2025-04-15
MCP-Shield: Protecting Your Model Context Protocol Servers

MCP-Shield is a tool for scanning and detecting vulnerabilities in your MCP (Model Context Protocol) servers. It identifies security risks such as tool poisoning attacks, data exfiltration channels, and cross-origin escalations. The tool supports various configuration methods and optionally integrates Anthropic's Claude AI for deeper analysis. Common vulnerability patterns detected include tool poisoning with hidden instructions, tool shadowing and behavior modification, data exfiltration channels, and cross-origin violations. For example, it can identify a calculator tool that secretly attempts to access SSH private keys. MCP-Shield aims to help developers and security auditors secure their MCP servers and supports scanning before adding new servers, during security audits, during development, and after updates.

Read more
(github.com)
Development vulnerability detection

UUID Equality Logic Cracker: Brute-forcing AES-256-CBC

2025-04-15
UUID Equality Logic Cracker: Brute-forcing AES-256-CBC

A compact field-logical decryption toolkit brute-forces UUID-encrypted AES-256-CBC files using an equality-based initialization: xy = x / y. This demonstrates deterministic search within defined entropy spaces. A demo generates a UUID-encrypted file with a structured suffix. `uuid_demobreaker.py` then linearly scans UUID space, leveraging the equality as a logical 'ignition' – not a heuristic – to guide the search. The cracker doesn't guess, filter, or use probabilistic shortcuts; it defines and explores the search space directly.

Read more
(github.com)
Development

ClipCapsule: A Minimalist Clipboard Manager for Linux

2025-04-14
ClipCapsule: A Minimalist Clipboard Manager for Linux

ClipCapsule is a minimalist clipboard manager for Linux built with Go and WailsJS. It boosts productivity by letting you manage and switch clipboard entries using only keyboard shortcuts – no mouse or GUI needed. Currently in development, the GUI must be open for shortcuts to function, but a background daemon is in the works for seamless operation. Key features include keyboard-first workflow, clipboard history, dynamic reordering, and local-only storage. Installation involves cloning the repo, installing Wails, and building the application, potentially requiring sudo privileges or manual keyboard input device access configuration.

Read more
(github.com)
Development Clipboard Manager

Open-Source Watermark Segmentation Model from Diffusion Dynamics: Powering clear.photo

2025-04-14
Open-Source Watermark Segmentation Model from Diffusion Dynamics: Powering clear.photo

Diffusion Dynamics has open-sourced the core technology behind its watermark removal product, clear.photo: a watermark segmentation model. This deep learning model generates masks highlighting watermark regions, excelling at segmenting logo-based watermarks. The project provides a complete workflow for training and inference, including dataset generation, model training, and post-processing, and supports fine-tuning on Apple M-series chips. A key feature is its data augmentation strategy which randomizes watermark parameters, leading to robust performance. This aims to provide a clear, easily modifiable baseline for building more complex tools.

Read more
(github.com)
Development watermark removal image segmentation

Single-Header C++ Profiler: utl::profiler

2025-04-14
Single-Header C++ Profiler: utl::profiler

utl::profiler is a single-header C++ profiling library that uses simple macros to measure the execution time of code segments and automatically builds a call graph. The library boasts features like customizable style options, thread safety, and support for detached threads. It significantly reduces overhead by using x86 intrinsics. The library also supports custom styling and exporting results to a file.

Read more
(github.com)
Development Single-Header Library

Zero-Codegen TypeScript Type Inference from Protobuf

2025-04-14
Zero-Codegen TypeScript Type Inference from Protobuf

protobuf-ts-types lets you define language-agnostic message types in proto format and infers TypeScript types directly without code generation. It cleverly leverages TypeScript's template literal types. While currently a proof-of-concept and lacking support for services, RPCs, oneof and map fields, and imports, it offers great potential for simplifying Protobuf integration with TypeScript.

Read more
(github.com)
Development Type Inference

DeepSeek's Open-Source Inference Engine Strategy: Modular Contributions, Not a Direct Release

2025-04-14
DeepSeek's Open-Source Inference Engine Strategy: Modular Contributions, Not a Direct Release

Due to resource constraints, the DeepSeek team has opted against directly open-sourcing its internal inference engine, instead choosing to collaborate with existing open-source projects. They will extract reusable components from the engine and contribute them as independent libraries, while also sharing optimization strategies. This approach aims to sustainably give back to the open-source community, promote AGI development, and ensure its benefits serve all of humanity. Future efforts will prioritize synchronizing inference engineering with the open-source community and hardware partners to enable Day-0 SOTA support for new model releases.

Read more
(github.com)
AI inference engine

Meilisearch: Blazing-Fast Open-Source Search for Your Apps

2025-04-14
Meilisearch: Blazing-Fast Open-Source Search for Your Apps

Meilisearch is a lightning-fast, open-source search engine easily integrated into your apps, websites, and workflows. It offers out-of-the-box features like hybrid search, search-as-you-type, typo tolerance, filtering & faceted search, sorting, synonym support, geosearch, and extensive language support for a superior search experience. Meilisearch provides a RESTful API, multiple SDKs, AI readiness, and a cloud service (Meilisearch Cloud) for easy deployment and maintenance. It prioritizes user privacy, allowing users to disable anonymized data collection and providing a data deletion request channel.

Read more
(github.com)
Development open-source search engine

A Hacker's Guide to Practical C Programming

2025-04-14
A Hacker's Guide to Practical C Programming

This book, dedicated to Dennis Ritchie, offers a practical hacker's guide to the C programming language. The author, a seasoned hacker, shares practical techniques gleaned from years of experience, emphasizing C's power and flexibility. It champions the freedom C offers, arguing that choosing the right tool is the programmer's prerogative, not a matter of imposed preferences. The book includes code examples and discussions on using GNU extensions.

Read more
(github.com)
Development Practical Guide

Lightweight GRPO Training: No Transformers, No vLLM

2025-04-13
Lightweight GRPO Training: No Transformers, No vLLM

This project implements a lightweight GRPO (Group Relative Policy Optimization) training framework, built almost from scratch, relying only on tokenizers and PyTorch. It improves upon the original algorithm by removing KL divergence and incorporating overlong episode filtering, enhancing training stability and GPU memory usage. The project trains the Qwen2.5-3B-Instruct model on the CountDown task, which requires generating a mathematical expression to reach a target value given a set of numbers. The model solves this by learning to generate chain-of-thought reasoning before the final answer, guided by format and answer rewards. The entire process is straightforward and reproducible, running on a single A40 GPU with minimal commands.

Read more
(github.com)
Development

EXWM: A Powerful Tiling Window Manager for Emacs

2025-04-13
EXWM: A Powerful Tiling Window Manager for Emacs

EXWM is a full-featured tiling X window manager for Emacs built on top of XELB. It's fully keyboard-driven, offers hybrid layout modes (tiling & stacking), dynamic workspace support, and ICCCM/EWMH compliance. Optional features include RandR (multi-monitor) support, a system tray, input method support, background setting, and an XSETTINGS server. Check out the screenshots and user guide for a complete overview and installation instructions!

Read more
(github.com)
Development

The Open Guide to Equity Compensation: A Comprehensive Overview

2025-04-13
The Open Guide to Equity Compensation: A Comprehensive Overview

This guide unravels the complexities of equity compensation, covering various forms like restricted stock, stock options, and restricted stock units. It aims to empower employees, hiring managers, founders, and students to understand the intricacies of equity compensation, make informed decisions, and avoid costly mistakes. Topics include equity compensation basics, fundamentals of stock corporations, how equity is granted, tax basics, taxes on equity compensation, plans and scenarios, offers and negotiations, and further resources. The guide also addresses common pitfalls and provides practical suggestions.

Read more
(github.com)
Startup stock options tax planning

Gatehouse-TS: A Flexible, Zero-Dependency Authorization Library in TypeScript

2025-04-13
Gatehouse-TS: A Flexible, Zero-Dependency Authorization Library in TypeScript

Gatehouse-TS is a flexible, zero-dependency authorization library written in TypeScript, combining role-based (RBAC), attribute-based (ABAC), and relationship-based (ReBAC) access control policies. A port of the popular Rust Gatehouse library, it boasts a user-friendly API, supports policy composition with logical operators, offers detailed evaluation tracing for debugging, and provides a fluent builder API for creating custom policies. Its lightweight design and comprehensive documentation make it easily embeddable and adaptable to various projects.

Read more
(github.com)
Development Authorization Access Control

Skywork-OR1: Powerful Open-Source Reasoning Models Released

2025-04-13
Skywork-OR1: Powerful Open-Source Reasoning Models Released

SkyworkAI has released the Skywork-OR1 series of powerful open-source reasoning models, including Skywork-OR1-Math-7B, Skywork-OR1-32B-Preview, and Skywork-OR1-7B-Preview. These models, trained using large-scale rule-based reinforcement learning, excel at math and code reasoning. Skywork-OR1-Math-7B significantly outperforms similar-sized models on AIME24 and AIME25; Skywork-OR1-32B-Preview achieves Deepseek-R1 performance levels on math and coding tasks; and Skywork-OR1-7B-Preview surpasses all similarly sized models in both domains. The full models and training scripts will be open-sourced in the coming days.

Read more
(github.com)
AI

Rust Mutation Testing with cargo-mutants

2025-04-13
Rust Mutation Testing with cargo-mutants

cargo-mutants is a Rust tool that enhances code quality by generating mutant versions of your code to test its robustness. It identifies potential bugs missed by your existing tests, providing a different perspective than traditional code coverage tools. It focuses on whether tests actually verify code behavior, not just code reach. Easy to use and integrates with CI, it's actively maintained and promises future improvements, including new mutation types.

Read more
(github.com)
Development

Osprey: Your Browser's New Security Guard

2025-04-13
Osprey: Your Browser's New Security Guard

Osprey is a browser extension designed to protect you from malicious websites. It checks URLs against known threats and blocks access to harmful sites, displaying a warning if a malicious site is detected. Easily installable from the Chrome Web Store or Microsoft Edge Addons, Osprey also offers manual installation instructions. Customize protection settings and get support through the provided issue tracker.

Read more
(github.com)
Development malware protection

Whenever: Typed, DST-Safe Datetimes for Python

2025-04-13
Whenever: Typed, DST-Safe Datetimes for Python

Tired of Python's `datetime` pitfalls? Whenever offers typed, DST-safe datetime operations with unmatched performance, outpacing other third-party libraries and often the standard library itself. Choose between a high-performance Rust implementation or a pure Python version for ease of use. It addresses the standard library's shortcomings in DST handling and type checking, providing a clean API for writing correct datetime code.

Read more
(github.com)
Development datetime

Chonky: Intelligent Text Segmentation with Transformers

2025-04-13
Chonky: Intelligent Text Segmentation with Transformers

Chonky is a Python library that cleverly divides text into meaningful semantic chunks using a fine-tuned transformer model. This library is useful in Retrieval Augmented Generation (RAG) systems. It efficiently processes large texts, breaking them down into smaller, manageable pieces for easier analysis and processing. Example code demonstrates how to use Chonky to split a sample text into semantically coherent chunks.

Read more
(github.com)
Development text segmentation

OmniSVG: A Unified Scalable Vector Graphics Generation Model

2025-04-13
OmniSVG: A Unified Scalable Vector Graphics Generation Model

OmniSVG is the first family of end-to-end multimodal SVG generators leveraging pre-trained Vision-Language Models (VLMs). It can generate complex and detailed SVGs, ranging from simple icons to intricate anime characters. The project has released the MMSVG-Icon and MMSVG-Illustration datasets and the research paper. Future plans include releasing the code and pre-trained models, the MMSVG-Character dataset, and a project page with a technical report.

Read more
(github.com)
AI SVG generation Vision-Language Models

KickSmash32: Open-Source Amiga ROM Replacement Module

2025-04-12
KickSmash32: Open-Source Amiga ROM Replacement Module

KickSmash32 is an open-source Kickstart ROM replacement module for Amiga 3000 and 4000 systems. Supporting up to 8 independent flash banks, it allows ROM programming and switching via Amiga command-line utilities or a Linux host utility (USB-C). Optional host file services enable easy file transfers between the Amiga and host PC. Comprehensive documentation and build instructions are provided. Note that due to inconsistent ROM socket layouts across Amiga models, KickSmash32 is only compatible with Amiga 3000 and the original Amiga 4000.

Read more
(github.com)
Hardware ROM replacement

Shorty: A More Concise C++ Lambda Library

2025-04-12
Shorty: A More Concise C++ Lambda Library

Shorty is a C++ library designed to offer a terser syntax than native C++ lambdas, not to replace C++ with a lazy DSL. It allows for more intuitive notation for sorting, filtering, zipping, and calling external functions, supporting various argument access methods and type conversions. For example, `std::ranges::sort(subject, $lhs > $rhs);` sorts concisely, and `subject | std::views::filter(($i % 2) == 0);` filters even numbers. Its design prioritizes developer efficiency and reduced boilerplate code.

Read more
(github.com)
Development Lambda Expressions

Awe: A New ALGOL W Compiler

2025-04-12
Awe: A New ALGOL W Compiler

Awe is a new compiler for the ALGOL W programming language, a successor to Algol 60. It's a complete implementation of the language as described in the June 1972 ALGOL W Language Description. Awe should compile code written for OS/360 ALGOL W compilers with minimal changes. Features include dynamic record allocation, string handling, complex numbers, and a standard I/O system. The project thanks Hendrick Boom and others for their contributions.

Read more
(github.com)
Development
1 2 … 24 25 26 28 30 31 32 … 50 51