skysight-inc/HackerNews huggingface dataset:
To be clear, constructive mathematics is not new to me. I just don't see the point of it.

That mathematics can be done in a machine-checkable way was known long before HoTT. Nothing new there. For example, I've had no (particular) difficulty mechanising surreal numbers without using HoTT for this. Also real numbers can be done easily without HoTT. So again:

Why should I care about the univalence axiom?

If you cannot answer that, I am not sure you know what you are talking about. And also, maybe you are a little bit underestimating the links between HoTT and constructivism.
Visual Studio, SQL Server, and Office support that already and I doubt they are completely managed code.
Yeah, we create a hangout and keep on using the same for a few months, then it expires. We have a redirect in place so everybody goes to the same place.
Recent trends in deep learning
It's great that you can take criticism. I've interacted with quite a few Asians online who literally believe their English is perfected, yet their written words read like they are proper idiots. Your English is pretty great though, in comparison. I think you will find you will gain a good deal more respect among fluent English speakers and programmers alike when you master the language.
>This swiss company got the IP addresses of the people by deceiving the court in the first place.

No, I think the Swiss lawyers provided the IP addresses asking the court to make Deutsche Telekom reveal the users' true identities.

>Then, they sent thousands of cease-and-desist orders to these people

They didn't send cease and desist letters. As I understand it they asked for money right away.

>All articles also talk about this weird software "gladii 1.1.3" without talking about how this software can collect IP addresses in the first place

That is indeed the interesting question. Apparently the court asked an expert to evaluate the software and the expert confirmed that gladii 1.1.3 could do what it claimed:
http://translate.google.com/translate?sl=auto&tl=en&js=n&pre...

I wonder how. The spoofed domain explanation doesn't make any sense. If you you are able to redirect users to download from your own servers you don't need any additional software to find out their IP address. Maybe what gladii does is to embed code into the movie file itself so it can be used as a honeypot. I'm not familiar with the swf format or whatever they host on redtube to know whether that is possible.
Look at it this way. If Android wouldn't have existed, Samsung would've gone with Bada, LG with their own Bada-inspired clone with no binary compatibility with Samsung's OS, Sony would've made their own, too, HTC, and Motorola the same. Would that be a better situation?

Even if Microsoft got ahead and released Windows Phone early (which they didn't), you would've still had "hardware fragmentation" for developers. You would need to work with different resolutions, just like today, and with hardware from 600 Mhz ARM11 to quad-core 2.3 Ghz CPU's (same for GPU's).

And of course WP would need to be on the same amount of hardware Android is today, not just on the 5 models it is today due to the poor adoption. And it would need to support more than just Qualcomm's chips, and same goes for other components. The point is, the situation wouldn't be much better.

So Android did solve what could've been a big problem, and it's almost as good as it gets for this kind of situation (it can be better, but that requires not just technical solutions, but commitment from other OEM's too, to actually do what Google is asking them in order to further standardize the platform, but unfortunately many still want to go in their own directions).

The truth is this things are "no worse" than they were with other platforms before, it's just that Apple made it "better" for developers, but only because they got lucky (sort of speak) to get hundreds of millions of people to buy just one device that developers need to target - and get away with releasing it only once a year.

That's pretty unheard of, and it's the exception that proves the rule, I'd say. If you want everything to be "just like iOS", you'd probably have to get all of the world's inhabitants to use the same device - the iPhone. But that's kind of ridiculous, isn't it?
That sounds pretty tough, Arpit. Best of luck following your intuition, and be patient with your family. :)
Thanks. I should have hit refresh on the comments after reading the article.
> If they were actually trying to program something and had to look up basics like that every time they used them, they would be so slow as to be completely useless

Isn't that the point of timed tests? You can structure a test such that the person who needs to look up how to add two ints in Java will waste so much time that they wouldn't be able to finish the test. And if they can search for and apply this knowledge quickly enough, then maybe they've proven that they won't be slow if they have to do it in the real world.

