Xuankang Lin

[Xuankang Lin @XuankangLin]

@github Is it possible to receive notifications about merged PRs only? If not, feature requested.

[Roopsha Samanta @roopshasamanta]

Have 20 minutes & want to get a glimpse of parametrized verification of distributed systems, well-structured transition systems, & our Discover[i] project?
Check out @NouraldinJaber's talk @confCAV: https://t.co/Gai9l7rDiy

Joint work with @JacobsSwen, @ChrisWagn3r, @mkulkarni

[Roopsha Samanta @roopshasamanta]

For the first time ever, the talks/panel from the Verification Mentoring Workshop (VMW)@confCAV are available online:
https://t.co/vKdedoIDIu

This was a labor of love by the VMW committee: Rayna Dimitrova, Jean-Baptiste Jeannin, @arjun_rad and me.

Please share widely!

[Roopsha Samanta @roopshasamanta]

Curious about formal methods research & @confCAV?
Are you an undergrad or early-stage grad?

Then you can't miss the Verification Mentoring Workshop (VMW) at CAV, Jul 20, LA!

Apply for scholarships to attend VMW+CAV by Apr 15.
https://t.co/JxeoiBhOWH

(RTs appreciated!)

[Roopsha Samanta @roopshasamanta]

Our impromptu send-off for our GoBoiler intern Marcel Moosbrugger (@mmsbrggr) with affogato and lots of silliness.

It was an absolute pleasure to work with you, Marcel. We will miss you!

P.S. My group is clearly into gifs.

#purform @NouraldinJaber @ChrisWagn3r @XuankangLin

[Roopsha Samanta @roopshasamanta]

Pool party + potluck + send-off for our first intern this summer, Yugesh Kothari. #purform

[Xuankang Lin @XuankangLin]

https://t.co/5VjHl3KCGv where J.M. Wing talks a bit about more trustworthy AI with the help of formal methods😃

[Lex Fridman @lexfridman]

I'm starting a new podcast on AI simply called "Artificial Intelligence". It'll include accessible, big-picture conversations (at MIT and beyond) on the nature of intelligence. Some big names and brilliant minds coming up in the fall. Subscribe anywhere: https://t.co/yGcXS3tTvp

[Xuankang Lin @XuankangLin]

Longest twitter chain I've ever seen

[vitalik.eth @VitalikButerin]

1. Today I am going to make a tweet storm explaining the history and state of Ethereum's Casper research, including the FFG vs CBC wars, the hybrid => full switch, the role of randomness, mechanism design issues, and more.

[Xuankang Lin @XuankangLin]

😄 https://t.co/FAMBXVIy0y

[Roopsha Samanta @roopshasamanta]

Purdue's Formal Methods group meets for a group potluck with food from China, India, Palestine and the United States! #purform

[Depth First Learning @DepthFirstLearn]

Announcing https://t.co/SAb4OLLRTB! We are building a repository of study guides targeting consequential papers. Check it out, learn something in-depth, and help us build the next one. @avitaloliver @suryabhupa @kumarkagrawal @cinjoncin

[Xuankang Lin @XuankangLin]

Love this series! “Understanding Feature Engineering (Part 2) — Categorical Data” by Dipanjan (DJ) Sarkar https://t.co/qoopfCfceo

[Swarat Chaudhuri @swarat]

(3/5) In contrast, #MachineLearning lets programs be "found" objects. "I don't have a full spec for my program and can't write the code myself, but here's some data on what it does. Discover it!" This is still #programming, albeit done inductively rather than deductively.

[Xuankang Lin @XuankangLin]

Verifying my Blockstack ID is secured with the address 1MvuAdi5TM3msN4CusYMrP33pEwPrPSRYm https://t.co/uUdzfp17wj

[Xuankang Lin @XuankangLin]

望周知 https://t.co/W3ylRb6IRB

[哔哩哔哩弹幕网 @bilibiliweb]

好好好，我知道了(╯‵□′)╯︵┻━┻

[Xuankang Lin @XuankangLin]

人为什么要互相伤害。。😱 https://t.co/51H3Brivib

[Aaron Patterson @tenderlove]

I like to add � and ’ any time I submit online forms because I know that some developer is going to see it and wonder if they have a bug

[Xuankang Lin @XuankangLin]

😂😂😂 https://t.co/j7R9Y0LOgB

[Rafinha Alcantara @Rafinha]

单身侠 🤔🇨🇳

[Xuankang Lin @XuankangLin]

给一篇 Paper 跪了.. 又一次清晰地感觉到智商被碾压的扑面感 🙄

[Xuankang Lin @XuankangLin]

我居然直到这两天才差不多了解了 deductive / inductive 的指代含义。。 #后知后觉