41554 blogs · 4,450,554 posts Claim your blog

Record · corpus.blog/posts/01a0b877-6fba-72d2-8cca-9ab2c7ae0670

OCaml: Memory Safety and Beyond

tarides.com · published 14 December 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at tarides.com Wayback capture

1blogs citing

First cited: 25 Feb 2026
Most recent: 12 Mar 2026
Rank this month: not ranked
Links from this post: 10
Words captured: 720

Cited by

Blog

In the post

Date

Thomas Gazagnaire :: Home

From Cannes to Los Angeles: Visiting the People Who Build Satellites Read at the source ↗

12 Mar 2026

Thomas Gazagnaire :: Home

Is Running Untrusted Code on a Satellite a Good Idea? Read at the source ↗

25 Feb 2026

Links from this post

Link

Host

https://www.nsa.gov/Press-Room/Press-Releases-Statements/Press-Release-View/Article/3608324/us-and-international-partners-issue-recommendations-to-secure-software-products/

nsa.gov

https://www.cisa.gov/news-events/news/urgent-need-memory-safety-software-products

cisa.gov

https://www.nitrokey.com/products/nethsm

nitrokey.com

https://coq.inria.fr/

coq.inria.fr

https://www.fstar-lang.org/

fstar-lang.org

https://github.com/mit-plv/fiat-crypto

github.com

https://mirage.io/

mirage.io

https://github.com/ocaml-gospel/gospel

github.com

https://mirage.io

mirage.io

https://media.defense.gov/2023/Dec/06/2003352724/-1/-1/0/THE-CASE-FOR-MEMORY-SAFE-ROADMAPS-TLP-CLEAR.PDF

media.defense.gov