1,569 karma · joined May 2, 2012
In the same way that pdftex has the advantage of knowing its output format (and can e.g. write pdf metadata), this hypothetical "htmltex" would know that its output is html, and could do things like allowing paragraph re-flow and embedding maths using MathJax.
Of course, this wouldn't be easy, you'd likely need to fork TeX to implement it correctly (or only support a subset of LaTeX features like the current TeX->HTML converters), but it's far from impossible.
> The world's first computer science degree program, the Cambridge Diploma in Computer Science, began at the University of Cambridge Computer Laboratory in 1953. The first computer science degree program in the United States was formed at Purdue University in 1962.
If Langton's ant is capable of universal computation, wouldn't non-halting programs be a counterexample to this convergence?
* Also, Haar is a surname, not an abbreviation, you don't write it in all-caps
return foo ? true : false;
or even return foo == true ? true : false;Absolutely not. A doctorate is an apprenticeship in research, and the thesis produced is your "final test" as an apprentice. It's supposed to be the start of your academic career, not its pinnacle.
Sounds about right to me. Why is this "spin"?