Scaling analysis — varying matrix sizes, graph depths, and channel counts to infer hardware topology
The meaning of Succ is lifting n-ary functions to (n+1)-ary functions. This gives de bruijn shifting a semnantic interpretation. This trick appears in Kiselyov’s SKI semantically https://okmij.org/ftp/tagless-final/ski.pdf , Pavel’s blog post https://pavpanchekha.com/blog/egg-bindings.html , and McBride references Thorsten Altenkirch, Martin Hofmann & Thomas Streicher (1995): Categorical Reconstruction of a Reduction Free Normalization Proof, where there is some neat ML code in the appendix
。新收录的资料对此有专业解读
现在，三星将这项技术搬到了手机里——在 S26 系列上，基于这个技术打造的「主动防窥屏」，通过控制子像素的发光角度，屏幕能在你输入密码或查看敏感通知时，开启侧视角黑化。
Share via email
%%file /tmp/sublist.pl