in the 90s there was a lot of fun research on extensible OS kernels, often using language and compiler techniques to get safety, followed by a long period of seemingly nothing much happening in this space. then recently, this: http://www.brendangregg.com/blog/2019-12-02/bpf-a-new-type-of-software.html …
-
-
I think this is inaccurate. Both Cyclone and L3 were post-90s. Alms was after that but pre-rust. And separation logic is substructural.
-
Yeah, when writing that I wasn’t sure if I should have written ‘90s or 2000s
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.