Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
unstableontology.com
|
|
| | | | | (note: some readers may find the LaTeX more readable on LessWrong.) In this post I prove a variant of Gödel's completeness theorem. My intention has been to really understand the theorem, so that I am not simply shuffling symbols around, but am actually understanding why it is true. I hope it is helpful for at... | |
| | | | |
richardzach.org
|
|
| | | | | The eminent proof theorist and philosopher of mathematics William Walker ("Bill") Tait died March 15, 2024 in Chicago. He was 95. Bill was born on January 22, 1929, in Freeport, NY, and... | |
| | | | |
consequently.org
|
|
| | | | | ||
| | | | |
blog.jak-linux.org
|
|
| | | In the past weeks, I was looking at several build systems. As it turned out, there is not a single sane generic build system out there. Autotools: Autotools are ugly, slow, and require an immense amount of code copies in the source tree. WAF: WAF is not as ugly as autools and it's faster and does not generate Makefiles or stuff like this. But it has serious issues: It requires one to copy it to the source tarball, has no stable API, and requires Python for building. Furthermore, support for unit testing is broken: It runs the unit tests, but does not abort the build process if the tests fail and does not display why the tests fail. | ||
