次はgrokのパロディでerok（エロック）待ってます
発火大根 hakkadaikon🎤
hakkadaikon@iris.to
npub1zqdn...k6mn
freestanding weird engineer
middle-aged foodie
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
こじらさん、これのエロいver作って欲しい
クローン・アバターサービス LP
まずは手を動かしたまえ
その辺の画像生成モデルで抜ける絵が作れるかどうか
1000枚作ったらまた相談しにきなさい
（面倒くさいやつ）
View quoted note →
ということで、ぼくの魔界村になってきたループエンジニアリングskillsをみてください
自然言語の要求
-> EARS 記法 + 状態/ドメインモデルへ構造化
-> TLA+ で設計を網羅検査
-> TLC の反例を Gherkin の受け入れ仕様に落とす
までの 3 重フィードバックループ
(数学的証明は別口でLEANでやる)
なんとなく、きょうみありそうなひと :
@Alice in the git stash
@USA
GitHub
dotfiles/home/.claude/skills/loop-engineering/SKILL.md at feature/formal_valification2 · Hakkadaikon/dotfiles
neovim settings . Contribute to Hakkadaikon/dotfiles development by creating an account on GitHub.
いまちょうどTLA+ とLEANのハイブリッドでWebSocketつくってる
View quoted note →
これ試したいな
まだleanしか形式検証試してない
View quoted note →
時代はBabelTele圧縮
IT捨てたらラッパーしかないだろ
View quoted note →
こういう、ステレオタイプgeekかっこいい、みたいな感情がある
GitHub
GitHub - DietrichGebert/ponytail: Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote. - DietrichGebert/ponytail
自分の幸福とは何なのか
どういうことやねんw
View quoted note →
夫はコミティアには？
ビアガで寝れば全て解決
J( 'ー`)し <
たかし、CVE-2026-49975 通称http/2 bomb は、http/2無効化にすると普通のWeb APIではhttp/2を使っていなくても静的コンテンツ配信等で使っている場合があるからパフォーマンス劣化の可能性があるのよ。
ビジネス判断が必要になるから上長に相談してから対応するのよ。
チャージ3回
フリーエントリー
ノーオプションバトル
のローション相撲なら負けない
View quoted note →
乳首を非推奨にするんだったら
まず議論しようや
やりません