skysight-inc/HackerNews huggingface dataset:
A constraint solver typically works by:

1. Having a finite set of variables with a finite set of possible values

2. Having a finite set of propagators which are monotonic on variables (that is, it either reduces the amount of possible values for a variable or does not (it never adds).

3. A space describing a full set of variables and propagators

4. A way of reducing the amount of values when all propagators have hit a fixpoint for some space.

5. A way of rewinding state when some variable runs out of possible values

And then it basically (BASICALLY) runs this loop:

while(!solved(space)) {

if(failed(space)) {

rewind(space);

}

while(!fixpoint(space)) {

for(p in propagators(space))

{ p(space);

}

}

make_choice(space);

}

It's mainly used for solving NP-hard problems by being smart when attacking the full search tree.
"oh yes I buy smuggled goods" said no one ever to a formal survey.
An executable prime number (2001)
This seesm to indicate otherwise: https://news.ycombinator.com/item?id=16195566
British scientist Philip E. Mason (thunderfoot) made several skeptical videos on Hyperloop. https://www.youtube.com/watch?v=RNFesa01llk I highly recommend his whole Busted! series.
I'm confused as to what this conventional wisdom they're alluding to actually is. Would you mind spelling it out?
Performing even speculative operations on protected memory is a mistake. Part of the speculation should be to check the protection before performing operations on the data. This _flaw_ is precisely why protected information is leaked via side-channel in the Meltdown attack. They decided on this design without realizing it was a mistake -- but that is exactly what it is.

Same as Takata's airbag design which used an unstable compound. They were not unaware of the chemical propties of their inflating device. Instead, they miscalculated the impact.
en français on peut rester garçon toute le vie, non? en tout cas quand on parle entre copains.
I think the writer is genuinely shocked as to how the leading luxury food retailer can have their grocery stores looking like Venezuela. They are just trying to make sense of it.

The answer seems to be that management is grossly incompetent and totally out of touch with reality which are pretty important facts for investors to be aware of.

Of course, there are a lot of people who would very much like Amazon to fail here, so that may have something to do with it to.
The referenced operator proposal advocates the same solution[0] as @yladiz suggested here, so it's not clear to me where did you get this:

2 |> Math.pow(5) |> square

from? This would mean the same thing as:

Math.pow(5, 2) |> square

right? This seems like a pretty hairy thing to implement into the language. Also I don't think this syntax is very clear.

A more concise way of doing this with `pipe` would be:

pipe(2, $ => Math.pow(5, $), square)

Compared to the operator:

2 |> $ => Math.pow(5, $) |> square

So no disadvantage at all.

[0] https://github.com/tc39/proposal-pipeline-operator#user-cont...
Why help immigrants that illegally crossed the border? Why not help immigrants who come here legally, and US citizens? To do that you can't keep having the population of medium sized city sneaking into the country every year.

And Yes, there was immigration policy, going back hundreds of years. Remember the Chinese exclusion acts? Also, America highly favored not just white Europeans, but a specific type of white North/Western European from the beginning
They've already build their own ARM cpu's, they are in the TX1, Nintendo Shield for example. Their most recent Volta GPU made significant progress in terms of general purpose programmability, it gained a much more flexible memory and concurrency model compared to previous chip generations. They also partner with IBM by supporting OpenCAPI for HPC.
Exactly. Building landtunnels uses much more material. This material is expensive; a 100KM+ metal twin tube including foundation is fundamentally more expensive then a railway.

Further, it seems to me the thermal expansion problem (to me the single biggest technical problem) is not an issue either.

No wonder Elon Musk started The Boring Company. Once costs go significantly down to bore tunnels, most land on earth can be used to build a highspeed network on.
CALIFORNIA STRATEGIES ANNOUNCES NEW PRINCIPAL – LOS ANGELES OFFICE
so, uh, it's 2018. Just sayin'

https://www.staticgen.com/ "Top Open-Source Static Site Generators"
https://github.com/agarrharr/awesome-static-website-services
Sure, but JavaScript is not one of those languages unfortunately.
They are also capable of integrating with Power9 via OpenCAPI, which is the configuration in which many of the Volta based HPC cards by Nvidia will be used in.
Well, hundreds of thousands of people try to cross the southern us border every year. It is only wasteful if they aren't accomplishing anything. And, these days we have video cameras, so one person can monitor multiple miles of the wall from an operations center
I remember Aaron Swartz telling me about his interest in eye exercises for myopia (not just presbyopia).

http://www.aaronsw.com/weblog/001083

I'm pretty sure there's another blog post of his that goes further into the substance than this one, but I didn't immediately find it. (Other references, including one I wrote a few years ago, suggest he once thought the mechanism by which it could help had to do with oxygen levels rather than muscle development.) Does anyone know if this has been supported by clinical research?
Sigh. These organizations clearly need mandated 2FA, and no "security questions". I like that some people use a password manager to fill in the security questions with random strings, but sensitive systems just shouldn't allow such easy attacks.
I didn't understand the net neutrality dig. Price gouging is price gouging, the practice is far older than the Internet.
China says U.S. warship 'violated' its sovereignty
No one ever argued for a 2000 mile long structure that completely disregards any natural wall that already exists
Imagine this with a 4k panel. Depending on the lenses, it could be the highest resolution HMD currently available.

Panelook seems down, but even if only 4K@30 5.5 panels are currently available/affordable... well, no gaming, but I use Vive and WMD at 30 fps as a desktop alternative.
Huh? Isn't "hypertension" high blood pressure? I get that "extreme tension", as in "extreme stress", also makes sense. But is this recognized usage?
>The only measure that has ever been shown to work to reduce smoking is to make smoking less affordable.

The only measure that reliably gets people to stop smoking. Lots of other things can reduce the number of people who start smoking, which is at least as important. There's a reasonable evidence base for a large number of tobacco control measures - banning flavoured products, setting minimum pack sizes, banning advertising and sponsorship, mandating plain packaging etc.
Why Is It So Hard for Americans to Get a Decent Raise?
I have to say I'm not very familiar with Riak. A quick google makes it look similar in functionality. I'm not sure about speed though, RocksDB is really really fast and storage efficient. We tried out a lot of other embedded KV stores. Also Riak does seem to miss one important feature for us, iterating through the keys in lexical order. We use that a lot to build features on.

Even if this feature was/is available in Riak, I still think this was the better choice for us. Bringing this core component in house has been a real boon in gaining good and more importantly predictable performance for our API.
This is an important point. I think I'd be ashamed if my kid grew up and found my archives here, lamenting a $5k bill. Bringing a human into the world is a big deal, and worth at least that much. And I'm not lamenting too much; we were blessed enough financially to be able to cover it without going into debt.

But if it's being done for less elsewhere, then I don't think it's wrong to let that influence your expectations.
No not really it cant run Cobol let alone Cobol that ran on systems before you where born.

Google doesn't have to worry really about ACID but payroll and Bank applications do.
At least in the US, you can still buy cigarettes really cheap on Indian reservations and states like West Virginia.
It's not all that surprising, since modern operating systems don't accept all that many different kinds of incoming request.
Why would you have to say where you get them at all? It's not like they were asking about an illegal drug. What would be the point of lying about whether you smoke?
One note is that opticianry and optometry are not separated in Germany. While this may lead to conflict of interest, it can also lead to a better eye exam. We can now manufacture lenses to 0.01D but still perform exams in 0.25D increments. Everyone should have their eyes examined by two independent doctors, preferably in diverse cities, just to see the range of subjectivity involved in each prescription.

Why can't SeeVividly vision therapy be made available directly to consumers? Is the reason technical or business, to avoid conflict with eye doctors?

The computer industry may be on a collision course with the optical industry, due to augmented reality and smart glasses. We all know what happened when pocket computers collided with mobile telecom/carriers. The illusions provided by AR depend upon the brain's visual cortex and neuro-plasticity. Smart glasses may use 3D printing / nanoscale manufacturing to create transparent "lenses"/"displays" which embed cameras and microphones.

Thank you for the Sue Barry pointer: http://www.stereosue.com/
> You won't be able to type `pipe` with Flow/Typescript.

Don't know what you mean by that.

> But they can (and had) added support for the |> operator.

Doesn't seem like they did:
https://github.com/Microsoft/TypeScript/issues/17718
https://github.com/facebook/flow/issues/5443
I wasn’t kidding. Not sure what’s worse, WWI or the leisure industrial complex. All these gamers might as well be dead. They don’t do anything, they have no skills, they won’t reproduce.
They're not asking where the cigarettes are coming from.
10nm doesn't actually means that the transistors are 10nm-sized
Half black man. His father was european and his mother was a black slave. Though he may be socially/culturally black, he was genetically half white. But I don't expect much integrity from the atlantic.

That out of the way, it is biologically and statistically impossible to recreate a person's DNA that far back because every generation, a portion of an ancestor's genes are lost. You get about 50% of your mother's genes and 50% of your father's genes.

Also, you didn't need to "reconstruct" a portion of the maternal genome to find out the lineage. All you needed was the X chromosome of one of the descendents to get an idea of where the slave ancestor came from.

Beyond that, you don't really need a DNA test since most slaves in the americas came from west africa - predominantly nigeria/cameroon/benin region.
You're right, I shouldn't have said the correct abstraction, but you should at least provide a complete one. You don't have to build from the most fundamental possible assumptions to build from a set of tools that is provably complete for some domain of problems.

Doing otherwise is like giving someone a screwdriver that only turns clockwise.

Also, I challenge the notion that "no one can retain material that way". Have you ever met anyone who has retained the material any other way who didn't do it despite the system?
It's possible that the author suffered from what might be called "vegetable deficiency" disease.

See for example this MD who cured her Lupus with better nutrition:
https://www.forksoverknives.com/stroke-doctor-reversed-lupus...

Or this other MD who cured her MS with better nutrition: https://terrywahls.com/

See also for general background: http://media.wholefoodsmarket.com/news/the-whole-foods-diet

Vitamin D deficiency is also common. But obviously there might be other deficiencies (or in a very rare case some genetic disorder).

Or there can be an undiagnosed chronic infections. Here is an MD who cured himself of chronic Lyme with better nutrition plus herbs plus antibiotics: http://www.lymebook.com/lyme-disease-solution

Bottom line: mainstream medicine has only become good so far at treating the first two of these three major health situations:

* accidental trauma (based on learning from US battlefield experience in surgery)

* acute infectious disease (mostly by quarantine, sanitation, and increasingly-less-effective antibiotics -- until maybe phage therapy becomes common someday)

* chronic disease like autoimmune disorders, cardiovascular disease, or cancer (usually caused by the Standard American Diet, but maybe also interacting with some other factors including exposure to toxins etc.)

All that said, part of healing is mental or spiritual -- so reading good stories can indeed help with that in a variety of ways.
BMW is switching from a one-time $300 to an $80 annual fee. The net neutrality comparison is your ISP charging you $5/month more just to access YouTube.
The Politics of Soace Mining – An Account of a Simulation Game
After the iCloud celebrity "hacking" scandals they added phone-based 2FA and now have "your iOS device can be trusted":

https://support.apple.com/en-us/HT204915

though I don't know if the security question reset path is closed.

There was a small flare up earlier this year about people hijacking cell phone numbers, which then of course let's you take over all sorts of accounts since you can defeat the (relatively) poor security of SMS-based OTP.
Examining Trolls and Polarization with a Retweet Network [pdf]
I'd love to see some papers on that.

I remember being in our pre-natal class and the instructor talking about hospitals etc. People in the class were talking about how they wanted to deliver at X hospital because they heard that Y hospital had double the amount of C-sections etc.

I had the benefit of being an epidemiologist that worked in Y hospital and knew a few things that others didn't. One, we don't publicly report c-section rates at a hospital level and two, hospital Y is a tertiary care centre with a level 3 NICU where all risk mothers are sent. So of course we are going to have a higher c-section and complication rate. We just don't send high risk mothers to other hospitals.

So even though you said outcome is better even after adjusting for risk, I'd still like to see the data. I assume there aren't a ton of matched cohort studies that looked at birthing centres vs hospital deliveries.
I consider it a doubleplusungood attack on my thinking, so I'm also interested in some way to fight against it.

All I can come up with is to consistently interpret it as cryptography and force people to reexplain themselves if they say nonsense.
We see DIY VR a lot within the STEAM educational programs.

Focusing this type of educational attention on children at an early age is critical for future personal and professional development.

This is what allows consumers to have a build yourself VR headset for $100.

I have covered a few early STEAM programs in the Los Angeles area.

https://latechnews.org/raymond-ealy-founder-steamcoders/
https://latechnews.org/stem3-academy-open-house-november-4/
They are measuring different things and use different transistor designs.
Apple Is Blocking an App That Detects Net Neutrality Violations
> This is some fantastic clickbait.

That describe almost everything on HN now.
When you say "MCM is as revolutionary as AMD64", does that mean Debian and RedHat and Windows and macOS, and all 3rd party applications, have to be recompiled for a new architecture? Or is it simply an incremental speed-up of existing systems?

I'm led to believe that if we're going to recompile The World as well as build new JIT javascript++ compilers, it will be for ARM64?
Good stuff :)
> For example, my understanding is that businesses anywhere in the world are supposed to charge EU customers VAT starting this year. Dream on.

I've been following the EU VAT plans somewhat closely, and I'm not aware of any such changes affecting non-EU businesses occurring this year. Or maybe I missed it, could well be...

Sellers of digital services situated outside the EU already have been supposed to charge VAT from EU customers for a few years now (since Jan 2015 IIRC).

For physical goods, some additional measures are in the pipeline for 2021 - e.g. marketplaces become responsible for collecting VAT on some imports, and sellers outside EU can pre-remit VAT for a fast-track customs procedure for some imports, and VAT-exempt small imports will end - but nothing that requires all non-EU businesses to charge VAT from EU customers, they can still leave it to end-customer to pay on delivery (unless the marketplace took care of it).
Why doing a podcast with a single presenter and getting BBC quality audio isn't that hard these day a decent 2x2 audio interface and some decent mics Shure Sm58's will do quite well with your preferred DAW which will often have presets for podcasts.
Absolutely dude, I wasn't trying to hand wave and claim these are solved problems! I was just saying if we're having a thought exercise about potentially disruptive space-based technology that energy would be another interesting one to discuss.
Australian raptors start fires to flush out prey
Direct tunneling in the channel becomes a problem < 4nm. the gate insulator can be even thinner since they use high dielectric constant ones which limits the tunneling current.

As GP mentioned the main problem with 10nm is the photolithographic process. Currently they're using 193nm ArF lasers. EUV "light" is very difficult to generate and handle. There aren't even lenses for it, only lossy mirrors, so each optics step will lose you a fraction of the input power and heat the mirrors.
It is.

Heck, the entire valley is.
The article has some false information
"Intel says it’s already provided software fixes for 90 percent of its chips"

This is a falsehood. They MCU updates only cover IvyBridge and newer CPU's.

Check the dates on the MCU files.
Reading this reminds me of all of the days spent using Manzanita MPEG software to get streams to "work". While its true that the bit rate may/will fluctuate, it was the muxing software that saves the stream. The muxer would introduce those null packets. The studio I used to write automated workflows for would get work specifically because we could make streams work that other facilities could not. Manzanita software was always the difference. Rarely, did an encoding software/hardware output work directly. However, remuxing the same elementary streams with Manz software would pretty much always solve the problem. If that didn't do it, it was probably a VBV buffer under/overflow issue around a scene change somewhere in the stream.

Oh gawd how I don't miss those days.
cost per individual per year is lower in other OECD countries because its subsidized through heavy taxation. So, it's not really lower, it's just shifted into a different bucket for accounting purposes. But it didn't go anywhere - that's the point. You can see it easily by the fact that taxation as % of GDP is much higher than in the US. Where does that extra money go? Subsidizing healthcare and other benefits
well yeah not really. it's a bit of a long read but it comes down to whom you ask.
https://www.extremetech.com/computing/246902-intel-claims-th...
Free peer-to-peer code interview practice
The number you describe is a constant "change in size." What I describe is a constant maximum worst case "size." Yours would be velocity, mine would be position, function, derivative, etc.
So I'm comparing pipe usage to this e.g.

const result1 = square(2);
const result2 = increment(result1);
const result3 = square(result2);

With the above, I can add in a breakpoint and inspect what's going on at each stage with access to other debugging tools. Log statements don't seem nearly as good as this. The above is nice as well in that you can give intuitive names to the intermediate results.
Fancy Forms Designs 2018
> Think about it this way: if you already own a car, why would you use ridesharing?

To avoid traffic, to avoid parking problems, to avoid driving drunk, to avoid leaving your car unattended in a dubious neighborhood, to avoid parking costs, etc...
That's a very sad & true fact. I had a family dinner at a one Michelin star restaurant, and while everything was really good, I have a hard time recognising what I ate as a meal because of the quantity. The basic point of a meal is to be satiated, so I don't see the point of eating (very) good stuff for that price if I need to eat something else two hours after.
> perhaps this was a fine dining restaurant.

Actually many would consider Bocuse's to be THE fine dining restaurant.
Bankrupt stockton in the 'poor' part of town has better roads than mountain view and cupertino. It's downright bizarre.
Geekbench is a somewhat odd collection of benchmarks, I'd be careful reading too much into it.*

Furthermore, the site you link to, which is clearly rather gung-ho about macs, still shows that the ipad was not able to keep up with the intel chips, not even in multithreaded mode, even though the intel has 2 cores to the a10x's 3+3. The ipad beat the MBP on the GPU tests, and I don't think anybody is going to dispute that intel's gpu's are... not exactly record-breaking.

Still, you're totally right that apple demonstrated that intel's tech isn't the uniquely fast chip you might think it to be! It's not a small achievement to come this close, especially if the ipad is using less power (which isn't actually clear - battery capacity is roughly similar, at any rate).

* The reason I don't like geekbench as a cpu test is that it includes a great many tests like FFTs, gaussian blurs, jpeg with DCTs, image processing, and crypto (even in the noncrypto segment!) etc - i.e. workloads that are very, very vectorizable. The problem with that is that such workloads are really tricky to get right - small differences in code can make considerable difference in perf, and what's right for one CPU isn't for another (notably, geekbench is necessarily running completely different code on these processors). Secondly, those kinds of workloads are very, very amenable to special-purpose instructions, which leads me to the related point that I don't think they're representative of what is typically annoying slow today, and much less what is likely to matter tomorrow: these kind of workloads are either good enough on the CPU as-is, or they're going to be moved to the GPU (or even more specialized hardware), which happens to excel at that.
> does that mean Debian and RedHat and Windows and macOS, and all 3rd party applications, have to be recompiled for a new architecture? Or is it simply an incremental speed-up of existing systems?

Neither. Multi-chip modules simply make it more economical to manufacture large processors. When you can make a 32-core CPU by connecting two 16-core silicon dies together, you'll have higher yields than if you try to make a monolithic 32-core die. There isn't necessarily any consequence visible to software, with the possible exception of having multiple NUMA nodes per physical socket.
>> management is grossly incompetent

They did build the big, succefull business in a super-competitive market that is grocery. You cannot possibly achieve that if you are incompetent.
They do. He is exactly right, Libertarians believe in STRONG property rights. Which are the foundation of all rights.
I have come to realize the left is ignorant to the extreme. On guns, immigration, law, libertarian philosophy. It always comes down to those who understand the issue and arguing with the left who is uninformed.
https://github.com/pabmont/pma in C

See also http://dhruvbird.blogspot.de/2013/03/pma-packed-memory-array... who has his own implementation in C++
Also useful to understand least squares as a special case of maximum likelihood estimation. MLE I think is very intuitive.
There's another definition, that doesn't have to exclude the one explicitly. I think it's a natural number not divisible by any natural number smaller than itself.