asparagui
Joined 15 years ago
Karma
938
Submissions
281
Member since
Nov 13
brettkoonce.com
View on Hacker NewsRecent submissions
Comment · 12 days ago
Very cool! I have been using Lean to drive PJRT like so: https://github.com/brettkoonce/lean4-mlir and in theory your code could unlock another platform!
Comment · 4 months ago
Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE.
Comment · 5 months ago
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 compiles to StableHLO MLIR and runs on GPU via IREE.
Comment · 6 months ago
I was going to call my project that but Claude said that wasn't professional. rip "a delightful mixture of lean"
Comment · 8 months ago
No, DJI is going to be banned in the US going forward (geopolitics). I am building a NDAA-compliant stack!
Comment · 8 months ago
https://loiter.ai
Building software to control drones for mapping.