Scott Mansfield (@sgmansfield) 's Twitter Profile
Scott Mansfield

@sgmansfield

ID: 49054577

linkhttp://blog.sgmansfield.com calendar_today20-06-2009 17:00:35

3,3K Tweet

994 Takipçi

1,1K Takip Edilen

Scott Mansfield (@sgmansfield) 's Twitter Profile Photo

I never understood why something important always needs a huge number of people to support it. There isn't always 10's of people's worth of work. It is possible for things to be "done" and just need maintenance.

Scott Mansfield (@sgmansfield) 's Twitter Profile Photo

Before taking that sweet job at Amazon, ask them about the non-compete clauses in their contracts lastweekinaws.com/blog/why-i-tur…

Ilya Sergey (@ilyasergey) 's Twitter Profile Photo

Very proud of my PhD student Kiran Gopinathan, whose work on verified probabilistic specifications of Bloom filters in Coq just got accepted to CAV'20. Besides being an impressive piece of proof engineering, this is a remarkable result for the following reasons. 1/6