News for hackers. Stuff that matters.

A comment on Prevent confidential data leaks at compile time with labelled types in Sigil.

Re:Prevent confidential data leaks at compile time with labe... by compressedgas on Thursday April 09, 2026 @05:50AM (#47701413)
Yes, I know about information flow control.
[ Parent | on HN ]
Re:Prevent confidential data leaks at compile time with labe... by inerte on Thursday April 09, 2026 @01:19PM (#47706419)
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.
[ Parent | on HN ]