Shakthi Kannan @shakthimaan@mastodon.social

Greg Kroah-Hartman bans University of Minnesota from #Linux development for deliberately buggy patches https://www.zdnet.com/article/greg-kroah-hartman-bans-university-of-minnesota-from-linux-development-for-deliberately-buggy-patches/ #Kernel

9th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design (FARM) 27 August, 2021 https://functional-art.org/2021/

"My year in data" by Ala Szalapak https://samplesize.one/blog/posts/my_year_in_data/ #productivity #GTD

Logical Frameworks and Meta-Languages: Theory and Practice, July 16, 2021 Pittsburgh, Pennsylvania, US https://lfmtp.org/workshops/2021/

ActivityWatch is an app that automatically tracks how you spend time on your devices https://activitywatch.net/ #productivity

Dream tidy #web #framework for #OCaml and ReasonML https://aantron.github.io/dream/

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 #Programming

Codeberg is a community-driven, non-profit software development platform https://docs.codeberg.org/getting-started/what-is-codeberg/ #git

Multicore OCaml March 2021 Update https://discuss.ocaml.org/t/multicore-ocaml-march-2021/7639 #Multicore #OCaml #Compiler

"Stop calling everything AI" says Michael I. Jordan https://spectrum.ieee.org/the-institute/ieee-member-news/stop-calling-everything-ai-machinelearning-pioneer-says #ArtificialIntelligence #MachineLearning

Conformist schema definition and validation to bridge the gap between runtime types and static types https://github.com/oxidizing/conformist #OCaml

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 #productivity

watched "Org Analyzer" App that visualizes Org-mode time tracking data https://www.youtube.com/watch?v=qBgvGDOxmUw (~ 3m) #Emacs #orgmode #productivity

OFLAT web-based platform to support courses on Formal Languages and Automata Theory http://ctp.di.fct.unl.pt/FACTOR/OFLAT/

The Summer of Nix August 2-October 15, 2021 https://summer.nixos.org/ #nixos

HLPP 2021: International Symposium on High-Level Parallel Programming and Applications July 12-13, 2021 https://hlpp2021.github.io/ #Parallel #programming #language

BeagleV is the first affordable RISC-V computer designed to run GNU/Linux https://beagleboard.org/beaglev #open #hardware #riscv

Burly.el provides tools to save and restore frame and window configurations in #Emacs https://github.com/alphapapa/burly.el

Higher-Order Effectful Programs HOPE Workshop August 22, 2021 https://icfp21.sigplan.org/home/hope-2021 #programming #language

OpenSSL 1.1.1k is a security fix https://mta.openssl.org/pipermail/openssl-announce/2021-March/000196.html #security #ssl