書けるのかはしらん

x非零が必要なのでは

卒論審査前にカラオケ行きたいんですがいいですかね

肉のグラム単価書かずに値段ごまかす戦略ずるい

おもしろ組版ライブラリのアイデアとして、PL論文で頻出する型推論の証明が正しく記述されていることを検証しながら整形して出力するライブラリというのがあって(自分が考えたわけではない)、落ち着いて読めば自明なくせにtypoやミスが頻出するものなのでとても面白いと思う

買い出しに行きます

そもそもGitHubのWeb署名にどれほどの意味があるかはさておき、Unverifiedが光り輝くのは不愉快である

GitHubのPR画面上で(baseブランチを取り込む操作であるところの)rebase branchを押すとコミットの署名が全部剥がれるの意味わからんだろ
お前Webコミット用の署名鍵なんで使わないんや

文書を書いていて任意の挙動をするコマンドなどを定義したくなるのは自然だと思うのだが、一般にそれは自然ではないらしいことが知られている

LaTeX、まともにプログラミングができないので良くない
そもそも動きが遅いのも良くない

そういう人が勝手にフリーWi-Fiを使わなくなることで回線が空くならいいことなのでは？という気がしてきた

半分は書けた気がする もう寝るぞ

首がバッキバキなう

卒論が終わらん 何文字書くねんこれ

五月祭代表者会議で全裸男性という爆弾を小耳に挟んでニヤニヤが止まらん どういうことやねん

卒論のバックアップについてやかましく叫ばれる時節ですが、当然文書はGit管理しているし作業もリモート環境でやるのでパソコンなんか何台壊れてもらっても構わない いや構わなくはないが

unlistedの新しいアイコン慣れねぇ

睡眠不足私、ようやく再起動