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

Emerge Tools: Example Android & iOS App Performance Testing Project

2025-02-07
Emerge Tools: Example Android & iOS App Performance Testing Project

This open-source project demonstrates how to leverage Emerge's suite of tools for size analysis, snapshot testing, dead code detection, and performance testing using Android and iOS example apps. The apps are available on the App Store and Google Play, and the repo includes comprehensive documentation and example Gradle/fastlane configurations.

Read more
(github.com)
Development

Pantograph: A Fluid and Typed Structure Editor

2025-02-07
Pantograph: A Fluid and Typed Structure Editor

Pantograph is a revolutionary structured code editor that operates directly on a typed syntax tree, unlike traditional editors that parse text and then typecheck. By introducing the concept of tree selection and "zipper editing," Pantograph simplifies editing existing programs, allowing programmers to make complex code modifications more easily while maintaining type safety. It cleverly handles type diffs and allows for the existence of some errors in the program, facilitating gradual debugging. Pantograph's design is language-generic, enabling developers to define new editors based on its framework.

Read more
(github.com)
Development type safety structured editing

Three.js Dynamic LOD: A Nanite-Inspired Approach

2025-02-07
Three.js Dynamic LOD: A Nanite-Inspired Approach

This project attempts to reproduce a dynamic LOD system in Three.js, similar to Unreal Engine 5's Nanite. It starts by clustering a mesh into meshlets, grouping adjacent meshlets, merging them (shared vertices), simplifying the mesh using meshoptimizer (halving triangles, max 128), and finally splitting it (currently into 2, aiming for N/2). The project is early-stage; future work includes improving LODs, DAG cuts, and streaming geometry to the GPU. Research includes Nanite, multiresolution structures, and batched multi-triangulations.

Read more
(github.com)
Development

TRRE: Transductive Regular Expressions – Beyond Classic Regex

2025-02-07
TRRE: Transductive Regular Expressions – Beyond Classic Regex

TRRE is a prototype extension of regular expressions designed for more intuitive text editing and pattern matching. Unlike traditional regex, TRRE uses the `:` symbol to define transformations, simplifying text replacement, insertion, and deletion. It provides a `grep`-like command-line tool for efficient text manipulation tasks like word substitution, character insertion/deletion, and even simple encryption/decryption. While still a prototype, TRRE shows promise, especially for complex tasks where its performance can even surpass `sed` in certain scenarios.

Read more
(github.com)
Development

AI Agent Learns to Use Computers Like a Human

2025-02-06
AI Agent Learns to Use Computers Like a Human

The r1-computer-use project aims to train an AI agent to interact with a computer like a human, encompassing file systems, web browsers, and command lines. Inspired by DeepSeek-R1's reinforcement learning techniques, it eschews traditional hard-coded verifiers in favor of a neural reward model to evaluate the correctness and helpfulness of the agent's actions. The training pipeline involves multiple stages, from expert demonstrations to reward-model-guided policy optimization and fine-tuning, ultimately aiming for a safe and reliable AI agent capable of complex tasks.

Read more
(github.com)
AI Computer Interaction

Heap Explorer: A Powerful Glibc Heap Debugger

2025-02-06
Heap Explorer: A Powerful Glibc Heap Debugger

`explore_heap` is a glibc heap debugger loaded via `LD_PRELOAD` that allows interactive inspection and manipulation of a program's heap memory. By loading `libheap_explorer.so` and interrupting the program with a SIGINT signal (Ctrl+C), users enter a REPL to allocate, free chunks, and print freelists, tcache, fastbin, and bin lists, aiding in debugging memory-related issues. Currently tested on Arch Linux's glibc 2.41+, adaptation for other modern glibc versions requires adjusting constants.

Read more
(github.com)
Development heap debugging memory management

Serverless Website Screenshot API: Powering Abbey AI

2025-02-06
Serverless Website Screenshot API: Powering Abbey AI

Gordon Kamer built a robust web scraping API to support Abbey, an AI platform. This API runs locally, taking a URL as input and returning website data and screenshots. Powered by Playwright and Docker, it executes JavaScript, includes security features like memory limits and process isolation, and returns a multipart response with JSON data, page content, and up to 5 screenshots. Access is controlled via API keys, with customizable memory allocation and screenshot parameters.

Read more
(github.com)
Development

SQLite Page Explorer: A GUI for Peeking Inside Your Databases

2025-02-06
SQLite Page Explorer: A GUI for Peeking Inside Your Databases

A small GUI application, built with redbean, lets you explore your SQLite databases page by page, just as SQLite sees them. It's a single 6.5MB executable running natively on Windows, Linux, macOS, and more, offering insights into how indexes are stored, data compactness, and B-tree structures. While potential virus warnings exist due to the use of a polyglot executable, the project is trustworthy and offers a unique perspective for developers. It's a fun project that may be slow with larger databases.

