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. https://popl20.sigplan.org/details/POPL-2020-Research-Papers/53/Visualization-by-Example
Related Posts
Installed Linux on a new laptop yesterday, and needed to find a USB stick in a dusty drawer.
The stick previously had Arch Linux Installer 2021 on it! I can't think of any other uses for the device these days.
Some delightful examples of good compiler error messages in the latest Gleam release: https://gleam.run/news/context-aware-compilation/
Difftastic has been cited in a paper!
Modernizing SMT-Based Type Error Localization https://arxiv.org/abs/2408.09034
The authors use difftastic to work out which parts of a buggy program have actually changed, a great use case :)