https://bsky.social/about/blog/7-05-2023-namecheap
「明けた夜があった」という文を考える。しかし夜が明けた時点で夜は夜でない。つまりこの文は「かつて夜が存在し、その時点から見て未来にその夜は明けた」という意味であり、2つの過去を参照している。
時相論理で書くと、P(夜 → F¬夜)。ただしPは「過去のある時点で」という意味で、Fは「未来のある時点で」という意味。
「明けない夜はない」は¬F(夜 ∧ ¬F¬夜)。
¬F¬をGとするとG(夜 → F¬夜)。
道は舗装されている。
夜はない。
雨はない。
千里を行く。
山に登る。
芝は青い。
栴檀は芳し。
虫も好き。
回れ。
鉄は打て。
熱さを忘れる。
友を呼ぶ。
寝て待て。
明日は風が吹く。
心あれば心。
全て良し。
https://www.ndss-symposium.org/ndss-paper/the-discriminative-power-of-cross-layer-rtts-in-fingerprinting-proxy-traffic/
ゲートウェイなどの受動的な盗聴者が、クライアントがプロクシを使っているか直接ウェブサーバ等に接続しているかを検知する。
接続先がTCPレベルのACKを返すまでの時間と、アプリケーションレイヤーでレスポンスを返すまでの時間の差を使う。
リクエストとレスポンスの対応付けは相互相関により推定する。
ACKからレスポンスまでの時間差が固定値(実験により15 msに設定)以上になったかどうかの情報を蓄積して、確率的な検定をする。
“generative”のカタカナ表記、辞書の発音記号的には「ジェネレティブ」や「ジェネレイティブ」の方が近そう。
ランダムハウス英和大辞典第2版: [dʒénərətiv，-rèit-]
ウィズダム英和第2版: /dʒén(ə)rətɪv, (米)-rèɪ-/
コリンズ英語辞典第12版: ˈdʒɛnərətɪv
オックスフォード現代英英辞典第9版: BrE /ˈdʒenərətɪv/ NAmE /ˈdʒenərətɪv/
ジーニアス英和辞典第4版: /-ərətıv, 《米＋》-ərèıt-/
https://bsky.app/profile/tadokoro.bsky.social/post/3lkhj64oad22v
派手な抗議活動は、穏健に意見を伝える場の欠如から来る、という記事2つ。
Just Stop Oilなどの比較的穏健な抗議活動に重い刑事罰を課す動きがある中で、通信ケーブルの切断やパイプラインの破壊などのより過激な破壊を捕まらないように実行する活動が活発になっている、という記事。 https://www.theguardian.com/environment/2025/mar/08/a-new-phase-why-climate-activists-are-turning-to-sabotage-instead-of-protest
大学における座り込み抗議は、大学の統治委員会における学生代表議席が形骸化しているなど、学生の声が反映されにくい形になっているためである、という記事。 https://theconversation.com/campus-encampments-and-protests-are-a-sign-of-failed-university-governance-249018
メモリ安全なC言語派生言語TrapC。 https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3423.pdf
ポインタは全て型情報を持ち、メモリはスコープで管理される。
gotoとunionはなし。
例外処理のようなものはあるが、巻き戻しは1段のみ。
一部のC++の機能を持つ。
マクロのような機能で関数のオーバーロードを実現している。
十進小数やJSON型などのサポート。
gettextのサポート。
限定的なテンプレート(void *を持つstructは型パラメータを取ることとする)。
https://www.theguardian.com/uk-news/2025/mar/11/police-admit-arrest-of-anti-monarchy-heckler-in-oxford-was-unlawful
C#のジェネリクス、T Foo<T> {...}というのがあったときにFoo<int?>はFoo<int>と同じ意味になる。えええええー。
https://learn.microsoft.com/en-us/dotnet/csharp/nullable-references#generics “If the type argument for T is a value type, T? references the same value type, T.”
where T structとすればいけるんだけど、そうすると値型と参照型の両方を受け取れるメソッドが作れなくなる。型変数が1つならオーバーロードさせればよいんだけど、複数あると爆発する。
アメリカは牛乳の方が豆乳より安いらしい。大規模な酪農や政府の補助金のせいらしい。
https://www.vox.com/future-perfect/402717/cow-milk-increase-america-dairy-plant-milks
そういえばカフェでも豆乳は別料金だとか、最近同額にしたとか聞いたことがある。
牛の餌(の一部)である大豆を絞るより牛の乳の方が安いのか……。 日本だと同程度か、やや豆乳の方が安い感じだよね。
進捗だったかも。
LibreOfficeのImpressはNormalAutoFit (normAutofit)を指定すれば開いたときに自動的にフォントサイズを調整してくれるのに対し、PowerPointはfontScaleも指定しないと調整してくれない。しかしfontScaleを計算するにはフォントの情報が必要でうーむ。
関連情報: アメリカにおける「人道的な」処刑方法の歴史。
絞首、電気椅子、ガス室、注射、銃殺、いずれも「人道的な」方法と言われたが、失敗が多発している。