Is Meng Xi Shi 梦溪石's pen name ('dream creek stone') a reference to Shen Kuo's Dream Pool Essays / Meng Xi Bi Tan 梦溪笔谈 ? https://en.wikipedia.org/wiki/Dream_Pool_Essays
One of those moments where you put two things together and feel a quantum superposition of foolish for not noticing before, and foolish for making things up! In my defense, the title of Dream Pool Essays is the only place I have ever seen 溪 translated as 'pool'. I'm so curious whether this is a real reference.