Shakthi Kannan shakthimaan@identi.ca
Chennai, India
Free Software developer. Speaker. Writer. Dad. Emacser. Idealist. Purist.
2021-04-16T16:43:22Z via Identi.ca Web To: Public CC: Followers
ActivityWatch is an app that automatically tracks how you spend time on your devices https://activitywatch.net/ #productivity2021-04-16T16:42:29Z via Identi.ca Web To: Public CC: Followers
Dream tidy #web #framework for #OCaml and ReasonML https://aantron.github.io/dream/2021-04-12T17:09:56Z via Identi.ca Web To: Public CC: Followers
CPU algorithm trains deep neural nets up to 15 times faster than top GPU trainers https://techxplore.com/news/2021-04-rice-intel-optimize-ai-commodity.html #Multicore #Parallel #Programming2021-04-12T17:09:04Z via Identi.ca Web To: Public CC: Followers
Codeberg is a community-driven, non-profit software development platform https://docs.codeberg.org/getting-started/what-is-codeberg/ #git2021-04-09T17:00:48Z via Identi.ca Web To: Public CC: Followers
Multicore OCaml March 2021 Update https://discuss.ocaml.org/t/multicore-ocaml-march-2021/7639 #Multicore #OCaml #Compiler2021-04-09T16:44:06Z via Identi.ca Web To: Public CC: Followers
"Stop calling everything AI" says Michael I. Jordan https://spectrum.ieee.org/the-institute/ieee-member-news/stop-calling-everything-ai-machinelearning-... #ArtificialIntelligence #MachineLearning2021-04-07T16:42:27Z via Identi.ca Web To: Public CC: Followers
Conformist schema definition and validation to bridge the gap between runtime types and static types https://github.com/oxidizing/conformist #OCaml2021-04-07T16:41:50Z via Identi.ca Web To: Public CC: Followers
Mental models: How to train your brain to think in new ways https://getpocket.com/explore/item/mental-models-how-to-train-your-brain-to-think-in-new-ways #productivity2021-04-05T14:10:37Z via Identi.ca Web To: Public CC: Followers
watched "Org Analyzer" App that visualizes Org-mode time tracking data https://www.youtube.com/watch?v=qBgvGDOxmUw (~ 3m) #Emacs #orgmode #productivity2021-04-05T14:08:55Z via Identi.ca Web To: Public CC: Followers
OFLAT web-based platform to support courses on Formal Languages and Automata Theory http://ctp.di.fct.unl.pt/FACTOR/OFLAT/2021-04-04T17:42:11Z via Identi.ca Web To: Public CC: Followers
The Summer of Nix August 2-October 15, 2021 https://summer.nixos.org/ #nixos2021-04-04T17:41:25Z via Identi.ca Web To: Public CC: Followers
HLPP 2021: International Symposium on High-Level Parallel Programming and Applications July 12-13, 2021 https://hlpp2021.github.io/ #Parallel #programming #language2021-04-02T16:11:25Z via Identi.ca Web To: Public CC: Followers
BeagleV is the first affordable RISC-V computer designed to run GNU/Linux https://beagleboard.org/beaglev #open #hardware #riscv2021-04-02T16:09:41Z via Identi.ca Web To: Public CC: Followers
Burly.el provides tools to save and restore frame and window configurations in #Emacs https://github.com/alphapapa/burly.el2021-03-31T17:14:04Z via Identi.ca Web To: Public CC: Followers
Higher-Order Effectful Programs HOPE Workshop August 22, 2021 https://icfp21.sigplan.org/home/hope-2021 #programming #language2021-03-31T17:13:29Z via Identi.ca Web To: Public CC: Followers
OpenSSL 1.1.1k is a security fix https://mta.openssl.org/pipermail/openssl-announce/2021-March/000196.html #security #ssl2021-03-28T10:51:40Z via Identi.ca Web To: Public CC: Followers
"There are two hard things in computer science: cache invalidation, naming things, and off-by-one errors." ~ Phil Karlton #Computer #Science2021-03-28T10:50:49Z via Identi.ca Web To: Public CC: Followers
Abel Prize celebrates union of Mathematics and Computer Science https://www.nature.com/articles/d41586-021-00694-9 #mathematics #Computer #Science2021-03-21T17:11:38Z via Identi.ca Web To: Public CC: Followers
watched "NASA's baffling engine problem" https://www.youtube.com/watch?v=xbvQBwnppQo (~ 7m) #science2021-03-21T17:10:32Z via Identi.ca Web To: Public CC: Followers
Logical Frameworks and Meta-Languages: Theory and Practice July 16, 2021 Pittsburgh, Pennsylvania, US https://lfmtp.org/workshops/2021/ #Programming #Logic #Computer #Science