My favourite exams were open book but still hard/long enough that if you didn't already know 95% of the material, you simply wouldn't have time to complete it.
As an Indian. I would request fellow Indians (who else is upvoting this?) to not encourage such posts. There's enough superstition already in the country. Let's not encourage it. Let people join and learn modern mathematics and sciences and make them study ancient texts as leisure but let's not shout there are hidden codes and blah in them.
> "It has a self-contained master-key for extending the evaluation to any number of decimal places."

Well, at least if someone would actually say what the freaking "master key" is, it might be intellectually delightful even if historically BS. ... but I can't find any description of what this "master key" is.
And this post demolishes Gladwell's theory rather thoroughly.

http://askakorean.blogspot.com.au/2013/07/culturalism-gladwe...
At the Core Duo 2 end of the spectrum (e.g. X200s and X61 in my case), there are quite a few UK ebay sellers selling ex-corporate machines and I have had no problems with two of those, look out for a 30 day return period, and they always do a 'buy it now' price.

Newer i3/i5 based Thinkpads tend to be sold in smaller quantities by individuals so you just have to decide...

There is glugglug if an older X60 will do

http://shop.gluglug.org.uk/

Never bought from them but coreboot and a wifi card with fully free drivers look interesting. If they get newer machines to refurbish, I'll definitely look at one in the future.
Fuck that noise. It's representative of a shit state of affairs when 'mastery' of one particular language is necessary to gain respect among fluent speakers. No respect for those who haven't 'mastered' the thing we have mastery of? Fuck, it sounds like a recipe for supremacy or something.
>>>>98% of Indian Population have not even heard the word "Github" in their entire life, yet everyone acts like they know this stuff

What kind of logic is it? Are 98% of Indian population software engineers? Why do they need to know about GitHub?
Not BS, take the equator as the circumference and a weighted average between sea level and the highest point on that line for the constant circular path and you'll have a measurement relative to pi.
By non-tech they obviously mean non-IT, but everybody hates IT, so "tech" sounds cooler.
If someone wrote a haiku that's visible in base64 encoding and which stood for a pretty interesting number (like pi, or e or whatever) it would be worthy of a HN post for intellectual curiosity.

... but please do cut out the "Indians did this ages ago" crap, for it is the least intellectually interesting of all things ... unless the poster backs up any such claim with proper first-hand references.
You haven't mentioned the complete sentence => "98% of Indian Population have not even heard the word "Github" in their entire life, yet everyone acts like they know this stuff".

The problem is "They try to act" like they know about software industry, meanwhile when you try to explain them that you are working on some open source project, they refuse to respect your opinion.
> who literally believe their English is perfected,

There's no one to blame except yourselves, Americans (I speculate here). Especially in Bay Area or any other melting pot.
You speak language remotely resembling English? We can understand you without "Say it again, please?" every 10 seconds? THANK YOU VERY MUCH!!!
Only if you know how hard it is to solicit a style/grammar correction from an average IT engineer/manager. Oh, ah, it's so rude to correct someone (even if the person explicitly asks for this). So far I was able to convince only one my friend to correct me (and it wasn't completely free - he is learning Russian and wants the same from me).
I have to ask - what's up with the "Steve Bhagavat Gita"?
There is a fantastic talk by Kevlin Henney where he deconstructs the SOLID principles as each being either misunderstood when they were written - or frequently misunderstood after. It was done here:

http://scottishdevelopers.com/tag/solid/

http://sydney.yowconference.com.au/

I won't spoil it by writing all the points here - just some pearls.

* The Open/Closed principle is redundant because it is already covered by the Liskov substitution principle.

* Bob Martin's view of the Dependency Inversion principle is in fact the Single Responsibility principle.

He suggests 5 more principles - but I won't spoil it by listing them here. Go see it!
> from a company called Matratzensport

Suitable name for a porn company: Matratzensport = "mattress sport".
At the moment most people are wondering how these IP addresses were found. This[0] article indicates that they were using redtube.net to gather the IP addresses and then forwarded to redtube.com. (This might be illegal since it would be them distributing pornographic content.)

