Top New Best Ask Show Jobs

avsm

1,532 karma · joined September 17, 2010

anil.recoil.org hacker @ocaml faculty @cambridge computer laboratory fellow @pembroke college cambridge hacker @openbsd

submissions comments

Just the rumour of a bug is enough to find an exploit these days

anil.recoil.org·399 pts·avsm·

The Internet needs an antibotty immune system, stat

anil.recoil.org·2 pts·avsm·

Package Managers à la Carte: a formal model of dependency resolution

arxiv.org·55 pts·avsm·

Finding Solar Farms with a 42k-Parameter Model

toao.com·3 pts·avsm·

OxCaml

blog.janestreet.com·14 pts·avsm·

Evaluating how Local LLMs tackle First Year CS OCaml exercises

toao.com·3 pts·avsm·

MirageOS: unikernel protocol hacking in Marrakech

mirage.io·7 pts·avsm·

OCaml-TLS: ASN.1 and notation embedding

openmirage.org·87 pts·avsm·

Liveblogging the Commercial Users of Functional Programming Workshop 2013

syslog.cl.cam.ac.uk·43 pts·avsm·