avsm

13 ms·

61.
by avsm 1y ago
David Allsopp had an oxcaml branch compiling on Windows a few months ago, so it’s in the queue…
62.
by avsm 1y ago
If anyone's trying out the new opam switch, I found it helpful to use: env OCAMLPARAM="alert=-unsafe_multidomain,_," opam install cohttp-lwt-unix Because alerts are promoted to errors, they break existing package installs unn
63.
OxCaml(blog.janestreet.com)
14 points by avsm 1y ago|0 comments
64.
Evaluating how Local LLMs tackle First Year CS OCaml exercises(toao.com)
3 points by avsm 1y ago|0 comments
65.
by avsm 1y ago
I use Gandi for dozens of domains. This incident aside, they've been reliable and undramatic, and I don't mind paying a small premium for something as important as DNS. Has anyone else been impacted by the sale of Gandi to Your.On
66.
by avsm 1y ago
This project really should be resurrected; I'll try to find a student for this in Cambridge for the next academic cycle! I was just thinking a few days ago [1] about how a webassembly architecture for Linux brings out many of the same
67.
by avsm 1y ago
As the mentioned acquiree, I agree :-) > I'm surprised the unikernel community hasn't focused on this application sooner. There just wasn’t a compelling usecase before agents to need a serverless browser. And Chromium is basica
68.
by avsm 2y ago
Peertube has been a fantastic way to mirror videos from Youtube and have embedded versions that are ad- and cookie-free. It's got support for mirroring channels from the other video providers which makes it a breeze to run. I've d
69.
by avsm 3y ago
There was a Commercial Uses of Functional Programming workshop talk back in 2009 where the engineers behind Facebook Chat talked about their use of Erlang. http://cufp.org/2009/functional-programming-facebook.html The
70.
by avsm 4y ago
Effects are included in OCaml 5, but considered experimental. This doesn't stop us from building libraries that take advantage of them internally, in order to provide really nice external interfaces. The best developed one is "ei
71.
by avsm 4y ago
The libraries are embedded in quite a few places; for example it's used in every single Docker for Desktop instance: - https://mirage.io/blog/2022-04-06.vpnkit - https://www.youtube.com/watch?v=zqF
72.
by avsm 5y ago
This all started because we wanted to _get away_ from the need to fork or run multiple processes, since that's so hard in a variety of hardware architectures (like mobile or embedded). Other researchers also share the dislike of fork..
73.
by avsm 5y ago
Just substitute 'microservice' with 'unikernel' and you do broadly the same things. There's a prometheus library that you link with the MirageOS unikernel and it exports using that: https://github.com&#x2
74.
by avsm 5y ago
It's too early to say. Eio is still under very active development, so we'll have to see how it goes. The more useful feedback we get on it now, the more likely it'll be submitted for consideration in the OCaml stdlib when app
75.
by avsm 5y ago
work has already begin on a direct-style IO library that internally uses effects. See: - https://github.com/ocaml-multicore/eio#readme for more information on the Eio library - https://watch.ocaml.org/v
76.
by avsm 5y ago
That's right -- we first wanted to establish that existing OCaml code wouldn't be adversely impacted. There are various efforts ongoing to build interested (locked and lock-free) concurrent data structures, so that will inform th
77.
by avsm 5y ago
(co-author of the OCaml memory model paper here) The details of the 'LDRF' (local data race freedom) property are described in detail here: https://anil.recoil.org/papers/2018-pldi-memorymodel.pdf The perform
78.
by avsm 5y ago
(Coauthor of RWO here) We are just finishing edits of a few chapters (the tooling, testing and GADT ones), and then it’ll be off to the publishers early in the new year. The online one is therefore pretty up to date. There’s also a thread o
79.
by avsm 5y ago
You may find the “nnpchecker” configure option in 4.13.0 useful. This will print a detected use of naked pointers to stderr, which can hopefully be triggered by test suites. Noalloc and registering roots should all be the same, as are callb
80.
by avsm 6y ago
Yes that should be fine. For incremental installation, there is a `dune build -x` which builds using a particular cross-compilation toolchain. MirageOS builds everything in one go, but it can be broken up too (as opam itself does).
81.
by avsm 6y ago
Very handy, thanks. I notice that the openxt-ocaml-platform repo uses ocamlbuild/ocamlfind. Life should get a lot easier when we move that to use ocaml/dune directly -- cross-compilation really needs a lot of help from the build
82.
by avsm 6y ago
That's a pretty reasonable approach. We publish multiarch base images for OCaml/opam regularly (e.g. see `latest` at https://hub.docker.com/r/ocaml/opam2/tags or https://hub.docker.com&#x
83.
by avsm 6y ago
OCaml can generate binaries that do not depend on Cygwin runtimes, and that's a common way to ship binaries. There are a number of development shops who have been doing that for years. For development on Windows, Cygwin is commonly us
84.
by avsm 6y ago
This is indeed on our development list for this winter to integrate more. Over in MirageOS (mirage.io), we've been working hard on getting RISC-V support in shape, so we can build unikernels for bare metal embedded devices with a simp
85.
by avsm 8y ago
ogit isn't really intended to be a CLI replacement for Git. As the comment above implies, it's a support library for higher-level applications or libraries that use git, such as irmin.io
86.
by avsm 8y ago
Making this go fast and suitable for use in the Irmin (irmin.io) branching db has been a fun and multi-year effort. See https://discuss.ocaml.org/t/ann-ocaml-git-2-0/2740 the discussion on how ocaml-git 2.0 came t
87.
by avsm 8y ago
Congratulations on the launch, and for your support of open source projects! I'm interested in extending our bulk builds of the OCaml language community packages ( https://opam.ocaml.org ) to Windows. Do Azure Pipelines suppo
88.
by avsm 9y ago
I can assure you that the OCaml maintainers do appreciate the value of friendly error messages, despite your drive-by comments about our ethos. However, unfinished patches cannot be merged into our mainline tree, and this PR https:/&#
89.
by avsm 9y ago
This is why we are working on integrating TUF (The Update Framework) signing into the OCaml OPAM package manager. See https://github.com/hannesm/conex-paper/blob/master/paper.pdf for the talk from last y
90.
by avsm 9y ago
Multicore is picking up pace, and there will be a paper on the formalised memory model at this year's OCaml Workshop in Oxford in September. There are a series of milestones to hit: the runtime GC, the memory model, the low-level progr

More ›