Y Hacker News new | ask | show | jobs

user: gadmm created: 2019-02-27 karma: 42 https://guillaume.munch.name/ submissions: Safety in an Unsafe World 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Memory Management with Stephen Dolan (OCaml) 3 points | 0 comments Does the Bronze GC Make Rust Easier to Use? A Controlled Experiment 3 points | 2 comments A program for the full axiom of choice 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Featherweight Go (A generics design for Go) 4 points | 0 comments