skysight-inc/HackerNews huggingface dataset:
So if I buy a new all electric ute (that's what we call them in Australia: a utility vehicle or 'ute' for short), put a 1000kg load in it the back, then attached my 1500kg tool trailer, and drive up and down the hilly Tasmanian terrain...

How much range am I going to get?

That's the one factor that will keep the turbo diesel engine in utility and commercial vehicles for longer.
Thanks, but I actually want the other way around. Instead of parsing an existing C declaration, I want to produce one when given a structured tree representing the C datatype.

I found that to be trickier than it sounds.
There are all sorts of acts that are not obstruction of justice, except when they obstruct justice.
Impressive (and stupid) I'm really astonished to laughter by Uber more and more. They're trying to be a darknet company operating in clearnet... Make up your mind you shady fellows
>> To appreciate the extent of this denial, readers would be stunned to know
that only a few decades ago scientists were unable to write down a
mathematical equation for the obvious fact that “mud does not cause rain.”
Even today, only the top echelon of the scientific community can write such an
equation and formally distinguish “mud causes rain” from “rain causes mud.”
And you would probably be even more surprised to discover that your favorite
college professor is not among them.

I know who Judea Pearl is, but this is just conceited. "Only the top echelon
of the scientific community"? What, of _any_ field?

More importantly, the scientific community can express "mud does not cause
rain" in a formal manner and they have been able to do this since the
beginning of the last century:

¬Causes(mud, rain) ∧ Causes(rain, mud)

It's not specifically an equation -it's a theory- but it does the job in a
formal language with Turing equivalent expressive power. So does this:

p(mud | rain) = 1.0
p(rain | mud) = p(rain)

Additionally, in modern machine learnign there are theoretical results that
prove the learnability of all computable functions by various different
classes of algorithm -inverse deduction for symbolists (like myself),
backpropagation for the connectionists and so on [1]. It's really hard to
reconcile such theoretical results with the claim that there are, basically,
things you can't learn with, say, neural networks or genetic algorithms, but
can learn with counterfactuals.

_____________

[1] Nice little talk by Pedro Domingos summarising his "Master Algorithm"
ideas, including a bit about Judea Pearl's favourite type of machine learning:

https://www.youtube.com/watch?v=B8J4uefCQMc
My dog's name is Bishop, same source.
That excuse, thin as it is, could perhaps have sufficed for the first occurrence of such an act. But now it's been publicized. And it's a bit hard to pretend that, during a police raid, you're secretly and cryptically notifying the higher-ups, for some mysterious reason that you are completely ignorant of. It's just not credible that an intelligent tech worker who works for Uber and knows how to read English would not figure this out.
Try reading the article before you comment.

>> When the call came in, staffers quickly remotely logged off every computer in the Montreal office, making it practically impossible for the authorities to retrieve the company records they’d obtained a warrant to collect. The investigators left without any evidence.
It still doesn't seem any insightful to me. Either there is assumption that any sequence of subgoals can be achieved independently of each other or there isn't.

If there is such assumption then... well, I don't know why you even attempted to write a "generic problem-solver" that way, because it obviously isn't the case in the domain where this "anomaly" is presented.

If there's no such assumption, then (again, obviously) the problem itself isn't moving something on top of something, but rather to construct a finite (!) sequence of actions, that will satisfy all dependencies between the sub-sequences. "Planning algorithm" whatever it is just cannot start moving things unless it has constructed a complete plan of finite sequence of actions.

Sure, sometimes you deliberately write a program that doesn't make tree of all possible outcomes and just "acts" (because efficiency, memory constraints, etc.), but then you know beforehand that your program isn't really solving the problem for sure, it just happens so that your heuristic works. And if it doesn't work — it's a bad heuristic and you know you have to find a better one.

You wouldn't be surprised (and wouldn't call it an anomaly, for sure) if an algorithm that always greedily puts a smaller ring on top of next smaller one fails to move a Hanoy tower, would you?
For example, a financial application might
need to show users' account balances. When
users make a deposit, they want to see the result
of this deposit reflected immediately when
they view their balance (otherwise they
may fear their money has been lost!). There should
never appear to be more or less money in
aggregate in the bank than there really is.

Why does this example continue to come up time and again, banking absolutely doesn’t work this way. We feel like it should but deposits / transfers can take days to post, bank balances can absolutely reflect “incorrect” values, etc.
> with the caveat that we could still have univeral broadband and other first world services provided to all if we cut back on unnecessary military spending

Without question. The US could shave $200+ billion off of military spending fairly easily, with no increased threat to its well-being.

However the US has superior broadband to Europe already. I don't see how the US is failing at delivering first world service in that regard. It's expensive, too expensive perhaps. If you adjust for wages, it's still too expensive but not nearly so (the median EU wages are far below the US median for example).

Japan is generally renowned for having very first rate infrastructure. They've spent incredible sums of money in relation to their GDP on that over the last ~30 years. The US has nearly caught up to Japan on average broadband speeds and distribution. That's a fact that seems to shock people when they hear it, because for so many years the US broadband situation was ugly by comparison.
Professional rock musicians are often called entertainers. In this case, her medium appears to be creating hobbyist robots for entertainment.
Yes, a raid, in this case, is almost certainly an abuse of force and an attempt to create social/emotional problems for Uber.
No. Not logical and harmless. Yes, you might very well text the execs to find out what is going on, in plain English, like, "what the fuck is going on"? What you would not do is to send a cryptic, pre-arranged signal, which is what happened here.
From the article:

> To quote the original Spanner paper, “we believe it is better to have application programmers deal with performance problems due to overuse of transactions as bottlenecks arise, rather than always coding around the lack of transactions.”

Isn't this a strong argument against the current Microservices trend?
If there becomes reason for the courts to weigh in I would not bet on a lot of judges buying into that logic.
The question really isn't hub-to-hub versus hub to point to point, it's hub-to-spoke versus spoke to megahub to megahub to spoke. For example, if I were going to travel from Denver to Toulouse, 30 years ago my options would probably be DEN <-> JFK <-> PARIS <-> TOULOUSE. Twenty years ago, it might be DEN <-> FRA <-> TOULOUSE as the 737s and 320s displaced wide-bodies for intra-Europe flying. In ten years, as the 737-MAX, A320-NEOs, and Boeing's new Middle of the Market, you will start to see very interesting secondary markets pop up.

Good case - the 787 has changed Denver so that instead of two international flights daily (To FRA and LAX) - it now has FRA, London(LHR and LGW), France, Japan, Zurich, plus every small tourist Mexican destination you can think of.
Given Denver's altitude of ~5000', the smaller take-off pressurization effect may be a (small?) factor. You're almost acclimatized to cabin pressure already.

Denver's altitude also means a lower maximum takeoff weight. Perhaps less cargo/passengers = faster luggage / more empty seats?
Open-source boosts competition in capitalism. Open-source makes it easier for startups to offer services and create products, for instance. Open-source breaks monopolies. In other words, Open-source is capitalism in its finest.
Since then Norway has introduced a sentence class that can effectively jail someone for life.

Every 5 years after the main sentence the person is reviewed to see if releasing him would be a risk to society. And if deemed such a risk, the sentence is extended by another 5 years.
Introduction to Various Reinforcement Learning Algorithms
Third, doctors order unnecessary but "by-the-book" tests to document things that they already know in case of a malpractice lawsuit.

https://en.wikipedia.org/wiki/Defensive_medicine
I honestly don't see a problem with this. If it weren't for the fact that it's a company this this site hates it would be hailed as a marvel innovation against states that are increasingly cavalier about disrespecting people's digital rights and privacy. If the police have all the proper warrants there's no reason they can't seize the locked servers and workstations and compel them to unlock them after the fact.

To me this just falls under the category of unauthorized access. If my threat model included people physically present using force to access my sysadmins' computers I would be implementing the same security with a company-wide lock-down triggered by a panic button on every machine.
I think an IBO (Initial Board Offering) would be more fitting.
That might actually work but there is a lot to analyse to make sure that something is actually at stake. Firstly can dishonesty be detected and traced back to a stake holder? I'm not sure about that within specific randomness generating schemes. Secondly even if participants can be detected cheating it may still be economically advantageous for them to be dishonest if there is only a small probability that they lose their stake.
Maybe you've been through all your options, so excuse me if I'm being unhelpful or ignorant. But have you tried looking for a roommate(s)? Potentially you wouldn't even need to be on a lease that way, and you might make some good social connections. Admittedly, I'm 50+ and not up on the scene for 20-somethings just starting out. But back when that was me I moved to NYC and the Village Voice (newspaper) was full of ads for roommates. That was how many young people expected to live, i.e., in small apartment shared with others. There's nothing wrong with that, it can even be fun; you're young, enjoy it. Isn't this still a common thing in high rent urban areas, the natural way of 20-something living?
In my opinion it's not your job to willingly provide self-incriminating evidence. I have no idea if that legally applies to corporations (particularly in Canada) but this seems like a precaution I would expect every business to take.

You would hope they wouldn't need to take it, but if I were CEO of a company I would order the computers shut down even if everything were above-the-book.

Of course, maybe that's why I'm not CEO of a company. Who knows.
Homelessness is a complex problem, but its mechanisms are largely outside of what I outlined in the parent post. California has 12% of the population of the US but 24% of those individuals accounted as 'homeless'; New York State has 6.1% of the US population but 16% of those homeless. This shows a larger homeless-to-population ratio in New York State than in California.

However, the most outwardly visible facet of homelessness is individuals who are unsheltered, i.e. sleeping in public places or vehicles. The states with the highest rates of unsheltered people (out of total of those experiencing homelessness) was in California, Nevada, and Hawaii, Oregon, and Mississippi [1]. On the other hand, the statewide percentages themselves are not particularly insightful as to the magnitude of the problem, as they aren't weighed by the total number of individuals.

Surprisingly, raw population of unsheltered homeless individuals per metropolitan area, or as a share of total population in a metropolitan area, is a metric rarely aggregated in reports, but from digging though the data [2], one can see that the absolute number of unsheltered homeless individuals is indeed highest in Los Angeles (34000+), San Francisco (~9000), Seattle (~5000+), and New York City (4000+). Weather is certainly a factor in outcomes of unsheltered individuals, but I'm not convinced weather is a factor in contributing causes in the particular concentration of people. It appears that New York City seems to muster more assistance to individuals experiencing homelessness than Los Angeles, where in the latter more people end up on the streets, and San Francisco's problem is, in both absolute and relative terms, not as acute as that of Los Angeles, despite public perception occasionally being the contrary.

Sources:
[1] https://www.hudexchange.info/resources/documents/2017-AHAR-P...
[2] https://endhomelessness.org/resource/homelessness-populous-u...
Misleading headline here on HN; the source article correctly used past tense, since this system is no longer used. The comments comparing this to "shredding" and "destroying" evidence are also misleading; Ripley did not destroy information.
Draft of Knuth's the Art of Computer Programming 5c: Dancing Links
It's really hard to convince people they don't have (and aren't likely to have) a Facebook-sized scale problem though, even if the vast majority of people really don't. It's like trying to convince people they don't have "big data". :-)
"The point is that there's no shopping around in the emergent cases."

Why would "shopping around" matter if the amount the doctor was going to get paid was fixed (and published) in advance?

I don't understand why you think that pre-published fees would make this (alleged) problem worse rather than better.

