Viewing profile — wy1981

Jeff Dean, Sanjay, et al have achieved so much. I'm very happy for them. Truly deserving. Sometimes I couldn't resist wondering if I'll ever do work that has a tenth of the impact …

Thanks for responding. If you're interested in a tutoring Latin remotely, please let me know. If not, no worries.

As an aside, do you still teach Latin? If not, any online recommendations for Latin tutors? Thanks in advance.

This level of detail isn't really helpful. I am working with AI and genuinely interested in learning more, but this offers very little. More concrete examples to illustrate the cor…

What works for me is that often on a Monday I restart my machine. If something is truly important, I save it before the restart. There is something good to start from an empty stat…

> Every project and programmer shouldn't feel they have to justify their choice not to use Rust Maybe writing about it was taken as an opportunity to clarify their own thinking abo…

Looks nice. Some explanation for those of us not familiar with Go would've been more educational. Could be future posts, I suppose.

Great find and writeup. As an aside, this is the type of a problem that I think model checkers can't help with. You can write perfect and complicated TLA+/Lean/FizzBee models and e…

Writing is one of the best ways to learn something. Maybe non-experts learn something by writing about it? Don't think the entire internet is repeating inaccuracies. :) I also beli…