4 ms·

Was that incorrect somehow? WSL2 fixed a ton of issues for me.

• Dylan16807 6y ago
  It's a true statement but it's quite unhelpful to tell people that a problem they have is fixed in a different semi-compatible piece of software.
  • ahupp 6y ago
    It probably depends a lot on your specific use patterns, but I expect for most people this was a change that basically fixed a bunch of bugs, introduced negligible new issues, and had an identical interface.
    • Dylan16807 6y ago
      Is WSL really so buggy? I never got that impression myself. All my problems with things getting fussy have been on WSL2.
      • ahupp 6y ago
        I tried to build two projects in WSL1, one using the Z3 theorem prover, and one using Chrome for scraping. Both ran into kernel issues. So for me it failed about 100% of the time on anything non-trivial.
        • loeg 6y ago
          Chrome uses almost every single Linux syscall under the sun. So I guess that's not too surprising. I am a little surprised that Z3 had difficulties. I did not think it used anything exotic.
          • ahupp 6y ago
            Z3 had a timer to stop the solve if it takes to long and that used a specific option of clock_gettime that wasn't supported. I hacked around this and it otherwise worked fine.