skysight-inc/HackerNews huggingface dataset:
There are a bunch of reasons, but the basic background is this.

-Vision 2030, which first mentioned the IPO, was announced back in 2016

-Oil prices sit around $66/barrel today. This represents a recovery from the low-point of ~$40/barrel. However, Aramco’s valuation is obviously tied to the price of oil, and the Saudis want to wait (hope?) for higher oil prices

-Even at today’s depressed oil prices, the Saudis have slapped a $2 trillion valuation on Aramco. Keep in mind that Aramco has always been private, and specifics on the size of the oil reserves in Saudi Arabia are still opaque.

-The Aramco IPO proposes to sell 5% of the company, which would mean raising $100 billion in public markets. This would easily be the largest IPO ever. It’s unclear if there are enough institutional investors to buy into this.

-The Saudis can’t afford to discount the valuation too far, since to make the math work for their renewables and diversification projects they are counting on the IPO proceeds

-Take a look at this link, and select the 5-year view to see how far the country’s foreign exchange reserves have been depleted:
https://tradingeconomics.com/saudi-arabia/foreign-exchange-r.... 1 USD is roughly equivalent to 3.75 SAR at today’s exchange rates.

This is decent commentary on the whole fiasco: https://www.bloomberg.com/news/articles/2018-07-07/saudi-ara...

TL;DR the Saudis are stuck between a rock and a hard place. They need the cash from the IPO, but can’t give away the crown jewels too cheaply.
This is very cool work. Our group had talked about trying something similar to the "lazy proofs" idea several years ago, but we never got around to actually trying it out. So it's very exciting to see someone do it!

Hopefully your project leads to more work like this -- practical, fast, and verified for everyone to use.
But screen tearing is a plague on so much different hardware and multi-monitor, high-dpi, FreeSync, HDR, high-gamut (pick any combination of these things) really do not want to work perfectly with X.

This is not to say Wayland is good, X Forwarding is an awesome feature and X runs probably can now run on a literally toaster.
'I never found the "just like being awake and being there" trope to be true.'

I've naturally lucid-dreamed for decades now (which also means I have no useful advice on how to do it), and I consider this sort of statement to either mean A: they've got a wildly better visualization center than I do (and I know mine isn't tip-top but it's not terrible) or B: they don't really have a lot of experience at lucid dreaming and haven't noticed the limitations yet. It is far from a Virtual Reality simulation.
I haven't intentionally tried to have lucid dreams, but I occasionally have them anyway. Usually there's a feeling of "slipperiness" to it, a knowledge that if I'm not very careful, I'll fall out of the dream. Sometimes that literally means falling out of it - I'll start to go through the ground and have managed to stay in by hopping back up repeatedly. Usually when I feel myself slipping out I feel that doing something that lets the dream mechanism keep grinding along will help - interacting with people for example. Also the dream world somehow feels like a movie set, as if it was only partially constructed and a lot of it just wasn't there to be seen.

Detail isn't really an issue in my experience. On a few occasions I've experimented with paying very close attention to reflections and things like water droplets. i found them not just remarkably realistic, but hyperreal, with much more detail than I think actually exists in the real world.

I'm also not sure how to tell the difference between a dream where I dream I'm lucid and an actual lucid dream. There's a definite feeling of being aware that I don't get in regular dreams, but maybe that's just part of the dream!
Because you want an out of the box LXDE flavored Ubuntu.

Same reasons one would use Kubuntu or Xubuntu.
I absolutely side with Chinese here. I once saw the world’s longest water buffalo horns in a British museum with the accompanying caption as something on the lines of “purchased by a Britisher from an Indian farmer”. I thought either the poor guy got murdered or he was given a single quid for formality purposes to get his thumb imprint on forms to complete the paper trail. He wouldn’t even be able to read English on those forms. Exploitation and plunder is how I see these museums. I think these items should be property of originating country and taken on loan to display it to the public.

