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

HashiCorp's Terraform MCP Server: Automating IaC Development

2025-05-20
HashiCorp's Terraform MCP Server: Automating IaC Development

HashiCorp has released the Terraform MCP Server, a Model Context Protocol (MCP) server that seamlessly integrates with Terraform Registry APIs, empowering advanced automation and interaction capabilities for Infrastructure as Code (IaC) development. This server automates Terraform provider and module discovery, extracts and analyzes data from the Terraform Registry, and provides detailed information on provider resources and data sources. Users can run the server via a Docker container or build the binary directly from source code, integrating it with tools like VS Code or Claude Desktop. A suite of tools is available for querying and retrieving documentation and metadata for providers and modules within the Terraform Registry. Crucially, outputs and recommendations are dynamically generated and should be thoroughly reviewed before implementation to ensure alignment with security best practices and compliance requirements.

Read more
(github.com)
Development

WireGuard Vanity Key Generator: Streamlined Key Generation

2025-05-19
WireGuard Vanity Key Generator: Streamlined Key Generation

This command-line tool, `wireguard-vanity-keygen`, generates WireGuard public keys matching a specified prefix. It offers multi-core processing, case-sensitive/insensitive search, regex support, and the ability to search multiple prefixes concurrently. The tool displays estimated generation time and probabilities, making it easier to generate memorable and manageable WireGuard keys. A significant improvement over existing solutions, offering a more streamlined and efficient key generation experience.

Read more
(github.com)
Development Key Generation Command-line Tool

Hacker News Desktop Client Built with Rust

2025-05-19
Hacker News Desktop Client Built with Rust

A sleek Hacker News desktop application built with Rust and egui is now available! Enjoy a clean, modern interface for browsing top stories from various sections: Hot, New, Show HN, Ask HN, Jobs, and Best. Comments are displayed in a threaded, Reddit-style format with auto-folding and adjustable font size. Offline caching, favorites, and powerful search/filtering capabilities enhance the user experience, providing seamless access to Hacker News anytime, anywhere.

Read more
(github.com)
Development Desktop App

Run GitHub Actions Locally with act: Faster Feedback Loops

2025-05-19
Run GitHub Actions Locally with act: Faster Feedback Loops

Tired of committing and pushing every time you tweak your GitHub Actions workflows? `act` lets you run GitHub Actions locally for blazing-fast feedback. It mimics GitHub's environment variables and filesystem, enabling local testing and even replacing Makefiles as a local task runner, eliminating repetitive work. A VS Code extension integrates seamlessly into your workflow. `act` reads your GitHub Actions, uses the Docker API to pull or build images, determines execution paths based on dependencies, and finally runs containers, mirroring the GitHub environment.

Read more
(github.com)
Development

Kelp: A Go-based Homebrew Alternative for MacOS

2025-05-19
Kelp: A Go-based Homebrew Alternative for MacOS

Kelp is a Go-written binary package installer for MacOS, designed as a Homebrew alternative. It addresses several Homebrew pain points, such as waiting for formula availability and keeping multiple computers updated with a single manifest. Kelp supports installing multiple packages at once (coming soon), custom configuration paths, and handles Github API rate limits. Users manage packages via simple command-line instructions, including adding, installing, updating, and specifying custom binary names and installing from sources other than Github Releases.

Read more
(github.com)
Development

clawPDF: A Powerful Open-Source Virtual Printer

2025-05-19
clawPDF: A Powerful Open-Source Virtual Printer

clawPDF is a powerful open-source virtual printer that converts various files into multiple formats including PDF, PDF/A, and images. It boasts advanced features such as OCR, encryption, and a scripting interface. Compatible with various Windows systems (including servers and ARM64), it supports network printing and multi-user environments, making it a great tool for enterprise solutions. Whether batch processing documents or integrating into applications, clawPDF handles it with ease.

Read more
(github.com)
Development virtual printer

Cogitator: A Python Toolkit for Chain-of-Thought Prompting

2025-05-19
Cogitator: A Python Toolkit for Chain-of-Thought Prompting

