あさにおきるね
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/
しまった
蝉が起きてきてうるさい
ねる
あさあさー
あさなのよー
あさだねー
メアリー一番怖い
壁に耳あり臍に蟻
カリカルサンニ
それ一語で表せるんやシリーズ
「乗りこなす」を漢字変換したら「海苔小茄子」になった
そのまま VTuber にしようかな
lean で解いた証明を latex にしてもらって読んでる
第1段まで読んだ
読みやす~い
GitHub
yet-another-pss-proof/lean/README-ja.md at main · koteitan/yet-another-pss-proof
yet another termination proof of Pair Sequence System - koteitan/yet-another-pss-proof
タイトルからして笑うの確定しているけれどそれでも笑う
うるさいw
観れたw
見つけたけど鍵アカになってて見れなくなってた
観る前に消えていったやつだ
わかる
日中はおなかへりと眠りを繰り返して茫漠としている
緑茶と烏龍茶と紅茶の違い


⛩️でばっぐ神社のITおみくじは😊【中吉】でした
「コピペが動いた。中身の理解は後回しでヨシ。」
・学問: サンプル通りに書けば動く。応用は要努力。
・デプロイ運: デプロイは通るが、確認に地味に手間取る。
・金運: 昇給は据え置き。だが賞与に少し期待。
#でばっぐ神社


でばっぐ神社
バグった時の神頼み。