My first reaction was that readers from high-assurance field would have collective heart attack at the words try assembly programming followed by “for drug calculations.” They’d say, “If they’re using assembly for that, why did we waste all this time building static analysis tools and automated provers for these kinds of calculations?!” Fortunately, it’s just a learning exercise. I didn’t get an increased heart rate this time. :)
Nice & short introduction to assembler. Easy to follow too!
Just never even think about using something like this for real medical stuff :)
My first reaction was that readers from high-assurance field would have collective heart attack at the words try assembly programming followed by “for drug calculations.” They’d say, “If they’re using assembly for that, why did we waste all this time building static analysis tools and automated provers for these kinds of calculations?!” Fortunately, it’s just a learning exercise. I didn’t get an increased heart rate this time. :)