Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Prevent confidential data leaks at compile time with labelled types in Sigil | Better HN
Prevent confidential data leaks at compile time with labelled types in Sigil
(opens in new tab)
(inerte.github.io)
1 points
inerte
1mo ago
2 comments
Share
2 comments
default
newest
oldest
compressedgas
1mo ago
Yes, I know about information flow control.
inerte
OP
1mo ago
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.
j
/
k
navigate · click thread line to collapse