Read more
(github.com)
Development

A Java JIT Compiler and Runtime in Common Lisp: OpenLDK

2025-02-06
A Java JIT Compiler and Runtime in Common Lisp: OpenLDK

OpenLDK is a Just-In-Time (JIT) compiler and runtime environment for Java, implemented entirely in Common Lisp. It bridges the gap between Java and Common Lisp by incrementally translating Java bytecode into Lisp, then compiling it into native machine code. This unique approach allows seamless mapping of Java classes to Common Lisp Object System (CLOS) classes, enabling effortless integration between Java and Common Lisp codebases. While not designed for high performance, OpenLDK offers a practical solution for integrating Java libraries into a Lisp workflow. Currently, it primarily supports Linux and SBCL, and is a work in progress with many features yet to be implemented, such as support for class files beyond Java 8 and bytecode verification.

Read more
(github.com)
Development

depthviz: Turn Your Dive Logs into Stunning Depth Overlay Videos

2025-02-06
depthviz: Turn Your Dive Logs into Stunning Depth Overlay Videos

depthviz is an open-source tool that transforms your dive logs (supporting Apnealizer, Garmin, Suunto, and more) into smooth, real-time depth display videos. It runs on Windows, macOS, and Linux, and offers extensive customization options like fonts, colors, and decimal places. Easily integrate the generated videos with CapCut, Premiere Pro, and other editors. depthviz intelligently smooths depth data, creating a natural display even with missing log entries. Whether analyzing dive technique or sharing your underwater adventures, depthviz is a powerful tool.

Read more
(github.com)
Misc diving

T1: A RISC-V Vector Processor Inspired by Cray X1

2025-02-06
T1: A RISC-V Vector Processor Inspired by Cray X1

T1 is a RISC-V vector processor implementation inspired by the Cray X1 vector machine. It features a lane-based microarchitecture with intensive chaining support and SRAM-based VRFs. Supporting standard Zve32f and Zve32x, T1 allows VLEN/DLEN scaling up to 64K, pushing the limits of the RISC-V Vector architecture. Key features include lanes, chaining, and a large LSU, while also serving as a general platform for MMIO DSAs. Designed with Chisel and accompanied by a T1Emulator, T1 integrates with any RISC-V scalar core. Users can configure T1 for various performance trade-offs, balancing throughput, area, and frequency, allowing for both high efficiency and high-performance designs.

Read more
(github.com)
Hardware Vector Processor

Par: An Experimental Concurrent Language with Interactive Playground

2025-02-06
Par: An Experimental Concurrent Language with Interactive Playground

Par is an experimental concurrent programming language attempting to bring the expressive power of linear logic to practice. It features unique properties: processes communicate via channels, each channel has at most two endpoints, and deadlocks are impossible. All values are channels, including lists, functions, and infinite streams. While Par currently lacks some features like primitive types and non-determinism, it already expresses rich concurrency. This article details Par's syntax, semantics, and examples, covering channels, signals, recursion, and expression syntax. An interactive playground lets users experience Par's concurrency.

Read more
(github.com)
Development linear logic

Go Multi-Key Map Library: go-multikeymap

2025-02-06
Go Multi-Key Map Library: go-multikeymap

go-multikeymap is a performant Go library implementing map data structures with multiple keys. It offers two types: MultiKeyMap and BiKeyMap. MultiKeyMap allows one primary key and multiple string secondary keys, while BiKeyMap requires both keys to be unique. Both are available in concurrent and non-concurrent versions, with benchmarks showing near O(1) access times. The library is easy to use, well-documented, and includes benchmark results for performance evaluation.

Read more
(github.com)
Development Multi-Key Map Data Structure

Vulnerability-Lookup: A Collaborative Vulnerability Management Platform

2025-02-06
Vulnerability-Lookup: A Collaborative Vulnerability Management Platform

Vulnerability-Lookup is a powerful open-source platform for quickly correlating vulnerabilities from various sources, streamlining the Coordinated Vulnerability Disclosure (CVD) process. It supports importing from numerous sources including NIST NVD and CISA, and allows users to add vulnerability sightings, comments, and create bundles. Its API and Python library facilitate integration with other tools, enabling developers to easily build their own sighting tools. Vulnerability-Lookup is licensed under the GNU Affero GPL v3.0 and is developed by CIRCL, Alexandre Dulaunoy, Raphaël Vinot, and Cédric Bonhomme.

Read more
(github.com)
Development vulnerability management

Unofficial Discord Client for Windows 2000 and Beyond

2025-02-06
Unofficial Discord Client for Windows 2000 and Beyond

