MikeTrends
Trends right
now
AI: repos
API
Now
World
War
Business
Technology
Science
Environment
Health
Sport
Culture
Life
𝕏 x
r/ reddit
Y hn
🦋 bluesky
M mastodon
G google
⬢ github
▶ youtube
✉ news
search
E! News
Trends, last
30 min
2 hours
6 hours
12 hours
1 day
3 days
7 days
2 weeks
1 month
Trends
Nothing in this window yet.
Repos
stormj-UH/spivak-lean
Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices