1Milawa on Jitawa, a Verified Theorem Prover (opens in new tab)(lambda-the-ultimate.org)1poppingtonic1mo ago0
2Visualising Multi-Sensor Predictions from a Rice Disease Classifier (opens in new tab)(qeios.com)2poppingtonic2y ago0
3Why computer modeling should become a popular hobby (1996) (opens in new tab)(qrg.northwestern.edu)92poppingtonic3y ago31
5C Implementation of Gregory Chaitin's the Limits of Mathematics (opens in new tab)(github.com)5poppingtonic3y ago0
9JuliaCon 2018: Index Notation and the Future of Tensor Compilers [video] (opens in new tab)(youtube.com)3poppingtonic7y ago0
11International Fellowship applications for Part 1 now open (opens in new tab)(fast.ai)1poppingtonic8y ago0
