2026

1872 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
MAR
·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
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
MAR
·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
This made me laugh. Then it made me think. The AI "optimized" the straight line. On a flat map it looks shorter. On an actual sphere it's wrong by thousands of kilometers. But here's what this meme… | Michael Jendryke, Dr. | 26 comments
This made me laugh. Then it made me think. The AI "optimized" the straight line. On a flat map it looks shorter. On an actual sphere it's wrong by thousands of kilometers. But here's what this meme… | Michael Jendryke, Dr. | 26 comments
FEB#linkedin
·linkedin.com·
This made me laugh. Then it made me think. The AI "optimized" the straight line. On a flat map it looks shorter. On an actual sphere it's wrong by thousands of kilometers. But here's what this meme… | Michael Jendryke, Dr. | 26 comments