Notices by Masaki Hara (qnighy@qnmd.info), page 36

古代オリンピック関係者の亡霊が現れて「便乗商法」が一斉に祟られるお話

Magic: the Catering

PolarSSLがmbedTLS, CyaSSLがWolfSSL, OpenSSLのフォークしたやつがLibreSSL, ……

手洗い、うがい、ジャバ

月の水企画ci-enが更新されてる

KのTSゲーム製作ルームの新作じゃん、4年ぶりなのでは

織田信姫ってそんな坊主みたいなことやってたのか

月の水企画ブログが更新されてる

https://users.rust-lang.org/t/sgx-target-is-now-a-rust-tier-2-platform/24779
RustのSGXターゲットがTier2になった。Tier2はツールチェインの提供が保証されるが、正常に動作するかは知らんというレベルである。
SGXは信頼できない相手のコンピューターにプログラムを預けて信頼できる結果を得るというIntelの摩訶不思議な技術

Coq 8.5から8.9までのすべてのバージョンが急にリリースされてビビった (RSSが壊れて昔の通知が一気に来ただけ)

https://ci-en.jp/creator/2068/article/40581
メルティスクエストの作者が、自作の英訳に名乗り出た米国人オタクについて語っている。現在はその2人で新作を作っているらしい。 (18禁コンテンツのあるサイトなので注意)

https://github.com/rust-lang/rust/pull/57967
Rustのシンボルマングリングをハッシュを用いない非損失なものにしようという提案があったが、eddyb氏がその完全な実装を完成させたようだ。(提案自体はまだマージされていない)

一方n>ab-a-bのとき、0≦x≦b-1に必ず解があることを使うとby=n-ax>≧n-a(b-1)>-bよりy>-1, つまりy≧0がわかる。

不定方程式ax+by=nの非負の解があるかどうかと言いかえられて、互いに素なので特解は必ず存在、一般解は特解+k(b,-a)になる。n=ab-a-bは(-1,a-1)と(b-1,-1)という隣接する解を持つので無理とわかる。

「a,bを互いに素な正の整数としたときa,bの0個以上の和で表せない最大の整数はab-a-b」は何回か同じ問題を解かされて一般解を覚えてしまった記憶がある

https://novel18.syosetu.com/n2742dt/
百合総受けのあれが更新されてる (18禁)

https://ncode.syosetu.com/n8792em/
「私の推しは悪役令嬢。」が今日で100話だったらしい。めでたい
(FANBOXでは少し先行して掲載されてるけど)

Java

Javaにしか見えない人工言語 (Java)