quadrable: Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs
github.com
2025-04-11 15:45:25
#databases
#merkle_trees
#distributed
#code
#new
wgpu v25.0.0 released
github.com
2025-04-11 15:54:03
#release
#rust
#graphics
#code
#new
Show HN: Building better base images
github.com
2025-04-11 12:56:02
#code
#new
12-factor Agents: Patterns of reliable LLM applications
github.com
2025-04-15 22:38:04
#code
#new
systemd ParticleOS
github.com
2025-04-10 23:58:41
#code
#new
A port of Mbed-TLS for the Classic Macintosh OS 7/8/9
github.com
2025-04-11 02:05:19
#code
#new
Cargo-mutants:zombie: Inject bugs and see if your tests catch them
github.com
2025-04-10 20:10:14
#code
#new
Show HN: Pledge – A Lightweight Reactive Framework for Swift (No Rx Overhead)
github.com
2025-04-10 07:33:54
#code
#new
smartfunc: Turn Docstrings into LLM-Functions
github.com
2025-04-08 09:43:11
#code
#new
TVMC: Time-Varying Mesh Compression
github.com
2025-04-10 13:13:34
#code
#new
Photon: Rust/WebAssembly image processing library faster than VIPs and PIL
github.com
2025-04-10 12:56:05
#code
#new
RFC 3446 - Introduce the Store API for great good
github.com
2025-04-10 02:50:46
#api
#rust
#code
#new
Rusty Cascading Style Sheets – Another CSS Preprocessor
github.com
2025-04-10 01:21:49
#code
#new
Gaussian Splatting Alternative: WebGL Implementation of Nvidia's SVRaster
github.com
2025-04-07 22:40:05
#code
#new
Show HN: I built an app to generate story relationships using Mermaidjs
github.com
2025-04-09 15:34:27
#code
#new
barrelfish
github.com
2025-04-09 14:34:46
#osdev
#code
#new
A compiler for the Micron programming language - the Oberon with the power of C
github.com
2025-04-09 14:35:13
#programming
#code
#new
facet: Rust reflection, serialization, deserialization — know the shape of your types
github.com
2025-04-09 11:53:55
#rust
#plt
#code
#new
NTATV: Bringing Windows NT (Windows XP, Windows 2003) to the Original Apple TV
github.com
2025-04-09 03:00:01
#code
#new
CodeScientist: Automated scientific discovery system for code-based experiments
github.com
2025-04-06 20:21:04
#code
#new
coqoban: Sokoban (in Coq)
github.com
2025-04-09 04:04:12
#games
#formalmethods
#code
#new
Linux Kernel Defence Map – Security Hardening Concepts
github.com
2025-04-05 22:16:54
#code
#new
#security
Dockerfmt: A Dockerfile Formatter
github.com
2025-04-09 01:21:22
#code
#new
C++: terser (shorter) lambda == SHORTY (ab-use?)
github.com
2025-04-09 06:15:26
#code
#new
PyReason: Explainable inference for annotated, real valued, graph based and tem
github.com
2025-04-08 18:47:45
#code
#new
<
102 / 413
>