GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
1.
Some Junk Theorems in Lean
(news.ycombinator.com)
2025-12-23 |
related products
| tags:
coordinate
,
equal
,
langle
2.
Using secondary school maths to demystify AI
(news.ycombinator.com)
2025-12-12 | by Jane Waite |
related products
| tags:
learning
,
maths
,
students
3.
Secondary school maths showing that AI systems don't think
(news.ycombinator.com)
2025-12-12 | by Jane Waite |
related products
| tags:
learning
,
maths
,
students
Today's top topics:
apple
billion
google
agents
code
amazon
affect
android
does affect
independent reviews
View all today's topics →