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

May 17, 2023 at 04:10
An introduction to devcontainers, the advantages of a reproducible local dev environment and where it makes sense:
Reproducible Development with Devcontainers
Reproducible Development with Devcontainers
Devcontainers provide a reproducable, reusable, simplified developer experience. Get a tour of a devcontainer including how they work, how to use them most efficiently, and how they differ to deployment containers.
Feb 4, 2023 at 09:13
Short and very accessible introduction to implementing unification, including Python sample code:
Unification - Eli Bendersky's website
Jan 12, 2023 at 06:18
https://www.youtube.com/watch?v=0DLdQ6yb7h8 is a really accessible introduction to programming workflows with Sly for Common Lisp. The notion of 'stickers' is novel to me: you mark places in the code where you want to remember values (essentially tracing) or pop to a debugger (breakpoints).