search

mikeizbicki / HLearn

Homomorphic machine learning
Other
1.62k stars 134 forks source link

Helping out? #80

Open sacsar opened 8 years ago

sacsar commented 8 years ago

I'd be interested in helping out with this. At this point, I'm probably best suited to simpler tasks like the person from #70. Do you have any low hanging fruit on your wishlist, either here or in subhask?

mikeizbicki commented 8 years ago

If there's something you're specifically interested in, I can help you out with that. Otherwise, there's dozens of FIXME annotations in the subhask code. They have varying difficulty from really easy to really hard. You could pick one or two that interest you and I could help you get started with them.

sacsar commented 8 years ago

So there are two that I think I might be able to tackle: There are two of these for semigroups:

FIXME: this should be in the Monoid class, but putting it there requires a lot of changes to Eq

It sounded like that might be low-hanging fruit, but it looks like maybe you'd need to override Data.Eq or something. (Or should the Eq in those comments be Eq_?)

With a bit of guidance to get going, I could likely tackle this one:

FIXME: add the axioms for intuitionist logic, which are theorems based on these laws

mikeizbicki commented 8 years ago

FIXME: this should be in the Monoid class, but putting it there requires a lot of changes to Eq

It sounded like that might be low-hanging fruit, but it looks like maybe you'd need to override Data.Eq or something. (Or should the Eq in those comments be Eq_?)

This one I have taken care of in another branch that. It just needs a bit more tweaking until it gets merged.

With a bit of guidance to get going, I could likely tackle this one:

FIXME: add the axioms for intuitionist logic, which are theorems based on these laws

That'd be awesome :)

I honestly don't know too much about intuitionist logic, but maybe these links can get you started: https://en.wikipedia.org/wiki/Heyting_algebra#Heyting_algebras_as_applied_to_intuitionistic_logic, https://en.wikipedia.org/wiki/Intuitionistic_logic#Heyting_algebra_semantics

sacsar commented 8 years ago

I don't know much either, but I can chase definitions.