Have a look at what this guy is up to.
https://research.unsw.edu.au/people/scientia-professor-gernot-heiser
Have a look at what this guy is up to.
https://research.unsw.edu.au/people/scientia-professor-gernot-heiser
I have gray hair and around 30 years ago transputers where the thing, to be used for "formal programming"
guarantee to be provable true
obviously there is a catch, the whole issue is moved to the "specification" and that becomes another language
it is turtles all the way down
I have gray hair and around 30 years ago transputers where the thing, to be used for "formal programming"
guarantee to be provable true
obviously there is a catch, the whole issue is moved to the "specification" and that becomes another language
it is turtles all the way down
Shit, somebody else who has used transputers. My masters was in distributed systems using transputers..
Shit, somebody else who has used transputers. My masters was in distributed systems using transputers..
yeah, and I am ..... forget it
have a nice day
yeah, and I am ..... forget it
have a nice day
(post is archived)