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

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

Local Expo Android Builds: The eas-like-local-builder Docker Image

2025-04-22
Local Expo Android Builds: The eas-like-local-builder Docker Image

Tired of expensive EAS cloud builds? The eas-like-local-builder Docker image provides a solution for building Expo Android apps locally. It mirrors the EAS build environment, including Ubuntu 22.04, JDK 17, NDK r26b, and other necessary components, allowing developers to build in their local or CI/CD environments. The image supports custom build profiles (e.g., production) and allows skipping version control checks via environment variables. Developers only need to run simple Docker commands and mount their project directory to build, greatly simplifying the local build process.

Read more
(github.com)
Development

AutoKitteh: A Python-based Workflow Automation Platform

2025-04-22
AutoKitteh: A Python-based Workflow Automation Platform

AutoKitteh is a developer-friendly workflow automation and orchestration platform built on Python, offering a code-based alternative to no/low-code platforms. It boasts unlimited flexibility and leverages Temporal for durable execution, abstracting away infrastructure and coding complexities. AutoKitteh supports self-hosting and cloud deployment, is suitable for DevOps, FinOps, MLOps, SOAR, and more, and features built-in integrations and a scalable 'serverless' architecture.

Read more
(github.com)
Development workflow automation

WinFile: The Nostalgia-Inducing Windows File Manager Returns!

2025-04-22
WinFile: The Nostalgia-Inducing Windows File Manager Returns!

Microsoft announced that it will archive the WinFile project on March 1, 2025, but the good news is that this classic Windows File Manager has been resurrected as a native x86, x64, and arm64 desktop app, supporting all currently supported versions of Windows, including Windows 11. The maintainer welcomes bug fixes and suggestions for improvements but will not be developing new branches. The WinFile project source code includes two main versions: the `original_plus` branch, which is kept as close to the original as possible, and the actively developed `master` branch. Users can download pre-compiled versions from the Microsoft Store or the project page.

Read more
(github.com)
Development File Manager

Sapphire: A Next-Gen Package Manager in Rust

2025-04-22
Sapphire: A Next-Gen Package Manager in Rust

Sapphire is an experimental, Rust-powered package manager inspired by Homebrew. It's designed to install and manage command-line tools, libraries, languages, desktop applications, and more. Features include parallel downloads, automatic dependency resolution, and building from source. Currently ARM-only, with potential x86 support in the future. This is alpha software; use at your own risk.

Read more
(github.com)
Development

Parcom: A Concise Parser Combinator Library for Common Lisp

2025-04-22
Parcom: A Concise Parser Combinator Library for Common Lisp

Parcom is a concise parser combinator library for Common Lisp, similar in style to Haskell's Parsec and Rust's Nom. Operating directly on strings with no dependencies, it boasts broad Common Lisp implementation support and offers a rich set of parsers and combinators for building custom parsers. Parcom also includes an optional JSON parser supporting Unicode. Its strength lies in its ability to combine existing parsers to create complex parsing logic, delivering powerful functionality through a clean API.

Read more
(github.com)
Development Parser Combinators

Easy AI Chat API Integration with Python's Rowboat Library

2025-04-22
Easy AI Chat API Integration with Python's Rowboat Library

This Python code demonstrates how to interact with an AI chat API using the Rowboat library. It initializes a client, connecting to a locally hosted API service. The code then shows two ways to interact: using the `StatefulChat` class for stateful conversations, and using the lower-level `client.chat` method to send message arrays directly. Both methods successfully retrieve and print AI responses, showcasing Rowboat's ease of use for quickly integrating AI chat functionality into Python projects.

Read more
(github.com)
Development

MemoTTL: A Thread-Safe Memoization Gem for Ruby with TTL and LRU

2025-04-22
MemoTTL: A Thread-Safe Memoization Gem for Ruby with TTL and LRU

MemoTTL is a thread-safe memoization utility for Ruby offering TTL (Time-To-Live) and LRU (Least Recently Used) eviction. It's perfect for caching method results, preventing redundant computations, and managing memory usage. The gem easily integrates via `include MemoTTL` and `memoize`, providing methods to clear the cache. Examples demonstrate its use in a Rails controller, significantly improving performance by avoiding repeated calls to expensive methods.

Read more
(github.com)
Development

Morphik: A Revolutionary Multimodal Document Search Engine Beyond Traditional RAG

2025-04-22
Morphik: A Revolutionary Multimodal Document Search Engine Beyond Traditional RAG

Morphik is a revolutionary document search engine that goes beyond traditional Retrieval Augmented Generation (RAG) for highly technical and visual documents. It offers multimodal search (images, PDFs, videos, etc.), knowledge graph creation, fast metadata extraction, and integrations with tools like Google Suite, Slack, and Confluence. Boasting a free tier and an open-source version, Morphik simplifies document ingestion and querying with a Python SDK and REST API. Developers can get started quickly with simple code and a user-friendly web console. While the open-source version has limitations, Morphik is committed to improving speed, integrating more tools, and welcomes community contributions.

Read more
(github.com)
Development multimodal search knowledge graphs

