DEEP LEARNING

Show HN: Verified Deep Learning with Lean 4
6 points | 0 comments

I Climb Trees – Learn Deep Learning – From Simon JD Prince
1 points | 1 comments

Random Machines: Why the Optimizer Is the Least Important Part of Deep Learning
1 points | 0 comments

Show HN: Chestnut – The antidote to AI-induced skill atrophy
6 points | 2 comments

Ask HN: Teaching life skills through games, am I crazy?
2 points | 6 comments

Show HN: Paper Lantern – improving Autoresearch with research knowledge
2 points | 2 comments

Show HN: MyKana, a Japanese learning app I built for my own study
2 points | 0 comments