skysight-inc/HackerNews huggingface dataset:
> People who draw parallels between the actions of today's intelligence agencies and the agencies of oppression of yesteryear uniformly miss out on this key difference.

Except that sense of dread doesn't come into place instantly it will lag behind the apparatus that causes the dread.
The Patriot was so overhyped and yet so bad in practice that Israel went and developed its own missile interceptor system (Iron Dome), because they realized that from the claimed 80+ % success rate, Patriots really intercepted less than 10%.

And yet they still successfully sell this system to many countries.
that's what cinnamon was supposed to do.
As with Banach-Tarski, I think the axiom of choice is being unfairly blamed for being a minor but easily identified (and therefore scapegoated) component of the paradox.

In this case as I understand it (someone correct me if I'm wrong) the solution is a nonstandard use of the word 'finite'. That is, if you ask just how many prisoners can get the answer wrong before the rest get it right, and whether the number is smaller or larger than a googol, a googolplex, BusyBeaver(googolplex) etc., the answer is always 'larger'. In other words it's a nonstandard integer, which is infinite for all purposes except arcane mathematical ones.

It's the mathematical equivalent of saying prisoners will start getting out when hell freezes over (which was intended to mean never) and then writing a future history whose starting point is 'The day hell froze over' (without saying this will happen at any finite time in our future).
I think the most brilliant part was the sidebar ad that essentially 'lost' all the space for one arrow. This void completely draws your attention.

The text on the sidebar was also quite clever in referencing itself.

To me, it mostly shows that clever and clear copy wins over nice graphics.
Or elementary? http://elementaryos.org/
specifically:

// START_DEFINITION
/*
These variables define terms and websites relating to the TAILs (The Amnesic
Incognito Live System) software program, a comsec mechanism advocated by
extremists on extremist forums.
*/

$TAILS_terms=word('tails' or 'Amnesiac Incognito Live System') and word('linux'
or ' USB ' or ' CD ' or 'secure desktop' or ' IRC ' or 'truecrypt' or ' tor ');
$TAILS_websites=('tails.boum.org/') or ('linuxjournal.com/content/linux*');
// END_DEFINITION

... assuming this file is even what it purports to be.

I understand Hacker News users aren't likely to think critically when it comes to stories about the NSA but you would expect more of them could actually read code.
There was a massive discussion when this was submitted a year ago[0]. Discussion there is closed, of course, but if you value what the HN community thinks, you might like to read that before commenting here.

[0] https://news.ycombinator.com/item?id=6186730
Ask HN: Code/Data collaboration tools for researchers
I work with 3 other researchers that have limited experience with version control and bug trackers. Is there anything out there that can help us improve our code and data collaboration?

I've tried using git with the team but the overhead "feels like too much" for them. The feeling is that research does not fit well into existing software designed for supporting software engineering.

Thanks for any info
From https://www.productpush.io/pricing

$3/campaign + $0.40/code.
It is very interesting that 2048 strategy doesn't work here.
If you get only 30-50% code size reduction, then you don't write real Scala, but some kind of Java with Scala-like syntax. Stay with Kotlin then, Scala is no good for you.
Because typical office workers who learned how to use Gnome2 need retraining to use Gnome3.
I've found that booting the virtualbox VMs and then snapshotting them in a running state is pretty convenient. Restore to snapshot on every use, and you'll get at least an hour out of each session, resetting every time. Also the startup time is near instant.
Improving mpv as a music player with Lua scripts.
Unreal should be a nice addition to the other games on Linux. :-) I tried the Ninja demo and it seemed fluid. Then I tried the Elemental Demo (we just watch right?) and it seemed to pause periodically through the demo. It seemed laggy in this regard and reminded me of when I play Rust even though that's a Unity game. It's still encouraging to see these companies get excited about Linux though, Linux rocks, no reason great game companies can't rock with it.
Nowhere they have mentioned 'free'.
FTL communication of any kind disrupts causality as we understand it. It's likely not possible.

