Alice in the git stash
koteitan@koteitan.github.io
npub1f3w4...dhgk
夜中に出る
好きな言葉: 風船、絵の具
最近作ったもの:
nostr/Bluesky/misskey.io/Discord 読み上げクライアント yomi https://koteitan.github.io/yomi/
モジュラー型 Nostr クライアント mojimoji https://koteitan.github.io/mojimoji/
自作ターミナルエミュレータ koteiterm
https://github.com/koteitan/koteiterm/
twitter/nostr/Bluesky 横断検索 findmine https://koteitan.github.io/findmine/
nostr-post-checker https://koteitan.github.io/nostr-post-checker/
カウントダウンメーカー https://koteitan.github.io/countdown/
BMS停止証明論文を証明支援系で検証しようと思うんですが claude が Isabelle/HOL でやりたがってます
Isabelle/HOL っていいんですか
会話がもうほとんどマルコフな nostr
面白過ぎる
実は fry 要素一個もない
揚げ立てほやほやのサックサク人工衛星
たらこもんじゃ
しおおなか観光
ほかにもあるやろ
じゃあ寄せ豆腐食べるね


なにこれすご
前のやつの賞味期限を nostr で知った
えなに
焼くのこれ
たらこがつよい
ちなみにポテトみなんもありませんでした
ω円預金して
はらぺこポテト
たんこん
サラダ冷たくておいしい
エイリアスできたらいいのにね
:eeeee
eoooe
eoeoe
eoooe
eeeee:
みたいな
起きてやんややんやしたらなんか pure yabasic で署名できてた(誰得)
View quoted note →