skysight-inc/HackerNews huggingface dataset:
> If you generalize to trees and pick the right alphabet, suddenly every element of your datatype is a well-formed lambda term.

How would you feed trees to the computation? Also, once types are involved, nothing can help you. I admit that untyped LC is somewhat of a borderline case.

> It's also unclear if you're talking about the complexity of type inference or type checking

Doesn't matter in this case. Pick a string representation -- any representation -- and see if it's well-formed. You can include the types and then only type checking would be necessary, or not -- and then it's type inference. Either way, the complexity is significant.

> namely the C abstract machine

That's not a machine model.

> it's undecidable whether a state is meaningful

The same goes for any language and your definition on "meaningful". You can always say that something meaningful is a little finer-grained than the language can express, or the validating the language itself is also undecidable. Got simple types? Only primes are meaningful.

> They just don't have many useful properties compared to more "abstract" approaches, and are mostly used to reason about implementation.

My point is that they're not comparable. A glass of water doesn't have the same useful properties as a blender, yet they're both made of molecules. However, there's an objective difference: a blender consumes far more energy, so of course you can use that energy to do more things.
My money is on this being a Visa scam company bringing Chinese nationals over. The poorer ones probably got screwed, while the ones who paid (400k from one of his employees???) have probably vanished into the country.

