Terence Tao: Formalizing a proof in Lean using Claude Code [video]
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
youtube.com
1 min
3/9/2026
You can't use a code editor when you're under 18 now?
Mastodon web application requires JavaScript to function properly. Users can also opt for native apps available for their respective platforms.
mastodon.online
1 min
3/4/2026
AI is destroying open source, and it's not even good yet [video]
YouTube allows users to enjoy videos and music, upload original content, and share it with friends, family, and the global community. The platform supports a wide range of content, including user-generated videos and music streaming.
youtube.com
1 min
2/23/2026
I want to wash my car. The car wash is 50 meters away. Should I walk or drive?
Mastodon web application requires JavaScript to function properly. Users can also try native applications for their platform as an alternative.
mastodon.world
1 min
2/16/2026
Ars Technica makes up quotes from Matplotlib maintainer; pulls story
Mastodon web application requires JavaScript to function properly. Users can also opt for native apps compatible with their platform.
infosec.exchange
1 min
2/14/2026
Terence Tao: Formalizing a proof in Lean using Claude Code [video]
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
youtube.com
1 min
3/9/2026
AI is destroying open source, and it's not even good yet [video]
YouTube allows users to enjoy videos and music, upload original content, and share it with friends, family, and the global community. The platform supports a wide range of content, including user-generated videos and music streaming.
youtube.com
1 min
2/23/2026
Ars Technica makes up quotes from Matplotlib maintainer; pulls story
Mastodon web application requires JavaScript to function properly. Users can also opt for native apps compatible with their platform.
infosec.exchange
1 min
2/14/2026
You can't use a code editor when you're under 18 now?
Mastodon web application requires JavaScript to function properly. Users can also opt for native apps available for their respective platforms.
mastodon.online
1 min
3/4/2026
I want to wash my car. The car wash is 50 meters away. Should I walk or drive?
Mastodon web application requires JavaScript to function properly. Users can also try native applications for their platform as an alternative.
mastodon.world
1 min
2/16/2026
Terence Tao: Formalizing a proof in Lean using Claude Code [video]
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
youtube.com
1 min
3/9/2026
I want to wash my car. The car wash is 50 meters away. Should I walk or drive?
Mastodon web application requires JavaScript to function properly. Users can also try native applications for their platform as an alternative.
mastodon.world
1 min
2/16/2026
You can't use a code editor when you're under 18 now?
Mastodon web application requires JavaScript to function properly. Users can also opt for native apps available for their respective platforms.
mastodon.online
1 min
3/4/2026
Ars Technica makes up quotes from Matplotlib maintainer; pulls story
Mastodon web application requires JavaScript to function properly. Users can also opt for native apps compatible with their platform.
infosec.exchange
1 min
2/14/2026
AI is destroying open source, and it's not even good yet [video]
YouTube allows users to enjoy videos and music, upload original content, and share it with friends, family, and the global community. The platform supports a wide range of content, including user-generated videos and music streaming.
youtube.com
1 min
2/23/2026
No more articles to load