skysight-inc/HackerNews huggingface dataset:
I don't have time to dig into this right now, but I just wanted to say that I did at least gather that it wasn't an interaction problem with ripgrep. :-) I just figured the ripgrep issue tracker would be a good place to discuss it. But now that I think about it, the ripgrep-all issue tracker might be a better spot. Maybe post an issue there and ping me? That way we can chat with email notifications and what not.
It’s running under a normal hyper visor based VM, no different from any other hardware supported hypervisor (think VMware, docker, parallels, etc). There is no x86 involves.
New mystery metal monolith appears on a California mountaintop
resulted in rudder movement opposite of the pilot's commands

Did the rudder actually move in opposition to the commands, or was it stuck at some limit value?

i.e. in that situation, if you command the rudder to go left, does it move even more in the wrong direction? Or is it simply frozen at whatever position it happened to get stuck in?

Thanks for the info!
I’m not really sure what you’re addressing. Preventing too big to fail doesn’t mean preemptively killing off companies.
> Apple has valuation which is measured in dollars. Sweden has GDP which is measured in dollars per year. The units are different, so the numbers aren't comparable.

Of course. I was referring to Sweden's national wealth[1], which is roughly equal to Apple's market cap of $2T. Sweden's GDP of $560B is only roughly twice Apple's FY2020 revenue of $275B.

Apple is worth roughly 2% of the national wealth of the United States, which is $106T.

[1] https://en.wikipedia.org/wiki/List_of_countries_by_total_wea...
This is the reason why, rarely when I play, I avoid the quickpick and struggle to pick random numbers on the spot. They usually are in increasing order so I am aware I am a bad random number picker. Still, I’d rather share some win than nothing, so in the end it doesn’t make much of a difference
Why? It's now one of the most tested planes in the sky from a review standpoint?
I think the best thing we could do if we went to pricing like that is to have a meter next to your thermostat that tells you have much you're paying for electricity right now. That would make the mental equation much less abstract and immediate, further push people towards the behaviors you mention. But on those specifics:

1) Unfortunately most workplaces don't have a place to charge your car. That should change

2) Laundry is problematic for households with 2 adults & a few kids. Multiple loads can't be automated that way, so not running laundry after 5:00 pm isn't an option many days.

3) You can can have a high-efficiency on-demand hot water heater with an external tank to hold X amount of hot water for use throughout the day. Heating your home is more problematic: the hot water loses about 5-10 degrees per cycle through the house & back to the boiler, so you'd still need to run the unit on cold nights.

4) Fridge/Freezer: I like the idea, but it could be a food safety risk... I'd rather see units designed with that particular use case & required insulation in mind to ensure food was always kept at safe temperatures, even if it meant paying the .30 for short spurts over night.

5) AC: I wish everyone would do this sort of thing already with thermostat timers. If you have a small apartment with window units, timers at outlets should automatically shutoff living/dining units. Bedroom should have a high temp (though comfortable enough to sleep through) set for the cutoff since you're sleeping anyway. If your home needs more than 3 window units, it's generally more energy efficient to get central air (though upfront costs are high) and you can get multi-zones to only cool the areas needed, further improving efficiency.

Basically, I think a lot of the things we'd do to deal with variable pricing could already be done to reduce usage.
The overlay is only used by Chrome on ChromeOS (the doc goes into some of the details there), so effectively, the “Chrome OS” root store is being sunset.

On a practical, technical level, I’ll probably just leave the overlay in place because libnss gets grumpy when there’s no ckbi shared object to load. Chrome itself won’t be consulting ckbi (i.e. it will take the same path as Linux, which will be to consult the Chrome store, even on Chromium OS builds, and only use NSS for user-added roots and client certs).

Whether we keep that overlay in sync with the Chrome store, or stop patching it and let it match upstream, it’s neither here nor there, and mostly just about what ends up being easiest and causing the least confusion. I’m lazy, but in practice the contents there won’t matter, since it’ll be baked into Chrome proper.

The etc-based store is a little more complicated, but it’s also not used by Chrome on CrOS, nor by the system apps that only talk to Google (they use the Google service set from pki.goog). Any code using that set doesn’t use the Chromium cert verifier, which as the mail and https://g.co/chrome/root-policy explain, go sort of hand in hand with the root program, so it may just continue to use upstream as it does today.
That doesn't track. By the time they pulled this crap (including the "you didn't sign it, would you sign it again?" and it turned out to be different), we had been given at least one Android phone (ADP1) and maybe the second as well (N1).
Authoritarian governments survived for hundreds of years (or more, each) before the 20th century. I'd say the 20th century was unique because of the British empire, the world wars, and so many countries moving towards democracy.
I don't think you're following.