Cogitator is a powerful Python toolkit for experimenting with and utilizing chain-of-thought (CoT) prompting methods in large language models (LLMs). CoT prompting enhances LLM performance on complex tasks (like question-answering, reasoning, and problem-solving) by guiding models to generate intermediate reasoning steps before reaching the final answer. It also improves LLM interpretability by offering insights into the model's reasoning process. This toolkit simplifies the use of popular CoT strategies and frameworks for research or integration into AI applications. It includes a customizable and extensible benchmarking framework to evaluate the performance of different CoT strategies on various datasets.

Read more
(github.com)
Development python toolkit

Morph: An Embeddable Fullstack HTMX Library with No Build Step

2025-05-19
Morph: An Embeddable Fullstack HTMX Library with No Build Step

Morph is an embeddable fullstack library for building hypermedia-driven applications without a build step, based on HTMX. It combines the best of SSR, SPA, and islands architecture, while sticking to plain HTML, CSS, and JS. Created while optimizing Telegram Web App development with Deno and Deno Deploy, Morph offers a lightweight alternative to complex frontend/backend setups using React or Vue, proving especially efficient for smaller projects. Currently running on Hono, with potential future backend support, Morph boasts several key advantages: components call APIs returning hypertext (other components); all components server-side render with server-side context access; independent component rendering and re-rendering; hierarchical component structure with nesting and API returns; minimal to no client-side JavaScript; no build step; no upfront API data structure design; embeddable in any Deno/Node/Bun project. Ideal for scenarios where separating frontend and backend isn't necessary, like small Telegram bots, desktop apps, or internal tools.

Read more
(github.com)
Development Fullstack Framework

sshsync: Streamline SSH Commands Across Multiple Servers

2025-05-19
sshsync: Streamline SSH Commands Across Multiple Servers

sshsync is a fast, minimal CLI tool for running shell commands across multiple remote servers via SSH. Target all servers or specific groups, ideal for sysadmins, developers, and automation. It uses asyncssh, supports group-based configuration, SSH timeout settings, file pushing/pulling, operation history and logging, and a dry-run mode. Install via `git clone https://github.com/Blackmamoth/sshsync.git; cd sshsync; pipx install .`. It uses SSH aliases from ~/.ssh/config and stores group information in ~/.config/sshsync/config.yaml.

Read more
(github.com)
Development Server Management

Goboscript: Text-Based Programming for Scratch

2025-05-19
Goboscript: Text-Based Programming for Scratch

Goboscript is a text-based programming language that compiles to Scratch. It lets you write Scratch projects in text and compile them into .sb3 files, usable in the Scratch editor, TurboWarp, or the Scratch website. Goboscript simplifies creating advanced Scratch projects, supporting version control, code refactoring, and reuse. It boasts a powerful macro system, local variables, and code optimization and error detection. The project was a first-place winner at FOSS HACK 25, receiving a 50,000 Rs prize.

Read more
(github.com)
Development text-based programming

California License Plate Dataset Reveals a Battle Between Morality and Free Speech

2025-05-18
California License Plate Dataset Reveals a Battle Between Morality and Free Speech

A dataset containing 23,463 personalized California license plate applications, many including vulgar and offensive language, has been released. These applications represent only a fraction of those received by the California DMV, specifically those flagged for review. The data includes the requested plate combination, review reason codes, applicant explanations, reviewer comments, and approval status. This release highlights the DMV's struggle to balance public morality with freedom of expression in approving license plates.

Read more
(github.com)
Misc license plate applications moral review

Yahtzeeql: A Mostly SQL Yahtzee Solver

2025-05-18
Yahtzeeql: A Mostly SQL Yahtzee Solver

Yahtzeeql is a Yahtzee solver implemented primarily using SQL. It offers various strategies, from simple random approaches to more advanced probability-based methods, evaluating their effectiveness through game simulations. Users can select strategies, simulation runs, interactive mode, and plot visualization via command-line arguments. Experiments show that probability-based strategies, particularly 'prob_with_difficulty', achieve the highest average score of 89.5.

