Erdős problem #870 solved with ChatGPT-5.5-Pro and Leantwitter.com3 points·by asparagui·17일 전·0 comments
Show HN: Verified Deep Learning with Lean 4brettkoonce.github.io6 points·by asparagui·3개월 전·0 comments
asparagui·29일 전·discussBeen formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE.https://github.com/brettkoonce/lean4-mlir
asparagui·2개월 전·discusshttps://brettkoonce.github.io/lean4-mlir/blueprint/https://github.com/brettkoonce/lean4-mlirI (w/ Claude) have built a framework for writing neural networks in Lean 4 that compiles to StableHLO MLIR and runs on GPU via IREE.
asparagui·3개월 전·discussI was going to call my project that but Claude said that wasn't professional. rip "a delightful mixture of lean"
asparagui·5개월 전·discussNo, DJI is going to be banned in the US going forward (geopolitics). I am building a NDAA-compliant stack!
asparagui·7년 전·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7년 전·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7년 전·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7년 전·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7년 전·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7년 전·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7년 전·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7년 전·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7년 전·discussSEEKING WORK - Remote/SF/MissouriiOS/Android/Mobile developmentPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7년 전·discussSEEKING WORK - Remote/SF/MissouriiOS/Android/Mobile developmentPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·8년 전·discussSEEKING WORK - Remote/SF/MissouriiOS/Android/Mobile developmentPortfolio & Information: http://quarkworks.coContact: [email protected]
https://github.com/brettkoonce/lean4-mlir