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·21m·
Discuss: Hacker News
✓Automated Theorem Proving
Unicode 17.0 Release Announcement
blog.unicode.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🔤DSLs
The Twin Users of the Future – Human and Agents
shouche.in·1d·
Discuss: Hacker News
⚙️Operating System Design
Fixing my gripes with GitHub using Gleam and a Raspberry Pi
giacomocavalieri.me·5d·
Discuss: Lobsters, Hacker News
💎Refinement Types
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·5d·
Discuss: Hacker News
📊Runtime Verification
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·2d·
Discuss: Hacker News
📊Runtime Verification
Intel’s E2200 “Mount Morgan” IPU at Hot Chips 2025
chipsandcheese.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Replit or Riplet? Let Gemini 2.5 figure it out
news.ycombinator.com·23h·
Discuss: Hacker News
🔄Reproducible Builds
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·2d·
Discuss: Hacker News
🧩Parser Combinators
A Breadboard Computer in Three Chips
hackaday.com·1d
💾Retro Computing
A Masked Representation Learning to Model Cardiac Functions Using Multiple Physiological Signals
arxiv.org·1d
📚Automata Learning
Live(r) Die: Predicting Survival in Colorectal Liver Metastasis
arxiv.org·1d
🐫OCaml
Show HN: Real-time Collaboration for Django Admin (open-source)
github.com·3d·
Discuss: Hacker News
🐳Containerization
Shape Checking for Annotated Tensor Names
github.com·3d·
Discuss: Hacker News
🐫OCaml
Program management update — August 2025
blog.rust-lang.org·2d·
Discuss: Hacker News, r/rust
🐫OCaml
Show HN: YC Web Scraper – Collection of scripts to scrape YC Startup Directory
github.com·16h·
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