Machine Learning Projects by Siddharth Bhat using Weights & Biases

Intro

Pixel-druid﻿
﻿[graphics→Rust→Haskell→Coq→Lean↓geometry→algebra→categories→type theory↓diffgeo]\begin{bmatrix}
\text{graphics} & \rightarrow & \text{Rust} & \rightarrow & \text{Haskell} & \to & \text{Coq} & \to &  \text{Lean} \\
\downarrow & & & & & & \\
\text{geometry} & \to & \text{algebra} & \rightarrow{} & \text{categories} & \to & \text{type theory} & \\
\downarrow & & & & & \\
\text{diffgeo}
\end{bmatrix}​graphics↓geometry↓diffgeo​→→​Rustalgebra​→→​Haskellcategories​→→​Coqtype theory​→​Lean​﻿﻿
﻿
﻿
﻿