 |
Post AtuVKvLsemye00GLbs by [email protected] |
 |
More posts by [email protected] |
|
Post #AttlT3pARe94hVu3uK by [email protected] |
|
1 likes, 2 repeats |
|
|
|
haha omg “string operations” has been taken over by mathematics wikipedia h… |
|
|
|
Post #AttlTHbVDFX7RBcLYG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
yesterday evening we were wondering in the pub where || comes from as a concate… |
|
|
|
Post #AttlTNG6BjyeyXeL1U by [email protected] |
|
0 likes, 0 repeats |
|
|
|
early versions of pl/i were imaginatively called “new programming language”… |
|
|
|
Post #AttlTVG2RqgNmfgP2W by [email protected] |
|
0 likes, 0 repeats |
|
|
|
hmm chomsky (1956) uses ⁀ for concatenationhttps://chomsky.info/wp-content/up… |
|
|
|
Post #AtuH6UvehYH6dZDt56 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf Also taking advantage of draft characters in the nascent ASCII spec, it l… |
|
|
|
Post #AtuH6WKVUdkQyvrFSK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf (Although, yes, likely used EBCDIC at the time) |
|
|
|
Post #AtuHAmN7n4hptV74Bk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
chomsky (1957) uses simple adjacency, and looking through wikipedia at earlier … |
|
|
|
Post #AtuHAmT9QfWiCBvsa8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
rfc 9402 “concat notation” is less useful than i hoped https://www.rfc-edit… |
|
|
|
Post #AtuHAmbev2KecZufqK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
de bruijn’s comb notation is curious https://pure.tue.nl/ws/files/4346815/597… |
|
|
|
Post #AtuHAmj6TMHqzfOcRk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf 🤢 |
|
|
|
Post #AtuHAnpsLfIYQxZXdo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
https://mathworld.wolfram.com/Concatenation.html[citation needed] |
|
|
|
Post #AtuHH9olX4WCLc5Dc0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf Some people just enjoy TeX a little bit too much |
|
|
|
Post #AtuHP0GuuLoF3ezYxs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf Given which, it takes a surprisingly long time to use the word "mono… |
|
|
|
Post #AtuHfMEV1cNPnnewyW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf Phonetics uses the tie symbol to indicate coarticulated consonants, so it… |
|
|
|
Post #AtuHiloyLRvM21LYcS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf without finishing the PDF, I've sure seen close relatives of that aro… |
|
|
|
Post #AtuHilue0MSeJc05Sa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@flippac what are telescopes? i might have seen them without knowing the name(i… |
|
|
|
Post #AtuHilzxgaiMa6UKkS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf composable contexts/pieces thereof - type theory can internalise them as … |
|
|
|
Post #AtuHxYidLCidjuQwYC by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf oh dear god that is ludicrously unhelpful for the typical Wikipedia user,… |
|
|
|
Post #AtuHxZdhv0NAav8WVk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf Some people need to learn that an encyclopedia and a graduate-level textb… |
|
|
|
Post #AtuI6IPZLDW3ljgN5E by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf I wonder how many times PL/I has been mentioned on Mastodon so far. proba… |
|
|
|
Post #AtuIAzy1LOyu0r2UgS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@regehr @fanf I would not be surprised if there were a good fraction of the sur… |
|
|
|
Post #AtuIEr3yOIkhYWf7dw by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf REXX was later, but used `||` also, so more evidence for your IBM theory. |
|
|
|
Post #AtuIGPT7xNumYLAZBA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@flippac ah right, thanks |
|
|
|
Post #AtuVKmLY8eMg4N2SLQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf I wonder if anyone's gone to the effort of implementing that in TeX o… |
|
|
|
Post #AtuVKvLsemye00GLbs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf That’s the sort of untypesettable notation that could lead someone to u… |
|
|
|
Post #Atufz2AzhbNOI0w3EW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@simontatham @fanf Also, Feynman is pretty famous for coming up with a notation… |
|
|
|
Post #Atug7KdovxqPsGNKWe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf maybe means something as a Linguist ? |
|
|
|
Post #AtuoizEflcRe7i4wSG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@fanf We "love" Mathematics Wikipedia and their ability to take a per… |