https://fineartamerica.com/featured/indian-water-buffalo-hor...
This is code rot, which is a different problem.

But even code rot can be mitigated somewhat with this discipline.

Which of these changes is easier to justify:

countCustomers(list)
incrementCustomersScore(list, n)
// where "list" is to change type from "list of customers" to "list of sales domains"

VS

countCustomers(customers)
modifyCustomersScores(customers, scoreDelta)
// where "customers" is to change type from "list of customers" to "list of sales domains"

Code is a map to what the computer is supposed to do. Making things familiar and easily navigated just makes sense. Good code requires good U/X, just like good websites require good U/X. It's just something you do to make your users have a better time using your stuff.
Elon Musk says he is having the most “painful year of my career”
I've had pharmacist question a prescription because it was a brand name. It was going to cost 250 dollars with insurance. She called the doctor and got the equivalent prescription and it cost 10.
> It's "not speeding" /savedyouaclick

No, because they purposely fine you when you are a few kilometers about an arbitrary limit (let's say 55 km/h instead of 50 km/h) which is not speeding in any way and there is no data supporting any kind of increase of accidents at such levels of speeds.

On top of they they use all the dirty tricks in the books (mobile radars, radars right at the exit of a tunnel) which act like traps for anyone that is not constantly vigilant at their current speed. Let's face it, nobody is spending 100% of their attention on the speedometer while driving.

And when "normal" people around you get fined while you know for a fact they are not driving like crazy folks on the road, something is really, really wrong.
If Google is allowed in 'unrestricted' obviously they will be #1 by a wide margin. But all things being equal, sure, maybe Baidu may be #1 ... but in either case it's absurd to say 'China doesn't want Google' to the point of being almost propagandistic.
I think they're referring to a graph similar to this I've seen over the years (bottom of the page)
https://www.brookings.edu/blog/the-avenue/2014/05/22/china-a...

The ones I've seen never show the US as the biggest slice, but China is always a sliver and the chart is usually dominated by Germany, South Korea, and Japan.
It seems there are some implications.

1. This is a Linux-only kernel module, so I'm guessing writing applications using this would limit you to Linux.

2. You now put more trust in the kernel. It's not like you don't already trust the kernel, but this certainly makes life easier on a kernel to spy on encrypted traffic.

3. It's ported to Go. Which is handy, but Go already has what seems to be an extremely solid TLS implementation of it's own (and at worst, it's not OpenSSL, at least.) That certainly makes the "easy to use" angle less interesting...

So far I really only think this would be particularly interesting if it outperformed existing TLS implementations significantly.
No, the OS cannot do that, because an attacker will replace your OS with a compromised one which lies to you that everything is peachy.

https://blog.invisiblethings.org/2011/09/07/anti-evil-maid.h...
A keystroke saved is a keystroke earned!
And passwords as your username? Genius ;)
So a child should never read a book? nor watch an educational video? Alexa and other assistants are just tools. Tools can be used against people, yes, but they also can be used to improve people's lives. This particular example doesn't mean that the parent will delegate all his parent duties to Alexa. Don't get me wrong, I think I get your point, but should I stop using knives just because they can be used in dangerous ways?
I should have elaborated more on the "it's got bugs", it's been awhile since I worked on it, I just looked through the bash plumbing I was using and now I remember what needs to be done, the big issue is copy and paste, since the owner of the current selection needs to be woken up when you paste.

This is so ugly I hesitated to post it, but here: https://github.com/jakeogh/glidestop

In the case of glide, having tabbed take care of all of that would be much easier, or even better it would be integrated directly into a "tabbed like" process that acts more like a windowmanager and does not necessary have "tabs". I'm thinking of a more generalized version to tabbed with a --notabs switch or something.
I had what seemed like a lucid dream recently but realized I couldn't know if I was merely dreaming that I knew that I was dreaming and was able to control the dream.

What's the difference between that and lucid dreaming, and how can you distinguish?
I have found Rekognition to be quite good. Maybe the most interesting machine learning service result for me from the past year was IBM being much better than Google at speech to text. Specifically they offered some key features, like speaker attribution, that made their offering standout. I also found their accuracy rates to be very good.

When I first started exploring these apis I just assumed Google would be amazing but that is _not the case at all_. I suspect they save their best stuff for their own products and the api solutions always lag a little behind. IBM may be better because their apis are such a core offering. Microsoft's stuff is a clear afterthought and the only Amazon service I've had success with is Rekognition. That said, Transcribe just launched so it may/will improve with time.
It only supports IPv4, but supporting IPv6 is likely trivial since none of the verification depends on the type used for representing IPs.
Ask HN: Has anyone managed to get a GDPR data export from any travel company?
And let's not forget that Napoleon comes right at after the French revolution. Everyone else was planning to invade France since it'd become so weak - the country was a mess. And somehow, Napoleon managed to bring it back to the scene.s

I think that's where I find him the most amazing, he was given 1990s Apple and made it 2010 Apple - on the scale of a country.
Ridiculous, check out how the Chinese artworks is being treated in some western museums. They don't know how to protect the artworks since cultural ignorance(the material needs to be treated specially), some of the artworks are fking cut into pieces.
I wonder if he can just say "Look guys, I am not looking to block neo-nazis, far-left nutcases or whatever unless they break some law where we operate and law enforcement want us to ban the account" He can sit back and chill. Will the constantly whining no-gooders will leave twitter in hordes? abuse and physically threaten Jack? or just keep whining as if they heard nothing what just being told?
time, date, longitude, latitude is just below the length of an average number station transfer
I've never had the displeasure of being around so many drugs as when I went to prep school-- not some random private school, but a legitimately prestigious one to which future U.S. presidents and or their spawn are sent. Kids there were smuggling large quantities of narcotics in and out of the country, sometimes at the risk of death.(No, I am not exaggerating.) They were also robbing each other of said drugs. The difference is that because of the institution(s), players involved, etc., more discretion is involved in how disputes were handled. All of this scales down the further removed one gets from such environs until you reach the disproportionately poor groups, who make up the bulk of the stories that people hear, but not necessarily the bulk of "crime" were they to be policed at the same levels of the former mentioned groups.

Alcoholism, drug addiction, bullying, domestic violence are issues that affect people of 'noble birth', too. In fact, a number of kids I knew in school were acutely aware of the fact that their parents saw them as a burden or impediment to their own lives and as such, sent shipped them off to boarding school. And so, the kids drank and drugged... Fast forward to college, I know of one kid whose parents shipped off on a study abroad trip to "cure his drug addiction." Yeah, he ODed while we were on a ship in the middle of the Pacific-- though he'd scored coke, but surprise, surprise, the nice dealer he'd met while were in a SE Asian port gave him something else.

tldr: Yep, kids from poor neighborhoods often don't start out w/the same advantages as those from higher socio-economic backgrounds, but kids from the latter backgrounds often work vary hard to even the playing field by engaging in self-destructive behaviors that for some reason people like to mostly associate w/being poor. Really the only difference is that certain members of society are more willing to forgive even the worst behavior for one group while penalizing mercilessly those of the other for the most innocuous behaviors.

Ps. A pier is something one might take a walk on. A peer is a member of a cohort, class, etc., ostensibly.
I did something like that once in Classic ASP (VBScript). I think I only wrote two Assert functions and that was enough. The code ended up being really robust after I wrote a bunch of test cases that eventually passed (after writing the code of course).
Here's an excerpt from https://www.datacenterknowledge.com/google-alphabet/google-s... where our VP Joe Kava addresses that question:

What About the Jobs?

With more and more of the company’s data centers shifting to automated infrastructure control, and with the real possibility that the same will eventually start happening outside of Google, arises the inevitable question of jobs. Are Google’s data center engineers engineering themselves and their colleagues out of work?

So far, Kava hasn’t seen evidence of that happening.

“We still have people there, because they still have to do all the maintenance,” he said. “So, you’re not getting rid of the people, you’re augmenting” the existing team’s capabilities. “Instead of trying to tune the system themselves, they can focus more of their time on preventative maintenance and corrective repairs.”

Besides, AI still does poorly in situations “outside of the envelope of its training,” he said. People are very good at making observations in what Kava likes to call “corner cases” and coming up with a course of action on the spot. AI isn’t.

In other words, it’s a good idea to have AI fine-tune a cooling system to improve efficiency in pre-tornado conditions, but you better have some human engineers around in case a tornado forms.
> It doesn't explicitly state that the "false prophet" will "burn forever", only the fire itself burns forever.

No, it says the devil and the beast and the false prophet will be “tormented forever and ever” in the lake of fire. Explicitly, the punishment is eternal, not just the fire itself.

> There are many verses worded is ways that are non-specific, and if you take other scriptures into account as well, it's plain no human is condemned to eternal torment.

That's...far from plain. It's certainly a possible conclusion that, while not without problems, isn't particularly less tenable as a resolution of some of the surface contradictions as others.

> For example the idea of a mass resurrection, it's contradictory to be both resurrected to life and be in hell forever.

It's not contradictory to be resurrected and then thrown into Hell, which is exactly what happens in the second resurrection in Revelation. (Equating the lake of fire with Hell, of course.)

Now, unlike the devil, beast, and false prophet, we aren't explicitly told that those in the second resurrection are “tormented forever and ever”, only that they are thrown into the lake of fire, after which the narrative shifts to other topics. So, sure, the text, read literally, admits the possibility that they get only a finite experience of torment, but that's not the natural interpretation, especially in light of the parallel of the two resurrections in Revelation to the two eternal outcomes foretold in Daniel.

But, in any case, my point isn't that the proper interpretation of the Bible involves any particular prevalence of eternal punishment, but merely that the upthread claim that the idea of eternal punishment in a lake of fire in Christianity comes from Greco-Roman mythology by way of Catholic theology and not from the text of the Bible is not correct; the idea is—whether or not it is the best interpretation when viewing the Bible holistically—grounded directly in descriptions in the Bible, including quite literal ones.
I'm using it with two 4k monitors now, no problem, and no screen tearing.

Hi-color might be somewhat compelling, though I write text files for a living. Does X not support it?
It's a difficult thing to do and there are so many hidden strings and interests at stake but the reality is quite clear. A lot of things were looted and are in our western countries somehow illegally. IMO they should be returned to their countries of origin if evidence of that says so. If things were bought/sold and there are documents to attest that, they could stay.
I'm aware of what "!=" means, thanks. The rebuttal was saying that just because people think differently from OP, doesn't mean they can't think for themselves. OP never said that people who think differently from them can't think for themselves, they specified a type of people who can't think for themselves, a group much smaller than "everyone who thinks differently".
X was running on 286-class machines (that were intended as purpose-built X terminals) back in the day. The KDrive server can be compiled to fit in a few hundred KiB.
Not very smart of them. In mu LUG we usually suggest Lubuntu for those PCs that are a bit older. Now I don't see what the point is. Most would rather run MATE than LXDE if there's no difference.
That seems quite unwarranted, if two generals fight then success is correlated with the quality of general but not solely determined by it, often the better general will lose simply because the opponent has more resources.

The qualities of a general will be demonstrated both in wins and losses, and whether he's victorious in the end tells more about the military power of a country or king, not about the quality of the general.
The way they work around state space explosion is pretty cool. They push all the state off into another module, whose correctness they verify using other methods. Then they tell the symbolic execution engine that the state-holding module does not misbehave. So it's a hybrid -- use each verification technique where it's strong, to shore up the weaknesses/shortcomings in the other one.
Cryptojacking: Hackers Just Want to Borrow Your CPU
https://www.definitions.net/definition/unsubstantive

Not sure what you mean. My post appears to be entirely appropriate to the comment it replied to.

Do you know what they were referring to? Unfortunately, this comment thread appears to be censored on this platform, so I'm unsure I'll ever receive an answer.
No, unfortunately a bit earlier than that. The mid-war Poland was a country in a terrible state. Most of the population was destitute. Malnutrition was omnipresent. People were dying of typhus, especially in poorer areas (incidentally, it was thanks to a Pole Rudolf Weigl that a vaccine for typhus was finally discovered.) Imagine the Jews in all this: keeping aside, strongly refusing integration (with some notable exceptions), and, for historical reasons, keeping to a different set of jobs than the rest of this multi-cultural Polish society. The conflict was unavoidable. Right-wing nationalists were convinced that Poland would be better without Jews [0], and the Catholic Church was supporting this vision. That's why Ghetto benches [1] appeared, and the life of Jews in the last years before the war was much more difficult than earlier.

However, many Western, and especially American scholars, don't have a deep understanding of these issues. They simplify it as "Poles hated Jews." It was not so. Probably the best example is Zosia Kossak-Szczucka, presented in the article "Anti-Semite who saved Jews" [2] As many others, she was critical of Jews in pre-war years. And as many others, she risked her life to save them. Most people discussing the issue of Anti-Semitism in pre-war Poland don't understand this issue at all.

[0] https://en.wikipedia.org/wiki/Madagascar_Plan

[1] https://en.wikipedia.org/wiki/Ghetto_benches

[2] https://polska.pl/arts/literature/zofia-kossak-szczucka-anti...
When did that law go into effect? The provider network that my employer's insurance plan used for a while advertised on a billboard that it was "doctor owned." What I don't know is how the specific financial or legal relationship worked.
I wonder how long a second nation has to hold onto an item that orginally came from another nation before it becomes more a piece of the second nation's history and culture than the first.

Does it never become that? Is it just relative amount of time?

Does it depend on the rationale for the first nation requesting its return i.e. is return of stolen goods different to return of goods legally purchased? Is it different to goods that the first had effectively discarded or thrown away?
"The olden times" makes me think you read Cicero. "The olden times" Cicero was talking about were the later days of the Roman republic perhaps 50BC or so.

Those times were extremely progressive. And many of the social accomplishments, like the right to ignore your parents religion, equality between men and women ... were fought over and achieved in those times (well, before those times, really, but that wasn't how Cicero saw things).

I would also like to point out that Roman slavery was not at all the same as Islamic slavery (which is what we think of when saying "slavery", and even then you could rightly argue that "most" islamic slavery was different. Islamic slavery after economic collapse is the model we think of as slavery. Not pleasant). Slaves, in the Roman republic, or the Roman empire, mostly went home in the evening (and all -save slaves of the justice system- had the choice to go home). They enjoyed health care. They lived in apartment blocks (yes, really), which may or may not have had plumbing (granted, plumbing was for the very rich slaves).

Incidentally there were very rich slaves, a fact even true in Islamic times. You see, most jobs aside from market trader/"CEO" were slave jobs. Doctor ? Most likely a slave. Architect ? Slave. Factory "manager" ? Slave. Very high government administrators, like the director of the Colliseum ? Slave.

Slavery did not mean you were poor, or that you were imprisoned. Not at all. With the exception of "justice" slaves (ie. convicted -rightly or otherwise- criminals). Those were the people working in the mines and on the galleys.

And in ancient Rome, as I pointed out, you could pay for more services than you can today. I don't even necessarily mean that in a bad way. Sure, you could pay for sex acts, but equally you could pay to have fine metalwork done (in fact, doctors did that quite often). Women slaves were married, and generally not to their "owners", and had high functions themselves (negotiations for building things, for instance, were often carried out by women).