Ocaml — Entidade

anil.recoil.org·há cerca de 20 horas

Using Forester to turn Foundations of CS into interactive evergreen lectures

I've heard good feedback from my undergrad students about how Jon Sterling publishes his 1A Discrete Maths lectures in a structured online form using his own Forester tool. As my sabbatical comes to a

anil.recoil.org·há 8 dias

.plan-26-32: Finally a use for serverless and found the Forester for the trees

Two paper updates this week! The first is that our GETMobile article on micro-NPUs got published in the ACM SIGMOBILE magazine. This is a shorter, more digestible magazine version of the paper from la

anil.recoil.org·há 9 dias

Updating to the OxCaml 5.2.0-minus39 opam packaging

This website is written using the OxCaml language extensions from Jane Street, so I can experiment with zero allocation frameworks written in OCaml. Since David Allsopp released oxcaml-minus39 a few

anil.recoil.org·há 15 dias

.plan-26-31: Sorting out Tessera and Evidence TAP infrastructure

I had a bunch of infrastructure work I had to get done this week, and so I went headsdown hacking to sort out both TESSERA and the Evidence TAP this week! I spent it moving a petabyte of TESSERA embed

anil.recoil.org·há 22 dias

.plan-26-30: Bananas ripen, models open, and OxCaml releases

I was in Ireland most of the week attending to family matters, so another quieter weeknote! My picture of the week is that the Pembroke College Cambridge banana tree has, err, sprouted real bananas, s

anil.recoil.org·há 29 dias

.plan-26-29: Perfect weather, imperfectly measured, precisely predicted

I returned to Cambridge during the nice lull after the exams and graduation rush, and enjoyed a very pleasant week indeed catching up! I examined my first viva in the Faculty of Law, ran a TESSERA sta

anil.recoil.org·há cerca de 1 mês

.plan-26-28: What fun papers piled up while I was out at sea

I reluctantly disembarked from the NatGeo Endurance on Thursday and returned from the Arctic to find the UK in the grip of a proper heatwave! The train home almost undid me with the temperature transi

tarides.com·há cerca de 2 meses

Explore OCaml, MirageOS, and Secure Systems Engineering

Dive into the latest trends in distributed systems, cloud infrastructure, functional programming, and more from the experts at Tarides.