GenosDB: Distributed Graph-Based Database
genosdb.com·16h·
Discuss: Hacker News
🔓Open Source
The Beman Project: Tomorrow's C++ Standard Libraries Today
bemanproject.org·1d·
Discuss: Hacker News
⚙️Language Implementation
A local, portable, single-file web server in C
macrobean.site·3d·
Discuss: Hacker News
⚙️Language Implementation
Escaping AI Slop: A Design System Approach to Claude Code
raduan.xyz·42m·
Discuss: Hacker News
⌨️Keyboards
Symbol-Level Editing
sysprogs.com·5h·
Discuss: Hacker News
🔤Text Algorithms
Show HN: Demitter – Distributed Node.js Event Emitter (Pub/Sub)
github.com·1d·
Discuss: Hacker News
💻Programming
Clojure Civitas – Open effort for learning resources with meaningful connections
github.com·10h·
Discuss: Hacker News
⚙️Language Implementation
How to Write Inductive Invariants
quint-lang.org·21h·
Discuss: Lobsters, Hacker News, r/programming
🔍Type Systems
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·19h·
Discuss: Hacker News
🏗️Compiler Design
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
🔍Type Systems
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🔍Type Systems
Understanding ASTs
hypermod.io·4d·
Discuss: Hacker News
🔬PLT
Mun Programming Language
mun-lang.org·22h·
Discuss: Hacker News
⚙️Language Implementation
Building AI flag cleanup
bucket.co·2d·
Discuss: Hacker News, r/programming
🚀JIT Compilation
Why build a domain-specific agent for front end tasks?
kombai.com·1d·
Discuss: Hacker News
⚡Systems Performance
Blog series on creating an OS in Rust
os.phil-opp.com·3d·
Discuss: Hacker News
💻Programming
Thoughts on an open source deployment platform?
zeitwork.com·1d·
Discuss: Hacker News
🔓Open Source
BitVMX New Open Source Components: Key Management, Storage, and Configuration
bitvmx.org·2d·
Discuss: Hacker News
💻Programming
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·1d·
Discuss: Hacker News, r/programming
⚙️Language Implementation
Making Security Tools Accessible: Why I Chose the Browser
blog.anantshri.info·4d·
Discuss: Hacker News
🧰Developer Ergonomics