Show newer

Aleph released the proof-of-concept implementation: gitlab.com/alephledger/proof-o ! I helped writing it, so this is a bit of a brag.

Transaction validation time was ~6s with 256 machines all around the world, so pretty nice. Since then, we have been working on a proper implementation in Go (this one I am even more involved in), but it'll take a while before it's published.

timorl boosted

@snder
Yup We have a whole organizational structure of things going up around this. Cleverthis.com will be the parent company that mostly donates its profits into QOTO. Qoto will be the non-profit that will host all the various collaboration and hosting services for everyone. One component in that will be mastodon. But I want to make the other services (for example gitlab) unified under the same login. So it will appear as though it is one service.

I also have several other companies that will fall under cleverthis.com but that is unrelated to this conversation.

@inditoot

My new paper "Detecting Spiky Corruption in Markov Decision Processes" is now on arXiv: arxiv.org/abs/1907.00452 . It has also been accepted for AISafety 2019. It was a pleasure to write, especially with such a great group of colleagues!

Got a pair of socks at , finally conference organizers noticed we don't only wear shirts. Hoping for shorts next.

timorl boosted
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.