I recently heard from a friend that Zapletal gave a talk at Toronoto where he constructed a proper forcing which adds a real which infinitely often equals every ground model real but doesn't add a Cohen real thereby answering the "Half of a Cohen real" problem (Arnie's problem 5.7 and Fremlin's problem DQ). I could not get the details from my friend and I cannot find a write-up on Zapletal's webpage.
Can someone describe his forcing?