HNHacker News
TopNewBestAskShowJobs

deanmen

467 karma · joined March 25, 2014

submissionscomments
deanmen··on Ask HN: Blind programmers, what can I do to make my code easier for you?
Some people use the archaic spelling "shew" but only the senses "to prove or demonstrate". Or again in mathematics "rng" to mean a ring that does not necessarily have an identity. Or "iff" to mean "if and only if". These would look like inconsistent typos to nonmathematicians.

Or "referer" in HTTP because that's what the standard uses. Or "creat" when discussing the UNIX system call or a function with the same purpose on another platform.

deanmen··on The Little Typer
According to WorldCat Library search it's not even in libraries other than Library of Congress and "College of Western Idaho". So it is probably not popular enough to be uploaded to a pirate site either. In fact it just came out on 18 September, so in order for a copy to be uploaded anywhere someone would have had to buy it and then immediately scan it, or the authors would have to put a draft copy on their website.
deanmen··on EU to stop changing the clocks in 2019
That study is disputed: http://dvorak.mwbrooks.com/dissent.html

Moreover, people in modern times have attempted to create improved keyboard layouts (e.g. BEPO, Coleman) which are also better for typing Unix commands, suggesting that such a rearrangement may be helpful etiher for reducing RSI or for increased speed.

deanmen··on Times Newer Roman, a sneaky font designed to make essays look longer
The bigger x-height seems to make it a bit more readable. However, generally professors allow Palatino instead of Times even when measuring length requirement by page; unmodified Palatino is also wider but more aesthetically pleasing, and is widely used in academic papers.
deanmen··on Teaching foreign policy majors to code
Sorry, I must have misremembered and thought they said "no coding" instead of "no programming". But people would probably call such a usage a lie if it is intended to mislead even if strictly speaking it isn't.
deanmen··on Teaching foreign policy majors to code
Lying always being unethical is actually a relatively standard idea in classical ethical theories e.g. Summa Theologica, Question 110, Article 3. However, the statement that the class involves "no coding" could be considered truthful in the social context or as part of a use of mental reservation.
deanmen··on Teaching foreign policy majors to code
It could be considered a non-lie under the concept of mental reservation. In older usage, coding a computer meant writing assembly or machine language only; thus, a report on FORTRAN indicates that "FORTRAN virtually eliminates coding and debugging". This is a standard usage of the word coding although slightly archaic.

http://www.softwarepreservation.org/projects/FORTRAN/BackusE...

Otherwise, presenting informal proofs to students in engineering or science that would not be considered mathematically rigorous would also be a lie and unethical.

deanmen··on Teaching foreign policy majors to code
In older use, "coding" meant only assembly and machine language programming, which would be a separate process from writing a high-level algorithmic version. A paper on FORTRANS claims that it will "virtually eliminate coding and debugging" Thus the statement that the class is no coding could be considered truthful.

http://www.softwarepreservation.org/projects/FORTRAN/BackusE...

