Domain Separation Belongs in Your IDL | Hacker News Reader