Production of three working prototypes of GNU/Linux PowerPC Notebook https://www.powerpc-notebook.org/campaigns/donation-campaign-for-production-of-three-working-prototypes/ #open #hardware #powerpc
Multicore OCaml May 2021 Update https://discuss.ocaml.org/t/multicore-ocaml-may-2021/7990/2 #Multicore #OCaml #Compiler
To identify the isolated CPUs in a system through #commandline use $ cat /sys/fs/cgroup/cpuset/cpuset.cpus
watched "Asus Chromebook Flip C434" review by Robby Pane https://www.youtube.com/watch?v=hZQb2MZy56w (~ 9m)
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/
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!