mio

@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

@mevenlennonbertrand@lipn.info I am thinking about proving the properties of a proof assistant in a proof assistant

@CharlotteEowyn@chaosfem.tw where can I read more about the writings?

@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

@RanaldClouston@fediscience.org thank you for boosting this post. I found it helpful for me

@regehr@mastodon.social maybe better abstract?

@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

@maddy happy cat

@liamoc What are the dreaded bots? Are they something powered by generative models?

@liamoc Where can I read the proposed agda contributors policy? I am unable to find it by using search engines

@chopsstephens @RyChaz Oh no! Whanganui! I stayed there for a while once

@BasicAppleGuy@mastodon.social the new mainstage icon is not recognisable

@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

@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

@liamoc@types.pl This must be very depressing

@liamoc@types.pl is canvas more usable than the previous system?

@liamoc@types.pl I enjoyed reading your weeknotes. I can see my name and beautiful nature