skysight-inc/HackerNews huggingface dataset:
You didn’t mention the lack of a good theory for tree diffs/patches here. Is that because you think there is a good theory or because you think not having a theory doesn’t matter? Or just that it wasn’t worth mentioning?

It strikes me that another big difference between dealing with conflicts in DVCSes and in the kind of collaborative editing CRDTs people seem to be mostly thinking about in the article and the comments section here, is that merges happen on the scale of seconds in the latter case and potentially much longer in the former, and the cost of a bad merge probably increases with its age.

I’m very sympathetic to your point about people not seeing the complexity in VCSs. I wonder if it is that they are frequently used tools that seem to be simple, though I don’t see that behaviour with operating systems. Perhaps they are considered too sacred or something. I think most programmers aren’t stressing enough file systems enough to find that they are sometimes buggy and hard to deal with accurately and efficiently, and if pressed might mumble something about calling fsync. But maybe most people don’t think it is easy and only those people who do write their opinions on the matter down.
I love George, but he's a bit of a reactionary to a fault and this anecdote is a perfect example. A person with deep knowledge and thoughtfulness will make almost the exact same point with much more nuance, aka Jim Keller: https://www.youtube.com/watch?v=Nb2tebYAaOA&t=1363s

The choice quote in contrast to Hotz is "executing recipes is unbelievably efficient -- if it's what you want to do"
I live way off grid, and we just use our own olive oil, on our electric chainsaws, powered by solar power. Apart from the actual hardware, it’s a neatly closed loop.
Correct, that has been my experience as well. It has nothing to do with the transaction/charge limit or them rejecting prepaids.
The ridiculous installation procedure should be improved for non-docker users.
The team that designed the original Arm CPU in 1985 came to the conclusion that bandwidth was the most important factor influencing performance - they even approached Intel for a 286 with more memory bandwidth!
This post is basically a paraphrase of a well-known example, which has its own Wikipedia page https://en.m.wikipedia.org/wiki/All_horses_are_the_same_colo...

I think the fallacy is explained better there tbh.

I also think it’s confusing to say one isn’t the base case. When you apply the inductive step there you hit N=2, and indeed the step fails because there’s no overlap.
Yeah?

I see 'em. Have seen them elsewhere too. I didn't see anyone saying ALL comments were being removed, did you?

Now, before we go farther down this road, there is a lot going on. YT, and others, are doing many things to nudge, bias, favor, some speech over other speech. Not all of those make sense. Some are offensive. Others make sense.

These actions in general, and the low transparency related to them, as well as some overt and excessive actions, bans, demonetization, etc... are very highly objectionable. That's where I am at on it.

And I'm going to stay there, until such time as the burden I put up thread is met in a compelling way.

Some are saying these things are just unfortunate artifacts from necessary actions, I do not agree.

Cheers, I've got other things to do, but I did enjoy this conversation.

You've the last word, and I'll read with interest.
- Does not work for native dependencies.

- Does not allow splitting the application up into stable/unstable parts to reduce update sizes.

- Does not directly allow multiple entry points.

- Requires Python to be already installed, or requires bundling Python loosely, which is very slow when used from a network share.

- Uses zipimport under the hood, which is very slow on network shares, and very very very slow on Windows network shares.
“As far as I can make out, this is a gross hack based on a gross hack.”
A humorous/interesting comment in the Zsh source code. When posted as a link, HN strips the line numbers, hence the text post:

https://github.com/zsh-users/zsh/blob/00d20ed15e18f5af682f0d...
It might come down to difference of experiences. As soon as software bites you once, I think most people feel differently towards it. I think the reason VLC gets (and in my opinion, deserves) a lot of praise is that a large part of the user base has never felt bitten.

