Ernest Ng
@ngernest2.bsky.social
PL/Systems PhD student at Cornell
ngernest.github.io
ngernest.github.io
Reposted by Ernest Ng
If you are considering applying for a PhD this Fall, please get in touch. I’m looking for students who are interested in PL, SE, and/or HCI — and ideally all three! You can find more information about me and my work on my website: harrisongoldste.in
Harrison Goldstein
harrisongoldste.in
May 7, 2025 at 6:38 PM
If you are considering applying for a PhD this Fall, please get in touch. I’m looking for students who are interested in PL, SE, and/or HCI — and ideally all three! You can find more information about me and my work on my website: harrisongoldste.in
Just skimmed through the paper, such a cool idea! I would love to be able to use Allegro as a drop-in replacement for Base_quickcheck for my future OCaml testing needs
March 26, 2025 at 3:23 AM
Just skimmed through the paper, such a cool idea! I would love to be able to use Allegro as a drop-in replacement for Base_quickcheck for my future OCaml testing needs