This account is not set to public on notestock.

年 1000 円で potato.reality が取れるぞ……

まだこれで悩んでる(加えて potato.reality が候補に加わった)

This account is not set to public on notestock.

This account is not set to public on notestock.

「実行時になんかいい感じに生えてくるメソッド」

virtual を「仮想」と訳したのが失敗だったみたいな話はいろいろなところで聞きますね (IBM の人だっけ？)

This account is not set to public on notestock.

「Virtualを仮想と誤訳した責任は我々にあります」 - Plan9日記
http://d.hatena.ne.jp/oraccha/20140926/1411694081

オタクは「実質」や「同値」を雑な意味で使うのでア

https://twitter.com/lo48576/status/945291788180320257
> 人間、ドロっとした白濁の液から生まれたんだし、実質人類皆スワンプマンみたいなところがある(下品)

https://twitter.com/lo48576/status/933306951093518337
> アセロラじゃなくてセロリだったぽい(まあレーベンシュタイン距離2だし、実質同値類でしょ)

https://twitter.com/lo48576/status/927145731240034305
> デーモンコア、丸みを帯びたふたつのものを接触させると臨界に達して大量の中性子を吹いてしまうの、実質ゆりえっちみたいなものでは(意味不明)

https://twitter.com/lo48576/status/927132133713260545
> LAN ケーブル、オス-オスだし実質ゆりえっちプラグでは(錯乱)

「実質」「同値(同値類)」「レーベンシュタイン距離」などは使い勝手が良い

あと「可算個」なども使い勝手が良い(有限も加算無限でも可算個なので)

https://twitter.com/lo48576/status/840554986996039682
大喜利みたいなところがある

This account is not set to public on notestock.

「文字が整数個並んでるし実質575」

「ガベージ」表記は嫌い

界面活性剤の界面を連想する

幼少期の教育で叩きつけられた教養の強要の反動では

だいたい興味のある方向の勉強って勉強のつもりでやってないから苦痛にならないし、結果として強要される勉強は「興味が湧かないのにやらされる」ものになりがちだし、その中で更に「役に立たない」ように思われるものは子供にはモチベーションを上げるのも困難だし、とどめにそれで点数が付けられる

まあ嫌いにもなりますわ(より正確には、そういうものを人の興味を蔑ろにして「勉強だから」と押し付けてくるような人々への嫌悪が大きくなり、それが成長して教養への嫌悪になるのでは)

厨二病の時期に読んだ人知原理論は楽しかったけど東洋思想は全然興味が湧かないし、興味ってのはそういうものなので

興味を制御できるなら苦労はない(というかそれは興味というより関心)

This account is not set to public on notestock.

This account is not set to public on notestock.

弊学 too (いや爆死したかは知らんがボロクソに叩かれている)

弊学、院がメインで学部はその下にあると言ってるのに、わざわざ院に行ったら意識高い文系履修を強制されるし、しぶしぶ履修すると教室に人は入りきらず、挙句それを「文系授業大人気」などと特集される始末で、どうしようもない

道徳、「水に綺麗な言葉を～」などと言う教師の授業を受けたりしていたので、根本的に信用していない

教育というか、教諭の質の問題は大きいと思う

ちなみに理系大学です

リベラルアーツが馬鹿にされてるんじゃなくて、リベラルアーツをしょーもない形でしか押し出せない上層部が失望されているというか

This account is not set to public on notestock.

幼女には
触らないでと
書いてない

#575

つまり……！！！！

？

†遵法† でいきましょう

.moe 、すっかり忘れてた、いくらだ

年2000円か……

ﾑｰﾑｰ(GMO)使ってる

.io 取るなら namecheap だけど

そもそも日本のレジストラで GMO じゃないところの方が貴重なのでは

ｺﾞｰｺﾞﾖ嫌いなので GMO とどちらが嫌かと言われると悩む

今新しいドメイン取りたいと思ってるのも、脱 gmail のためなので

