One wonderful aspect of POPL is being able to speak to experts.
I've admired Nadia Polikarpova's synthesis work for a while, so I jumped at the opportunity to do a Synquid tutorial led by her!
https://popl20.sigplan.org/details/POPL-2020-tutorialfest/3/-T3-Synthesizing-Programs-from-Types
Related Posts
I travelled recently with six electronic devices, and every single one used USB-C for charging. It was wonderful, and not an experience I've had before.
I've added an eval button to the website of my programming language!
It's a been a lot of work to lock down appropriately. It still needs some UI polish but it's so nice to be able to try snippets immediately.
https://www.garden-lang.org/
One interesting aspect of collecting coins in a platformer like mario: it makes the level stateful.
You can see if you've been somewhere before based on whether there are coins present.