Read more
(github.com)
Game

Python Constructor Theory Simulator: Quantum Gravity & Electromagnetism in Code

2025-05-18
Python Constructor Theory Simulator: Quantum Gravity & Electromagnetism in Code

A Python implementation of David Deutsch's Constructor Theory framework, showcasing core concepts—from simple Tasks and branching substrates to quantum gravity and electromagnetism—entirely in code. It includes a "universal constructor" capable of bootstrapping itself from a list of Tasks, demonstrating self-replication and the power of Constructor Theory. Features include irreversible & quantum tasks, timers & clocks, fungibility, continuous dynamics, and coupling tasks like gravitational two-body, Coulomb coupling, and Lorentz force.

Read more
(github.com)
Development Constructor Theory

Stack Error: Rust's Ergonomic Error Handling Library

2025-05-18
Stack Error: Rust's Ergonomic Error Handling Library

Stack Error is a Rust library designed to simplify error handling. It strikes a balance between the ease of use of `anyhow` and the flexibility and customizability of `thiserror`, providing informative error messages and typed data for easier debugging and runtime error handling. Using macros and custom error types, Stack Error helps developers build more maintainable applications, reducing the overhead of error management and allowing them to focus on core logic.

Read more
(github.com)
Development

Veav: An Experimental Web Browser Engine with Limited Functionality

2025-05-18
Veav: An Experimental Web Browser Engine with Limited Functionality

Veav is an experimental web browser engine supporting most display types (excluding grid), standard CSS cascade behavior, pagination using @page rules, print-to-PDF output, and all CSS units. It loads HTML and XHTML documents but has very basic networking capabilities, supporting only http:// and file://. Detailed compatibility information is available on their WPT status page. Installation instructions (using Arch Linux as an example) are provided, requiring several dependencies and the `clang-prefixed-release` compiler. An architecture diagram (tldraw format) is also available.

Read more
(github.com)
Development

Rust Model2Vec: 1.7x Faster Inference

2025-05-18
Rust Model2Vec: 1.7x Faster Inference

The `model2vec-rs` crate provides a lightweight Rust implementation for loading and inferencing Model2Vec static embedding models, boasting a 1.7x speedup over the Python version. It supports loading pre-trained models from Hugging Face Hub, offers a command-line interface, and allows for custom encoding arguments. Benchmarks show the Rust version processes 8000 samples per second compared to Python's 4650.

Read more
(github.com)
Development Text Embedding

Buckaroo: A Modern Data Table for Jupyter

2025-05-18
Buckaroo: A Modern Data Table for Jupyter

Buckaroo is a modern data table for Jupyter that streamlines common exploratory data analysis tasks. It features a high-performance table with sorting, value formatting, and infinite scrolling. Beyond the core table, it offers extra features like summary statistics, histograms, smart sampling, auto-cleaning, and a low-code UI. All functionality has sensible defaults, customizable to your workflow. Buckaroo supports Pandas and Polars DataFrames and works across various environments including JupyterLab and Jupyter Notebook.

Read more
(github.com)
Development Data Table

Voynich Manuscript: Structural Analysis with Modern NLP

2025-05-18
Voynich Manuscript: Structural Analysis with Modern NLP

This project uses modern NLP techniques to analyze the structure of the Voynich Manuscript, without attempting translation. By employing methods like stemming, SBERT embeddings, and Markov transition matrices, the researcher found evidence of language-like structure, including part-of-speech distinctions, syntactic structure, and section-specific linguistic shifts. While the meaning remains elusive, the study demonstrates the effectiveness of AI tools in structural analysis, offering a new approach to deciphering this enigmatic manuscript.

Read more
(github.com)
AI Voynich Manuscript

Exploiting the Magic Leap One: Code Released

2025-05-18
Exploiting the Magic Leap One: Code Released

