Archive for the ‘computer science’ Category
Vista beta 2 and UAC
Posted by: jinsei on June 10, 2006
Simultaneous superposition of values in a non-deterministic function
Posted by: jinsei on May 11, 2006
Curry, a functional logic language
Posted by: jinsei on May 9, 2006
Taking back “trusted computing”
Posted by: jinsei on April 22, 2006
Why verified code matters
Posted by: jinsei on April 4, 2006
