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
3d
@craftygardennz @jeremy_list we need more jobs in Aotearoa
0
0
2
0
User avatar
mio @mio@shrimp.mio19.uk
1w
@liamoc Unfortunately ReScript changed API again. I am trying to port holbert-ng to resceipt 13 and we will see how many changes are needed
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1w
@ah search.nixos.org/packages?channel=unstable&query=grub#show=grub2
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1w
@ah The similar thing is happening on the core components of the distribution I am using too
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
2w
@BobLefridge this is not good
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
2w
@BobLefridge I don't like this bill
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
2w
@MartinEscardo Is a server necessary for this kind of plugins?
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
2w
@CharlotteEowyn where can I read more about the writings?
2
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
2w
@leonardom @jonmsterling I am definitely having writing anxiety
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
2w
@mevenlennonbertrand To formally verify the properties of a proof assistant in such a way, the first step might be to have a proof assistant with verified properties

Similar structures www.bootstrappable.org
1
0
3
0
User avatar
mio @mio@shrimp.mio19.uk
2w
@mevenlennonbertrand I am thinking about proving the properties of a proof assistant in a proof assistant
2
1
3
0
User avatar
mio @mio@shrimp.mio19.uk
2w
should i spend some time to learn vim/emacs
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
2w
@morachbeag I am wondering how the test looked like. I missed the test for being in Aotearoa New Zealand
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
2w
Chat is watching you and reporting you secretly
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
3w
My whānau said that she had to went to emergency to see a doctor
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
3w
where are our doctors
the sign says: "visit your local pharmacy for quick, affordable care"
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
4w
@MartinEscardo is this post being edited multiple times
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
4w
@ArrestJK @jeremy_list I thought they were repairing roads built a long time ago
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
4w
@ArrestJK I was waiting in that state highway 1 queue a few days ago
1
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
4w
@maddy hug
0
0
0
0