corpus.blog
41554 blogs · [ { "id": "01a08794-4d23-73fa-bf8e-466cbb26b644", "title": "An O(x)Caml book that runs", "url": "https://kcsrk.info/ocaml/oxcaml/teaching/nptel/llm/2026/06/13/an-oxcaml-book-that-runs/", "published_at": "2026-06-13T11:00:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cbb30d752", "title": "Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MB", "url": "https://kcsrk.info/ocaml/oxcaml/modes/2026/05/10/shrinking-the-oxcaml-bundle/", "published_at": "2026-05-10T11:00:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cbb52959f", "title": "Capsules: compile-time lock discipline in OxCaml", "url": "https://kcsrk.info/ocaml/oxcaml/modes/blogging/2026/05/08/capsules-in-oxcaml/", "published_at": "2026-05-08T10:00:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cbb72ca60", "title": "Data race freedom in OxCaml", "url": "https://kcsrk.info/ocaml/oxcaml/x-ocaml/blogging/2026/05/07/data-race-freedom-in-oxcaml/", "published_at": "2026-05-07T10:00:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cbbb8213e", "title": "From Convergence to Confidence: Push-button verification for RDTs", "url": "https://kcsrk.info/verification/rdts/lean/2026/04/28/from-convergence-to-confidence/", "published_at": "2026-04-28T10:00:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cbc338d11", "title": "Foundations for hacking on OCaml", "url": "https://kcsrk.info/ocaml/2025/11/10/hacking/", "published_at": "2025-11-10T10:35:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cbd152f2f", "title": "Testing x-ocaml, OCaml notebooks as a WebComponent", "url": "https://kcsrk.info/ocaml/x-ocaml/blogging/2025/06/20/xocaml/", "published_at": "2025-06-20T10:00:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cbdff0671", "title": "Linearity and uniqueness", "url": "https://kcsrk.info/ocaml/modes/oxcaml/2025/06/04/linearity_and_uniqueness/", "published_at": "2025-06-04T10:00:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cbedf791b", "title": "Uniqueness for Behavioural Types", "url": "https://kcsrk.info/ocaml/modes/oxcaml/2025/05/29/uniqueness_and_behavioural_types/", "published_at": "2025-05-29T17:56:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cbf812312", "title": "Joining my group", "url": "https://kcsrk.info/ocaml/iitm/community/2025/04/28/working-with-me/", "published_at": "2025-04-28T12:10:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cbfcf91db", "title": "Off-CPU-time analysis", "url": "https://kcsrk.info/ocaml/offcputime/bpfcc/2024/07/24/offcputime-analysis/", "published_at": "2024-07-24T09:48:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc02b65b5", "title": "Getting Started with GDB on OCaml", "url": "https://kcsrk.info/ocaml/gdb/2024/01/20/gdb-ocaml/", "published_at": "2024-01-20T15:16:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc0942ce5", "title": "Teaching OCaml and Prolog through Jupyter Notebooks", "url": "https://kcsrk.info/ocaml/prolog/jupyter/notebooks/2020/01/19/OCaml-Prolog-Jupyter/", "published_at": "2020-01-19T15:16:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc09f5670", "title": "Multicore OCaml Jobs", "url": "https://kcsrk.info/ocaml/multicore/job/2019/09/16/1115-multicore-job/", "published_at": "2019-09-16T11:59:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc16a2405", "title": "Deterministically debugging concurrent GC bugs with rr", "url": "https://kcsrk.info/ocaml/multicore/rr/2019/04/28/0000-rr-debugging/", "published_at": "2019-04-28T00:00:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc22f03ec", "title": "ML Family Workshop 2019: Call for presentations", "url": "https://kcsrk.info/ocaml/haskell/standard%20ml/f%23/2019/04/22/1600-ml-workshop-2019/", "published_at": "2019-04-22T16:00:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc2a94912", "title": "OCaml on Baremetal Shakti RISC-V processor", "url": "https://kcsrk.info/ocaml/riscv/shakti/2019/03/29/1400-ocaml-baremetal-shakti/", "published_at": "2019-03-29T14:00:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc2df9400", "title": "Continuous Benchmarking & Call for Benchmarks", "url": "https://kcsrk.info/multicore/ocaml/benchmarks/2018/09/13/1543-multicore-ci/", "published_at": "2018-09-13T15:43:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc2ffb562", "title": "JFP Special Issue on Algebraic Effects and Handlers", "url": "https://kcsrk.info/handlers/paper/2018/08/16/jfp-effect-handlers/", "published_at": "2018-08-16T09:09:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc341414e", "title": "A deep dive into Multicore OCaml garbage collector", "url": "https://kcsrk.info/multicore/gc/2017/07/06/multicore-ocaml-gc/", "published_at": "2017-07-06T01:36:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc3557cee", "title": "(Monadic) Reflections on Concurrency", "url": "https://kcsrk.info/multicore/reflection/monads/effects/2017/06/13/monadic-reflections-on-concurrency/", "published_at": "2017-06-13T12:13:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc3a63537", "title": "Building and Publishing an OCaml Package: Q1 2017", "url": "https://kcsrk.info/ocaml/opam/topkg/carcass/2017/03/05/building-and-publishing-an-OCaml-package/", "published_at": "2017-03-05T13:56:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc40cb23a", "title": "Ezirmin : An easy interface to the Irmin library", "url": "https://kcsrk.info/ocaml/irmin/crdt/2017/02/15/an-easy-interface-to-irmin-library/", "published_at": "2017-02-15T13:46:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc4d39def", "title": "Behavioural types", "url": "https://kcsrk.info/ocaml/types/2016/06/30/behavioural-types/", "published_at": "2016-06-30T09:31:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc5a2e5de", "title": "Lock-free programming for the masses", "url": "https://kcsrk.info/ocaml/multicore/2016/06/11/lock-free/", "published_at": "2016-06-11T09:08:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc626d854", "title": "Armed with Reason", "url": "https://kcsrk.info/reason/arm/2016/05/16/armed-with-reason/", "published_at": "2016-05-16T10:00:05+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc62ba69a", "title": "Profiling the stack", "url": "https://kcsrk.info/ocaml/profiling/2015/10/27/profiling-the-stack/", "published_at": "2015-10-27T17:29:30+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc65971e6", "title": "An Allocation Profiler for OCaml Bytecode Interpreter", "url": "https://kcsrk.info/ocaml/profiling/2015/09/23/bytecode-allocation-profiler/", "published_at": "2015-09-23T09:51:30+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc6abf334", "title": "Experiment with OCaml Multicore and Algebraic Effects", "url": "https://kcsrk.info/multicore/opam/ocaml/2015/09/10/ocaml-experimental-compilers/", "published_at": "2015-09-10T13:11:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc6dcbcac", "title": "Pearls of Algebraic Effects and Handlers", "url": "https://kcsrk.info/ocaml/multicore/effects/2015/05/27/more-effects/", "published_at": "2015-05-27T14:06:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc76c78a3", "title": "Effective Concurrency with Algebraic Effects", "url": "https://kcsrk.info/ocaml/multicore/2015/05/20/effects-multicore/", "published_at": "2015-05-20T14:04:00+00:00" }, { "id": "01a08794-4d23-73fa-bf8e-466cc8006dc1", "title": "Opam Switch to Multicore OCaml", "url": "https://kcsrk.info/multicore/opam/ocaml/2015/03/25/opam-switch-to-multicore/", "published_at": "2015-03-25T18:15:00+00:00" } ] posts Claim your blog
Back to kcsrk.info
Blog · corpus.blog/blogs/kcsrk.info/posts

