Progress on Deez-MATH, Deez-Project-Manager
What changed
- Deez-Project-Manager — feat(agent-verify): add npm test and test:agent harness (#8) (e543806)
- Deez-Project-Manager — Highlight git behind status with one-click and Update all (#7) (5be4d7a)
- Deez-MATH — Catalog: FLT Lean, zeta zeros, Erdős #1196 discoveries & proofs (#1) (0813850)
Context
- deez · GitHub Topics · GitHub: To associate your repository with the deez topic, visit your repo's landing page and select "manage topics."
- Math on GitHub: The Good, the Bad and the Ugly | Hacker News: Because some of these critiques really should have been dealt with beforehand and I'm concerned that we're now stuck with lousy defaults that they won't ever be able to change ·
- Math6380p: Deep Learning: Enrolled students should have some programming experience with modern neural networks, such as PyTorch, Tensorflow, MXNet, Theano, and Keras, etc. Otherwise, it is recommended to take some courses on Statistical Le