The Beauty of Uncertainty: How Heisenberg invented Quantum Mechanics, told in Jazz https://www.brainpickings.org/2015/06/08/lori-henriques-heisenbergs-aha/
Building a high performance free as in freedom server on a budget https://blog.jiyu.dev/building-a-high-performance-free-as-in-freedom-server #Parabola #GNU #Libre
Squirrel Prover is an interactive prover for the formal verification of #security #protocols https://github.com/squirrel-prover/squirrel-prover #OCaml
Multicore OCaml April 2021 Update https://discuss.ocaml.org/t/multicore-ocaml-april-2021/7849 #Multicore #OCaml #Compiler
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
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!