大学の同期の@jq2nurのtweetがハンパない鋭さを誇っているので、まとめてみました。 混迷の時代を生き抜くヒントになると思います。 プロジェクト管理 地震でオフィスが使えなくなったけど、それでも納期は伸びなかったのでパイプ椅子と長机の仮オフィスに通…

先日、東京の会社から名古屋の会社に転職された@zakky_devさんの歓迎会がありました*1 。そこで、@zakky_devさんにCoqでリストの結合則を証明するチュートリアルをやってもらいました。 せっかくなので、そのときの台本を公開します。だいたい30分くらいの内…

Github上のレポジトリをクロールして、1個のファイルでタブによるインデントとスペースによるインデントを混在しているのを発見すると、issuesを作ってくれるbotを作りました。 作るissuesはこんな感じです。 ソースコード https://github.com/mzp/space_tab…