coldpresent
Re:Linear types are merged in GHC
on Saturday June 20, 2020 @10:19AM (#23584080)
Is there an explanation out there about the vector space model? Perhaps one that relates to Gir87's phase semantics?
Re:Why isn't the external link symbol in Unicode? (2018)
on Thursday April 30, 2020 @08:36AM (#23030138)
APL is a means of communicating mathematical ideas between people, so it shouldn't be too surprising that it's in Unicode.
Re:TXR: An Original, New Programming Language for Convenient Data Munging
on Wednesday December 04, 2019 @04:16AM (#21700748)
> If a program is significantly clearer and shorter in another language, that is considered a bug in TXR.
Well, that's a first for me.
Re:Fries of the Future
on Saturday November 23, 2019 @02:52PM (#21616102)
Text-only version: https://text.npr.org/s.php?sId=772775254
Re:APL Demonstration (1975) [video]
on Sunday September 29, 2019 @02:51PM (#21108907)
I find that his mentioning of "monadic" and "dyadic" instead of "unary" and "binary" interesting, why did he mention those?