Ask HN: Is there other language that allows inline machine code?1 points·by yn·14 yıl önce·2 comments
yn·15 yıl önce·discussIf 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.
In my own experience, mathematics is the only way to gain assurance.