Snatch

21 years ago

21 years ago

(Lx.sx)N = sN but from this, I must use the eta rule to have : Lx.sx = s, the problem is that I am not allowed to use the eta rule ( only Lambda Beta ).Anyway I thank you v…

21 years ago

I am currently rewritting my chess engine and I use bitboard in order to have a quite fast move generation. I have just profile my code and it appears that 40% of the code is sp…

20 years, 10 months ago

I have to prove thate for all s which is an abstraction we have : lambda x.sx = s And I am completly stuck, I have try a prof by induction on t with s = lambda y.t but I ca…

21 years ago

Do you think there is a place for a new professional raytracer in the current Game/Film/Architecture market ? Mental image seems to have completly locked the market by integrati…

21 years, 2 months ago