programmer, from cradle to graveyard. 🐎: 431221762
京都の北
Joined June 2019
- Tweets9.1K
- Following1.5K
- Followers399
- Likes4.6K
dairappa🐚ଳ retweeted
We just shipped AWS Emulator, which gives coding agents a local copy of AWS to test against.
Early in my career, we built test environments like this by hand, one system at a time. Now, agents are writing code far faster than any team can check it in production. Matt Goldberg, a Senior Principal Engineer on our Developer Tools team, wanted to know whether agents could build and test those environments themselves. He gave @kirodotdev a single prompt, and about 15 minutes later it came back with a first version of an SQS emulator. Turing that into a robust solution took much more work
Here’s what I think this means for engineers today: allthingsdistributed.com/202…
dairappa🐚ଳ retweeted
How can lower-cost models narrow the gap to Astra for robotic control?
Our CoRL 2026 paper Maestro shows how robotics tools and orchestration harness enable zero-shot robot control with Gemini 2.5, an older, cheaper model:
- Zero-shot real-world manipulation across 8 tabletop + 4 mobile tasks
- Surpasses π₀.₅ and code-as-policies baselines
A thread 👇
dairappa🐚ଳ retweeted
『オブジェクト指向UIデザイン』や『モードレスデザイン』を読んだ人は知っているが、UIというのは使用者のメンタルモデルとソフトウェアのデータモデルを同期させるものである。見た目のデザインはメンタルモデルとデータモデルのデザインでもある。見た目だけをデザインするようなフェーズはない。
dairappa🐚ଳ retweeted
天野祐介さんの『野蛮なアジャイル』は日本では希少な実名入りのアジャイル社内展開の記録本ですので、「今年やらなくていつやるの？」ということでお願いすることにしました。翔泳社さんの現地販売も調整しています。Day2 益田裕介先生の本『AIメンタルケア入門』も販売予定です。 #RSGT2027
最終日クロージングキーノート、サッカー元日本代表 ミスターレッズ 福田正博さんのセッションは録画・配信なしです。オンライン視聴も提供ございません。 #RSGT2027
並行して、天野裕介さんの『野蛮なアジャイル』のクロージングキーノートをお送りします(配信・録画あり)。
2027.scrumgatheringtokyo.org…
dairappa🐚ଳ retweeted
Leanの定理証明で堅いシステム作るとか美しく感じるからエンジニアが飛びつくのはわかるけどさぁ
本当に価値の高いものってインターフェースの境界部分みたいな泥臭いところにあって、証明が仕様変更のたびに壊れるのでただお荷物が増えるだけになりがちだよ
定理証明が活きるような強いモジュールって、それこそ新しいプログラミング言語だったりランタイムだったり、それ自体の世界が広いものなので、やるならRubyを超える世界的な何かを作るぞ、ぐらいの気概が必要
たかがSaaS開発ぐらいで必要になることは、まぁないと思ってた方がいいと思う
ほぼ状態機械のモデル検査として普通のテストで代替できます
そしてフロンティアのコーディングモデルならほぼ勝手に不変条件を決めながらテストを書いてくれるので意識する必要もないという
dairappa🐚ଳ retweeted
おじさんが導いてあげましょう。いいかね、まずNIST SP800-207 を読みましょう。いい加減な定義のゼロトラストではなくこう言うのを読むといいですよ。ゼロトラストは、PEPでのアクセス制御と、PDPによる判定だとザックリ理解しましょう。この整理された概念からFirewall を見つめ直すと、じつは同じ概念に落とし込めるのですじゃ。併せてPDPの実現例としてRBACを想定するといいです。評価する属性は３つあってサブジェクト、オブジェクト、環境に分けれます。このうちの環境属性として「接続元」があるのですが、これをFirewall に担当させます。するとどうでしょう。ゼロトラストの中に境界防御モデルが取り込まれているとこがわかります。ゼロトラストと境界防御モデルは相反する考えではなく、整理・再配置されたモノと捉えるのが良いでしょう。
dairappa🐚ଳ retweeted
AIで膨らませるな、AIで縮めろ d.nekoruri.jp/entry/2026/05/…
dairappa🐚ଳ retweeted
生成AI時代のIAMのマニアックな話
🅱 はてなブックマーク テクノロジー新着 より
speakerdeck.com/takuros/jaws…
dairappa🐚ଳ retweeted
形式手法流行ってるけど、複雑な状態遷移や並行性がある場合の検証には効果があると思いつつ、そのまえにユースケースの責務と境界を意識したアーキテクチャとか、subjectを自然言語で可読にしたふるまい駆動のテストの整備とか、不変条件を定義してPBTやるとか、そこまでやれているところってどのくらいあるんでしたっけみたいな
個人的にはそれらがやれている上での次のステップくらいの優先度かとおもっています
dairappa🐚ଳ retweeted
モノづくりの系は3層(3周回)になるのだろう。1層目はDevSecOps、2層目はプロダクトマネジメントサイクル。2層目の自作から始めたが1層目がないとモノはプロトタイプ寄りで止まる。その上で3層目に「なぜそのプロダクト仮説なのか？」に答えるための周回を用意する。だいぶ揃ってきた。
dairappa🐚ଳ retweeted
この「知識の構造化」の考え方、
AIにどう情報やナレッジ、概念をもたせようかと考えてる人間には凄く刺さる・・・。
iba.kwansei.ac.jp/iba/journa…
dairappa🐚ଳ retweeted
WBSってのはやることが全部決まったあとの「結果」に対して作る物なので、やることを決める段階で作れるわけがない。作ったとして、それは遵守する価値のあるWBSなのかって話。にもかかわらず、「WBSが無いと安心できないPM」みたいなのがいるから困る
dairappa🐚ଳ retweeted
うーん、法律のモデルがそんなに単純な数学的対象を持つのかなあ… 判例とかで解釈が絞り込まれてくとかあるのに。数学的対象を選ぶのは確実に解釈が入るから虚無を検査してる可能性が高い気がする。私は形式手法よりトレーサビリティを選ぶな。仕様のどこに反映されてるかとか追跡してそれが全域なら網羅してないとはいえない、まで持ち込める
dairappa🐚ଳ retweeted
AI 時代のモデリングとして提唱してみます
集約をどこまで機械的に導けるか――形式手法をベースとしたドメインモデリング｜nrs zenn.dev/nrs/articles/33ba79… #zenn
dairappa🐚ଳ retweeted
ISUCON 参加記を書きました！天然知能で編集しましたが、AI表現が残っていたらごめんなさい。
今回は当日の解法についてです。どんな準備をしたかはまた後日。
ISUCON2026 で優勝しました（当日編） zenn.dev/luvtechno/articles/… #zenn
