HackerTrans
TopNewTrendsCommentsPastAskShowJobs

turminal

no profile record

comments

turminal
·5 เดือนที่ผ่านมา·discuss
This sounds like a great way to lose data when the machine dies unexpectedly.
turminal
·7 เดือนที่ผ่านมา·discuss
For lots of software projects, a release tarball is not just a gzipped repo checked out at a specific commit. So this would only work for some packages.
turminal
·10 เดือนที่ผ่านมา·discuss
In other words, for the user, it's not a step forward. It doesn't matter if the spec is perfect.
turminal
·4 ปีที่แล้ว·discuss
Yes, from the abstract:

> The book is entirely self-contained, and in particular no prior familiarity with type theory or homotopy theory is assumed.
turminal
·5 ปีที่แล้ว·discuss
Have you read the article? It doesn't look like you did.
turminal
·5 ปีที่แล้ว·discuss
The problem with this analogy is that nobody knows that Gnome != wayland. Not even gnome developers know gnome != wayland. As a result, a lot of people hate wayland because of gnome's failed switch to wayland. And a lot of people hate gnome for their pretentiousness.
turminal
·5 ปีที่แล้ว·discuss
Perhaps they should be disappointed in nvidia? Or at least, think twice before buying from them? I don't think anyone here demands anything from nvidia. It's not wayland devs that feel entitled to better treatment by nvidia. It's nvidia users feeling entitled to support in wayland compositors.
turminal
·5 ปีที่แล้ว·discuss
> No, but Wayland is not a bit of software you even think about until it goes wrong. That means the internet gets disproportionately filled with posts about Wayland not working, which presents the wrong image.

Kind of like reverse survivorship bias. The only wayland sessions that get attention on the internet arw the ones that don't work.
turminal
·5 ปีที่แล้ว·discuss
> I guess he's referring to this post? https://drewdevault.com/2019/02/10/Wayland-misconceptions-de...

And to numerous comments on HN and elsewhere.

The 'wayland sucks' movement is sooo annoying, even to me and I'm just a happy wayland user and haven't spent any of my free time writing those thousands of lines of code.