skysight-inc/HackerNews huggingface dataset:
I guess you're right and I'm wrong- the lambda calculus is not my specialty really. I know for sure that it's used in semantic and discourse analysis in computational linguistics [1] (which again are not my specialty) but, admittedly, I am a bit fuzzy on the dates.

What I had in mind in particular was the application of concepts from formal language analysis to natural language processing, which wikipedia confirms started in the 1970's with the work of Richard Montague [2]. Somehow I had convinced myself this work hails from much earlier, around the time of (Chomsky's) Syntactic Structures - but that again is from the late '50s. Anyway, this kind of analysis does make use of the lambda calculus and category theory _today_ but perhaps Montague's early work didn't specifically do so.

Like I say the lambda calculus is not my specialty and I'm always a bit surprised when I realise how far back Church's original work goes. Considering how long it took for the relevant concepts to percolate down to the mainstream of programming languages, that is. That should help explain my confusion with the dates.

As a side note- a lot of what I know about semantic analysis is just "lore" - things I've picked up here and there while looking at structure, which is my main dish usually. Sometimes I struggle to point out how I know some things I'm sure I know :/

Edit: I think my reply to the original question, about why Lisp was used in computational linguistics, is mostly correct, even if I got my dates wrong: using formal logic tools in analysing meaning in natural languages was popular around the time Winograd wrote his thesis and he would have leaned heavily on it for SHRDLU. I'm not getting the dates wrong here, either- Alain Colmerauer and Definite Clause Grammar goes back to at least 1972 and he didn't just come up with the idea out of nowhere, there was a lot of activity in logics and grammars around that time.

_________

[1] As a for instance see the preface on this ebook (Computing Meaning) on google books: https://books.google.co.uk/books?id=nyFa5ngYThMC&redir_esc=y

[2] https://en.wikipedia.org/wiki/Montague_grammar
Yes, and check out guides by other naming agencies as well. There's a book called Don't Call It That, which I recommend.
There's got to be a good reason why though?
They are legitimately useful, but they are also legitimately harmful by creating needs that you didn't have.

They are categorically not just about informing people.

And saying you received value from ad-supported stuff strikes me as very backwards. You still pay, but you pay through being manipulated into buying stuff you don't need.
The Hidden Sexism of How We Think About Risk
This format is more akin to RSS than to a programmatic rest API. The main goal is to be able to avoid the pitfalls of parsing Atom and RSS feeds. Both Brent Simmons and Manton Reece are quite active in making decentralized alternatives for self publishing for which RSS is the current backbone.
Climate Change Is Forcing Trees to Move Northwest
Huh, that's a really useful tip, thank you.
Cancer immunotherapy may work in unexpected way
The fine is not due to any antitrust laws being breached, but because FB mislead authorities by providing incorrect information.

> Indeed, the clearance decision was based on a number of elements going beyond automated user matching.
> Lola had the freedom to choose when she was deciding to move to the US.

She agreed to go based on lies and false promises. She was emotionally manipulated into moving.

> She also had freedom to choose when she was deciding whether to keep working for that family. If she wanted - she could walk out any time.

Having "choice" in name is one thing, but actually being able to execute that choice is another. There are several points in the original article that illustrate that even if she was given a choice, or could have theoretically taken matters into her own hands, she was constrained by her lack of funds, illiteracy, lack of US citizenship, lies told to her by her slave masters, and just plain fear.

Sure, slaves in the South back in antebellum America could "choose" to get out of their situation, and many did... and often it resulted in injury, death, or return to their masters, where they were further brutalized. While the situation may not have been the same with Lola, that does not make her in any way less a slave.

> Lola also wanted to keep working even when she retired and was even discouraged from working.

So what? Kidnapping victims who experience Stockholm Syndrome often feel emotionally attached to their kidnappers and want to stay with them, but that does not make them any less victims of kidnapping. Lola's actions at that point were in the same vein.

> Calling that relationship "slavery" is not fair to actual "slaves" who were forced to work against their will.

She was forced to work against her will. Period. Any other reading of the original article is pure fantasy, and I'm absolutely appalled and disgusted that so many people in this thread are acting as apologists and downplaying the severity of this situation.
Yes, I was shocked that earlier conclusion was left standing. That's like being caught robbing a bank, but let to keep the stolen bags of money and just ordered to pay a parking ticket for a getaway car waiting outside on a sidewalk. That's a very bad precedence and message to future deals, that it's OK to ignore EU laws if you are ready to pay small (comparatively) amount of money for it.
iPhone 8 Real Images Leaked Online (Final Design)
I think it's the underlying software that powers SourceForge itself. At least, that's what I gather from some pages on sourceforge.net displaying "Powered by Apache Allura" inside the footer.
Nice music. I'm a sucker for Bach.

The website though, ...

