3 ms·
The primary fun filled failure, https://billwadge.wordpress.com/2020/02/06/honest-wes-just-funnin-serious-work-viciously-parodied/ https://billwadge.wordpress.c
by gaogao 7y ago
The primary fun filled failure, https://billwadge.wordpress.com/2020/02/06/honest-wes-just-funnin-serious-work-viciously-parodied/ https://billwadge.wordpress.com/2020/02/06/honest-wes-just-f..., is a pretty neat excerpt I had never read before, especially as one who toes that Wizard approach towards formal verification.
- dang 7y agoIt's surprising how well that holds up. I feel like I recognized all those types intimately.
- sideshowb 7y agoThe Walrus operator should set things straight! (I lold)
- dgreensp 7y agoThanks for linking to this, it was a good read :) The author seems like a cool (IMO) guy who is a bit insecure about whether he’s supposed to be seeking people’s approval or what. I couldn’t handle the status-seeking and other social dynamics of academia, so I became an entrepreneur.
- neonate 7y agoFor those who don't know, he is an esteemed computer scientist who created the Lucid dataflow language with Ed Ashcroft. Much praised by Alan Kay among others.