べつに cardina1.red でもいいんだけど、口頭で伝えるのが面倒なので(「かーでぃなるどっとれっど」「えるがいち」(cardinal が通じない)

言うて cardinality があるし特定クラスタには一発で通じそうだけど

This account is not set to public on notestock.

graceful-rest.art 、割と気に入ってるんだけど、ハイフンが入ると口頭で伝えるの面倒だし、ドメインハックなのでそれもめんどい

気に入ってるというか、まだ取ってないんだけど

This account is not set to public on notestock.

premiu.maud.io ができるのは maud.io のすごいところだと思う

やはりドメインハックはロマン

yuru.site 捨てがたいな……

でもべつに私特別なにかを許してもらう必要もないし……

This account is not set to public on notestock.

namecheap で SPECIAL って出てくるやつ、一体なんなんです？

悩むなぁ

tie.red か……

namecheap の SPECIAL って何ですかほんと……

SPECIAL のドメイン、カートに入れてみたら検索画面と違って $5200 とか言われた……ひどい……

wi.red は2文字でプレミアムドメインだったというオチ (SPECIAL は関係なさそう)

This account is not set to public on notestock.

tampe.red とか hard-wi.red とか……

hard-wi.red を取得した

三ツ星カラーズ、はなまる幼稚園の頭身を上げて生意気にしたものという感想

Xperia はこういう余計なことやめてほしいんだが、せめて非表示にはできないのか……？

This account is not set to public on notestock.

ほんこれ

私は労働が義務になっているのは、現状の文明レベルでは人間が労働しないと社会を維持できないからだと思ってるんだけど、どうやら労働が人類の本質に関わる重大な義務で、いつどのような状況においても人類が一生労働せずに済むことはありえないと考えている人がいるらしいということに気付いてきた

んなアホな話があるか

働きたいなら勝手にやってくれ、私は働きたくない

いや好きなことならやっていいけど、それは内容によるのであって、義務であるかどうかには関係ない

報酬が出ようが出まいがﾎﾟﾖｸﾞﾔﾐﾝはする

This account is not set to public on notestock.

randomart image はやっぱりオエー鳥のが好き

メールアドレス生やしたいけど、メーリングリスト的なのとか勝手に作ったりして遊びたいので、 VPS にメールサーバを構築したい

まず postfix と sendmail の違いから調べないと……

This account is not set to public on notestock.

postfix の方が sendmail より現代的なのかな？

しかしなぁ、うーん

メールサーバ、宣言的に作ることはなさそうな気がするし、 docker でやるよりも systemd-machined とかで仮想化するのが正解な気がしないでもない

線型探索 - Wikipedia
https://ja.wikipedia.org/wiki/%E7%B7%9A%E5%9E%8B%E6%8E%A2%E7%B4%A2

これがわからないのは……基礎が圧倒的に足りてないか、根本的にﾎﾟﾖｸﾞﾔﾐﾝに向いてないのでは

これ以上簡単にしようとすると bogo sort みたいにテキトーにアクセスして条件チェックするのを際限なく繰り返すしかなくない？

(簡単 #とは )

「想像はできるけどコードに落とし込んだらどうなるかわからない」というのならまだわかるけど、それはプリミティブな要素のメンタルモデルが確立できてないからでは

たとえば C だと「一度に変更できる対象はひとつまで」という小さな単位が存在するわけだけど、それを意識できないとソートとかのアルゴリズムで詰まるかもしれない

swap でさえ3回の代入でやらないといけないとかね (ここでは未定義動作となるうえエイリアシングに弱い x ^= y ^= x ^= y は考えない)

項書き換えな計算体系と、 C やアセンブリみたいな命令型言語だと、どちらが初心者に優しいんでしょうね

私は電子回路/論理回路レイヤーから入ったので脳内では完全に命令型寄りの中間言語で考えてるけど、数学方面から来る人は項書き換えの方が想像しやすいのかなとか

λ計算を知ったときの感動といったら

バブルソート、隣接要素の swap だけを使っているけど、これって計算機に合わせた最適化の結果なので、たぶん初心者には挿入ソートをやってもらった方が(コードが長くなるにしても)理解されやすそうという勝手な想像(知らんけど)

私が最初にわからなくなったソート、クイックソートなので

今思うと何がわからなかったのかわからないけど、たぶんインラインで実行するために、ピボットで要素を分類したあとピボット含めて要素を移動させるステージがわからなかったんだと思う

たぶんあそこで「分類された要素について、引き続きインラインでソートを実行するため」という意義の説明があればわかったはずなんだけど、おそらくそういう説明を見たことがなかったので、ひらめくまで理解を保留することになった

他の人がアルゴリズムをどう記憶してるかわからないけど、私は記憶力ないので、要求と特性だけ覚えといて、あとは必然性の求めるままに最初からアルゴリズムを作っていく方式で「思い出す」ので、口頭での説明とか苦手

あと特定ステップの必然性がわからないと覚えていられない

複雑なアルゴリズムとか本当に覚えられないんだよなぁ……

This account is not set to public on notestock.

This account is not set to public on notestock.

これはある

This account is not set to public on notestock.

これ

教養というか、このくらいもわからない人が何を書けるんですかという、言ってみれば fizzbuzz の一種みたいなところがあるように思う

バブみソートすき

バブミミミッミ

This account is not set to public on notestock.

実際、実用されるソートなんてそれなりに環境依存だったりする最適化の塊だったりするし、今更凡人が手書きしてどうこうなるものではない

ﾋｽﾞﾊﾞｽﾞは覚える価値なし

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

どことは言わない場所に貼り付けて何とは言わない紋にすると滾りそうだなぁなどと思ったので末期

dovecot が UNIX ユーザを使いそうな気配があるし、もし本当にそうなら systemd-{nspawn,machined} 一択では

ここで唐突ですが、 UNIX を小さな女の子だと考えてみてください。

$ cc --help

おっ

アカウント情報を MySQL に保存する術があるらしい……？？？

いや、これは独自のユーティリティか？

Poste.io ~ complete mail server
https://poste.io/
qmail か……

https://twitter.com/ymduu/status/662288360367521792
Java

This account is not set to public on notestock.

すごくわかる

ライブラリ作るぞ～ってなってから、名前を考えるのに数日かけたりすることがよくある

PS4起動したら「正常に終了されなかった」とか言われたんだけど、昨日の東京近郊の瞬停のせいか……

This account is not set to public on notestock.

This account is not set to public on notestock.

https://mstdn.yantene.net/inbox への配送が失敗して再試行が溜まってる

502 - Web サーバーがゲートウェイまたはプロキシ サーバーとして動作しているときに、無効な応答を受信しました。
https://mstdn.taiha.net/

そうなのか、道理で見たことないページだと思った

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

https://twitter.com/umamichanyaokin/status/965416627834535937 #tw #これすき

cardina1.red のホスト名は赤で統一してたけど、 hard-wi.red のホスト名はどうしよう……

電子部品の名前とか？

relay とかめっちゃややこしいことになりそう

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

メールサーバを立てはじめた(今日の日付中に終わらせたい)

Mailu/Mailu: Insular email distribution - mail server as Docker images
https://github.com/mailu/mailu

これを使うことにした

ﾄｮｲｯﾃｰも(投稿者が個別に指定できるか知らんが)不適切画像フラグは立つはず

Android で keep とか使いはじめて、また google 依存度が少しだけ高まってしまったが、とりあえず独自ドメインでメールサーバを運用したうえで PGP 鍵をそちらで作るのが目標

現状 gmail のアドレスで PGP 鍵を作っていて、これかなり嫌なので……

あと gmail アドレスを用途ごとに作ろうとして、ひとまずそれっぽく運用しつつコンタミしてる感じなので、いろいろつらい

Mailu — Mailu, Docker based mail server
https://mailu.io/index.html

メールサーバ立てるといっても、これ使えば docker-compose で簡単に立つので(中身のコンポーネントは OSS なので安心)

SIGGRAPH 、「しーぐらふ」と読めない

どちらかというとｵﾚｵﾚコンテナ・ホスト管理用スクリプト群のメンテが主な作業

毎回必要なファイルだけコピーしてくるの面倒だし、どうにかディレクトリを分離して公開・分離可能にしたい

kubernetes は諦めた

livedoor Techブログ : CNAMEの間違った使い方
http://blog.livedoor.jp/techblog/archives/65340720.html

ブックマークしやすいように、 :don: 強く推薦ゲーム の話題が出たら、ﾌﾞﾖｸﾞとかで静的 web ページにまとめてほしさがある (といいながら私はやってない)

ﾏﾖﾖﾖﾝとかの情報は断片化しがちなのでブクマや追跡が面倒なので

This account is not set to public on notestock.

VPS でエントロピー足りなくてえらい起動に時間がかかったが、どうにか動いている

DH パラメータなんてイマドキ手元で生成しないでほしい

Security/Server Side TLS - MozillaWiki
https://wiki.mozilla.org/Security/Server_Side_TLS#Pre-defined_DHE_groups

9xカーネル、 type C:\CON\CON のイメージしかない

This account is not set to public on notestock.

mailu サービス立ったけど送信失敗した

Feb 19 13:41:11 lmtp(41): Error: SSL context initialization failed, disabling SSL: Can't load SSL certificate: There is no valid PEM certificate.

？？？

うーん、 gmail から送るとエラーさえ返ってこないな (queue に溜まってる？)

まずローカル転送で試すべきだったか

7分遅れで届いた！

delay 10分で設定してるから妥当か？

Mailu configuration settings — Mailu, Docker based mail server
https://mailu.io/configuration.html#mail-settings

FETCHMAIL_DELAY=600

いや、これ fetchmail の話だから関係ないよな……

ラグはさておき、よく見たら gmail への送信ができないのは理由書いてあったわ

> Our system has detected an unusual rate of unsolicited mail originating from your IP address.
> To protect our users from spam, mail sent from your IP address has been blocked.
> Please visit https://support.google.com/mail/?p=UnsolicitedIPError to review our Bulk Email Senders Guidelines.

SPF レコードの設定忘れてた (SPF という名前を思い出せなかった)

SPF レコードを指定したら届いた！

というわけでメールサーバ立ちました 🎉

あとは†正しい†方法で PGP の鍵対を作って keybase にでも登録すれば完了

mailu.io いいですね、とても簡単でした (postfix とか dovecot とか生で何も触る必要なかったけど内部的にはそいつらが動いてるので、脱 mailu からの生の鯖への引っ越しは簡単)

今日はここまでにして、風呂入って寝るか

明日は GPG だな

GitLab CI も使ってみたいなぁ(今私が個人で持ってる鯖ではおそらく動かない気がする)

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

むしろゴミ仕様改変のリスクが小さい(正確には、フォロワーを捨てることなく、気に入らない仕様改編を自分用に戻したり別のサービスへ乗り換えることが可能)ので twitter より適していると思うけど

オープンであれということは主張していく