鍵サーバに投げるべきものって主鍵の公開鍵？副鍵はどうするんだ？

Subkeys - Debian Wiki
https://wiki.debian.org/Subkeys
主鍵だけ投げればいいのか

cert 用の主鍵の公開鍵を公開しておけば、私の手元の副鍵はその主鍵で署名されているから本物と示せるということはわかるのだけど、じゃあ私が署名 (sign) 用の副鍵を使って作った署名が私のものであることは、主鍵から検証できるのか……？

もしかして send-keys すると関連する副鍵がまとめてうpされる……！？

もしそういうことなら納得いくぞ

そういえば OSC そろそろなのか(行ったことなし)

Passwords and Keys
https://help.gnome.org/users/seahorse/stable/index.html.en

その他/宇宙よりも遠い場所 / この星を守るため
https://jare59.blogspot.jp/2017/12/blog-post_31.html
これすき

寝るかー

らりお (lo48576) | Keybase
https://keybase.io/lo48576

PGP 鍵の情報も更新したのでやっと寝られる

PGP fingerprint: 4CC5A8F9C46541E2F1AA41BE3263C611492C9A5F

「鎖国状態」ねえ……

Mastodon で鎖国というのがもう既に滅茶苦茶で、どこにも繋がってない玄関に人が詰め込まれてる感じ

fediverse に行け、玄関に座り込んで雑談をするものじゃない

お金を払っても得られるのは「正しさ」だけの時代で漫画村利用者を糾弾してもしょうがないと思う。 - セラミックロケッツ！
http://cr.hatenablog.com/entry/2018/02/17/002928

過疎の意味がよくわかってない(私の鯖は私しか LTL にいないので過疎といえるか？

「過疎」、文脈を考慮して解釈すると、「ログインしたものの HTL / LTL (←普段見てる方)に期待したほど人数がいなかった」ということになるんだけど、そりゃフォローしなけりゃ HTL の流速が遅いのも当然なわけで、ちょっと何言ってるのかわからない……

何かというと、口を開けて LTL から流れてくるエサを待ってるだけの人が「過疎ってる」って、お前は何がしたいんだ、過疎が嫌ならフォローしろ、というそれだけの話なんだけど

まさかフォロー機能の存在を知らないとか？まさかね。

リモートフォローを知らないというのならまだ理解できなくもないけど、それって啓蒙が不足しているということだし、「まずは HTL での盛り上がりから」などというポリシーの大きな失敗ということになりませんか

最初からリモートフォロー機能をガンガン推していくことの重要性を感じる

ルーター、多数のオスプラグが刺さってデータの流入・流出が激しいので実質えっちだよ

ログインしてないインスタンスのプロフィールページだと「リモートログイン」ボタンが出るので、たとえば twitter から辿って pawoo のプロフィールに到達したが pawoo のアカウントそのものは持っていない、という人は「リモートフォロー」ボタンを押すことになります

アカウント id を先に知るか、プロフィールページに先に到達するかの違い

や、プロフィールページの URL を検索ボックスに突っ込むこともできるので、導線に乗るかどうかの違いでしかないけど

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

これらすき

「使いたいから使う」だからやってるだけで、そりゃプライバシーを尊重するソフトウェアで採算を優先したら成り立たなくても当然なんだよなぁ

ここで念のため言っておくと、「プライバシー」というのは「秘密を覗き見られない」というだけの意味ではなく、「私的な空間や思考に介入・強制してこない」ということも含みます。 private を尊重するのが privacy なので

つまりトラッキングを無効化できようが、私的な場所(典型的にはディスプレイ)へ侵犯する広告は「プライバシー」を侵犯しているわけ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Mozilla みたいに「十分な開発知見を得た上でスクラップアンドビルド」を言語レベルからやりなおしてないからじゃない？(適当)

Rust はいいぞ！

このアカウントは、notestockで公開設定になっていません。

でもブラウザは書かなかった……

Lean
https://leanprover.github.io/about/

これとかは界隈では話題になってた気がする(流行ってるかは知らん) > MSR の言語

言語ちゅーか定理証明系か

このアカウントは、notestockで公開設定になっていません。

Rust 、ゴリゴリ C++ 書く人々が静的検査をしたいという欲求から始めた感じなので、スクリプト感とか、性能より抽象化とか、そういう方面に傾かなかったのは大きいと思う

この方針だったからこそ事実上の post C++ の地位を得られた

golang とか触ってないのでわからないけど、あれは何を目指した言語なんでしょう

このアカウントは、notestockで公開設定になっていません。

goroutine とか、やりたいことはわかるんだけど原理をよくわかってない(つまりアレは本質的にランタイムみたいなものを要求する代物なのか、所詮 C に翻訳できる程度のシンプルなものなのか)

どうせランタイムが入ってしまうのなら、変数の寿命管理もアレだし GC も突っ込むか、となる気持ちは納得できなくもない

や、 C に翻訳というのは素朴に(謎のスレッドとかを追加したりせずに)ということです

C に翻訳できるのは、 #それはそう

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

個人的には、元の言語が表現しようとしていたロジックよりも実行フローが並列に増えるか否か、みたいなイメージです(伝われ)

Rust とか C++ とかは、 C に直してもコードが膨らんだり関数呼び出しが挿入されたりはしても、実行主体が暗黙に増えることはないので(ないよね？)

何故「素朴に」を要求するかというと、私の脳内中間言語が C / better C 相当だからです(ロジックの確認とか計算量やリソース消費の推測とかに使われる)

このアカウントは、notestockで公開設定になっていません。

べつにﾎﾟﾖｸﾞﾔﾐﾝに本質的に重要なわけじゃないんだけど、「コードの全体(或いは弄ろうとしている部分の細部に至るまで)を掌握してる感」って結構モチベーションに影響するので、ランタイムとか GC とかで謎の勢力が非決定的に介入してくる言語は苦手(書ける書けないの話ではなく、好みの問題)

べつに嫌いでも書けますけどね(そういう場合は報酬が必要)

なんだろう、「私はこの部分が(バグがなければ)動くことに確信を持っている」という保証がコードに表れないのが気持ち悪いから、かな？

たとえば相互参照のある DOM みたいなものを弄ったとして、何もしなくてもいい感じに GC が処理してくれちゃうわけだけど、その部分は私が書いたりしたわけではないので、「ここで作ったオブジェクトは不要になったらちゃんと消えます」という保証が明示的でないのがなんとなくモヤっとする、みたいな

自分の意図したことは全てロジックや型から読み取れてほしい、みたいな感じ

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

さまーおぶこーど、 gentoo もあったなぁ

ﾎﾟﾖｸﾞﾔﾐﾝで人と喋るようなことをﾊﾞｲﾖ以外でしていない

ベストエフォートサービス業

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

わかる

普段バックライト輝度めっちゃ低くしてるんだけど、起動時は設定がロードされるまで最大輝度だから本当に眩しくてつらかった (android 4.4.2)

android というか、「キャップをちゃんと閉めてください」みたいなやつなので Xperia 限定なのかもしれないけど

このアカウントは、notestockで公開設定になっていません。

タイトルで全部説明する必要はないので、「columns disappears after specific actions」とかのタイトルにしといて、動画なり文章で説明を追加すればいいのでは

なんなら after specific actions も不要かも

戸籍を抹消しても守れないプライバシーもあります(たぶん)

あれ、そういう話だったか(全然わかってなかった)

ﾏﾖﾖﾖﾝ使い込んでないからなぁ

このアカウントは、notestockで公開設定になっていません。

https://twitter.com/opacity_00/status/965812936915656704 #tw #potd

このアカウントは、notestockで公開設定になっていません。