The GBible – backup your files properly to Google Drive and/or S3docs.google.com3 points·by cjv·8 ay önce·0 comments
Sandbox evaluation on macOS causes 30% overhead on file operationstwitter.com12 points·by cjv·5 yıl önce·1 comments
Strip Mining in the Abandoned Orefields of Nineteenth Century Mathematicstweedledum.com3 points·by cjv·5 yıl önce·0 comments
Type annotated pure Python implementation of the builtin max() functiongist.github.com4 points·by cjv·5 yıl önce·0 comments
What every compiler writer should know about programmers [pdf]c9x.me3 points·by cjv·5 yıl önce·0 comments
Scientific Integrity, the 2021 Turing Lecture, and the 2018 Turing Awardpeople.idsia.ch3 points·by cjv·5 yıl önce·0 comments
cjv·4 yıl önce·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 yıl önce·discussI wanted to 3D print infinite LEGOs, but I was told that typical machines are not precise enough for this task.
cjv·5 yıl önce·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?