skysight-inc/HackerNews huggingface dataset:
It must be a mathematician thing. When I am doing something that involves finding a smaller number, I expect to see a < operator.

How would this look if you were writing code that dealt with something like a linked list where you have 'cur' and 'next' pointers? 'cur' would be 'next' and 'next would be 'nextNext' ?
Accidental Innovation?
Yeah, but it was fake. The POV is very small and is a deal breaker: https://news.ycombinator.com/item?id=11195008
If you're more comfortable with Windows development than Linux development, it's a way to get things running more easily. (Although I expect that for many HN readers it's the other way around.)
Do you mean Accounts Receivable or have I misunderstood you?
> Also, room-scale will essentially require a dedicated VR room free of obstacles. As such I'm guessing many Vive users will be having a sit-down experience too.

This is the part which pointed me more toward Oculus. I simply do not have the space for a dedicated VR room, so all the work done into "room scale experience" is moot for me and Oculus focus on a seated experience seems to be a better fit for me here.
I have about twenty friends that I regularly do things with. But only 3 of us organize 90% of our activities. A new person is a burden on that core group. We try, but some folks make it hard to bring them in. If they don't rsvp, or use nonstandard communication methods it makes it hard. They don't have to reach out, but they have to respond or after a while we quit trying.
> If they're using the same passport number as before, CBP likely also has access to a computerized record of the previous interaction.

(They might also be able to search their database by biographical details such as date of birth, so getting a different passport may not prevent them from guessing that you're the same person.)
Why We Need Remote Meetups
It's one of my favourite horror novels. It's really good fun if you're into that kind of thing.
I got round to plugging in my Pi 2, that I bought a year ago, yesterday. Ordered a 3 already :)
^^^ This comments looks so good!
Analysis of the human mind will, in time, reveal what the different areas of this mind does.
We already know a little about computer memory = RAM and static RAM. That is all randomly addressable as a set of co-ordinates. Input them = result. Human memory has at least two major aspects, such as 'content addressable memory'. Like in the army of a million men and you want John Albert Smith = you must inspect each man to see if he is Smith. In fact we call out John Albert Smith and he shouts here. Called a roll call.
There is also associative memory = roll call 'John Albert Smith and his squad', and they identify themselves.
Then there are visual memories, odor memories, tactile memories, pain memories, pain memories and more - all content addressable.
We also have computational or mathematical memories to recall or calculate add/subtract etc.

Once we know them all, we have to know how they interconnect and the hierarchy of them.

All these little brain areas, hippocampus, etc etc, all need to be understood.

Then we start hooking them together in the best way to make an AI, which may or not be the same ways a human mind assembles them.
At some point we get a primitive AI. We are almost there now. We have huge memories, and huge calculating ability in these early AIs. We add more and more of them together until if works like a human mind. Then we up the clock speed.

We are hard at work on this now, and some say 5-10 years and we will succeed.
One thing is true, if we use this AI to compute the next AI, the time spent on each stage will get smaller and smaller and the AI will rise in capability at an ever faster rate in a positive feedback loop.

This is where the risks lie. An AI than can kill you as easily as a power saw can cut off a finder is not the AI I want to share space with on this planet - but that is where we seem to be going
I want to start using React but I think I'm going to stick with Angular for now. I have all of the gotchas of Angular figured out and I think I want to wait another year for the dust to settle on React. By looking at the flowchart it looks like the React ecosystem is still quite Alpha and learning to grow up.
I am not really exactly buying into the full premise of this article. While to a large degree the lack of exposure of this branch of japanese cuisine is based on bias... It also is clearly based on the fact that these are the least desirable cuts of flesh and offal from the least desirable livestock animals.

Much like sure you CAN really masterfully make something chittlins taste as good as intestines can taste... its still going to be viewed as lower class leftover scraps because thats really fundamentally what it is at its core.
OS X blacklist accidentally disables Ethernet in El Capitan
Why America abandoned nuclear power (and what we can learn from South Korea)
Yeah, you're in the wrong here pretty obviously. you didn't "directly ask", you pretty much just shot down what they said and borderline insulted them.

Really, just reason it out. How many places just have a Vive devkit laying around? You'd specifically need to get one which means they're most likely working on a VR game or software. When you're working on something using new and innovative hardware you're going to check out all the options and competition to make sure you're using the best or most accessible.

I'd say you should take a step back and look over what you've said and consider if it really conveys your meaning well.
But if that's the case, we run into a problem I saw someone write about with the ongoing Apple VS FBI case, only the "rich" would have access to strong encryption/privacy...

If I remember who talked about that I'll edit this message.
Beyond the European Union: Europe in the Middle of the 21st Century
I would not describe having two different routing domains as a firewall. It's not a fence set up by a firewall that only lets correct packets through. It's a gaping chasm that only the NAT process crosses; packets are transformed as they cross and only some packets are possible to transform.
Disrupting the Classroom
Being able to develop embedded IoT solutions using C++/CX, .NET and Visual Studio tooling.
While domvm [1] is young and doesn't have the adoption of Mithril (not even within an order of magnitude), it does solve many issues that people frequently have with Mithril's architecture and magic. Check it out if you'd like. Disclaimer: I'm the author and 1.0 (stable) target is April 1st.

[1] https://github.com/leeoniya/domvm
Once you figure out how important Accounts Payable/Receivable is you next learn how important Invoice/PO Factoring is...
Endearing story. But did anyone notice their blatant ripoff of the "Mike's Hard Lemonade" logo on their stand?
Not a very strong argument, IMO. AR/VR and self-driving cars are poised for huge growth because 1) they will drastically change the way we do certain activities and 2) they are just now becoming achievable (due to hardware, software, and economic advances).