Won't let me view anything until I use Landscape mode on a mobile device. It's MY device and I'll use it the way I want. I guess I'll watch it on YouTube, which isn't so dictatorial.
I fail to see how the distinction matters. If you are treated like a slave, act like a slave, required to do a slave's work, and aren't compensated and are coerced into giving up your freedom, then you are a slave. The legalities or formal relationship is irrelevant. The de facto nature of her slavery is all that matters.
Yet they could use AppCode by JetBrains if they wanted.
The Kotlin/Native compiler produces standalone executables that can run without any virtual machine.

> https://blog.jetbrains.com/kotlin/2017/04/kotlinnative-tech-...
Millions of people goes to the gym and repeat voluntarily again and again the same movements. Moving weight is painful so, why they do this?

To feel better, to brag, to fight against stress, to improve their ego or impress the opposite sex. Several social reasons to explain this strange behaviour.

When dolphins jump, leap, chase and obtain some fishes and human approval as reward they are entertaining humans of course.

Is this bad? well, visitors pay their food, and the pool filters that keep the water clean, and the vets... but this is not all. They are exercising also. Some people says that dolphins are sad for this. Well, It seems that nowadays everybody is the true and sacred representant of dolphin race in the earth, so I can jump to that train also. Dolphins can and probably enjoy the play, the cooperative chase and the interaction with other dolphins and humans. Why? Because exercice leads to serotonin and adrenalin and this is known to have a positive effect in the mood of a vertebrate. More serotonin released by your brain will makes you a happier dolphin or guy. Trained dolphins have also the change of keep their brain active solving problems, feel better, brag, improve their ego or impress the opposite sex.

Otherwise the dolphin or seal would snooze in their pool for entire weeks without no stimulus at all and this "solution" would be the definition of animal cruelty.
Judging by the outcome, he's done a really great job on Silicon Valley.

But you sound like you're falling for Survivorship bias.
Seems like a slightly unfair comparison. Training the compressor moves data from the images into the compressor, making the bit per pixel evaluation slightly more iffy.
I think showing them as bars with different heights is more illustrative, like: https://www.toptal.com/developers/sorting-algorithms.
Similar colors are hard to distinguish.
Ok so we are talking about colleges that are so bad they don't let you get accreditation for important professions. Not sure if it's what I'm thinking about, but are those the "community colleges", liberal arts universities and stuff like that? In any case you can't study "what you want". You can't become a doctor and I'd guess not an aviation engineer, architect, etc. and expect employment in your field right? Not without going to a "proper" school on debt. That doesn't happen in Europe. There you can get into all those degrees on ~0 cost. For some you need some academic record but I'd argue that's a good thing. A very bad student is never going to finish medicine anyway.
WanaCrypt0r Ransomworm
Grow Your Healthcare Organization for IoT
Nitpick: REST is very well defined. It's not just a protocol, like some people insist.

Other than that, fully in agreement.
This works sooo well on mobile, loving this!!!
> We have a lot of both fe an ni.

Nitpick - "Ni" stands for Nickel. The magnets described in the article are Iron Nitride - that means Iron and Nitrogen (Fe16N2), not Iron and Nickel.

Your point stands - Nitrogen is extremely abundant.
And the massive technical undertaking of making the Android framework work with a none Java interoperable language?

Kotlin was already mostly working with Android thanks to a community effort. This announcement just gives it Google's blessing and gives you all the Kotlin tools by default in Android Studio. Going forward they'll likely be working closely with the Kotlin developers, but this was primarily community driven.
High temperature superconductors are what MRI needs.
Physician age and outcomes in elderly patients in hospital in the US
Thank you! What platform are you on and are you using the browser version or the native app?
thanks for the recommendation, I'll add it to my reading list!
I thought the same thing. It's like having to pay £1 extra on a £200 purchase - sure, just it add it to the bill.
> You don't get to tell people what to name things just because you're offended.

Sure you do, and you get to say your reasons too, refuse to adopt something based on those reasons and try to persuade other people and organizations to accept your reasons. You even get to apply mild sanctions - like not buying things from them or discouraging others from interacting with the person who did the thing that offended you.

You just don't get to forcibly compel anyone. If they disagree with your reasons and don't care about upsetting you, you can't make them change.

It seems that a lot of people want not just freedom to offend with their speech, but also freedom from the reasonable consequences of offending (including responding speech), which is even less coherent than wanting freedom from offensive speech.
Oppo A77 Launched in Tiwan with 4GB RAM, 3200mAh Battery
Chinese smartphone manufacturer, OPPO has launched a new smartphone called ‘Oppo A77’ in Taiwan. Oppo A77 is a mid-range smartphone with a price tag of NTD 10990 (Rs 23,414 approx). Main highlight of the phone is 4GB of RAM and a 16MP selfie-camera. The phone will go on pre-order in Taiwan on Friday, May 19 and will be made available starting May 26.

