Shreyas Srinivas

Shreyas Srinivas

lean-samaritan.bsky.social

Research : Formal Math ∩ Algorithms ∩ Lean ∩ Hardware Some advice: 1. Lean can’t read your mind or the bot’s. 2. Good lean proofs improve exposition. Drastically. 3. Learn lean to use it properly.

👤 Joined on 16 April 2025

46

Followers

104

Following

100

Total Posts

📜 Kullanıcı Geçmişi

  • 16 Nis 2025, 11:39
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @lean-samaritan.bsky.social

❤️ Beğendiği Gönderiler

Yann Ponty
20 October 2026 09:43

Desk rejects are typical in Bio, and increasingly common in Comp Bio IMO, despite the obvious benefit of accelerating slop processing, they are a net negative as: 1) they greatly reward established players; 2) they narrow the scope of work being published to "trendy" topics. I hope CS can keep away

Show Post
GHAllison1
20 October 2026 00:20

Cats and dogs have accidentally hanged themselves with shade cords. Not the least bit fucking funny. In fact, I never find animals in distress to be a laughing matter. And people who do are sick fucks. 

Show Post
Nalini Joshi
17 October 2026 10:49

Why One of the World’s Greatest Mathematicians Is on a ‘War Footing’ www.nytimes.com/2026/10/16/u... I have rarely if ever seen Terry being angry. But here he is …

Show Post

IMO there are good instrumental reasons why humans should continue to guide math & physics research. But if your argument relies on beauty or community or "the joy of creation", you need to explain why paying you to do math is distinct from paying you to write blog posts about your favorite anime.

Show Post

A lot of AI discussions would be easier if people realized that 1) A tech can have a lot of positives and a lot of negatives. 2) A tech being really powerful doesn't make it good, and someone saying "it can do this impressive thing X" doesn't need to be endorsement of the tech as a hole.

Show Post

Select language

Install App

Install App