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

FPU Emulation Revival for NetBSD's i486SX

2025-04-27
FPU Emulation Revival for NetBSD's i486SX

This retro-computing project brings back x87 Floating-Point Unit (FPU) emulation to NetBSD's kernel, specifically for legacy 486SX processors lacking hardware FPUs. It reinstates the `MATH_EMULATE` option in NetBSD 10.x and later, reversing changes that removed this functionality. While many x87 instructions are emulated, some like `fyl2xp1`, `fxtract`, `fpatan`, and `fsqrt` remain unsupported. The project is a work in progress and may contain bugs; use at your own risk. Users need to compile the kernel themselves.

Read more
(github.com)
Development FPU emulation

Logchef: A Lightweight, High-Performance Log Analytics Platform

2025-04-27
Logchef: A Lightweight, High-Performance Log Analytics Platform

Logchef is a lightweight, powerful log analytics platform built on ClickHouse for high-performance log storage and querying. It runs as a single binary, offering an intuitive interface for exploring log data. Features include schema-agnostic log exploration, flexible query options (simple search and full ClickHouse SQL), high performance, and team-based access control. Deployable via a single Docker Compose command, Logchef is ideal for development teams needing a robust and scalable logging solution.

Read more
(github.com)
Development log analytics

snapDOM: Blazing Fast, High-Fidelity DOM Capture

2025-04-27
snapDOM: Blazing Fast, High-Fidelity DOM Capture

snapDOM is a high-fidelity DOM capture tool developed for Zumly, a framework for smooth zoom-based view transitions. It converts any HTML element into a scalable SVG image, preserving styles, fonts, backgrounds, shadow DOM, and pseudo-elements. Benchmarks show snapDOM dramatically outperforms competitors like modern-screenshot and html2canvas, especially with larger DOM structures. It's lightweight, dependency-free, and offers exports to SVG, PNG, JPG, WebP, and canvas. Ideal for capturing full-page views, modals, and complex layouts.

Read more
(github.com)
Development DOM capture

Wii Homebrew Channel Source Code Archived Due to Copyright Infringement

2025-04-27
Wii Homebrew Channel Source Code Archived Due to Copyright Infringement

The source code repository for the Wii Homebrew Channel has been archived and will no longer accept contributions. This is due to the discovery that libogc, a crucial library upon which the Homebrew Channel depends, contains significant portions of code stolen from Nintendo's SDK and the open-source RTOS RTEMS. The developers of libogc have refused to address the copyright infringement. This revelation exposes a long-standing issue of copyright violations within the Wii homebrew community, prompting reflection on ethical software development practices. The source code is now publicly released, but developers state they cannot guarantee its legality and that it has only been tested under the Dolphin emulator.

Read more
(github.com)
Development

GoEnums: Elegant Enum Generation for Go

2025-04-26
GoEnums: Elegant Enum Generation for Go

Tired of Go's lack of native enum support? GoEnums generates comprehensive, type-safe enum implementations from simple constant declarations. Transform basic iota constants into feature-rich enums with string conversion, validation, JSON handling, database integration, and more. GoEnums supports custom fields, case-insensitive parsing, and provides detailed documentation and examples. Simplify your Go code with GoEnums!

Read more
(github.com)
Development

Rocal UI: A Clean Template Engine in Rust

2025-04-26
Rocal UI: A Clean Template Engine in Rust

Rocal UI is a simple template engine written in Rust. While primarily designed for use with the Rocal framework to build views, it's adaptable to any Rust project. Its syntax is straightforward, supporting variable embedding, if-else statements, and for loops. The `view!{}` macro generates HTML strings that can be nested, facilitating partial template usage. Get started quickly with `cargo install rocal --features="cli"` and `rocal new -n yourapp`.

Read more
(github.com)
Development Template Engine

Tilt: Streamlining Kubernetes Microservice Development

2025-04-26
Tilt: Streamlining Kubernetes Microservice Development

Tilt simplifies Kubernetes microservice development by automating the entire process from code changes to new processes, including file watching, container image building, and environment updates. Say goodbye to cumbersome `docker build && kubectl apply` commands. Tilt offers comprehensive tutorials and guides, supports multiple programming languages, and boasts an active community and well-maintained documentation. Even Kubernetes newcomers can quickly get started and boost their development efficiency.

Read more
(github.com)
Development Dev Tool

Stuffed-Naan: Hiding Data in Plain Sight (Using NaNs)

2025-04-26
Stuffed-Naan: Hiding Data in Plain Sight (Using NaNs)