Personally, I have never once had trouble getting VLC to run a media file, and I can't say that for any other media player. Granted, I don't know any other media players, and I don't know if it's hard to make a good one -- but that's kind of the point. I want a limited range of features from a media player: ability to make sound really loud, adjust timing of subtitles, speed up / slow down. All of those "just work" for VLC and have very basic navigation (that's good). VLC has allowed me to be comfortably oblivious to all the codec crap I remember dealing with over a decade ago.
This is called proof by induction. There is an intuitive path to understand it: Consider the set of the natural numbers; it contains 0 (zero) and for any K which belongs to this set, its successor (K + 1) also does. It is clear that if a property if valid for 0 and, in the case it is valid for a K which is not 0 implies it is also valid for K + 1, then such property is valid for all natural numbers.
You're 100% correct. I would be more unequivocal -- saying that the problem is the base case isn't just a little weird, it is incorrect. Your analysis nails it.
It's a good observation that checking for 32-bit overflow is not too bad, but...

> In 64 bit ... almost all integers remain 32 bit.

I don't believe this is true for Rust, even if we exclude index integers in iterators because we think those overflow checks can be optimized out. Certainly in my Rust project (Pernosco) there is a lot of manipulation of 64-bit integer data.
There are variations of this style of proof the shows all horses have an infinite number of legs, since horses must have an even number of legs to stand, yet they have two legs in back and forelegs in front, giving them six legs which is an odd number of legs for a horse. The only number that is even and odd is infinity, hence horses have an infinite number of legs.

There is also lemma that since Alexander the Great rode a Black horse, he did not exist, but if he did exist he would have an infinite number of arms and legs
That's not what a PWA is, a PWA is installable, and Firefox doesn't have that.
Forgive my word policing, but "perpetrate" is only used in a negative context.
> There is value in simplicity and not overly using abstractions that take you farther and farther away from bare metal.

This is a contradiction. Simplicity is obtained through abstractions. As an example, fifty years ago, 'goto' reigned supreme. Then structured 'if/else/for' took over, as the superior abstraction over 'goto'. Now use of 'goto', while being far simpler to implement and closer to the bare metal, is commonly derided by many programmers.

The long term trend in software is constantly increasing abstraction hiding mountains of complexity, which increases both simplicity and complexity. Writing print('hello world') is simple, but the compiler, OS, silicon, etc. that makes that simplicity possible is extremely complex.
Im guessing most people immediately go hunting for whatever button gives you a normal pdf. I've never found these journals 'enhanced pdf' to actually provide any benefit.
Sorry, but it counts as both unsubstantive and flamebait here, and certainly not a "fact". We need you to stop posting like this if you want to keep commenting here.

The idea is: if you have a substantive point, make it thoughtfully; if not, please don't comment until you do.
Because PCR beyond 28 cycles isn't science.
I'm also a New Zealander, and our politics seem very similar to UK/US politics to me.
People subscribe to Netflix (and its competition) because there's no legal way to get that service for free, and it doesn't matter if their friends are also using that same service.

People won't subscribe to a non-free Facebook competitor because Facebook is free and none of their friends are on the non-free competitor... And most of their friends never will be.
"As a defender of free speech"

This man is no defender of free speech. In fact, he lobbied to get himself a position to dictate what was allowed speech in UK universities. He has continually dressed up his own bigotry in psuedo-intellectual terms. Essentially, Toby is just a straight up controversy merchant, and I think it's important to understand that. this isn't about "the culture war" - Toby, and the Spectator have a long history of just staking out far right positions in order to draw controversy. You may think "Well. what's wrong with this, it stimulates debate" - that might be an interesting philosophical point, but in practice, what ends up happening is that The Specatator and its lackeys like Young continually just push mindless nonsense in the name of "stimulating debate"- at what point do you draw the line and say "Actually, this guy is just continually spouting inconsistent nonsense".

There's all sorts that just don't make sense in this article- the biochemist is "eminently" qualified to weigh in on education policy. I'm sure he studied public policy and civics in his spare time. Or

> Knowing about Rangi and Papa won’t get you into medical school.