What change is prompting health to be the next big thing? We have more data, but I don't think that alone is enough. Health is just as important now as it used to be, and I don't see a big tech breakthrough that is going to have health become the next "big thing" (whatever that means). I think we may be on the verge of several discoveries/advances that could lead to huge growth (CRISPR, cheaper genomes, molecular surgery), but until they happen it's just wishful thinking.
Have you tried the mithril.js gitter channel[1]? It's sort of the de-facto go-to-place for mithril questions; there are lots of active users there who are willing to help you out

You can also drop me a line via email, and I'd be happy to help too.

[1](https://gitter.im/lhorie/mithril.js)
what's the point of presenting this as a flowchart?
The XB1 wasn't marketed as a gaming machine, but rather as the new center of your living room entertainment experience, and the Kinect was supposed to be a big part of that: using both speech and gestures to easily control your entertainment.

VR experiences [you desire], require proper VR friendly controls [also VR friendly physical space, and VR friendly PCs]. Occulus has had several successful demos without the use of VR friendly controls, with some using just a mobile phone as the backing CPU/GPU. It's still yet to be determined if initially the streamline experience that comes with the base Occulus/GearVR setup is what the market wants, compared to the more fully immersive experience that comes with the Vive (at the additional cost).

With a newborn at home, I don't have the luxury using VR, but I am excited to see how this all shakes out. While my personal preference is for something I can use while at my desk (270 virtual desktop?), I also see how compelling a fully immersive VR experience can be.
Binary search is one of my favorite examples for introducing people to loop invariants. There are tons of opportunities to mess up with an off-by-one error but if you state the invariant beforehand getting it right is super easy. There are also many variations of the binary search problem so you can't just memorize the implementation.
Those are just slogans, like Java's was.

In practice you'll learn React Native once (1), learn some of each platform's intricacies (N), and sometimes need to debug (at most for each platform, so 0...N.
I'm not a history expert, but wasn't it basically the industrial revolution that made the city important? Before then, most people were farmers, and the cities didn't matter that much, no? Ok, so how do the latest technological developments, such as computers and Internet affect things? It makes online shopping and remote work possible, so you no longer need a city for those things. The only thing that I can see that you still really need a big city for is an interesting social life, and admittedly, that is important.
As a counterpoint to London, consider that in equivalently thriving cities in the US, due to poor planning and investment in transit infrastructure, living near the outer edge of the city means very long commutes into the jobs and idea centers.

By comparison, people I know living in "outer" London Suburbs (Wembley, Harrow, etc.) enjoy many public infrastructure benefits that you have to be in the inner urban core to enjoy in the US (again, in equivalently vibrant regions in the US, not in the dying cities).

Also, UK and European suburbs and small towns seem to have more mixed-use or close proximity residential and retail zones, perhaps because their layout predates the advent of cars, trucks, and freeways.

Not that it's all peaches over there, but in some ways, the urban "planning" seems much better.
They have tried this on Shopping malls and it was a disaster, people got really pissed when this was found out.

I think it's inevitable but it's not nice to know it's happening.
WebAnimator 2.2.0 Crack and Serial Key Free Download
In Northern Virginia during weekday mornings, I-66 into Washington DC is HOV-2 only within the beltway. You can also take the Orange line on the Metro which follows 66. They are thinking about making it HOV-3 soon. If you don't carpool, you have to get off 66 before the beltway and take a longer route on roads with thicker traffic or take the metro which takes a bit longer. Parking in DC is an absolute nightmare unless you have a spot in a garage and those can cost $20+/day unless your employer pays for it.
> What are the differences between postdocs, research assistants, research scientists and visiting scientists?

These are some working definitions, based on my experiences in astronomy:

Postdocs: researchers with a a PhD who generally have fixed-term contracts. Generally these positions are full-time research, though some may include teaching components.

Research assistants: researchers, typically without PhDs, working in a group/lab. This is frequently a synonym for undergraduate or graduate students, or interns. It can also mean people with technical skills who are working in a group/lab but not working towards a degree.

Research scientists: Non-tenure track reseachers, often with PhDs. Their positions may be fixed-term or indefinite.

Visiting scientists: Researchers whose primary affiliation is with another institute. They may be fixed-term visitors (e.g., faculty on sabbatical at another University) or frequent but non-constant visitors of an institution. Their salary is often paid by their primary institute, unless the host institute has provided funding.
The bad thing is that you're not aware that you're followed, and they don't even bother to ask your permission. At the scale of a shopping center it may be OK, but in your daily life it's frightening. ClearChannel has the power to know you better than your best friend.
Securing the City of the Future with Bitcoin
When people experience the actual FoV of the Hololens they will be disappointed, because MS has engineered the demo to appear edge-to-edge.
For all the new gTLDs you can go to nic.tld to find WHOIS info and usually a list of registrars. In this case nic.foo goes to Google's registry, which doesn't seem to offer the TLD for sale yet (or if it ever will).
Of course it's proof by induction. You prove that it's true for iteration N+1 if it was true for iteration N. You prove that it was true for iteration 0. Then you're done.

Here's how we did it in the Pascal-F verifier [1] around 1980. This is the
simplest example - proving that all entries in an array are zero after the
array is initialized.

type tabix = 1..100;
type tab = array [tabix] of integer;
rule function allzero(a: tab; i,j: tabix): boolean; begin end;
var table1: tab;
i,j: tabix;
...
for i := 1 to 100 do begin
table1[i] := 0;
assert(allzero(table1,1,i-1));
state(allzero(table1,1,i));
end;
assert(allzero(a,1,100));
...
assert(table1[j] = 0); { table1[j] must be 0 }

The loop invariant is

state(allzero(table1,1,i));

which says that the predicate "allzero" is true for table1 from 1 to i.

"allzero" is defined in the Boyer-Moore theorem prover as a recursive function.

(defn allzero (a i j)
(if (lessp j i)
t
(and (allzero a (add1 i) j) (equal (selecta! a i) 0))))

That's a recursive function. The prover is able to prove that it terminates.
"(selecta! a i)" is LISP for "a[i]" here.

We need three theorems about "allzero". First, that it's vacuously true for j < i:

(implies (and (arrayp! a)
(numberp i)
(numberp j)
(lessp j i))
(allzero a i j)))

Notation: "arrayp!" is true if the item is an array. "numberp" is true if it's an integer. "lessp"
is "<".

Then that it's true for a single element if that element is zero:

(implies (and (arrayp! a)
(numberp i)
(numberp j)
(equal i j)
(equal (selecta! a i) 0))
(allzero a i j))))

