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

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

Sniffnet: A Powerful, Cross-Platform Network Traffic Monitor

2025-02-02
Sniffnet: A Powerful, Cross-Platform Network Traffic Monitor

Sniffnet is a free and open-source, cross-platform network traffic monitoring tool available in multiple languages. Its intuitive interface allows users to easily monitor network traffic, view real-time charts, export PCAP files, and identify services and protocols. Sniffnet also supports custom themes, notifications, and filters, and includes a comprehensive Wiki. While older systems may require setting an environment variable to switch renderers, Sniffnet is a powerful and user-friendly tool overall.

Read more
(github.com)
Development network monitoring

Lume: A Lightweight CLI for Managing VMs on Apple Silicon

2025-02-02
Lume: A Lightweight CLI for Managing VMs on Apple Silicon

Lume is a lightweight command-line interface (CLI) and local API server for creating, running, and managing macOS and Linux virtual machines (VMs) on Apple Silicon with near-native performance, leveraging Apple's Virtualization.Framework. Run pre-built macOS images in a single step. The CLI offers a comprehensive set of commands for VM management, including creation, running, listing, getting details, setting configurations, stopping, deleting, pulling images, cloning, and cache management. Lume also exposes a local HTTP API server for automated VM management.

Read more
(github.com)
Development

OmiAI: The Opinionated AI SDK That Just Works

2025-02-02
OmiAI: The Opinionated AI SDK That Just Works

OmiAI is a TypeScript AI SDK that auto-selects the best model from a curated suite based on your prompt. It boasts built-in o3-like reasoning, curated tools, internet access, and full multi-modal support for nearly all media types. Imagine using one LLM that excels at everything – that's the OmiAI promise. It intelligently chains models for complex tasks, features built-in reasoning and tool-calling, and offers seamless multi-modal support and real-time internet access. Simplify your LLM workflow with OmiAI.

Read more
(github.com)
Development

Modest: A Lua Library for Musical Harmony

2025-02-02
Modest: A Lua Library for Musical Harmony

Modest is a robust Lua library for musical harmony, offering Chord, Note, and Interval objects that handle a wide range of chords, from simple major/minor to complex jazz chords. It features flexible string parsing for chord identification, transposition capabilities, and individual note retrieval. Easily installable via LuaRocks or manual compilation, Modest supports Lua 5.4 and LuaJIT and avoids polluting the global namespace. Its core functionality, including chord identification, transposition, note extraction, and interval calculations, provides efficient tools for music software development.

Read more
(github.com)
Development Music

ESP32 Remote-Controlled Camera System: Live Streaming & Motor/Servo Control

2025-02-02
ESP32 Remote-Controlled Camera System: Live Streaming & Motor/Servo Control

This project showcases an ESP32-based remote-controlled camera system that transmits live video streams over WebSockets and controls motors and servos. A Python server manages WebSocket communication and provides a web interface for viewing and controlling the ESP32 devices. It features automatic timeouts to reset motors and servos to defaults if no commands are received. The system supports multiple clients and is open-source.

Read more
(github.com)
Hardware Live Video Streaming

PL/Rust: Native Performance for PostgreSQL Functions in Rust

2025-02-02
PL/Rust: Native Performance for PostgreSQL Functions in Rust

PL/Rust is a loadable procedural language enabling PostgreSQL function development in Rust, compiling to native machine code for optimal performance. Unlike interpreted alternatives, it leverages Rust's ecosystem and compile-time safety. It provides access to Postgres' SPI (including dynamic queries and prepared statements), safe Rust types for most Postgres data types, and support for trigger functions. On x86_64 and aarch64 Linux, it operates as a 'trusted' language, offering enhanced security guarantees; elsewhere, it functions as 'untrusted'. Comprehensive documentation, installation instructions, and cross-compilation support are available.

Read more
(github.com)
Development

Auto-Commit Bot: Automated Git Commits with Gemini AI

2025-02-01
Auto-Commit Bot: Automated Git Commits with Gemini AI

The Auto-Commit Bot is a Python tool automating Git workflows. It monitors a directory for changes, generates descriptive commit messages using Google Gemini's AI, and commits them. This eliminates repetitive tasks and ensures consistent messaging. Features include real-time file monitoring, auto-committing, AI-powered commit messages, and easy customization. Simply install dependencies, set your API key, and run the command.

Read more
(github.com)
Development

BZip3: A Superior Successor to BZip2

2025-02-01
BZip3: A Superior Successor to BZip2

BZip3 is a faster and more efficient successor to BZip2, boasting higher compression ratios and improved performance. This is achieved through an order-0 context mixing entropy coder, a fast Burrows-Wheeler transform utilizing suffix arrays, and an RLE with Lempel Ziv+Prediction pass based on LZ77-style string matching and PPM-style context modeling. Benchmarks comparing it against other compression algorithms, including tests on a massive archive of Perl source code, demonstrate its significant advantages. BZip3's performance is highly dependent on the compiler, with x64 Linux clang13 builds showing impressive speeds. The project is licensed under LGPLv3.

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