Stuffed-Naan is a novel library leveraging the peculiarities of JavaScript's NaN (Not a Number) values to hide and transport data. By cleverly encoding data into the mantissa of NaN values, Stuffed-Naan preserves the original data even after mathematical operations. The article humorously introduces this library, highlighting its high compression ratio, speed, and privacy features, while also mentioning the enterprise edition's added functionalities. While quirky, it effectively exploits the characteristics of IEEE 754 floating-point numbers.

Read more
(github.com)
Development data hiding

RetrOS-32: A 32-bit Hobby Operating System

2025-04-26
RetrOS-32: A 32-bit Hobby Operating System

RetrOS-32 is a 32-bit operating system written in C and Assembly, featuring graphics, multitasking, and networking. It includes user creation, a filesystem, and basic applications like a terminal, calculator, and simple games. The project supports various hardware platforms and offers Docker images for cross-platform compilation. While still under development, it boasts impressive functionality and is a noteworthy open-source project.

Read more
(github.com)
Development

LLMs Can See and Hear Without Any Training

2025-04-26
LLMs Can See and Hear Without Any Training

This groundbreaking research demonstrates that Large Language Models (LLMs) can understand images and audio without any additional training. By cleverly leveraging existing LLMs, image captioning, audio captioning, and high-quality image generation techniques, researchers enabled LLMs to 'perceive' images and sounds. The project's open-source code and datasets facilitate reproducibility and further exploration.

Read more
(github.com)
AI

Type Less in Your Terminal: Introducing Empty Enter Expander

2025-04-26
Type Less in Your Terminal: Introducing Empty Enter Expander

Empty Enter Expander is a zsh tool designed to boost terminal efficiency. It lets you execute pre-defined commands with a few keystrokes. Commands are stored in a module directory; directories and filenames must start with lowercase letters, serving as shortcuts. For example, after pressing Enter, 'g, l, Enter' executes a pre-defined git log command. Users can customize commands and shortcuts by placing scripts in the appropriate subdirectories within the module directory. Configuration involves modifying the .zprofile file to set the module path and source the zsh function.

Read more
(github.com)
Development

Magnitude: AI-Native Testing Framework for Web Apps

2025-04-25
Magnitude: AI-Native Testing Framework for Web Apps

Magnitude is a revolutionary open-source end-to-end testing framework for web applications, powered by visual AI agents that 'see' your interface and adapt to any changes. Build test cases easily with natural language, leverage a powerful reasoning agent for planning and adjustment, and rely on a fast visual agent for reliable execution. Run tests locally or within CI/CD pipelines; the framework automatically handles problems encountered during testing. Magnitude supports various LLMs, including Gemini 2.5 pro, Anthropic, and OpenAI, and offers a free visual model, Moondream. It simplifies test creation and execution significantly.

Read more
(github.com)
Development Web testing Open-source framework

Formalizing Russell's Principia Mathematica in Lean4

2025-04-25
Formalizing Russell's Principia Mathematica in Lean4

This project formalizes the first volume of Bertrand Russell's Principia Mathematica using the Lean theorem prover. The goal is to ensure the formalization aligns with the book's theorems, avoiding confusion. The project rigorously follows Russell's proofs, minimizing added statements. A new tactic, `Syll`, handling a more general form of syllogism, was created. While Principia Mathematica is considered a 'monumental failure', the author found the formalization process enriching.

Read more
(github.com)
Development Principia Mathematica

UIT: A Modular, Low-Memory File Processing Library for the Cloud

2025-04-25
UIT: A Modular, Low-Memory File Processing Library for the Cloud

UIT is a library designed for performant, modular, and low-memory file processing at scale in the cloud. It uses a four-step process: ingest, filter/transform, merge, and output. Built upon streaming and parallelization, UIT can run efficiently in low-memory environments like Cloudflare Workers. Its modular design allows for composability and the addition of custom modules. Current modules handle tasks like ZIP file ingestion, data merging, format conversion, and searching. UIT aims to become a standard for cloud-based file processing, empowering developers with a powerful and extensible tool.

Read more
(github.com)
Development file processing modular

Visualizing Async Rust: Concurrency vs. Parallelism

2025-04-25
Visualizing Async Rust: Concurrency vs. Parallelism

This article uses visualization to delve into the concurrency and parallelism features of Rust's async runtime, Tokio. The author cleverly uses sine wave plots to intuitively demonstrate the execution order and CPU usage of different asynchronous tasks. Experiments show that CPU-bound tasks block other asynchronous operations, while Tokio's `tokio::spawn` and `tokio::task::spawn_blocking` effectively utilize multi-core resources to improve performance. The article concludes by summarizing Tokio's task scheduling strategy and methods for handling CPU-bound tasks, making it an excellent, clear, and visually rich tutorial.

