The GBible – backup your files properly to Google Drive and/or S3docs.google.com3 points·by cjv·قبل 8 أشهر·0 comments
Sandbox evaluation on macOS causes 30% overhead on file operationstwitter.com12 points·by cjv·قبل 5 سنوات·1 comments
Strip Mining in the Abandoned Orefields of Nineteenth Century Mathematicstweedledum.com3 points·by cjv·قبل 5 سنوات·0 comments
Type annotated pure Python implementation of the builtin max() functiongist.github.com4 points·by cjv·قبل 5 سنوات·0 comments
What every compiler writer should know about programmers [pdf]c9x.me3 points·by cjv·قبل 5 سنوات·0 comments
Scientific Integrity, the 2021 Turing Lecture, and the 2018 Turing Awardpeople.idsia.ch3 points·by cjv·قبل 5 سنوات·0 comments
cjv·قبل 4 سنوات·discussCongratulations Stefan, "Kaggle for robotics" seems like an exciting direction! I still remember your kindness and just wanted to wish you the best.
cjv·قبل 5 سنوات·discussI wanted to 3D print infinite LEGOs, but I was told that typical machines are not precise enough for this task.
cjv·قبل 5 سنوات·discussI'm curious to know what people think about elisp as a extension language. Would Emacs be better if everything was implemented in elisp including the core data structures (assuming elisp was very fast)? Do people suffer from lack of static typing?