Breaking the Sound Barrier of 1M TPS Blockchain
blog.ormilabs.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Cliodynamics – History as Science
peterturchin.com·1d·
Discuss: Hacker News
⚡Process Calculi
MoroJS A fast, TypeScript-first API framework (68k req/SEC, AI-ready)
morojs.com·12h·
Discuss: Hacker News
💎Refinement Types
NASA's Juno Mission Captures [Green] Lightning on Jupiter (2023)
nasa.gov·4h·
Discuss: Hacker News
🍎XNU Internals
Benjie's Humanoid Olympic Games
generalrobots.substack.com·4d·
Discuss: Substack
💾Retro Computing
DIY Smart Home Dashboard
thestockpot.net·17h·
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·3d·
Discuss: Hacker News
🐳Containerization
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·4d·
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·2d·
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·17h·
Discuss: Hacker News
❄️Nixified Development
Legal Personhood - The Thirteenth Amendment
lesswrong.com·16h
⚡Process Calculi
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·4d
💎Refinement Types
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·4d
➡️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
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·3d·
Discuss: r/programming
💎Refinement Types
Saying “for AI safety research” made models refuse more on a harmless task
lesswrong.com·4d
📚Automata Learning