Jukka Suomela
jukkasuomela.fi
Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
👤 Joined on 18 October 2023
1798
Followers
2318
Following
2919
Total Posts
📜 Kullanıcı Geçmişi
- 18 Eki 2023, 19:48
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@jukkasuomela.bsky.social - 20 Eki 2023, 19:06
✏️ Kullanıcı adı değişti:
@jukkasuomela.bsky.social→@jukkasuomela.fi - 10 Kas 2023, 04:20
🔄 Profil bilgileri güncellendi
❤️ Beğendiği Gönderiler
What is TMLR doing under a 300% increase in submissions? - Suspensions of >150 authors - Publicly naming major violations - Submission quotas distinguishing slop patterns - Desk rejections 6% → 53%; focus on clarity - AI reviews evaluating soundness blog.tmlr.org/2026/adaptin...
Show Post
You are invited to GenLex, an online lecture series for and by the next generation of (historical) lexicographers! Opening event on 30 October at 6pm CET: blogs.helsinki.fi/hellex-socie... #hellexsoc #lexicography
Show Post
@jukkasuomela.fi Hi Jukka! Thanks for sharing. Did you also get a Lean proof (or maybe used Lean as a means for the agent to self-verify)?
Show Post
I don't think people are ready for this kind of joke yet.
Show Post
Congrats for your ERC Grant – hats off!
Show Post