Grimoire CSS - flexible utility class tool
grimoirecss.com·1d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
What Should I Get Paid When a Chatbot Eats My Books?
nytimes.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
How to Use RTSP Protocol in Browsers and Why Direct Integration Isn't Possible
red5.net·4d·
Discuss: Hacker News
⚙️Operating System Design
The Sacred Conspiracy by Georges Bataille (1936)
marxists.org·5h·
Discuss: Hacker News
🩹Self-Healing Systems
Unicode 17.0 Release Announcement
blog.unicode.org·4d·
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·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·5d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·5d·
Discuss: Hacker News
👁️System Observability
Graduated, No Job, Built AI Apps and Full-Stack Projects
news.ycombinator.com·3h·
Discuss: Hacker News
💻CS
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·3d·
Discuss: Hacker News, r/rust
🧮Lambda Calculus
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
How OpenAI Operator Works with AI Agents
anchorbrowser.io·3d·
Discuss: Hacker News
🧠Automated Reasoning
Shape Checking for Annotated Tensor Names
github.com·3d·
Discuss: Hacker News
🐫OCaml
Program management update — August 2025
blog.rust-lang.org·3d·
Discuss: Hacker News, r/rust
🐫OCaml
Show HN: YC Web Scraper – Collection of scripts to scrape YC Startup Directory
github.com·18h·
Discuss: Hacker News
🔄Reproducible Builds
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·4d·
Discuss: Hacker News
🤖Program Synthesis
Home Servers with dynamic IPv6 prefix, and external DNS entries.
reddit.com·1d·
Discuss: r/homelab
📡Network Protocol Design
Visual Programmability: A Guide for Code-as-Thought in Chart Understanding
arxiv.org·1d
🔄Finite State Machines
VariSAC: V2X Assured Connectivity in RIS-Aided ISAC via GNN-Augmented Reinforcement Learning
arxiv.org·4d
🩹Self-Healing Systems