13 stories from 10 submitters
  1. 5
    What is soundness (in static analysis)? compsci pl-enthusiast.net
    calvin avatar via calvin 1 year ago | cached | 2 comments
  2. 6
    Software Security is a Programming Languages Issue programming security pl-enthusiast.net
    GeoffWozniak avatar via GeoffWozniak 1 year ago | cached | no comments
  3. 4
    Interview with Matt Might, Part 2 - The PL Enthusiast person programming pl-enthusiast.net
    rain1 avatar via rain1 2 years ago | cached | no comments
  4. 13
    Software Security Ideas Ahead of Their Time - The PL Enthusiast historical security pl-enthusiast.net
    artem avatar via artem 4 years ago | cached | no comments
  5. 4
    What is a bug? programming pl-enthusiast.net
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments
  6. 6
    Interview with Mozilla's Aaron Turon rust pl-enthusiast.net
    craigstuntz avatar via craigstuntz 4 years ago | cached | no comments
  7. 9
    Interview with Go's Russ Cox and Sameer Ajmani go person programming pl-enthusiast.net
    jcb avatar via jcb 5 years ago | cached | no comments
  8. 13
    What is noninterference, and how do we enforce it? compsci programming security pl-enthusiast.net
    awruef avatar via awruef 5 years ago | cached | 2 comments
  9. 5
    What is probabilistic programming? compsci programming pl-enthusiast.net
    nikola avatar via nikola 5 years ago | cached | no comments
  10. 14
    What is type safety? compsci pl-enthusiast.net
    lcapaldo avatar via lcapaldo 5 years ago | cached | 4 comments
  11. 11
    What is memory safety? compsci pl-enthusiast.net
    lcapaldo avatar via lcapaldo 5 years ago | cached | no comments
  12. 6
    Why are some languages adopted and others aren’t? compsci culture pl-enthusiast.net
    nikola avatar via nikola 5 years ago | cached | no comments
  13. 6
    Developments in PL, and why they matter ☶ compsci pl-enthusiast.net
    nikola avatar via nikola 5 years ago | cached | 1 comment