CD音源とかだとすぐ解析されるからライブでこの音出してほしい
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/
エンドポイントだけが示されててレスポンスだけからプロトコルを推測するおくなもさん形式
架空の NIP で nostr 謎作って
謎解き稲荷
「この発言は嘘である」
ありえないと言えた時点で well-defined なんすよね
ZFC なら ill-defined
ZFC+CH なら well-defined
ZFC+￢CH なら well-defined
真か偽かは決まっているので well-defined ですね
論理パラドクスの序章を読め
真偽が決まらない「邏�ｭ秘､ｨ縺ｫ菴上�蜚ｯ荳縺ｮ莠ｺ髢薙〒縺ゅｊ縲∫ｴ�ｭ秘､ｨ縺ｮ荳ｻ縲後Ξ繝溘Μ繧｢繝ｻ繧ｹ繧ｫ繝ｼ繝ｬ繝�ヨ縲阪↓莉輔∴縺ｦ縺�∪縺吶よ祉髯､繧�ｴ玲」とかが ill-defined だというならまだ分かる
「飛行機は犬でできている」が偽であると言えるのであればその述語論理式は well-defined
make sense が既に ill-defined だっちゅーの
muumuudomain から怪しいメールが来てる
固めの型理論なのかな
いろんな餅
米の餅～
おもち～
nostr の投稿が本当に x に言っているかのテスト
お餅
お餅～
桜餅～
ろろちゃん寝れたっぽい
よかったねぇ
twitpic の写真ってどうやったら消えるんだろうか
というわけで指紋が映ってそうな写真を消していってる
たぶん指紋映ってる写真を集めてる人とかいそうやな