diff.blog π©βπ» retweeted
For the first time, a major result at the cutting edge of mathematics was verified by a computer proof assistant. The #leanprover #zulip community was key to making it happen β congratulations!
Blog: xenaproject.wordpress.com/20β¦ Nature: nature.com/articles/d41586-0β¦
@leanprover @XenaProject
diff.blog π©βπ» retweeted
You can now follow our blog via @diffblog
diff.blog/payrequestio/
diff.blog π©βπ» retweeted
Replying to @shanselman
Yes!!! Fuck medium. Host your own blog. Checkout this tool to migrate your Medium blog to GitHub pages in a few minutes
github.com/mathieudutour/medβ¦
diff.blog π©βπ» retweeted
Looking for amazing developer blogs to follow?
Check out diff.blog
It's an aggregator of many developer blogs and you can find exactly the one for you!
#CodeNewbie



