eriangazag

4 ms·

1.
by eriangazag 5mo ago
(author of the post here) Hey dsab! I agree, but CCSDS is what we have today. We need to support it properly first if we ever want to extend or transition away. It also doesn't help that there's no good open-source implementation
2.
by eriangazag 5mo ago
(author of the post here) Hey Maksadbek! Great question. It's a trade-off between speed of writing and trust in what you wrote, and OCaml (especially OxCaml) sits at a really good point on that curve. Ada/SPARK has the strongest v
3.
by eriangazag 5mo ago
(author of the post here) Hey Berké! I remember your talk very well (I was in the room), super interesting and it really got me thinking about this area! Since then, the more I look into it, the more I see a fit with our MirageOS unikernel
4.
by eriangazag 3y ago
Absolutely, MirageOS is indeed pivotal in the development of unikernels. MirageOS not only developed the unikernel concept but also coined the term 'unikernel'. MirageOS represents a significant shift in cloud and network computin
5.
by eriangazag 3y ago
Wasm_of_ocaml is a fork of Js_of_ocaml which compiles OCaml bytecode to WebAssembly. The generated code works with Chrome beta and node V8 canary.
6.
Wasm_of_OCaml(github.com)
118 points by eriangazag 3y ago|52 comments
7.
Dune, the new build system for OCaml is released(discuss.ocaml.org)
4 points by eriangazag 8y ago|0 comments
8.
Easy distributed analytics with Irmin 1.0(mirage.io)
2 points by eriangazag 10y ago|0 comments
9.
by eriangazag 11y ago
As for the rest of MirageOS, Irmin is a "library" database, means that you have a bunch of components than you can re-use in different contexts. Two interesting contexts are: - the browser, where some components of Irmin are trans
10.
by eriangazag 11y ago
Yes, you can easily add thing into a "staging area" of your database (which is hold in-memory), and then "commit" your changes to update multiple keys in one go. You can also use this mechanism to keep track of reads (wh