わたしもPC内の音楽掘ろうかな
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/
こむハニくん
形式検証で何が検証されるんですか
バグがないか?
脆弱性がないか?
lausbub
damuslabs ってなんだ
駄娘
ローカルの strfry に投げてみれば
speca はドキュメントには証明とか書いてるけどめちゃめちゃエージェントのふわふわ思考ですね
ちなみに何の形式検証やるんですか
で、これをやっちゃうとリレーが中央集権化しちゃうんですよね
まぁでもそれはアプリが悪いのではなくて人気者を追いたいという人間の根源的欲望と nostr プロトコルのせいなので私のせいではない
https://koteitan.github.io/warawo/
フォロイー分析アプリにおすすめリレーランキングを付けた


クンの水餃子を手に入れた
江頭
エル


堂々たる危険
sound?
これが最新の流行り
