If you need any help or even just advice on VPN, I am super available (Wireguard only, of course, the best ever) :)
Whats the best way to contact you?
temp25 AT fastmail dot com
Ask HN: Who wants to collaborate? (April 2022)
121–125 of 125 posts
Re: Ask HN: Who wants to collaborate? (April 2022)
#122I've got some good first projects if you're interested in OSS data tools and have some Go experience.
Check out: https://github.com/multiprocessio/datastation/blob/main/GOOD...
Re: Ask HN: Who wants to collaborate? (April 2022)
#123I’m trying to get my first job as a software developer, ideally working in Rust. If anyone has projects I could gain experience on please get in touch. GitHub/suchapalaver
Re: Ask HN: Who wants to collaborate? (April 2022)
#124I solved the problem of formalization of constitutions in set theory, I mean the original/ideal/natural form and scope of them (not the formalization of existing constitutions like [1] or [2]). It is a kind of Archimedean fixed point, a set theoretical place to stand, but we will not move the whole world. On the contrary: we shall put it into an order, into the natural order of free and equivalent persons. I started…
Ah, that's quite interesting! I'm going through a similar process of formalization, but starting from Wikipedia (but law did indeed cross my mind as a good candidate for formalization too). I'm also starting from a set-theoretic-like starting point, but am using Discourse Representation Theory to express it in a higher level language that is a subset of english. https://code.sgo.to/2021/01/06/brazil.html Find on twit…
Hi Sam, you are completely right: the next step after the Metamath definitions and theorems for the constitutions should be very similar to your [1]. Based on your answer I compiled a list of perhaps useful links for you: [2]. Would you be so kind as to send me an email from your personal email address? I have a catchall address: anything at my username dot com.
[1] https://code.sgo.to/2021/01/06/brazil.html
[2] https://docs.google.com/spreadsheets/d/1lSia3bKPfLL6RuYg78qW...
Re: Ask HN: Who wants to collaborate? (April 2022)
#125Earlier quoted context omitted.
Do you know about https://eco.kde.org , it's a project under the kde umbrella (but not only for kde) that is sponsored by the German government with the goal of both doing measurements and defining how a eco friendly software should work. Okular was recently awarded the blue angel certification: https://eco.kde.org/blog/2022-03-16-press-release-okular-blu...
I am aware of the label and also that Okular got the first certification in Germany. However I believe that the certification in its current form has limited value. But we thrive to integrate it into our toolchain. Have you been part of the team that went through the certification process? I would love to get in touch and ask some questions :)
I'm not part of the team did the certification process (just know some of them as I'm involved with plasma mobile and contribute occasionally to Okular), if you want to get in touch with them better ask them in the mailing list or matrix channel linked in https://eco.kde.org/ ;)