Authored by: hardmath on Wednesday, May 30 2012 @ 11:27 AM EDT |
Please use the subject line to telegraph the nature of the
error and its correction, e.g.
s/errar/error/
or perhaps
errar -> error
---
"Prolog is an efficient programming language because it is a very stupid theorem
prover." -- Richard O'Keefe[ Reply to This | # ]
|
|
Authored by: hardmath on Wednesday, May 30 2012 @ 11:31 AM EDT |
If starting a new subthread here, please use HTML mode and
include a prominent link to the story being discussed.
This is helpful particularly after the News Picks columns
scrolls down and makes the reference by Title alone (in the
subject line) difficult to match up.
[Information about posting in HTML mode is summarized in red
text below the Post a Comment text-entry box.]
---
"Prolog is an efficient programming language because it is a very stupid theorem
prover." -- Richard O'Keefe[ Reply to This | # ]
|
|
Authored by: hardmath on Wednesday, May 30 2012 @ 11:37 AM EDT |
Threads started here should be on a topic that is off.
Threads that are off a topic that is on will be dealt with
severely by filing them as amicus briefs in the Allen v. World
litigation with court costs assessed accordingly.
---
"Prolog is an efficient programming language because it is a very stupid theorem
prover." -- Richard O'Keefe[ Reply to This | # ]
|
|
Authored by: hardmath on Wednesday, May 30 2012 @ 11:41 AM EDT |
Please contribute to the
Comes v. MS transcript project by
posting the HTML formatted documents here
in Plain Old Text
mode (for ease of cut & paste).
Or email them to
PJ...
--- "Prolog is an efficient programming language because it is a
very stupid theorem prover." -- Richard O'Keefe [ Reply to This | # ]
|
|