The article is wild speculation, but so is everything regarding aliens. Even educated guesses are really just wild speculation because there are too many unknowns. We don't even know how many worlds can support life, how many forms life can take, how often life might evolve intelligence, etc.

I wonder sometimes if maybe there's a easter egg hidden in physics. If there were an easy way to convert matter to energy that we have yet to discover, we will likely destroy ourselves once we discover it. All it would take is one psycho with the right resources to unleash a kind of devastation that would make nuclear weapons look like fireworks. There might be no intelligent life out there because discovering the kind of energy resource that allows for easy interstellar travel might also make it too easy to kill ourselves.

Another possibility is the end game of intelligent life is not travelling around 21st century style, but digitizing our consciousness and living in a virtual world. Why travel to the stars when it makes more sense to turtle up in a giant computer and enjoy life? Something like a Dyson sphere.

Another possibility is the aliens are out there, they've just perfected the invisibility cloaks we're currently working on. Star Trek style, they're monitoring us unseen so as not to interfere with our civilization.

It's fun to think about, but it's all wild speculation at this point.
Amazon CTO talks IoT in science, retail and on the playing fields
That's not true. Set theory is based on a lot of assumptions and it only consistent if you assume all of them are true.

I could argue if you start at infinity and count down you never reach zero as there are uncountable many infinite numbers. Worse there are uncountable many digits in an infinite number so any operation based on an infinite sequence never finishes. Making that argument and much of set theory meaningless.

PS: There are many Axioms which are chosen simply because it makes math more interesting. One of the more fun ones is to do set theory but allow for some undefined relationships. Aka x is in set A but it's undefined if it's in set B. Now quick draw a venn diagram.
Please help, if someone know how to save grid.
https://github.com/mishop/243
"I think the difference is that allocations in C++ tend to be a lot more obvious since almost all of them are pretty explicit." Once you start using standard library classes, even the basic ones like std::string or std::vector, they are not. There are lots of allocations/deallocations happening below, and they tend to be slower than in Java.
I've always liked the elegance of this algorithm, fun little example of how you can make things incredibly fast by thinking about your problem.

And a related anecdote: I was interviewing at Apple for a systems development related role (graphics drivers, I think?) and one of the senior-level folks asked me to write strstr on the whiteboard. I started with a naive, working implementation, then he asked me how I'd optimize it. I said 'knuth morris pratt' and gave a basic overview of the algorithm and explained how it's faster.

He insisted the algorithm couldn't possibly work. I spent a few more minutes trying to explain it, but I couldn't convince him. The dark magic of efficient string searches evades us all sometimes, I suppose. I always like coming away from an interview feeling like I learned something, so I hope he googled the algorithm later. :-)
Just because it's published is no reason not to question the validity of the study. I've been in science long enough to know that flawed work can into important journals.

The Globe article's title and the original title of the HN post focused on the electrical shocks, implying that people would prefer doing something very painful rather than think silently. I can't read the article itself, but the Science Editor's summary included this:

In fact, many of the people studied, particularly the men, chose to give themselves a mild electric shock rather than be deprived of external sensory stimuli.

Doesn't sound terribly unpleasant. That changes a lot in terms of the headline's conclusion, at least for me.
And here's the same link I submitted yesterday: https://news.ycombinator.com/item?id=7989869
My old setup had a mix of single-monitor and dual-monitor machines. Now I use single-monitor on all machines and found you can replicate the entire .config/xfce4 directory, even with different screen sizes. Everything syncs perfectly - Hotkeys, Menus, Panels etc. Works with git or rsync - so simple.
I think it's more arbitrary than that, quoting his comment:

> Why do I believe these things? For no better reason than the crude generalized-intuition arguments like above. However, I also think its important to remember how baseless these beliefs are. Its like how I can root for a football team, but still remember that my allegiance is due primarily to proximity and nothing more meaningful.