Discord Messenger is an unofficial Discord client surprisingly compatible with Windows 2000 and later. This open-source project, licensed under MIT, is a beta and carries the risk of violating Discord's ToS. While it boasts core features like messaging, attachment handling, and emoji support, building it requires technical skills. The project supports MinGW and Visual Studio builds and necessitates compiling or acquiring an OpenSSL library.

Read more
(github.com)
Development

WebRTC P2P SDK: @pulsebeam/peer in Developer Preview

2025-02-05
WebRTC P2P SDK: @pulsebeam/peer in Developer Preview

PulseBeam has released a new WebRTC peer-to-peer communication SDK, @pulsebeam/peer, currently in developer preview. This SDK simplifies real-time application development by handling connection establishment, media and data transmission signaling, and providing infrastructure. It supports audio, video, and data channel transmission, automatic reconnection, and optionally server-relayed communication. Installation is easy via npm, deno, or yarn. See PulseBeam's official documentation for further details, including API keys.

Read more
(github.com)
Development

mt32-pi Project Halted Due to Online Abuse

2025-02-05
mt32-pi Project Halted Due to Online Abuse

The mt32-pi project, a baremetal MIDI synthesizer for the Raspberry Pi, has been discontinued due to sustained online harassment of its developer. The developer cited a campaign of abuse, including personal attacks, code theft, and stolen 3D print designs, as reasons for abandoning the project. Despite community support, the negative experiences significantly impacted the developer's mental health. mt32-pi supported various Raspberry Pi models and offered features such as I²S Hi-Fi DAC support and network MIDI.

Read more
(github.com)
Development MIDI Synthesizer

Java 8 Collection Utilities: A RingBuffer Implementation

2025-02-05
Java 8 Collection Utilities: A RingBuffer Implementation

j8cu is a Java 8 collection utility library featuring a high-performance RingBuffer implementation. This RingBuffer supports ordered and unordered read modes; the ordered mode is FIFO, ideal for maintaining a buffer of the most recent N objects. Additional features include event listeners, bulk copying, and clearing/resetting capabilities, simplifying RingBuffer usage in Java 8.

Read more
(github.com)
Development RingBuffer Collection Utilities

Managing Multi-Account AWS Architectures with Terraform Workspaces

2025-02-05
Managing Multi-Account AWS Architectures with Terraform Workspaces

This article demonstrates managing multi-account AWS architectures using Terraform workspaces. The focus is on associating accounts with workspaces, without delving into modularity, security, or remote state storage. A local testing approach using Localstack is presented, leveraging OpenTofu as an open-source Terraform alternative. Different workspaces are created, dynamically loading variable files to manage configurations for different environments (e.g., development and UAT).

Read more
(github.com)
Development Multi-Account Architecture

LSD: An MCP Server Giving Claude Internet Access

2025-02-05
LSD: An MCP Server Giving Claude Internet Access

The LSD-MCP server allows Claude to connect to the internet and aggregate high-quality information directly from websites using LSD SQL, a DSL for the web. It enables developers to connect the internet to applications as if it were a PostgreSQL database. Designed for browsers, LSD offers powerful parallelization and just-in-time tables, eliminating the need for pre-created tables. Simple command-line installation and configuration of LSD_USER and LSD_API_KEY allows Claude to execute LSD queries. Error troubleshooting involves checking the uv path and claude_desktop_config.json file.

Read more
(github.com)
Development

Broken VSCode Extension Download Links

2025-02-04
Broken VSCode Extension Download Links

Download links for extensions in the VSCode marketplace are broken. New installation instructions direct users to download OS-appropriate versions from a 'Version History' link, but this link is missing. The previous sidebar download link has also been removed, preventing users from downloading extensions. This affects all operating systems and browsers.

Read more
(github.com)
Development Extensions Download Links

Continuous LOD Mesh Library: nv_cluster_lod_builder

2025-02-04
Continuous LOD Mesh Library: nv_cluster_lod_builder

nv_cluster_lod_builder is a continuous level of detail (LOD) mesh library offering fine-grained control over geometric detail. It precomputes clusters of triangles, selecting a subset at render time for adaptive detail based on camera position. This results in faster rendering and reduced memory usage compared to discrete LOD, especially beneficial for ray tracing. A unique decimation strategy ensures smooth LOD transitions without gaps or overlaps. A spatial hierarchy accelerates cluster selection, and geometry streaming further minimizes memory consumption.

Read more
(github.com)
Development Mesh Rendering

arXiv LaTeX Cleaner: Prepare Your Paper for Submission with Ease

2025-02-04
arXiv LaTeX Cleaner: Prepare Your Paper for Submission with Ease

