Thomas Leonard
@talex5@mastodon.social
Joined: 12/09/2017
About Thomas Leonard
Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).
Lists
talex5 has no public lists
Timeline
talex5 has no activity yet