zeptomter さんがブースト

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

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

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

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

zeptomter さんがブースト

ぺいぺーの履歴ぶち抜く君,あるんだ(どうぶち抜いてるんだろ)(そもそも履歴がハイパー扱いにくいのがカスすぎるが......)

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

スレッドを表示

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

zeptomter さんがブースト

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

スレッドを表示

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

zeptomter さんがブースト
zeptomter さんがブースト

友好のしるしに紅しょうがをくれる焼きそばパン

zeptomter さんがブースト

ちょっとX障害起きた時だけ来るのは結構迷惑なので、オンライン人数が急増した時は過去1ヶ月のログインや投稿数を見て徐々に受け入れる仕組みを入れるなどします

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

古いものを表示
Fedibird

様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。