miniblog.

Jun 23, 2019 at 13:10

Friday's xkcd is blunt but fair: it's very hard to secure any part of a modern computer stack, and we depend on all of it:

xkcd: Stack

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.

Jan 14, 2017 at 16:58

Friday's xkcd is painfully true. https://xkcd.com/1785/ (I once visited a Google office in 2012 and hit a Gnome bug with IPv4+IPv6)

Wifi

Apr 8, 2014 at 17:20

Failure Friday: http://t.co/KgX1JM3m5m Not quite as aggressive as ChaosMonkey, but all failure testing is worthwhile.

Related Posts