関数型言語レベルに強力な型システムが欲しいとかでなければKotlinが結構いい感じ（IntelliJのサポートがない場合の書き味がどうなのかはよく知らないけど……）
関数型言語レベルに強力な型システムが欲しいとかでなければKotlinが結構いい感じ（IntelliJのサポートがない場合の書き味がどうなのかはよく知らないけど……）
null safetyってnullになりうる参照に対してMaybe型と同等の型チェックを強制する仕組みであって、nullに何やっても安全！wっていう仕組みではなくないか
sub_parts_clientのよく分からんバグを踏んだのでエラーレポート投げた https://github.com/toshia/mikutter-sub-parts-client/issues/9
家の近所のドミノピザにオーダーしようとしてピザハットのフォームを一生懸命埋めてた（注文する直前に気付いた）
名前はあのバグを調査してたからですね……（名前欄だとクラッシュしないのマジで謎）
お、証券口座への入金がようやく処理されて使えるようになったっぽい
日本みたいにバラエティ豊かではないっぽいがあるにはあるよ
Googleにはもう魂の半分くらい売ってるので……
普通の株はどんなに良くても数年かけてせいぜい2倍か3倍くらいしか上がらないという世界っぽいので、1000万円単位でぶち込まないとあんまり面白いことは起きなさそうという印象になった
会社が潰れて一瞬で数百万溶けたりしたらそれはそれで面白くはあるけど……
アメリカに来てからというもの、生活リズムが壊れてるか平日昼間に普通にSNSやってる日本人しか観測できなくなってしまった
smhnの人は観測しやすいのでここはいいインスタンス
ショットグラスのいいやつって最高でいくらくらいするのかな
Amazonで値段でフィルタリングしても複数個入りのやつばっかりで参考にならん
また新しいあずにゃん概念を見つけてしまった
『あずにゃん：「カウンターで仕事すると、飲み物を取りに来る他部署の方とも関われて、新しい発見があるのでよくここで仕事をしています」』 https://us.wantedly.com/companies/freee/post_articles/84740
MAGフォーマット、Wikipediaの説明読んだだけだけどかなり黎明期の技術っぽさを感じた
2次元的なパターンの類似性を活用したいなら、画像を縦横に4等分したものをZ字型にたどって一直線に並べ直す、という再配置を再帰的に適用した後でLZHするとかでよさそう
@toshi_a 自分の記憶の中ではbmp時代とpng時代しかなかった（正体不明の画像フォーマットを使ってたゲームに実は結構あったのかな）
JPEGはなんか有理数と自然数の全単射を作るときみたいな並べ方してるのか。まあこっちのほうが再帰的にZ書くより復元しやすそうではある https://en.wikipedia.org/wiki/JPEG#Entropy_coding
Vの動画は見たことないけど、RTA配信でも画面にチャット流してるのはよくあるのでそういうもんだと思っていた。でもなんで必要なのかと言われるとよく分からんな
配信サイトから切り離された状態で後で見返す時（ローカルの録画を見直す、他の動画サイトに上げるなど）にコンテキストが失われなくて便利とかはありそう
歯医者でもらった歯磨き粉、なんか知らんがすっぱくてまずい……
洗濯機回し始めたらうるさくて家が居住不可能になった
【なぜ世界は存在しないのか (講談社選書メチエ)/マルクス・ガブリエル】センセーショナルなタイトルとは裏腹に、現在広く知られている唯物論と構築主義の問題点を解消し、新しいモデルである「新実在論」の構成を分かりやすい例と文章で説明している。実在する対象と認識の間に「意味の場」というレイヤを挟むことで素朴に「ある」と思えるものをまとめて扱えるようにする構成の方法は、自分が日々うっすらと感じていたイメージとも合っていて概ね納得のいくものであり、それを平易にまとめきれる著者の技量に驚いた。表題への答えそのものは無限後退の否定として示されているが、この点は議論の余地があるように思える。 https://bookmeter.com/reviews/87143317
自分の存在が連続しててもしてなくても別にどうでもよくないか
自分の連続性が言えなくてもそれで直ちに何か困るかというと別に困らなさそう。今までが連続だったと証明できれば、今まで使った器具は連続性を破壊しないっぽいということは分かるので、ある日突然どこでもドアの底で溶ける心配がかなり小さくなるとは言えそう
まあでもリニアモーターカーは実はどこでもドアなのかもしれないし、飛行機に100回乗ったことがあったとしても次に乗る飛行機はJAL123便かもしれないんだよな
瞬間的に意識が高まってAWSにいらんリソースを放置して課金されてることに気付き、無事全てを抹消した
仕事の目的は利益を出すことではないと思うし、会社の存在理由も利益を出すことではないと思う。
ウィンナーを売って！ウィンナーをもらって！
ウィンナーを売って！ウィンナーをもらって！
ウィンナーを売って！ウィンナーをもらって！
ウィンナーを売って！ウィンナーをもらって！
ウィンナーを売って！ウィンナーをもらって！
ウィンナーを売って！ウィンナーをもらって！
自己の連続性を仕事の成果という形に写しておくことで他の人に連続性を保証してもらうのが仕事の意味ですよ（適当）
とにかくいいから今すぐに空の下屋根の中とセカイ魔王と魔法少女なんてもういいですからとヨツコトを読むんだ
双見酔は紙で買うという自分ルールがあるんだけど、さすがに読まないよりは読んだほうがいいのでとりあえず電子版で3巻買うか……
このアカウントは、notestockで公開設定になっていません。
言葉が刺さって死んだかと思われたが、働く前も別に面白いことはしてなかったのでポケットに入ったロケットペンダントに弾が当たる感じで助かった
よくわからんがとりあえずソーセージを売ってソーセージをもらう以外の労働は悪
アメリカ、ピザどころか色々な煮込み料理にカジュアルにパイナップル入ってるよ
Posted to Hatena Blog
2020年の目標 - 1月 - osa_k’s diary https://osak.hatenablog.jp/entry/2020-monthly-report-jan #はてなブログ
このアカウントは、notestockで公開設定になっていません。
このアカウントは、notestockで公開設定になっていません。
株、買ったときの値段を覚えておく必要があるのではないかと一瞬思ったけど、よく考えると未来の売買だけで総資産を最大化する問題だから、買値どころか過去にやったことは何一つ覚えておく必要ないな
納税額の計算のために買値が必要なのではないか？という指摘をもらった（本当かは知らない）
初めて雪が降ってる中で運転したんだけど、フロントガラスがアホみたいに結露して死ぬかと思った
【メイドインアビス 8 (バンブーコミックス WINPLUS SELECTION)/つくしあきひと】を読んだ https://bookmeter.com/books/13660703
株、買い時と売り時の両方を気にしないといけないのがちょっと面倒な気がしていたけど、一定以上に上がったら問答無用で利確するルールにすると宝くじ的に運用できるのか？
株を持ち続けることは仮想的に利確して即同じ株を買い直すのと同じなので、結局気の持ちようという感じもする
現金をいついくら欲しいかが分かってないと売り時も決めらんないっぽいな
1000万円ある時、突然暴落したりしなさそうな100銘柄を10万ずつ買って1%上がったら即売る感じのことをやると効率よく金が増えていきそう。というかそれがインデックスファンドなのか
暴落しないなら1000万を1銘柄にぶちこんで1%で利確すればいいのでは？
まあでも1000万の1%は10万でしかないので、ちょっとリスクの割に面白みが足りない感はある。1億くらいあると楽しそう
落ちた時に復帰を信じて長期間待てるなら結局何やっても同じっぽいな。すぐに現金が必要になったときに高い株を持ってるかどうかが重要なので必要なのは先見の明か
現金を得るモチベがないと数値ベースの拡大再生産ゲーでしかないな
あずにゃん (@ Austin Bouldering Project) http://foursquare.com/v/561c3410498e22801945b442
コンピュータが不思議な力でおもしろウェブサイトの見れる魔法の箱だという素朴な世界観なら、自分の興味と関係ない錬金術が動いてるとか気持ち悪と感じるのは分かる気がするが、そういうロートルのお気持ちに寄り添わないといけないのは生きづらいね
このアカウントは、notestockで公開設定になっていません。
なんか言おうとしたけどまとまらないのでやめた（情報量無のﾄｰﾄ）
社会通念的に許容されているという概念、邪悪な意図があっても利便性とセットで売り込んで既成事実化すれば合法になってしまうので、パワープレイしたもん勝ちになるのでは（実際広告のトラッキングとかそうじゃない？）
コンピュータは社会通念のような大きな枠で捉えられるほど成熟した概念じゃなくて、まだもっと細かいレベルで境界を探らないといけない段階だと思うんだけど、それを社会通念でくくってしまうのは認知能力の限界なのかな。ちゃんとした訓練を受けてない人間の認知は驚くほど粒度が荒いっぽいし……
株を売って！株をもらって！株を売って！株をもらって！株を売って！株をもらって！株を売って！株をもらって！株を売って！株をもらって！株を売って！株をもらって！株を売って！株をもらって！株を売って！株をもらって！
株を買って！優待をもらって！株を売って！お金をもらって！株を買って！優待をもらって！株を売って！お金をもらって！株を買って！優待をもらって！株を売って！お金をもらって！株を買って！優待をもらって！株を売って！お金をもらって！株を買って！優待をもらって！株を売って！お金をもらって！
おもしろいことを言おうとしたのに皆さんが良品週間になったので先生今日はもう授業しません
今日は人と話してコードレビューしたら一日が終わりました
MiqHub見て思ったけど、だいたいのプラグインはGitHubかGistに上がってるんだから求められてるのはzipを上げるリポジトリじゃなくてMikuregatorだよね（ライセンス的に大丈夫そうなら勝手にアーカイブしてもいいが）
MiqHubがAPIキー無しで使えれば普通の用途には十分なはずで、他の何かを作るなら付加価値をつける必要があると思う。スパム報告とか……
インデックス投資の話でも思ったんだけど、景気が上がってるから株価も上がってる以上のことなんもわからんな
n年ぶりにHaskell書いたけど意外と覚えてるもんだな
