Hacker News
- Software Security Is a Programming Languages Issue (2018) http://www.pl-enthusiast.net/2018/08/13/security-programming-languages-issue/ 118 comments
- What is soundness in static analysis? (2017) http://www.pl-enthusiast.net/2017/10/23/what-is-soundness-in-static-analysis/ 3 comments
- Rise of the Robots: Review and Reflection http://www.pl-enthusiast.net/?p=1272 4 comments
- Interview with Matt Might http://www.pl-enthusiast.net/2016/03/24/interview-matt-might/ 13 comments
- What is PL research and how is it useful? http://www.pl-enthusiast.net/2015/05/27/what-is-pl-research-and-how-is-it-useful/ 62 comments
- Dynamic Software Updating: Linux 4.0 and Beyond http://www.pl-enthusiast.net/2015/04/14/dynamic-software-updating/ 8 comments
- Interview with Go’s Russ Cox and Sameer Ajmani http://www.pl-enthusiast.net/2015/03/25/interview-with-gos-russ-cox-and-sameer-ajmani/ 107 comments
- What is probabilistic programming? http://www.pl-enthusiast.net/2014/09/08/probabilistic-programming/ 9 comments
- What is type safety? http://www.pl-enthusiast.net/2014/08/05/type-safety/ 70 comments
- What is memory safety? http://www.pl-enthusiast.net/2014/07/21/memory-safety/ 5 comments
Lobsters
- What is soundness (in static analysis)? http://www.pl-enthusiast.net/2017/10/23/what-is-soundness-in-static-analysis/ 2 comments compsci
- What is noninterference, and how do we enforce it? http://www.pl-enthusiast.net/2015/03/03/noninterference/ 2 comments compsci , programming , security
- What is type safety? http://www.pl-enthusiast.net/2014/08/05/type-safety/ 4 comments compsci
- Software Security is a Programming Languages Issue http://www.pl-enthusiast.net/2018/08/13/security-programming-languages-issue/ 7 comments programming
- Software Security is a Programming Languages Issue - The PL Enthusiast http://www.pl-enthusiast.net/2018/08/13/security-programming-languages-issue/ 3 comments rust
- Software Security Ideas Ahead of Their Time http://www.pl-enthusiast.net/2016/02/01/software-security-ideas-ahead-of-their-time/ 4 comments programming
- Interview with Mozilla's Aaron Turon - The PL Enthusiast http://www.pl-enthusiast.net/2015/06/09/interview-with-mozillas-aaron-turon/ 4 comments rust
- What is Programming Languages research and how is it useful? http://www.pl-enthusiast.net/2015/05/27/what-is-pl-research-and-how-is-it-useful/ 5 comments compsci
- What is noninterference, and how do we enforce it? http://www.pl-enthusiast.net/2015/03/03/noninterference/ 3 comments netsec
- What is probabilistic programming? http://www.pl-enthusiast.net/2014/09/08/probabilistic-programming/ 3 comments programming
- Who teaches functional programming? http://www.pl-enthusiast.net/2014/09/02/who-teaches-functional-programming/ 315 comments programming
- What is type safety? http://www.pl-enthusiast.net/2014/08/05/type-safety/ 48 comments programming
- What is memory safety? http://www.pl-enthusiast.net/2014/07/21/memory-safety/ 2 comments programming