Log inSign up
KC Sivaramakrishnan
3,933 posts
user avatar
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Chennai, India
kcsrk.info
Joined January 2015
3,831
Following
5,416
Followers

New to X?

Sign up now to get your own personalized timeline!

Create account

By signing up, you agree to the Terms of Service and Privacy Policy, including Cookie Use.

Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Don't miss what's happening
People on X are the first to know.
Log inSign up
  • Pinned
    user avatar
    KC Sivaramakrishnan
    @kc_srk
    Mar 7
    Applications are open for the FP Launchpad Post-Baccalaureate Fellowship at IIT Madras, a fully funded 2-year fellowship in systems and functional programming. Build real systems, publish research, contribute to open source.
    Applications Open: Post-Baccalaureate Fellowship
    From fplaunchpad.org
    10K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Jun 19, 2023
    OCaml wins the 2023 SIGPLAN programming languages software award! 🎉sigplan.org/Awards/Softwar…
    65K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Dec 16, 2022
    🥳🎉🍾IT IS OUT! 🍾🎉🥳
    discuss.ocaml.org
    OCaml 5.0.0 is out!
    We have the pleasure of celebrating the birthdays of Jane Austen and Arthur C. Clarke by announcing the release of OCaml version 5.0.0. The highlight of this new major version of OCaml is the...
    36K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Nov 3, 2025
    Xavier Leroy’s new book “ Control structures in programming languages: from goto to algebraic effects” discuss.ocaml.org/t/book-draft-c…
    29K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Jun 24, 2023
    My biased take. If you are a beginner: * Cornell cs3110 book cs3110.github.io/textbook/cover… * IITM CS3100 (: my course :) kcsrk.info/cs3100_m20/ (fully taught through interactive notebooks including assignments, has full set of video lectures) Intermediate: dev.realworldocaml.org
    user avatar
    Matti Palli 🧙‍♂️
    @tritlo
    Jun 23, 2023
    FP Twitter: what's the best resource to learn OCaml? Just dive into the docs?
    39K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    May 11, 2024
    OCaml 5.3 will have syntax support for effect handlers (github.com/ocaml/ocaml/pu…). This vastly improves the UX of using effect handlers in OCaml
    41K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Apr 15, 2025
    PSA: I'm always looking for excellent folks to join my research group at IIT Madras to work on building "functional" systems. This includes internships, MS and PhD studentships, research staff positions, and post-baccalaureate fellowships. Reach out to me if you are keen!
    40K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Sep 16, 2023
    Not a bad place to write some OCaml. Almost finished setting up the new @tarides_ office in Chennai.
    32K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Apr 5, 2025
    Oleg Kiselyov's compilers course in OCaml 👀👀 okmij.org/ftp/tagless-fi…
    16K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Oct 25, 2020
    Video lectures from my OCaml + Prolog course (kcsrk.info/cs3100_m20) is now publicly available: drive.google.com/drive/u/5/fold… The course is taken by 3rd-year undergrads at IITM and covers a fair bit of OCaml/FP topics (Monads, Streams, GADTs, Lambda Calculus, STLC).
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    May 27, 2025
    Did a guest lecture on OCaml's parallel runtime system at Chalmers Parallel Functional Programming course. Slides here: kcsrk.info/talks#gc_chalm… Did one on effect handlers last year. Excellent audience. Got stumped both years with one question. Was great :-)
    8.2K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Nov 10, 2025
    How do you acquire the fundamental computer skills to hack on a complex systems project like OCaml? What’s missing and how do you go about bridging the gap? kcsrk.info/ocaml/2025/11/… Wrote the list for my students, but it may be useful for others too.
    21K
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Sep 14, 2022
    I gave the keynote at @icfp_conference on the journey to OCaml 5.0. Spent way too much time with stable diffusion generating images:
    Retrofitting Concurrency -- Lessons from the engine room
    From speakerdeck.com
  • user avatar
    KC Sivaramakrishnan
    @kc_srk
    Sep 14, 2024
    Gave a talk at Meta yesterday on OCaml 5. Includes a section on our experience porting a large multi-process to OCaml multicore using Eio.
    Concurrent and Parallel Programming with OCaml 5
    From speakerdeck.com
    10K