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
1y
@dalias Borders😿
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@mementomaori It woke me up
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@regehr maybe better abstract?
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@fabianm I would like to see more research on gradual typing!
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@maddy blobfoxheartcute​
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@maddy How is your travel?
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@haskal Isn't it a legal issue?
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@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
1y
@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
1y
@jeremy_list A new operating system!
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@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
1y
@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
1y
Australia should have funded medicine prescriptions just like Aotearoa New Zealand 😿
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@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
User avatar
mio @mio@shrimp.mio19.uk
1y
@liamoc that is not good
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@liamoc I formatted holbert-ng using it github.com/liamoc/holbert-ng/pull/1 What do you think of this formatting?
1
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@haskal python is not good
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1y
testing iceshrimp.net custom emoji bug ​:blobcat_smilehappyeyes:​
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@glocq ​:blobcat_smilehappyeyes:​​ Did you choose X over Y?
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@glocq The action of posting might be necessary
1
0
0
0