
On 20130426 3:10 PM, "Elias Barrionovo" <elias.tandel@gmail.com> wrote:
>
> I think Wolfram Alpha [1] is a step toward this "smart" CLI. It has a
> somewhat loose syntax and can compute some peculiar tasks. Too bad it
> isn't free software.
>
> On Fri, Apr 26, 2013 at 3:17 PM, Daniel Bolgheroni <daniel@bolgh.eng.br> wrote:
> > Peter van der Linden, in his book Expert C Programming, has an interesting
> > point on how flawed is the idea of trying to proof code.
>
> Sad Dijkstra is sad (though he was more into deriving the program from
> the proof instead trying to prove an already developed program).
>
> [1] http://www.wolframalpha.com
>
> 
> NI!
>
Yes, Wolfram does a pretty good job, but even then sometimes I can't get it to understand a seemingly simple calculation at all. Google does similar with their search.