And finally, the hard one, that if it's true up to N, and a[N+1] is zero, it's
true up to N+1.

(implies (and (arrayp! a)
(numberp i)
(numberp j)
(allzero a i j)
(equal (selecta! a (add1 j)) 0))
(allzero a i (add1 j))))

These are all proved, once, with the Boyer-Moore theorem prover. Once proven, they can be
used as rules by the much simpler and faster Oppen-Nelson prover built into the Pascal-F verifier. Over time, you build up a library of such rules, which are applied automatically
by the fast prover.

This is 1980 technology; there's been a lot of progress in the last 35 years. This ran on a 1 MIPS VAX 11/780 and later on Sun II workstations. Back then, it was very slow to do this. That's a solved problem. It's still rather painful. But it works.

[1] http://www.animats.com/papers/verifier/verifiermanual.pdf
Since it is getting harder to find devices that aren't "smart", I've decided to stop worrying about it and simply not connect them to my network. I assume if they automatically search out unsecured wireless, I'll be able to sue them, since accessing networks without permission is illegal.

As long as what I want them to do (be a refrigerator, a tv, or a thermostat) isn't dependent on network connectivity, the "smart" device isn't much of a threat.
The earliest example I know are Golems from jewish folklore.

https://en.wikipedia.org/wiki/Golem
Universal Hollywood's Harry Potter Ride Causes Unusual Amount of Barfing
Thank you for the criticism! Would you like to help me understand its flaws better so I can improve in the future?
Thats too bad, Odroid C2 has 2GB ram (and is 4x a53 @2ghz, with gige) and is only $5 more list.

(And, if you compare with prices in stores that have it available, is actually cheaper).
https://news.ycombinator.com/item?id=11139703

And people thought that title was over the top.
I'm working on a rewrite (for improving performance, modularity and for general house cleaning) and the github branch doesn't reflect that right now.
If you're after more info like that, there's actually a Pokemon wiki specifically for stuff like Missingno. Namely, Glitch City Laboratories:

http://glitchcity.info/wiki/index.php/GlitchDex

It's got a page on Bulbapedia itself:

http://bulbapedia.bulbagarden.net/wiki/Glitch_City_Laborator...

It's pretty incredible how much information these sites have.
The discussion over deleting "Boomerang Engineer" is kind of funny. "totally improbable specialization. Throw it away (and hope it doesn't return):"

https://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletio...
It's called augmented reality, and HoloLens is just one of them, GoogleLens is another. I played with several research prototypes some years ago. All devices had a too small POV (point of view) and/or bad graphics. HoloLens suffer from a very small POV, see: https://news.ycombinator.com/item?id=11195008
Ask Google to let you. http://arstechnica.com/business/2012/06/blog-lol-foo-google-...

Namecheap & others are trying to scam you.
If a friendship revolves around being able to do some similar thing together, it's probably not a friendship.

I think that is a rigid enough view to be nearly useless. People have different types of friendships all the time.

I think it is fair to say that some kinds of friendships are much more likely to survive moving apart, but that isn't even an indication on the "value" of the friendship, just its nature.
Continuous partial attention
Would you mind expanding on this with some specific examples?
Somewhat related, but is there such a thing as "peak advertising"? Like, the point at which there is so much advertising that there is no more space to advertise on? Or we become so inundated by it that it ceases to have any affect on us at all?
That is nearly the opposite of what the PhD was designed to do. Modern academic training comes out of the church and the old guilds of middle Europe and is still in use today in many fields (chefs and plumbers to name a few).

The Bachelor's degree is loosely similar to an apprentice's role. The young boy (they were almost exclusively male) worked in a shop or with a priest for some time. He learned the trade, the tools, and gained some experience from 'level 0'. When you are done with the apprenticeship, you are 'cleared' to work in other shops and are known to not be a total moron or break tools or burn down shops.

