Breaking the Sound Barrier of 1M TPS Blockchain
blog.ormilabs.com·2d·
Discuss: Hacker News
🔧Unikernel Development
MoroJS A fast, TypeScript-first API framework (68k req/SEC, AI-ready)
morojs.com·4h·
Discuss: Hacker News
💎Refinement Types
Benjie's Humanoid Olympic Games
generalrobots.substack.com·4d·
Discuss: Substack
💾Retro Computing
DIY Smart Home Dashboard
thestockpot.net·9h·
Discuss: Hacker News
💾Retro Computing
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·3d·
Discuss: r/programming
📊Runtime Verification
Hnfm: Building a local-first AI podcast generator for Hacker News
briancaffey.github.io·2d·
Discuss: Hacker News
🐳Containerization
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·3d·
Discuss: Hacker News
💻CS
Careers Are More Than Ladders: They're Cyclones and Rhymes
sungwc.substack.com·2d·
Discuss: Substack
🧗Climbing Tech
Richard Feynman – There's Plenty of Room at the Bottom
muonray.blogspot.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Ambient Agents: The Next Frontier in Context-Aware AI
digitalocean.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Why release notes important for your product?
medium.com·9h·
Discuss: Hacker News
❄️Nixified Development
Legal Personhood - The Thirteenth Amendment
lesswrong.com·8h
⚡Process Calculi
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·4d
💎Refinement Types
Thoughts on Evals
raindrop.ai·6d·
Discuss: Hacker News
🧪Property-Based Testing
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·3d
➡️Category Theory
Show HN: KoStudy – open-source AI first learning app
github.com·6d·
Discuss: Hacker News
🔬Unikernels
Dotter: Dotfile manager and templater written in Rust
github.com·2d·
Discuss: Hacker News
🐳Containerization
Saying “for AI safety research” made models refuse more on a harmless task
lesswrong.com·4d
📚Automata Learning
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·3d·
Discuss: r/programming
💎Refinement Types
Why I'm not trying to freeze and revive a mouse
lesswrong.com·10h
🩹Self-Healing Systems