saraswat
commented
6 years ago (I do see MIT license text embedded in some files, a top-level license.txt with that text would be the way to ensure all files in the project r covered by it.)
Open saraswat opened 6 years ago
saraswat
commented
6 years ago (I do see MIT license text embedded in some files, a top-level license.txt with that text would be the way to ensure all files in the project r covered by it.)
gianlucagiorgolo
commented
6 years ago Hi Vijay, I’ll add it soon, this release was really a mishmash of some code I had laying around that Ash and I could use for the book we are writing. If you are interested I also have an Haskell version of the prover. I can put it on github with the same MIT license. I’m not really working on this stuff anymore so it would be probably good if someone else picked it up in any case.
Gianluca
On 20 Jan 2018, at 13:04, Vijay Saraswat notifications@github.com wrote:
(I do see MIT license text embedded in some files, a top-level license.txt with that text would be the way to ensure all files in the project r covered by it.)
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/gianlucagiorgolo/pytp-app/issues/1#issuecomment-359166651, or mute the thread https://github.com/notifications/unsubscribe-auth/AIyjVP84bEpVHFqnuWBc9CIg3nlH2IrQks5tMdYwgaJpZM4RlaZP.
saraswat
commented
6 years ago Indeed, you should put it out.
What r u working on? I moved to Goldman Sachs a few months ago, am forming an NLU / KR / ML group, focused on deep text understanding and knowledge extraction.
Sent from my iPhone
On Jan 20, 2018, at 10:18 AM, gianlucagiorgolo notifications@github.com wrote:
Hi Vijay, I’ll add it soon, this release was really a mishmash of some code I had laying around that Ash and I could use for the book we are writing. If you are interested I also have an Haskell version of the prover. I can put it on github with the same MIT license. I’m not really working on this stuff anymore so it would be probably good if someone else picked it up in any case.
Gianluca
On 20 Jan 2018, at 13:04, Vijay Saraswat notifications@github.com wrote:
(I do see MIT license text embedded in some files, a top-level license.txt with that text would be the way to ensure all files in the project r covered by it.)
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/gianlucagiorgolo/pytp-app/issues/1#issuecomment-359166651, or mute the thread https://github.com/notifications/unsubscribe-auth/AIyjVP84bEpVHFqnuWBc9CIg3nlH2IrQks5tMdYwgaJpZM4RlaZP.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.
gianlucagiorgolo
commented
6 years ago Hi Vijay,
you can find the haskell code here https://github.com/gianlucagiorgolo/glue-tp https://github.com/gianlucagiorgolo/glue-tp It’s standard glue plus the ability of marking some objects as non linear, Ash and I were experimenting with the use of reusable resources to solve a couple of semantic issues we encountered while working with monads. I’ve also added a license file to the python implementation so you can you use as you see fit.
At the moment I’m part time helping a small lab/company here in Italy that develops interfaces for people with severe disabilities, now I’m trying to use brain and (minuscule) muscle signals to let people with massive paralysis (that can’t really use an eye-tracker) control a computer, mainly signal processing. The stuff you are doing at Goldman Sachs sounds interesting.
Gianluca
On 20 Jan 2018, at 17:19, Vijay Saraswat notifications@github.com wrote:
Indeed, you should put it out.
What r u working on? I moved to Goldman Sachs a few months ago, am forming an NLU / KR / ML group, focused on deep text understanding and knowledge extraction.
Sent from my iPhone
On Jan 20, 2018, at 10:18 AM, gianlucagiorgolo notifications@github.com wrote:
Hi Vijay, I’ll add it soon, this release was really a mishmash of some code I had laying around that Ash and I could use for the book we are writing. If you are interested I also have an Haskell version of the prover. I can put it on github with the same MIT license. I’m not really working on this stuff anymore so it would be probably good if someone else picked it up in any case.
Gianluca
On 20 Jan 2018, at 13:04, Vijay Saraswat notifications@github.com wrote:
(I do see MIT license text embedded in some files, a top-level license.txt with that text would be the way to ensure all files in the project r covered by it.)
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/gianlucagiorgolo/pytp-app/issues/1#issuecomment-359166651, or mute the thread https://github.com/notifications/unsubscribe-auth/AIyjVP84bEpVHFqnuWBc9CIg3nlH2IrQks5tMdYwgaJpZM4RlaZP.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.
— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/gianlucagiorgolo/pytp-app/issues/1#issuecomment-359182845, or mute the thread https://github.com/notifications/unsubscribe-auth/AIyjVEhGaO7QKbV7oewi48iab7ie9qjhks5tMhIHgaJpZM4RlaZP.
Would much appreciate the addition of an open source license, so people at corporations can look at the code. Some "good" licenses are -- BSD, Apache, MIT, Eclipse.