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