The key feature they both share is using named singleton types to represent axes, and making sure that tensor ops are on *semantically* compatible shapes vs just possibly-coincidentally-matching numeric shapes. IMO this is a key usability advance for tensor libs.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
nexus could be a backend to extend
@stripe 's prob prog scala dsl to tensors? It is very promising indeed, though the research origins are still showing. -
Yes, I'll be keeping an eye on it with that in mind.
End of conversation
New conversation -
-
-
For tensors, you may be interested in looking at how Egison does it.https://www.egison.org
-
Hi! Thank you for introducing my work. Let me introduce my paper for importing tensor index notation into programming, additionally. https://arxiv.org/pdf/1702.06343.pdf …
End of conversation
New conversation -
-
-
yeah it was a great talk! i want to track down
@ctongfei to see if he could use dagon for the GADT rewriting/optimization he's doingThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.