Summary of Team Geek

『Team Geek』の箇条書きを一つのページにまとめる。

20201115log

今日は休息の日とした

20201111log

コミュニケーションが下手であることを自覚することのメリット。壁に立ち向かう時の心構え。

Rustの構造体や列挙型に関するメモ、Isabelleの定数畳み込みと定数伝播に関するメモ、チームのマネージャー・マネージメントに関するメモ。

20201107log

香水の一番良いところはその香りであるよりも、その残り香であり、離れた後でもその人のことを思い出せることにある。

20201102log

主戦場を探さねばならない。

20201029log

地獄への道は善意で舗装されている。善意で二回オフィスのWi-Fiの設定をしたら今回も依頼されて、地獄だ。

20201 26log

虚無から脱出する方法を見つけられた。薬だ。

20201014log

レモンサワーよりもレモン果汁が好きである。