avsm

25 ms·

241.
by avsm 13y ago
Another cool one from CUFP this year is how Facebook is using OCaml to add incremental type inference to their vast PHP code base. There's (slightly hard to see video) here, but I'm sure Facebook will publicize it more widely whe
242.
by avsm 13y ago
For anyone curious to hear more and is at QCon SF today, I'll be speaking about a new library operating system we've been building in OCaml for the past few years. The slot is in a couple of hours at 1030 PST. qcon link: http:&#
243.
by avsm 13y ago
Xavier Leroy committed experimental native AArch64 support to OCaml trunk over the summer. I'm planning to add it to the OPAM package testing pool as soon as I get my hands on some Calxeda (or other) hardware. https://githu
244.
by avsm 13y ago
I'll get the conference talks up as soon as we get the raw footage. They're normally put up on http://cufp.org/videos We also write up a more structured version of the results for (open-access) publication in the
245.
Liveblogging the Commercial Users of Functional Programming Workshop 2013(syslog.cl.cam.ac.uk)
43 points by avsm 13y ago|5 comments
246.
by avsm 16y ago
Yes. Here's the little script that wraps up Mirage kernels into EC2 AMIs. https://github.com/avsm/mirage/blob/master/scripts/ec2.sh Unfortunately, I can't figure out the AWS magic to build EBS images directly, which means that you can't u
247.
by avsm 16y ago
I think you missed the bit of my reply where I explained how this could all work on Linux too. And you seemed to have also missed the other bit where I explained why a microkernel is nicer (hint: concurrency, no need for multiple processes
248.
by avsm 16y ago
Part of the Mirage goal is to experiment with different parallelisation frameworks on top of a very simple serial core: Erlang's OTP is one way to do this, but there are many others. Personally, I love OTP but dislike the Erlang syntax and
249.
by avsm 16y ago
that's a great project you have there too, the more the merrier! :) I'll drop you a note in a few days describing my libevent replacement in Mirage; it's basically using LWT to convert async events into synchronous looking code. Would be i
250.
by avsm 16y ago
(author here) Yes, the principles described here could easily be applied to a full Linux kernel. In fact, one of the hacks on my TODO list is to statically link a Mirage application against a Linux kernel (without a userspace) to run them