KC Sivaramakrishnan
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
kcsrk.info
🏃♂️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! 🥵
April 17, 2025 at 3:35 AM
🏃♂️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! 🥵
Thanks. 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....
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....
April 4, 2025 at 1:13 PM
Thanks. 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....
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....
Finished 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.
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.
March 23, 2025 at 3:04 AM
Finished 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.
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.
PSA: 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)
* 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)
March 18, 2025 at 4:45 AM
PSA: 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)
* 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)
March 14, 2025 at 8:04 AM
I 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 ..
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 ..
March 13, 2025 at 7:07 AM
I 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 ..
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 ..
The tweak: github.com/linoscope/CA...
March 11, 2025 at 2:47 PM
The tweak: github.com/linoscope/CA...
Great 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-...
Chosen as one of the distinguished papers at TACAS 2025.
Paper: janmidtgaard.dk/papers/Huber...
Code: discuss.ocaml.org/t/ann-ortac-...
March 10, 2025 at 4:18 AM
Great 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-...
Chosen as one of the distinguished papers at TACAS 2025.
Paper: janmidtgaard.dk/papers/Huber...
Code: discuss.ocaml.org/t/ann-ortac-...
Saw 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.
And plenty of peacocks too.
March 4, 2025 at 2:17 AM
Saw 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.
And plenty of peacocks too.
Exposed concrete, natural wood accent and earthy green ❤️
March 3, 2025 at 4:24 PM
Exposed concrete, natural wood accent and earthy green ❤️
Just checked into IITGN guest house. Already impressed with the aesthetic. It is like.. they employed an actual architect and a designer.
March 3, 2025 at 4:19 PM
Just checked into IITGN guest house. Already impressed with the aesthetic. It is like.. they employed an actual architect and a designer.
www.whitehouse.gov/oncd/briefin... is no longer accessible. 🫠
February 19, 2025 at 12:45 PM
www.whitehouse.gov/oncd/briefin... is no longer accessible. 🫠
Accidentally 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 :-)
Good work by my past self taking pains to containerize this part :-)
February 17, 2025 at 8:06 AM
Accidentally 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 :-)
Good work by my past self taking pains to containerize this part :-)
February 3, 2025 at 3:24 PM
This is wonderful :-) www.seiburailway.jp/safety/coope...
February 1, 2025 at 4:47 AM
This is wonderful :-) www.seiburailway.jp/safety/coope...
~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.
Need to work on improving the diversity of the group for the next meetup.
January 31, 2025 at 12:17 PM
~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.
Need to work on improving the diversity of the group for the next meetup.
. @anil.recoil.org doing what he does best -- stitching together bleeding edge technologies into impressive stunts :-)
anil.recoil.org/notes/bushel...
anil.recoil.org/notes/bushel...
January 31, 2025 at 5:32 AM
. @anil.recoil.org doing what he does best -- stitching together bleeding edge technologies into impressive stunts :-)
anil.recoil.org/notes/bushel...
anil.recoil.org/notes/bushel...
Growing up nicely with a friend by their side.
January 25, 2025 at 5:41 AM
Growing up nicely with a friend by their side.
Ooh. what do we have here?
spoiler alert: not an engineering role.
spoiler alert: not an engineering role.
January 25, 2025 at 5:22 AM
Ooh. what do we have here?
spoiler alert: not an engineering role.
spoiler alert: not an engineering role.
Aalok Thakkar is teaching Introduction to Computer Science at
Ashoka University using OCaml. The course looks great: aalok-thakkar.github.io/teaching/ics... 😍
Ashoka University using OCaml. The course looks great: aalok-thakkar.github.io/teaching/ics... 😍
January 25, 2025 at 5:09 AM
Aalok Thakkar is teaching Introduction to Computer Science at
Ashoka University using OCaml. The course looks great: aalok-thakkar.github.io/teaching/ics... 😍
Ashoka University using OCaml. The course looks great: aalok-thakkar.github.io/teaching/ics... 😍
OCaml 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.
It brings syntax support for effect handlers.
It also brings back statistical memory profiler and MSVC support.
January 9, 2025 at 2:32 AM
OCaml 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.
It brings syntax support for effect handlers.
It also brings back statistical memory profiler and MSVC support.
Did 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.
Ran this distance after 6 years. 15 minutes slower than the last race.
January 5, 2025 at 8:21 AM
Did 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.
Ran this distance after 6 years. 15 minutes slower than the last race.