▽あどけない話
●03/13 08:46
2025-03-12Encrypted Client Hello の仕様TLSECH(Encrypted Client Hello) とは何かTLS 1.3のﾊﾝﾄﾞｼｪｲｸは､EncryptedExtensionsから暗号化されるが､それより前のClientHello と ServerHelloは平文のままで交換される｡ClientHelloに含まれるSNI(Server Name Indication､ｻｰﾊﾞ名)は､特にﾌﾟﾗｲﾊﾞｼ性が高い｡単にこのSNIを暗号化する方法として､初期はESNI(Encrypted Server Name Indication)が提案されていた｡しかし､その後ClientHello自体を暗号化するECH(Encrypted Client Hello) となった｡ECHには2つのｻｰﾊﾞが登場する｡｢ｸﾗｲｱﾝﾄに面したｻｰﾊﾞ｣と｢ﾊﾞｯｸｴﾝﾄﾞ･ｻｰﾊﾞ

▽にわとり小屋でのﾌﾟﾛｸﾞﾗﾐﾝｸﾞ日記
●03/13 06:17
2025-03-12あみだくじが無限ﾙｰﾌﾟしないことを証明したどんなあみだくじでも答えにたどり着くことを証明した｡ここでいうあみだくじとは有限本のくじ(縦棒)がある縦棒上の点と点を結ぶ横道が有限本ある横道は水平線だけじゃなく､遠くのくじへ行ったり自身を上に行ったりできるﾀﾞﾒなこと｢ふりだしへもどる｣はない同じ点と点を結ぶことはできない一方通行はない一度通ると崩れるﾏﾘｵのﾌﾞﾛｯｸみたいな道はないどちらに行くか選べる分岐みたいなのはないなぜ証明したかPPLで話題になって証明しようかなと思った｡ざっくりとしたｱｲﾃﾞｨｱあみだくじを形式的に定義するｱｲﾃﾞｨｱくじ(縦棒)の集合があったとき､横道の集まりで一つのあみだくじのﾃﾞｰﾀを表現した｡例えばこのあみだくじは A0--B2, A1--B0, B1--C0 という3本の横道として表現する｡横道は端点のﾍﾟｱであり

▽Haskell卒業! - haskell
●03/12 13:05
はてなﾌﾟﾗｲﾊﾞｼｰﾎﾟﾘｼｰの改定についてはてなの日記 (648)

▽Faith and Brave - C++で遊ぼう
●10/01 21:30
2024-09-30ﾚﾊﾞﾃｯｸLABにて情報発信とお金についての記事を書きましたlevtech.jp2023年から､私が関わっている情報発信についてｽﾎﾟﾝｻｰ募集を開始しましたが､そのあたりの考えについて記事を書かせていただきました｡持続的な情報発信､持続的なｵｰﾌﾟﾝｿｰｽの開発のための取り組みとして参考になれば幸いです｡faith_and_brave 2024-09-30 17:56 読者になるShare on Tumblr広告を非表示にするもっと読むｺﾒﾝﾄを書く

▽古橋貞之の日記
●03/28 12:42
Blog by Sadayuki Furuhashi読者になる