lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

On 2013-04-26 3:10 PM, "Elias Barrionovo" <> 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 <> 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]
> --
> 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.