poppingtonic
- Karma
- 1,279
- Created
- 13 years ago
About
Artist, author & programmer. Incremental learning buff. Among many other things, obviously.[ my public key: https://keybase.io/poppingtonic; my proof: https://keybase.io/poppingtonic/sigs/bkWTUUgvF-hPLoKKg5asnSdZul2o9KdCmvSaQNLmm-s ]
Recent Submissions
- 1. ▲ Milawa on Jitawa, a Verified Theorem Prover (lambda-the-ultimate.org)
- 2. ▲ Visualising Multi-Sensor Predictions from a Rice Disease Classifier (qeios.com)
- 3. ▲ Why computer modeling should become a popular hobby (1996) (qrg.northwestern.edu)
- 4. ▲ Neurogrid – The Board (2016) (web.stanford.edu)
- 5. ▲ C Implementation of Gregory Chaitin's the Limits of Mathematics (github.com)
- 6. ▲ Neuro Evolving Robot Operatives (nn.cs.utexas.edu)
- 7. ▲ Building Problem Solvers (qrg.northwestern.edu)
- 8. ▲ Engineering Scientific Serendipity (brianmu.com)
- 9. ▲ JuliaCon 2018: Index Notation and the Future of Tensor Compilers [video] (youtube.com)
- 10. ▲ How to Think (technologyreview.com)