(I have nothing against the Chinese, or immigrants in general, I'm an immigrant myself, and I feel terrible for the innocent victims who have lost money, jobs, and for many, their american dream)
I don't think it's talking about external reality. It's talking about the past. Your memories are the real, even physical residue of your experience of the past. And the past doesn't exist anymore in any other form.
[2015] How could this happen in JavaScript?
I enjoy Logan's Run too, but I'm not sure it's a palatable option for our society. If these fine people are paying their own way, that's $14k/month that's probably paying for a large staff of hard working people (and some administrators). If they've spent down all their money, and the state is paying for it, the state has a maximum, and it's not $14k/month.

In the alternative, where they're paying $2.5k/month, the other $9.5k/month is going to stay in their investment accounts, and when they eventually die, if they have a large enough estate, it'll be subject to the estate tax and society could use it for education or whatever, but more likely it'll just pass to their heirs, which helps the heirs, but doesn't help society that much.
Seems like it should also be possible to have the compiler employ JavaScript generator functions (i.e. `yield`) and iteration as a substitute for growing the stack, which might be a bit more flexible than rewriting in terms of loops+thunks, though the concept is the same.
Not at all. Admittedly I'm a strong developer, but very little knowledge of Deep Learning. I picked up tensor flow in a month.

Also, the guy is getting 70% accuracy. I doubt google helped him :p
My Promotional Tips on Running a Successful Crowdfunding Campaign
I've always worked at large companies with dedicated Infosec groups, so I'm surprised to hear security is so awfully lax at so many places. I thought maybe small companies would be using open source software and something like:

https://www.nitrokey.com/

although it clearly takes some know-how to get set up with something like this.
While the experiement is certainlay interesting, the article must be from around 2009 (the experiment begun in 1927 and the article refers to this year as “82 years ago”).

The 9th drop, mentioned in the article, fell in 2014.

Please refer to the Wikipedia article instead: https://en.wikipedia.org/wiki/Pitch_drop_experiment
Hardly.. the guy is only getting 70% accuracy. The hard part is the assembly line and he probably has a background in that.
They measured a foot and the head of a mammoth to magnitudes of difference already.

You can't measure stuff that old. They almost decide how old they want it to be.
Josie Maran Argan Black Oil Mascara
> your terminology is wrong; "representation theory" means something else. You seem to mean something more like "model theory".

I really do mean representation theory, in the widest sense of the word. Wide because I am trying to make connections here, not distinctions.

So for instance, of course group representations. On the one hand there is an abstract group multiplication, and on the other side we are representing this as a geometric action.

The same thing goes for "bigger" gadgets, lie algebras, hall algebras, etc. All kind of algebraic objects that we can define abstractly (syntactically) but then lo! it is actually represented by some kind of (geometric?) action.

And then in a more logical vein you have the lattice type theories. Boolean algebras, heyting algebras. These things have topological representations (or is it functions on topological spaces). And then to denotational semantics of lambda calculus. And it's all kind of a syntax on one side, and a semantics on the other.

I don't know much about models of set theory, but I'm assuming these also involve a kind of "active" representation of syntax. I would also include things like algebraic topology, topological quantum field theory. These are all "functors" which act to represent an algebraic gadget in a more dynamic way (i'm possibly over-generalizing here.)

Anyway, there's no concrete definition for what I mean by a "representation" so that's why i gave some examples. It's quite mysterious imho.

> So anyway -- yeah, physicists.

Well, it's easy to criticize physicists, but I also think mathematicians are guilty of this. Ok, so they define their calculations rigorously (not always), but then it's gloves off and away we go! I've come to realize that the whole program of categorification is an attempt to bring more context to these calculations (this is what I would call type theory for mathematics btw.) And most mathematics is written down as calculations, without this context. Probably because it's much harder to categorify everything. The simplest example of what I mean is this: "why keep track of a (finite) set when you can just say how many elements are in the set?" And so on. I really do think that alot of mathematicians are just as guilty as physicists of the "shut up and calculate" attitude. But, they are certainly much more humble :-)
I've been yapping this for ages. Apple or Google can't just start selling nuclear submarines to the highest bidder even if it meant huge profits if such an enterprise took the leadership away from what they currently do.

It isn't just money (and most universities LOSE money in athletics) but rather the change in culture with high spending in spectator sport. The top level leadership at universities is increasingly detached from academia.

I get that there needs to be some spending in support structure but the first and main goal should be education. Too much money (and more importantly attention) is being wasted in brand recognition and marketing.

Side note: would it be possible for universities to build small private cubicles/rooms or something assigned to each student where they can go study or whatever (probably with noise restrictions and so on to prevent distracting neighbors)? Even at its best, such a place would hardly be something a university can boast in its marketing pieces unlike a 80k seat football stadium.
They do use the word function, just not in terms of the language itself, but in the same sense of saying that a falling apple integrates the function from its mass to acceleration; it's a human interpretation of the encoding. I would state the Church-Turing thesis like so: a universal computation model can compute anything any physical machine can. As Hodges says in one of the links in the article, this is how Church and Turing themselves understood it. How would I define "anything"? As a function on any countable set -- the natural numbers, would do -- and I would explain what it mean to compute a function: pick a function, pick an input element, pick a finite representation for the input and output; if a physical machine can compute the output representation from the input representation, so can a universal computation model.

I could choose a function between any two countable sets, e.g. (Nat -> Nat) -> (Nat -> Nat): pick a representation for the input and output and all models can compute the same functions, and those are the functions that machines can compute. They differ in abilities regarding representation within the model, but as the language models' representation require very significant computational work, I'd expect their representation to do more: they're paying for it.

A C compiler works hard, so you'd expect it to provide you with a representation more suitable to your wishes than machine code. It's just that as a compiler like C translates a "meaningful" language to a machine encoding, everybody notices the work. The language "computation" models work in a vacuum, so I just pointed out that even though they don't translate anything from one representation to another, they still have to pay for their natural representation.
This is an excellent idea, and clearly it would also help the SEC investigate illegal trading. Prediction, based on the exceptional efficiency of Wall St lobbying: the Congress will refuse to give the SEC the funding for this.
And my claim to fame! If someone had told me posting on HN would get me quoted in the NYT...
The Magic Train Triangle: Infrastructure-Timetable-Rolling Stock (2013)
The story of the fake bomb detectors
cliff stoll made an ... interesting movie of this book. its fun to watch and would probably make a good drinking game.
: https://youtu.be/EcKxaq1FTac
The only thing that makes no sense is why they hired Penny Kim. The business was seemingly imaginary, the only employees were the CEO's bros and his H1Bs. If the business was some sort of front, why hire a veteran marketing leader to publicize your scam operation? Especially someone who was not in on the scam and was highly likely to rebel? My money is on the CEO being a genuine egomaniac who thought he could will a legitimate business into existence with enough personal charm.
This seemed pretty likely to me the second I saw bouncing between tech/analyst positions and "CEO of mines in Asia and South America" on his LinkedIn (when he was mid-thirties at the latest?). There is only so far one can push it before all thered flags go up.
If your goal is to vanish into the US, you don't need $400k to do it.
I have some issues with this sort of doxxing.

In fact unless a court decision is made I think it technically unfair to the company and their employee the way the mob has brought out their pichfork.

We have only heard the story from one person - and it makes the company and its CEO look like Satan's spawns - which in my experience never is 100% true.

Having said that, I am always a little unnerved browsing LinkedIn - you have CEOs, CFOs, Management always complaining about their employees, and employees doing cringy asskissing :( It makes me deeply sad what LinkedIn has turned into, LinkedIn just gives employers more power.

On the other hand I have noticed that HN, reddit are places where Labour ( employees ) come to complain.

Its just an interesting trend where two social networks exists - one for the capitalists and one for labor.
At the time, I'd suggested talking to the local DA's office about the fraud claim. If no one has done that yet, this would be a really good time, with New York Times coverage. They can prevent the CEO from leaving the country until this is resolved.
Checkout Rancher. From your tone, I guess like Kubernet is complicated for you. Rancher has Kubernet support plus nice GUI and many application templates LAMP stack friendly. Also, load balancer is backed in.

[0] http://rancher.com/ (open source)
What's the purpose of the:

\u000A\u002F\u002A

bytes? This sequence appears multiple times, but is commented out in both languages' interpretations.
"... but who expects fraud in Silicon Valley?"

lol, wut? Anybody who has been here more than an hour is who expects fraud in SV. The first job I had in SV ended in a joint SEC/DOJ prosecution and jail time for multiple executive officers. Lawlessness, scams, and dishonesty are endemic in this area.
This is why normal people consider IT a bunch of dicks.
Google's the puritans of the web. If you have an association with them then you must live under their strict rules.

That said, I think something has changed. I'm not sure why it is, but they have become more prudish in recent years. Is it a generation thing? A change sent down from their corporate clients? Pressure groups? Perhaps more government influence? All of the above?
"tragic loss of an effective diagnostic procedure"

Theranos' last attempt at an effective diagnostic test for the effects of warfarin caused at least one stroke in a patient due to inaccurate results.

Both false positive and false negative Zika virus tests would have equally undesirable ramifications.

How many women would you like to have Theranos harm with their implementations that have been well documented to be appalling ?
They did have a room full of H1B visa holders doing the tech. It sounds like those guys got scammed hardest just on the face of it, it'd be awful if they also got scammed out of money for visas.
Depends on the scale, for smaller projects Heroku (free tier is actually pretty solid for simple Flask/node apps), for larger, probably Google. But I'm bias, I tend to stay away from the AWS ecosystem.
Hey! I work at privacy.com - would love to get your thoughts on our product. Hit me up at bo@privacy.com for an invite if you're up for it. I'll tell you how we got the domain :).
The point of the article is that different representations incur different computational complexity costs. Those costs are objective and absolute. If two different representations each require wildly different computational complexity, then the two can't be meaningfully compared on the same terms, because the two are clearly and objectively different.
Competing with free is really easy when things like this happen.

There is a simple question to determine your relationship to a company or product, are you the customer or the product. Did you pay for it?

If no, you're the product and they can arbitrarily change the rules of the game.

If yes, yay you.
You can use the same trick used here of hiding the PHP tags behind the comments /*<?php
ah. That was quite unintentional. I was using extremes to make a point, not to associate the two separate examples. However I can see how some might arrive to that inadverent conclusion.
I made my comment because I wholly agree with you about the importance and the past contributions of the humanities, and because I'm so disappointed in how deeply they've lost their way.

The biggest problems in the world today are humanities problems (although tech and science may be able to indirectly end-run around them if we survive long enough), and the humanities are completely failing to make any useful progress. I'm bitter about it, because there are so many smart people wasting themselves in trivial cleverness-competitions rather than solving meaningful problems, and because they're my tribe and they're betraying their potential. (And, bias disclosure: at least partly because I can't find anyone to date who's interested in the things I'm interested in, whose work I don't think is ultimately useless and unimportant.)
Similar:
http://codegolf.stackexchange.com/questions/55960/im-not-the...
Show HN: The Bathroom Game – proving that NC's bathroom laws are unenforceable
> I think he is the first one to write a practical fast arithmetic coder using ANS.

I don't think he is the first; although RAD game tools has been cagey about the details, many strongly suspect their recently announced Kraken, etc. use ANS in some form and some of their previous products; see the discussion here:

https://news.ycombinator.com/item?id=11583898

...and here:

http://encode.ru/threads/2492-Kraken-compressor

http://cbloomrants.blogspot.ca/2016_05_01_archive.html
It's like PeopleSoft Application Designer, but then for WordPress
For ease of use alone and fastest time to market (aka least messing around for a web app) I'd rank them as:

1) Heroku

2) beanstalk*

3) GCE

* Currently working extensively with beanstalk. Containers and instances are still more of a pain than Heroku's basic model but they can be pretty flexible.
Verifying his public information isn't "doxxing", especially when it's fraudulent.
The CTO of that company made a public comment on the Hacker News thread backing up her story... It should confirm that her perspective isn't just a rant. It's actually true.
The Tempest Prognosticator
I'm assuming I don't know, which is the truth. I'm also assuming none of y'all do either without building on this study. Assumptions kill in these cases.
China’s Baidu to open-source its deep learning AI platform
This is a 19th century machine that predicts storms using leeches that pull hammers to strike a bell when the air pressure changes.
> small private cubicles ... with noise restrictions

like study carrels in a library?
I guess you fake it until you make it? Obviously not the same thing but when reddit originally started didn't the founders use bots to submit stories. Theros got billions. Kind of sucks for the H1Bs they might lose their visa.
I have a question, hope someone can shed some light: given that 360 video is recorded, how to make it to display in my webpage? What are the most popular open-source 360 video player? And if I want to make my own video player, what should I start reading at?
Well, that sequence is a newline followed by "/". My guess is that one of the languages parses "//\u000A\u002F\u002A" as:

//
/*
Hmm...for me typing AND speech recognition on mobile devices are horrible. To know that one is slightly more horrid than the other is small consolation.
I was concerned about the doxxing at the beginning. But now it's looking like getting the attention of an Internet mob was basically the only option for justice that Penny had left. (I wish I had more faith in the corporate legal system than this.)

It's not just one person. We have now had the story largely confirmed by WrkRiot's CTO (maybe I should say "former CTO", or maybe the entire company is effectively "former") and one of its former advisors.
Skip college, apprentice at a startup
Goodbye Democracy and Capitalism
That will likely hurt the student much more than the PI. Depending on the lab, PIs often have a tech, postdoc, or staff scientist when runs many experiments. The student's time is much more valuable than the PIs as the student only graduates when his/her thesis has enough content to write.
\u000A\u002F\u002A is the unicode for the beginning of a multi-line comment (\u000A\u002A\u002F being the end of one). The Java compiler will translate it as a comment while the PHP interpreter will ignore it (see https://www.reddit.com/r/ProgrammerHumor/comments/50guhc/thi... for more info).
No, but the odds of things turning out the way she intended are just barely good enough at a top school that it might be rational.
We actually have heard at least a bit from the other party, e.g. "she's a disgruntled employee who was fired for cause". In any case, if it's the CEO of a company we haven't heard from on a major issue like this, that's most likely the CEOs fault, most likely because they have nothing constructive to say.

Also, I find your characterization of HN as a labor forum as opposed to capitalist rather curious, since its origin lies with one of the purest forms of capitalism possible, startups.
> I'm surprised to find that sentiment on HN, even most smokers seem to agree that their smoke may harm others and are considerate about it.

The question is not whether people agree that something may be true; the question is whether it is. As it happens, it's not.

> Do you really want to go back to the fifties where smoking in the office, public transport, or in public buildings was commonplace?

Yes. When I was a boy I remember going to a hospital that had ashtrays next to the elevators. I remember loving it whenever we went (my parents & their friends didn't smoke, and smoking wasn't allowed in my school, so I could only smell tobacco rarely).

> The reason smoking is banned in the workplace is simply because many workers do not have the luxury of simply quitting their job to work for an employer that doesn't allow smoking on the premises.

That line of specious pseudo-reasoning could be used to justify just about anything, to include mandating smoking in places of employment.

> Freedom is about the balance between one person's freedom to do something and another's not to be unduly burdened by it — unless you are an anarchist.

No, freedom is about doing what one will, where one's will holds sway. My will should hold sway where I am the proprietor, to include my place of business.
Yes, Java compiler translates Unicode chars before compilation (and before many other things).

See this classic example:
http://stackoverflow.com/questions/20383687/how-it-is-possib...
I once saw someone using a "radial" keyboard on an Android device. Unfortunately at the time I saw it, the company had vanished.

I'm using SwiftKey (the non-online version), and I can type pretty quickly after the keyboard has been "trained". I think a combination of prediction and a better keyboard layout would help input speed quite a lot.
Sports Blog of the century
With the promise of great riches, come the fraudsters.

Sad.
It's opening and closing comment blocks.

The Java code does not run between these instances.
Science Says Pizza Can Make You More Productive at Work
OK thanks. Doesn't StartCom bear responsibility for the behavior of the entity they cross-signed for?
Actually the "CEO of mine in south america" thing isn't so far fetched. Except you have to know that a "mine" can be a 5 acre plot of land dredging up mud to feed into a processing machine.

Friends of mine do it each year. So technically they "own a mine in south america".

It's still bullshit puffery though. But you can do it for $20K.
> it taught me everything is breached

Everything is breached. From websites to software to hardware, I would estimate the majority of them can be/have been exploited by advanced hackers.

I'm awaiting the time when we all acknowledge that computers are fundamentally insecure.
Finally, a photo of Isaac Choi

https://static01.nyt.com/images/2016/09/01/business/01STARTU...
Yes, the iPython notebooks are great for reproducible reports. Literate programming, as practiced by Knuth, is a little bit different. The program's output, graphs, tables, etc. isn't intermixed with the text as it is in a Jupyer notebook. A literate program is actually documentation and source mixed together in a web file. Two different programs (tangle and weave) can be run over this literate code. One extracts a (LaTeX) document suitable for publication and the other extracts a program (with all of the documentation stripped out) to be fed into a compiler. The best example I know of is Computers & Typesetting, Volume B: TeX: The Program [1], a 624 page book that is a complete exposition on the TeX program, generated by weave; the same web source run through tangle generates the TeX program itself (the typesetting program upon which LaTeX is built out of TeX macros).

Knuth is a fan of this method of program construction. Of course, he is not only a phenomenal programmer; he is a great writer skilled at explaining complex algorithms and code. I can see why literate programming suits him.

[1] https://www.amazon.com/Computers-Typesetting-B-TeX-Program/d...
I really wonder where they dug up that one!

I'd ask for a refund from that Chinese scrubbing company