Profile

Cover photo
Dustin Sallings
Works at Google
Lives in Santa Clara, CA
822 followers|775,338 views
AboutPostsPhotosYouTubeReviews

Stream

Dustin Sallings

Shared publicly  - 
 
This house has at least two rooms bigger than my house.
1
Matt Ingenthron's profile photoDustin Sallings's profile photo
5 comments
 
Sure. We have tons of space.
Add a comment...

Dustin Sallings

Shared publicly  - 
 
You know what Stuart, I like you.  You're not like the other people, here, in the trailer park.
 
This is really an excellent article about the housing situation in the Bay Area.
1
1
Peter Kasson's profile photoPeter Tebault's profile photoRick Hightower's profile photo
2 comments
 
When I visit SF, I think, gee there is a lot of pavement here. It used to be empty beautiful sea swept hills. How did they get past all the hurdles and develop it this way? Seems incongruent.
Add a comment...

Dustin Sallings

Shared publicly  - 
 
Before the eclipse started, I took a couple pictures of the moon with my phone.  Mostly because I thought it would be funny since they never turn out.  There was a thin cloud coverage which caused the picture to actually show up as more than a pale white dot.

In the first picture, I forgot to turn off my flash which actually made really neat effects with the crap blowing around in the air.  I did a couple of those.  I really should've done more.  They were neat.
1
Jasdeep Jaitla's profile photoDustin Sallings's profile photo
5 comments
 
Lol
Add a comment...

Dustin Sallings

Shared publicly  - 
 
Hung out with Jennalynn a bit today.
1
Add a comment...
 
I haven't figured out what I like about this video, but the google music thing suggested the song to me and it entertained me.
1
Dustin Sallings's profile photoJames Tucker's profile photo
2 comments
 
That's kind of weird. I think it's just one of that doesn't work on mobile.  It's not the actual video that was produced, but this is a pretty good live performance of that song: Childish Gambino - "You See Me" (Live in Los Angeles 11-12-11)
Add a comment...
In his circles
316 people
Have him in circles
822 people

Dustin Sallings

Shared publicly  - 
 
I stared at these two dots for hours last night.
5
Add a comment...
 
"Be honest — would you have considered a proven, correct, compiler improvement a security risk before I showed you that?"
4
2
Samuel Falvo II's profile photoAntonio D'souza's profile photoDustin Sallings's profile photoCole Mickens's profile photo
2 comments
 
I'm not a fan of OpenSSL myself, but the author's conclusions don't follow from his premise.  Having 300 bugs in a 300KLOC program is an exceptionally awesome figure of merit which most other software products aspire to reach.

Moreover, it's not clear to me why killing OpenSSL will benefit anyone.  If we do this, doesn't it follow that all-new code will result, which implies the (in the absolute best-case) 1 bug per 1KLOC figure of merit will persist?

I'm a Quality Engineer by trade; I study this stuff in "the real world."  I've used all manner of different development processes to help ensure software development occurs with the highest possible quality.  The most awesome tool I've used is called "Cleanroom Software Engineering," and I can say unequivocally that it works as advertised.  However, even it isn't a perfect solution.  Engineering relies on formal or semi-formal proofs of code, which is an error-prone process itself if humans conduct it, and QA testing occurs probabilistically, with weights adjusted for "most frequent use in the field."

That frankly means that the same development process used to ensure astronauts are kept alive in the Space Shuttle during lift-off, orbital maneuvers, AND landing alike, STILL cannot cover every possible opportunity for bugs to exist.

The fact is, if you want proven, bug-free code, you need formally-proven software checked against formally-proven specifications.  (Surprisingly, it's rather easy to write semi-formally proven code that is about as good as formally-proven code checked by an automation tool.)  And the latter bit is what kills you every time -- the specs are very often as much in error as anything else in the delivery platform.

So even if we do decide to abandon OpenSSL, can the authors of its replacement mathematically prove the correctness of its requirements?

I don't think so.
Add a comment...
 
Kid Cudi is one of the few artists whose albums I listen to on repeat these days.  This track is absolutely amazing.  He set out to do a cover of Nirvana's cover of a Leadbelly song.  Completely nailed it.
1
Ian Ferrell's profile photo
 
I'm a big kid cudi fan myself, cant really put it in words, just good music.
Add a comment...
People
In his circles
316 people
Have him in circles
822 people
Work
Occupation
Programmer
Skills
I write programs in lots of languages. I've written enough bugs that I can often recognize which ones other software has run into.
Employment
  • Google
    Software Engineer, SRE, 2014 - present
  • Couchbase, Inc.
    Cofounder/Chief Architect, 2009 - 2014
  • Caring.com
    Software Engineer, 2007 - 2008
  • Teneros
    Software Engineer, 2006 - 2007
  • 2Wire
    Technical Lead, 2002 - 2006
  • Beyond.com
    Senior Systems Architect, 1998 - 2002
Basic Information
Gender
Male
Story
Tagline
Probably writing code.
Introduction
I make stuff.  You can find much of it on github.
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Santa Clara, CA
Previously
Little Rock, AR - Conway, AR - Fort Smith, AR - Sunnyvale, CA - Austin, TX - Orlando, FL - Apache Junction, AZ - Springerville, AZ
I generally don't like Japanese food. I'll probably be back soon.
Public - 4 months ago
reviewed 4 months ago
Public - 5 months ago
reviewed 5 months ago
One of my favorite dinner spots.
Atmosphere: Very goodDecor: Very goodService: Excellent
Public - a year ago
reviewed a year ago
This place is hard to get into for a reason.
Food: ExcellentDecor: GoodService: Very good
Public - a year ago
reviewed a year ago
37 reviews
Map
Map
Map
Food: GoodDecor: GoodService: Very good
Public - a year ago
reviewed a year ago
If you do Yoga and you ever go to Manhattan, you're already a repeat customer.
Public - a year ago
reviewed a year ago