ElatoAI: Realtime AI Speech on ESP32

2025-04-22
ElatoAI: Realtime AI Speech on ESP32

ElatoAI is an open-source project enabling >10-minute uninterrupted global conversations using OpenAI's Realtime API, ESP32, secure WebSockets, and Deno Edge Functions. Composed of a Next.js frontend, a Deno edge server, and an ESP32 client, ElatoAI allows for custom AI agents, voice selection, and personalization. Features include Opus codec for high-quality audio, low latency, secure communication via WebSockets, and Supabase for user authentication and data storage. The project is actively under development and welcomes contributions.

Read more
(github.com)
Development AI Speech Realtime Conversation

Feast, Milvus, and Docling: A Quickstart for RAG

2025-04-22
Feast, Milvus, and Docling: A Quickstart for RAG

This project demonstrates building a Retrieval-Augmented Generation (RAG) application using Feast. It expands on a basic RAG demo, showcasing how to transform PDFs into LLM-ready text data with Docling, use Milvus as a vector database for embedding storage and retrieval, and perform PDF transformations with Docling during ingestion. Key features demonstrated include online feature retrieval, declarative feature definitions, vector search, handling structured and unstructured context, and versioning/reusability. The project includes sample data, a Python file defining Feast feature views and entities, a YAML file configuring offline and online stores, and two main notebooks: one for PDF text extraction and Parquet storage using Docling, and another for ingesting and managing data with Feast.

Read more
(github.com)
Development

Verus: A Static Analyzer for Verifying Rust Code Correctness

2025-04-22
Verus: A Static Analyzer for Verifying Rust Code Correctness

Verus is a static analysis tool for verifying the correctness of code written in Rust. Developers write specifications of what their code should do, and Verus statically checks that the executable Rust code will always satisfy the specifications for all possible executions. Instead of runtime checks, Verus relies on powerful solvers to prove code correctness. Currently supporting a subset of Rust (with ongoing expansion), Verus allows developers to go beyond the standard Rust type system in some cases, statically checking the correctness of code manipulating raw pointers, for example. Verus is under active development; features may be broken or missing, and documentation is incomplete.

Read more
(github.com)
Development Code Verification

Blast from the Past: A Catalog of 80s BASIC Games

2025-04-22
Blast from the Past: A Catalog of 80s BASIC Games

This article presents a fascinating list of BASIC games from the 1980s, spanning various computer systems like BASIC-PLUS, EduSystem, DECsystem 10, and HP. From simple number guessing games (Acey-Ducey, Bagles) to complex strategy games (Gomoko, Civil War) and simulations (HMRABI, KING), the variety showcases the creativity and ingenuity of programming during that era. These games, simple yet engaging, are sure to evoke nostalgia in many.

Read more
(github.com)
Game BASIC programming 80s games

Evertop: An Ultra Low-Power, Ultra Long-Battery Life Solar PC

2025-04-21
Evertop: An Ultra Low-Power, Ultra Long-Battery Life Solar PC

Evertop is a portable PC emulating an IBM XT with an 80186 processor and 1MB RAM, running DOS, Minix, and Windows 3.0. Its low-power microcontroller, e-ink display, dual 10,000mAh batteries, and power-saving features enable hundreds to thousands of hours of use on a single charge. A built-in solar panel ensures indefinite off-grid operation. It boasts a full array of peripherals including a keyboard, PS/2 ports, various graphics and audio support, serial ports, Ethernet, Wi-Fi, and LoRa radio. Charging is versatile, with options for solar, DC input, and micro-USB, allowing simultaneous charging from multiple sources. A minimized version, Evertop Min, is also available.

Read more
(github.com)
Hardware

Open Codex: A Local, Open-Source AI Command-Line Assistant

2025-04-21
Open Codex: A Local, Open-Source AI Command-Line Assistant

Open Codex is a fully open-source command-line AI assistant inspired by OpenAI Codex, running locally without needing an API key. It leverages local language models like phi-4-mini for natural language to shell command translation. Features include one-shot and interactive modes (coming soon), command confirmation, clipboard support, colored terminal output, and cross-platform compatibility (macOS, Linux, Windows).

Read more
(github.com)
Development local model

GTK-LLM-Chat: A GTK GUI for Chatting with LLMs

2025-04-21
GTK-LLM-Chat: A GTK GUI for Chatting with LLMs

gtk-llm-chat is a simple and easy-to-use graphical interface built with GTK for interacting with Large Language Models (LLMs). It supports multiple concurrent conversations in independent windows, integrates with the python-llm library for chatting with various LLM models, and boasts a modern interface, real-time streaming responses, Markdown rendering, conversation management, keyboard shortcuts, fragment support, and an applet mode. Installation is straightforward: use pipx to install llm and run `llm install gtk-chat`.

Read more
(github.com)
Development

Dia: A 1.6B Parameter Text-to-Speech Model from Nari Labs

2025-04-21
Dia: A 1.6B Parameter Text-to-Speech Model from Nari Labs

