Forwarded from &'a ::rynco::UntitledChannel (Rynco Maekawa)
JavaScript is an awful language for static compilation - it almost seems designed to foil any attempts at optimization, and so a JIT will always have a significant performance advantage.
— https://github.com/tmikov/jscomp
— https://github.com/tmikov/jscomp
GitHub
GitHub - tmikov/jscomp: Ahead of time JavaScript compiler
Ahead of time JavaScript compiler. Contribute to tmikov/jscomp development by creating an account on GitHub.
Forwarded from I have a good case of diarrhyeea (citric_acid | 𒆪𒉌𒄭𒊒 | 𒌷𒀔 | 🏳️🌈)
Mastodon 🐘
カラスちゃん™ (@Crowchan@mstdn.social)
Attached: 2 images
重要消息：
根据 宜家英国 的消息，
宜家鲨鲨 Blahaj 将计划于2022年4月停止生产！
让我们一起签署这个联名，为宜家鲨鲨争取希望！
https://www.change.org/p/ikea-save-the-blahaj-from-extinction?recruiter=1227602317&recruited_by_id=4516ef70-1ece-11ec-a3dd-4783be7567c5&utm_source=share_petition&…
重要消息：
根据 宜家英国 的消息，
宜家鲨鲨 Blahaj 将计划于2022年4月停止生产！
让我们一起签署这个联名，为宜家鲨鲨争取希望！
https://www.change.org/p/ikea-save-the-blahaj-from-extinction?recruiter=1227602317&recruited_by_id=4516ef70-1ece-11ec-a3dd-4783be7567c5&utm_source=share_petition&…
近日，国家市场监督管理总局、国家标准化管理委员会正式发布《汽车驾驶自动化分级》推荐性国家标准。
根据该标准，驾驶自动化等级共划分为 L0-L5 六个等级：
L0 — 应急辅助（emergency assistance）
L1 — 部分驾驶辅助（partial driver assistance），目前的大部分家用车都是有巡航功能的，可以被归为 L1
L2 — 组合驾驶辅助（combined driver assistance），小鹏、华为、特斯拉、奔驰、宝马等车企目前的水平
L3 — 有条件自动驾驶（conditionally automated driving）。在 2021 年 3 月，本田宣称自己推出了首款获得认证的 L3 级汽车，但有人称这车跟老黄的显卡一样都是空气
L4 — 高度自动驾驶（highly automated driving），小马智行和 Waymo 均已经以 L4 为目标做了数年的路试
L5 — 完全自动驾驶（fully automated driving）
整理自新闻源 https://www.ithome.com/0/577/625.htm
根据该标准，驾驶自动化等级共划分为 L0-L5 六个等级：
L0 — 应急辅助（emergency assistance）
L1 — 部分驾驶辅助（partial driver assistance），目前的大部分家用车都是有巡航功能的，可以被归为 L1
L2 — 组合驾驶辅助（combined driver assistance），小鹏、华为、特斯拉、奔驰、宝马等车企目前的水平
L3 — 有条件自动驾驶（conditionally automated driving）。在 2021 年 3 月，本田宣称自己推出了首款获得认证的 L3 级汽车，但有人称这车跟老黄的显卡一样都是空气
L4 — 高度自动驾驶（highly automated driving），小马智行和 Waymo 均已经以 L4 为目标做了数年的路试
L5 — 完全自动驾驶（fully automated driving）
整理自新闻源 https://www.ithome.com/0/577/625.htm
Les Rêveries 🦄
https://twitter.com/wcrichton/status/1442891297333800966?s=28
咱在 twitter 上也提到过，读论文看见搞 PL 理论的人整的那堆符号和标记，就（至少作为初学者来看）非常难看懂。
希望所有人都可以好好地写线性化的公式。
希望所有人都可以好好地写线性化的公式。
Permacomputing - 永继计算
http://viznut.fi/texts-en/permacomputing.html
咱是在这里看到的：https://twitter.com/virushuo/status/1443074157017718788?s=19
http://viznut.fi/texts-en/permacomputing.html
咱是在这里看到的：https://twitter.com/virushuo/status/1443074157017718788?s=19
Twitter
virushuo
说到这里可以引入一个概念，“permacomputing/永继计算”，就是说目前软件开发主要是靠不停投入资源维持的，但一切终将有个终结。要么是能源，要么是社会状态或者未知什么风险，反正总有个终结，并且因此导致整个科技文明终结。所以得想点别的办法避免，我看现在有点这感觉了… viznut.fi/texts-en/perma… twitter.com/tinyfool/statu…