MAR

484 bookmarks
Newest
Psychology says self-taught boomers who quietly know more than almost everyone in the room but rarely speak first aren't being humble — they spent a lifetime learning without validation, which means they also learned to be right without needing anyone to confirm it
Psychology says self-taught boomers who quietly know more than almost everyone in the room but rarely speak first aren't being humble — they spent a lifetime learning without validation, which means they also learned to be right without needing anyone to confirm it
·geediting.com·
Psychology says self-taught boomers who quietly know more than almost everyone in the room but rarely speak first aren't being humble — they spent a lifetime learning without validation, which means they also learned to be right without needing anyone to confirm it
Forem
Forem
·forem.com·
Forem
We’re excited to release TorchLean which is the first fully verified neural network framework in Lean. The Lean community has largely focused on pure mathematics. TorchLean expands this frontier toward verified neural network software and scientific computing. With the recent
We’re excited to release TorchLean which is the first fully verified neural network framework in Lean. The Lean community has largely focused on pure mathematics. TorchLean expands this frontier toward verified neural network software and scientific computing. With the recent
·search.app·
We’re excited to release TorchLean which is the first fully verified neural network framework in Lean. The Lean community has largely focused on pure mathematics. TorchLean expands this frontier toward verified neural network software and scientific computing. With the recent