Shakthi Kannan shakthimaan@identi.ca
Chennai, India
Free Software developer. Speaker. Writer. Emacser. Table Tennis player. CSK. @iitmadras
2021-12-03T13:27:17Z via Identi.ca Web To: Public CC: Followers
Multicore OCaml November 2021 Update https://discuss.ocaml.org/t/multicore-ocaml-november-2021-with-results-of-code-review/8934 #Multicore #OCaml #Compiler2021-12-03T13:25:56Z via Identi.ca Web To: Public CC: Followers
watched "Language Server Protocol Explained" https://www.youtube.com/watch?v=2GqpdfIAhz8 (~ 39m) #Programming #Language2021-11-30T13:28:10Z via Identi.ca Web To: Public CC: Followers
Advent of Code 2021 https://adventofcode.com/2021/events #programming2021-11-30T13:27:38Z via Identi.ca Web To: Public CC: Followers
Twitter CTO Parag Agrawal will replace Jack Dorsey as CEO https://www.cnbc.com/2021/11/29/twitter-ceo-jack-dorsey-is-expected-to-step-down-sources-say.html2021-11-22T12:03:43Z via Identi.ca Web To: Public CC: Followers
A super-polynomial lower bound has been established for constant depth circuits in the algebraic domain https://www.thehindu.com/sci-tech/technology/iit-bombay-faculty-takes-a-shot-at-a-long-standing-prob... #computer #science2021-11-22T12:02:34Z via Identi.ca Web To: Public CC: Followers
watched Timo Boll's "What's in my bag 2021?" https://www.youtube.com/watch?v=rdkEf-QUYhg (~ 8m) #TableTennis2021-11-20T09:02:14Z via Identi.ca Web To: Public CC: Followers
Tarides and Hyper: Partners in Agricultural Innovation https://tarides.com/blog/2021-11-18-tarides-hyper-partners-in-agricultural-innovation #IOT #Embedded #OCaml #MirageOS2021-11-20T09:00:21Z via Identi.ca Web To: Public CC: Followers
watched Jamie Dimon, the Chairman, President and CEO of JP Morgan Chase View From the Top Speaker Series https://www.youtube.com/watch?v=IyEadGANbgM (~ 58m)2021-11-17T13:21:34Z via Identi.ca Web To: Public CC: Followers
Multicore OCaml October 2021 Update https://discuss.ocaml.org/t/multicore-ocaml-october-2021/8822 #Multicore #OCaml #Compiler2021-11-17T13:20:57Z via Identi.ca Web To: Public CC: Followers
Edsger Dijkstra - The man who carried #Computer #Science on his shoulders https://inference-review.com/article/the-man-who-carried-computer-science-on-his-shoulders2021-11-17T11:38:27Z via Identi.ca Web To: Public CC: Followers
The November 2021 edition of OSFY magazine has my fourth article in the #R, #Statistics and #Machine #Learning series on importing data to R https://subscribe.efyindia.com/electronicsforu/subscription/giftsOSFY.asp @OpenSourceForU2021-11-17T11:38:12Z via Identi.ca Web To: Public CC: Followers
23rd International Symposium on Trends in Functional Programming 10-11 February 2022, Kraków, Poland https://trendsfp.github.io/index.html #Functional #Programming2021-11-08T16:38:22Z via Identi.ca Web To: Public CC: Followers
Grapholinguistics in the 21st Century, June 8-10, 2022 Télécom Paris, Palaiseau, France https://grafematik2022.sciencesconf.org/ #Writing2021-11-08T16:37:43Z via Identi.ca Web To: Public CC: Followers
16th International Con(TeX)T Meeting, September 12-18, 2022 Dreifelden, Germany https://meeting.contextgarden.net/2022/ #TeX #Writing2021-11-07T16:37:40Z via Identi.ca Web To: Public CC: Followers
New Raspberry Pi Zero 2 W for $15 https://www.raspberrypi.com/news/new-raspberry-pi-zero-2-w-2/ #raspberrypi #hardware #embedded2021-11-07T16:36:47Z via Identi.ca Web To: Public CC: Followers
ReScript, Reason, ReasonML and BuckleScript explained by Ersin Akinci https://ersin-akinci.medium.com/confused-about-rescript-rescript-reason-reasonml-and-bucklescript-ex... #JavaScript #ReasonML2021-10-27T13:31:50Z via Identi.ca Web To: Public CC: Followers
Scottish Informatics and Computer Science Alliance (SICSA) Multicore Challenge http://www.macs.hw.ac.uk/sicsawiki/index.php/MultiCoreChallenge #multicore #programming2021-10-27T13:31:13Z via Identi.ca Web To: Public CC: Followers
OpenBSD Router Guide https://openbsdrouterguide.net/ #bsd #hardware #router2021-10-20T12:46:02Z via Identi.ca Web To: Public CC: Followers
The October 2021 edition of OSFY magazine has my third article in the #R, #Statistics and #Machine #Learning series on R data structures https://subscribe.efyindia.com/electronicsforu/subscription/giftsOSFY.asp @OpenSourceForU2021-10-20T12:44:22Z via Identi.ca Web To: Public CC: Followers
List of verification and synthesis tools https://github.com/johnyf/tool_lists/blob/main/verification_synthesis.md #formal #verification