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?