(がんばって～は言ってはいけないやつ？)
発表がんばって～
胃腸の調子が悪くてグダグダしてる
@censored こらーっ、ミームで話さない！
@censored 間違った、ゆっくりしていってね！って言うべきだった
@censored 別に僕の庭というわけではないので……
近場に旅行に行ったついでに地場の農産物をどっさり買って帰って料理に使ったりしてる。旅行が続いてる気分で楽しい😋
Fediverseが賑やかになってきていいぞ
nostrも面白そうだがどうなんだろうか
TweetDeckが使えなくなるといよいよ移住が進みそうだわね
zeptomter
さんがブースト
オタク、ML っぽい型システムを見るとすぐ型推論とか言ってしまう
zeptomter
さんがブースト
社会性ポイントをかなり消費してぐったりしている
星新一が書いた肩の上の秘書の世界がすぐそこに！
zeptomter
さんがブースト
「DeepL Write」が登場 ～翻訳ではなく、より正確・自然な文章提案に特化したAI - 窓の杜 https://forest.watch.impress.co.jp/docs/news/1471060.html
顧客が求めていたものだ
@ashiato45 ありがとうございます！
睡眠失敗してクッソ眠い
論文通ったぜいえいいえい(引用RT的なやつのやり方がわからん) https://mastodon.acm.org/@bindingscope/109690012753980412 [参照]
zeptomter
さんがブースト
Our paper "Contextual Modal Type Theory with Polymorphic Context" is accepted for ESOP'23, woohoo! You can read the preprint from arxiv: https://arxiv.org/abs/1801.09225v2
どうもどうも / zptmtr@twitter.com
2023年 1月 に登録