Also, the way they were charging their fines is probably illegal and they might lose their license over it. Yes, they charged fines directly, those were not just cease-and-desist letters.

(They might also be using CC-licensed templates on their own website without giving due credit. [1])

[0] http://www.heise.de/newsticker/meldung/Porno-Abmahnungen-Ind...

[1] http://www.heise.de/newsticker/foren/S-urmann-com-CC-lizenzi...
Ask HN: Run a monthly box subscription service? Let me help you with that.
How does a single tool that manages all the logistics of your service, from accepting payment to managing subscriptions to shipping product sound?

Let's chat! Feel free to reply here with your contact info or reach out to me at james [at] brwr [dot] org.

Cheers. :)
Summarizing the heise.de article: apparently someone put links to porn-broker trafficholder.com somewhere, there the requests got redirected to the freshly registered movfile.net, forwarding to redtube.net. On movfile.net the IP addresses got harvested. trafficholder.com was primarily used to generate traffic from Germany to the videos in question.

If this is what happened it seems a bit more far-reaching than just an exploit of IP law challenged courts.
Easy to say, but hard to do right. Especially if you have shared state between execution contexts. Concurrency adds a whole new level of complexity and is hard to test and debug.
I was just thinking about IKEA after seeing the name.
Microsoft removing words from dictionary
On Android you have a choice of TI Calculator emulations

see https://play.google.com/store/apps/details?id=com.Bisha.TI89...

or

http://www.androidpolice.com/2012/02/15/nostalgia-ti-89-calc...
12 Things Every Founder Should Do Before January 1
You are commenting on someones English from India. Remind me to do that to a Canadian, American or South African next time. India has the second most English speakers of any country in the world. It's an official language.
Report: Sprint is eyeing T-Mobile for a merger
Bingo. If I'm in front of a computer, Mathematica. If not near one, then Wolfram|Alpha app/PCalc Lite on my iPad, else TI-83. But I've had my eyes on the HP Prime for a while. That'd be a huge jump from the 83!
Yeah, I agree. I mean, the guy probably speaks four languages at least a couple of them fluently - you'd have thought he'd have prioritised _my_ language.
Most trades will execute at something near but worse than the instantaneous NBBO.

Let's say the market is 147.05 at 148.30 (I, as the market maker, am willing to buy at 147.05 and sell at 148.30). That's the NBBO. If someone IMs me and says they're willing to buy at 147.10, that moved the market and thus the NBBO. I am required, by law, to report that trade to the consolidated tape.

But if someone IMs me and says they're willing to buy at 147, that's worse than the NBBO. I would then consider lifting at 147 and selling at 147.05. Why would someone buy at worse than the market? Maybe the market was 147 when they put in the order and their computers were slow to catch up. Or maybe they're George Soros placing a multi-billion dollar bet and know that if they put an order into the NYSE it's going to execute at much worse than 147. Either way, I functioned as a market maker by taking their problem and making it mine.
"thought process" is what distinguishes humans from others in terms of deciding whats right/wrong, (finding the truth) its not just science.

Here is a difference i have observed between science/religion. In religion, we try to reject things rather than try to find true meaning (via thought process or practice). Which is really difficult in this time as "i can go buy pizza in 5 mins" kinda mindset.

One more way we use reasoning is "if i didn't experience (via the senses) it doesn't exist". It takes time, really long time for the people (in tech terminology scientists, in religion terminology saints) to understand the universe and give us peace. Both religion/science are true. Religion talks about things which can't be experienced by our senses, but gain peace. While Science talks about the other, where the gain seem to be human advancement (to where ?). This may sound confusing at beginning, as it was to me. But, if we go through the same struggle of finding the truth, we will get it.
I am not sure, if I want everybody to know all my social network personas. What would I gain?

And isn't it to risky?