You have probably drawn this line in similar areas in life yourself but were probably not thoughtful about it because the media wasn't shaming you into it.
People absolutely negotiate successfully with Google. New hires fresh out of uni do. Tens of thousands of more dollars.

It just seems that invading their employees privacy is table stakes for them.
So he draws his line in a different place. Perhaps he didn't do his full position justice. Maybe he feels like the lost human connection, dress code for your face, forced shutdown of certain businesses, school closures (and online learning) are costs that are not worth the benefit we get. I could hardly blame him. The online communities I follow often seem to be overwhelmingly in support of stricter mitigations, etc. Maybe he feels like he's been yelling into the wind for too long to keep up the nuanced discussions.

For me personally, I likely feel similar to him. From all the data I've seen - the vast majority of people - especially the workforce - have very little to worry about personally. The small (but not negligible) fraction of people that have increased risk can often reasonable take their own appropriate extra precautions. Then there is the even smaller fraction that can't reasonable take the precautions that they feel they need - those are the people we should work to support directly. We should be able to do this without broad, sweeping measures that are just completely not necessary for the direct benefit of most people.
> Yes, provided you ignore the cost of balancing an increasingly volatile grid, a volatility that is created by renewables. Also provided you ignore the cost to provide energy when said renewables aren't generating any.

If we're taking into account those kind of costs, shouldn't we also account for the cost emitting CO2?
In certain parts of the US with retail choice this is already a reality, check out Griddy[0] in Texas. They'll give you wholesale electricity prices which is all sweet and dandy until there's a shortage of supply (generally on the hottest days of the summer) and the price shoots up to $9000 per MWh. Honestly it's a great deal if you're willing to accept the risk associated with it (or work from home and can quickly race to your circuit breaker and shut off the power when the price spikes).

[0] https://www.griddy.com
A byte can represent 256 unique values. 256 unique values can not be compressed to less than a byte.

Proof is left as an exercise for the reader.
Some states have this. I remember a friend in new york had a timer on his electric water heater to heat it at night when power was cheap.

But you are right - market forces are extremely powerful in their ability to optimize things.
https://g.co/chrome/root-policy , which is linked to in that mail, states in the third paragraph:

> If you’re an enterprise managing trusted CAs for your organization, including locally installed enterprise CAs, the policies described in this document do not apply to your CA. No changes are currently planned for how enterprise administrators manage those CAs within Chrome. CAs that have been installed by the device owner or administrator into the operating system trust store are expected to continue to work as they do today.
You could totally say that in China as a Chinese citizen and nothing would happen to you.
That looks like a problem with that specific package, and not pdftotext that is in poppler. I don't even know what that package is. It links to bluem.net?
Oh wow, is this not common knowledge?
>Organization is about changing a power balance; it's not just about money.

True. Not just... but money is a big factor.

A lot of the interest in organizing big tech is related to profitability. Theres a lot to bargain for.
I spent last summer working an unpaid internship after my offer was rescinded from another company due to COVID and would jump at even minimum wage at this point.

Like myself, the students I have spoken with are also struggling to find something for summer 2021 that isn't unpaid. Maybe this is different as it's an internship, but low pay is currently better than the alternative of no pay - especially when you have bills to pay.
> Notably, she bypassed restriction in our code change system which would've required review.

[Googler, opinions my own]

This is not true. The code changes in question were done normally. The policy "exemptions" were in regard to the rollout of the resulting binary, which are well described here[0].

[0]: https://news.ycombinator.com/item?id=25280028
American Red Cross Study Suggests Possible New Covid-19 Timeline in the US
Does the 737 MAX now require pilot retraining? Or did they make some other sort of adjustment?
The ability to maintain that negotiation power and pressure on a reliable basis, as opposed to ad-hoc and reactively as problems arise. One could also ask why people form companies to solve problems when they can just work as individual contractors and arrive at the same conclusion.
Thanks for this. I had heard there was drama but didn't know much about it. Anyone able to represent the Phil side?
Go after Apple next. They're the worst of the lot.

Apple is destroying the notion of computing freedom by locking up all their computing devices. You shouldn't be able to sell a computer or phone and prohibit what runs on it. These aren't game consoles sold at a loss with tons of competition - these are the gateways to digital lives and international business.

And what the hell business do any of these three companies have doing movie/tv production? (Four companies, if you count Amazon.) They wouldn't even allow studios to own theaters, and yet we allow these four monopolies to own payments infrastructure, communication, entertainment, devices.

What the fuck? Are we just going to let them soak up the entire economy?

It's absurd and it has to stop.

Break up all four. Microsoft is doing better than ever post-DOJ, and the intervention led to Apple, Google, and Facebook ascendency. (Microsoft had to pay Apple!) The intervention created wealth and opportunity. It required Microsoft to innovate more - and look where they are now!

