HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
avsm
Package Managers à la Carte: a formal model of dependency resolution
55 points
avsm
2026-02-24T12:27:44Z
arxiv.org
Finding Solar Farms with a 42k-Parameter Model
3 points
avsm
2026-01-15T18:00:30Z
toao.com
OxCaml
14 points
avsm
2025-06-13T14:21:25Z
blog.janestreet.com
Evaluating how Local LLMs tackle First Year CS OCaml exercises
3 points
avsm
2025-05-07T16:00:50Z
toao.com
MirageOS: unikernel protocol hacking in Marrakech
7 points
avsm
2016-05-05T13:33:55Z
mirage.io
OCaml-TLS: ASN.1 and notation embedding
87 points
avsm
2014-07-11T13:56:49Z
openmirage.org
Liveblogging the Commercial Users of Functional Programming Workshop 2013
43 points
avsm
2013-09-23T15:22:44Z
www.syslog.cl.cam.ac.uk