Posted by david927 2 days ago
Ask HN: What are you working on? (May 2026)
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.
If you are in the area, try it out https://taipeiparking.com/ - Android app and web app.
Hopefully I can find an investor in the future, still in the early stages.
I know some Rust, was going about it with clap, but no one I know cares about Rust so I've switched to Golang with spf13 Cobra cli
Harness is pretty cool, but I'm still a quite noob gopher, so I'm taking the chance to learn the ins and outs of Go...
No A.I touches my code lol, else I would learn jack shit