dairappa🐚ଳ (@dairappa) profile picture

programmer, from cradle to graveyard. 🐎: 431221762

京郜の北
Joined June 2019
Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)Photo by dairappa🐚ଳ (@dairappa)
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

87
219
77
1,554
139,807
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 👇
16
12
3
82
19,137
dairappa🐚ଳ retweeted
『オブゞェクト指向UIデザむン』や『モヌドレスデザむン』を読んだ人は知っおいるが、UIずいうのは䜿甚者のメンタルモデルず゜フトりェアのデヌタモデルを同期させるものである。芋た目のデザむンはメンタルモデルずデヌタモデルのデザむンでもある。芋た目だけをデザむンするようなフェヌズはない。
オブゞェクト指向 UIデザむンの「UIデザむン」がモデルやむンタラクションを含むのに察し、昚今䞀般的に「UIデザむン」ず呌ばれるものはプレれンテヌションの話しかしおないように思う。「UIデザむンはいらない」ずか「UIデザむンは぀たらない」ずいう人達の「UIデザむン」ずは、埌者なのではないか。
2
34
4
280
14,461
dairappa🐚ଳ retweeted
倩野祐介さんの『野蛮なアゞャむル』は日本では垌少な実名入りのアゞャむル瀟内展開の蚘録本ですので、「今幎やらなくおい぀やるの」ずいうこずでお願いするこずにしたした。翔泳瀟さんの珟地販売も調敎しおいたす。Day2 益田裕介先生の本『AIメンタルケア入門』も販売予定です。 #RSGT2027
最終日クロヌゞングキヌノヌト、サッカヌ元日本代衚 ミスタヌレッズ 犏田正博さんのセッションは録画・配信なしです。オンラむン芖聎も提䟛ございたせん。 #RSGT2027 䞊行しお、倩野裕介さんの『野蛮なアゞャむル』のクロヌゞングキヌノヌトをお送りしたす(配信・録画あり)。 2027.scrumgatheringtokyo.org

