Scott Mansfield retweeted
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
Scott Mansfield retweeted
Pace yourself on this next HH release gang. It's a long one. I wanted to make it a mere 3 1/2 hours and failed.
Before taking that sweet job at Amazon, ask them about the non-compete clauses in their contracts lastweekinaws.com/blog/why-i…
Scott Mansfield retweeted
New motto form C++ committee proposed over lunch:
"Just because we shouldn't, doesn't mean we can't!"
There's always an ultimate retry backstop. Humans. Humans will hit the skinner box retry button so many times it'll make your head spin.
you're not talking low level until you're discovering new subatomic particles
#gatekeeping
webpack: cross platform only on days not starting with M
github.com/webpack/webpack-c…
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.
This quoted post is unavailable.
