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
Followers
Following
Total Posts
@lean-samaritan.bsky.socialcaiogayer.bsky.social
skyedigitaltales.bsky.social
christinacarterxxx.bsky.social
Not Found
zenizounds.bsky.social
veelpo.bsky.social
xchristianax.bsky.social
Not Found
Not Found
petitetinkk.bsky.social
Not Found
kakeruhijiri.bsky.social
Not Found
Not Found
Not Found
blueangel-home.bsky.social
thememefarm.bsky.social
senthorun.bsky.social
realalexshutter.bsky.social
manndaraee.bsky.social
naiijah.blacksky.app
Not Found
Not Found
divyampersaud.com
Not Found
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 PostCats 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 PostWhy 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 PostIMO 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 PostA 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