miniblog.

← Back to all posts
Jan 26, 2020 at 01:59
I met some interesting gradual type people at POPL yesterday, and the schedule was full of good talks! Friday opened with a great introduction to probabilistic PLs with live demos. It showed usage, although it feels like "random programming with magic"
Probabilistic Programming (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

Jun 18, 2021 at 03:26
Dependabot takes a probabilistic approach to compatibility: how many other projects failed CI when upgrading? It's neat, but I wonder what the base rate for spurious CI failures is.
Photo
About Dependabot security updates - GitHub Docs
About Dependabot security updates - GitHub Docs
Dependabot can fix vulnerable dependencies for you by raising pull requests with security updates.
X / ?
Mar 26, 2020 at 06:11
From simple IP blocks to probabilistic deep packet inspection: the evolution of web censorship technology: https://news.ycombinator.com/item?id=22659534