| 1. | | Package Managers à la Carte: a formal model of dependency resolution (arxiv.org) |
| 55 points by avsm 33 days ago | past | 17 comments |
|
| 2. | | Finding Solar Farms with a 42k-Parameter Model (toao.com) |
| 3 points by avsm 73 days ago | past |
|
| 3. | | OxCaml (janestreet.com) |
| 14 points by avsm 9 months ago | past |
|
| 4. | | Evaluating how Local LLMs tackle First Year CS OCaml exercises (toao.com) |
| 3 points by avsm 10 months ago | past |
|
| 5. | | MirageOS: unikernel protocol hacking in Marrakech (mirage.io) |
| 7 points by avsm on May 5, 2016 | past |
|
| 6. | | OCaml-TLS: ASN.1 and notation embedding (openmirage.org) |
| 87 points by avsm on July 11, 2014 | past | 11 comments |
|
| 7. | | Liveblogging the Commercial Users of Functional Programming Workshop 2013 (cam.ac.uk) |
| 43 points by avsm on Sept 23, 2013 | past | 5 comments |
|