kcsrk.info

kcsrk.info

2026

An O(x)Caml book that runsoriginal ↗
13 Jun 2026
Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MBoriginal ↗
10 May 2026
Capsules: compile-time lock discipline in OxCamloriginal ↗
8 May 2026
Data race freedom in OxCamloriginal ↗
7 May 2026
From Convergence to Confidence: Push-button verification for RDTsoriginal ↗
28 Apr 2026

2025

Foundations for hacking on OCamloriginal ↗
10 Nov 2025
Testing x-ocaml, OCaml notebooks as a WebComponentoriginal ↗
20 Jun 2025
Linearity and uniquenessoriginal ↗
4 Jun 2025
Uniqueness for Behavioural Typesoriginal ↗
29 May 2025
Joining my grouporiginal ↗
28 Apr 2025

2024

Off-CPU-time analysisoriginal ↗
24 Jul 2024
Getting Started with GDB on OCamloriginal ↗
20 Jan 2024

2020

Teaching OCaml and Prolog through Jupyter Notebooksoriginal ↗
19 Jan 2020

2019

Multicore OCaml Jobsoriginal ↗
16 Sept 2019
Deterministically debugging concurrent GC bugs with rroriginal ↗
28 Apr 2019
ML Family Workshop 2019: Call for presentationsoriginal ↗
22 Apr 2019
OCaml on Baremetal Shakti RISC-V processororiginal ↗
29 Mar 2019

2018

Continuous Benchmarking & Call for Benchmarksoriginal ↗
13 Sept 2018
JFP Special Issue on Algebraic Effects and Handlersoriginal ↗
16 Aug 2018

2017

A deep dive into Multicore OCaml garbage collectororiginal ↗
6 Jul 2017
(Monadic) Reflections on Concurrencyoriginal ↗
13 Jun 2017
Building and Publishing an OCaml Package: Q1 2017original ↗
5 Mar 2017
Ezirmin : An easy interface to the Irmin libraryoriginal ↗
15 Feb 2017

2016

Behavioural typesoriginal ↗
30 Jun 2016
Lock-free programming for the massesoriginal ↗
11 Jun 2016
Armed with Reasonoriginal ↗
16 May 2016

2015

Profiling the stackoriginal ↗
27 Oct 2015
An Allocation Profiler for OCaml Bytecode Interpreteroriginal ↗
23 Sept 2015
Experiment with OCaml Multicore and Algebraic Effectsoriginal ↗
10 Sept 2015
Pearls of Algebraic Effects and Handlersoriginal ↗
27 May 2015
Effective Concurrency with Algebraic Effectsoriginal ↗
20 May 2015
Opam Switch to Multicore OCamloriginal ↗
25 Mar 2015