mseri

9 ms·

31.
by mseri 3y ago
Both I’d say. More recently also online calls/conferences/seminars, and (way more rarely but it happens) on twitter/mastodon/…
32.
OCaml 5.1 Released(ocaml.org)
5 points by mseri 3y ago|0 comments
33.
The value of science – R. Feynman (1995) [pdf](calteches.library.caltech.edu)
1 points by mseri 3y ago|0 comments
34.
by mseri 3y ago
Do you remember the one they released when they changed name to linspire: https://www.youtube.com/watch?v=IIYtKHnU4mQ memorable
35.
by mseri 4y ago
Without paywall at https://archive.ph/8aj7W
36.
Skynet Labs Shutting Down(skynetlabs.com)
2 points by mseri 4y ago|1 comments
37.
by mseri 4y ago
Reason and ReScript are two different projects. You can still use Reason to compile natively and to JavaScript via js_of_ocaml.
38.
Intel and AMD Hertzbleed CPU Vulnerability Uses Boost Speed to Steal Crypto Keys(tomshardware.com)
1 points by mseri 4y ago|0 comments
39.
by mseri 4y ago
The book is open access ( https://linear.axler.net/ ), I am going to quote directly the author in the preface: << all linear algebra books use determinants to prove that every linear operator on a finite-dimensional com
40.
by mseri 4y ago
Seems to be up and running fine. Gitea seems to be quite robust and reliable! I hope you have regular backups, I had a number of unfortunate IO corruptions with the PIs. Thanks for the open sourcing
41.
by mseri 4y ago
Yes but it is not really relevant for that book. OCaml has an incredible backward compatibility history, and the linked book is about learning the language itself, not its ecosystem. Things are different for RWO since it relies also on a nu
42.
Pasteur – A Zerobin Clone in a Unikernel(blog.osau.re)
1 points by mseri 4y ago|0 comments
43.
by mseri 5y ago
There are a number of interesting projects already doing this, either doing it manually via the c FFI or using projects like ocaml-rs [1] or ocaml-interop [2] for example [1]: https://github.com/zshipko/ocaml-rs [2]:
44.
by mseri 5y ago
They do, they are developing drom[1], a wrapper over opam and dune to provide a cargo-like experience. [1]: https://ocamlpro.github.io/drom/ What’s wrong with opam? Since version 2 it also supports local switches and l
45.
Diffrax: Jax-based differential equations solvers(docs.kidger.site)
4 points by mseri 5y ago|0 comments
46.
by mseri 5y ago
Yes, have a look at [0] and maybe also the one in [1] [0]: https://github.com/ocaml-bench/sandmark [1]: https://github.com/ocaml-multicore/retro-httpaf-bench/pull/1...
47.
Ts2ocaml: Generate OCaml bindings from .d.ts files(discuss.ocaml.org)
4 points by mseri 5y ago|0 comments
48.
by mseri 5y ago
I had the same experience. I installed the RC and it has been working surprisingly smoothly on my intel macbook pro (15’’ 2018)
49.
Verification for Dummies: SMT and Induction(discuss.ocaml.org)
3 points by mseri 5y ago|0 comments
50.
How WhatsApp enables multi-device capability(engineering.fb.com)
151 points by mseri 5y ago|137 comments
51.
Multi-device beta: WhatsApp web without the need to keep your phone connected(faq.whatsapp.com)
2 points by mseri 5y ago|0 comments
52.
Onivim2: Status of the Project(github.com)
1 points by mseri 5y ago|0 comments
53.
by mseri 5y ago
You can see here what will work and what not: https://github.com/onivim/oni2/issues/1058
54.
by mseri 5y ago
I see, I don’t know but its license is pretty clear in saying that you cannot use it outside of Microsoft stuff: “You may install and use any number of copies of the software to use solely with Microsoft Visual Studio family of products.”
55.
by mseri 5y ago
I don’t know. What is live share?
56.
by mseri 5y ago
The project is acively developed, you can have a look at its repository: https://github.com/onivim/oni2/ I think they are doing quite a good job, the editor is blazing fast and you can already use almost seamlessl
57.
Elements of Differential Geometry in Lean: A Report for Mathematicians(arxiv.org)
1 points by mseri 5y ago|0 comments
58.
Dating first cases of Covid-19 (PLOS pathogens)(journals.plos.org)
2 points by mseri 5y ago|0 comments
59.
Dirsp-exchange: auditable Signal Protocol and ProScript-to-OCaml translator(discuss.ocaml.org)
2 points by mseri 5y ago|0 comments
60.
by mseri 5y ago
Cool, do you have a link for the paper? EDIT: Found I think [ http://www.larsblackmore.com/nae_bridge_2016.pdf ]

More ›