mseri

16 ms·

121.
by mseri 7y ago
Given the amount of debate around multicore in one of the latest OCaml releases, and the questions on its realisability, I think it's good to point out that the work is slowly but steadily moving into the main compiler.
122.
Multicore prerequisite patches appearing in released OCaml compilers now(discuss.ocaml.org)
5 points by mseri 7y ago|1 comments
123.
OCaml 4.09.0 Released(discuss.ocaml.org)
3 points by mseri 7y ago|0 comments
124.
by mseri 7y ago
That’s correct. Afaik, in Owl, the choice to support just C was intentional to avoid overcomplicating the implementation
125.
by mseri 7y ago
Bigarray[1] allows you to do that and share the memory between C and OCaml. [1]: https://caml.inria.fr/pub/docs/manual-ocaml/libref/Bigarray....
126.
by mseri 7y ago
What are the main missing features that make you wait?
127.
by mseri 7y ago
Concurrent programming in OCaml is fine though. Multicore is more about parallelism and the ability to use multiple cores without the need to rely on threads and multiple processes
128.
OCaml 4.08(inbox.ocaml.org)
128 points by mseri 7y ago|88 comments
129.
by mseri 8y ago
They explain in the post that they did consider it but decided to avoid it due to the way the FFI and Gc interact (requiring the string to be copied)
130.
by mseri 8y ago
Imho meltdown/spectre is a bad example from this point of view: it was dealt with very badly, with lack on information to some players (e.g. openbsd if I recall correctly), and earlier disclosure than agreed (with potentially some patc
131.
by mseri 8y ago
Correct. For parallel execution you can use parmap or a submodule of ocamlnet that I never remember
132.
by mseri 8y ago
I think that’s more of a problem (or at least used to be one) in Haskell. In Rust it mostly boils down to how much speed or ergonomics you want
133.
by mseri 8y ago
js_of_ocaml (and thus sketch) has the same behaviour as both the ocaml bytecode and native compilers. I think, if anyhing, targeting the behaviour of the ocaml compiler should be raised as a useful fix for bucklescript
134.
by mseri 8y ago
The partial view, Warcraft II style, would be cool
135.
by mseri 8y ago
Is it? I have been using the scrollback branch for months without problems (although not on mac)
136.
by mseri 8y ago
When there are new releases of OCaml, usually the first comment is about multicore and modular implicit. They are not yet there, but things will start changing soon. Refer to [0, 1] for more information. [0]: Ocaml-multicore: report on a J
137.
OCaml 4.07.0 has been released(ocaml.org)
3 points by mseri 8y ago|1 comments
138.
Dune 1.0.0, the long awaited OCaml build tool, has been released(discuss.ocaml.org)
5 points by mseri 8y ago|0 comments
139.
by mseri 8y ago
This is changing though. At least in Europe there is a growing pressure for reproducibility and openness of data and implementations. I hope that in a recent future publicly funded content will have to be released, no matter how experimenta
140.
by mseri 8y ago
It would be nice to be able to select or deselect different kind of airports and see how the map changes
141.
by mseri 8y ago
I had a really good experience with the XPS 15, and a colleague of mine was really happy with the 13 model. They seem to work perfectly fine with the latest ubuntu and fedora and they had a decent battery life
142.
First Class Modules for Haskell [pdf](microsoft.com)
3 points by mseri 8y ago|0 comments
143.
by mseri 9y ago
With 8Gb of RAM I have been happily using Qubes 4 in my work workstation since rc2. I suggest to use the mirage firewall image [1] to save aound a Gb of RAM The fedora 27 images can easily reach 5Gb of use under heavy load, but in gneneral
144.
by mseri 9y ago
It could also be due to the quantity of indexed data
145.
by mseri 9y ago
Interesting. Can you elaborate more?
146.
by mseri 9y ago
A now also the recently announced tectonic [0]. I also remember watching a talk about a clojure re-implementation but I think I never saw it released anywhere. [0]: https://tectonic-typesetting.github.io/en-US/
147.
by mseri 9y ago
You might want to have a look at [bos] [bos]: http://erratique.ch/software/bos
148.
by mseri 9y ago
This statement seems reasonable after the amount of noise around cooperation and support with Microsoft at the latest conference
149.
by mseri 9y ago
Plus alacritty looks great and is much faster and lighter than most other terminal emulators, ripgrep is a great replacement for grep and can be a serious improvement when you are searching through millions of lines on thousands of giant fi
150.
by mseri 9y ago
You are not alone. Being memory safe doesn't mean bug free or panic free. This does not invalidate any of the comments, it is a fairly good low level language with a compiler that helps you to catch nasty issues at compile time. The m

More ›