lua-users home
lua-l archive

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

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).