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/
ThibIn early September, The Matrix Foundation homeserver went down.
I'm extremely proud of our SRE team. They had a Disaster Recovery Plan and monthly exercises to apply it, resulting in no data loss despite a 24h outage.
I've learned a lot about how to properly backup/restore a Postgres database when writing this post with SREs. We also learned how to better prevent and be resilient to human error.
Thanks all for the hugops during the outage!
yomimono, still on land
elleI love how the second part of Banksy's newest mural, which is a comment on censorship and oppression, was done by the very people he is critiquing.
Their response was predictable, and relied upon, and imho has created a masterpiece.
behdadIn June, we announced HarfRust, a fully safe port of #HarfBuzz to Rust. At that time, HarfRust was 2x to 4x slower than HarfBuzz for a variety of benchmarks, so we have been working on addressing that.
Today, Chad Brokaw and I are pleased to present HarfRust 0.2.0, which is less than 25% slower than HarfBuzz, on both OpenType and AAT shaping benchmarks. We have also addressed all known correctness issues.
Charts:
https://docs.google.com/spreadsheets/d/1lyPPZHXIF8gE0Tpx7_IscwhwaZa4KOpdt7vnV0jQT9o/preview
TaridesLearn how our intern Kashish improved visualisation options for memory profiling in OCaml on our blog: https://tarides.com/blog/2025-07-04-improving-memory-profiler-visualisations-for-ocaml/
The Matrix.org FoundationHere's the full postmortem of the nightmare postgres corruption on matrix.org which caused room corruption over the last few weeks: https://matrix.org/blog/2025/07/postgres-corruption-postmortem/ We'd like to apologise to everyone who got bitten by the incident.
