🎓 Doc Freemo 🇳🇱 @freemo@qoto.org

@saxnot @arunisaac he appears to be following 0 people to me too. Why is this impossible in your mind?

@bthall @meena We are basically talking about a formal logic checker?

Not sure I follow?

@bthall You mean a latex debugger?

@OutOnTheMoors What would be your solution?

@icedquinn@niu.moe How could another user edit your post in any way?

@icedquinn@niu.moe No shortage of such people here

@cstanhope @tcit@social.tcit.fr ahh pull requests across servers without having to push a branch onto the upstream. Ok yea i can see that as useful. Though im not sure it requires federation, but im all for standards.

@arkedos yup :(

@LWFlouisa Good Luck!

@LWFlouisa I know a lot of dutch words but I am far from fluent right now.

@LWFlouisa Bitte

@LWFlouisa I may make my server public for anyone on qoto.org to use. If I do then you'd be welcome to use it.

@LWFlouisa the repo has recent commits and appears active. Last commit was a few days ago.

So I setup a koken instance and am in the process of setting up a MediaGoblin instance now. Anyone out there use either of these and have any opinions? Or even opinions as to other media sharing services.

@LWFlouisa Language is really cool to study for sure.

@LWFlouisa Yea i know what you mean. Takes different forms in different languages though.

@tcit@social.tcit.fr Yes I understand that. But presumably you feel this will improve git beyond what you can currently do with it. How? You got diagrams, use cases, anything for me to see the wow factor here?

We, like everything, are resistors, inductors, and capacitors. If we werent capacitors then capacitive touch screens wouldn't work.

@waifu So, basically just an ordinary human?