skysight-inc/HackerNews huggingface dataset:
Ask HN: Discontd UBNT AirRouter still best buy for sm home/office/OpenWRT bgnr?
There seem to be no replacement planned from Ubiquity for their AirRouter ($35), previously recommended and highly praised on HN. It might still the best choice, but who knows? So I ask.

Alernatives of interest:

1. The 'eero' router (coming in December for $200), quite pricey.

2. HooToo Wireless Travel Router, USB Port, High Performance- TripMate Nano - seems to be the highest rated travel router on Amazon, might not be bad for $20. Most routers (let them be for your home or travel) on Amazon are rated crap, so at least its something. It is also worth noting that its firmware does not seem to be updated frequently, you better use open source software for this one.

Let's not forget to add my use case, because I listed quite different alternatives in price and features: basically a simple router to my one room/studio apartment, nothing fancy. I also like small, portable things, so it's a plus if it is thin and light, though I am perfectly OK with the dimensions of the AirRouter, incl. power supply.

I would like to experiment with OpenWRT and possible other open router software as well, thanks for recommending Juniper's Networking Fundamentals course.

3. I also like the Apple AirPort Express' built in power supply, it seems like a superior solution (heard it on ATP.fm), though the Airport Express might not be the best, or at least, most popular choice to run open router software on it. Sadly, its competitors including Ubiquity and 'eero' do not build the power supply in. I have to add, from all the choices I listed from $20 to $200, the sweet spot in price (and may be in quality, value and performance, too), might be around $100, as the Airport Express is priced.

It it's not an ASAP purchase, say, I cay wait up to 365 days from now, what are good choices for me worth consider buying? Also, not much news from the openwireless.org project.
What are your thoughts on using memristors for neural networks? They appear to have pretty good properties for that.
Here is another piece by the author "Reproducibility, replicability, and the two layers of computational science
" https://thewinnower.com/papers/reproducibility-replicability...
New Giant Telescope to Join the Hunt for Alien Life
Pre-Check is great, when you have it, and did not exist from 2001 until the concorde shut down in 2003, thus was a significant factor.

It is probably safe to say that almost anyone flying on the concorde at the time would have pre-check today.
Always inspiring topics isn't it.
As long as there is one true arbiter of the game state, I can't see how. The default these days is to have a master server, but back in the day, I developed a distributed server state that let each node determine the true state of its local inhabitants whilst the others performed a glorified predictor/corrector (with frequent corrections) of those that were non-local. In that model, state is unambiguous and deterministic.
http://www.hsph.harvard.edu/nutritionsource/carbohydrates/

"Foods high in carbohydrates are an important part of a healthy diet. Carbohydrates provide the body with glucose, which is converted to energy used to support bodily functions and physical activity."

We can quibble about what mix you need of carbs, but if you aren't getting your carbs from something that's obviously from a plant, you may not be getting enough and you should probably pay attention to however you do get them. The less processed your carbs the better; the carbs you get from a cow are very highly processed.

You need glucose. No carbs is probably not what your body evolved to live in.
I think the implication with these huge companies is that erosion of shareholder trust is the same as the erosion of consumer trust.
My parents live in the country approx 1/2 mile from a fairly busy 2 lane highway and the location of their house would be perfect if not for the fact that Harley-Davidson makes motorcycles. In the evening the sound of all the other traffic on that roadway pales in comparison to that of Harleys. To be fair, some of that distinction is probably due to the fact that a big twin seems to produce a noise signature that [regardless of the reported same DB output claims] carries much further than other types of engine configurations. But also I suspect that a large number of HD riders, because of 'safety' logic or ego or whatever, spent their first extra $400 after purchase on a new set of louder aftermarket pipes. The net effect is that they henceforth serve as 'ambassadors of alienation' for most people. Ducati and Buell riders don't seem to have the same fears or need for special recognition.
It also means you can trick people:

http://www.amazon.com/Intel-Quantum-Computing-Module/dp/B001...
These calculations are nonsense. If drivers became employees, 100% of the revenue would go to the company, and "mileage reimbursement" would be just part of the operating costs.
I strongly disagree. Bitwise reproducibility would make it impossible to change or improve matrix multiplication algorithms, since the order of operations matters, and will change across implementations.

Do we really expect everyone who does linear regression to say "I did linear regression, using the following implementation of a linear solver". Because that's what is being asked.

A much better alternative is to test that algorithms give expected answers (within some tolerance) on simulated but non-trivial data. It will still require some care to distinguish bugs from rounding errors, but it is more, er realistic, than expecting bitwise reproducibility.
> Almost anyone who produces content and puts it on the internet makes money from ads. It's not just limited to "big media companies".

Yes, but small content producers don't control the public discourse on this. You're attacking something that has nothing to do with what I said.

