KC Sivaramakrishnan @kcsrk.info · 17/04/2025🏃♂️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! 🥵 080
KC Sivaramakrishnan @kcsrk.info · 04/04/2025Thanks. These stats are not available in Public. Let me poke people at IITM. This is the distribution of enrolled students in the first batch of online BS programme from publicly available info: drive.google.com/file/d/158VS.... 120
KC Sivaramakrishnan @kcsrk.info · 23/03/2025Finished much faster than anticipated. 1:40:xx. Laser cut personalised medal is a nice touch. Not bad for first time running in the hills; 15k with 500m climb at 2600m. Only 10 minutes slower than my usual 15k morning runs in Chennai. Guessing regular runs at 25+C 85% humidity is good training. 0180
KC Sivaramakrishnan @kcsrk.info · 18/03/2025PSA: Zotero is the best paper reading / bibliography management app today. * FOSS. * Highlighting + comments actually work. * Has previews of references, figures, etc. * IPad app that can be annotated with Apple Pencil and syncs to the desktop app. * Has a notion of tags (collections) 3122
KC Sivaramakrishnan @kcsrk.info · 14/03/2025If all goes well, OCaml 5 code will ride into space in < 24 hrs. www.dphispace.com/post/parsimo... 55612
KC Sivaramakrishnan @kcsrk.info · 13/03/2025I can see that 15 is what works. But it feels odd that such a low setting should work. When interpreted by the book, if the memory used by the program is 115MB, the working set is 100MB. However, given that with 15 it matches OCaml 4 spacetime behaviour (with space overhead 120), reality may be .. 110
KC Sivaramakrishnan @kcsrk.info · 10/03/2025Great work from @tarides.com folks on pragmatic verification of OCaml software. Chosen as one of the distinguished papers at TACAS 2025. Paper: janmidtgaard.dk/papers/Huber... Code: discuss.ocaml.org/t/ann-ortac-... 1259
KC Sivaramakrishnan @kcsrk.info · 04/03/2025Saw Nilgai and grey langur in the wild for the first time. Didn’t realise langurs are much taller and have much longer tails than bonnet macaques. And plenty of peacocks too. 190
KC Sivaramakrishnan @kcsrk.info · 03/03/2025Exposed concrete, natural wood accent and earthy green ❤️ 150
KC Sivaramakrishnan @kcsrk.info · 03/03/2025Just checked into IITGN guest house. Already impressed with the aesthetic. It is like.. they employed an actual architect and a designer. 3210
KC Sivaramakrishnan @kcsrk.info · 19/02/2025www.whitehouse.gov/oncd/briefin... is no longer accessible. 🫠 391
KC Sivaramakrishnan @kcsrk.info · 17/02/2025Accidentally brought my wife's MacBook to work. Had to teach a class where I live code F*. Devcontainers + Github CodeSpaces saved the day. Good work by my past self taking pains to containerize this part :-) 1160
KC Sivaramakrishnan @kcsrk.info · 01/02/2025This is wonderful :-) www.seiburailway.jp/safety/coope... 1162
KC Sivaramakrishnan @kcsrk.info · 31/01/2025~35 folks turned up. 2x larger than our previous largest meetup. OCaml was discussed; pizzas were had. Need to work on improving the diversity of the group for the next meetup. 1201
KC Sivaramakrishnan @kcsrk.info · 31/01/2025. @anil.recoil.org doing what he does best -- stitching together bleeding edge technologies into impressive stunts :-) anil.recoil.org/notes/bushel... 0113
KC Sivaramakrishnan @kcsrk.info · 25/01/2025Ooh. what do we have here? spoiler alert: not an engineering role. 050
KC Sivaramakrishnan @kcsrk.info · 25/01/2025Aalok Thakkar is teaching Introduction to Computer Science at Ashoka University using OCaml. The course looks great: aalok-thakkar.github.io/teaching/ics... 😍 0204
KC Sivaramakrishnan @kcsrk.info · 09/01/2025OCaml 5.3 has been released: discuss.ocaml.org/t/ocaml-5-3-... It brings syntax support for effect handlers. It also brings back statistical memory profiler and MSVC support. 36123
KC Sivaramakrishnan @kcsrk.info · 05/01/2025Did a 1/2 in 2:10 this morning. Was aiming for 2:15 or better. Quite happy with the result. Ran this distance after 6 years. 15 minutes slower than the last race. 2170
KC Sivaramakrishnan @kcsrk.info · 26/12/2024The new ROCQ branding looks great: rocq-prover.org/changelog/20.... The website feels familiar @ocaml.org :-) 3495
KC Sivaramakrishnan @kcsrk.info · 22/12/2024I was at Halebidu earlier this year! Hoysala’s evolved a distinct style from the Tamil Dravidian one, but still are primarily in Dravidian style. Vimana is still tiered Dravidian and unlike the North Indian Shikara style. 140
KC Sivaramakrishnan @kcsrk.info · 22/12/2024How lovely! Kailasanathar temple has calligraphic inscriptions in Pallava Grantha script en.m.wikipedia.org/wiki/Pallava..., shaped into swans, peacocks and ducks. Pallava Grantha is the basis of scripts of many SE Asian languages. 120
KC Sivaramakrishnan @kcsrk.info · 22/12/2024This is Kailasanathar temple in Kanchipuram. The replica is Virupaksha temple in Pattadakal. 240
KC Sivaramakrishnan @kcsrk.info · 22/12/2024The 8th century shrine that so impressed an invading king to not only spare destroying the city but to build a replica in his own country. 2150
KC Sivaramakrishnan @kcsrk.info · 12/12/2024Hazards of doing security research dl.acm.org/doi/10.1145/... 151
KC Sivaramakrishnan @kcsrk.info · 06/12/2024Set out to run 1k miles this year, but only managed to hit 1k km. Still quite happy about keeping up with it despite a few poor months. 2171