Nari Labs introduces Dia, a 1.6B parameter text-to-speech model capable of generating highly realistic dialogue directly from transcripts. Users can control emotion and tone by conditioning the output on audio, and the model even produces nonverbal cues like laughter and coughs. To accelerate research, pretrained model checkpoints and inference code are available on Hugging Face. A demo page compares Dia to ElevenLabs Studio and Sesame CSM-1B. While currently requiring around 10GB VRAM and GPU support (CPU support coming soon), Dia generates roughly 40 tokens/second on an A4000 GPU. A quantized version is planned for improved memory efficiency. The model is licensed under Apache License 2.0 and strictly prohibits misuse such as identity theft, generating deceptive content, or illegal activities.

Read more
(github.com)
AI

C String Functions: A Quick Overview

2025-04-21
C String Functions: A Quick Overview

This article provides a quick overview of several commonly used C string manipulation functions: `strlen()` gets the length of a string; `strcpy()` copies strings; `strcat()` concatenates strings; `strncat()` safely concatenates a specified number of characters; `strcmp()` compares strings; `strcspn()` finds the first character not in a specified set; `strerror()` gets the error message for an error code; `memchr()` finds a value in a memory block; and `strrev()` (non-standard) reverses a string. Mastering these functions is crucial for efficient C programming.

Read more
(github.com)
Development string functions

Nerdlog: A Blazing-Fast, Serverless Remote Log Viewer

2025-04-21
Nerdlog: A Blazing-Fast, Serverless Remote Log Viewer

Nerdlog is a fast, remote-first, multi-host TUI log viewer with a timeline histogram and no central server. Inspired by Graylog/Kibana but without the bloat, it requires minimal setup. It efficiently queries logs from multiple remote machines simultaneously, filtering by time range and patterns, and displaying a timeline histogram for quick visual analysis. Primarily designed for reading system logs (/var/log/messages or /var/log/syslog) from one or more remote hosts, it's highly efficient even with large log files (1GB+). While supporting other log formats, its core functionality stems from a need to efficiently monitor logs from numerous web service backend instances. Nerdlog connects via SSH, keeping connections idle in the background. Log analysis happens remotely, downloading only minimal data per query, and utilizing gzip compression for bandwidth efficiency. It features a Vim-like command line interface and keybindings for intuitive navigation and control.

Read more
(github.com)
Development remote logging

Reverse Engineering TikTok's VM: Cracking webmssdk.js

2025-04-21
Reverse Engineering TikTok's VM: Cracking webmssdk.js

This project details the reverse engineering of TikTok's custom virtual machine (VM) found within webmssdk.js. The VM is a key part of TikTok's obfuscation and security. The project includes tools to deobfuscate webmssdk.js, decompile the VM instructions into readable code, inject a script to replace webmssdk.js with the deobfuscated version, and generate signed URLs for authenticated requests (like posting comments). The author overcame significant obfuscation techniques, including bracket notation and disguised function calls, to successfully deobfuscate and decompile the VM, ultimately enabling the generation of signatures for authenticated requests.

Read more
(github.com)
Development

Instant PyTorch Training: Hot-Swapping LLMs without VRAM Unloading

2025-04-21
Instant PyTorch Training: Hot-Swapping LLMs without VRAM Unloading

Large language model loading times can significantly slow down development. This project introduces a hot-swapping solution for PyTorch training code. By keeping the model resident in VRAM via a background process, it achieves near-instantaneous startup. Even after the script exits, the model remains loaded, ready for immediate use on the next run. Remote debugging and Dear ImGui UI integration are supported, boosting developer efficiency. Simply replace your `from_pretrained` calls to experience instant execution and easy debugging.

Read more
(github.com)
Development Hot-Swapping

Recursive Prompts: Implementing Recursion with LLMs

2025-04-20
Recursive Prompts: Implementing Recursion with LLMs

This article explores a novel approach to implementing recursion using Large Language Models (LLMs). By crafting a recursive prompt that iteratively updates its own internal state, the author demonstrates how an LLM can generate a sequence of prompts converging towards a solution, mirroring the behavior of recursive functions in code. The article uses the Fibonacci sequence as an example, showcasing how recursive prompting can perform calculations. It also discusses challenges like handling inaccuracies in the LLM's output and leveraging the LLM's existing knowledge base, drawing parallels to how humans perform mental arithmetic using memorized algebraic and atomic rules. The work is connected to related research like ReAct and ACT-R, and addresses strategies for mitigating errors in LLM-generated results.

Read more
(github.com)
AI Recursion

Tini: A Minimalist Init for Containers

2025-04-20
Tini: A Minimalist Init for Containers

Tini is a lightweight init system designed for containers. It prevents zombie processes, ensures proper signal handling, and improves container stability. Built into Docker 1.13 and later (using the `--init` flag), Tini can also be manually installed for older versions or other container runtimes. Advanced options include subreaper functionality, exit code remapping, and signal forwarding for complex scenarios. It's incredibly small and adds minimal overhead.

Read more
(github.com)
Development container init zombie processes
2 4 5 6 7 8 9 … 26 27