Top Tweets for #leannyc

1 day ago

Holy cr*p! @kirancodes explains how to get formal program semantics that are provably equivalent to the executed assembly🤯🤯🤯 That’s a real dreamer in action. Just wait 10 years, every CS student will study her refinement theorem Only at #LeanNYC

Jack______M's tweet photo. Holy cr*p! @kirancodes explains how to get formal program semantics that are provably equivalent to the executed assembly🤯🤯🤯

That’s a real dreamer in action.

Just wait 10 years, every CS student will study her refinement theorem

Only at #LeanNYC https://t.co/F6WJqWjKb4

207

166

22K

Jack McCarthy @Jack______M

15 days ago

Been thinking about this tweet a lot #LeanNYC

Другая планета

@nihilunbounded

15 days ago

After all the agony in stony places about AIxMath, what have you actually understood? That's the only thing that matters in math. Can you actually give an impromptu talk about what you have understood to an audience of 5, on a whim? If you can't you're not a mathematician. Sorry.

112

16K

10K

Top Tweets for #leannyc

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users