Read more
(github.com)
Development

Faasta: Blazing Fast WebAssembly FaaS

2025-04-25
Faasta: Blazing Fast WebAssembly FaaS

Faasta is a cutting-edge Function-as-a-Service (FaaS) platform built on WebAssembly, boasting sub-1ms cold starts and under 1KB memory overhead. Leveraging WASI P2 and WASIHTTP, it offers high-performance HTTP request handling and secure function isolation. Faasta is self-hostable, allowing you to run your own instance anywhere. While currently experimental, a free hosted instance is available at faasta.xyz.

Read more
(github.com)
Development

Infat: Declarative File Association Management for macOS

2025-04-24
Infat: Declarative File Association Management for macOS

Infat is a powerful, macOS-native CLI tool for declaratively managing both file-type and URL-scheme associations. Say goodbye to navigating sub-menus to set your default browser or image viewer – set rules once and they're set forever. Infat lists apps associated with file extensions or URL schemes, sets default applications, and loads associations from a TOML config file. It's minimal, scriptable, and perfect for power users and admins.

Read more
(github.com)
Development File Associations

Zev: Find Terminal Commands with Natural Language

2025-04-24
Zev: Find Terminal Commands with Natural Language

Zev is a tool built on top of the OpenAI API that lets you find or remember terminal commands using natural language. For example, you can type 'show all running python processes' to find the relevant command. Zev supports various operations including file operations, system information, network commands, and Git operations. You can also use Ollama as a local alternative to avoid relying on the OpenAI API. The project is open-source and contributions are welcome.

Read more
(github.com)
Development terminal commands natural language

Colanode: Self-Hostable, Open-Source Collaboration Workspace

2025-04-24
Colanode: Self-Hostable, Open-Source Collaboration Workspace

Colanode is an open-source, local-first collaboration workspace you can self-host. It offers real-time chat, rich text editing (like Notion), customizable databases, and file management, all while prioritizing your data privacy and control. Changes are saved locally first, then synced to the server, allowing offline work. It uses CRDTs for real-time collaboration and offers free cloud servers (beta).

Read more
(github.com)
Development

CocoIndex: Open-Source Data Indexing Engine Simplifies Data Processing

2025-04-24
CocoIndex: Open-Source Data Indexing Engine Simplifies Data Processing

CocoIndex is the world's first open-source engine supporting custom transformation logic and incremental updates, specialized for data indexing. Users declare transformations; CocoIndex creates and maintains an index, keeping the derived index up-to-date with minimal computation upon source updates. Documentation, a quick start guide, and video tutorials are available. It supports Python library installation and launching a Postgres database using Docker Compose. Users easily index data by defining indexing flows, such as splitting text into chunks, embedding them into vectors, and exporting to a vector index. Examples and demos are provided, and community contributions—code improvements, documentation updates, issue reports, feature requests, and Discord discussions—are welcome.

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

Echo R1: Open-Source Music Player with High-Fidelity Audio

2025-04-24
Echo R1: Open-Source Music Player with High-Fidelity Audio

Echo R1 is an open-hardware music player built on free software, aiming for high-fidelity audio playback. Powered by an STM32H743 processor, it boasts 32MiB of RAM and a TLV320AIC3104 audio codec supporting up to 96kHz sampling rate. The device features a 4-way D-pad, 6 multi-function buttons, dual 3.5mm jacks (headphone and line out), a replaceable battery, and expandable storage up to 2TB. Currently in its R1 prototype stage, the project is addressing known issues like an un-disableable backlight and inconsistent component labeling, while also developing a 3D-printable case.

Read more
(github.com)
Hardware open hardware

TacOS: A From-Scratch OS Running DOOM

2025-04-24
TacOS: A From-Scratch OS Running DOOM

A developer has released TacOS, an open-source operating system with a kernel written in C and assembly. This UNIX-like kernel boasts features including a VFS, scheduler, TempFS, device drivers, context switching, virtual memory management, and physical page frame allocation. Remarkably, it can run DOOM and other smaller user-space programs. It's been tested on real hardware and in QEMU. While still a work in progress with known bugs, TacOS is a fascinating hobby project.

Read more
(github.com)
Development

CubeCL: A Multi-Platform High-Performance Compute Language Extension for Rust

2025-04-24
CubeCL: A Multi-Platform High-Performance Compute Language Extension for Rust