Well sure, and knowing about advanced calculus won't get you into med school either, but that's not really the point is it.

I think in general I just want to highlight that this whole opinion peice - does a piss poor job of reporting the facts. I would suggest to you that you shouldn't be listening to a guy who peppers his reporting of details with insults for his subjects (let alonea a guy who publicly acknoledges even his own friends can't stand him, that's bye-the-bye).

I think the question really is - why is Toby Young in any way interested in what happens literally on the opposite side of the world. The answer is he's not, he needs to fill column inches with controversy and this is his taste of the week. I look forward to his fake accounts named after characters in his books attacking me (yes, that actually does happen).
ProxyChains
The study is convincing reason to believe otherwise. Not in any one specific case, but in terms of understanding where the phenomenon comes from in general.
I haven’t meaningfully exercised my Ruby skills in a while, but you can probably fake a wheel-style gem by having extconf or something similar fetch an appropriate build from a server instead of performing the build locally. That would be an awful hack, which is why it wouldn’t surprise me to find out that people are doing it :-)
I also greatly prefer mpv, but I wouldn't recommend it to most people for the same reason I wouldn't recommend emacs to most people. To get the most out of it, you need to be able and inclined towards extending it. But if you are, it really kicks ass.
Distributing work to leverage faster memory locality is hard. It's not quite what you're talking about, but consider the Cell processor used in the PS3 - the compute capability in HTPC space was supposed to be prodigious, but even having faster (streaming) access to RAM had the tradeoff of dealing with code dispatch. (It's not a perfect example, the SPE model was also just kind of a pain, but you have to think about how to get your code local to the memory you want, how to keep allocation nonrivalrous, etc. - it's a lot!)
> By the time it comes naturally, around 80 y/o 90 tops it would be a relief...you'd be so tired after a lifetime of fighting and you'd be such a second class citizen and excluded from all the fun and the social relevance that you'd be looking forward to checking out.

Does not match reality. Where are the waves of senior suicides?
Straight from the source:

> @jpmens @bortzmeyer @PowerDNS_Bert @kolkman The ";" was the comment delimiter in the TOPS-20 word, hash was dragged in by the UNIX types

* https://twitter.com/svnr2000/status/659062798681546752

See also RFC 883, "Domain Names - Implementation and Specification":

> ; Semicolon is used to start a comment; the remainder of the line is ignored.

* https://datatracker.ietf.org/doc/html/rfc883

Via:

* https://jpmens.net/2015/10/28/the-semicolon-in-zone-master-f...
not sure what the difference is, royal society vs not. According to news reports they face expulsion from the royal society.

https://www.google.com/amp/s/www.newsroom.co.nz/royal-societ...

How is that not being cancelled?
Clearly a logical error, not a base-case error

> But when we removed h_1, we got that all the remaining horses had the same color as h_2. So h_2 must also be brown.

Right, but for transitivity you actually need there to be a third horse to connect h_1 and h_2. i.e. for this logical chain, you need "all the remaining horses" to be a non-empty set.
This is a myth, or a misunderstanding. SARS-CoV-2 does most of its transmitting before serious symptoms develop. The severity of those symptoms has no bearing on the fitness of the virus. We should not expect SARS-CoV-2 to evolve to be less lethal.

https://twitter.com/BallouxFrancois/status/12768029785826795...

There are other pathogens which we would indeed expect to evolve to become less lethal. On the other hand, there are some which evolve to be more lethal, like Dengue.
Why should you NOT believe Apple's rep when talking about Apple's services?

It's company's job to hire and train employees who will be competent at servicing company's customers. If said company is unable to hire and train competent personnel capable at servicing its customers, consider not blaming it on the untrained and possibly underpaid 1st support line person working for the company because they're not the bad apple in this case.
> super friendly white boss would never dare to say anything politically incorrect, yet, bonuses, opportunities and valuable information always reaches their white subordinates sooner than it reaches others.

