News Score: Score the News, Sort the News, Rewrite the Headlines

Linear Algebra of Types

It gives my brain a pleasant thrum to learn new mathematics which mimics the algebra I learned in middle school. Basically this means that the new system has operations with properties that match those of regular numbers as much as possible. Two pretty important operations are addition and multiplication with the properties of distributivity and associativity. Roughly this corresponds to the mathematical notion of a Semiring. Some examples of semirings include Regular multiplication and addition...

Read more at philipzucker.com

© News Score  score the news, sort the news, rewrite the headlines