4 ms·Parse-Time vs. Run-Time-Based Language Servers: Tradeoffs and Opportunities [pdf]2 points by matt_d 4y ago