But if you want to bring it up: I don't care. Small content producers who rely on advertising for revenue are just as bad as large content producers who rely on advertising for revenue. Just because you're a small business doesn't give you an excuse to rely on a bad business model.

> People can't seem to accept the fact that ad blockers are hurting the entire internet, not just "big media". All that free content you consume every day? Yeah, it's subsidized by ads.

Which content is that? Do you mean all that crap I have to sift through to get to stuff I care about? Or do you mean the stuff I care about that I would rather pay for than have to click around an ad?

Ad blockers are not hurting the internet, ads are hurting the internet.
Why am I getting down voted? I'm just trying to understand the article. If you disagree with the article's conclusion, its the author's hypothesis not mine. He even cites cases of children whose cysts were surgically treated and now lead normal lives.
> Lots of previously successful, legitimate businesses are finding their income slashed.

This is true, but I posit that those businesses can easily move to a pay model. If they can't, they aren't legitimate businesses.

One last comment: Not all businesses are conducive to a pay per use or pay per user model. For some things, that simply does not work. This is exactly why advertising has been used for decades by content providers, even before there was an Internet.
Admittedly Stan doesn't work for all problems, but where I've seen a lot of issues in "bad" performance by Stan is when people try to fit models that are unidentified or weakly identified. Unlike some other algorithms which will give back the wrong answer quickly with the user none the wiser, Stan's HMC will try to do what the model says - sample over the whole unidentified space, and it takes a while to sample R^n. What I've seen in Stan's mailing list is that in practice a lot of people have been fitting poorly identified models without realizing it.
Dumping has to involve a government subsidy. Selling the product below cost at manufacturer's or investor's expense is just an aggressive market acquisition strategy.
Another endorsement for Gelman's books — they're some of the best instructional statistics work that I've read.
Great point. I think the question is, how do you scale this so for example a University here in South Africa. That may not have the resources is able to tap into the flood of content that is being created in the education space, reducing the cost for students here in South Africa and uplifting millions.
I've never had to write a RTS game but fp determinism sounds like a nightmare. I can imagine someone clicking a button and not having it do the same thing every time. I'd be cursing the platform all the way down.
No security at Teterboro. Or most other private airports for that matter. Just a Customs check if you're going international.
Just want to let You all that I'm an author of most stuff ( but of course we have also some cool contributors!) so if You have any questions feel free to ask them here.
Tell Me Your Story, Not Your Status
Always interesting reading these ad (blocking) threads. As someone who's worked in the industry for a while and now working on change, some thoughts:

1) Content costs money to produce. No way around that. Only option is pay directly or indirectly (via ads). What we need is better facilitators of both.

2) Ads are not going anywhere. The industry is not "in trouble" or imploding. There are dozens of ways around adblock and much of adtech is actually run behind the scenes server-to-server. It's not impossible to bring it 100% server-side and serve the final page as a mix of content + ads. This is effectively what happens with native apps already and there's an increasing amount of sponsored content. Content consumption is way up with billions of ad clicks, video plays and articles read everyday. The ad industry is stronger than ever.

3) Blame for the current situation is shared by all. Publishers should have better standards. Ad networks should use better formats and engineering. Advertisers should buy better stuff and know where/what is actually running. Just follow the money - buyers > networks > pubs with about a dozen layers in the middle, everyone trying to make the people who pay them happy. Users are not in this chain unfortunately.

4) Payments are not a magical solution. Most people do not want to pay, even if you might and the web is too granular for site-specific subscriptions which requires a scalable 3rd party. This is VERY hard to do considering the mechanics of the internet but there are things in the works like Google's Contributor program. Sadly results have NOT been great because any amount of money adds friction and most editorial/news content does not provide replay value like a music track would, but there is promise with network scale, bundling and the option to choose the level of ads/payment involved as your browse.

5) Browsing via ads is far more anonymous than payments, which involve credit cards which means name, address, birthdays, purchase history, credit history, etc. Contrary to lot of FUD, ad networks usually rely on 3rd party companies for data and they mostly focus on wide demographics and interests. If you're worried about privacy, then look at Google and Facebook who are both the de facto leaders in adtech primarily because of all the data users willing give them. Those are the companies that know who you really are on every device.

6) Finally I just want to say that the industry is not stupid or clueless, it's just massive (150B+) with lots of politics and back-room deals. Any industry this size usually takes years or decades to adapt and there's still a lot to figure out so change will be slow but ultimately the old guard will be retired and better stuff will come along. It's accelerating now so that's a good sign. I know everyone thinks they can do better with some brilliant idea and flip things around instantly but it's just not that simple. Please remember there are plenty of smart, talented, hard-working people (just like you!) that are working on this. I promise we will figure it out.
You should also install the F# Power Tools[1] if you haven't already. It has a lot of great features.

