lye

5 ms·

31.
by lye 2y ago
"Having other priorities" uses different words to say exactly the same thing. I'm guessing you did not look at pnpm. It works on all major operating systems; deduplication works everywhere too, which shows that it can be solv
32.
by lye 2y ago
One can't buy fresh produce in my region of the world for the better part of a year (9-10 months) because of harsh climate combined with long distances from the ocean and major railroads, and we have almost no fat people at all. Vegeta
33.
by lye 2y ago
They can be, pip developers just have to care about this. Nothing you described precludes file-based deduplication, which is what pnpm does for JS projects: it stores all library files in a global content-addressable directory, and creates
34.
by lye 2y ago
Save as HTML with images and run through Calibre: $ ebook-convert index.html book.epub Here are the files if you trust a rando on the internet. Since they're just ZIP archives, you can unpack and inspect both to make sure there&
35.
by lye 2y ago
Why? Fully offline translations they've added in one of the recent versions are nice, I've used them today to read a couple of articles in French and did not notice any difference with Google Translate (compared them side by side)
36.
by lye 2y ago
You're thinking of another country that has a habit of invading or destabilizing countries rich in natural resources, especially when they don't do as they're told. Russia has more oil, gas and rare earths of its own than it
37.
by lye 2y ago
… which proves his point. This anti-Russian sentiment never really ended, it's easy to not notice it if you've never been on the receiving side of it. It's not just the news, I saw it in casual conversations all the time long
38.
by lye 2y ago
> Oracle is a do-nothing company Maybe this is true wrt their main product, I neither know nor care about it. The sooner it leaves this Earth, the better for all of us as far as I am concerned. But both OpenJDK (and Java generally) and M
39.
by lye 2y ago
WebKit is used by the second most popular browser after Chrome. Don't forget iOS users. https://gs.statcounter.com/browser-market-share