Make Apple pay Epic and all the companies it hurts on the App Store. Don't let them have a say what you can and can't run on your device, how you install software, or how you make repairs or upgrades. And don't let them limit which browsers you can install, either!

Tell Google they can't do Chrome and AMP anymore, and threaten to pull AdSense into a separate company.

Make Facebook open up its chat protocol and provide rich data export and interoperability tools.

Split Amazon and AWS. Make them stop bundling services and selling their own products. Fine them for fakes.

My absolute dream would be for the DOJ to make Google and Apple collaborate on a cross-platform native app API and treat it as a first class citizen. Doubly so if web/WASM can make those API calls. Visiting Netflix.com should give me first-class native streaming, casting, and screen sharing.

Technology belongs to us, not the giants.

Edit: Apple enablers downvoting. Y'all need to rethink what's going on and have a serious change of heart. I'm not a heretic calling for more freedom and you're not in a puritanical sect defending a blameless entity. This company has trillions of dollars and they don't need you to defend them. You don't need this company to protect you and everyone else - don't blindly trust them while they erode the world around us.
Eel is fish.
Of course.

To even go further `sudo spctl --master-disable` to disable Gatekeeper, and `csrutil disable` in Recovery Mode to disable System Integrity Protection and you have a Mac that is just as open (including the loss of security, which may or may not just be theatre, I am not going into that one) as any old OS X/Windows/*nix machine of yore.

I personally just tend to use cheap-o machines myself these days, I just use web terminals for the most part personally.
I’m saying that, just like monopolies, there’s nothing inherently bad about being “too big to fail.” But when they do stuff wrong, we still punish them, but we don’t kill them. Break them up? Possibly.
The down votes beg to differ.
It uses Webamp under the hood, which is pretty impressive on it's own.

https://github.com/captbaritone/webamp
Have an up vote for logic!

Airbus had a crash because their fly by wire averaged the input from both yokes vs doing what Boeing does which is to allow both to feel that the other is pushing on the yoke and the pilots where not trained to understand that.
Good in what sense? A sarcastic endorsement of A that is indistinguishable from an earnest one is a poor argument for ~A.

This is in fact what's happened with Schrodinger's Cat: it was meant as an argument from absurdity against the Copenhagen Interpretation of quantum mechanics, but it's presented seriously and so people take it in that way.
Canonicalization versus error-correcting codes; ideally, a programming language syntax should be such that the Hamming distance beteen any two valid programs is at least 2, for the same reasons that you want parity bits on RAM, even (especially) if you're trying to encode the data stored in that RAM in a way that makes every bit pattern a valid whatever-you're-encoding.

Edit: basically, communication from the programmer to the compiler is a lossy channel, and needs error-detection, but human brains don't do parity codes well, so syntactic redundancy is the way to go.
They go back to the first real Chinese dictionary, Shuowen jiezi "Explaining simple characters and analyzing complex characters", from the first century.

https://en.wikipedia.org/wiki/Shuowen_Jiezi
Thank you so much! Although I skimmed through it didn't say too much about the Prolog interpreter, it's very educative.
I'm not sure. I'm not a pilot and only have memory of this from prior reading. As I look at it now it reads more like it was uncommanded movement to the limit of travel and getting stuck there. I've also heard this problem referred to as the "rudder hard-over" problem. But there are also statements about rudder movement opposite of that commanded.

In theory the problem was recoverable but the pilots had about 10 seconds to realize what was going on and react appropriately. Sounds familiar to the 737-MAX uncommanded trim issues.
Yes, I'm aware the Saudi family has a whole population to serve them.
Google lets employees request a corporate phone if they want one. It just doesn’t provide one by default, because many employees do not want or need them.
The Blind Smartphone Camera Test 2020
I also use 20/40/50/70/80/90 so the half hour trick gets more complicated.
Who decides when a mask is needed/not needed? Should we always be forced to wear masks going forward given that we've been made aware of the efficacy?

Why stop at Corona? Flu is next.

Then "we" (or whoever chose masks) learn that 70% of mask wearers still get sick (because either masks don't work or because plebs can't be trusted with them) next we need universal vaccination or else we get fined. And if we don't pay fines, jail...

Etc. Etc.

Who decides when we are required to wear masks?

'Rule by expert'?
No, it is an irrational human fear. Hold one, humans are dumb so yes, it will be a money maker playing on that fear!
Thank you for the link. Satistying to watch tradition meet modernish equipment. Would you know how long does a tube well like this yield water? Do the farmers regularly deepen the drill or just find a new location?
What strikes me as the secret sauce there is the 5-8 paragraphs of info that gets dumped at once. There is something value in there that the other can pick up on and continue the thread.

Compare that to a text , where you might send a sentence or two and expect them to come back with something- when in fact, they weren't thinking about YOU and therefore aren't prepared to respond. Hence awkward.
A second point here is that the US already using stablecoins like USDC to support semi controversial foreign policy in places like Venezuela.

"According to the company’s blog post, the Treasury Department and the Federal Reserve deposit funds seized by the U.S. into a bank account in the U.S. tied to the Guaidó government, which converts the funds into USDC that Circle then sends to Airtm."

https://www.coindesk.com/circle-usdc-venezuela-airtm
Do you think this rating correlates with reality?
> What do they do?

Realistically - they'll get deported to their home countries. There's no government on earth that will tolerate a non-citizen, non-refugee as a public charge with no prospect of being productive in the future. Foreigners are politically convenient scape-goats for all that is wrong with {ECONOMY|JOBS|CRIME|SERVICE DELIVERY}, and politicians will politic.
They could do all that again in the future without having to walk out and risk their jobs.

You shouldn’t need to put your job on line just to make your employer act ethically.

With a union maybe Google wouldn’t have thought paying the aggressor of sexual assault $90mil was a good idea. God knows why anyone thinks paying someone $90mil is good way to punish sexual assault.
> 1) Unfortunately most workplaces don't have a place to charge your car. That should change

I think this correlates with EV sales. In the places that have lots of EVs you will find employers that have chargers.

Elon Musk said it in one of his presentations, something like "we sell cars whereever we put in superchargers".
In a kubernetes it could replace fluentd/fluentbit
Dumpster fire filled with toxic waste.
Nice! I went through the poly tool readme and I'm really impressed with the improvements. One thing I don't see highlighted that I'm curious about: have you used it to build cljs projects? Since shadow-cljs has deps.edn integration, I think it could theoretically work, though the repl might be a bit twitchy.
> This is a great game and tbh I think you're just butthurt because you couldn't figure out any of the optimal solutions.

There's no need to be rude. Insults like this don't add to your argument.

> 1. It does only save one solution for each level but if you can do it in fewer nands, why do you need to keep the fewest components? Most puzzle games like this work this way

Because they're separate optimization goals. I want to hit all of them and have each of them saved. Compare Zachtronics games, as magnostherobot mentions. Also, the ones with fewest components will typically be conceptually clearer.

> 2. In later levels it uses your best solution from previous levels. The basic (non-optimal) xor solution has 3 compents with 6 nand. The first time I did half-adder, it told me my solution was 2 components/8 nand (a 2-nand AND plus a 6-nand XOR). After trying for optimal xor again (and failing), solving half-adder shows "2 components used. Mission XOR is not completed, so the total number of gates could not be counted." So it uses YOUR best solutions.

Thanks for determining this. But it would be better if, you know, the game said this anywhere. None of this is explained.

> 3. I mean it's pretty obvious. optimal == fewest nand, simplest == fewest components. If you optimize for nands, your solution is going to be less simple/more complicated.

I have to disagree that this is "obvious". I'm sure one could figure it out after playing enough, but one shouldn't have to; the messages could easily be made more explicit. And like note that even this isn't exactly a correct description, because if you come up with a solution that minimizes both, it only says "This is optimal!" rather than saying "This is simplest and optimal!". You see the problem?

And honestly I'm just not sure you're correct. Like doing NOR the obvious way, I got a "this is simplest!" message, but did not get a message saying to do it in fewer NAND gates. So what does that mean? Is it optimal or not? If yes it ought to have told me; if no it ought to have given me the message saying it can be done in fewer.

So yes I do think the game is really being badly unclear about this.
> "The West wrecked the environment and everything else in the process of industrialization, so we [Chinese] are entitled to do it too," is a truly disturbing line and this isn't the first time I've actually heard before.

Because it's not terrifying. China has lifted 800 million people out of poverty. What's terrifying is nations like India and continents like Africa haven't followed and developed. Instead there are nearly 1 billion indians and africans without electricity, plumbing, etc.

> Aren't people supposed to do better knowing how much people in the past screwed up?

Well, china didn't invade australia, canada, US, etc and wipe out the people and steal their land and destroy other people's environment to enrich themselves. So maybe they learned something. The hypocritical hubris is not going to do us any good. Over the long term, it's gonna be our undoing.

Or maybe, there is no other option. In order to make an omelette you gotta break some eggs. And in order to develop, you have to suffer through some environmental degradation.

Not only are the chinese entitled to it, so are the indians, africans, middle easterners, etc. Are they all supposed to languish in poverty while they wait for some magic development process to appear.

While a privileged virtue signaler can comfortable whine about the environment, the millions of people living in poverty don't have the luxury.
I'd you hit someone with a car, they will likely die.

If you expose someone to corona on purpose (i.e. you're so drunk you can't avoid people) they likely won't die.

It's not Ebola. And the analogy doesn't fit.

How about speeding? That fits a little better.
Are you saying they should be barred?