I definitely prefer Atom+Ionide when I want to try something out quickly or experiment. Opening VS and creating a new project just to write a simple fsx script seems excessive to me.

Although, most of the time I'm running them simultaneously.

[1] http://fsprojects.github.io/VisualFSharpPowerTools/
How $400 virtual knives saved Counter-Strike
> And if you have two unknown values, you can hardly check they are equal.

If you want two instances of unknown not to be equal, then you can arrange that by actually instantiating different objects with a different identity to represent these unknowns (and print them differently to make it clear: NaN0, NaN1, ... or whatever.

(Yet, if one instance of those objects is propagated into two variables, those variables should still compare equal: NaN0 != NaN1, but NaN0 == NaN0.)

> The fact that the representation for NaN is the same (so memcmp of two NaN values) is a completely different thing.

It tells us it's the same object. In fact, if x is NaN, even x == x fails, and then we have do not even have two bit patterns to compare: it's just one bit pattern. One object at one address, not equal to itself.

In other words, this is garbage that violates "A is A": an object is not itself.

This is the work of imbeciles who chose to be ignorant of the philosophical underpinnings of what they are doing.

That some features of SQL were produced by similar such is neither here nor there.
Impressive work and explanation regardless of the language being used but the code does look particularly simple and elegant.
I think this is really cool!
I heard that Bush's page has a lot of vandalism over time.

I wanted to show you what I saw for George W. Bush Jr. - that I had a hard time finding the changes that were happening.
However, I found that the url never changes? Maybe you could update the browser location (and then even add a "share this" link?) so people can share particular pages?
I checked the domains of emails. There was no specific pattern or for specific domains it's happening.

Do you always mark undetermined bounce status as soft or is there any logic based on counters. e.g. for the same email 1st 3 undetermined responses are soft after that it's hardbounced.

Makes sense?
Chavez - Little Twelvetoes (from Schoolhouse Rocks! Rocks)

https://www.youtube.com/watch?v=p2H6RLKGNDc
And the calculations show that even as operating costs, Uber can't afford to operate if it's shouldering the vehicle operating expenses.

Their entire business model is based on their drivers not knowing they're getting a raw deal (or knowing and not caring) when the balance sheet is added up.
> Many people talk about insulin spikes etc., when talking about high carb. That's kind a red herring: insulin spikes happen with significant amounts of protein as well, and they really aren't a bad thing.

high fat != high protein

fat is not the same as protein. you can eat fat without eating protein.

it may sound obvious, but i don't know how you read an entire article about fat, write 3 paragraphs about fat, and then conclude with a fact about protein. wtf???
You make my point exactly. It is possible to get deterministic floating point out of existing toolchains. It requires work. Sure, people who can't do that work suck, for certain values of the word "suck."

I'm just saying, like OP, that this work shouldn't be needed. You should get this result for free and not even have to think about it.

The instruction sets certainly aren't irreproducible and I shouldn't have implied that, although there are plenty of IEEE extensions not well-standardized (eg, transcendentals). The problem is that their specifications grow weaker as you move up the programming hierarchy. Optimizers rearranging algebra, etc. And the result that's presented to the normal programmer is that floating-point is analog computing.
RF's work well on heterogenous data (ie a mix of data types from difrent sources which might include numerical, categorical and text data etc. They also tend to be fairly resistance to noise in the data and to work well on data sets that are wide (ie have more features/dimensions then cases/observations). Finally they are fairly resistant to overfitting (ie fitting quirks in the training data instead of generalizable signal) and don't need too much parameter tuning.

This is largely because they are a randomized ensemble of weaker models. Individual decision trees are quite prone to overfitting and other issues but in an rf you grow a bunch of them on diffrent bootstrap samples of the data and let them vote and it turns out the combined performance is much better and much less error prone then a single model.

Specific examples where they work well include genetic data (many more noisy variables then observations) and customer/consumer data. They also get used in image data and signal processing but deep neural networks are recently tending to beat them here and in similar less heterogenous data sets.
> With that logic, you could say making (1 == 1) == true is wrong, because 1 isn't true.

1 == 1 isn't erroneous. Producing a boolean is the type of the operation: number x number -> bool.

(bool's domain could be extended with additional "nonbool" values, which are produced if some of the operands to a numeric comparison are not numbers.)

> calculation operation, not comparison operation

What's the difference? It's all computation. The comparison calculates a boolean result.

> As in, result of calculating Nan + 1 is NaN.

No it isn't. Proof:

NaN + 1 == NaN // yields false

As a hacky workaround, have to use some special predicate to test for NaN-ness, because the above doesn't work.

What would make sense would be to allocate a new NaN, so that it is legitimate that NaN + 1 != NaN. Neither side is a number, but the express different, individual ways of not being a number through their different identities. And the "isnan(X)" predicate tests whether X is an element of the set of all NaNs.

If that's not palatable, throw exceptions: don't allow NaN + 1 (why allow addition on "not a number"? Why even allow "not a number" to be stored into a variable of number type, in a static language?)
F# has been working well enough on Mac for many years. Even if You won't like Ionide (I hope You will like it ;) ) it's worth checking different projects which allow for F# development on Mac - Xamarin Studio has very good F# support, there are also Vim, Emacs, and Sublime Text 3 plugins / modes for F# (all 3 for core F# language services features are using same backend as Ionide).

Also in context of cross platform development - there exists also F# yeoman generator which provides some nice templates for F# projects outside of VS.
I was one of the early users of seL4 and am still a named author on the seL4 manual.

It's quite possible that things have changed/improved over the last few years, but when I was working on it, I found the programming environment to be, very, very difficult. The capability system suffers from several circular dependencies (e.g splitting up memory capabilities required cnode capabilities, making cnode capabilities required memory capabilities). And the userspace environment is very bare, you have to manage your own page-tables, and your own capabilities. That said, it is also very powerful if you want to write fast, secure, embedded programs, which is what it was really designed for.

I'm pretty sure they wrote a device driver for a network card as part of one of the projects, but I don't know if it ever made it out the door. I'm sure you could ask the current team to see if they did and if they would make it open. You never know, you might get lucky.
Ask HN: Huge pages on Mac OS X
I've asked this question on stackoverflow but to no avail.

http://stackoverflow.com/questions/32336694/huge-pages-on-mac-os-x

I'm trying to mmap a huge pages memory region using the documented Mac OS X API for this. But it simply doesn't work. Any ideas on what is wrong with the following code snippet:

#include <stdio.h>
#include <sys/mman.h>
#include <mach/vm_statistics.h>

int
main()
{
void *p = mmap((void *) 0x000200000000, 8 * 1024 * 1024,
PROT_READ | PROT_WRITE,
MAP_ANON | MAP_FIXED | MAP_PRIVATE,
VM_FLAGS_SUPERPAGE_SIZE_2MB, 0);
printf("%p\n", p);
if (p == MAP_FAILED)
perror(NULL);
return 0;
}
> Which is to say that it’s clear whatever condition the strident, proud autistics have, it’s not quite the same condition as one that leaves you epileptic, mute, and generally unable to care for yourself.

I can understand the anger here, but please understand that the problem goes both ways. Some high-functioning autistics don't seem to get that the condition can be absolutely crippling, but their belligerence stems from a lifetime of people refusing to admit that they exist or that their experiences have validity. It's frustrating when people who don't know me assume that I need help dressing myself because they knew someone whose kid was severely affected.
As you mentioned, there are pros and cons to inventing the Stan DSL. Originally, we wanted a language that was not too different from the BUGS language because the BUGS family was what most applied Bayesians were using (if they weren't using some specialized MCMC algorithm for their problem).

And programmatic manipulation (while not impossible) of a Stan program was not high on our priority list. Since the underlying language is C++, you can bypass the Stan language and write (or generate) the C++ directly with a lot of effort. It uses standard (including Eigen) data structures.
> (all 3 for core F# language services features are using same backend as Ionide).

Would that be Omnisharp[1], or does the F# community use something different?

[1] http://www.omnisharp.net/
Move to iOS- Submitted by Apple on PlayStore
In dealing with tough problems like Autism, unknown autoimmune disorders, etc. Trusting a physician or even many physicians to make the right diagnosis is a gamble. It's even harder to find a physician who truly listens to the patient/family.

After much struggle with my sons rare condition, we found a physician who was able to help diagnose the problem. At one point he said "Your experiences in dealing the problem and the things your try that succeed and fail are far more important than my training... I'm here to help by listening and adding my experience"

In the case of a disease that I had, after seeing many many doctors and a year of tests, it was my dad on the periphery who figured it out exactly and then sent me to the right specialist.

Doctors are right some percentage of the time, but patients/families can have a great effect on coming to the right diagnosis.
I assumed that the author is himself an MD in another speciality.

1. The quote below. The most likely way the author would know this is that the author went to med school. Its possible the author interviewed MDs about their med school experience, but seems less likely.

In medical school, aspiring doctors spend a few minutes at most on these relatively unusual conditions, which are thought of, and taught as, rare. By the time many begin practicing medicine, many doctors aren’t even aware of the minute distinctions on the sub-spectrum of posterior fossa cysts, if they ever really understood them at all.

2.

I come, after all, from a family of doctors educated at “top” institutions. How could it really be possible that despite decades of intense trying as educated, middle-class people, we knew absolutely nothing?