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