David Goldblatt (@davidtgoldblatt) 's Twitter Profile
David Goldblatt

@davidtgoldblatt

Low-level perf stuff mostly. At various points, I've done llvm, wg14/wg21/sg1, jemalloc, thrift, folly.

@[email protected]

ID: 3971356514

calendar_today21-10-2015 17:32:29

887 Tweet

1,1K Followers

432 Following

David Goldblatt (@davidtgoldblatt) 's Twitter Profile Photo

A funny thing about the like live-chain-of-thought stuff for chatgpt and gemini deep research is that you can click through and be like "ah, I see, you're spending several minutes struggling with listing the files in the link to a github repo subdirectory I put in the prompt".

David Goldblatt (@davidtgoldblatt) 's Twitter Profile Photo

I think a lot of people's mental model of C compilers is "good at turning easy to analyze slow code into fast code" but a more accurate model is "good at turning easy to analyze slow code (in the style written at companies that employ C compiler maintainers) into fast code"

David Goldblatt (@davidtgoldblatt) 's Twitter Profile Photo

Unrelated to any ongoing ISO stuff, just a general comment: I think that like 99% of C/C++ could be specified formally if people really wanted; but provenance + the type system + the object model are in the last 1%.

David Goldblatt (@davidtgoldblatt) 's Twitter Profile Photo

A screwy thing about the ptx memory model is that it's so hardware-inflected that some things that are complicated in CPU-land end up being actually fairly simple again.