I think that on average people who deny the axiom of choice are the people who approach set theory and probability theory with intuition, and then rather than discard their intuition as being incorrect, they discard the axiom of choice as not lining up with their intuition (and then go on to do great math in other fields). But seeing as the author is an algebraic geometer, and published this post early in graduate school, I'm willing to bet he switched his ideology. I don't think AoC is something you can deny while actively working in his field, since you need to make tons of assumptions about algebraic closures to even get started.
They will get less expensive quickly, and you underestimate how dumb someone can be with their toys.
That's a lot of work for ultimately an icon that doesn't even look "good" today. Fits more in with earlier 2000s crowd.

> This icon is mainly used in the practice of texture and highlight skills

In that, I think the tutorial succeeds very well. The icon's reflections and highlights, to me, are very cohesive and look robust. The asymmetric nature of the reflection in the outer rim helps the icon. It looks less fake and helps with our perception of the button.
Could anyone recommend a good recent-ish survey paper of the applicable research in this field? Seems like there's quite a bit going on, but mostly I see news with no real content or papers behind a paywall.

I assume there's a few factors driving growth in this area, what are they? Maybe it's just literally cheaper access to powerful imaging devices?
Two different philosophies. MATE is GNOME 2 brought to the modern world, whereas Cinnamon comes from yearning for the new application base, but thinking that the new shell just won't cut it. It was purely a fork of GNOME Shell initially, the applications weren't ported until later. MATE was a full fork from the start.
I'm getting 1Mb/Sec here.
Seems to be a trend, even XCOM was only available for 64 bit processors.
Fair enough I guess...
We are ALL 'extremists'
I think the article makes a mistake in assuming that everything painful is unpleasant. Why do people eat spicy foods then?

I find that as I get older, my tolerance for boredom has become lower and lower. When I was younger, I used to be able to just sit and think. Now I dread long drives because the sheer boredom of it drives me crazy. And it gets even weirder, because although I don't like social interaction that much, I find myself craving "going out and doing something" every night because the thought of just sitting inside watching a movie is painful.

I blame the internet. My attention span and focus are noticeably worse than they used to be, and I feel like I need constant stimulation all the time now.
Yeah, this one doesn't seem so hard. Variants like 144 are a challenge because you can fill the board with tiles that can never lead to your goal, and it's easy to get into a situation where you can't help generating them.
For(ce)tran
Beside the initial fee/campaign, the cost is 0.40$/retweet. Isn't it a bit risky, especially considering how easy is to create a fake twitter account? An option could be 0.40$/retweet with at least 100-200 followers, so to protect customers from trivial cheats.
The time to stop a totalitarian police state is _before_ it becomes a totalitarian police state. It gets a lot harder to stop afterwards.
The title of this post

> Your high IQ will kill your startup

is too strong to be correct: The claim of
"will kill" is claiming too much;
'might kill' is closer to being correct.

In more detail, the OP essentially assumes that
an intelligent person will try to 'coast' or
'relax' and depend just on their intelligence
instead of working hard, learning more that is
important, and doing the actual work needed
for success. This assumption need not be
correct in all cases, and my experience
indicates that it is significantly wrong.

Why? The OP mentions early school where
intelligent people do well easily.
Well, then, commonly they also get
motivated to continue on in school. By the
time they get to some junior/senior level
courses in their major, to courses in
graduate school, to the published peer-reviewed
papers as background for their research,
and to their Ph.D, research, they necessarily
will have plenty of opportunities to
encounter material where they have to
work their little fingers, toes, and tails
off. E.g., in computer science, if really
intelligent, then jump all the way to tenured
full professor in one stroke, just settle
the question P versus NP. So far apparently
no one has been intelligent enough to
solve that problem.

I've seen plenty of
really intelligent people work their
fingers, toes, and tails off in graduate
school. Net, there are plenty of challenges
in graduate school strong enough for the
most intelligent people to have to
work their fingers, toes, and tails off
with levels of hard work that would
compare with hard work from anyone
from a galley slave, a dirt farmer,
etc.