This repository publishes code for exploiting vulnerabilities in the Magic Leap One. The exploit leverages a stack overflow in Nvidia's SparseFS parser (sparsehax) and an oversized kernel device tree (dtbhax) to achieve code execution. These vulnerabilities may affect more than just the ML1; there's a possibility the kernel-dtb vulnerability could be used for persistence on autopilot units in certain cars using the TX2. The repo contains code for the Magic Leap console and a Rust-based Fastboot client for the host. Warning: Bricking your device is possible.

Read more
(github.com)
Hardware

Break Bad Vim Habits with Hardtime.nvim

2025-05-18
Break Bad Vim Habits with Hardtime.nvim

Tired of relying on hjkl and the mouse? Hardtime.nvim helps you break bad habits and boost your Vim efficiency. It restricts repeated keystrokes, provides hints for faster Vim motions, and generates a report of your most common bad habits. Learn relative jumps, word motions, operator + motion combinations, and more. Customize settings to disable keys, filetypes, and choose your notification method. Upgrade your Vim workflow today!

Read more
(github.com)
Development

BrowserBee: Your In-Browser AI Assistant

2025-05-18
BrowserBee: Your In-Browser AI Assistant

BrowserBee is a privacy-first, open-source Chrome extension that lets you control your browser using natural language. It combines the power of an LLM for instruction parsing and planning with Playwright for robust browser automation. Running entirely in your browser (except the LLM), it safely interacts with logged-in websites without compromising security or needing backend infrastructure. It supports major LLMs like Anthropic, OpenAI, Gemini, and Ollama, and offers a wide range of browser tools for navigation, interaction, observation, and memory management, learning efficient tool sequences for future tasks.

Read more
(github.com)
Development

Pixelagent: A Blueprint for Building AI Agents

2025-05-18
Pixelagent: A Blueprint for Building AI Agents

Pixelagent is an AI agent engineering blueprint built on Pixeltable, unifying LLMs, storage, and orchestration into a single declarative framework. Developers can build custom agentic applications with Pixelagent, including build-your-own functionality for memory, tool-calling, and more. It supports multiple models and modalities (text, image, audio, video), and offers observability features. Agentic extensions like reasoning, reflection, memory, knowledge, and team workflows are supported, along with connections to tools like Cursor, Windsurf, and Cline. Simple Python code allows for quick agent building and deployment.

Read more
(github.com)
AI

LLRT: Blazing Fast Serverless JavaScript Runtime

2025-05-18
LLRT: Blazing Fast Serverless JavaScript Runtime

AWS Labs introduces LLRT, a lightweight JavaScript runtime built in Rust designed for high-performance serverless applications. Outperforming other JavaScript runtimes on AWS Lambda by over 10x faster startup and up to 2x lower cost, LLRT utilizes QuickJS as its JavaScript engine for efficient memory usage and rapid startup. While experimental, LLRT supports deployment via custom runtimes and container images, includes robust testing tools, and offers excellent compatibility with AWS SDK v3. It's not a Node.js replacement, but rather a complement for performance-critical serverless functions, ideal for tasks like data transformation and real-time processing. Its Node.js-based API ensures easy transition from other solutions.

Read more
(github.com)
Development

Espanso: A Cross-Platform Text Expander in Rust

2025-05-17
Espanso: A Cross-Platform Text Expander in Rust

Espanso is a cross-platform text expander written in Rust. It detects keywords and replaces them with predefined text, boosting productivity. Features include saving typing time, creating system-wide code snippets, executing custom scripts, easy emoji use, and broad compatibility (Windows, macOS, Linux, most applications). It supports images, a powerful search bar, date expansion, custom scripts, shell commands, app-specific configurations, forms, package expansion, a built-in package manager, file-based configuration, regex triggers, and experimental Wayland support. This free, open-source project, created by Federico Terzi, is licensed under GPL-3.0.

Read more
(github.com)
Development text expansion

Reviving ELIZA: A C++ Recreation of the First Chatbot

2025-05-17
Reviving ELIZA: A C++ Recreation of the First Chatbot