deanmen··on Sony Finally Admits It Doesn’t Own Bach
How would you distinguish a performance based on the public-domain Bach-Gesselshaft Ausgabe from one from a different score? Also I don't think Sony prints editions of classical texts.
deanmen··on Mathematics for Computer Science: Readings
It's the textbook for a course calls "Mathematics for Computer Science" at MIT. Linear algebra is a separate course (18.06 or 18.700).
deanmen··on Project Gutenberg blocks access from Germany
You have to pay U.S. taxes on worldwide income. The U.S. is the only country that does this, though.
deanmen··on Power Method for Approximating Eigenvalues [pdf]
Content seems to be in Larson, Elementary Linear Algebra and also in Complex Variables and Numerical Methods (GTU 2016) By Ravish R Singh, Mukul Bhatt
deanmen··on How to ace your next job interview
exponentiation be repeated squaring, multiplication by shift and add, then addition by subtraction "x - (- y)" or concatenating strings of the appropriate lengths (use printf in c), or bitwise operations
deanmen··on What This Country Needs Is an 18¢ Piece [pdf]
Canada has the same coin denominations as the US, except that it has now eliminated the penny.
deanmen··on McDonald's Real Estate: How They Really Make Their Money (2015)
They meant to put e.g.
deanmen··on What it means to believe that “real” trees no longer exist (2016)
You can sail around a torus.
deanmen··on Google Brain Residency Program
If a university has both, the BA usually requires a language and the BS requires more computer science courses or requires science courses like physics or chemistry. Otherwise, it depends on what university you go to whether you degree is a BS or a BA. e.g. If CS is in the engineering college, it is a BS.
deanmen··on Are Lawyers Getting Dumber?
~ on the US keyboard is in the same location as ¬ on the UK keyboard, and ~ is in ASCII. I have seen both in math books, but ~ is even used in some books which were printed before computers.
deanmen··on USA tops International Math Olympiad for first time in 21 years
Relativity is not a good example since we could still discover the correction empirically and program it into GPS receivers without having a theory of relativity. (i.e. the corrections are just "these weird numbers that you add to make the results come out right").
deanmen··on Mathematical Methodology (1989)
There are draft chapters of some parts of his book on his archive http://www.cs.utexas.edu/~EWD/index10xx.html but I don't think this book has actually been published.

Here they are in chronological order: http://www.cs.utexas.edu/~EWD/ewd10xx/EWD1063.PDF http://www.cs.utexas.edu/~EWD/ewd10xx/EWD1067.PDF http://www.cs.utexas.edu/~EWD/ewd10xx/EWD1068.PDF http://www.cs.utexas.edu/~EWD/ewd10xx/EWD1070.PDF http://www.cs.utexas.edu/~EWD/ewd10xx/EWD1078.PDF http://www.cs.utexas.edu/~EWD/ewd10xx/EWD1090.PDF http://www.cs.utexas.edu/~EWD/ewd10xx/EWD1091.PDF http://www.cs.utexas.edu/~EWD/ewd10xx/EWD1094.PDF

His website indicates he taught classes on this subject at UT Austin in 1997

deanmen··on In Mathematics, Mistakes Aren’t What They Used to Be
The Oxford dictionary "intuition" as "immediate apprehension by the mind, without the need for reasoning"

When people emphasise intuition in mathematics it suggests that

(i) that they have never tried to teach mathematics formally and explicitly without appeal to intuition —if they had, it would have been a most refreshing experience for them and for those of their students that were sufficiently well-educated to appreciate simplification

(ii) that they have never taken the trouble to learn how to let the rules of the formal game guide their “writing of papers” —if they had, they would have discovered how to do mathematics way beyond their former powers.

EW Dijkstra

deanmen··on The compiler flag that time forgot
connexion reflects the Latin etymology -- it comes from the Latin word cōnexiō (junction)
deanmen··on Artificial-Intelligence Experts Are in High Demand
AI experts don't know how to create an artificial intelligence. AI researchers study how to solve various problems in CS traditionally performed by humans that humans don't solve by carrying out an algorithm by hand like Natural Language Processing, machine learning, automated reasoning, search (e.g. chess).
deanmen··on Death for stealing candles
There are 20 shillings in an old pound, so it is £2.40

This is equivalent to about £300 today. If we instead consider it as a percentage of the GDP per capita it would be eqiuivalent to £6000 today.

deanmen··on A Chess Program in PL/I
Relatively short -- the Fortran version is 500 lines.
deanmen··on Career planning: Where do old devs go to?
MIT's operating systems class used to (in the early 2000s) be based on Lion's book on UNIX Version 6 for the PDP-11:

http://pdos.csail.mit.edu/6.828/2014/xv6.html

deanmen··on Nimrod is being renamed to Nim
"Dunce" comes from the name of the philosopher Duns Scotus.
deanmen··on How recursion got into programming: a comedy of errors
This convention is even used in Knuth's MIX:

http://www.jklp.org/profession/books/mix/c06.html

← PreviousPage 3 of 3