Grimoire CSS - flexible utility class tool
grimoirecss.com·22h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
How to Use RTSP Protocol in Browsers and Why Direct Integration Isn't Possible
red5.net·4d·
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·1d·
Discuss: Hacker News
📦Unikernel Systems
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
The Twin Users of the Future – Human and Agents
shouche.in·22h·
Discuss: Hacker News
⚙️Operating System Design
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·4d·
Discuss: Hacker News
📊Runtime Verification
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·3d·
Discuss: Hacker News, r/rust
🧮Lambda Calculus
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
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·18h·
Discuss: Hacker News
🔄Reproducible Builds
Using Linters to Direct Agents
factory.ai·4d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: CarbonCodeX – AI Coding Assistant Built for Web Developers
carboncodex.app·10h·
Discuss: Hacker News
🔄Reproducible Builds
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·1d·
Discuss: Hacker News
🧩Separation Logic
Rust Support Now in Beta
socket.dev·2d·
Discuss: Hacker News
❄️Nixified Development
GhostChat v2.0 – Local-first AI chat with IndexedDB persistence and offline
github.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Server Upgrade Suggesions
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Signals in the Noise: Decoding Unexpected Engagement Patterns on Twitter
arxiv.org·2d
🎮Verification Games
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·2d·
Discuss: Hacker News
🧩Parser Combinators
How OpenAI Operator Works with AI Agents
anchorbrowser.io·2d·
Discuss: Hacker News
🧠Automated Reasoning