Blog

The OCaml Planet RSS

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Type

All Article Video

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Add your RSS feed!

Filtering by: Keyword: hardware Clear all

A hardware description language using OCaml effects

circuit clash description domain effect fixed-length functional programming hardware language module system

01 Mar 2025

Anil Madhavapeddy's Blog

Read Article

[ARTICLE]

NetHSM: Bringing Open Source to the World of Hardware Security Modules

Nitrokey is one of the world’s foremost open-source hardware security companies. They develop IT security hardware for data encryption…

cryptography hardware hsm hsms keyfender mirageos nethsm nitrokey security unikernel

27 Mar 2024

Tarides

Read Article

Compiler optimization with Greta Yorsh

compiler fdo greta hardware optimization program ron superoptimization think verification

30 Sep 2020

Signals and Threads

Read Article

Programmable hardware with Andy Ray

andy chip design fpga hardcaml hardware nand ron think yeah

09 Sep 2020

Signals and Threads

Read Article

Hiring an FPGA engineer

Jane Street is looking to hire an engineer with experience in bothsoftware and hardware design to work on FPGA-based applications, andon tools for creating s...

async compiler engineer fpga functional programming hardware jane ppx street synthesis

16 Aug 2017

Jane Street Tech Blog

Read Article