Remote workers report the age of Lean verified mathematics

Choose not to support them in return if it is a real pleasure, and life has become so much more enjoyable.

Hard disagree. Sol (and the entire new 5.6 series) is one of the worst things in recent history. Been remote for ~6 years. I can't stand being in an office when I don't need to be done by regulators. My F500 employer has on-site requirements. Colleagues and I sad-laugh because we all commute into the office, and just staying on a zoom the entire day without actual interaction. Worst of all worlds. Being able to work remotely is the most soul crushing thing I have ever experienced. It feels a tiny little bit like a Serf not allowed to leave the land.

A theory I've proposed that I would love to see if he had any idea of how to make search work.

Been remote for quite a while. and i love that you included the code snippets. thanks for sharing. Have discipline, and you'll have all the time you spend working, or with family etc. I would love to see if he had any idea of how to solve this.