Reminds me of an observation that affinity fraud is really a continuum. Exploiting that is a skill. The better you can pass the better your opportunities. Once you see it, it's everywhere.
Atomontage: Voxel 3D simulation – Landscape Demo
> @jpmens @svnr2000 ; was chosen as a comment in zone files because that's what the PDP10 and other macro assemblers used in those days.

* https://twitter.com/paulvixie/status/659934566883328000

Via:

* https://jpmens.net/2015/10/28/the-semicolon-in-zone-master-f...
A statement from Jackie Talbot, an advisor to New Zealand's ministry of education, speaking about changes to qualifications attainable by NZ secondary school students:

"'It traces back to 2019 when the Government agreed to strengthen NCEA, with a commitment to explicitly reflect and promote mana ōrite mō tē mātauranga Māori, or parity for Māori knowledge, within the main secondary school qualification.

...

She said it means "making sure teachers are supported to design courses that include both what has become known as mātauranga pūtaiao and the scientific knowledge, skills and understandings that have traditionally been taught in New Zealand schools - which we have referred to at times using the phrase 'Western science'."

https://www.newshub.co.nz/home/politics/2021/07/national-mp-...
> Except the really obvious detail that most normal countries won’t extradite their citizens?

I can’t even guess why you’d believe that. Participating in extradition treaties is the norm, not the exception.
Get with it, Webmasters!
MPC is better? Maybe if you run windows. But if you don't then MPC isn't only not better, it's completely irrelevant. VLC on the other hand supports pretty much everything under the sun, so you can safely recommend it without playing the "what kind of computer do you have?" game.
Length of time until death doesn’t mean a virus is less lethal.

Rabies effectively has a 100% death rate and it can take years for it to kick in. There are cases of people suddenly showing symptoms 5 years after initial exposure, and once that happens, your brain basically rapidly rots and you drop dead.

We have no clue what the long term effects of any covid variants are. We can only speculate.
the "white supremacy" they mean is in the critical sense of the term; not that there are a bunch of Nazis or KKK walking about, but that the institutions of the US favour white people. It's kind of a complex statement that requires background knowledge/understanding, and a lot of leftists who've taken critical studies courses tend to trot out these technical terms while ignoring the fact that most people understand them to mean something completely different.
The amount of stuff people used to just get done in the 20th century constantly boggles my mind.

