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/
@distrowatch @osnews That requires the delegating user to be able to edit the sudoers policy, though.
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!
@nobody I keep it working for my own use. I haven't looked at what other people are doing with it.
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
