avsm

18 ms·

151.
by avsm 12y ago
The XenServer toolstack supports exactly this mode of operation in a pool of physical hosts via a 'host evacuate' operation that live relocates VMs away and brings them back once the host upgrade is complete. http://doc
152.
by avsm 12y ago
It's worth noting that most of these bugs are right in the innards of the x86 emulation. Xen/ARM is a breath of fresh air, since they took the decision to only support the new ARMv7 virtualization extensions. This eliminate the
153.
by avsm 12y ago
I really like some aspects of CommonJS/OCaml -- while digesting the whole thing, I've put together an `opam-boot` tool that does the standalone bootstrap so that you can build OCaml/OPAM applications without either OCaml or O
154.
by avsm 12y ago
I can't really usefully answer that question without knowing more about what your purpose is. If your purpose is to learn how to program in a functional style, then either language is fine. Other than that, the main difference between
155.
by avsm 12y ago
> I think most of the advantages of FP languages (as they exist today) You seem to be describing Haskell with that rather overgeneral (and incorrect) statement above. OCaml supports mutation and explicit sharing just fine, and is strict
156.
by avsm 12y ago
There are a few libraries out there; Async_parallel is one: https://blogs.janestreet.com/async-parallel/ Lwt also has the Release framework which does multiprocess: https://github.com/andrenth/rele
157.
by avsm 12y ago
> I'm not sure if anyone is working on making OCaml better to debug in gdb Mark Shinwell is working on just this; he has a very impressive branch of OCaml which can do OCaml-level source backtraces in gdb; WIP tree is here for anyon
158.
by avsm 12y ago
> Functional programming languages shine when they deal with complex, recursive data structures While I obviously can't comment on the details of the course you took a decade ago, I do have to disagree vehemently with this. OCaml i
159.
by avsm 12y ago
I'm not keen on putting in SYN cookies and other DOS mitigations until the core TCP stack is really solid. TCP is a protocol that is a remarkable survivor in the face of small bugs that cause packet loss (fast retransmit kicks in, for
160.
by avsm 12y ago
His master branch isn't uptodate, but the pinata branch that's deployed is tracking the head of mirage/mirage-tcpip. See the opam manifest here: https://raw.githubusercontent.com/mirleft/btc-pinata/
161.
by avsm 12y ago
As Bruce Schneier pointed out [1], the price is definitely not meant to be a massive incentive -- any cryptographer worth their salt is going to be worth a hell of a lot more than our prize amount. But at the same time, we're really k
162.
by avsm 12y ago
Amir Chaudhry has explained the background to this in his blog post: http://amirchaudhry.com/bitcoin-pinata/
163.
by avsm 12y ago
We're still cleaning that up for a proper release. It's based on js_of_ocaml and d3.js, but we're now porting it to use Irmin as its persistence model so that we can rewind the simulator to arbitrary points in the traces.
164.
by avsm 12y ago
The thing to remember with exceptions is that they're for exceptional situations. We check explicitly in the return value for "common" errors such as a read failure, and higher level control flow catches exceptions that bubb
165.
by avsm 12y ago
The "building block" APIs that Mirage use tend to be exception free, for example: https://github.com/mirage/mirage/blob/master/types/V1.mli#L2... type error = [ | `Unknown o
166.
by avsm 12y ago
The Mirage OS configuration languages use them to provide a safe interface between device driver descriptions and module implementations. The core is as simple as: type _ typ = | Type: 'a -> 'a typ | Function:
167.
by avsm 12y ago
My job for new years day recovery is to update the website to go live on IPv6 and TLS. But for now, happy new year everyone!
168.
by avsm 12y ago
We're working on getting it cleaned up for a proper open-source release. It touches a lot of the Xen toolstack in order to reduce the serialisation latency of starting and stopping VMs.
169.
by avsm 12y ago
The OCaml module system doesn't exist in Rust, and is key to being able to fling around large abstractions with very little runtime cost. It's worth bearing in mind that OCaml is really two distinct languages: the core ML-style la
170.
by avsm 12y ago
Now that's interesting -- I've ordered one :-) Can't resist trying out the new AArch64 native code backend in OCaml 4.02! Jerome Vouillon's Android repository looks like it does most of the hardwork to get a userspace v
171.
by avsm 12y ago
I'm looking forward to trying this out! Now that MirageOS OCaml code compiles to both JavaScript and Xen unikernels, the next step is to try and link in some applications as an iOS app...
172.
by avsm 12y ago
They do indeed use js_of_ocaml in the Flow test suite to compile the full Flow parser to JavaScript and then test that. See the related discussion on packaging it in the OPAM pull request: https://github.com/ocaml/opam-
173.
by avsm 12y ago
All of the core compiler library does compile to efficient JavaScript. For instance, see the IOCamlJS interactive notebooks that embed the entire compiler in the browser with a web UI. Just press the play button: - http://andre
174.
by avsm 12y ago
There is no shared text at all between Real World OCaml and Jason Hickey's course notes. We wrote the RWO content from scratch due to the different style (O'Reilly vs academic) and set of libraries used.
175.
by avsm 12y ago
The homepage is at https://opam.ocaml.org , and the repository of packages at https://github.com/ocaml/opam-repository . Mailing list is opam-devel@lists.ocaml.org.
176.
by avsm 12y ago
It goes beyond just demos... we can apply this to a vast number of OCaml Mirage libraries and speed things up quite a lot. One of the nice things about OPAM (the OCaml package manager) is that it can recompile upstream library dependencies
177.
by avsm 12y ago
WODI (not WOBI) didn't exist when we started Real World OCaml, and we developed OPAM along the way. We've also started putting Windows support in place via Appveyor: https://github.com/ocaml/opam/blob&#x2
178.
by avsm 12y ago
There's nothing wrong with objects or classes in OCaml -- it's just that most problems can be expressed using a simplest abstraction technique such as modules. OCaml has steadily improved in every recent release to further reduce
179.
by avsm 12y ago
While I enjoy a spot of reverse engineering as much as the next hacker, it's probably easier just to ask them for the protocols in this case; try http://twitter.com/nickludlam
180.
by avsm 12y ago
Wordpress, sadly :-)

More ›