CubeCL is a groundbreaking Rust language extension enabling developers to write GPU compute kernels in Rust, leveraging zero-cost abstractions for maintainable, flexible, and efficient compute kernels. Supporting WGPU, CUDA, and ROCm/HIP runtimes (with CPU support planned), CubeCL boasts automatic vectorization, compile-time computation, and auto-tuning, simplifying high-performance kernel development and cross-platform portability. Its unique two-step process (parsing and expansion) allows for compile-time optimizations and seamless Rust integration. Currently in alpha, CubeCL shows immense potential to become a cornerstone of high-performance computing in Rust.

Read more
(github.com)
Development

Index: The SOTA Open-Source Browser Agent for Autonomous Web Tasks

2025-04-23
Index: The SOTA Open-Source Browser Agent for Autonomous Web Tasks

Index is a state-of-the-art open-source browser agent capable of autonomously executing complex web tasks. It leverages powerful LLMs like Anthropic's Claude and OpenAI's models, allowing users to issue prompts such as "go to ycombinator.com, summarize the first 3 companies in the W25 batch and make a new spreadsheet in Google Sheets." Index offers a serverless API for production use, an interactive CLI for local development, browser state persistence, and more. Its ease of use and powerful features make it ideal for automating web data extraction and complex web interactions.

Read more
(github.com)
Development Browser Agent

Self-Contained Apache Lucene Examples: A Beginner's Guide to Full-Text Search

2025-04-23
Self-Contained Apache Lucene Examples: A Beginner's Guide to Full-Text Search

This GitHub repository provides a collection of Apache Lucene examples with detailed Markdown comments. Each example is self-contained and runnable, allowing learners to explore Lucene through reading the code, debugging, or interactive web documentation (https://msfroh.github.io/lucene-university/docs/SimpleSearch.html). The repository uses Lucene 10 and requires JDK 21 or higher. Contributions are welcome!

Read more
(github.com)
Development Full-text search Code examples

Exploring a New Protocol for Online Interaction: Spring83

2025-04-23
Exploring a New Protocol for Online Interaction: Spring83

This document introduces Spring83, an experimental protocol designed to explore novel ways of interacting online. It's not intended for users, but rather as an invitation for co-investigators to explore and develop it. Several implementations in various programming languages already exist, and the author encourages further contributions to this open project.

Read more
(github.com)
Development online interaction experimental protocol open source project

c/ua: A Lightweight Framework for AI Agents to Control Full Operating Systems

2025-04-23
c/ua: A Lightweight Framework for AI Agents to Control Full Operating Systems

c/ua (pronounced "koo-ah") is a lightweight framework enabling AI agents to control full operating systems within high-performance, lightweight virtual containers. Achieving up to 97% native speed on Apple Silicon, it works with any vision language model. It integrates high-performance virtualization (creating and running macOS/Linux VMs on Apple Silicon with near-native performance using Lume CLI and Apple's Virtualization.Framework) and a computer-use interface & agent, allowing AI systems to observe and control virtual environments, browsing the web, writing code, and performing complex workflows. It ensures security, isolation, high performance, flexibility, and reproducibility, with support for various LLM providers.

Read more
(github.com)
AI

Advanced Alchemy: A High-Performance Companion Library for SQLAlchemy

2025-04-23
Advanced Alchemy: A High-Performance Companion Library for SQLAlchemy

Advanced Alchemy is a carefully crafted, thoroughly tested, and optimized companion library for SQLAlchemy. It offers sync and async repositories with common CRUD operations and highly optimized bulk operations. It integrates with major web frameworks including Litestar, Starlette, FastAPI, and Sanic, and features a custom-built Alembic configuration and CLI. Built-in features include a File Object data type supporting various storage backends (fsspec and obstore), optimized JSON types, support for UUID6 and UUID7, and pre-configured base classes. Advanced Alchemy simplifies CRUD operations on SQLAlchemy models and provides features like pagination, sorting, and filtering.

Read more
(github.com)
Development

GitHub Code Suggestion Application Restrictions

2025-04-23
GitHub Code Suggestion Application Restrictions

Several limitations prevent applying code suggestions in GitHub code reviews. These include: no code changes made, the pull request being closed, viewing a subset of changes, only one suggestion per line allowed, applying to deleted lines, suggestions already applied or marked resolved, suggestions from pending reviews, multi-line comments, the pull request being queued to merge, or system limitations.

Read more
(github.com)
Development limitations
← Previous 1 3 4 5 6 7 8 9 … 26 27