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/
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
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
OFLAT web-based platform to support courses on Formal Languages and Automata Theory http://ctp.di.fct.unl.pt/FACTOR/OFLAT/
OpenSSL 1.1.1k is a security fix https://mta.openssl.org/pipermail/openssl-announce/2021-March/000196.html #security #ssl
Free Software developer. Speaker. Writer. Dad. Emacser. Idealist. Purist. @IIT, Madras.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!