Remote
mio
@mio@shrimp.mio19.uk
iceshrimp.net
2026.1.2-beta+e7afa2c63b
I leave these toots, I do not know for whom. I no longer know what they are about.
0
Followers
0
Following
19
Posts
Posts
Replying to
@mio@shrimp.mio19.uk
@mevenlennonbertrand@lipn.info 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
Replying to
@mevenlennonbertrand@lipn.info
@mevenlennonbertrand@lipn.info I am thinking about proving the properties of a proof assistant in a proof assistant
Replying to
@iblech@mathstodon.xyz
@iblech@mathstodon.xyz @nixos_org@chaos.social @leah@blahaj.social Thank you for the work! It would be great if this could be adapted to zfs encryption
Replying to
@liamoc@types.pl
@liamoc@types.pl I enjoyed reading your weeknotes. I can see my name and beautiful nature
Replying to
@liamoc@types.pl
@liamoc@types.pl I am personally tired of different browsers. Back to safari: apple passwords popup; apple hide my email popup.. I just want a clean safari without apple services
Replying to
@liamoc@types.pl
@liamoc@types.pl This is related to my experience. Similar situation happened when there were some education system level failures. I was in a place where some students didn't want the current major but choosing a different major was impossible. Some other students seemed don't want any study but staying in university was beneficial to them for other reasons. No one wanted to turn up and when people did turn up, people were minding their own businesses.
Replying to
@chopsstephens@mastodon.nzoss.nz
@chopsstephens @RyChaz Oh no! Whanganui! I stayed there for a while once
Replying to
@mio@shrimp.mio19.uk
@liamoc I am using nix for what can actually make my life easier; and I use homebrew or apt or language specific packaging manager when they are faster to get jobs done. I am never spending time to make everything confine to one tool
Replying to
@liamoc@types.pl
@liamoc There might be two groups: one group uses those tools; the other group spending so many time on tools themselves. Maybe only the second group is observed to use Nix
Replying to
@liamoc@types.pl
@liamoc@types.pl @jonmsterling@mathstodon.xyz I saw that a manufacturer called framework just released their new product that they want to be the macbook pro for linux. It looks comparable to macbook pro on their slides. It could be an option to avoid liquid glass on laptops frame.work/au/en
Replying to
@liamoc@types.pl
@liamoc Where can I read the proposed agda contributors policy? I am unable to find it by using search engines
Replying to
@RanaldClouston@fediscience.org
@RanaldClouston@fediscience.org thank you for boosting this post. I found it helpful for me
Replying to
@BasicAppleGuy@mastodon.social
@BasicAppleGuy@mastodon.social the new mainstage icon is not recognisable