Audience member asks whether Sorbet's runtime checks are implemented on top of Ruby's TracePoint API (as RBS is) and whether the performance overhead Erwin mentioned stems from TracePoint being slow. Erwin Kroon admits he has no clue and points to John Hawthorne at GitHub as much more involved in this; he would love to dive deeper and invites follow-up offline.