TheNumbat (u/TheNumbat)

TheNumbat commented on OxCaml - a set of extensions to the OCaml programming language. oxcaml.org/... · Posted by u/lairv

aseipp · 6 months ago

FWIW, the "Get OxCaml" page actually says that SIMD on ARM isn't supported yet. If it actually works it would be worth removing that from the known issues list https://oxcaml.org/get-oxcaml/

TheNumbat · 6 months ago

Indeed, it says that because we don't have a library of NEON intrinsics (like ocaml_simd_sse) yet, but the extension itself works.

TheNumbat commented on OxCaml - a set of extensions to the OCaml programming language. oxcaml.org/... · Posted by u/lairv

debugnik · 6 months ago

I wasn't aware that this fork supported SIMD! Between this, unboxed types and the local mode with explicit stack allocation, OxCaml almost entirely replaces my past interest in F#; this could actually become usable for gamedev and similar consumer scenarios if it also supported Windows.

TheNumbat · 6 months ago

Yeah, this would be great! Currently only 128-bit SSE/NEON is working but AVX is coming very soon. There's also nothing blocking Windows, but it will require some work. (I added the SIMD support in OxCaml)

TheNumbat commented on Functions are vectors thenumb.at/Functions-are-... · Posted by u/TheNumbat

LudwigNagasena · 2 years ago

I think the article has it backwards and provides bad intuition. It is not input that makes functions form a vector space, it is the output. Functions from any set X to a field F can form a vector space, even if X is unordered.

TheNumbat · 2 years ago

See footnote 3.

TheNumbat commented on Oxidizing OCaml: Locality blog.janestreet.com/oxidi... · Posted by u/amatheus

ReleaseCandidat · 3 years ago

It's this proposal: https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/do... and these problems: https://github.com/ocaml-flambda/ocaml-jst/blob/main/jane/do...

TheNumbat · 3 years ago

Yes - upcoming posts will cover the uniqueness and data-race-freedom designs.