Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Yes, I know about information flow control.


Yeah, definitely. IFC is part of the background here. What I’m doing in Sigil is a lot narrower: labelled types and explicit boundary rules, not a full-blown IFC system. Curious what you think that misses.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: