skysight-inc/HackerNews huggingface dataset:
If you look up the case that Alex linked to it turns out that the company he's suing were used hand illustrated paintings [1] that seemingly traced Alex's original photo.

That's still fairly sketchy, but hardly the case of blatant republishing of photos that he's alluding to. I can actually see them arguing fair use.

[1] http://cdn.orkin.com/images/ants/red-imported-fire-ant-illus...
I thought about this for a second, and it seems that you are right: if the primes were distributed randomly, the twim prime conjecture would be true (see below). Are there any analytic number theorists in the audience to explain what the quote in the parent post is supposed to mean and/or fix my mistakes?

The prime number theorem [1] states that the probability that a natural number N is prime is approximately 1/log(N). So, the probability that N & N+2 are both prime is about 1/log(N)^2. If they were distributed randomly, there would be about

integral(1/log(x)^2 dx) from x=2 to x=N

twin primes between 1 and N. This integral converges to infinity as N grows large[2] (wish I remembered enough caclulus to do it by hand). So, there is some N for which you'd expect to have 10^100 twin primes less than N, etc.

So it seems that if you decided by a coin toss whether a number should be prime (where you'd make it prime with probability 1/log(N)), there would be infinitely many twin primes.

Wikipedia seems to confirm it's a reasonable estimate [3].

UPDATE: By the way, the same argument implies that if primeness was decided by a coin toss, there would be infinitely many N such that N and N+1 are prime. There is, however, only one such N (namely 2). So, primeness is not decided by a coin toss, and the above is not a proof of the twin primes conjecture :).

[1]: http://en.wikipedia.org/wiki/Prime_number_theorem

[2]: http://www.wolframalpha.com/input/?i=Integrate[1%2FLog[x]^2%...]

[3]: http://en.wikipedia.org/wiki/Twin_prime#First_Hardy.E2.80.93...
Off-topic, but why is no space before opening parenthesis the norm in programming ("class foo(object):") when normal English usage is to have one? I know myself as the only one who puts this space.
> lack of full parental rights for men

Yeah, that's not just Japan. In most countries, even where the law is "unbiased", courts, social workers, and law enforcement typically takes the side of the mother. There are many cases in the UK for example where courts ruled in favor of the dad, but orders are simply not enforced.

I have not been with my kids for birthdays, Christmas or New Years' for 6 years now. Although I have a legal right to see them for these and many other days, their mother doesn't let them, even though they really want to.

I can go to Court, but even though the Judge is extremely likely to rule in our favor, My Lawyer tells me there is very little hope in achieving compliance and enforcement. He advised me to save the money, and pay for their school instead.

My son will be 16 next year, and will have significantly more freedom in making his own choices. Just one more year...
It's all about "butter" vs "stutter".

And as a Firefox fanboy, I'm sad to report that Firefox is on the latter end of the continuum. What you describe is my experience exactly -- except that it's not quite limited to mobile.

I do all my primary development against Firefox. I'm content to optimize for Gecko, and I've learned what it handles well and what it doesn't [0]. In cases where I've really doubled down to optimize some transitions, I can get almost-butter from Firefox, where Chrome and Safari are pure pleasure, seemingly no matter what I throw at them. Hell, even IE 11 is better when it comes to transitions.

That said, I think Gecko looks the most beautiful for static rendering. This is less true since Chrome 38, which supports proper web font rendering for Windows, but I'll maintain that Gecko's compositor output still has a certain je ne sais quoi compared to everything else.

Still, as a developer who "wants the web to win," [1] it's troubling to me that the vendors with native platforms are still outperforming in the browser space, and I hope that Servo is the dark horse that will change all that.

[0] For instance, I've read this thread one too many times: https://bugzilla.mozilla.org/show_bug.cgi?id=524925

[1] Quoting http://jlongster.com/Radical-Statements-about-the-Mobile-Web
I called to cancel my cell phone service and the carrier offered me half off. I was cancelling because I found out a competitor was half the price. (This is in the US where cell phone bills are unreasonable even at half price) It was so infuriating to learn that I was overpaying for months and months. I still cancelled.
Koans for learning the go language
Just don't forget, the primer is 3-dimensional: https://www.youtube.com/watch?v=HgPSUer1ujM

