yn

4 ms·

1. 1.▲
   Ask HN: Is there other language that allows inline machine code?

   1 points by yn 14y ago|2 comments
2. 2.▲
   by yn 15y ago

   If you are programming in imperative languages, I think you can learn from Dijkstra and Gries. In my own experience, mathematics is the only way to gain assurance.