mathpadawan

3 ms·

1. 1.▲
   Ask HN: Is Fortran worth learning in this day and age?

   2 points by mathpadawan 6y ago|3 comments
2. 2.▲
   by mathpadawan 6y ago

   Interesting suggestion. I have not programmed a lot in Fortran but with my limited exposure to it I like the first class support multidimensional arrays. It has a simple and clean syntax too. Definitely wins in speed and longevity. Can some
3. 3.▲
   Ask HN: Which general programming language is good for learning/exploring math?

   43 points by mathpadawan 6y ago|63 comments
4. 4.▲
   by mathpadawan 6y ago

   > The axiom of choice is allowed. Why does this need to be stated explicitly? Why does the axiom of choice not enjoy the privilege of being a first-class axiom like other axioms? Why do many proofs need to state the assumption of this ax