It feels like everything is so hamstrung and bottlenecked today by comparison.
If you want to play around with writing more 'interesting' completions, check out Fig (https://github.com/withfig/autocomplete).

You can write completions declaratively and use TypeScript to generate dynamic suggestions.

Disclosure: I'm one of the founders.
Why? The GUI is simple, MPV needs learning CLI to play videos. https://www.migaku.io/tools-guides/migaku-mpv/guide/ and has drama like this. https://github.com/mpv-player/mpv/commit/cdaa496314f90412963...

I just want to play videos, what is the benefit of MPV? I used it for a while, because it was "better" but now I wonder "better how"?
The hypocrisy is already in characterizing them out of context as "military invasions and ongoing occupation".

As opposed to: "The US had continued to streghten the knot around Russia ever since the 90s, getting into bed with nearby countries to suffocate it, in areas which the US has no national disputes and no business of being there. In one those endeavours, after sponsoring and supporting several 'orange revolution' attempts, it helped topple the legitimate, elected government of Ukraine, and establish a new government with literal -not metaphorical, actual- neo-nazis in power. Russia, then, went in an area of Ukraine that has long historical roots to Russia, and a majority of population of Russian ethnicity, and annexed it".

The US has toppled governments, bombed countries, and supported dictatorships all around the globe for much less -- even for just considering to nationalize oil or make changes affecting its business interests there (aka "banana republics").

And this, to contrast, is in Russia's border, with a Russian ethnic population, and an unfavorable government, in an area which used to be part of Russia proper back (way before USSR).

Kind of like if Baja California had 65% americans, and the USSR had helped topple mexico's government with a pro-USSR coalition featuring neo-nazis, all the while orchestrating nearby countries (Canada, Panama, whatever), to be part of the Warsaw Pact.

So, the US allows 100% (of aggression, invasions, etc.) to itself all around the globe, and then cries if Russia does 10% of that in its own borders and/or where there's Russian population.

And then US citizens, always "informed", go on about Russia being worse, or at least equivalent, and anybody pointing otherwise is doing 'whataboutism'.
I really enjoyed this talk.

How does a system with completely static resource allocation accommodate cases where the underlying hardware is actually dynamic? For example, consider hot-plugging USB devices or storage media.

Would there be a fixed "maximum number of USB devices," with resources reserved at compile time for the maximum? If so, does this preclude high resource utilization in the common case, where the user isn't hitting these limits?
IINA is basically a front-end for mpv. I use it. It's got nice features like force-touch support, but in my experience it's a memory hog—way worse than base mpv somehow.
Heh, funny you mention this, because I was _so excited_ about the CELL architecture when it was announced - exactly because of memory read/write speed. Then I tried to actually write some code for it, got depressed, and moved back to x86 for the next decade :(
Yeah, it seems step 1 is scream "I'm under attack" step 2 is people point out you aren't, and step 3 is to use step 2 to prove that you're under attack.
I don't understand. How is that six legs? How is that an odd number? Am I missing a joke?
Some vegetable oil oxidizes much faster than some other. Sunflower oil oxidizes rather quickly, olive oil I haven't noticed oxidizing yet.
See my edits in the comment above.

I will further note that understanding the royal society vs university distinction here is pretty important, but it seems that you've already made up your mind.

I won't be responding again here, thanks.
EuroSys '21 presentation: https://www.youtube-nocookie.com/embed/74EXqOCt_Sw
There's definitely an assumption by Hotz that programming and solving "real" problems is what everyone should aspire to, and that anything else is just meaningless. Like anything in life, what's meaningful is of course completely subjective, all the way from some people actually finding it fulfilling to others just not being interested in putting in that much effort into their career and preferring to do other things with their time.
I think that is a complicated way to look at things. The error is that the argument assumes that for a, b being elements of H, the sets H - {a} and H - {b} meet. This is true for |H|>2 but the first induction case is for |H|=2, where the assumption is obviously false. But when you read the induction case you may think of n as being large and so not notice the error.
We're talking about PWAs the user chooses to install. Of course they want to get notified. In my case I want to run Fastmail and WhatsApp. What use are they to me if they don't notify me when I get a message.

People in this thread keep confusing notification request from random websites with notification requests from web apps you WANT to get notified from. It's a thing. And all browser offer a per-site preference. Having PWA support doesn't mean being spammed by every site you visit.
Used to do the same with klite codec pack and a patch to play HD videos on windows. It wasn't "better" though, it was just what tutorials suggested you installed to play more videos.

VLC just works now, its on every platform, and I used it to run any video that MPC couldn't play. Then I just used it to play everything, and I can do that on every platform I use, they all have VLC.
Apologies for setting the wrong tone, I'll try not to do that again. I see it as a genuine opinion rather than an attack; a name like that looks like it has the potential to genuinely cause someone trouble by being very distracting (case in point, I suppose). If she didn't choose it later in life with an understanding of the trade-offs then I think her parents were unhelpful.
> Where are the waves of senior suicides?

Where is their enthusiasm for life?

Of course survival instinct does its job very well. It even prevents people who are in extreme pain from committing the extreme act, but nonetheless it's not really that people look forward to stuff at 90.

And why would you? If you are not completely gone mentally, you can observe yourself losing relevance by the minute, younger guns attacking you and filling the void.
I find this claim hard to believe honestly,could you point to examples where performance is limited by Dram speed and not by cpu / caches? They must be applications with extremely bad design causing super low cache hits.
Six legs on a horse would be very odd indeed
fourlegs