I attended a bunch of great talks at #POPL yesterday.
My highlight yesterday was a delightful talk applying program synthesis techniques for generating visualisations! Elegant and practical.
miniblog.
Related Posts
Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented!
Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv
On how far programming language research has come, and the maturity of tools and techniques that make more ambitious projects viable:
Generated Code Generates Overconfident Coders: https://www.deeplearning.ai/the-batch/issue-180/
A study of programmers found that using a LLM for completion produced buggier code but users were more confident in it.
I wonder if this generalises to other completion techniques?