There, I just saved us like a week's worth of effort.
Nice, but I'm also disappointed :-)

My term is vinegar which is IMHO better!
quad cores will be low end by the time servo is ready!
Discussed two months ago: https://news.ycombinator.com/item?id=8980861
Here's the comparison by the author of Cap'nProto:
https://capnproto.org/news/2014-06-17-capnproto-flatbuffers-...
This app has been around on the WP platform for a while. It stores the images as pictures which are accessible from the app. I never really understood what ws so great about it.

Hopefully, with their putting it out on other OS's they will have cleaned it up.
I bet that's more than enough https://capnproto.org/news/2014-06-17-capnproto-flatbuffers-...
Agreed, solid humble folks. Glad to see them pushing things further
Oh I loved reading that. The first time I had heard of vomitoxin was when my wife asked General Mills for the nutritional content of her 50 lb bags of flour, they sent her an assay that included less than 1 part per million of vomitoxin and we just had to look it up.

That said, I would be disappointed if the CFTC won the argument here. It really does seem like Kraft was well within their rights to order as much wheat as they wanted. And by taking delivery they also took all the risk that the market would respond in a way that helped rather than hindered them. My biggest impression was that the traders were pissed off that a food company had pulled one over on them and they hadn't been able to cash in on the change in the spreads. But that isn't really Kraft's fault as far as I am concerned.
Actually, a friend of mine claims that this is what happened on the job market (it has become a market of lemons for employers AND employees).
MMIO still exists but memory-mapping NAND flash isn't a good idea. Stalling the processor for ~50 us on a cache miss is likely to lead to horrible performance.
> I couldn't answer them most of the time, so I'd need an answer key nearby to get unstuck.

This happens with a lot of books out there. It would have been great if the authors of MCS gave solutions for at least some select questions.
Typical frameworks will soon enough become less popular as "modular" frameworks are beginning to surface. See Aurelia or Este.js or even web components.

Frameworks are only helpful when modules can't easily interpret data from IO all the way to metal. The said above modular frameworks can do this and will begin to change the SPA game completely. Exciting times ahead.
We just have to think like a Vegan. No meat, no dairy, no animal products. And intergalactic wormholes.
Right. The speed of light is a hard limit here. The only way to cut latency is to move closer to the user. The closest you can possibly be to the user is on premise.
they suggest it could be a cell phone tower :(
Because once upon a time, we were each a hell of an engineer.
This is very interesting paper that just came out last week. So they found fast radio bursts (FRB) to have DMs (Dispersion Measure) that are in perfect multiplication with integers to a constant. This was supposed to be bit more random and so these being in such order is very surprising and unlikely to be just coincidence. Only 11 FRBs are found so far which might also means source of signal is not all around. On the downside, the signal were assumed to require huge amount of energy in short burst that Sun would produce in entire day. That assumption lead to belief that FRBs were too close to be in our Milkeyway and more likely to be in other galaxy. Overall very interesting development.
How to pay $400 instead of $70,000 in Delaware franchise tax
Microsoft’s Office Lens app turns iPhone or Android phone into powerful scanner
Could Elon Musk have launched something with SpaceX that is faking these signals, so he could fax down plans for Tesla's new teleporter to be unveiled at the end of the month?

Conspiracy hat engaged.
The author should point out he's talking about the low end bike market.

It's definitely possible to assess the value of bikes and determine the quality and condition of the components.
I think you watch Contact more than once
So this is neat and all, and I'm all about learning more about whatever... but what does it mean to learn the architecture? It's not stated in the article where this is useful to me personally (in terms of experience), and I assume for others like myself. What does it mean to write something in javascript with "module libraries" only? That doesn't mean anything to me.

Does anyone have specific recommendations on how to pursue what the author suggests?
That wasn't my point. My point was that this was a worse idea than that.
You don't understand what a market of lemons is and how it works.
The used bike market as a whole factors in lemons. This is why the bid/ask spread in used markets such as bikes is quite high. (Because of the risk you may get a lemon.)

I am not sure how this is different from most other used markets. Or if he is using the term lemon in the sense we are expecting for that matter.
Keep up the good work ;)
I believe this is a pre-req to CLRS too.
Anti sensitivity condoms seem to be fairly popular, to improve "male performance". Any simple condom or device like in that comic would be a massive success. I don't know the stats but I'd be shocked to find many guys don't rate their partner's pleasure over their own.

