skysight-inc/HackerNews huggingface dataset:
(Side note: it turns out I can't delete the other message. I must have hallucinated having that ability last night.)

> I would argue that objects are nothing more than a uniquely identified run-time entity. With that identity, they can easily have their own encapsulated state (since their identity can be used as an address or key into a global map), and can be associated with behavior that is selected dynamically.

I largely agree and believe this is pretty consistent with the commonly accepted definition of an object in the Comp Sci sense. There are a couple examples which immediately come to mind (Smalltalk, Objective-C) along with other languages (Ruby, Perl, Python) having the ability to selectively provide equivalent behaviour.

Where I previously said "largely agree", the point where I disagree is when you state "objects are nothing more than a uniquely identified run-time entity." Objects also have associated with them a set of messages which are either intrinsic to the environment's definition of what minimally constitutes any object's behavioural contract, identified by the definition of the object's type, or some mixture of the previous two along with a mechanism to resolve message dispatching.

> Compare this with the dual of an object, the value, whose identity is determined by its structure alone (e.g. 1 and 1 are the same values), and so does not allow for state, nor does it allow for dynamic behavior selection without first turning them into objects (aka boxing).

Here, I think we disagree as not all languages treat values as being disjoint from objects. I realize you mention boxing, which languages such as C# and Java perform for _their_ definition of "plain old data" types, but this is not the same as languages such as Ruby, which represents all values as objects intrinsically.

> The only fallacy, I think, is ascribing a notion of objects based on a couple of mainstream data points.

The fallacy which I mentioned is in thinking that a person has the same checks in JavaScript applied to collaborations as is expected in other OO languages/environments. I view this as a direct consequence of JavaScript objects being hash maps. Supporting this view is:

> A JavaScript object is an unordered collection of variables called named values.
(source: http://www.w3schools.com/js/js_object_definition.asp)
The fear is an illusion. Our perception of the world is largely shaped by the media. The media magnifies dangers that are otherwise relatively improbable. The logical conclusion from this fact is this:

To find a culture that has no fear, look for cultures that are technologically backwards. Cultures that have very limited access to media and thus a more realistic perception of fear should be your chosen targets. In these settings, you will find entire societies where doors are left unlocked, children are allowed to roam the entire town unsupervised, and places where the concept of "abduction" is relatively unknown.

Or go back to the US in the 1980s. You will find the exact same society. Listen to this podcast to learn more about the United States during this time and the nature of fear: http://www.npr.org/player/v2/mediaPlayer.html?action=1&t=1&i...
Well, even better: this page [https://developer.apple.com/library/safari/documentation/Net...] is two clicks away.
I can't wait for the day when something isn't considered proven until a computer successfully executes the proof.
Yes. Absolutely. Without question. As someone who has invested years on the same editor, i have a hard time paired programming with anyone who doesn't have mastery over their editor. Things that can take 1-3 keystrokes instead take 30 seconds. Every moment spent consciously navigating or searching or moving code is time spent not thinking about the problem at hand.

In fact, i wrote an article on this very topic a few months ago because i find so few programmers consider tool mastery a part of programming mastery:

http://blog.benroux.me/editor-as-artbrush/
You're spot on — our valuable items are becoming harder to steal and cheaper to purchase legally.

Criminals used to make off with your TV, whereas any TV worth stealing today is just too delicate to move in a hurry. We don't tend to have expensive VCRs either.

Remember when car stereos were stolen? Most modern cars have fully integrated head units and aftermarket alternatives are now niche and often worth very little. After that it was GPS units, but even they are now dirt cheap and not much of a theft target.

Mobile phones used to be an easy score. Today they're trackable and lockable, making the more desirable models — particularly iPhones — worth almost nothing. Criminals know this, which is why iPhone thefts have plummeted.
Bling – the $ of jQuery without the jQuery
The point stands that the administration is likely to get in the way of donated equipment being put to proper use by the children though.
Entrepreneurs: Beware of pursuing the next big thing
Nice article, but they got one fact wrong. On card 3 they state that robbery is a property crime. Per the FBI's uniform crime reporting standards, it's a violent crime: https://www.fbi.gov/about-us/cjis/ucr/crime-in-the-u.s/2011/...

The logic is that, from the perspective of the law, the threat of violence is close enough to an act of violence to be considered violent.
I love wall.

We have a 'jump' server, used to ssh into remote boxes, a truly public space with numerous users, such as myself, logged in poking around looking for the right hostnames etc. Having just learned of the wall command, I alt-tabbed to a session and thinking it fun to give a whirl. My message?

"Whats up playas"

A brief reprieve. But ah the word!

"Yo."

So came the flurry. A new message. And another. And another. Messages scratched across the server wall as though all the company had congregated outside this massive sleek black edifice where our words so glowed. I'm sure even some HR slavers or sales kin made the trek through the Terminal Wastes to bear witness to this spectacle. It was our digital Wailing wall except our shrieks were laughter. We were posting ASCII art by the time a sysadmin stepped in and put a stop to our revelry. Anymore posting would result in bans, temporary of course, but exile nonetheless.

Silence.

Then the CEO:

"Sup."
I'm confused because, etymologically, there's no difference between the two statements. I see them as two parts of a whole, in fact: "it was no problem; you're welcome to ask again." An "any time" can also show up in there.
I've never fully embraced Apple's view of flat design for that reason. I feel buttons should resemble something that looks like it can be tapped on, and that that is not against the current aesthetic of iOS (e.g., http://ipadportfolioapp.com/images/overview/Customization_2x...).
Looks pretty good! I'd recommend using a Facebook icon instead of a "thumbs up" icon, since nobody likes clicking like buttons if they can avoid it.
Actual F2P developer here. I've spent countless hours interviewing payers. Vast majority of people are normal, hardworking people who just genuinely enjoy games.

You're focused on a problem that doesn't affect 99.964% of people playing the game (Math: Avg 3% of people are payers, 4% of those payers are whales, and a small fraction of those big payers could be recognized as people with issues).

Moreover, even if this problem existed, that doesn't make these games inherently bad. People can develop addictions to whole gamut of things: alcohol, drugs, sex, gambling, porn, Facebook, relationships, food, etc. But none of those things are inherently ban. Why is gaming any different? Yes, F2P games optimize for retention/monetization, but how is this any different from any other product in the market?
Is this as bad as it sounds?
Out of all the technologies out there right now I would say Meteor is the fastest to learn to get a prototype out the door quickly. Rails is also always a good option since it's so popular.

If your priority is building a prototype (and not becoming a developer) I would focus on being practical, as opposed to spending months finding and learning the "best" possible technology.
I also just found out today that Mumble has moved their binaries and source to Github as well (the update prompt for 1.2.9 pointed to the Github binary directly).

Last time I checked, their download links all pointed to SourceForge.

https://github.com/mumble-voip/mumble
Points well presented, noted, and internalized for future use. :-)

Thank you for taking the time to reply. In attempting to preface the content as potentially being controversial, I succeeded in only being trite (or droll or both).

Learning is fun. Embarrassing sometimes, but fun.
For hardcore users I don't think this tactic suggestion thing is a good idea, for example, how does it deal with custom ltac tactics (cf Chlipala's bedrock)? To prove me wrong one could test the idea on, say, compcert's development and compute how often the next tactic is among the suggested ones.

On the other hand, One common problem in large proofs is having too many hypothesis in stock, one super nice extension would be to quantify the relevance of each and color/display them accordingly, leaving the option to move the 'tolerance' threshold for display. This relevance metric would have to be aware if lemmas available (of A -> B is proved by a lemma, and B is the goal, A is relevant).

My 2 cts.
I personally think the language will become bigger and bigger in schools as it helps to understand latin languages (Spanish, French, Italian, Romania and Portuguese).
I believe in the future it will be more taught in classes than now but I don't think it will ever become one of the main languages.
Fear is less of a function of risk or loss and more of a function of the perception of risk.

IMO what has been magnified is not the significance of loss, but our perception of risk. If we perceive the world as a place constantly under threat by kidnappers, international terrorists, and criminals then we will be in fear. Who informs us about these threats? The media. It is the media that over reports and over-exaggerates danger, and this is what has changed over the past decades.
I have an Obsidian X-24... So I guess I do too!
Sponsored content is designated as such with a "SPONSORED" message in the top left.

Like so: http://www.businessinsider.com/sc/value-proposition-for-cust...

This Harry's piece isn't an advertorial. Money isn't changing hands. Rather, Harry's is probably doing a big PR push right now and PR makes it easier for writers to create pieces quickly.
Different line of argument: think of that which is not seen [1]. Most of the arguments presented here take only the current residential population, and current time into account, but cities evolve over time and see large in- and outflows of residents (how many people on HN have lived in New York at some point in their life? how many New York residents aren't from New York?). Even the most solidly conservative areas of the world change - I grew up in London's South Kensington in the late 1990s and early 2000s, and recently visited again to find it had turned into a sparkling clean pedestrian area with hipster smoothie bars and back-to-back Ferraris...

Rent control coupled with NIMBY planning restrictions benefit connected locals who are able to secure the resulting limited spots and hinder the ability of non-residents to move in. In the short term, this freezes the existing situation - you keep your historical streets, you avoid SF turning into Hong Kong or Singapore ([2]). In the long term, (relatively asset-) poor entrepreneurial people move elsewhere (New York, Chicago, Austin... even Houston). Of course, it takes a LOT to move a global hub. We might not see it in our lifetime (how long did it take for New York to dethrone London as the global financial HQ).

The only way I'd move to SF would be if a company paid me a significantly larger amount of money, or once I retire to take advantage of the weather and food. So, do you as an SF resident see the city as a beautiful museum to be preserved, like Venice or EC2 in London, or is SF really about frontier spirit, which today looks more like Hong Kong than suburbia?

A better way to deal with bubbles is to tax them, as many nations such as Norway do with natural resources. If there is an enormous inflow of Chinese money, who are taking advantage of the great rule of law and property rights afforded by the American taxpayer to anybody willing to pay for said property, tax the property holder for the privilege. The bases at Guam and Okinawa aren't paying for themselves... how about 5% of the assessed property value a year, if you aren't a citizen or tax resident. The foreign money will STILL come because they still derive value from owning foreign property in attractive places, the probability of it being politically seized being virtually zero (I guess property taxes on foreigners are a form of seizure, though). The people who made the neighbourhood what it is benefit from the increased tax revenue (e.g. in decreased taxes or better services).

Singapore has a form of this - citizen can purchase HDB fresh builds (~80% of the market) at up to a 40% discount and without foreigners bidding for the first 4 years of the building's existence. (France also does, the ISF [3], but it applies to citizen and, due to rising property values, is chasing retired working class folks from their own homes as they do not have the liquidity to afford the tax.)

[1] http://bastiat.org/en/twisatwins.html

[2] http://scifanatic.wpengine.netdna-cdn.com/wp-content/uploads...

[3] https://en.wikipedia.org/wiki/Solidarity_tax_on_wealth
I'm happy to pay extra for a razor that gives a close shave without cuts or skin irritation, and that doesn't require extensive training to use.
Of interest to the Canadian readers: one version of Magna Carta is on tour and currently on display at the Canadian Museum of History (i.e., the good old Museum of Civilization) in Ottawa. http://www.magnacartacanada.ca/
Legal documents are preceeded by "the" unless they are numbered. So: the Constitution, the Patriot Act, the Articles of Confederation, the Freedom of Information Act, the Federal Register. But: HB 289, Title IX, Proposition 8.

This is probably just a species of a more general rule dealing with articles and things that have given names.
The Vita is HACKED Native Homebrew and more finally possible
Amethyst is getting towards a useful base feature set really quickly.

When I looked at it about a week or so ago it didn't have the View portion of MVC, so I'm hoping the project keeps on going with the speedy addition of Rails-like functionality.

As for Crystal itself (a new statically type-checked, compiled, Ruby-like language), I look forward to using it more when its a little more complete, as the language is still in flux, and only at version 0.7.x.

I did some playing around with Crystal at the weekend, mainly by investigating what it would take to convert a couple of pure Ruby only gems to Crystal. I was stymied somewhat by the Crystal standard library still being a work in progress, for example classes such as Array still need some work if the eventual aim is to provide a similar set of methods to Ruby itself (e.g. the pack method was missing) , and bindings for common libraries like zlib don't seem to exist yet. However, that is no criticism to Crystal - its simply due to the newness of the language, and will undoubtedly improve as more people start using Crystal and contributing.
I think in the absence of data, people see what they want to see such that it agrees with their worldview. Nobody likes to endure cognitive dissonance. Even in the presence of data people see what they want to see. Me? Well, some of the time the people spending money are sorely addicted; some of the time they have a mental illness like depression / mania / psychosis / schizophrenia / OCD / whatever; some of the time it's credit card fraud; some of the time it's kids spending their parents' money; some of the time it's just some person with access to a lot of cash that decides to throw money at the problem of becoming good at the game. It would be really neat to see some numbers.
I am thinking Yahoo! should buy them for this reason.
It seems to me Google and Facebook would have standing to force the US government to tariff or even block chinese imports.
There's always http://freeshell.org.
Makes sense!

My dad and I have been using it for our instant messaging. We were curious how possible it would be to have timestamps on messages. I suppose we could reprogram the ASM, but x86 ASM is a little inaccessible :)
This is common in India as well. Almost every village in India has a government school which provides free education. However, most of these schools have "less than stellar" facilities & infrastructure.

However, some of the larger government schools, have computer & labs.

But...

Just as you mentioned, most of them are unused because they don't have a IT technician/lab instructor.

I spoke to hundreds of government teachers & asked them the question of- why don't you just open the lab & let the students figure it out, the smarter/more responsive kids to tech can become the IT/Lab instructors?

Almost- all of their response was about trust, if the kids will break it etc. I think it boiled down to control & trust.
The annoying thing with these is flying :( they are prohibited from carry on.
Regarding Chinese city names, in the 2008 Olympics, newscasters were trying to use the Chinese name for the location instead of the English name (which is Beijing). It was horrible. It was incorrect. It was "politically correct."
I really liked the talk idiom where you first typed something rude, then slowly erased it one letter at a time, and finally typed a euphemism. Like what people use strikethrough for now, but it was funnier in talk somehow.
> I would think that all of your so called "escape hatches" are just as brittle

Why are they brittle? They're not brittle at all, they just have looser semantics than the core language. They have their own semantics, which the runtime guarantees to uphold.

> that binary will always run the same... If you aren't testing your code before deployment, that's your fault.

Why work in such a primitive way? We're very familiar with what happens when source-code is overly dependent on a specific compiler version. Besides, dropping to C/assembly in a language with such a high-level runtime (not only a GC but its own global scheduler) is not an escape hatch; it's just using power tools to break through a hatch-free thick wall, which might work if you're careful not to break the foundations by mistake. You could do the same in all languages that do provide an escape hatch, too (if you'd rather break through the wall instead of using the hatch).

> Too much "clever" is bad when programming.

Absolutely, but sometimes just the right amount of clever can let you do truly powerful things that would otherwise be beyond the reach of the language. It's there just for those moments when you're stumped[1].

Experience (and I've been doing this for twenty years) shows that this point where some cleverness is necessary, always arrives at some point in the project's lifetime, and that cleverness often saves you a whole ton of work. Remember, the average codebase lifetime is about 10 years.

[1]: Plus some truly powerful stuff, like the ability to inject tracing code into a running application and then take it out.
Check out https://getbevel.com, another modern startup with a polished brand and service that focuses on double-edge razors instead.
Just use the tool that you know and that you can deliver with. No need to jump on the bandwagon of the new shiny language/framework/methodology of the week. If you can ship software in php, use it. If you can ship with node + react, use it. Focus on building.

And stay away from oDesk, elance, freelancer.com, etc. If you want good technical help, go with gun.io. I'm not affiliated with them in any way, other than being a freelancer on their platform. You will pay more for sure, but you'll end up with something useful rather than a broken pile of hacks.
These are the ones I use:

http://smile.amazon.com/gp/product/B001QY8QXM

They are quite well-reviewed, so I'm not the only person who likes them. I have a no-name butterfly-style handle, for which I think I also paid about $10. I splurge a little to get the gel-style rather than the white-foam shaving cream, although I always get store brand so I don't splurge too much. b^)
Does anyone in industry use a 'model checker' like this while writing multi-threaded C++ code? Just curious..
Khan Academy is great. I wish they had some kind of placement thing to evaluate your skill in different areas of math, but you can always just start with something you recognize and work your way up from there.
Absolutely not for me.
Hierarchical process memory: memory as an integral component of info processing
I feel like this is the way to go -- It's too much cognitive overhead, IMO, to get used to multiple (very different) keyboard layouts. The Atreus is a nice solution to that, since it's even pocketable. I also disagree with thumb clusters, but that's another story.

(BTW, the article did mention and link the Atreus, so you probably don't need to dance around it like that)
Its brilliant. I wonder if we can use this effect to power a small (very low power) microchip for an indefinite period of time.
Yes, Simdcomp has faster encryption/decryption, but with Delta compression. FOR is a bit simpler and has faster random access.
The empathy paradox
About your sentence that begins "The laptop doesn't really have anything THAT illegal..." Being legal or not isn't exactly like being pregnant or not, because pregnant is a state that is related to the physical condition of the person, but legality is related to the geographical location or to the citizenship status of the person. That said, there is an old saying that there is no such thing as a little bit pregnant. If you think that there is anything on your hard drive that is illegal in any place where you are traveling to, or your flight might divert to in an in-flight emergency, the smart thing to do is to scrub it off your hard drive and use a tool to wipe the empty space on your drive to United States Department of Defense standard DoD 5220.22M -- and do all that BEFORE you travel.

If you have something that is perfectly legal where you are, but illegal where you are going, you have not broken the law where you are going if you don't take the illegal thing with you. If you do take it, and you DON'T get away with crossing with it, the very best you can hope for is that you won't be jailed. Instead, you can expect to have your computer seized and destroyed, yourself deported and legally barred from ever returning to that country. Oh, and kiss your airfare goodbye, too. Or, all those unpleasant things could happen to you AFTER you spend a period of time in jail.

Not sure whether something really is illegal in the US, best advice is to ask a US lawyer. Second best is to ask a lawyer in your country who is knowledgeable in US law. Third best might be the US Consulate in your country. You can always ask HN, but in that case you get what you get and most of us are not lawyers.

Good luck in your travels, have a great time at the math program, and try real hard not to wind up in Gitmo.
Articles behind a paywall are at odds with the entire experience of collaborative link sharing on an aggregator. That's why I flag them.

I'm just an ordinary user but I'll do what can to make improve the site by pushing them down in the rankings, especially given that others feel the same: https://news.ycombinator.com/item?id=9329810
Le Black Ivory, le café le plus cher du monde, vient des éléphants