Identity theft comes to mind, or attack vectors like logins with social profiles (FB or google).
To answer this question, I wrote an entire blog post, explaining how Steve affected my life - http://techapj.com/thank-you-steve/

In short, I think of "Steve Jobs Stanford Commencement Speech" as a modern approach to "Bhagavat Gita".
This "trend" is started much earlier, when mostly media and entertainment companies started buying "tech" companies. They were under they illusion that they didn't need to foster technology but were just buying a commodity, and subsequently all further development came to a grinding halt and the engineers fled.

Is this new wave of buy-ins fundamentally different or is Staples an outlier?

The main potential difference I see is that unlike media giants, many of these companies have continuous product development at their core, albeit in wildly different forms.

Also, such attempts at integrating start-ups have often failed for companies that are actually in the same business (Google, Yahoo, Microsoft). I don't see the odds of this being a fruitful strategy being very good.
were you encouraged to try different medications until you found the one with the best efficacy : side effect ratio? more often than not i hear of people being put on medications and being told that med would be best for them, without really evaluating that statement.
One key aspect is that the Litecoin blockchain loads into the app in about 20 mins (and not 2 days or more with Bitcoin... roughly.. I should time it) And that Litecoin appears to be desired by drug-site users. It's basically the same in usage... (perhaps faster, although it depends on the number of confirmations needed to deem as secure) ...but more chance that Litecoins will rise in value. There's also more US regulations applied to Bitcoin in terms of what can go into the code (as far as I know.) If someone asked what crypto to use.. I'd say Litecoin. I don't get hung up emotionally on it.
Some jurisdictions logically allow (and use) for front shots of the car - solves every issue at stake. Not sure if the guy installing the camera was not the brightest, or DC laws are on this one at fault.
YEC // Young Entrepreneur Council | Invite-only entrepreneurship organization
The Puzzle Test = The Turing Test – the judge
> They didn't send cease and desist letters. As I understand it they asked for money right away.

That’s sort of combined in Germany. You can ask for (reasonable) damages and lawyer fees plus for people to sign a ceae and desist. (Of course, in actuality those letters can ask for anything they want. It just might not hold up in court. That’s why receiving one of those letters as a private person sucks. Those don’t have a lawyer on staff to quickly look those letters over.)

In this case the damages they asked for were €15.50 and the lawyer fees were €234.50 (together €250).

This process exists in Germany to efficiently resolve disputes without having to use the courts (mostly between companies, actually) but when it comes to copyright infringement of private persons one could arguably say that it is abused.
Yes. I really want a decent, pretty, RPN calc on all the platforms I use. Which rules out any HP emulator. I've got several amazing HP calcs gather dust in a drawer; I want something better than that.

I've been pleasantly surprised with the built in calculator that ships with OSX; it's got a decent RPN mode, good keyboard support, and a nice stack display. Not brilliant, but better than what I've found for Windows or Android. :-/
I think it's a shame computer like devices (iphone, ipad, what you want) are not allowed. Learning to use them efficiently in a time constrained context would be a really valuable skill.

Internet access is a lot more complex though, you'd have to filter what they can access and monitor everything every student is accessing, and that doesn't seem worth it for most tests. Image a scenario where the students just throws any question on a random looking site and some hired expert on the other side writes appropriate answers on the fly. Your test won't have any meaning anymore.
This is awesome.. great work.
Would love to see that you add https.
To give this some context and some application today:

The Pi Calculus is a form of Process Calculus which is a Mathematical tool for modelling concurrent systems. (One might argue that concurrency is still a hard problem in Computer Science - but I'll leave that to the reader):

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

This led to Robin Milners work on the Calculus of Communicating Systems (CCS). (Milner was trying to invent an automated theorem prover - and invented ML (Haskell precursor) and CCS along the way). Milner rocks.

https://en.wikipedia.org/wiki/Calculus_of_Communicating_Syst...

CCS Lead to the PI Calculus (which is what is linked).

Communicating Sequential Processes (CSP) also came out of the Process Calculi. (Philip Wadler described CSP as the 'moral equivalent' of CCS).

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

The great thing about CSP is that they're used in modern programming languages today to solve concurrency problems in async operations. We see this with the C# compiler and the Async primitive:

http://msdn.microsoft.com/en-au/vstudio/jj573641.aspx

What is even more interesting is that CSP is used in Clojure in core.async. core.async is a macro that writes a state machine around blocking macros. (Similar in function to the C# compiler primitive). The benefit for this for ClojureScript is that you can write concurrent blocking operations that run in a single threaded environment. All this is done not with compiler changes, but with a deep walking macro written by Rich Hickey and Timothy Baldridge.

http://www.slideshare.net/borgesleonardo/intro-to-clojures-c...

http://swannodette.github.io/2013/08/02/100000-processes/

So is the Pi Calculus interesting and relevant to today? Yes! (But you have to jump a few links to understand why.)
As i see, the current science is more rigorous because people are producing lot of crap. So, we made it to be like "if it can't be verified/repeatable its not science". But do we really know for sure ? How many discoveries are being overridden by new discoveries coming from future ?

The amount of data accessible to the people in the past is a lot more when compared to current. Thats why there able to explain things that can't be experienced by our senses. To share such things in the current time, the "can be verified by our senses by a independent vendor ?" rule rejects. So, very few people experience them and bring it down to such a level that every human gets benefited from it.

The division between religion/science is very small, when both are approached using similar thought-process. Its just that some rules reject others. As human we need to approach and find truth for oneself without being biased.
The article below explains that the website of the company which filed the copyright claims and the website of the company which supposedly created the 'gladii' software are hosted on the same server, contain the same user-id's and were created at around the same time.

The whole thing is a scam.

http://translate.google.com/translate?hl=en&sl=auto&tl=en&pr...
Zamfoo Critical Security Vulnerabilities - They Don't Seem To Care
Steam GNU/Linux!
Cool, thanks I'll have to check it out again.
so when will you get married ;)
I need no movies to know what autism is.)

About movies, is Asperger-like behavior of De Niro's character Travis in Taxi Driver is explicitly described in the screenplay or was a side-effect of a good acting?) And that Jean Reno as Leon, you know.
This is just another example that shows it is not so much the law that is broken in the face of new technology (although it could use some updating), but the utterly clueless interpretation of the law by the courts that is the main problem.

Just like for instance the Pirate Bay blockades we keep seeing instances where courts can easily be tricked into implementing measures or allowing evidence that the legislature would never approve of.
Super-easy 3D multiplayer games maker for #iOS, #Android, #HTML5 & More
I. Watched. The. Whole. Thing.
It's a nice model of concurrency that had been extensively studied by researchers but (I believe) never really had much practical impact.

Basically, it's a very small programming or modeling language based on concurrent message passing with a simple formal semantics. Pretty much in the same way that the lambda calculus is a small language based on functions.

There's no mainstream programming language based on it, unlike the lambda calculus that inspired LISP, ML and so on...
There's already a thread on page 2: https://news.ycombinator.com/item?id=6905220
From Object Oriented Programming to Functional Programming
There are two kinds of outsourcing. One where say IBM comes in defines the requirements and builds a solution that's expencive but can produce quality or outright fail. The other is where you define the requirements and hand it off to a third party, that can be relatively cheep and generally produces something, but you often end up with crap code because the developers have little incentive to deliver quality and little understanding of the underlying business requirements. Indian firms focious on the second type which harms there reputiation but IMO it's not unfair when your considering doing that type of outsourcing to know what your getting into.

PS: Which is not to say there not a lot of great Indian programmers just it's really hard to write or learn how to write high quality code when programming to an seemingly arbitrary spec. Sill it's a huge country so there is a fair amount of internal demand which is often forgotten about.
Interestingly, many evolutionary biology-related papers use p-calculus for their models. It's a shame most of them are typical science papers (they're written to seem complex and deep instead of trying to give a clear explanation of the model).