miniblog.

← Back to all posts
Jan 23, 2020 at 04:01
Highlight of #POPL yesterday: seeing some excellent discussions of Coq for verifying programming languages! https://popl20.sigplan.org/details/PLMW-POPL-2020/3/Theorem-provers-are-a-P-L-researcher-s-best-friend I came away with a much clearer sense of *how* you'd verify an optimising compiler.
Theorem provers are a P.L. researcher's best friend (PLMW 2020) - POPL 2020
What is PLMW? The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women and underrepr ...

Related Posts

Mar 12, 2025 at 04:57
84
It's interesting to see the "why not Rust?" discussions around the TypeScript news that they're using Go. It shows that Rust has reached a level of maturity that it's a default for some users. Go does seem to be in a sweet spot for AOT languages with GC though.
Feb 18, 2025 at 16:17
8
Copilot doesn't offer a way of disabling completion inside comments. People have discovered a comical workaround: swearing in the comment!
Possibility to disable comment suggestion? · community · Discussion #8062
Possibility to disable comment suggestion? · community · Discussion #8062
This product is really incredible. The one thing I would like to have is the ability to disable these two behaviors upon will: -disable comment auto-complete - I like to write my comments myself an...
Aug 22, 2023 at 06:22
TIL about Giscus, an alternative to utterances for GitHub-based blog comments that supports reactions and GitHub discussions:
Moving from utterances to giscus
Here