And yes, SexyLosers is the funniest "adult" comic I've ever read.
> Ticketmaster was last sold for $400MM in 2009

It was not sold. It merged with LYV to be valued at 50% of a $2.5bil company. It's now a $5bil company.
Previous discussion is still valuable: https://news.ycombinator.com/item?id=7901991
Thank you! Interesting to read.
Maybe this is a better link for this story? http://www.newscientist.com/article/mg22630153.600-is-this-e...
The difference is that the framework is built to be an open source framework - it has general abstractions.

Your own patterns and practices are developed to apply directly to what you're building.
I've noticed the Gecko vs WebKit rendering difference as well. I never bothered to look into exactly what it was.
jesus... i hate that people can say whatever they want here and be bumped to the top. spreading idiocy isn't helpful. stay quiet.

"perfect multiplication with integers to a constant"...

first off... it was 187.5... not an integer. 2nd... it wasn't "perfect" in any way... the measurement points fell STATISTICALLY on the 187.5 multiplier line, but some were well off the line, and others high or low.

pulsars in a system with fast orbiting planets currently inline with earth could explain such patterns.

you are unlikely to be an astronomer. on the downside, you don't seem to care.
Brings up a good point, I bet when vega sends us the blueprints then SpaceX will most likely win the contract..
Good commentary here: http://phenomena.nationalgeographic.com/2015/04/02/mathemati...
The paper is much more conservative than the article about it. They're saying that the close relationship between the signal and the human-made second, plus the fact that most of these signals were observed at one particular telescope, suggests strongly that it's a local, human source.

"Paper doesn't rule out aliens" isn't a particularly strong statement. I've read many papers that don't rule out aliens, dragons OR unicorns.
FWIW, at Yelp we built and open sourced pre-commit (http://pre-commit.com/) that runs a bunch of hooks on git commits. One of the most commonly used hooks is `autopep8 -i` which will automatically formats code on commit.

As yapf documentation has pointed out, pep8 is vague about certain things (i.e. indention). Yelp prefers an indention style where multiple arguments are broken up 1 per line and has a pre-commit hook to automatically enforce that. yapf is also opinionated about indentation, preferring vertical alignment. I've run it on an open source project to illustrated the differences (YelpDent vs yapf indent):

def remove_user_data(dryrun=False):
if platform.system() == 'Darwin':
- data_home = os.path.join(
- os.path.expanduser('~'),
- 'Library',
- 'autojump')
+ data_home = os.path.join(os.path.expanduser('~'), 'Library',
+ 'autojump')
elif platform.system() == 'Windows':
data_home = os.path.join(os.getenv('APPDATA'), 'autojump')
else:
- data_home = os.getenv(
- 'XDG_DATA_HOME',
- os.path.join(
- os.path.expanduser('~'),
- '.local',
- 'share',
- 'autojump'))
+ data_home = os.getenv('XDG_DATA_HOME',
+ os.path.join(os.path.expanduser('~'), '.local',
+ 'share', 'autojump'))
Hooray for the SeatGeek team!

I love their UI and onboarding process, and used it to get tickets to one of last year's world series games.
From the linked paper:

>the suggestive correlation with terrestrial time standards seems to nearly clinch the case for human association of these peculiar phenomena

More from this author:

http://www.ibtimes.co.uk/earth-sized-ufo-spotted-nasa-images...

http://www.ibtimes.co.uk/ufo-hunter-believes-nasa-cut-off-li...

http://www.ibtimes.co.uk/nasa-secretly-contact-aliens-allege...
MapReduce and RDBMS: Practice and Theory
Reading over the notes, it looks like NewtonScript (and probably Self) also implements much of the concept. NewtonScript actually does 2 parent pointers and is well worth a look even if the parent platform long ago died.
Hack ‘n’ Cast v0.12 – Sobrevivendo a Uma Falha de HD
Pretty cool. The fact that I'd have to write my own tool to generate the list of dependencies, instead of using pattern rules, is kind of a downer, but--

Okay, now I'm wondering if I could get Make to generate a Ninja file.
Browser as Interactive Disassembler
'Modular' frameworks often commit the error of giving too much freedom to developers to use their own patterns, which end up being incompatible when they are combined together.

It's a delicate trade-off.
> I could feel the lag

That's exactly the problem. If the "ping" to the datacenter is too high, the gaming experience will be not great (lags). As the mouse/keyboard/gamepad inputs have to do a round-trip to the datacenter that is more problematic than traditional multiplayer games. You need several data enters around the world, near the gamers. Even than it will be unsuitable for certain games like high speed multiplayer ego shooters (Counter Strike, Quake 3, Unreal Tournament '99) where even a minimal lag of a wireless mouse/keyboard is noticeable and wired gaming input devices are used.
The Irony of Automation: Why Clinicians Let Computers Make Mistakes
But they are. TM/Livenation don't just do concert tickets. They do all types of events, festivals, etc. I've seen tickets for golf events, dinner events, etc on livenation.

