People, every show

Kathryn McKinley

Distinguished Software Engineer, Google. On 1 show, 1 appearance. The Shows tab opens the full record on each.

scientistengineeracademiccs.utexas.edu/~mckinley ↗Wikipedia ↗

Kathryn McKinley is a computer scientist known for foundational research in compilers, programming languages, and memory management systems, including the Hoard memory allocator and Immix garbage collector. Prior to Google, she was an Endowed Professor at the University of Texas at Austin and a Principal Researcher at Microsoft Research.

What they said6 Shows1

Everything Kathryn McKinley said on any show that made the record, most notable first. Each card names its show and opens the statement there.

a16z Assertion Supported

Governments occasionally degrade GPS sensor accuracy intentionally, says Kathryn McKinley

“Occasionally your government will make the sensors bad on purpose.”

Kathryn McKinley Jul 28, 2017 ▶ 0:57 Kathryn McKinley

a16z Insight

Developers lack programming models for probabilistic ML outputs, says Kathryn McKinley

“Image understanding and all sorts of applications we're using today aren't giving us perfect answers, yet we don't have the tools to interpret those answers. We don't have the programming models”

Kathryn McKinley Jul 28, 2017 ▶ 1:45 Kathryn McKinley

a16z Assertion Supported

Phone users are least likely to be directly under the GPS dot

“When you see that little dot on your phone, you're actually least likely to be there. The GPS error is, looks like a doughnut. It's a Rowley distribution, so you're actually likely to be in a little circle around where that dot is, alright?”

Kathryn McKinley Jul 28, 2017 ▶ 4:31 Kathryn McKinley

a16z Assertion Not checkable as stated

Uncertain<T> reduces GPS road-snapping code from thousands of lines to two

“But what used to take thousands of lines of code now takes two.”

Kathryn McKinley Jul 28, 2017 ▶ 12:55 Kathryn McKinley

a16z Insight

Traditional software assertions fail for probabilistic computing, requiring new approaches

“Well, now we have a, ah, traditional assertions can't do that, and so we have a new way to do this with a probabilistic assertion.”

Kathryn McKinley Jul 28, 2017 ▶ 14:21 Kathryn McKinley

a16z Assertion Supported

Formal proof of differential privacy implementations remains unsolved, says Kathryn McKinley

“And so we've come, we've taken some good steps in this direction. But we haven't done the very hardest step, which is to prove in the implementation of differential privacy that you actually get it.”

Kathryn McKinley Jul 28, 2017 ▶ 15:25 Kathryn McKinley

One line per show, most statements first. The link opens Kathryn's full record on that show: the calibration, argument clarity, speaking style and every statement made there.

Show	Role there	Eps	Statements	Record
a16zLEDGER	Distinguished Software Engineer, Google	1	6	100% 3/3	full record on the a16z Podcast →