In the (unlikely, IMO) scenario where one hospital really was massively more expensive than another, patients will almost certainly know that in advance, just as they know that they're going to pay more at Wolfgang Puck's restaurant than McDonalds.
Isn't this to be expected?
> If it is really really that bad, it's a much better outcome to leave amicably versus fighting to fix the issue.

That's generally my feeling as well, it's a bit perverse to me how companies expect individuals to fight to fix systemic problems in the organization, meanwhile when they have a problem with you they will most likely just fire you. Performance reviews are all about how you're living up to expectations but never about how the environment in which you work meets basic expectations. Et cetera.

Anyway, if the company is falling down badly enough that you don't have a (real) manager, I agree the best remedy is most likely to leave.
The point I didn't really make was that robots for personal dishes is not likely to be cheap anytime soon. That is, my emphasis was supposed to be the alternatives being advantaged for the foreseeable future. Not that someone has to change their behavior.
They're objectively much quieter in the cabin than the vast majority of airliners. That was the huge difference for me at least.
I'm guessing "it depends" on the locality but in general there's nothing magical about being an entity that can sling cable around the town on poles. There are already typically two providers doing so (besides the electricity utility) : phone and cable tv. If you want to you can start a company and do it too, if you live by their rules, man. Rules include things like using qualified people to attach stuff to poles, be insured appropriately, other kinds of "government over-regulation" stuff, and of course that there be space available on said poles. In our very small town there's a retail store that has their own fiber between two of their locations. I suspect they contracted its installation to one of the regional fiber maintenance and installation companies. That's probably how you'd do it too unless you like owning bucket lift trucks and being on-call to come out and repair fiber when someone drives into a pole.

Now, in some cases the city has issued a "licence" to a provider to deliver some service city-wide (e.g. cable tv). That agreement might include some non-competition provisions, on the basis that said provider spent $$$ installing their system and is only willing to do that if they are guaranteed to not have competition. This might be viewed as "not allowing access to poles" even though it actually isn't.
If you have questions, feel free to send me a message. I went to a variety of "primitive wilderness skills" training programs over an 8-10 year period, but that one was the most field-based. My email address is on my profile.
The police are not special in this regard. The police are not your friend. There's no need to invite the police in to go on a fishing expedition for something they don't have enough probable cause of to get a sufficient warrant.
I'd suggest to you that your bay area (really peninsula) focus is a little myopic, and that there is a whole lot more California than the Counties of San Francisco, San Mateo, Santa Clara, Alameda, Contra Costa, Salano, Napa, Sonoma and Marin - heck, each of those counties have different problems.
Next-generation research and discovery tool links 128M documents
Uber should have been prosecuted under RICO from the very first day they began coordinating unlicensed, illegal taxi cab operations. Why they weren't remains an open and interesting question.
So neural architecture search turbo charged into 24 hours with the help of a supercomputer?
Yep, CenturyLink.
Please don't link to Youtube for CCC talks. They built their own mediasharing platform that provides downloads, has no ads and does not track you in any way:

https://media.ccc.de/v/34c3-9237-reverse_engineering_fpgas
Neural networks that accomplish intense categorization techniques rely on multiple layers at varying precisions. It's fully possible to seed a neural network with good names for elements (like a CSS file) and layouts. It's a neat idea, but dynamic pages would require more finesse than simply being able to generate a static sheet, if you wanted to use instantaneous transitions there'd have to be some sort of state-caching for transitions.
So, what else this horrible Uber does? Maybe it locks office doors at night so that random people cannot enter and take whatever they want?
> Sure, he worked at Baidu and led a team there, but this is a LOT of money for a very small chance at anything competitive.

There's much more macroeconomics/geopolitics at play on this one and likely more behind the scenes action than anyone here has knowledge of.

