skysight-inc/HackerNews huggingface dataset:
Ok, so the generality like LISP/Scheme with a few basic productions/rules and some basic operations could be used to create/represent any levels of complexity. Something like Northhead & Russell's Principia Mathematica.
We can do without most authors who post uncivilly.
If I'm as busy as OP (claims to be), then no way.

EDIT: Think about marathon runners: they drink water and electrolytes. I'm pretty sure I can handle a workday fully concentrated without eating every three hours.
Really happy about the workbench theming. VSCode continues to put out great releases.
>The type isn't as clear anymore.

It doesn't have to be, as the compiler (and linter) will inform of any misuse of the type later on. And any editor worth its salt could even annotate the type right there.
Manufacture IPhones in US to sell in the US.

Manufacture IPhones in China to sell to the rest of the world.

I bet that whats Apple is going to do.
USB 3.0 docks do not have the bandwidth necessary to run an external graphics card. USB 3.1 / Thunderbolt 3 does.
They just bundle the known "essentials" for actual survival (plus carbs), based on the current status quo medical majority opinion. However, thrival (the next strival after survival ;) is more subjective and much less well-studied in terms of: micro-nutrients, co-enzymes, certain protein-chain configurations, preformed vs substitute-for-own-conversion fat-soluble vitamins (DAKE) or ascorbate, etc. Another "complete food that you can drink" would be raw eggs, but in this age and place, that idea freaks folks out a lot more whereas such soy concoctions don't in the least. So, go for it ;)
You missed a major benefit of Soylent... convenience. It is pre-made, pre-bottled and ready to drink. For some at least, time is worth more than the money saved.
Inquiring Minds: Dan Ariely – The Surprising Science of What Motivates Us
I find that the frequency of posts about solo entrepreneurs has increased. Are there any startups working for this niche?
The F117 is an inherently unstable aircraft, which is why it's also maneuverable. Passenger planes are designed to be dynamically and statically stable, they're harder to stall, easier to recover from a stall, are not prone to stall spins, etc.

Whether the main wing or the horizontal stabilizer stalls first, the plane is recoverable (including with a failed powerplant). That's not a given with other designs. As soon as you go with a candard design, you have to ensure the canard always stalls first or you've got an unrecoverability problem.

Existing designs are less complex is what it comes down to.
> For example, Ensure (the commonly cited "alternative") is a supplement - not a replacement.

This is incorrect.

Several Ensure products, including Ensure Original, can be used as a sole source of nutrition.
So does that make England the 0th superpower and maybe France the -1st? ;)
Also, there are optimizations that can be done with fortran that are more difficult or cannot be done with C (see https://en.wikipedia.org/wiki/Pointer_aliasing).
I think it's important to acknowledge that Craigslist simply doesn't have bad design. People just don't understand what UX is all about.
> So the dichotomy between historical fluke and market trends doesn't really exist. Historical flukes are market trends.

On further thought, you're right about this. I was rather inarticulately trying to remark on the fact that the supposed "inevitability" of market trends is always used as an excuse to avoid pro-labor legislation, but never pro-business legislation.

> I hardly see globalism as something that's detrimental to America as a whole

Well, we're increasingly seeing that there's no such thing as America "as a whole". There's capital, who it's good for, and labor, who it may be good and bad for in various ways, but a net bad, I'd say. Good for your 401K and the cost of your iPhone, not so much for your salary or employment prospects.

If you take "good for GDP" to mean "good for America as a whole", then yeah, it's probably good. Problem is where that GDP growth is going.

> you think the US government has been highly influential in developing 'globalism'

Yes and no. I think the gov't has been highly influential in ensuring the gains from it go to capital and that its negative effects on labor are not reined in. Globalization would have happened anyway but the govt's approach to it has resulted in more inequality and dislocation than was necessary.

As for whether the government could have slowed or did hasten the process, hard to say, but I think so.
Tesla researcher unveils new chemistry to increase lifecycle at high voltage
Especially those who were ahead of their time and maybe even died being told their theories were wrong but have since been proven correct.
The article you're looking for is http://www.cs.yale.edu/publications/techreports/tr1049.pdf - Two of the top three (out of ten) solutions were made in Haskell, one by a beginner.
This was posted last week https://www.blendrunner.com
The Brits have engineered some amazing propulsion over the years

They also gave one example away over a game of billiards.

http://www.tdpri.com/threads/for-aircraft-enthusiast-how-a-g...
"employees at the Cyprus office were tasked with creating "fake" profiles to lure men. "They would take somebody's picture and maybe take a snippet of the profile, whether it was an existing one or had been in the past, and make these profiles," she said. "Then they would start sending out messages to men, because the whole business model was that men would pay and women could use it for free."
Despite the hack, the company is still growing. Ashley Madison grew from 39 million users in August 2015 to 50 million users in January 2017, according to a company spokesperson."

Screws over users, still growing. In the case of a cheating assistance website, you could posit that in the case of people that were able to successfully cheat instead of just talk to fake profiles, it was their partner who was screwed over. Thus, whether it's the company screwing the customers over, or the customers screwing their partners over, it's all bad.

Be ethical, with your partner and your customers. May this company and everyone that's profited from it be damned.
Learning AI If You Suck at Math--Part 1
Designing Voice Experiences
>I can't find any details on this experiment though...

Probably this one: http://www.cs.yale.edu/publications/techreports/tr1049.pdf

But take it with some sacks of salt -- it's a single research paper. It should be replicated, peer reviewed, etc to have any merit. It's methodology could be totally crap for example...
What does the Rigveda say about dairy in the United States?
Yes. That single pouch is a significant problem when you generate several a day. They are intended to be used for meal prep, which involves hot water. They're fairly heavy and large, and you have to carry them out with you. You can save a significant amount of weight when packaging your own food by using smaller, lesser weight bags with a separate reusable insulator. Remember, we're talking about people that will pay a significantly higher price for an item that is maybe an ounce or two lighter.

It also gives you a lot more control over portions, which can be an issue as well. There is no point packing more than you are going to eat.

I brought up the salt content not for health reasons, but taste. Many of the ones I've tried have been so salty I've had trouble finishing them even after a day of backpacking.
Whether or not Leninist vanguardist regimes are "true Communism" is a question whose answer depends on context and what Communism one is talking about, but it's irrelevant here because the issue isn't whether Russia had "true Communism" but whether it had a regime run exclusively by peasants.

The Leninist vanguard generally was not peasants, whether or not they were true Communists.
I also think that is impressive, but it is about manufacturing and build quality. I'm talking about engineering design. A Honda has a lot of original and impressive engineering work in it. A lot of very smart people worked very hard to produce that. It's not the same with a Rolex. At HN we are tech savvy so I think we should appreciate that.
> Fortran is fast and has no reason to be worse than C

Finding developers and maintainability. Those are two reasons.
What is the deal with NULLs?
The most obvious source of runaway (as opposed to incremental) improvement would be an AI written by humans that is better at writing AIs than humans are. It could then write an AI even better than itself recursively until diminishing returns are reached, causing a near instantaneous jump in its intelligence.
Production use cases pushed me towards Haskell. What elegance there is serves towards reasoning about the correctness of complex code, however the tradeoff is difficulty in reasoning about performance. You can still get great performance! And I use it for prototyping in the Type-Driven Development style. Strongly disagree with "if it compiles it is correct" but we have great tools like Doctest and QuickCheck for that. I usually write types with DocTest examples first, then implement. undefined with lazy evaluation is really cool for figuring out function signatures first.
I don't think that this is true: OpenHAB, Nexus 3, a lot of the enterprise application servers... One can probably compile a pretty long list of things "running in production" using OSGi.
Kotlin supports coroutines/async/await so I'm not sure why you think it would be so difficult to add it to Java.
We use Haskell in production at lumi.com for our backend/API. We've found it very productive and easy to maintain.
I read the headline and thought:

+ Advanced manufacturing jobs are done by robots.

+ $1 billion builds one moderately sized manufacturing plant (Tesla's Gigafactory is $5 billion [1])

+ There's a scene Austin Powers: International Man of Mystery I wish the press would review before reporting so breathlessly.

[1]: https://en.wikipedia.org/wiki/Gigafactory_1
Thanks. I like GDPR anyway. Makes me think God Damn Privacy Rules, and we're increasingly lacking in effective ones.
Elixir is mentioned on the page too. Does it complement Elm?
I did not realize that Java had implementations in interfaces already. This makes perfect sense why they would add the private method then. Thanks for answer!
As a person who has researched Soylent, I would not describe it as cheap or healthy. Most of the people with opposing opinions seem to think it's a magic weight loss supplement. In reality, the properties that cause weight loss seem to be the low quality ingredients.
My bank's 2FA literally comes on a piece of paper. A set of numbered codes, and the banking app/site tells me which code to use for any given transfer.
It's not a compiler burden because it already has to determine the type of the right-hand side for typechecking purposes. So, the compiler actually does less work in the 'var' case, simply assigning the calculated type to the left-hand side rather than checking against a user-supplied type.
JDK9 has the capability to vectorize a loop with branch inside. I tried JDK9 early release with a simple testing case myself.
> Moreover, trade is always equal[7]. If the US sends China $100 of corn and China sends back $100 of plane, who cares?

That's just narrow-minded economic dogma, and economics is very far from a complete theory of humanity.

For a illustrative example of why it's too simplistic, consider this: people with weapons can coerce people without into bad trade deals. Aircraft production is more of a weapon-making skill than agriculture. If China has the weapon-making skills and the US loses them due to dogma-driven trade specialization, a future China (overtaken by some racist ideology, for instance) could conquer and destroy the US. There are political, military, and other reasons why someone should care about the specifics of what they're trading.
> The line that if it compiles, it’s probably correct is often true.

That is the meat of why Haskell is so great. I've never so reckless refactored code as much as I do in Haskell, I just wait for the compiler to tell me what I missed and go back and fix it up. I'd never do that in C, C++, Java, etc; it'd be suicide.

And while that's still not a great fleshed out explanation, it's a great oversimplification of the symptoms of a programming language with a great type system. And that type system is more or less the only reason to use Haskell.

As other people in this thread have commented, Haskell has fantastic abstract libraries, which let you do abstract things, the most useful of which that I'm aware of/understand is parsing. Parser combinators are a very natural fit for Haskell, and making DSLs with them becomes practically trivial to do.

Edit: I think the author takes for granted the general praise that Haskell gets, and was attempting to temper it with his practical experiences using the language.
Globalism is, and will continue to, happen no matter what the US does. The US needs to figure out how to make it work for the long term. Protectionism won't work. You might as well be a cooper or haberdasher trying to pass laws to keep people using barrels and hats.

People keep trying to either spin globalism as evil or good, but it's neither. It's just something that was going to happen no matter what. The US does not have a say in whether it happens. If the US doesn't figure out a way to make it work for them, then they'll be replaced by whichever country does.

The answer is not passing laws for tariffs or thinking the US can race to the bottom with low wages and manufacturing. The world desperately needs advanced technology and medicine, and the US should be focused on that, not stupidly trying to compete with literally every other single country on Earth on things any country can produce.
"All non-trivial abstractions, to some degree, are leaky." - Joel Spolsky

> In my experience, learning OO design patterns was substantially more difficult than learning algebra, but I think this is mainly due to how CS education is carried out in many universities.

You supported my argument. In addition to this, there are many code academies that pump out graduates with almost no mathematical foundation work. Until that changes, functional languages will always take the back seat.
I think it's possible that the culture barrier during the initial days of social networks might have been the cause here. Cultures/aesthetics/languages are different and so platforms that serve as "one size fits all" (not localizing their layout and options) might not be able to compete with more local options at this scale.
I've been joking lately that there is a new one syllable word for "personal computer": phone. At the current rate that's how the language will shift. I suppose we'll know if people start referring to things like "macOS deskphones" and think "laptop" always meant "laptop phone". :)

It's like those futurist ads from the 50s (and 80s/90s) AT&T that soon there will be phones capable of amazing things everywhere in our lives, except they aren't all AT&T branded and most of them started with the name "personal computer". (Though savor the irony that Ma Bell's legacy lives on in Linux by way of Bell Labs' contributions to Unix.)

Then again, I'm also strongly for renaming 3D Printers to facsimile machines because the word fax is too useful to lose to ancient toner-based modem printers.
That didn't work too well with blackberry in Argentina. It's kind of an extreme case, but there are parallels that can be drawn.
My uncle and Satyajit Ray's son were (and still are) great friends. I met Mr. Ray (senior) a few times, and I remember him as a wonderfully gentle man, who took the time to talk to a six year old me as if I was an adult. He didn't talk down to me, he sat and told me stories.

I didn't know then that he was such a famous man. I just knew him as the sweet man who told great stories - and he did tell great stories! He also asked me about my life (my six-year-old life), and genuinely listened to everything I said. He was just a great guy.

One of my prize possessions is a sketch he did for me - he saw me reading a comic book (Tintin - The Secret of the Unicorn), and asked me to name my favorite character. I pointed to a panel showing Snowy (Tintin's dog) running. He whipped out his pad, and sketched that panel for me. I remember watching with amazement as Snowy came to life!

I still have that sketch, carefully framed. I wish I had been older and gotten to know him better, but I'm glad I met him. My uncle grew up with Sanjit (Ray Junior), and has a treasure trove of stories, but I can't share those.
> Is there an application sweet spot/domain

State of the Haskell ecosystem: https://github.com/Gabriel439/post-rfc/blob/master/sotu.md

The topics are roughly sorted from greatest strengths to greatest weaknesses.
Each programming area will also be summarized by a single rating of either:

Best in class: the best experience in any language
Mature: suitable for most programmers
Immature: only acceptable for early-adopters
Bad: pretty unusable
You have it disproportionately more often with Soylent.

Other food manufacturers go for years, with tens of millions of units sold each day, without having a recall.
> I want anyone to be able to do whatever they want to with my code. That includes developers wanting to create a proprietary application. Telling them they can't is not freedom.

I look on the GPL somewhat differently. I look at it as a means of payment to the community (and to myself by extension for my own work).

I want to be paid for my code and the things I create. But I also want to give back to the community. The GPL allows me both. You may ask, though, what kind of money can I get if I give the code away?

I don't want money.

I want code.

Code for code. That's what I want as payment. I want the code so I can learn from it. So I can make my code better. So I can make the thing I made better, and so I can give that better thing out to others, so they can make their things better.

I could make my code proprietary and "closed" - but that doesn't mean I'll get any payment for it. In fact, it might be copied and pirated. Proprietary code also doesn't allow me to share the code.

Releasing it BSD-style allows me to share the code, but I still might not get any payment for it. Honestly, I don't want the money - I don't need the money.

But code? I can always use more code. I can always learn from other's code. Code is very valuable to me.

Another thing - I know that if I die, or if I stop giving away my code for some reason (by choice or not) - my code can live on, and continue paying back to others in code. I don't have to worry that someone out there won't be able to use the code or run the code because the hardware has changed so much (they might have to recompile, or perhaps rewrite some of it - but they have the code to do so), or if it has a bug, they can fix it with the code.

I look at the GPL as a means of paying for code, and getting paid for code - by being paid in code.
I tried to replicate this and couldn't. It seems this isn't so much a Wordpress issue as it is a poorly-setup-webserver issue.

If your nginx/apache setup is set to have "Host: * => wordpress", you're doing it wrong and this issue affects you.

But if you setup your server as you were supposed to, i.e. matching on the Host (server_name in nginx) to route to your blog, then obviously SERVER_NAME cannot be overwritten, and any attempts to exploit this will result in 404.
> Right, but doesn't this ends up giving SaaS and server side businesses a weird kinda-nonsensical advantage?

Or "appliance" vendors. SaaS and hardware appliances are two delivery mechanisms that leverage loopholes in GPL requirements.
I've been trying out alternate-day fasting (alternating between 500-600 calorie "fasting" days and normal eating days). Primarily to help me lose a few pounds, but also in response to all of the recent publicized studies about how fasting and calorie restriction may have other overall health benefits.

Usually on my 500 calorie days I'll just drink a couple Boosts. I'd like to consider Soylent as an option for the fasting days as well, but from a cost perspective it can't really compete with the other alternatives out there (Boost, Ensure, and various no-name store brands available from places like Sam's Club and Costco). Liquid Soylent runs between $2.69-$3.09/400kcal, whereas high protein Boost (which is not even the cheapest option if you're willing to go with no-name brands) runs at $1.93/400kcal. Going with Soylent Powder can bring your costs down more in line at $1.54/400kcal, but the added hassle of having to mix it yourself doesn't make this a very attractive option in comparison.

I guess what I'm ultimately getting at is, assuming you are just using Soylent to supplement an otherwise normal diet, I don't understand its appeal over other less expensive nutritional meal supplements like Boost and Ensure.
Side note: in the case where you can allow the canard to stall before the wing without significant design compromises, this lends itself to a much less violent stall behavior. IIRC a good example of this is the Rutan Long EZ
SERVER_NAME isn't part of PHP so much as part of CGI. That's where PHP's $_SERVER keys come from. And the values are set by the web server.
yeah, the apples of today are so different from my grandpa's apple that a bottle of soy sludge is a much better choice nutritionally.
Swirling Bacteria Linked to the Physics of Phase Transitions
truecaller is something alltogether evil
Unfortunately my provider doesn't have that for full download for me, I need to drive there and pickup a CD and haven't had the time to do that yet. Plan to get the full file soon!
> reasoning about the correctness of complex code, however the tradeoff is difficulty in reasoning about performance

That's what drove me to languages like OCaml and Rust, which try to solve this tradeoff in a different way: Same thing about strictness and correctnes (despite slight differences in the type system), but lazy evaluation is only provided when explicitly asked for.

The cool thing about OCaml is that you can actually reason about performance, as long as you ignore memory issues (memory usage, garbage collector runs, etc.). Rust is heavily inspired by OCaml and allows you to also reason about correctness and performance of memory usage.
A good decision to focus on closing issues and doing more polish for the past month. The project moves fast, so taking a step back is really appreciated - before it gets out of control (as in: too buggy)
I haven't. I'll check it out—thanks!
A niche that appeals to almost no one and alienates the telcos that manufacturers partner with.

So it looks like the free market is working in this case.
Indeed. There is nothing to indicate that human brains have done anything that can't be achieved with polynomial time heuristic search algorithm.

Most people who have read the "Emperors New Mind" have been surprised that Penrose don't' seem to realize that. He has very strong intuition about consciousness and cognition but he can't explain it to others.
It's one time use. Even they did intercept it they would have it use before the person.
What exactly is wrong with the dialler being an app ?

It allows exactly what the author wants with his specific desire for a dialler that does not rely on play services or true caller.
This vote is important procedurally, but no one knows what the Senate is going to do.

It sounds like this bill won't go anywhere in the Senate, but the ability to make changes to Medicaid and Medicare is a rare thing (need both houses and presidency), so there is a lever for the Senate leaders to lean on.
It really depends on how you define "superpower". There isn't any country that can project force the way the US can.

The EU certainly has the technology to be a military superpower, and a few member countries have relatively powerful land and air forces, but the Europeans don't have the logistics capability they'd need to fight a major war outside Europe, and their collective navy isn't very strong.
Wow I'm a fan of both Satyajit Ray and Herge! It would be amazing to see that sketch. Could you share a picture or scan of it?