ponpony.bsky.social
👤 Joined on 17 January 2025
0
Followers
4
Following
0
Total Posts
📜 Kullanıcı Geçmişi
- 17 Oca 2025, 10:32
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@ponpony.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
It was wonderful to walk around in yesterday’s sunshine, surrounded by flowers & the buzz of bees going about their business. Snapped this Garden Bumblebee poking its long tongue into a crocus #bee
Show Post
Breathtaking #Wildlife Macro #Photography In The #Borneo #Rainforest By Chien C. Lee #MacroPhotography Link for more info & photos (like the Satanic Leaf-tailed #Gecko seen below): designyoutrust.com/2019/09/brea...
Show Post
A video on an actual formalization task from my Polynomial Freiman Ruzsa (PFR) project, which is sufficiently tricky (and sufficiently far from existing training data of current models) that one still has to largely formalize these proofs by "hand": www.youtube.com/watch?v=6uLX...
Show Post