This post details the recreation of ELIZA, the first chatbot created by Joseph Weizenbaum in 1966, using C++. The author meticulously recreated ELIZA's functionality, starting from parsing the original script to optimizing the code and comparing it with the original source. Further enhancements include running ELIZA on an ASR 33 teletype and contributing to the proof that the 1966 CACM version is Turing-complete. The entire project is neatly packaged in a single eliza.cpp file, with compilation instructions for macOS and Windows. This project is a fascinating tribute to AI history and a valuable resource for developers interested in early AI technology.

Read more
(github.com)
AI

MCP Directory: An Open-Source Minecraft Server List

2025-05-17
MCP Directory: An Open-Source Minecraft Server List

ChatMCP has launched an open-source Minecraft server list website called MCP Directory. The project utilizes a Supabase database and provides a detailed installation guide, covering steps such as cloning the repository, installing dependencies, preparing the database, and setting environment variables. Users can preview the site at https://mcp.so. Community links are also provided for user interaction and support.

Read more
(github.com)
Game Server List

VirtualBox VM Escape Vulnerability: Integer Overflow Leads to Host Compromise

2025-05-17
VirtualBox VM Escape Vulnerability: Integer Overflow Leads to Host Compromise

A high-severity integer overflow vulnerability in VirtualBox's vmsvga3dSurfaceMipBufferSize function allows attackers to manipulate a malloc call, allocating 0 bytes while VirtualBox tracks a larger buffer size. This leads to linear read/write primitives, escalating to arbitrary read/write access of host memory. A proof-of-concept demonstrates complete virtual machine escape. Exploitation involves triggering a buggy surface allocation, exploiting out-of-bounds read/write, arbitrary heap allocation, and finally gaining RIP control for arbitrary code execution. A patch is available; users should update immediately.

Read more
(github.com)
Tech VM escape

Publisher: Open-Source Semantic Model Server for Malloy

2025-05-17
Publisher: Open-Source Semantic Model Server for Malloy

Publisher is an open-source semantic model server built on the Malloy data language. It allows you to create rich semantic data models—defining the meaning, relationships, and context behind your data—and exposes them through a server interface. Applications, AI agents, and users can query data consistently and reliably, leveraging the shared understanding defined in the Malloy model. Publisher solves the problem of untrustworthy answers when data meaning is unclear. It uses Malloy queries, compiling them into SQL behind the scenes to deliver reliable answers without redefining data meaning in every tool. It consists of three main components: a server, an SDK, and a reference application, supporting various databases and AI applications.

Read more
(github.com)
Development semantic model

A Catalog of Novel Operating Systems: Reimagining the Future of Computing

2025-05-17
A Catalog of Novel Operating Systems: Reimagining the Future of Computing

Following the LLM hype, a wave of new operating system creations has emerged. This article catalogs several such projects, including the UXN/Varvara personal computing stack, the web-research oriented Nette.io OS, and Lisp-based systems like Interim and ChrysaLisp. These projects demonstrate innovative approaches to OS design, such as DesktopNeo's reimagining of the desktop interface and MercuryOS's intention-based OS. These efforts represent bold explorations into the future of computing, reigniting passion for OS innovation.

Read more
(github.com)
Development

Fahmatrix: A Lightweight Pandas Alternative for Java

2025-05-17
Fahmatrix: A Lightweight Pandas Alternative for Java

Fahmatrix is a lightweight, modern Java library for working with tabular data, inspired by Python's Pandas and designed to simplify data understanding on the JVM. It offers an intuitive API for CSV reading and previewing, row filtering and column selection, and upcoming features like aggregations, grouping, and sorting. Fahmatrix currently has no external dependencies and can be downloaded as a JAR file from GitHub or used via Maven/Gradle (to be added in future versions). Key features include loading CSV files into DataFrames, pretty-printing data, `head()`/`tail()` functions, various aggregation functions, row filtering and column selection, groupBy and pivot tables, data export, and type inference and conversion. Fahmatrix empowers Java developers to work with tabular data efficiently without leaving the JVM.

Read more
(github.com)
Development
1 2 … 16 17 18 20 22 23 24 … 50 51