The first lecture on using the shell is up on the new and improved Software Carpentry web site. Comments and feedback would be greatly appreciated.
The first lecture on using the shell is up on the new and improved Software Carpentry web site. Comments and feedback would be greatly appreciated.
I’m curious, having worked on security and read widely on coding-efficiency, do you have any comments on Praxis? They were linked off of Slashdot today:
http://www.stsc.hill.af.mil/crosstalk/2005/12/0512CroxfordChapman.html
And this was the first time I’d heard of them. Sounds pretty amazing, and if I read them correctly they attribute a large portion of their success to using a strongly typed language called “SPARK”, which they say makes certain parts of their code provable. Whaddya think?