Often, including in parts of school, intelligence
alone is not enough, and plenty of intelligent
people are smart enough to see this point. And,
in cases of work challenges, since their pride from their
intelligence is being tested, usually in a sense that is at least semi-public and, thus, visible to others from whom the person wants respect, they are motivated
to do the real work needed for success.

While the OP is claiming too much, it is possible
for intelligent people to fail and for various reasons
quite different from what the OP explained.
I find it quite pleasant to be alone with my thoughts. I've always liked taking long showers and walks for exactly this reason. Sometimes, when I'm working on an interesting problem, I can pass entire days mostly just thinking and pacing.
I would suggest reading Ryan Carson's blog. there's a good post with the same title as your post. hope it's helpful.
I've installed adblock before because of ugly ads: specifically the "weird trick to get rid of belly fat" with a horrible drawing of... belly fat. (shudder)
The mechanism for specifying visibility has nothing to do with the issue.

The Java approach for standard packages is nearly identical to what's proposed for Go. Anything in the com.sun. (or whatever they call it now) namespace is considered internal, even though it's publically accessible.
That's the risk with interview questions, that the candidate suggests a better solution that the interviewer anticipated. Leaving the interviewer with the task of ascertaining whether the solution is correct.
I've tried to go non-relational for things that required a few relations and keeping things consistent was a pain. Owners would drop and documents referring to them would still be in the database, causing problems. I'd go with Postgres until you know it's not enough (and I do, nowadays).
Changed. Thank You :)
I'm running Yosemite and I don't see that, you might want to try updating to the latest version.
I don't understand where you have "run += 7" and break if run = 35 in the python code. Does the Python code have more error checking than the Haskell code?
How Inherited Wealth Helps the Economy
Many, many games follow this same pattern - start out relatively fun and reasonable, quickly devolve into a number decrementing simulator; a timer-fest designed to annoy the player into coughing up money to make any meaningful progress.

Clash of Clans is the one that's at the top of the free charts right now, and its entire mechanic is based around this.

Perhaps the "free-to-play industry" needs some offending. Their entire business model is exploiting vulnerabilities in the human decision making process. It's exploitative and rotten.

I remember honest games. I want those back. Now even some paid games are infected with this F2P schlock.
Ask HN: Should I find a business co-founder or learn marketing myself?
I have developed a SaaS product for devops after a user survey. I got 500-600 users to signup for invitation list. After sending them invitations, around 10% users signed up but didn't engage with the product, and didn't respond to feedback emails / widgets.

Now I am trying to find new users and have followed tips from various "How to get first X users" threads without much luck. I have a co-founder who has background in web marketing and sales, but he hasn't been much help with this.

Should I find a business co-founder who will be able to sell the product, or just tweak my signup process via iterations?
Audiobooks + driving = bliss.
It seems that the 'Effective Go' article was written to avoid the pitfalls. I agree with your point, but I don't think it's a very strong one.

http://golang.org/doc/effective_go.html
This is damn annoying. We downloaded a whole set of them and after a bit they all died so you have to download them again periodically.

Not a viable solution.

In the end we just set up an activated VM (using MSDN licenses) with RDP enabled for each config on a Win 8.1 HyperV machine that sits in the corner of the office.
I know the post title says iOS promo codes, but the copy on the site says promo / coupon codes. Is there any reason this is limited to iOS app codes or can deliver any kind of "string" as a reward?
I find it bizarre that the author finds the use of the Axiom of Choice troubling here, but he is apparently okay with the requirement that each prisoner memorizes an infinite amount of information, and will also be able to look and see infinitely many prisoners.

