Notices by まちカドおるみん御嬢様 (orumin@mstdn.maud.io), page 45

まあそれは本筋じゃないから私の気持ちなだけだけれども

言い換えますと、コーダーという役割があると思っているのがナンセンスだと思っている、でした。

括弧書きの中は正直コンパイラコンパイラやライブラリでどうとでもなるのだけれども、中身を知って使うのとそうでないのは大きい

プログラミングを設計とコーダーみたいに切り分けて考えるのをナンセンスだと思っている人間だけれども、コンパイラ全体はともかく簡単に lexer や parser とか書くぐらいは知識あるほうがプログラムするときの道具増えるし（設定ファイルパースするのとか DSL 作るのとか）

一度コンパイラ書けばわかりますよ！（これは本当に

USB PD があってもこうして独自充電規格がバンバン出てきてしまうの、なんだかね

構文解析って結構ハイレイヤーな場所にある気がする……

プログラミング言語は生成文法に従って構築された人工言語の実現の一つの面があって、計算機科学だけではなく言語学の延長線にもある

コンサルとかメガバンクの調査部とか結構いい仕事するときある

プログランミング言語の本質を計算機への指令と捉えるのはある側面では正しいけれどある側面では間違っていると思う

memento mori を考えている

一般論ではないわな

寝言か？

今日のプリンなの

https://eprint.iacr.org/2020/1199

BRO は Backdoored Random Oracle とのこと

案外夢はない

そういえば ECDSA は curve の parameter が NSA のお出ししたものなので backdoor があるんじゃないかと囁かれていたし Ed25519 とかも出てきたけれども、実際のところ ECDSA はそもそもおそらくセキュアじゃないけれど、バックドアに対してはヒューリスティックにはセキュアだろう、と報告が出ていて、そっか……になった >> https://twitter.com/veorq/status/1422161594184777732

NSA はまあうん

むしろあのレヴェルで世界中で力がふるえる組織があるなら、世界はとっくに平和になってそう