Honestly, I don't question what Chinese investors do anymore. They don't play by the same rules as everyone else - they expect lower returns than western firms, they want to get their money out of china and into the US, many of them have political ties, they use capital as a means of status/power (at the expense of financial ROI), and god only knows what is happening behind the scenes in terms of digital espionage.
You're definitely correct, this article overhypes the mysteriousness. It's a shame, though, and a missed opportunity to go deeper, because it is a surprising fact that almost all of physics is most elegantly expressed in terms of least action principles, where it really does seem like the universe conspires to minimize some quantity.

In classical physics, the Lagrangian formulation is merely useful for some calculations, and can be fairly viewed as a mathematical trick that is equivalent to using Newton's law directly; similarly in E+M it's a compact and often useful way to express Maxwell's equations, but not particularly fundamental.

When you reach quantum field theory, though, it's all but impossible to do anything without a Lagrangian/action, and theories are almost always described in that form. String theories are the same. General relativity is not always presented that way, but gravitational dynamics are stunningly simple in that form: in a vacuum, nature abhors curvature.

Principles of least X are fascinating and incredibly useful, and the ex-physicist in me believes that they describe the actual universe so concisely that they are truly fundamental in some sense. But you have to really dig in to get any sort of appreciation for that, and I agree that this article didn't go anywhere near deep enough.
(My post is about England. I'm not sure abot other countries.)

That's true if they've just come knocking. But at the point they have warrants you're risking prison.

Court orders are orders, and they are to be obeyed in full and on time.
The article specifically says they had a warrant. This software actively obstructed that warrant.
> once you do a `rmdir` you are not allowed to add any new files to the directory

Ah, go figure. I had a feeling you'd run into something like that.

As for your tmpfs idea... you could do something with autofs to get automatic cleanup.
Roommates are definitely an option, and I did that for a few years when first moving out here. But I'm pushing 30 now and totally over that lifestyle. It makes me sad to realize this is probably the only realistic option for sticking around long term though.
It is a ban on nuclear propulsion as well as weapons, so nuclear powered submarines and carriers are banned. There was a bit of controversy a few years ago as well, when the NZ government was considering utilising a Russian nuclear powered icebreaker in Antarctica. No US Navy ship entered New Zealand waters for 33 years from 1984, the US Coast Guard did, however.

The ban on US Navy vessels stemmed from the fact that technically, any US Navy ship could carry nuclear weapons, and the USA would neither confirm nor deny if a particular ship had nuclear weapons. It was a bit of a hangover from the Cold War. The USA wasn't very happy at all in 1984 when NZ declared itself nuclear free.

Not all US Navy ships are banned in NZ waters now, a US Navy destroyer (USS Sampson) visited in 2016 for the Royal New Zealand Navy's 75th birthday, and ended up helping in disaster recovery when the magnitude 7.8 Kaikoura earthquake happened at the same time, alongside the Canadian Navy, the Royal Australian Navy, and the Japanese Navy. To reciprocate the favour, the frigate HMNZS Te Kaha joined the Nimitz carrier group to replace the USS Fitzgerald after it collided with a container ship.

Military relations with the USA have improved markedly in the past decade. Due to the whole nuclear free thing, the NZ Navy wasn't allowed to dock in the military area in Pearl Harbour for years, they had to dock with all the civilian ships, but now they're allowed to dock in the military area. They've also participated in RIMPAC since 2012.
Have you had any major issues with it? It yes, how'd you dealt with them?
Code that is loaded into memory stays in memory when three is no swap.

That is not true. In the normal case (absent debugging, JIT, self-modifying code etc), pages of executable code are clean, shared mappings so they do not interact with swap at all.

As clean, shared mappings they are eligible to be dropped from the page cache in the same way as other clean file mapped pages.

(Your executable code pages essentially are mmapped files. )
> "Uber's actions are similar to shredding evidence of tax evasion"

But Uber didn't delete or otherwise destroy the evidence. It locked the evidence while preserving it, so that it can provide the required amount of data if / when properly served with a warrant.