この間ずっと行きたいと言っていたボルダリングをみんなとしてきました。 所感としては筋トレよりもハードなのに、楽しんでできるので運動として最高でした。 初回だという事を伝えるとオーナーさんがレクチャーもしてくれたし、 ちゃんとレベル毎に上るホー…

今日は自分自身の予定の話しになります（断言） 欲望として毎日ブログを書きたいというお気持ちがあります。 そしてn敗しています。 なので今回は毎日ブログを書くための計画を練って、 今回も敗北したら原因を明らかにして改善をしていこうと思います。 （…

ストレージが128GByteは厳しい！ 現在研究室にある自分のPCはコストカットのため、先輩が要らなくなった(であろう)M.2SSDを強奪譲り受けたものなので128GByteでした。 ただ、1年も使っているとなるとデータは色々と増えるもので、だいぶカツカツになっていた…

最近は身内での勉強会でO'Reilly Japan - ユニコーン企業のひみつを読んでいる 一度に長い時間をかけて読んでいるわけではないので、結構亀進行だけど、 早く進んだものは早く忘れがちなのでありがたい。 その中で、プロダクティビティスクワッドというもの…

論理の話はともかく、哲学的な話を一緒にできる友達はあまりいません(ﾄﾞｳｼﾃ...) 実際には、一緒に哲学の話ができそうな友達はいるけど、それをするとなぜか心配されるんですよね… いや考えるのって面白いし、いろんなケースを想像するのって楽しいけどなぁ… …

まずはisoファイルのダウンロードから ダウンロードしたらsha1の検証を行う参考 USBインストーラーを作成する いつもrufusを使ってる PCで見る日本語はかっこ悪いと思っているので設定はだいたい英語にしている 初期設定 ミラーサーバーの更新 https://turtl…

macOS以外のOSでも画面はスマートにしたい 今までは下のアプリケーションのオプションに追加してスクロールバーの表示をいい感じにしていた forum.vivaldi.net けど、最近このオプションが使えなく？なったのでchrome拡張のスクロールバーを非表示にして対応…

研究室の同僚に Singularity 教えてって言われた が、面白そうだしそんなに難しくないかなと思ったので、 そのまま必要としてる環境を作ってみて def ファイル渡すことにした。 (実際、その方が Singularity 使ってる感があったのでそうした) こちらが rakud…

TL ; DR Windows の環境は全部WSLで何とかしたい 唐突にWSLgで研究環境を構築したい欲が！ じゃあWSLでやればいいじゃん！(ということで環境構築していく) まずはWSLにManjaroを入れるところから 無事にManjaroが入ったなら次はAgdaのインストールだ 文字化…

昨日、突然デスクトップPCがネットワークに繋がらなくなった いろいろ疑ったりしながら調査した結果、どうやら以前設定したネットワークブリッジがDHCPから割り当てられるipをぶんどっているようだった。 よしじゃあこのブリッジを消してしまえばいいじゃん…