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!
miniblog.
Related Posts
404 pages are an underappreciated opportunity to serve users. If I visit a /foo-bar-baz URL that doesn't exist, ideally the site would search for content matching foo, bar or baz rather than just displaying 'sorry' or a pun.
Jails using video call products! https://arstechnica.com/tech-policy/2019/04/more-jails-replace-in-person-visits-with-awful-video-chat-products/
An odd mix of a new technology trend and a new opportunity for revenue.
On building business models on top of open source projects: https://medium.com/@johnmark/open-source-business-models-considered-harmful-2e697256b1e3
(Different things have been tried historically, but businesses need to provide value! FOSS is not necessarily a business opportunity.)