[Immortalin]

Is the code on GitHub?

[Kostic]

As it can be seen on one of the last slides, it is on GitHub[0].

[0] https://github.com/mit-pdos/biscuit

[Immortalin]

Any plans to borrow code from gVisor to attain full Linux compatibility?

[sitzkrieg]

interesting 'x' commit messages ..

[skissane]

Maybe sometimes the mental effort of writing a commit message just isn't worth it.

At work, I try to be a good boy and write proper commit messages, always.

On personal projects, I often just use "." or something equally meaningless. Sometimes I can't be bothered explaining myself, and on a personal project nobody is going to be burned by it but me.

[craftyguy]

Well... except in this case they referenced the repo in a paper, so of course folks are going to have a look, fork it, play with it, etc.

[jonathonadler]

A quick scan suggests these commits are comment changes only.

[twic]

The recent ones are. There are a few further back in history which are substantive changes. Any thoughts on what this change did:

https://github.com/mit-pdos/biscuit/commit/b262c40b1baf1fb1a...

?