Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.infohttps://bsky.app/profile/kcsrk.infohttps://bsky.app/profile/kcsrk.info/post/3luedirrfr22nYay!20 Jul 2025 01:34 +0000at://did:plc:soohlvktn3232efhkgipeqtk/app.bsky.feed.post/3luedirrfr22nhttps://bsky.app/profile/kcsrk.info/post/3lqr5czsaek2qA follow up post on linearity and uniqueness: https://kcsrk.info/ocaml/modes/oxcaml/2025/06/04/linearity_and_uniqueness/. [contains quote post or other embedded content]04 Jun 2025 06:08 +0000at://did:plc:soohlvktn3232efhkgipeqtk/app.bsky.feed.post/3lqr5czsaek2qhttps://bsky.app/profile/kcsrk.info/post/3lqfbkrpfss24Using uniqueness mode for improving behavioural types: https://kcsrk.info/ocaml/modes/2025/05/29/uniqueness_and_behavioural_types/30 May 2025 12:52 +0000at://did:plc:soohlvktn3232efhkgipeqtk/app.bsky.feed.post/3lqfbkrpfss24https://bsky.app/profile/kcsrk.info/post/3los3f5up5c2hHack a satellite challenge hacksat.dev https://hacksat.dev/10 May 2025 04:15 +0000at://did:plc:soohlvktn3232efhkgipeqtk/app.bsky.feed.post/3los3f5up5c2hhttps://bsky.app/profile/kcsrk.info/post/3lnugbtph7c2lSome notes on pathways to join my group at IIT Madras: https://kcsrk.info/ocaml/iitm/community/2025/04/28/working-with-me/28 Apr 2025 09:10 +0000at://did:plc:soohlvktn3232efhkgipeqtk/app.bsky.feed.post/3lnugbtph7c2lhttps://bsky.app/profile/kcsrk.info/post/3lnug6md22s2lThe state of OCaml platform on Windows https://discuss.ocaml.org/t/ann-state-of-ocaml-platform-on-windows/1654028 Apr 2025 09:09 +0000at://did:plc:soohlvktn3232efhkgipeqtk/app.bsky.feed.post/3lnug6md22s2lhttps://bsky.app/profile/kcsrk.info/post/3lmy6givlks2k🏃‍♂️It is that time of the year when Chennai weather starts turning into a sauna for a couple of months. This is at 5:30am! 🥵17 Apr 2025 03:35 +0000at://did:plc:soohlvktn3232efhkgipeqtk/app.bsky.feed.post/3lmy6givlks2khttps://bsky.app/profile/kcsrk.info/post/3lmkdt3zmes2iCall for Volunteers to Help Maintain the Opam-Repository https://discuss.ocaml.org/t/call-for-volunteers-to-help-maintain-the-opam-repository/1647611 Apr 2025 15:35 +0000at://did:plc:soohlvktn3232efhkgipeqtk/app.bsky.feed.post/3lmkdt3zmes2i