Notices by Masanori Ogino 𓀁 (omasanori@mstdn.maud.io), page 38

@orumin Xen 4.14で32-bit PVだけコンパイルしないようにできるオプションが生えたのは気付いたんですが、削除マジ？になってる

The Dhall configuration languagehttps://dhall-lang.org/

あー、明らかに停止するようなコードしか書けないようにしてあるのか

僕が先に好きだったのにでしょ（オタク）

Against The Use Of Programming Languages in Configuration Fileshttps://taint.org/2011/02/18/001527a.html

私立設定ファイルをチューリング完全にするな高校の生徒手帳に写しが載っているであろう記事

私立設定ファイルをチューリング完全にするな高校

クソデカCtrlキーほんとすき

http://www.keyboard-layout-editor.com/#/gists/48bbd1d665cdae0a47b7

ioriveurさんのDvorak-hjklを思い出した

多様性はいいぞおじさん「多様性はいいぞ」

誰を指したか曖昧なひなビタ♪オタク言及も否定しだしたらそれはもうひなビタ♪オタク不在論者になってしまう

自己紹介文が混ざってますよ

という話です

知らない間にアブラゼミがどうこうという謎の界隈の構成員が半数ほどTLに揃っていてビビっている

JMAPの説明は面倒なので https://datatracker.ietf.org/wg/jmap/documents/ をご参照ください。IMAP以外の用途にも使える設計になっているぞ！

JMAPはIMAPをJSON化するという目的で複雑さはなんら変わっていないのでうーん

ブリテン料理がブリテン料理になった経緯、諸説ある

あのDSPを管理しているRTOSの話は初めて聞いたのでへーとなった。

Pwn2Own Qualcomm compute DSP for fun and profit https://www.defcon.org/html/defcon-safemode/dc-safemode-speakers.html#Makkaveev

https://blog.checkpoint.com/2020/08/06/achilles-small-chip-big-peril/

件数がすごい

https://pc.watch.impress.co.jp/docs/news/1270447.html

DEF CON Safe Mode - Slava Makkaveev - Pwn2Own Qualcomm Compute DSP for Fun and Profit - YouTubehttps://www.youtube.com/watch?v=CrLJ29quZY8

前半は「ライブラリに署名さえされていればバージョンが古かろうと既知のバグがあろうと読み込めてしまう」という割とありがちな問題（些細な問題ではない）だけれども、「Androidアプリに古いライブラリをバンドルしてロードできる」でア。

後半はQualcommのSoCに乗っているDSPはQEMUに実装されているのでリリースされているバイナリをファジングしたら色々見つけたよという話。