Not only this, but TM/LN actually own a ton of venues. They seem to grow in size monthly.

Here is the latest:
http://blog.livenationentertainment.com/blog/Blog-Details/20...

There really is a monopoly on the market.

"SeatGeek helps people find and buy tickets to sporting events, concerts, Broadway shows, nightclubs and a range of other live entertainment through its mobile app or website." This is targeting TM/LN market for sure.

They don't have the connections that TM/LN have that allow them to gobble up a venue/festival monthly.

http://www.livenationentertainment.com/

Those are some hard stats to follow.

Despite all of this, I'd love to see SeatGeek succeed. Hopefully some of this funding will help them.
"Failing some observational bias, the suggestive
correlation with terrestrial time standards seems
to nearly clinch the case for human association of these
peculiar phenomena."

It's just from the latest NSA microwave oven.
The Horror of Amazon’s New Dash Button
I agree with and I want to add that using this approach is more effective is you are using statically types language, which can set upon more rules and constraints to the architecture vision; design patterns and frameworks can only get you so far
That usually works with internet and probably cable TV as well. Really any of the "utilities" that aren't actually regulated by a PUC.
You've got some typos: "tesitfy" and "byciclist"
I believe the chinese government actually operates a CA. But it isn't worth it to them to expend such a valuable asset on an operation like that.
Unity 5 Update for LevelMenu2D Plugin
A tech individualist for a post-Snowden world
I hope to god no one has paid the $70k without realizing this.
This is far from "profound" insight. Learning write some code is not so much more difficult than learning to speak and write new foreign language. However ability to debug to find the cause of the problem and write sleek elegant maintanable code is whole another game. Solving a problem by applying computational methods is yet completely different thing. For example, ask a person who can "code" to write a program to find median of large set of given numbers as fast as possible and they would falter.
So are you going to vote for the guy who opened Guantanamo and started illegal wars that cost thousands of innocent lives of the guy who won't close Guantanamo and uses robots to kill thousands of people with no oversight who end up being classified as enemy combatants as long as they are male, Arab, and of fighting age? Or maybe the leader who illegally spies on all the citizens of his country or the other guy who will do exactly the same thing. Decisions decisions...
I have to admit that I once thought essentially the same thing that you have written. However, I'm not so sure now. I think Software Freedom is distinct from copyright and while copyright in its current form is a problem for Software Freedom (insofar as it is too restrictive), doing away with copyright does not seem to be on the agenda of those who are concerned with Software Freedom (notably the FSF). If it were, we could all move to CC0 from GPL and be happy.

I am not one of those who would espouse that all FOSS software should use unrestrictive licenses. CC0, or attribution based Free software licenses definitely have their place, but I think that the world would be poorer without a license like the GPL. The GPL ensures an even playing field so that someone can't take a large Free project, add a small piece and compete with the original project using different rules. If someone wants to compete against a GPLed project, they either have to play by the same rules or build their own project from the ground up.

