発火大根 hakkadaikon🎤
hakkadaikon@iris.to
npub1zqdn...k6mn
freestanding weird engineer
middle-aged foodie
popopo user
If it's not about tech, I'm probably joking
Interested in:
- Vim, Bitcoin, Nostr, Protocol stack, Network, Low-level tech, Joke, HIPHOP
wired
(http/3 server SDK - This doesn't even use the std library)
https://github.com/Hakkadaikon/wired
友人の自家焙煎コーヒーショップのサイト作りました
https://coffeehousehiro.vercel.app/
jevつかったテストシステムつくり中だけど、仕様のTLA検査が全然終わらないので寝るかぁ
opencodeお漏らしきびしい
個人情報先出しシステム、
発想が好きじゃないが
一応自動生成クレカ番号のLuhnチェックディジットをずらして
ありえない番号にする...とか
住所も市区町村以降適当にしてる...とかはしてるのか
きょうだったか！
View quoted note →
いますぐズボンぬいだあとVRゴーグル買いにいくか
動画希望
淀川さん決着ということは
ついに決着するということか
（トートロジー）
4-5件しかでなかった、まあ他に色々静的解析とかもしてたからか
View quoted note →
ASanの検出までやってって書いたけど
ASan検出の修正までもうやってるわ
コードカバレッジも92%までいってるけど
100%に近づけたさ
specaの考え方だけskillsに取り込んだ
ASanでスタックフレームが死ぬほど増えてた
3400 commit 以上積んでも
安定化はまだまだ先やなぁと感じる
誰も使ってないの前提でmainにバシバシpushしてる
commit 前にチェックせんでもいっか、CI にいれとけば
ASanのチェックはpush前に通すぐらいの感じにしようかね。重いし。ゲートとしてはあった方がよさげ。
ASan付きビルド重いねぇ
wiredの仕様抽出見直したら、
- バグ 118件
- 仕様実装もれ 47件
みつけたわ、死
CVEも全部抽出し直したら
200-300件くらいバグありそうな気がする
仕様からのEARS抽出工程の穴が大きかったね
GitHub
Issues · Hakkadaikon/wired
Welcome to the "Wired" / MoQT, WebTransport, HTTP3, QUIC, TLS1.3 SDK / libc independent C - Issues · Hakkadaikon/wired
たぶん、
tripo AI + astra + きゃらくる で
1枚絵から3Dモデリングとリギングして
FBX出力したあとVRChat SDK でインポートしたら
顎髭グラスコードの太め中年男性のままVRChat出来るんだわ