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
10mo
@liamoc Those technologies have their problems. I feel that it is so natural to be hostile to them
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@maddy I will buy extra one to put in my new home
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@maddy I want to have two too!
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@jeremy_list @tasiaiso @sav_imagines me too. Let's have federated git instances
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
2
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@dalias Borders are already not good without additional crazy enforcements
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@dalias Borders😿
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@mementomaori It woke me up
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@regehr maybe better abstract?
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@fabianm I would like to see more research on gradual typing!
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@maddy blobfoxheartcute​
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@maddy How is your travel?
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@haskal Isn't it a legal issue?
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@liamoc they rewrote it in rust. Hopefully it is idempotent this time. github.com/rescript-lang/rescript/releases/tag/v12.0.0-beta.2
1
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@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).
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@jeremy_list A new operating system!
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@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
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@liamoc It is unfortunately unstable. Formatting the same code twice produces a different result than formatting it once github.com/liamoc/holbert-ng/pull/2/commits/1f4f7f7477192a56c00461b0e2edb08c54ea19d6
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
Australia should have funded medicine prescriptions just like Aotearoa New Zealand 😿
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@liamoc Online learning might not be the root of the problem. As you mentioned those physically in class are also not engaging
1
0
0
0