Instead of "copyright or not copyright", I think the Free software movement has shown that there is a range of restrictions that can be beneficial. Picking the appropriate restrictions for your project is an incredibly important task. When looking at CC (Creative Commons) licenses, I think it becomes a bit more obvious what things are valuable. They definitely benefitted from being able to look at the history of Free Software development when these licenses were developed.

I know there is a growing movement of people who are extremely enthusiastic about very unrestrictive licenses. However, I can't help thinking that they miss something -- only thinking about a binary world of very restrictive (all rights reserved) and non restrictive (at best attribution only). To be honest, I love the thought of living in a world where everything was CC0 and everyone would willingly encourage people to take the source code and make derivative works. Of course it isn't. Even in a world without copyright, this would not happen because lacking legal means, companies would pursue technical means of making it difficult to make derived works. Because of this I tend to license my work as GPL because I know a thriving, fair community can be served this way. The restrictions (made possible by copyright) are valuable.
Sesame: smart lock system raises 800k
One improvement you want in this site?, submit your opinion
> the risk of nonpayment

Charge upfront.
I have a feeling if someone is just learning how DE franchise tax works they're new at this. If they're new at this, $70k would probably be a deathblow. A couple google queries later at the heart stops thumping.
Wait, Aard is at Google now? Was always a big fan of his Cube work, I wonder what else he'll come up with there?
We're actually working on a heuristic that can signal yapf to break arguments to one per line, and do the same for data structures (think a dict initialization).

Ultimately, we'd like to have these things configurable via the style settings of yapf, so multiple detailed styles can be selected.

Patches welcome :)
Hi there and congrats on working through this course. Most students coming into this class are learning all the formalized truth table/mappings/isomorphism/etc stuff for the first time. I took this class after having failed a course in Real Analysis and ended up appreciating it not so much as a math class but as a good intro to how to think about Theoretical Computer Science.

Looking back at the psets, i think it's actually worth looking at them in reverse order just to not get too discouraged: the class ends on some number theory and begins with the Relation/Axiom/Set/Sequence stuff you see in early high level math classes. Some of that number theory/counting stuff is incredibly accessible from the outset, so the class doesn't just get monotonically more obtuse.

That said, if you've worked through vellman and you finish up this class, you're more than ready to do a class in proper number theory, discrete math or even real or complex analysis. Somebody else said that this course was a prereq for clrs, it is sort of, but you could take them both concurrently if you had to, as clrs doesn't have such a strong focus on proofs (if you're interested, 6.045j is a good followup in automata/computability/etc, lots of regexes, state machines and turing machines)

anyhow, i just want to say that it's ok if you don't get it all at once. i think i ended up seeing lots of these ideas two or three times in a variety of classes. probably the first time i was just mechanically spitting out proofs without understanding them. by the third time i came across them, they actually clicked for me. But there was value (for me at least) to exposure early on because you do know the things that are hazy and it's easier to dive deeper on those the next time you encounter them.

have fun!
Aspose.Newsletter April 2015: Introducing Java Project Management API and More
One of my favorite math books ever, but definitely not for the faint of heart. It's starts off slow but gets hard fast.
You can actually articulate that relationship in GNU make, as long as your outputs can be coerced into a pattern rule (like "%.c %.h: %.y"). Otherwise there's no way to do it that's reliable in the face of both incremental and full builds. There's been discussion of adding syntax to GNU make for this purpose on-and-off over the past several years, but nobody can seem to agree on what the syntax should be.

With Electric Make you can mark the rule as producing multiple outputs by adding "#pragma multi" above the declaration. See http://blog.melski.net/2013/01/01/pragma-multi-and-rules-wit....

Disclaimer: I'm the Chief Architect of Electric Make
Internet latency is around 50% slower than it could be, though: http://web.engr.illinois.edu/~singla2/papers/hotnets14.pdf
Some interesting reading about the motivations behind this http://www.reddit.com/r/haskell/comments/euhgi/luquis_vatica...
Musée de la Photographie: les enfants sous un autre angle
Told you! Aliens be at it! 👽

</dives>

EDIT: Hah! Your lack of humor has no power over my emoji aliens!! Hahahaha! 😄👽👽
They sure do!