New blog post investigating how keyboards, mice, etc work in Linux (and using them to make a little #ocaml game): https://roscidus.com/blog/blog/2026/03/28/input-devices/
| Blog | https://roscidus.com/blog/ |
| GitHub | https://github.com/talex5/ |
Thomas Leonard
@talex5
- 296 Followers
- 55 Following
- 103 Posts
Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).
Experiences using the #TLA Toolbox with TLAPS to prove liveness for the Xen vchan protocol: https://roscidus.com/blog/blog/2026/01/01/tla-liveness/
Made some #ocaml bindings for libdrm and learnt about Linux mode setting: https://roscidus.com/blog/blog/2025/11/16/libdrm-ocaml/
New blog post: I learn how to draw a triangle with a GPU, and then trace the code to find out how the #Linux #graphics system works (or doesn't), looking at Mesa3D, GLFW, OpenGL, Vulkan, Wayland and Linux DRM. https://roscidus.com/blog/blog/2025/06/24/graphics/
Had a go at verifying some very old security protocols from Applied Cryptography using Tamarin: https://roscidus.com/blog/blog/2025/04/09/tamarin/ - it seems pretty good at finding problems!
An update on this: https://roscidus.com/blog/blog/2024/07/22/performance-2/#update-2024-08-22 (the multicore solver is finally faster than the old processes based one!) #ocaml #performance
eio-trace is coming along quite nicely now. Here are traces of a couple of examples from the README, and a (scaled-back) HTTP benchmark. https://github.com/ocaml-multicore/eio-trace #ocaml #eio
