~/talk

Ask Me Anything with Guy Steele

Talkat PLDI 2020 · 2020-06-15..06-20· [compilers-and-language-design]
links:none on file
name:Jan Vitek
linkedin:jvitek
slides:none on file

Long Q&A that hits concrete projects and lessons: explains the telnet song as a real exponential-escape-character example, evaluates persistent memory vs databases and notes Fortress’s unused transactional/persistence work, argues for default parallelism and removing numeric precedence so programmers must parenthesize, describes tooling experiments with Unicode and MathJax for two‑dimensional code, reports ongoing work to replace splitmix in the JDK with a shift-xor+LCG compound, and reflects on user studies and proof-checking languages.

AI-written summary · about

  1. 0:00Introduction
  2. 4:20Persistent Memory
  3. 7:10Parallelism
  4. 11:53Notation
  5. 13:01Proof checkers
  6. 15:35Nvidia
  7. 16:13Two different questions
  8. 17:52Proof checking languages
  9. 20:32Pee
  10. 21:51Random Number Generators
  11. 23:46Tail Calls
  12. 24:29Waste of Time
  13. 26:12Bad Ideas
  14. 27:42Swift
  15. 29:44Dependent Types
  16. 30:49User Studies
  17. 33:14APL
  18. 37:22Group Singing
  19. 38:22Musical Performance
  20. 39:58Apple Trees
  21. 42:14Yusuke Endo
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.