Source: Hacker News
| Item | Value |
|---|---|
| Article URL | https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html |
| Comments URL | https://news.ycombinator.com/item?id=46294574 |
| Points | 236 |
| Comments | 120 |
The Paradox: Are We Productive, Or Just Performing? Are you truly 10x more productive with AI, or just 10x busier performing for the algorithm? That's a questi...
OpenAI has joined the Spotify Wrapped-style personalized year-end recap trend with “Your Year with ChatGPT,” which is rolling out to users in the U.S. and selec...
Understanding text embeddings through simple models and Excel The post The Machine Learning “Advent Calendar” Day 22: Embeddings in Excel appeared first on Towa...
Gradient descent in function space with decision trees The post The Machine Learning “Advent Calendar” Day 21: Gradient Boosted Decision Tree Regressor in Excel...
