はてなアンテナ
killnowのアンテナ
id:killnow

DVD

グループ一覧
1/4ページ

あどけない話
●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読者になる

6.次5>

0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
ヘルプ/お知らせ

ログイン
無料ユーザー登録
はてなトップ

(c) Hatena