Designing the Future Circular Collider https://youtu.be/4aXgBzFAzDk
XULで書かれたUIをHTMLとCSSに置き換えるためにCSS flexboxの性能を向上させたとか、XBLをCustom Elementsで置き換えるためにXPCOM向けの独自拡張が必要だった(それはそう)とか、面白い
Are We XBL Still? https://bgrins.github.io/xbl-analysis/
"This site contains tools for understanding and working with XBL code in Firefox to make it easier to replace."
Firefox/XUL and XBL Replacement - MozillaWiki https://wiki.mozilla.org/Firefox/XUL_and_XBL_Replacement
Web ComponentsはXBLのリバイバルだよなぁという話はあったけれど、XULとXBLを完全に置き換えるのはすごいな
パソコンのキーボードは,なぜABC順・五十音順ではないのですか | ことばの疑問 | ことば研究館 https://kotobaken.jp/qa/yokuaru/qa-35/
その知人は「私はQWERTYに慣れていて、妻はQWERTZに慣れているから切り替えできるモデルじゃないと困るんだ」と言っていて、私はなるほどなー(なるほどなー)になった
Samsung、QLC NAND採用で最大4TBの2.5インチSSD「860 QVO」国内発売 - PC Watch https://pc.watch.impress.co.jp/docs/news/1165137.html
Adiantum: length-preserving encryption for entry-level processors | IACR Transactions on Symmetric Cryptology https://doi.org/10.13154/tosc.v2018.i4.39-61
理工系の文書(雑多に「数式を含む文書」ぐらいが対象)のセマンティック解析というニッチなテーマで研究をしているのだけど,数学者の文章ではしばしば証明は「自明」の一言で色々省略されてしまうし,あまつさえ「読者の演習課題とする」等のメタな指示がぶっ込まれたりするので形式化は容易でない.