Oppo A77 will be available in two different color variants Gold and Rose Gold. The smartphone sports a sleek unibody design, only 7.3mm thick and weighs 153grams. Oppo A77 runs ColorOS 3.0 based on Android 6.0 Marshmallow operating system and sports a 5.5-inch full-HD (1080×1920 pixels) In-Cell display, the phone is is powered by a 1.5GHz octa-core MediaTek MT6750T SoC and offers 4GB RAM and 64GB internal storage which can be further expanded upto 128GB via microSD card.

In terms of camera, the Oppo A77 comes with a 13MP primary camera with f/2.2 aperture, PDAF, and dual LED flash. On the front end, the smartphone has a 16MP selfie camera with f/2.0 aperture with Beauty 4.0 and Portrait Mode with which the phone is able to create a depth-of-field effect and give background blur feature. The phone is powered by a a 3200mAh battery, and the connectivity options of smartphone include, 4G LTE connectivity, Wi-Fi, Bluetooth, and GPS, hybrid dual-SIM support. Additionally, the phone has a fingerprint sensor that is embedded into the home button.
Web Components in May 2017: Polymer, Polyfills, Google/IO
Behind the success of Kwai, the biggest social video sharing app in China
TRAI Suggests Aadhaar EKYC for Internet and Broadband Connections
Telecom regulator TRAI on Wednesday recommended the use of Aadhaar-based eKYC verification for subscribers of fixed line, internet and broadband connections, as in the case of mobile connections.

Telecom Regulatory Authority of India’s (TRAI) recommendation, if accepted by the Department of Telecom, would make the authentication process fast and reliable and lead to substantial savings for the industry.

“…the authority recommends laying down an appropriate format (Customer Acquisition Form) for verification/reverification of all subscribers (including fixed line) availing Internet and broadband services and adoption of Aadhaar-based eKYC service, similar to mobile connections, for their verification,” a TRAI statement said.

TRAI had received a representation from the Internet Service Providers Association of India (ISPAI) to extend Aadhaar-based eKYC authentication to ISPs for broadband and Internet connections also, as is currently the case with mobile connections.

“ISPAI has stated in their letter that use of such service for authenticity of customers for broadband and internet connections will be fast and much authentic as well as save time and cost,” TRAI said.

While the government has prescribed CAF for verification of new mobile connections using Aadhaar based eKYC services and for re-verification of existing subscribers, TRAI noted that “so far this requirement has not been prescribed for the customers of internet and broadband as well as fixed line”.
I understand pointers conceptually. It's the syntax (in C specifically) that is giving me trouble. I am fine with pointers in ASM.
..and that's a good thing! Monopolies are only good for their owners.
What surprises me is that Netherland, while praised for doing the most to fight slavery, is, at #50, ranked lower than the US, which I believe has forced prison labour.

Maybe it has to do with prostitution being legal here. You'd expect licensed and regulated prostitution to reduce slavery in prostitution, but apparently it's still a serious problem. Still, 17,500 people in slavery? That's a lot. I'd like to know where they got that figure.
Telnet mapscii.me
$ telnet mapscii.me
Uninhabited Pacific island is covered in 38M pieces of plastic trash
> I suspect `0..=n` would work similarly well, but I've not seen a real language to ever do that yet

This could be extended to cover `0=..=n`, `0<..=n`, `0<..<n` and `0<..=n`.

You can actually define that syntax in Haskell:

Prelude> let a =..= b = [a..b]
Prelude> let a <..= b = [(a+1)..b]
Prelude> let a <..< b = [(a+1)..(b-1)]
Prelude> let a =..< b = [a..(b-1)]
Prelude> (1 =..= 4, 1 <..= 4, 1 <..< 4, 1 =..< 4)
([1,2,3,4],[2,3,4],[2,3],[1,2,3])
As another poster said, iron's theoretical max is twice the currently available rare earth strength. It's apples and oranges.
Tips to deal successfully with tight project deadlines
Working on the tight project guidelines is of course not easy. You need to work on a number of parameters in order to make a successful delivery. Keeping some of the considerations into the mind can help do the job with ease.
Whenever a company says "one way hashing algorithm" without specifying the algorithm, we should all assume it's MD5.
Criticism is not hate. You need to distinguish these two. Until you can, there's no point in continuing a debate.

I hope the responsible people at Microsoft are better at receiving and processing the information regarding their products and the problems with them.
Princess Mako to lose Japan royal status by marrying commoner
The benchmark I use is "Is it probable that this app might become shared between projects?"

Using a Django 'app' for this makes sense. If it's generic enough that I might consider moving it into it's own repo then it's probably not going to be heavily intertwined with the rest of the project.
Agreed, that is a great article. Interesting and really well-written.
I really don't think these things should qualify as news, It's just a phone for christ sake, It will be out when it's out.
Maybe it was just bad luck. But 2-3% failure rate sounds very high, can you provide a link with more information?
But they did...

