corpus.blog
41554 blogs · [ { "id": "01a087d7-d865-7038-99ef-06449663ae6e", "title": "Linux input devices (with libinput-ocaml)", "url": "https://roscidus.com/blog/blog/2026/03/28/input-devices/", "published_at": "2026-03-28T09:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c63ff7fec", "title": "Proving liveness with TLA", "url": "https://roscidus.com/blog/blog/2026/01/01/tla-liveness/", "published_at": "2026-01-01T16:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c64e13b74", "title": "Linux mode setting, from the comfort of OCaml", "url": "https://roscidus.com/blog/blog/2025/11/16/libdrm-ocaml/", "published_at": "2025-11-16T09:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c65953019", "title": "Vulkan graphics in OCaml vs C", "url": "https://roscidus.com/blog/blog/2025/09/20/ocaml-vulkan/", "published_at": "2025-09-20T09:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c65bb962d", "title": "Investigating Linux graphics", "url": "https://roscidus.com/blog/blog/2025/06/24/graphics/", "published_at": "2025-06-24T09:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c66230cc6", "title": "Trying Tamarin on Applied Cryptography", "url": "https://roscidus.com/blog/blog/2025/04/09/tamarin/", "published_at": "2025-04-09T09:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c66d089d9", "title": "OCaml 5 performance part 2", "url": "https://roscidus.com/blog/blog/2024/07/22/performance-2/", "published_at": "2024-07-22T11:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c67a14387", "title": "OCaml 5 performance problems", "url": "https://roscidus.com/blog/blog/2024/07/22/performance/", "published_at": "2024-07-22T10:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c68117261", "title": "Lambda Capabilities", "url": "https://roscidus.com/blog/blog/2023/04/26/lambda-capabilities/", "published_at": "2023-04-26T10:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c68502275", "title": "Isolating Xwayland in a VM", "url": "https://roscidus.com/blog/blog/2021/10/30/xwayland/", "published_at": "2021-10-30T10:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c6947e214", "title": "Qubes-lite with KVM and Wayland", "url": "https://roscidus.com/blog/blog/2021/03/07/qubes-lite-with-kvm-and-wayland/", "published_at": "2021-03-07T15:00:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c698a86aa", "title": "CI/CD pipelines: Monad, Arrow or Dart?", "url": "https://roscidus.com/blog/blog/2019/11/14/cicd-pipelines/", "published_at": "2019-11-14T09:59:40+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c69d80872", "title": "Using TLA+ to understand Xen vchan", "url": "https://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/", "published_at": "2019-01-01T09:15:18+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c6a295224", "title": "A Unikernel Firewall for QubesOS", "url": "https://roscidus.com/blog/blog/2016/01/01/a-unikernel-firewall-for-qubesos/", "published_at": "2016-01-01T17:55:00+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c6a71d4d9", "title": "CueKeeper internals: Experiences with Irmin, React, TyXML and IndexedDB", "url": "https://roscidus.com/blog/blog/2015/06/22/cuekeeper-internals-irmin/", "published_at": "2015-06-22T09:25:23+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c6a8248a4", "title": "CueKeeper: Gitting Things Done in the browser", "url": "https://roscidus.com/blog/blog/2015/04/28/cuekeeper-gitting-things-done-in-the-browser/", "published_at": "2015-04-28T10:18:23+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c6a9700f9", "title": "Securing the Unikernel", "url": "https://roscidus.com/blog/blog/2015/01/21/securing-the-unikernel/", "published_at": "2015-01-21T10:03:08+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c6b426255", "title": "Visualising an asynchronous monad", "url": "https://roscidus.com/blog/blog/2014/10/27/visualising-an-asynchronous-monad/", "published_at": "2014-10-27T07:21:04+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c6b98ae3e", "title": "Simplifying the solver with functors", "url": "https://roscidus.com/blog/blog/2014/09/17/simplifying-the-solver-with-functors/", "published_at": "2014-09-17T08:55:11+00:00" }, { "id": "01a087d7-d866-7036-bcf3-204c6c0107b8", "title": "Optimising the unikernel", "url": "https://roscidus.com/blog/blog/2014/08/15/optimising-the-unikernel/", "published_at": "2014-08-15T11:05:27+00:00" } ] posts Claim your blog
Back to roscidus.com
Blog · corpus.blog/blogs/roscidus.com/posts

roscidus.com

roscidus.com

2026

Linux input devices (with libinput-ocaml)original ↗
28 Mar 2026
Proving liveness with TLAoriginal ↗
1 Jan 2026

2025

Linux mode setting, from the comfort of OCamloriginal ↗
16 Nov 2025
Vulkan graphics in OCaml vs Coriginal ↗
20 Sept 2025
Investigating Linux graphicsoriginal ↗
24 Jun 2025
Trying Tamarin on Applied Cryptographyoriginal ↗
9 Apr 2025

2024

OCaml 5 performance part 2original ↗
22 Jul 2024
OCaml 5 performance problemsoriginal ↗
22 Jul 2024

2023

Lambda Capabilitiesoriginal ↗
26 Apr 2023

2021

Isolating Xwayland in a VMoriginal ↗
30 Oct 2021
Qubes-lite with KVM and Waylandoriginal ↗
7 Mar 2021

2019

CI/CD pipelines: Monad, Arrow or Dart?original ↗
14 Nov 2019
Using TLA+ to understand Xen vchanoriginal ↗
1 Jan 2019

2016

A Unikernel Firewall for QubesOSoriginal ↗
1 Jan 2016

2015

CueKeeper internals: Experiences with Irmin, React, TyXML and IndexedDBoriginal ↗
22 Jun 2015
CueKeeper: Gitting Things Done in the browseroriginal ↗
28 Apr 2015
Securing the Unikerneloriginal ↗
21 Jan 2015

2014

Visualising an asynchronous monadoriginal ↗
27 Oct 2014
Simplifying the solver with functorsoriginal ↗
17 Sept 2014
Optimising the unikerneloriginal ↗
15 Aug 2014