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

A Time for Change: Our Response to the White House Cybersecurity Press Release

tarides.com · published 7 March 2024

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

2blogs citing

First cited: 13 Aug 2025
Most recent: 25 Feb 2026
Rank this month: not ranked
Links from this post: 30
Words captured: 1,839

Cited by

Blog

In the post

Date

Thomas Gazagnaire :: Home

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

25 Feb 2026

xvw.lol

Why I chose OCaml as my primary language Read at the source ↗

13 Aug 2025

Links from this post

Link

Host

https://www.whitehouse.gov/oncd/briefing-room/2024/02/26/press-release-technical-report/

whitehouse.gov

https://ocaml.org

ocaml.org

https://github.com/formal-land/coq-of-ocaml

github.com

https://tezos.com/

tezos.com

https://fstar-lang.org/tutorial/tutorial.html

fstar-lang.org

https://www.why3.org/

why3.org

https://www.imandra.ai/

imandra.ai

https://www.nitrokey.com/

nitrokey.com

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

nitrokey.com

https://ocaml.org/docs/platform

ocaml.org

https://github.com/ocaml-multicore/dscheck

github.com

https://v2.ocaml.org/releases/5.0/api/Runtime_events.html

v2.ocaml.org

https://github.com/ocaml-multicore/eio?tab=readme-ov-file

github.com

https://github.com/ocaml-multicore/eio

github.com

https://github.com/tarides/runtime_events_tools?tab=readme-ov-file

github.com

https://parsimoni.co/

parsimoni.co

https://mirage.io/

mirage.io

Oxidizing OCaml: Locality Read at the source ↗

blog.janestreet.com

https://cakeml.org/itp17.pdf

cakeml.org

https://dl.acm.org/doi/abs/10.1145/1620405.1620421

dl.acm.org

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

media.defense.gov

https://eur-lex.europa.eu/legal-content/EN/TXT/HTML/?uri=CELEX:52022PC0454

eur-lex.europa.eu

https://en.wikipedia.org/wiki/Unikernel

en.wikipedia.org

https://mirage.io/blog/ccc-2019-leipzig

mirage.io

https://www.inria.fr/fr

inria.fr

https://www.janestreet.com/what-we-do/overview/

janestreet.com

How Docker Desktop Networking works under the hood Read at the source ↗

docker.com

https://discuss.ocaml.org/

discuss.ocaml.org

https://bsky.app/profile/tarides.com

bsky.app

https://www.linkedin.com/company/tarides/

linkedin.com