> Badly formed XML? Check. There might be badly formed JSON, but I tend to think it'll be a lot less likely.

The problem with XML is mostly that it is a very complex format so the bugs are more probable and there are more pitfalls.

> Need to continually poll servers for updates? Miss. Without additions to enable pubsub, or dynamic queries ...

They actually did add tags to enable WebSub (previously called pubsub) so there goes that. For the other concerns, I think it is not the formats job to care for partial or incomplete data. Nothing prevents you to have a dynamic link with a "updatesSince" on your webpage and serve all of the articles that were added or updated after that. Nowhere, the format specifies the limit on number of items. It also incorporates paging out of the box so you could bubble up any old articles.

> Complete understanding of modern content types besides blog posts? Miss.

The point of this is for the open web, by definition nobody can anticipate all formats. Rather than fill the spec with tweets, facebook and other types, they have opted for the least common denominator and added a specific way to add extensions. This makes way more sense.

* An understanding that separate but equal isn't equal. Miss.

Nothing actually prevents you to leave the content fields blank and rely on the reader to pull the format. But for this kind of usage there are other methods. Personally I prefer content delivered in the RSS precisely to avoid to have to deal with customization of content formatting. JSON feed HAS a way to specify formatting though, it's called HTML tags. No need to reinvent the wheel here.
Not really.

As long as the decompressor needs just an image file and no other data, it's a fair game.
(not affiliated) we are using compute engine and response time are great. Nothing we can complain about.
Honestly, I can't think of anything that is not bullshit. Having to declare a new variable for each parameter that you need to manipulate makes the code a lot messier.
Rest is effectively a concept, and its up to developers to follow the rules it sets.

You can't take your codebase, add some glue code to a REST module, and know that it will be usable by any other REST consumer/client, because no one follows the guidelines exactly the same way.
I have found http://www.betterexplained.com very fascinating (no affiliation).

The author, a person also interested in programming, comes up with intuitive ways to explain mathematical concepts.
Pneumatic actuators
Exactly the line I was wanting to say, but did not want to sound too negative
What's the paradigm?

In translate it replaces a naive translator's job. In speech recognition it gives you a new-ish interface to systems.

In prediction and personalization it gives you what you likely want. (Local weather, local traffic info, local news, in the language it knows you understand, in the format you prefer, at the time it think you most likely want it, etc..).

It puts some "smart" into things. But translate is just a smart dictionary, it's not a real translator, for that we need stronger AI (something like the Jeopardy playing Watson + Google Knowledge Graph / FreeBase + language translation + it should ask questions if it doesn't understand something).

ML is amazing, but it's just a slow march toward more and more adaptive smarts (general intelligence) in a box (hence artificial). And there's probably a tipping point for that. When it can start to learn, or program itself, blablabla... ( https://intelligence.org/2013/04/29/intelligence-explosion-m... )
Ground truth assumed:

- founders "Rich" and "Poor" have 50%/50% split, with zero investment so far.

- they raise $3M at a $4M pre-money valuation. This is highly unusual for a "seed"/"pre-seed" stage, but not unusual if they already managed to bootstrap, have paying customers, etc.

- cap table is now: 3/7=~42% investor, 2/7=~28% Rich. 2/7=~28% Poor. (This is your first mistake: poor's stake in the company is worth $3.5M but rather $2M, on paper), and his 28% actually controls ~$850K of cash (assuming perfect democratic voting rights).

1. I am not saying that. I am saying that if the rich founder makes a $500K offer (5 times what the poor founder can afford), the poor founder will easily raise those $500K, because they control about three times as much in voting power. Any offer significantly below $3M * (4/7 * 50%) =~ $850K, e.g. $500K, means that one can raise $500K, and "buy 850K" with it. So the offer, even by rich dude, is guaranteed to not be below $850K. If the company has tangible measurable business, and the real worth is indeed $2M, then the same would be true for any offer significantly less than $2M.

2. Not, they would not. They might buy the founder out themselves, perhaps through the company, but they would not give a carte blanche for that.

3. It is possible to raise money for that, but it would usually be in the form of bonds or loans (essentially different mechanics for the same principle), not in the form of equity.
-sigh- no version for Linux.
I brought some name ideas to MTurk and asked 200 people for feedback. Very glad I did this. Was fascinating seeing similar comments come up repeatedly but entirely independently - comments I hadn't anticipated. I presented seven names. Of the best two, one was much more popular than the other, but the things that people who liked the second name liked about it were much more diverse and interesting. It didn't have the broadest support but it had the deepest support. I'll likely go with it. There are lots of necessary sources of stress when naming, but one unnecessary one is wondering how representative your own intuitions about names are. Asking people and having your fears validated (positively or negatively) feels great.