skysight-inc/HackerNews huggingface dataset:
No one has really written a paper about the history of all this (I also mentioned this paper [1] in one of my other comments). But if you read the original ML paper [0] you'll see how they developed the language (notably by using ISWIM's syntax as a base). Note also that they are solving a problem with LISP (and dismissing Algol languages entirely) by building in strong types.

[0] http://www.sciencedirect.com/science/article/pii/00220000789...

[1] https://archive.alvb.in/msc/11_infomtpt/papers/the-next-700_...
You are reading into that way too much. The author is just saying the syntax is a lot different than languages you have probably used before.
Maybe there's a paper waiting for the grad student who cracks the problem?
Yeah because in this world Ensure/Slimfast are Dropbox, and Soylent is rsync. The way they make this stuff scares me. The photos of the plant, the mold, the suppliers they use. It's like the paypal of meal replacements, we deal with money, but we're not a bank, they make "food" but they don't really have much quality control.
Application sweet spot is a funny thing, because it's mostly determined by the presence of specific libraries. What Haskell has more than anything is ridiculously general libraries. It's got perfectly good libraries for web development, Postgres access &access, but the only place I'd say it's got a real application-specific strength in libraries is parsing.

Weirdly, what Haskell is good at is generality. Which is much the same as for LISP.

I'd say the Haskell community remains academic/hobbyist, but that's not to say there aren't plenty of people doing Real Work in it.
Melondream is an app written in golang (using gomobile). It's almost entirely native code, with a small amount of java Android framework on top. Not clear how to translate such a thing into a webapp.

Surely you can imagine applications beyond pornography! The "soft1" server has tens of thousands of photos, indexed by content. Each photo has a web link (the VISIT button).

As for erotica, you can for example search this huge catalog of nudes by genital (vulva) structure. Find one you like, then see who it's attached to. Yes it's depraved, but...

Or faces. Search for faces with a feature you like.
Eh? Many mental illnesses would be classified as causing "suffering", yet the don't require nerves.
Maybe obama should have too instead of planning to take 400,000 dollar wall street speeches.
Does anyone know of any clinical trials showing health benefits of Soylent? or adverse health consequences?
The unfounded hostility that the mere existence of Soylent brings out of otherwise level-headed people is always a great source of amusement.
Poor, starving, and desperate people don't have the luxury to worry about environmental protections.

Their governments are going to work to improve their standards of living one way or another. If they do it with our cooperation, with our more efficient technology, and with our more efficient production practices they will be able to grow in a way that is less environmentally damaging than the Industrial revolution was.

Enriching them and giving them access to education and giving women reproductive choice is also the only way we are going to foster the necessary reduction in birth-rates we will need to live on Earth sustainably.
Do you need an MBA to start a startup
I feel mobile OS developers should create native multi-auth software on tbe phone.
The "Recommended Serving Size" for these products can effectively be considered as just another part of the marketing. Comparing them based on their superficial face value is as useless as comparing apples and oranges, you have to actually calculate the amount of nutrients per quantity of mass if you want to compare them thoroughly.

Right off the bat, it's worth noting that Soylent has an unusually large serving size of 106-142g [0], compared to the products listed above which have an average serving size of 30-40g, and therefore position themselves as being 'better deals' because they can claim to have more "servings". But otherwise the nutrient ratios are quite comparable and it's disingenuous to suggest otherwise.

[0] https://faq.soylent.com/hc/en-us/articles/204409635-Preparin...
To name a few notable ones beyond the B-29:

Tu-144, Tu-160, Buran and Yak-38

