Thomas Leonard's blog

RSS

Blog
Archives
About Me

Category: Perf

2025

Investigating Linux graphics

Jun 24 2025

posted in perf

2024

OCaml 5 performance part 2

Jul 22 2024

posted in ocaml, perf

OCaml 5 performance problems

Jul 22 2024

posted in ocaml, perf

2014

Optimising the unikernel

Aug 15 2014

posted in mirage, ocaml, perf

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

@talex5@mastodon.social

Recent Posts

Investigating Linux graphics
Trying Tamarin on Applied Cryptography
OCaml 5 performance part 2
OCaml 5 performance problems
Lambda Capabilities

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.