Grimoire CSS - flexible utility class tool
grimoirecss.com·17h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
How to Use RTSP Protocol in Browsers and Why Direct Integration Isn't Possible
red5.net·3d·
Discuss: Hacker News
⚙️Operating System Design
Unicode 17.0 Release Announcement
blog.unicode.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🔤DSLs
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·4d·
Discuss: Lobsters, Hacker News
💎Refinement Types
The Twin Users of the Future – Human and Agents
shouche.in·17h·
Discuss: Hacker News
⚙️Operating System Design
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·4d·
Discuss: Hacker News
📊Runtime Verification
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·1d·
Discuss: Hacker News
📊Runtime Verification
Intel’s E2200 “Mount Morgan” IPU at Hot Chips 2025
chipsandcheese.com·2d·
Discuss: Hacker News
🔧Unikernel Development
EggStreme: New Fileless Malware from a Chinese Apt Targets Philippine Military
securityonline.info·1d·
Discuss: Hacker News
🔧Unikernel Development
Dicio: Open-Source Voice Assistant for Android
github.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Show HN: Modular, LLM-optimized OpenAPI docs – deterministic URLs
news.ycombinator.com·4d·
Discuss: Hacker News
💎Refinement Types
Prototype Design Pattern in Go – Faster Object Creation 🚀
reddit.com·1d·
Discuss: r/programming
🤖Program Synthesis
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·2d·
Discuss: Hacker News, r/rust
🧮Lambda Calculus
Governments ban self-custody crypto, require backdoors on all computers (2035)
news.ycombinator.com·18h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: Vestaboard MCP – Let Cursor agents create art on your board
github.com·21h·
Discuss: Hacker News
🐳Containerization
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: YC Web Scraper – Collection of scripts to scrape YC Startup Directory
github.com·7h·
Discuss: Hacker News
🔄Reproducible Builds
Scaling Truth: The Confidence Paradox in AI Fact-Checking
arxiv.org·2d
✓Automated Theorem Proving
Debian Upgrade Marathon: 3.1 Sarge
wrongthink.link·1d·
Discuss: Lobsters, Hacker News
💾Retro Computing