Erdős problem #870 solved with ChatGPT-5.5-Pro and Leantwitter.com3 points·by asparagui·17 gün önce·0 comments
Show HN: Verified Deep Learning with Lean 4brettkoonce.github.io6 points·by asparagui·3 ay önce·0 comments
Towards Robust Mathematical Reasoning [pdf]aclanthology.org1 points·by asparagui·8 ay önce·0 comments
Google loses appeal in antitrust battle with Fortnite makerjapantoday.com2 points·by asparagui·12 ay önce·0 comments
asparagui·29 gün önce·discussBeen formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE.https://github.com/brettkoonce/lean4-mlir
asparagui·2 ay önce·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 ay önce·discussI was going to call my project that but Claude said that wasn't professional. rip "a delightful mixture of lean"
asparagui·5 ay önce·discussNo, DJI is going to be banned in the US going forward (geopolitics). I am building a NDAA-compliant stack!
asparagui·7 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS - Android - Mobile - Web - Design - Machine LearningPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS/Android/Mobile developmentPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·7 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS/Android/Mobile developmentPortfolio & Information: http://quarkworks.coContact: [email protected]
asparagui·8 yıl önce·discussSEEKING WORK - Remote/SF/MissouriiOS/Android/Mobile developmentPortfolio & Information: http://quarkworks.coContact: [email protected]
https://github.com/brettkoonce/lean4-mlir