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
2mo
@BobLefridge I don't like this bill
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@MartinEscardo Is a server necessary for this kind of plugins?
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@CharlotteEowyn where can I read more about the writings?
2
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@leonardom @jonmsterling I am definitely having writing anxiety
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@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
2mo
@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
2mo
should i spend some time to learn vim/emacs
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@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
2mo
Chat is watching you and reporting you secretly
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
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
2mo
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
2mo
@MartinEscardo is this post being edited multiple times
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@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
2mo
@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
2mo
@maddy hug
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
2mo
@ah it looks decent on my phone
1
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
3mo
@ah congratulations 🎉
0
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
3mo
@ah Is there an alternative to invest in instead of forester?
1
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
3mo
@RanaldClouston digging my old code of algebraic effects in untyped lisp github.com/migrate-here/effect.rkt
0
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
3mo
@RanaldClouston Thank you for boosting this. I was just thinking about algebraic effects for my hobby project. I was reading about Effekt effekt-lang.org/publications
1
0
1
0