zeptomter @zptmtr@fedibird.com

ようこそムーンサイドへ

twitter死んだか？

睡眠失敗、ねむいねむいよ～

Nominal Setsでλ計算の形式的定義をmechanizeしてみたいと思っていて、とりあえずこれを目標にするか

Lean に手を出してみたいけどとりあえず情報が豊富であろう Coq を勉強するべきなんだろうなあ

定理証明支援系を勉強せんといかんの波動が強まっているので Software Foundations とかをやるか……

phanpy.social のおすすめポイント：連続するブーストをまとめてくれるからブースト魔をフォローしていてもtimelineを快適に見られる

へーこんなんあるんだやるやん

アカウントの切り替えがちょいめんどい（使い方をわかってないだけかもしらん）

phanpy.social というmastodonクライアントを使ってみてるけどかなり使いやすいな

最初はさくらのメールボックスのフロントエンドとしてFastmailを使っていたけど、しばらく使ってFastmailを信頼していいかという結論になり移行に至りました

独自ドメインのメールをさくらのメールボックスからfastmailに移行した

まあそりゃそうなるわな…

Twitterぶっ壊れてない？おすすめのタイムラインが表示されない