the_benno

7 ms·

31.
by the_benno 5y ago
If you're interested in this kind of thing, definitely also check out the upcoming HOPL conference -- co-located (whatever that means for a virtual conference) with PLDI this June. Matthias was on the program committee, along with a b
32.
by the_benno 5y ago
In PL academia (including in the US) many people prefer dot paper for physical research notebooks. When you're mixing together diagrams, prose, inference rules, semantics, code, etc. it's a quite nice and flexible medium.
33.
by the_benno 5y ago
Thanks, I'll dig in some more. Perhaps I'm unfairly projecting onto Mounk and conflating his work with that of other "intellectual dark web" types and their fakakta cancel-culture takes. I haven't followed him clo
34.
by the_benno 5y ago
Personally, I'm a little less convinced of the 1st bullet point. In particular, I see many obstacles to a "free society in which everyone gets to pursue a dignified life": healthcare costs, ongoing climate disaster, erosion o
35.
by the_benno 5y ago
Many SE research papers include a "threats to validity" section which is more or less what you're describing
36.
by the_benno 5y ago
Cops aren't allowed to murder people on sight -- "junkie" or otherwise. Never understood why people seem to think this is a compelling argument.
37.
by the_benno 5y ago
A very cool and surprising result that I always thought should've received more fanfare in non-PL circles. Just as a little extra context on what "unsound" means here since the term is often misused or used in different conte
38.
by the_benno 6y ago
I can confirm that the second edition gives a quite-good treatment of data flow analysis. Not as thorough as you'd find in a proper program analysis book (where Nielson is the usual choice, though the recent Rival/Yi book on abst
39.
by the_benno 6y ago
Yes, what you call minced beef is called ground beef in America. Not to be confused with mincemeat, though, fellow Americans! I was very confused the first time I had that in the UK.
40.
by the_benno 6y ago
We built an effect system to enforce thread safety in Rx-based android apps a few years ago and published a paper on it at ASE, if you're interested: plv.colorado.edu/benno/ase18.pdf the idea should generalize to whatever thr
41.
by the_benno 6y ago
As a 27-year-old CU PhD student and staff member, I just want to say that this is a welcome development. The university recklessly opened this fall without adequate security measures in place over the loud protests of faculty and staff, an
42.
by the_benno 6y ago
This seems like a kneejerk response to a strawman version of Zinn. He's a pretty middle-of-the-road academic politically speaking and doesn't get anywhere near what I would call far-left. As for "pessimistic", well, I&#
43.
by the_benno 6y ago
Yes, this is an extremely active area of research with lots of connections in the broader programming languages and formal methods communities. For the last decade or so, POPL has had a co-located workshop on proof, the programs of which w
44.
by the_benno 6y ago
Wind Waker on the gamecube is a perfect example of what you're describing. Almost 20 years old and I still think the cel-shaded graphics look great, especially when compared to its more "realistic" contemporaries.
45.
by the_benno 6y ago
This is a beautiful paper that anyone interested in abstract interpretation and sound static analysis probably already knows, but the core idea is quite accessible. An abstract machine is a formalization of the concrete semantics of a progr
46.
by the_benno 6y ago
This is an awfully confident statement that is unsupported by available evidence on covid transmission and health risks. On what basis do you say that in person classes are completely safe when reopening of indoor spaces has led to massive