miniblog.

← Back to all posts
Jan 24, 2020 at 05:10
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.
Visualization by Example (POPL 2020 - Research Papers) - POPL 2020
The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages. The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

Related Posts

Mar 5, 2026 at 10:49
41
I'm still not sure whether a language should include a "kitchen sink linter" like Rust's clippy or have a package oriented "thousand flowers bloom" linter like eslint for JS and TS. Clippy is delightful out of the box but eslint makes it so easy to have project specific lints.
Nov 19, 2024 at 04:52
Some delightful examples of good compiler error messages in the latest Gleam release:
Context aware compilation | Gleam programming language
Feb 13, 2024 at 16:25
I've been using a 'golden tests' library for testing my parser, and it's just delightful. Rather than writing a verbose assertion about the resulting AST, I can just re-run my tests until the output looks good!