kjur@kjurJan 30w3.org/TR/2026/DNOTE-… ざっと読んだ。あまり役に立たない。WebではPGP使わない。そんなことよりW3Cで作っちゃったWeb Cryptography APIを今後どうすんのか言及がないのは不誠実なんじゃないかな。12334
kjur@kjurOct 20, 2025おー、Leanなんかちょっと面白そう。制約論理型言語を思い出した。banri@banr1_Oct 18, 2025私はLeanというプログラミング言語がとても好きです。 RustやTypeScriptなどの一般的な言語では「計算」をするのに対して、Leanでは「証明」を行います。 Show more1359
banri@banr1_Oct 18, 2025私はLeanというプログラミング言語がとても好きです。 RustやTypeScriptなどの一般的な言語では「計算」をするのに対して、Leanでは「証明」を行います。 Show more
kjur@kjurAug 18, 2025そういや10年前、TLS生誕20年で、セミナーでお話したり寄稿したりしてたなぁ。しみじみ、、、 SSL/TLS生誕20年、脆弱性と対策を振返る jnsa.org/result/pki/sem… SSL/TLS 20年の歩みと動向 nic.ad.jp/ja/newsletter/…yousukezan@yousukezanAug 17, 2025SSL/TLS の変遷と代表的な脆弱性 qiita.com/whoami_priv/it… #Qiita3111.2K