https://twitter.com/rsk0315_h4x/status/1631821996979023872

どこまで許せるか。

・64 bit整数はオーバーフローしない。

・randは0.0を返さない。

・メモリを読む処理はブロックしないとみなせる。

・rootユーザは全権限を持っている。

・mallocは失敗しない。

・テキストファイルの1行はメモリに入る。

・テキストファイルはメモリに入る。

・MACアドレスは一意である。

・時計は逆行しない。

・入力データに0.0がなければ演算でNaNは発生しない。

・64 bit浮動小数点数は無限精度とみなせる。

・ファイルは開いたら変化しない。

・ファイルから1 KiBだけ読み込む処理はブロックしないとみなせる。

・トランザクション分離レベルがserializableの場合にCOMMITが失敗することはない。

・3次ベジェ曲線4セグメントで真円が作れる。

・複数のシステムのDBをリストアした場合も整合性は保たれている。

・商品に対する評価の相関係数が1のユーザの好みは一致している。

・アクセストークンを送ってくるのは本人のみである。