User avatar
mio @mio@shrimp.mio19.uk
Admin
I leave these toots, I do not know for whom. I no longer know what they are about.
Pronouns she/her ()
User avatar
mio @mio@shrimp.mio19.uk
8mo
@maddy that is not good
User avatar
mio @mio@shrimp.mio19.uk
8mo
@maddy goodnight!
User avatar
mio @mio@shrimp.mio19.uk
8mo
@maddy Did it finish?
User avatar
mio @mio@shrimp.mio19.uk
8mo
@liamoc Those technologies have their problems. I feel that it is so natural to be hostile to them
User avatar
mio @mio@shrimp.mio19.uk
8mo
@maddy I will buy extra one to put in my new home
User avatar
mio @mio@shrimp.mio19.uk
8mo
@maddy I want to have two too!
User avatar
mio @mio@shrimp.mio19.uk
8mo
@jeremy_list @tasiaiso @sav_imagines me too. Let's have federated git instances
User avatar
mio @mio@shrimp.mio19.uk
8mo
This post has attachments, but this server's configuration prevents them from being displayed here.
User avatar
mio @mio@shrimp.mio19.uk
8mo
@dalias Borders are already not good without additional crazy enforcements
User avatar
mio @mio@shrimp.mio19.uk
8mo
@dalias Borders😿
User avatar
mio @mio@shrimp.mio19.uk
8mo
@mementomaori It woke me up
User avatar
mio @mio@shrimp.mio19.uk
8mo
@regehr maybe better abstract?
User avatar
mio @mio@shrimp.mio19.uk
8mo
@fabianm I would like to see more research on gradual typing!
User avatar
mio @mio@shrimp.mio19.uk
8mo
@maddy blobfoxheartcute​
User avatar
mio @mio@shrimp.mio19.uk
9mo
@maddy How is your travel?
User avatar
mio @mio@shrimp.mio19.uk
9mo
@haskal Isn't it a legal issue?
User avatar
mio @mio@shrimp.mio19.uk
9mo
@liamoc they rewrote it in rust. Hopefully it is idempotent this time. github.com/rescript-lang/rescript/releases/tag/v12.0.0-beta.2
User avatar
mio @mio@shrimp.mio19.uk
9mo
@jeremy_list I want to have my own operating system too. Specifically an operating system that uses software mechanisms to enforce process isolation (Aiken et al., 2006)

Aiken, M., Fähndrich, M., Hawblitzel, C., Hunt, G., & Larus, J. (2006, October). Deconstructing process isolation. In Proceedings of the 2006 workshop on Memory system performance and correctness (pp. 1-10).
User avatar
mio @mio@shrimp.mio19.uk
9mo
@jeremy_list A new operating system!
User avatar
mio @mio@shrimp.mio19.uk
9mo
@liamoc It isn't too problematic in practice as long as we always format the code with this tool. The code becomes stable after second formatting