riccardobrasca
Re:Lean 4.0.0, first official lean4 release
on Friday September 08, 2023 @09:51AM (#37433487)
We don't have any topos theory, that's right. But all the prerequisites are there. If you're interested in working on it I strongly suggest to ask on Zulip.
Re:Covid-19 Superspreader Events in 28 Countries: Critical Patterns an...
on Thursday April 23, 2020 @11:16AM (#22956927)
https://threader.app/thread/1252581933835575297
This is a super interesting point of view.
Re:The ProtonMail Android app is now open source
on Thursday April 23, 2020 @11:15AM (#22956916)
This is very nice!