固定されたトゥート
固定されたトゥート

弊インスタンスが2.6.5になりました🍰 🎉

固定されたトゥート
固定されたトゥート

今月のaws代金1万円超えてて目が飛び出たので乞食リスト公開します
amzn.asia/fTQ3Pb1

fgo5連して全部礼装だったので今日マラソンするのはやめよ

明日は普段より1時間家出ても間に合うしブラボ周回してから寝たい

ガストは一応幼馴染カップルとかあるし……

aries さんがブースト

理工系の文書(雑多に「数式を含む文書」ぐらいが対象)のセマンティック解析というニッチなテーマで研究をしているのだけど,数学者の文章ではしばしば証明は「自明」の一言で色々省略されてしまうし,あまつさえ「読者の演習課題とする」等のメタな指示がぶっ込まれたりするので形式化は容易でない.

今日の予定2時からだと思ってたら一時からじゃないか

昼食チャンスを失ってしまった

昨日夜駅で取り出したのは覚えてるからそこで落としたかな

ヘッドホンケース無くした……

aries さんがブースト

お仕事やる気起きないのでサーバ開梱しよ

メーリングリストを1つ削除
メモには私が先月作ったことになってるけど作った覚えは合ってもなんで作ったのか覚えてない

昨日vpn貼れなくて困ってたやつ結局レジストリからNATトラバーサル有効にしたら行けた
こんなのレジストリでやらせるなよー……

フェリシモ「500色の色鉛筆」から、ariesさんの今日の色鉛筆3色は

・茶の湯の釜
・羊飼いの角笛
・氷上の舞

です。shindanmaker.com/chart/858602-

shindanmaker.com/858602

昨日夜飲み会に拉致してきた人が今日体の節々が痛いとか言ってて恐怖しかない

もっと見る
mstdn.asterism.xyz

わたし(aries_hituzi@twitter)の個人用インスタンスです。 AWSにてホストしています。