Of course, we don't know for sure what happened with these. It's unlikely they were cloned the same way the B-29 was (rivet for rivet) but they were very likely products of the espionage environment at the time.
1. US government is preventing Chinese acquisition of both US and foreign companies. [1]
2. Boeing's assembly line in China is Boeing's only oversea factory. All planes assembled in China are for the Chinese market. [2]
3. US laws forbid the State Department issuing me US visas with valid period longer than 12 months because I did high performance computing during PhD (studying parallel computing is not a crime!). Last time when I worked for a major US company, I had to spend months to get clearance to have access to some stupid patent data which is 200% intended for immediate public use.
4. US bans a long list of parts/components to be sold to Chinese/Chinese companies. For example, some public Chinese universities (e.g. BUAA) which have project fundings from the Chinese government are not even allowed to buy DELL desktop computers! US bans AMD from selling its high end GPU to the Chinese government, even when AMD's high end GPU is help designed in Shanghai by a large team of Chinese engineers [3][4].

[1] https://www.bloomberg.com/news/articles/2016-12-02/obama-sai...
[2] http://www.thehindubusinessline.com/economy/logistics/boeing...
[3] https://www.pcgamesn.com/AMD-Vega-design-complete
[4] http://wccftech.com/us-government-bans-intel-nvidia-amd-chip...
The answer is of course deregulation.

Not only is labour cheaper in China, everything is. The USA is uncompetitive not because we don't have technological prowress, or enough land, or enough resources; it's because our laws have made US manufacturing too expensive. There is no other answer.
I just don't like mixing a ruby static site generator with node. I ultimately just moved to Metalsmith for site generation to use a purely node framework...
Show HN: SMASH.TECH – Dope New Tech Site
Sounds a lot like Mozilla's xmlterm :-)
Snapchat Wants to Make Prestige TV for Your Phone
I used to think academic code was a hack fest. Then I entered industry. I would not be so quick to shit on scientists. They may not be language gurus writing with the latest idioms and toolkits but there is a lot of carefully analyzed and "correct" software.
Blizzard Entertainment Group had better security for imaginary currency for five years than most financial organizations have today. They were handing out key fobs at conventions.

It's not that they aren't available. It's that only a couple places (like online brokerages) even bother.
With Google Authenticator you would have to use your one-time codes to reset it if your phone is lost. With 1password the 2FA is no longer linked to the phone, this way you don't have to reset.
I wonder when we will move away from the current plane designs, they all look the same for decades now! I think a change like the one in automotive industry in the last century would be welcome. I'd personally love to see some more 'edgy' shapes with less curves (ala F-117).
Define core functionality. We are carrying computers that happen to have a radio that can communicate with cell towers. The phone functionality is just as "core" as any other service that the OS exposes. (Camera, Web Browser, GPS)
Every time I've tried to dedicate time to really learning Haskell, I've come away with the feeling, "If I was a lot smarter or had a lot more time to dedicate to it, this would be a fantastic language to develop in after about 2-3 years."