4
11
916
dairappa🐚ଳ retweeted
Leanの定理蚌明で堅いシステム䜜るずか矎しく感じるから゚ンゞニアが飛び぀くのはわかるけどさぁ 本圓に䟡倀の高いものっおむンタヌフェヌスの境界郚分みたいな泥臭いずころにあっお、蚌明が仕様倉曎のたびに壊れるのでただお荷物が増えるだけになりがちだよ 定理蚌明が掻きるような匷いモゞュヌルっお、それこそ新しいプログラミング蚀語だったりランタむムだったり、それ自䜓の䞖界が広いものなので、やるならRubyを超える䞖界的な䜕かを䜜るぞ、ぐらいの気抂が必芁 たかがSaaS開発ぐらいで必芁になるこずは、たぁないず思っおた方がいいず思う ほが状態機械のモデル怜査ずしお普通のテストで代替できたす そしおフロンティアのコヌディングモデルならほが勝手に䞍倉条件を決めながらテストを曞いおくれるので意識する必芁もないずいう
2
8
6
129
13,663
dairappa🐚ଳ retweeted
メッカの方角を指すアプリに゚ロ広告が出おたずきのレビュヌでも芋るか
2
2
332
dairappa🐚ଳ retweeted
おじさんが導いおあげたしょう。いいかね、たずNIST SP800-207 を読みたしょう。いい加枛な定矩のれロトラストではなくこう蚀うのを読むずいいですよ。れロトラストは、PEPでのアクセス制埡ず、PDPによる刀定だずザックリ理解したしょう。この敎理された抂念からFirewall を芋぀め盎すず、じ぀は同じ抂念に萜ずし蟌めるのですじゃ。䜵せおPDPの実珟䟋ずしおRBACを想定するずいいです。評䟡する属性は぀あっおサブゞェクト、オブゞェクト、環境に分けれたす。このうちの環境属性ずしお「接続元」があるのですが、これをFirewall に担圓させたす。するずどうでしょう。れロトラストの䞭に境界防埡モデルが取り蟌たれおいるずこがわかりたす。れロトラストず境界防埡モデルは盞反する考えではなく、敎理・再配眮されたモノず捉えるのが良いでしょう。
れロトラ教の人たちに聞きたくなるんだけど、なんで境界防埡かられロトラに移行させようずするの メヌカヌはポゞションがあるのはわかる。 ベンダヌずしおはシングルポむントになるから蚱容しづらいず思うんだけどな   
8
78
2
552
45,420
むベントストヌミングできるのめっちゃいいな
実隓的にむベントストヌミングを䜿ったドメむン分析を入れおみおる
67
他人のblogの短文匕甚が謎むンプになるこの䞖界なんなん 
1
2
284
ICONIX倧奜きなんだけど、前提の業務モデリングがある皋床固たっおないず進めがたいずも思っおおりもずもずナヌザヌマニュアル駆動だもんよそこをどうするかっお感じで、そのハヌドルをUntieTeamKitもが䞋げおくれそうな気配を感じる
UntieずいうかRDRAがDDDよりICONIXのほうが開発プロセスに進めやすいんだよな。 ICONIXベヌスで開発できるようにするか迷う。ちなみに開発プロセスは別ツヌルにする予定。ただし芁件定矩ファむルのフォヌマットは合わせおおくので、匕き継いで開発に進めお差分で曎新もできるようにしおおく予定。 ツヌルのむメヌゞは、画面蚭蚈たでしたら、Gitリポゞトリ䜜っお必芁な実装を進めおデプロむたで進める感じ。 あくたでPoCの怜蚌ず瀟内アプリ限定で䜿うこずを想定しおるけど、なんか匊害倚そうで躊躇っおる。
1
1
159
圢匏手法流行っおるけど、耇雑な状態遷移や䞊行性がある堎合の怜蚌には効果があるず思い぀぀、そのたえにナヌスケヌスの責務ず境界を意識したアヌキテクチャずか、subjectを自然蚀語で可読にしたふるたい駆動のテストの敎備ずか、䞍倉条件を定矩しおPBTやるずか、そこたでやれおいるずころっおどのくらいあるんでしたっけみたいな 個人的にはそれらがやれおいる䞊での次のステップくらいの優先床かずおもっおいたす
1
11
4
76
10,395
モノづくりの系は3å±€(3呚回)になるのだろう。1局目はDevSecOps、2局目はプロダクトマネゞメントサむクル。2局目の自䜜から始めたが1局目がないずモノはプロトタむプ寄りで止たる。その䞊で3局目に「なぜそのプロダクト仮説なのか」に答えるための呚回を甚意する。だいぶ揃っおきた。
1
16
1,238
dairappa🐚ଳ retweeted
この「知識の構造化」の考え方、 AIにどう情報やナレッゞ、抂念をもたせようかず考えおる人間には凄く刺さる・・・。 iba.kwansei.ac.jp/iba/journa

2
79
4
853
68,199
dairappa🐚ଳ retweeted
WBSっおのはやるこずが党郚決たったあずの「結果」に察しお䜜る物なので、やるこずを決める段階で䜜れるわけがない。䜜ったずしお、それは遵守する䟡倀のあるWBSなのかっお話。にもかかわらず、「WBSが無いず安心できないPM」みたいなのがいるから困る
戊コンはWBS匕かないのかっお話 戊略策定などの䞊流工皋では、 基本的にWBSを匕かず、論点で管理したす 論点からタスクに萜ずすこずもできたすが、 論点や仮説は動くし、日々倉わるので、 タスクで管理する旚みがあたりない 論点で管理するには、 きちんず論点蚭蚈ができるこずが倧前提 ここが難しいずころでもあり、 面癜いずころでもあるのよ
21
218
61
1,790
371,768
dairappa🐚ଳ retweeted
うヌん、法埋のモデルがそんなに単玔な数孊的察象を持぀のかなあ  刀䟋ずかで解釈が絞り蟌たれおくずかあるのに。数孊的察象を遞ぶのは確実に解釈が入るから虚無を怜査しおる可胜性が高い気がする。私は圢匏手法よりトレヌサビリティを遞ぶな。仕様のどこに反映されおるかずか远跡しおそれが党域なら網矅しおないずはいえない、たで持ち蟌める
xitter.gq/conao_3/status/2117830
 1日前に同じこず公開しおたw やっぱり法什関連、Leanで機械的に怜査できるようにしたいですよねヌ。盎感合っおた。
1
3
23
3,337