The master's degree is just that. You are considered a master of the craft (like plumbing or prinitng) or the discipline (like The Book of Mark or Crusader History). As such, you typically have a master's level project. Something that is 'new' or shows that you know your stuff. That might be a very decorative silver bowl or a thesis.

The Doctorate means you are 'world class.' Not just a mastery in a field, but a paragon of it. Today, that means that you are the expert in your little niche of underwater basket weaving. There should be no-one better than you. This means you MUST have produced something new or novel way of thinking about the God or something. This has always been the idea, if not the practice.

To change that and say that the doctorate should be the bachelor's is very big. To suggest that PhDs should just replicate experiments is anathema to the idea of graduate education and would be a tremendous waste of time and energy. When you enter the Phd, you are assumed to already know how to do all the replication and the facts about the field. Granted, fields are exponentially larger than they were in the 1600's, but you still should know stats and biology if your PhD is in cancer biology.

I think you are totally wrong about this. What you are suggesting should be covered in undergrad and I think it largely is.
getting owned is even harder.
Why Aren’t We Talking About the Divorced Entrepreneur?
We wanted to make it as easy as possible for new developers to jump into the React ecosystem without having to worry about how to set up WebPack, hook up redux, worry about styles etc… That's why we created https://github.com/TrueCar/gluestick which is a command line interface to help you get started. As Rails developers we missed commands like `rails new` or `rails generate` so we tried to make something similar for our front-end environment.

I highly recommend this blog post for anyone who is struggling with setting up React/Redux https://www.drivenbycode.com/getting-started-with-gluestick/
With all the talk of phoning home to particular manufacturer networks in this thread, does anyone know what happens when an IoT manufacturer goes bankrupt? Are their devices left as useless bricks?
I'm not making any judgment call on this product, but selling something as a dream product at a high price and delivering a product that disappoints as a dream product can give the mass market, where the bulk of the money is, to a competitor coming out with a product that is inferior in features to your v1 product, even if your v2 product ships at the same time as your competitor's product with better features at a lower price.
React Inline Styles and the Future of CSS
Haxe developers on other platforms may want to look at KodeStudio[1], a fork of Visual Studio Code for Haxe development.

Focuses mostly on Kha, but general Haxe editing and IDE features are planned as well.

[1] http://kode.tech/kode-studio-16-1/
Can you please help me understand the issue by providing a specific example of how a new React release introduced churn in your project?
First mover advantages are weak, at best. A second mover that executes better and or has a meaningfully superior product or value proposition will win just about every time.

See: Atari (Nintendo), Friendster (FB), MySpace (FB), Motorola (Apple, Samsung, Nokia), AltaVista (Google), Nintendo (PlayStation), Apple (Windows), Microsoft (iPhone, iPad, Android), Betamax (VHS), RealMedia, Ford (GM), Walkman (iPod), 3dfx (nVidia), Yahoo, AOL (open web), Hotmail, Woolworth's (Sears), Kmart/Kresge and Sears (Wal-Mart), US Steel, Blockbuster (Netflix), Kodak & Polaroid (digital), Sun Microsystems, Xerox, Borders & BN (Amazon), Blackberry & Nokia (iPhone), VisiCalc (Excel), Lotus Notes (MS Office). All examples of first/early movers that got displaced.
I worked on an outdoor advertising system with tracking cameras that watched pedestrians as they passed, changing the billboard when various demographics were identified in front of the display. This was back in the 2009-2010 time frame. I was just consulting, and am pretty sure this company was purchased by someone like Clear Channel soon after. I think journalists are late to this one...
Samsung Service Center in Hyderabad
All these libraries make me sad.
For what it is worth, I think that is a terrible approach in general.

Life is what is happening to you now, not some vague future plan or wished for remembrance.
The attribution data story is really weird here.

So outdoor advertisers can potentially pixel customers who see an "impression" like they do for online ads and track conversion behavior if they ultimately walk into a store?

The article doesn't speak much to this, but what opt-in permission would a user give to actually allow their location to constantly be relayed to advertisers to make this possible? Would Target need to hide this in their T&C of their app and then match it against the billboard's data on an advertiser-by-advertiser basis...?