avsm

24 ms·

211.
by avsm 12y ago
The Conduit I/O library that we're building in Mirage/OCaml allows the application to select which SSL transport layer implementation that it's linking with. Both Lwt_ssl (which binds to OpenSSL) and OCaml-TLS will be s
212.
by avsm 12y ago
Dave Scott's added support for a low-bandwidth channel into XL with the intention of reusing virtio-rng (and virtio-serial and friends). http://lists.xen.org/archives/html/xen-devel/2014-06/msg0293..
213.
by avsm 12y ago
The OCaml runtime is very easy to embed, as runtimes go. We've got it compiling in Mirage as a standalone kernel, as a FreeBSD kernel module, and others have had it running on 8-bit PIC microcontrollers: http://www.algo-pro
214.
by avsm 12y ago
We're putting together a front/backend ring (rndfront/rndback) that will proxy entropy from dom0 directly into the guest. It'll take some time for this to percolate into the public cloud, so we'll need to do what L
215.
by avsm 12y ago
Well done on noticing the slightly random cipher negotiation. That was actually deliberately put into the demo server on tls.openmirage.org to help us get more test coverage from visitors to the site (see the https://github.com&
216.
by avsm 12y ago
That's without parallelisation. There is a slowdown when building OCaml projects with a lot of packages, but this is being fixed with some build system improvements (removing the need for ocamlfind on every compiler invocation, switch
217.
by avsm 12y ago
Definitely. Although instead of sending network packets to the fuzz tester, the idea is to apply a testing module to the network stack functor that introduces a deterministic random number generator. This makes it much easier to write ass
218.
by avsm 12y ago
The overview of Real World OCaml might help answer that: https://realworldocaml.org/v1/en/html/prologue.html#why-ocam... "Among this worthy set of languages, OCaml stands apart because it manages to pro
219.
by avsm 12y ago
We've got an SSHv2 client/server in pure OCaml already, but are waiting for the OCaml TLS effort to be integrated before putting the SSH layer in. It will be use the toplevel libraries and be optional...
220.
by avsm 12y ago
> In terms of 'lines of code running' wouldn't a stripped down Linux kernel + Mirage application in direct mode beat Xen + Linux dom0 HW drivers + Linux dom0 Xen daemons/tools + Mirage unikernel? Well, you can drop in
221.
by avsm 12y ago
> On a more on-topic note however, aside from the benefits of running any kernel, such as windows, I wonder if there are any practical benefits of something like this vs something like CoreOS/docker. There are millions of lines less
222.
by avsm 12y ago
Camlp4 is still very much around and maintained out of tree, and will work in the next release of OCaml ( https://github.com/ocaml/camlp4 ). Extension points are intended to be simpler and more easily integrated into ed
223.
by avsm 12y ago
There are pros and cons to not using dynlink, since it requires another fork (although this can be avoided using a custom compiler driver). Avoiding bytecode in the compilation toolchain is really the main benefit though. This was original
224.
by avsm 12y ago
I'll just point you at the ports and packages documentation, which has answers to all your questions: http://www.openbsd.org/faq/faq15.html
225.
by avsm 12y ago
> you have no decent binary packages This is completely incorrect. OpenBSD has been all about building reproducible binary packages for quite a long time now, and the ports tree is regularly bulk-built and failing ports fixed or swept o
226.
by avsm 12y ago
When I looked at various options to support a Real World OCaml IDE recently, I picked Codio because it didn't require any write access to my GitHub account. Cloud9 wanted access to all my repositories, including the private ones, just
227.
by avsm 13y ago
OCaml works great for systems programming (its runtime is orders of magnitude simpler than F# and the CLR). See http://openmirage.org for a bunch of libraries that may be of use to you, such as TCP/IP in OCaml (or https:&
228.
by avsm 13y ago
This won't be a problem for very long. See http://www.cl.cam.ac.uk/~sd601/multicore.md for the working design.
229.
by avsm 13y ago
> Last time I checked, the ability to write Javascript using both languages was of experimental and/or novelty use only (hence the "cupholders"). Facebook uses an OCaml js_of_ocaml-based frontend for a large chunk of their
230.
by avsm 13y ago
> This might be entirely superficial of me, but I always preferred Haskell over OCaml simply because OCaml required me to type ";;" after every line. That's easily fixed: only the toplevel requires ;; (to commence evaluati
231.
by avsm 13y ago
The conversation between the OCaml creators and the community is a lot more focussed. Back in 2005 when we were developing the Xen toolstack using OCaml [1], I subscribed Xensource to the Caml Consortium [2]. This let us meet with the mai
232.
by avsm 13y ago
That's a pretty reasonable thing to want. One area where we'd like to improve OPAM is to output Debian and RPM spec files. This requires some surgery in various build systems, but would make upstreaming binary packages and relea
233.
by avsm 13y ago
That's exactly right. Since everything's a library, the normal OCaml dependency analysis pulls in a complete manifest of everything that goes into the final output. In the Xen output mode, this implies that the manifest contains
234.
by avsm 13y ago
No, the idea is a bit broader. By structuring your application in a modular set of libraries, you can break up the "ambient dependencies" (e.g. the monolithic kernel) into what your application actually needs. Once that's don
235.
by avsm 13y ago
> has the side-effect of making small native binaries impossible fear not; support for module aliases in signatures will resolve that problem quite soon, and quite elegantly too.
236.
by avsm 13y ago
It's worth pointing out that we've written vast amounts of OCaml in Xen/XenServer from about 2005 (now used in lots of public cloud installations like Rackspace), and much of this choice was inspired by Richard's bloggin
237.
by avsm 13y ago
It's important to remember that the standard library is the compiler standard library . It's actually very useful to have it be so minimal when compiling OCaml to odd embedded and microkernel targets (such as our own MirageOS a
238.
by avsm 13y ago
An obvious note here might be that your use of OCaml here predates (for example) Go by quite a few years. Continuity is an important consideration, instead of having to rewrite your code every few years in the latest language of choice.
239.
by avsm 13y ago
There are now several experimental multithreaded OCaml runtimes floating around, which also have the key property of not slowing down the single-threaded case. I don't expect multicore to remain a limitation for OCaml in 2014.
240.
by avsm 13y ago
Marius Eriksen (who leads a lot of the Scala work at Twitter) gave us a great quote for the back of the book that says it best. Programmers are digital choreographers, carefully balancing correctness, modularity, concurrency,

More ›