The way that functions can compose in the hands of a gifted developer is truly elegant. That said, I'm not sure it's a skill that translates well to the general development community (and maybe that's fine?).
I wonder what makes people think that an AI needs to be able to code to improve itself. I don't see infant brains "programming" themselves to get better.

The next step in programming is probably not anything like programming. Machine learning certainly isn't. Creating a neural net that achieves superhuman image recognition takes 30 lines of code in keras. And terabytes of training data. But the programming doesn't look anything like someone in the 90s would have thought. Except maybe for a bunch of AI researchers.
AdBlockers are blocking more trackers and third party js than ever before. I've seen multiple pricing tables, call to actions and forms be entirely screwed up by an ad blocker trashing VWO, Optimizely or similar.

Server side tests obviously sidestep this and are likely both more performant and more accurate.
Serious question. What is the second superpower? EU?
> Meal replacement shakes like Ensure are meant to be supplemental to food.

I wish people would stop saying this.

There are many products, some are Ensure brands, that can be used as sole source nutrition products.

They don't market themselves like that to the general public because they're big companies with lots of lawyers who are cautious about that kind of claim.
I think no, it's theft whether you do it once or many times; you are stealing money from investors who cannot make a decision fairly because they don't have the "private" information you do. Insider trading is theft.
Cop fakes body cam footage, prosecutors drop drug charges
You know the reason the F-117 is "edgy" is to reduce radar cross section? And that there are better ways to do that - look at the B-2, F-22, or F-35.
The point is that it's not inherently inscrutable—it's different. And being different is a virtue: at the very least, you'll learn something from Haskell, and it's going to let you do things other languages won't. It's not just an Algol reskin.
From that last question, I imagined an AI having a hell of a time trying to figure out programming. Haha..
Every source I've found indicates that my maintenance caloric intake should be 2400+ calories. Where do you get your information from?
> You're betting on us figuring out food?

Things like Soylent are already here. It's not vaporware. Yes it's not perfect or ideal but it's an answer to really inefficient food production whose water and nutrient needs aren't sustainable for a growing population.
I think I can safely say it isn't used heavily in many production environments but it is used heavily in some. For example, one of Facebook's abuse systems, dealing with 1M requests per second is written in Haskell: https://code.facebook.com/posts/745068642270222/fighting-spa...

As for particular places where it shines, I don't know of any in particular. I remember when taking my Declarative Programming course in university my lecturer loved to talk about an experiment the military did where they challenged a few teams to implement some kind of radar system in their chosen language and evaluated them based on time taken, correctness and code complexity (LOC) at the end. The Haskell team performed very very well. I can't find any details on this experiment though...
Typically, you are asked to print out backup codes when you enable 2FA. In addition, you could copy these backups codes into your password manager and sync your password file with multiple devices, so whenever one device is gone you can access all your passwords, including 2FA backup codes from other devices.
China is #1 in the world economically, and exports Baidu [1], WeChat [2], etc. Baidu has had a Silicon Valley presence for years, and Tencent, WeChat's parent, opened one last week.

WeChat could be a real threat to Google and Facebook. It's comprehensive; you can do messaging, banking, shopping, and taxi calling from inside WeChat. It has sub-applications for other services. It's a post-desktop world. Google and Facebook came from desktops and crammed down to phones; WeChat was born mobile.

[1] http://www.baidu.com/
[2] http://www.wechat.com/en/
I hope that you're right, but it's definitely a big assumption on your part that China (and, of course, Chinese culture in general) will naturally head down the path of caring about the environment in the same sense that Western countries and cultures have started to.

There are different levels of scale at play that make very different tactics work in Shanghai vs Vancouver; in the former there's enough difficulty ensuring that all the logistics work to ensure the populace is not starving that other considerations will necessarily have to go by the wayside.

We also have to consider history and cultural forces, which have inertia, whenever we consider social change over time. The western world is becoming cleaner largely by virtue of each succeeding generation encouraging its children to take stewardship of the environment seriously. Even with this tendency, we still pollute terribly.

I'm not convinced that there is much of an environmental shift in Mainland Chinese culture presently, at the very least in the city cores; and if there is, I suspect it will be generations before it's taken as seriously as it is here, which is still insufficient to actually stop bad things - and still undereducated as to what risks are reasonable vs. simply protesting whatever has the right virtue-signalling associations in the current year.

When you say:

> As China becomes richer

...there's an implicit assumption that "becoming richer" is just a natural, unavoidable, guaranteed outcome of the modern world. This is another assumption, and one I fear would be even harder to justify than Chinese culture becoming environmentally focused in a short enough time to matter.

There's no guarantee that resource extraction at the current rate needed for wealth to outgrow population growth is a guarantee. This means there's no reason to assume that the per-capita average GDP or standard of living is going to rise forever, to the point where environmentalism (in the sense that it's often more expensive) is going to become not only feasible, but fashionable. Frugality may overcome the natural human desire to display wealthiness, if the threshold is too high for the average person.

Lastly -

While your solution may very well become the case in the long term, and again, I hope you're right because it's truly the best outcome, we still have to deal with environmental ramifications today, both of past decisions and of decision being made right now. It's probably better to stem the tide earlier rather than waiting for it to just naturally stem itself.

This might mean "environmental protectionism", in the form of heavy tariffs against goods from countries with lower environmental standards and/or poor enforcement.
Here Alex is specifically talking about retention and not growth. He uses ad sales as an example and talks about the first 250 days as a snapshot of what retention looks like. Recall earlier he mentions that if you have a social network and your retention is 5% it probably isn't going to work out, but if you have a high end apparel business 5% retention could mean a good business.

The graph he presents has a blue line which demonstrates number of people in the system (100% today, 0% 250 days ago).

The pink line is the total revenue of everyone using the ad service on the 30/31st day divided by the number of signups 30/31 days ago. If the curve starts declining, why is it declining? Does the advertiser need to be pinged with email every week? Etc. So the goal is to make sure the curve asymptotes early on so you know it is a viable business. You could imagine Facebook trying to sell apparel with "FACEBOOK" on it and the retention curve would decline; not a good business.

After this he begins to talk about growth. You can’t have growth without first identifying product/market fit.
Eh, that's cheap. A citizen has far less control over their government than a corporation's managers over their treasury or an individual over their own finances. So your argument applies far less to a government than in the other cases. In any case, politicians actions do not equal the will of the people, as anyone acquainted with a Republican form of government should know.
Think Company | Philadelphia, PA | Full-time, 3-month contract | ONSITE

Think Company is a User Experience Research, Design, and Development firm located in Philadelphia, PA. We're seeking experienced JavaScript developers interested in a three-month on-site engagement with one of our clients in Center City.

During this project, you'll work with our developers to build out a large greenfield React/Redux/D3 application to integrate with the client's Sitecore CMS.

Please check out this and other current listings on our careers page: https://www.thinkcompany.com/careers/

To learn more about Think Company, including our organization's core values: https://www.thinkcompany.com/about/

Interested in learning more about the role? Email tj.nicolaides@thinkcompany.com or apply directly at this link: http://tbi.applytojob.com/apply/WHCtMHX1Y9/ReactRedux-Develo... - thanks!
Waiting for one called 'FlashDrive'
By analogy to fix:

fix f --> f (fix f)

That is, to compute the fixed point of some function f, we give f access to the fixed point (i.e. fix f) in order to compute the fixed point.

Consider f is strict, and that we try to run this:

fix f --> f (fix f)
--> f (f (fix f))
--> f (f (f (...)))

Why? Because if f is strict it has to evaluate its argument before evaluating the body.

On the other hand, if f is non-strict, we can evaluate its body without evaluating its argument first.

mfix generalizes fix to monadic functions. When we have monadic functions, we're usually dealing with side-effectful computation, so we want to make sure that we only force the monadic action f once, so that the side effects only run once.

---

Another question to ask is "what is fix even useful for"? fix is how we introduce general recursion into a language. For example, the lambda calculus has fix, except it's called the Y combinator. Compare:

Y f --> f (Y f)
fix f --> f (fix f)

The lambda calculus is Turing complete because it has this general recursion.

fix is often used in smaller toy languages to also make them Turing complete, because this form of recursion is straightforward.

While Haskell has recursive function definitions, fix (and mfix more generally) are sometimes useful in their own right.
So build your own. http://www.instructables.com/id/Build-Your-Own-Smartphone/

Manufacturers are under no obligation to provide you with a device to your particular specification, unless of course you are the one paying them under contract them to do so.
Oh, Yandex... So lovely.

Of course if NSA has my data its only fair that FSB also gets some too...
They want them just as much but don't have nearly as much to offer in return.
GPL enforcement of said wifi routers is the _only_ reason we have drivers for several wifi chipsets. Perhaps ironically, the BSDs benefited from this too.
Exactly - they can just be towed outside the environment.
The first order Peano axioms are not categorical but are recursively enumerable. The second order axioms are categorical but not recursively enumerable.

There are statements that are true in Z but not true in a non-standard model of the first order axioms. Such a true statement is not something that can't be proven true. It just can't be proven true using the first order system.
Where is ilovevitaly when you need him?!
It's not like you avoid the problem by going to languages with less foundation in math. You just tend to end up with leaky abstractions (which break the laws found in this math disdained so much) and hard to maintain code (technical debt). It might be worth the trade off some times but we do waste a lot of time on this. Probably more than it would take to learn these concepts.
that would have changed nothing--ie, the $1,000 limit is AirBnB's rule for Brazilian credit cards used to book US properties, i inferred, plus he had access to credit cards provided by family, co-workers, et al.

unless you mean by "get a credit card", get a US credit card (which i suppose means a credit card issued by a US bank), then indeed, that would have solved the initial problem (of the $1,000 limit) and allowed him to book his first choice.

but is this reasonable? If a US citizen travels to Brazil should they have to get a credit card issued by a Brazilian bank?
I would make the exact opposite argument in fact.

I would argue it is entirely irrational to perpetuate this bizarre notion that living in a prosperous nation is some sort of original sin that must be atoned for by self-flagellation.

Prosperity is not a finite resource. I believe equilibrium doesn't necessarily have to come at cost to anyone.
My experience out of four AirBnB stays was that two were as advertised and two were complete dirty slums, nothing like the photos or reviews suggested. We had to leave and get a hotel. The reviews were all 5 star raving about how beautiful, amazing, etc they were with 40-50 reviews each.

Has anyone else had this experience? It made us unable to trust the review system because in this case it was so clearly rigged somehow. And without being able to trust the review system AirBnB is next to useless.
Ebates | San Francisco, CA | San Mateo, CA | Onsite | www.ebates.com | VISA

Ebates is a profitable, high growth e-commerce company based in San Francisco. We offer a casual but fast paced environment where creativity and effective teamwork and collaboration are rewarded. We are changing the way people shop online, and we strive to provide the best possible customer experience - not to mention cash back on every purchase, with no strings attached. In 2015, members spent over $5 billion on Ebates' websites and since the inception of the company, have earned over $500 million in cash back. During the peak days of 2016, 7% of all online shopping went through Ebates!

I'm currently a leading the iOS team at Ebates and we're looking to grow the mobile team with both iOS and Android engineers.

Contact me directly via ydyrenko [at] ebates.com

We have a lot of other open positions throughout the rest of the company - https://www.ebates.com/jobs.htm
Study to show yourself approved
It’s inevitable that many of us would have at one point or the other experienced the hard knock of failure or rejection during our lifetime. Failure is often misinterpreted by many as a stopping point or a place where we throw in the towel or hang up our boots, instead of it simply being a checkpoint to gain knowledge and understating on how to approach the task at hand in a better way.
Gaining knowledge about a goal, purpose, plan or the changes we want to see in our life or career helps us to either avoid failure or acts as an encourager to us when we find ourselves at the point of giving up.
Join me this Friday at 9pm GMT when I discuss the importance of gaining the proper knowledge in any area or field of desire we want to achieve, the knowledge that will enable us to build confidence and a solid frame of belief in ourselves, towards achieving or plan, purpose or desired outcome.
Facebook Page: http://www.Facebook.com/Tonywilliamms
YouTube: http://www.youtube.com/c/Tonywilliamss
Instagram: @tonywilliamms
Twitter: @tonywilliamms
The USSR was the second superpower.
The USSR no longer exists and there isn't currently a second superpower but I think of it like spouses.

If you're married and divorced twice, when you marry again you may have only one spouse but that is your third spouse.
A SaaS Landing Page FAQ
> Only one of these is a "chemical" is the vernacular.

The vernacular is wrong in this case and encourages ignorance. "Preservatives", "dyes", "perfumes", "thickeners", and "artificial sweeteners" are all words that everyone understands. We can say "artificial ingredients" instead if we want a catch all. The English language is really expressive.

"Chemicals" is a buzzword used a lot by hucksters to push sales through pseudoscience. We must demand better and more specific reasoning than "chemicals" if we want the words "shown by science" to be meaningful as well.