corpus.blog
41,554 blogs · 5,038,968 posts Claim your blog
Record · corpus.blog/posts/01a0877b-ed15-70c3-89f9-c48d686e8c50

O(x)Caml in Space

Thomas Gazagnaire :: Home · published 14 May 2026

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 gazagnaire.org Wayback capture
2blogs citing
First cited
17 May 2026
Most recent
1 Jun 2026
Rank this month
not ranked
External links
37
Words captured
2,343

Cited by

Blog
In the post
Date
erlanginspace.org
Why would anyone run Erlang in space? Read at the source ↗
1 Jun 2026
anil.recoil.org
.plan-26-20: Putting OxCaml in a box and OCaml in orbit (again) Read at the source ↗
17 May 2026

Links from this post

Link
Host
https://ccsds.org
ccsds.org
https://dphi.space
dphi.space
https://software.dphispace.com/
software.dphispace.com
https://kcsrk.info/slides/icfp22_keynote.pdf
kcsrk.info
https://kcsrk.info/
kcsrk.info
The Journey to OCaml Multicore: Bringing Big Ideas to Life Read at the source ↗
tarides.com
https://firobe.fr/
firobe.fr
https://datatracker.ietf.org/doc/html/rfc9171
datatracker.ietf.org
https://datatracker.ietf.org/doc/html/rfc9172
datatracker.ietf.org
https://dirtyfrag.io/
dirtyfrag.io
https://github.com/v12-security/pocs/tree/main/fragnesia
github.com
https://cert.europa.eu/publications/security-advisories/2026-005/
cert.europa.eu
https://dirtypipe.cm4all.com/
dirtypipe.cm4all.com
https://nvd.nist.gov/vuln/detail/CVE-2024-1086
nvd.nist.gov
https://csrc.nist.gov/pubs/fips/204/final
csrc.nist.gov
https://standards.nasa.gov/standard/NASA/NASA-STD-1006
standards.nasa.gov
https://oxcaml.org/
oxcaml.org
https://orchide-project.eu/
orchide-project.eu
https://tarides.com/
tarides.com
https://parsimoni.co/
parsimoni.co
https://github.com/microsoft/MSRC-Security-Research/blob/master/presentations/2019_02_BlueHatIL/2019_01%20-%20BlueHatIL%20-%20Trends%2C%20challenge%2C%20and%20shifts%20in%20software%20vulnerability%20mitigation.pdf
github.com
https://www.chromium.org/Home/chromium-security/memory-safety/
chromium.org
https://github.com/nasa/CryptoLib
github.com
https://github.com/nasa/CryptoLib/security/advisories/GHSA-q2pc-c3jx-3852
github.com
https://anil.recoil.org/projects/oxcaml
anil.recoil.org
https://fplaunchpad.org/
fplaunchpad.org
Introducing Jane Street's OxCaml Branch! Read at the source ↗
tarides.com
https://github.com/cryspen/libcrux
github.com
https://github.com/mit-plv/fiat-crypto
github.com
https://hacksat.dev/
hacksat.dev
https://project-everest.github.io/everparse/
project-everest.github.io
https://fstar-lang.org/
fstar-lang.org
https://ocaml.org/manual/5.3/gadts.html
ocaml.org
https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/kaloper-mersinjak
usenix.org
https://www.nitrokey.com/products/nethsm
nitrokey.com
https://mirageos.org/
mirageos.org
https://geotessera.org/
geotessera.org
Elsewhere on gazagnaire.org (7)