Viewing profile — asparagui

Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE. https://github.com/brettkoonce/lean4-mlir

https://brettkoonce.github.io/lean4-mlir/blueprint/ https://github.com/brettkoonce/lean4-mlir I (w/ Claude) have built a framework for writing neural networks in Lean 4 that compil…

I was going to call my project that but Claude said that wasn't professional. rip "a delightful mixture of lean"

[dead]

No, DJI is going to be banned in the US going forward (geopolitics). I am building a NDAA-compliant stack!

https://loiter.ai Building software to control drones for mapping.

Cool idea! This is a really clever way to demo a real-world circuit!

previous discussion: https://news.ycombinator.com/item?id=41784591