Jan
21
Combining testing and proving
http://www.cs.chalmers.se/~peterd/papers/testingproving.html
This is my tumblelog for my lucille renderer.
Scraps, notes, quotes and etc. found on the web which is valuable for renderer development(and some quantitative finance).