This was because no matter how hard I tried, I kept running into variables that I was watching that appeared to be the same reference, have different values (so I know I was referring to something wrong, but could not for the life of me figure it out, and though if I only had a way to step/trace and do this visually like an AST that highlights changed values and you could see back to its root where it's actually... - Source: Hacker News / 17 days ago

I think this tool must share a lot techniques and use cases with rr. I wonder how it compares in various aspects. https://rr-project.org/ rr "sells" as a "reversible debugger", but it obviously needs the determinism for its record and replay to work, and AFAIK it employs similar techniques regarding system call interception and serializing on a single CPU. The reversible debugger aspect is built on periodic... - Source: Hacker News / about 2 months ago

Https://rr-project.org/ had the same problem. They use the retired conditional branch counter instead of instruction counter, and then instruction steeping until at the correct address. - Source: Hacker News / 3 months ago

That'll work great for your Distributed QSort Incorporated startup, where the only product is a sorting algorithm. Formal software verification is very useful. But what can be usefully formalized is rather limited, and what can be formalized correctly in practice is even more limited. That means you need to restrict your scope to something sane and useful. As a result, in the real world running thousands of tests... - Source: Hacker News / 4 months ago

The approach of check-pointing computation such that it is resumable and restartable sounds similar to a time-traveling debugger, like rr or WinDbg: https://rr-project.org/ https://learn.microsoft.com/windows-hardware/drivers/debuggercmds/time-travel-debugging-overview. - Source: Hacker News / 4 months ago

Try chewing gum while using screens. These oil things have been making a huge difference for me recently. Use screen dimmers like this. Source: about 2 years ago

I would say go to an ophthalmologist that specializes in dry eye. Why? If you nip this sucker in the bud you won't have worse problems in the future. Above all do what needs to be done to keep your meibomian glands open since they have to work for you for a very long time and we don't want them to block up and atrophy. Also use computer software that is easier on your eyes like this one: https://care-eyes.com/. Source: over 2 years ago

If you are looking for "natural methods" to fix dry eye then yes if it is mild dry eye likely the symptoms can be treated. By natural I mean things you can stop doing like spending a lot of time looking at computer screens or smart phone screens. If you do look at screens a lot then get an eye saver program like this one: https://care-eyes.com/ Also you could get a lid & lash eye cleanser with tea tree oil and... Source: over 2 years ago

Check out gammy, LightBulb or CareUeyes. I use the last one. Source: over 2 years ago

Is it this one? https://care-eyes.com/. Source: over 2 years ago