Grimoire CSS - flexible utility class tool
grimoirecss.com·20h·
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
Show HN: Free AI Business Name Generator and Domain Avalibility
namegator.lovable.app·23h·
Discuss: Hacker News
📦Unikernel Systems
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
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·20h·
Discuss: Hacker News
⚙️Operating System Design
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·4d·
Discuss: Hacker News
📊Runtime Verification
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·3d·
Discuss: Hacker News
🛡️seL4
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·21h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: Vestaboard MCP – Let Cursor agents create art on your board
github.com·23h·
Discuss: Hacker News
🐳Containerization
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
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
Using Linters to Direct Agents
factory.ai·3d·
Discuss: Hacker News
🔄Reproducible Builds
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·16h·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: YC Web Scraper – Collection of scripts to scrape YC Startup Directory
github.com·10h·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: CarbonCodeX – AI Coding Assistant Built for Web Developers
carboncodex.app·8h·
Discuss: Hacker News
🔄Reproducible Builds
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·1d·
Discuss: Hacker News
🧩Separation Logic