Our intuition fails here only if we see this whole scenario as something plausible. But the basic requirements here are ridiculous: this puzzle has nothing to do with reality, and we have no reason to rely on our finitistic intuitions when thinking about it.
Never surrender!
The PHP Laravel framework have something similar with [Forge](https://forge.laravel.com/), but it is catered to the framework.

It is almost like a PAAS As A Service.
In a couple years maybe.. even still they'll be invisible. Which isn't necessarily a good thing when they're falling on our heads. But at least they won't be blocking the fireworks.
KMP is conceptually very cool, as well as other clever string searching algorithms (BM, RK, AC), though one of the questions for me always was if even its most efficient implementation wouldn't be always slower than executing a brute-force combination of REP CMPSL/CMPSB instructions (x86) for vast majority of searched strings?
I beat the game in the first try. Too easy.
http://ryancarson.com/post/25041202750/when-to-kill-your-sta...
The classic Ubuntu look I used to love. Almost tempted to try it, though I'm mostly happy with Linux Mint Cinnamon now.
That means your stuff probably doesn't work on IE properly.

Not joking (and I know this sucks) but there are a shit ton of IE users out there still and I'm not willing to hang our product for convenience.

Vendor specific code is a reality we're going to have to live with for a long time yet.
The thought experiment with infinite hats is interesting.

It sounds funny to ever say "the AoC is wrong," though, because axioms are things you get to choose as true or false. They are essentially subjective, and in practice are as "socially true" as they are commonly used. I guess the author is arguing that the more intuitively satisfying set of axioms excludes AoC.

I personally disagree, although I admit there's still room for debate because of compelling arguments on either side (most of which are appeals to intuition by the nature of the problem).

Here's a small counter-argument: Since we're appealing to intuition, consider that we're asking a countably infinite number of people to (a) see and reason based on seeing an infinite sequence in front of them; and (b) all memorize a specific function which is essentially from all the reals in [0,1] to a subset of [0,1], which we may think of as binary numbers with infinite expansions. (The intuitive point is clear without having to worry about 0.01111... being the same value as 0.1). This function is insanely weird and hard to describe succinctly; basically, it must be memorized. My intuition tells me that as soon as we expect agents to perform these feats, they are no longer humans and no longer Turing machines. Since this memorized function is so weird, they are even beyond some kind of infinite-time Turing machines with finite memories (or infinite-memory TMs with finite time). I think they are even beyond infinite-time Turing machines with countably-infinite memories, although I haven't proven this carefully.

In the long run, I suspect an alternative axiomitization (or possibly an elegant classification of set theory statements) will shed light on these problems, somewhat analogous to the way we now consider non-Euclidean geometry as interesting and "true" in its own universe that we mentally separate from the Euclidean plane.

[ps Not all comments about axioms are appeals to intuition. E.g., you can prove some are independent or dependent. But arguments along the lines of this post are appeals to intuition when used for/against AoC.]
How Saying “NO” Helped Us Increase Our Revenue and Grow Our Business
That quote, and the mentality behind it, used to drive me to obsessively parse my language to avoid having something twisted out of context. Since then I've realized those efforts are largely for naught: anyone who would judge you based on six lines lacks the compassion or wisdom that would merit giving any weight to their judgment, anyone who twists your words and is powerful enough to do so won't be hindered by your care in trying to avoid it.

I think the real lesson in there is to be slow to judge and not let others suck you into joining the outrage mob based on thin arguments or weak evidence.
Medium for OSX. Unlikely for Linux - they'd be laughed out of the building.

They shipped IE5 for Unix a long while back believe it or not!

http://en.wikipedia.org/wiki/Internet_Explorer_for_UNIX

I actually tripped over a solitary installation of it about 5 years ago as well!

As for IE for Mac - that was around forever ago.
Privacy Versus Security: The New Equation
When you're asking yourself whether it's time to draw a line and move on, you know exactly when the time for doing it was: a year ago.

I've never heard anyone say that they felt they quit their startup too soon. I've heard many (myself included) complain that they stuck it out way too long.

There's plenty of other ideas out there. Don't waste your years on something that's not a clear winner.