nulltype·27 วันที่ผ่านมา·discussFor the implemented formats, wuffs is safer and also often faster: https://github.com/google/wuffs
nulltype·6 เดือนที่ผ่านมา·discuss“The bugs are real. The math is not. All estimates are made up. Your frustration, however, is valid.”I’m pretty sure it’s way less than 2%, but I definitely notice running into the same bugs many times.
nulltype·6 เดือนที่ผ่านมา·discussI think the point was that people care about ppd, not ppi. 218 ppi would be too low if the screen is 1 inch from your eye or too high if it’s 100 inches from your eye.Retina probably means 60 ppd.
nulltype·7 เดือนที่ผ่านมา·discussIsn’t it somewhat common to say something like “slow this down by a factor of 2”?
nulltype·9 เดือนที่ผ่านมา·discussLooks like it's probably https://thinkingmachines.ai/blog/defeating-nondeterminism-in...