Alok Singh (@AlokSingh) header
Alok Singh (@AlokSingh) profile picture

Alok Singh

@AlokSingh

If you're a smooth operator, you can infinitely differentiate yourself.

 San Francisco Bay Area
alok.github.io
Joined December 2009
  • Tweets6.1K
  • Following370
  • Followers778
472Media
Photo by Alok Singh (@AlokSingh)Photo by Alok Singh (@AlokSingh)Photo by Alok Singh (@AlokSingh)Photo by Alok Singh (@AlokSingh)Photo by Alok Singh (@AlokSingh)Photo by Alok Singh (@AlokSingh)Photo by Alok Singh (@AlokSingh)Photo by Alok Singh (@AlokSingh)Photo by Alok Singh (@AlokSingh)
Stolen valor
Taras (@tarasshyn) profile pictureTaras
@tarasshynOct 28
To remove this "Co-authored-by: Claude" crap: ~/.claude/settings.json { "attribution": { "commit": "", "pr": "" }, "includeCoAuthoredBy": false }
58
Jumanji 2 should have been an isekai like Re Zero
36
Alok Singh retweeted
Lean (@leanprover) profile picture
Lean
@leanproverOct 28
Highlighting two great sites for the latest on Lean, both built and curated by @soonhokong . 📄 𝐏𝐚𝐩𝐞𝐫𝐬 𝐖𝐢𝐭𝐡 𝐋𝐞𝐚𝐧: "arXiv papers that use Lean, the interactive theorem prover. Updated daily." You can browse by topic or by the last 7 or 30 days. paperswithlean.com 📰 𝐋𝐞𝐚𝐧 𝐖𝐞𝐞𝐤𝐥𝐲: News about Lean, from Lean core to verification to AI and formalization, organized by week. leanweekly.news We're grateful to Soonho for this work.
Image from Lean (@leanprover)
4
26
2
130
6,780
Alok Singh retweeted
vogel (@ryanvogel) profile picture
vogel
@ryanvogelOct 28
Replying to @trq212
yeah im gonna be spending company time making let’s play videos
1
100
10,162
Into dependent type hell and out like the doom slayer
51
Tried that
mattparlmer 🪐 🌷 (@mattparlmer) profile picturemattparlmer 🪐 🌷
@mattparlmerOct 27
This anecdote specifically is extremely disturbing
Image from mattparlmer 🪐 🌷 (@mattparlmer)
1
93
Thanks for coming to our meetup @VictorTaelin =). I first found you years ago from your post on r/haskell and now I finally met you
Taelin (@VictorTaelin) profile pictureTaelin
@VictorTaelinOct 27
thanks everyone who attended to my presentation at the Lean meetup, it was amazing I will be super busy on the next 2 days but I will talk to everyone right after that thank you!!
Image from Taelin (@VictorTaelin)
7
667
Launching the first Relationship Singularity product tomorrow, hope you all enjoy 🫶
2
1
30
1,677
Replying to @TheMidasProj
Has anyone figured out if he actually believes this?
1
1
51
2,828
Kwisatz
Cristiano Calcagno (@ccrisccris) profile pictureCristiano Calcagno
@ccrisccrisOct 23
Hoping a formal methods expert becomes an influencer before an influencer becomes a formal methods expert.
111
Come to my meetup Monday 7p Mox and hear this
Taelin (@VictorTaelin) profile pictureTaelin
@VictorTaelinOct 23
in 3 days I'll be presenting Bend on the Lean Meetup, SF bring your hardest questions! link in the comments below ↓
Image from Taelin (@VictorTaelin)
4
157
Apple’s design is for everyone so it’s only good when it hits upon universal principles
2
84
Still wild to me after many months of like 3 people showing up to have such interest and only more on the way
marcelo (@mnaeraxr) profile picturemarcelo
@mnaeraxrOct 23
The one time I attended the SF Lean Meetup last year, we were a group of ~15 people discussing what to formalize next as an excuse to keep learning Lean. I had a lot of fun and met really interesting people. Looking forward to going back again. @AlokSingh @ian5v @radokirov
1
1
154
Finally someone who gets it
Natalie Marleny (@NatalieMarleny) profile pictureNatalie Marleny
@NatalieMarlenyOct 23
Replying to @zkvoxels @GitlipDotCom
Do not ask why, ask… why not 😌
1
91
Replying to @jazzloaf
mathematicians: everything is combinatorics
1
4
167
Some people are proof themselves that the world is worth saving
Kiran (@kirancodes) profile pictureKiran@kirancodesOct 23
Where were you when PLDB Wrapped dropped? pldb.kirancodes.me/fun
PLDB Wrapped for me.

ALT PLDB Wrapped for me.

1
77
Unscalable
Mitchell Hashimoto (@mitchellh) profile pictureMitchell Hashimoto
@mitchellhOct 16
Replying to @r00tdaemon
Think?
39
Good point about games
Pasta (@pastagotsauce) profile picturePasta
@pastagotsauceOct 23
Replying to @0xDesigner
i think it's cuz non-tech people don't do stuff they don't want to do on their computer. there's not a ton of menial tasks they can automate with an agent. the only thing that has broken through is not time-saving, but 'time-wasting', with game modding stuff
40
Years of vain effort redeemed is a helluva drug
Umang Mathur (@mathur_umang) profile pictureUmang Mathur@mathur_umangOct 23
One heartening thing about the @AnthropicAI + @theoremlabs verification work: almost every PL researcher on my feed is excited about the future and seeing years of research put to use. Quite a contrast to the “AI is taking our jobs” mood I’ve seen in other communities.
2
83
Load more