KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee http://mmht.clinic.
Joining my group: kcsrk.info/ocaml/iitm/com… A short post summarising my response to the questions I'd received about the opportunities in my group.
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!
The Great Buddha at Kamakura, by Kawase Hasui, 1930
Nx and Hugin are my new favorite things in OCaml, so good to have something like NumPy in this language. It just feels right Even tho I only plot stuff from some load testing, it's so awesome. Great job @tmattio_ ! Looking forward to the workshop at @FunOCaml!
Sonja Heinze & Carine Morel (Tarides) OCaml’s multicore magic + Merlin language server = blazing fast editor support. Parallel, smart, and truly magical 🪄 lambda.world/speakers/?spea…
Authors: Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Yijia Shao, Ziyang Li, Diyi Yang, Kevin Ellis, Koushik Sen, & Armando Solar-Lezama Paper: bit.ly/3IobaxD
Hot take: the programming languages research community should focus less on complex solutions to very narrow problems in the name of novelty, and more---on making existing solutions accessible to non-experts.
The Solanki Temples of Girnarji Girnar - my favourite pilgrimage site in India - is one of those places that does just have a sacred aura surrounding it.
Join Thibaut Mattio (@tmattio_) at FUN OCaml 2025 for "Build Language Models with Raven"! 📅 Sep 15-16, Warsaw 🇵🇱 Learn to build transformer models using OCaml & Raven's JAX-like ecosystem. We'll explore autodiff, attention mechanisms & leverage OCaml's type system for ML.
The rapid rise in AI-generated fraudulent academic papers is "poisoning" scientific literature, warn Cambridge researchers in @Nature today. But though AI is the problem, it could also be a tool to help ensure the integrity of scientific discovery... nature.com/articles/d4158…
OPLSS 2025 lectures are up! cs.uoregon.edu/research/summe…
Slides are up for my magnum opus
using my platform for good
Very cool! I have long wanted Dagsthul like seminar series to start in India. Good to see ACM India taking the initiative to set something similar up.
📢 Call for Proposals: ACM India IndiCS Seminars IndiCS fosters focused, interactive research seminars in CS across India. Submit your proposal for the next edition! 🗓 Deadline: July 31, 2025 🔗 india.acm.org/research/indics #ACMIndia #CSResearch
Half way through the year, half way through the 1000 miles goal. 🏃♂️ Will lose a good part of Oct & Nov to the monsoon. Need to ramp up mileage in the second half.
