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
9mo
@MartinEscardo @jonmsterling Why does Haskell require lying
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
9mo
re: HRT @maddy neocat_trans_cute​
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
9mo
I love NixOS. It allows me to have modified software on all my computers so easily. On many operating systems it is much harder to compile a software with custom patches rather than using the version compiled by someone else
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
9mo
youtu.be/5yHa5ArgeDY
Does it affect bus in my local area 😿 Canberra busses are manufactured by Chinese companies
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
9mo
@RanaldClouston Thank you! I didn't notice that the webpage has a navigation bar on my mobile phone. Now I see it
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
9mo
@RanaldClouston Where can I learn more about this grant?
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
9mo
Third time going to Apple store to fix macbook
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
9mo
@RanaldClouston Is there a limit to the number of attendees, or could I apply later?
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
9mo
@liamoc @irene My kitchen has the similar problem too
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
9mo
@maddy I am planning to replace phone battery too! How is the ifixit toolkit?
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
10mo
@liamoc Every interesting course is on this list!
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
11mo
@jonmsterling I did that
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
11mo
@maddy I survived pve upgrade too! But I have been running only one vm on my pve instance for a long time. It is time to migrate it to a physical machine.
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
11mo
@haskal delicious!
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
11mo
I need formally verified filesystem. My whole filesystem just died due to software bugs.😿zfs
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
11mo
@liamoc I’m thinking about abbreviations of the names of this place to name my machines. Ngunnawal and Ngambri share the common part "ng". "ng" in holbert-ng must mean a holbert version developed in the Ngunnawal and Ngambri country then
1
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
11mo
@liamoc incorrectness. I made a typo
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
11mo
@liamoc I read a paper about incorrectness logic. I quite like it (edited)
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
12mo
@jonmsterling sure
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1y
@ah @liamoc instead of "let's google it" let's say "kagi it"
0
0
0
0