Authored by: hardmath on Tuesday, April 24 2012 @ 01:09 PM EDT |
Link
--- "Prolog is an efficient programming
language because it is a very stupid theorem prover." -- Richard O'Keefe [ Reply to This | Parent | # ]
|
|
Authored by: hardmath on Tuesday, April 24 2012 @ 02:11 PM EDT |
.
---
"Prolog is an efficient programming language because it is a very stupid theorem
prover." -- Richard O'Keefe[ Reply to This | Parent | # ]
|
|
Authored by: SilverWave on Tuesday, April 24 2012 @ 02:34 PM EDT |
Quote: "9:53 am: The courtroom is deadly quiet except for furious typing.
The jury is leaning forward in their seats and some are taking notes. It feels
like Google is systematically taking down all of Oracle's arguments with this
line of questioning."
---
RMS: The 4 Freedoms
0 run the program for any purpose
1 study the source code and change it
2 make copies and distribute them
3 publish modified versions
[ Reply to This | Parent | # ]
|
|
Authored by: SilverWave on Tuesday, April 24 2012 @ 02:48 PM EDT |
11:30 am: There's no way to put this lightly, but it's very clear that one
person involved in this exchange is much, much smarter than the other.
---
RMS: The 4 Freedoms
0 run the program for any purpose
1 study the source code and change it
2 make copies and distribute them
3 publish modified versions
[ Reply to This | Parent | # ]
|
|
Authored by: jvillain on Tuesday, April 24 2012 @ 05:45 PM EDT |
Awesome job by The Verge. I hope they will be be doing more.
[ Reply to This | Parent | # ]
|
|