atsushi015 is a user on tebukuro.m.to. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

atsushi015 @atsushi015@tebukuro.m.to

アルゴリ設計の本は持ってるけどクヌース本には手が出ない

ラムダ関数はまあ分かるとして、高階関数って数学的にはどういう扱いになるの

dockerで構築したマストドン
別に言うほどは重くないと思います
大規模タンスやる分だと問題になるっぽいけど

マストドンは確かデフォでポート3000でHTTPアクセス受け付けますが
これをそのままWebに流すとセキュリティ的に非常にまずいので、別途SSLサーバーを導入してそっち経由で接続するのが通例のようです
自分はそのまま垂れ流してました

マストドン結構重いみたいなので、自分が立てるならぷれろまにしたい

鯖から引いてこれるか
クライアントサイドでやった方が良さそう

atsushi015 boosted

いや、LTLに検索欄追加して、コマンド(@mstdn.jp|@pawoo.net)みたいにコマンドで鯖を指定すると、指定された鯖のLTLの連合が表示されるやつ実装したいなあ、ってだけです

絵の男まで現実化してる…

atsushi015 boosted

結城先生。鳥のどうでもいい話にいちいち反応しなくていいから。
ここでする話じゃないな。

こんだけ密なインスタンスだと、多少言いたい放題でも良いのかもしれないと思った
やんわり進行だと都合が悪い場合もあるだろうし

占いが当たる確率は50%なのに、何故よく当たる占い師などというものが存在するのかというと、
彼らは根拠の不確実な情報を元に直観で推測しているのです。
(たとえば、てぶくろ氏は最終的には理想的な立場に付けるだろう、などと言えます)
単なる統計だったりするケースも多いですが、説明が出来ていないだけで、実際には情報に確実な根拠があった場合は、それは図らずも必ず当たることになりますし、そうで無い場合も確率の問題になります。
何かこの考察自体が占いのような気もしてきました。まる。

atsushi015 boosted

インデックスがいいと思います

ふとてぶくろ先生の組んでるポートフォリオが気になった

なんですかそのトンファーキックみたいな

atsushi015 boosted

僕マサカリ持って人を殴るの得意だよ

銃が無理でもスプレーぐらいもっといた方が良いんだろうか

生き残った消えて欲しい人代表です