Thomas Leonard's blog

RSS

Blog
Archives
About Me

Category: graphics

2025

Linux mode setting, from the comfort of OCaml

Nov 16 2025

posted in graphics, ocaml

Vulkan graphics in OCaml vs C

Sep 20 2025

posted in graphics, ocaml

Investigating Linux graphics

Jun 24 2025

posted in graphics, perf

Open Source software developer, with interests in distributed systems and security. [ more ]

@talex5@mastodon.social

Recent Posts

Proving liveness with TLA
Linux mode setting, from the comfort of OCaml
Vulkan graphics in OCaml vs C
Investigating Linux graphics
Trying Tamarin on Applied Cryptography

Copyright © 2025 Thomas Leonard
NO AI TRAINING: Without in any way limiting the author's exclusive rights under copyright, any use of this publication to "train" generative artificial intelligence (AI) technologies to generate text is expressly prohibited. The author reserves all rights to license uses of this work for generative AI training and development of machine learning language models.