User blog comment:Wythagoras/Hydra machines/@comment-1605058-20140824170254/@comment-1605058-20140824185542

Ah, okay, I see. Very impressive optimizations, I must say. Are you going to make finite label/full Buchholz's hydra machines too?