Show more

I've just uploaded xdvik-ja/22.87.03+j1.42-3 to ftp-master's unstable suite

緩募: 駒場キャンパスの喫煙所. 以前からあった喫煙所が体育館工事で閉鎖されてる.... それとも, キャンパス内全面禁煙になった?

駒場、唯一の喫煙所が体育館工事で塞がっている様に見えるのですがこれは...

おー、ホテルの建物揺れとる。

ところで、このホテルの窓は大丈夫なのかしらん

明日のシンポジウムは午後からになりました、とさ。

uwabami✅ boosted

4 年半ぐらい暮らしててこの家に雨戸があることにわりと最近気がついた(のでここでは初めて使います)

uwabami✅ boosted

LaTeX で論文を書いて, GitHub に push すると CircleCI 上で textlint による日本語の文法チェックが走ったのちビルドされて PDF が落ちてくるテンプレートのリポジトリ誰か作ってくれ…!誰か…!

uwabami✅ boosted

まぁそういう一般論はさておき,llmk という名前にものすごいこだわりがあるわけじゃないので,いい名前があれば変えてもいいとは思っている.とりあえず長いコマンド名は嫌なので6文字以下でということにしているのだけど,なかなかピンとくる代わりの名称が思い付かない.

首都圏のJR、9日朝は一時運転見合わせ | 2019/9/8 - 共同通信 this.kiji.is/54334336221277500

uwabami✅ boosted

ところで TeX Live の偉い人たちから「llmk の名前を変えろ」という圧力を受けている.まず LLVM 関連っぽいのがアレという話なのだけど,LLVM 関連のコマンドは llナンチャラ じゃなくて clang とかだしあんまり混乱しない気がするけどなぁ.llmk という名の先行ツールはなさそうだし別にいいじゃない

今回の出張、徒歩圏内にしたの正解だったかな。

uwabami✅ boosted

型検査器は無事に実装できた(たぶん)ので,あとはパーサエラー・型エラーのメッセージで具体的にどの入力のどの位置(何行目)に問題があるのかを明示するようにしたいが,パーサの改修からやる必要があるので若干手間がかかる.

宿から駒場まで歩いてみた。だらだら歩いて30分くらいかな。よきよき。

Show more
junkhub.org

某所OBの人々が利用している(ほぼ個人)インスタンスです。