~/talk

Meta: Enabling Programming Languages to Learn from the Crowd

Talkat UIST 2016 · 2016-10-16..10-19· [python, developer-experience]
links:none on file
slides:none on file

Meta adds a Python decorator and community DB to share functions, record runtime args, returns, types, timings, and exceptions, then uses that data for search, replacement, and synthesis. It runs dynamic equivalence tests and an optimizer that finds 44 optimizations, 1.45× median speedup and reports 7 incorrect suggestions. It offers auto-patcher swaps functions at runtime and records calls at 1/n sampling; load cost ≈47 ms, call overhead ≈0.31 ms.

AI-written summary · about

  1. 0:00Start
  2. 3:22Example of a Typical Meta Function
  3. 6:16Load and Use an Existing Function from the Community
  4. 8:16Dictionary Merging
  5. 8:38Optimization
  6. 10:59Meta Functions
  7. 15:05Future Work
  8. 20:43Final Questions
~/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.