Tired of cleaning up your LaTeX code for arXiv submission? Google Research's `arxiv-latex-cleaner` makes it easy! This tool automatically removes auxiliary files, comments, unused code and images, resizes images, compresses PDFs, and ensures your paper meets arXiv's size limits. It supports custom regex replacement rules and handles TikZ image externalization. Get your paper submission-ready in just a few steps!

Read more
(github.com)
Development code cleaning

Auto-AVSR: Open-Source Lip-Reading Speech Recognition Framework Achieves SOTA

2025-02-03
Auto-AVSR: Open-Source Lip-Reading Speech Recognition Framework Achieves SOTA

Auto-AVSR is an open-source, end-to-end audio-visual speech recognition (AV-ASR) framework focusing on visual speech (lip-reading). Achieving a word error rate (WER) of 20.3% for visual speech recognition (VSR) and 1.0% for audio speech recognition (ASR) on the LRS3 benchmark, it provides code and tutorials for training, evaluation, and API usage, supporting multi-node training. Users can leverage pre-trained models or train from scratch, customizing hyperparameters as needed.

Read more
(github.com)
AI lip reading

Mailspring: A Faster, Leaner, Open-Source Email Client

2025-02-03
Mailspring: A Faster, Leaner, Open-Source Email Client

Mailspring, a new iteration of Nylas Mail maintained by one of the original authors, is faster, leaner, and available now! It replaces Nylas Mail's JavaScript sync code with a new C++ sync engine based on Mailcore2, using roughly half the RAM and CPU. Its near-zero CPU idle wake-ups translate to significant battery life improvements. It also boasts a revamped composer and other new features. The UI is open source (GPLv3), built with TypeScript, Electron, and React, and features a plugin architecture for easy extension. The sync engine, also open source (GPLv3) and written in C++ and C, runs locally. Powerful features include a unified inbox, snooze, send later, mail rules, templates, and more. Mailspring Pro, a paid subscription, adds features like link tracking and read receipts.

Read more
(github.com)
Development open-source email client

Critical AMD Zen CPU Microcode Vulnerability Allows Malicious Code Injection

2025-02-03
Critical AMD Zen CPU Microcode Vulnerability Allows Malicious Code Injection

Google's security team discovered a critical vulnerability in AMD Zen CPUs (Zen 1-4). An attacker with local administrator privileges can bypass insecure signature verification to load malicious microcode patches, compromising the confidentiality and integrity of confidential computing workloads protected by AMD SEV-SNP and potentially the Dynamic Root of Trust for Measurement (DRTM). AMD released a fix on December 17th, urging users to verify TCB values for SNP. Further details and tools will be released on March 5th by Google to allow time for remediation.

Read more
(github.com)
Hardware CPU vulnerability

httptap: Monitor HTTP/HTTPS Requests on Linux

2025-02-03
httptap: Monitor HTTP/HTTPS Requests on Linux

httptap is a command-line tool for Linux that monitors HTTP and HTTPS requests made by any program without requiring root privileges. It achieves this by running the target program in an isolated network namespace and intercepting its network traffic. Written in Go, httptap is dependency-free and readily executable. It displays detailed request information, including URLs, HTTP status codes, request bodies, and response bodies, and supports exporting data to HAR files. httptap also supports DoH (DNS over HTTPS) and handles HTTP redirects.

Read more
(github.com)
Development

Klarity: Uncovering Uncertainty in Generative Models

2025-02-03
Klarity: Uncovering Uncertainty in Generative Models

Klarity is a tool for analyzing uncertainty in generative model outputs. It combines raw probability analysis and semantic understanding to provide deep insights into model behavior during text generation. The library offers dual entropy analysis, semantic clustering, and structured JSON output, along with AI-powered analysis for human-readable insights. Currently supporting Hugging Face Transformers, with plans for broader framework and model support.

Read more
(github.com)
AI generative models uncertainty analysis AI tool

Garmin Data Parser: Harness Your Fitness Data with GarminDb

2025-02-02
Garmin Data Parser: Harness Your Fitness Data with GarminDb

GarminDb is a powerful suite of Python scripts designed to parse health data from Garmin Connect and store it in a lightweight SQLite database. It automatically downloads and imports daily monitoring data (heart rate, activity, climb/descend, stress, and intensity minutes), sleep, weight, and resting heart rate information. Furthermore, it summarizes data into daily, weekly, monthly, and yearly reports and allows graphing via command line or Jupyter Notebooks. A plugin system allows for easy expansion of data types. In short, GarminDb is a comprehensive and easy-to-use tool for managing your Garmin data, making health data analysis more efficient and convenient.

Read more
(github.com)
Development
1 2 … 8 9 10 12 14 15 16 … 21 22