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
DJI is >96% of RemoteID usage in the US [video]youtube.com4 points·by asparagui·قبل 4 أشهر·0 comments
Towards Robust Mathematical Reasoning [pdf]aclanthology.org1 points·by asparagui·قبل 8 أشهر·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·قبل شهرين·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