新中国哈密瓜🇨🇳🍈 @fulkrum@qoto.org

@mw@pleroma.xeno.darksair.org 原来是双曲面啊。教科书上说光沿直线传播，可我实验发现没传多远就散开了，这么一看就说得通了。

我本来纠结将来买¥2000、¥3000还是¥4000的宜家升降桌，经人指点发现淘宝京东不到¥2000物美价廉

@sd 我大体听说了，但听着只觉得苦大仇深，难以理解居然能和这几部萌片并列。。。

@sd 所以我推的孩子到底是个什么片，萌豚片嘛？

@chacha1 据说使用苹果芯片（m1/m2）的苹果笔记本性能很强，作为影音工作站完全够用。您或许可以去Apple Store试用一下。

今天去四元桥宜家，圆筒居然只要¥1！我记得明明已经涨到¥2还是¥3来着……

@huachuaner https://qoto.org/@fulkrum/109869083059281906

@mw@pleroma.xeno.darksair.org 对。当年他来安利我还发嘟来着…… https://qoto.org/@fulkrum/106340142983345136

@mw@pleroma.xeno.darksair.org 去年这会儿他看括号语言实在没人用，改为设计了一套跨平台多层次C++框架，起码别人能理解用途也能加代码。不清楚现在实现得如何……

@mw@pleroma.xeno.darksair.org QScheme是那套东西后来的名字。我硕士毕设本来想搞这个，被我导师毙了

@mw@pleroma.xeno.darksair.org 我猜您指的那位博后叫GM……因为我就是在他知乎评论看到您的（

@peko20 您如果留意的话，这几年手机商家都在宣传自己手机上的机器学习加速功能。苹果好像是A12开始称作「仿生」芯片，意指其附带了ML加速模块；高通的芯片也带了类似模块；谷歌前两年在Pixel手机上搞了个TPU，应该就是Google Cloud上TPU的底配版……

@peko20 对，比如Hi, Siri的一些语音识别功能就是本地计算。这样隐私和延迟都更好，更别提自动驾驶这种性命攸关的应用了……

@mw@pleroma.xeno.darksair.org 我猜您指的是QScheme

前不久我才得知原来机器学习中的张量根本就不是数学物理中的张量，只配叫高维数组。预测（prediction）和推断（inference）在统计和机器学习也是类似的关系。嘛还是要努力减少不必要的黑话污染语言空间……

@peko20 如果只是NV卡到手机这种场景也还好。实际上现在各种机器学习加速芯片满天飞，如果你有M种模型，N种平台要部署，那就出现了可怕的M×N问题……

@peko20 概括来看这类软件在变换机器学习模型（高维数组），就像编译器在变换计算机程序，故名机器学习编译器。但这并不是说二者如同印度和印度尼西亚。实际这类软件的设计和技术也如同传统编译器，变换的过程由前端、IR、后端以及若干Pass组成，同时也要根据硬件后端开发或对接相应的Codegen。

@peko20 机器学习编译器是用于自动部署机器学习模型的软件。
模型就像其他计算机程序，依赖特定的操作系统、开发库和硬件平台运行。比如你在Linux、NV卡服务器开发（训练）的模型，就不能直接复制到iOS、Android的Arm手机运行（预测/推理）；即使可以，效率也会很低，因为NV卡和手机芯片的加速接口、功耗环境完全不同。
按照手机软硬件接口剪裁、修改模型，使其在目标平台即手机高效运行，这一过程称作部署。机器学习编译器可以自动部署模型。

因为我在研发机器学习编译器，而且编译器大体上就是个复杂艰深些的软件项目，所以我敢自称编译器人。但是前两天看到王垠的高论*有点受打击，加上编程语言理论全是数学有些吓人，不敢自称编程语言理论人……

* https://www.yinwang.org/blog-cn/2019/12/24/compilers