Sam King

I'd accuse my son of trolling me if he didn't absolutely nail it #AcademicTwitter

A sneak peak of automatic card verifications in Radar for transactions flagged as high risk from @stripe Sessions. Enabled with the flip of a switch. Go Bouncer team go! @stk

Some exciting news techcrunch.com/2021/05/14/str…

@marius I'll see your static type checking and raise you anything that includes a SAT solver

Static type checking without type inference.

@TaliaRinger Closed loop insulin delivery tidepool.org/automated-insu…

What are some medical devices you would like to see formally verified?

Advice for junior engineers: Probably fewer problems than you think can be solved with code. Advice for senior engineers: Probably more problems than you think can be solved with code.

Can anyone recommend interesting non-fiction pod casts? I've never listened to one before but I'm looking for something to listen to at a time when I can't read.

@jhasomesh @mustach_io You guys are making me want to grow my mustache again. However, "intimidating" is never a word I've heard used in reference to mine, so the bar is high.

@mustach_io That is an intimidating stache!

#mustachefacts #mustachelife you cam use all kinda of wax. Sometimes i like the bushy style vs the pointed. Now to add the mask and lose all goodness.

Building speaks louder than words.

Lots of exciting news from the Davis Architecture Group! We've had FOUR recent papers including two best paper nominees at ISPASS! Tweet ⛈️ coming. arch.cs.ucdavis.edu

It's been almost 10 years since one of my most embarrassing fundraising moments as a founder. A moment so embarrassing that I couldn’t talk about it for years. It taught me the difference between raising a Seed round and a Series A, as well as some well needed humility.🧵👇

Here is a tip of the hat to all of the volunteers out there reviewing papers for top conferences. It's easy to get jaded when you get bad reviews, but the PCs for both Usenix Security and OSDI have been amazing. So much thought and rigor goes into decisions, y'all should be proud

@thedavidbrumley @clintgibler Thanks for sharing, it turned out great.

Watercolor pencils. @clintgibler TL;DR inspired me to try to do some art. I've always stopped because what I created didn't look as good as I hoped. While child-like simple, I kinda like how this turned out.

@tst Wow, go Illini!

@stk twitter.com/i/events/13631…

@stk @cskama Good writing clear your thoughts then lead to succinct code

@cskama At this point I love both but for very different reasons. Coding is the invention -- this is where the art happens and when you're writing you are forced to learn exactly it is that you invented. I've always loved coding but my love for writing was gradual.

Fellow academics, especially systems folks: Is writing as much (or more fun) to you than coding? Was it always?

@harshita_kk The ability to reason about difficult problems consistently is a good indicator of success in grad school... :)

every two months I think about if I want to go to grad school, and I have the same series of thoughts every time

@jhasomesh If it's an incremental idea in an existing area I do what you described. But if it's a new area I'm stubborn, sometimes continuing to improve the work for years before it gets in. Once the first paper gets in for a new area, you'll have momentum and the next N are easier.

Question for fellow researchers: I always try to submit my papers to top-tier venues few times before dropping tiers. However, I realize that the "revise resubmit" cycle can be frustrating for students. What is your strategy on submissions?

@dave_andersen 10x parenting, I love it

Urp. 8yo shoulder surfed the first four digits of the six digit iPad passcode today. So we talked about how many combinations were left, and I've offered her a dollar if she figures out the final combo. paying her to narc on herself so I don't have to change the passcode yet.

@ProfBootyPhD @GolferSpace @KVanValkenburg Completely agree, he nailed a bunch of the subtleties -- I watched the whole thing and enjoyed it thoroughly

@GolferSpace @KVanValkenburg I’ll say this about Post Malone (and I’m not a fan) - he dropped a bunch of Nirvana covers that were pretty good and didn’t ruin my youth. youtu.be/N9ZKONEwC34

Is nothing about my youth sacred?

The periodic reminders that we are hiring will continue until enough people have joined the team. 😊 If you're a systems programmer or programming languages/compiler person who wants to help us build a better API observability tool, I'd love to hear from you. Please share!