[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: Most Intelligent Command Line ("MICL") - pitch for devs
- From: Elias Barrionovo <elias.tandel@...>
- Date: Fri, 26 Apr 2013 16:10:24 -0300
I think Wolfram Alpha  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 <firstname.lastname@example.org> 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).