Found 11915 bookmarks
Newest
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
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
·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
I have 776,641 followers because of my hooks. Copy my Claude prompt I use to write hooks: 1. Go to Claude (desktop app). Open Cowork. 2. Upload your “about me” text file. 3. To download mine, go… | Ruben Hassid | 324 comments
I have 776,641 followers because of my hooks. Copy my Claude prompt I use to write hooks: 1. Go to Claude (desktop app). Open Cowork. 2. Upload your “about me” text file. 3. To download mine, go… | Ruben Hassid | 324 comments
·linkedin.com·
I have 776,641 followers because of my hooks. Copy my Claude prompt I use to write hooks: 1. Go to Claude (desktop app). Open Cowork. 2. Upload your “about me” text file. 3. To download mine, go… | Ruben Hassid | 324 comments