What does HackerNews think of hardcaml?

Hardcaml is an OCaml library for designing hardware.

Language: OCaml

Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml | Dec 2022
title: Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml

Any reason the title deviates so much from original? Is it because of all the cool acronyms and code words? Here's a decoder:

zk-SNARK: zero-knowledge Succinct Non-Interactive Argument of Knowledge

MSM: Multi-Scalar Multiplication

Hardcaml: OCaml lib for hardware: https://github.com/janestreet/hardcaml

NTT: Number Theoretic Transform

Ask HN: What Is OCaml Used For? | Dec 2022
Expand Context ↕
> yeah ok, no interest in a language with a GC. i’ll stick to c++.

If you have already made your mind up, there is hardly a point to your question.

> are they generating fpga code from ocaml?

Yes, they have built a library called Hardcaml to design FPGAs:

https://github.com/janestreet/hardcaml
A circuit simulator that doesn't look like it was made in 2003 | Dec 2022
Perhaps peripheral (the original site has been hugged to death).

Both clashlang: https://clash-lang.org/

And Hardcaml: https://github.com/janestreet/hardcaml

have personally fueled my interest in hardware.

Dan Luu speaks eloquently and at length about how better options are needed for logic design. I would recommend both of the above to the enthusiastic novice.

Unleashing Open-Source Silicon | Nov 2019
Expand Context ↕
C++ is a poor fit for this. Proper high-level HDLs are better to understand and work with. Mentioned in the neighbor commment Clash[1], Chisel[2]/FIRRTL[3], Hardcaml[4], Spatial[5], various Python-based languages, there many[6].

[1] https://clash-lang.org/

[2] https://www.chisel-lang.org/

[3] https://www.chisel-lang.org/firrtl/

[4] https://github.com/janestreet/hardcaml

[5] https://spatial-lang.org/

[6] https://github.com/drom/awesome-hdl
OCaml All the Way Down – How Jane Street Builds FPGA Designs [video] | Sep 2018
Expand Context ↕
Github: https://github.com/janestreet/hardcaml

And Andy Ray and co's stuff:

Blogs: http://www.ujamjar.com/

Getting started overview and tutorials: http://www.ujamjar.com/hardcaml/

Running OCAML Bytecode in hardware: https://github.com/ujamjar/hardcaml-zinc