広島市在住 Work at @serverworks/ 2026 Japan AWS Ambassadors/ 2024-26 Japan AWS Top Engineers/ 2025-26 AWS Community Builders/ Certified ScrumMaster/ PMP
広島 広島市 安佐南区
Joined January 2017
- Tweets8.9K
- Following750
- Followers917
- Likes16.8K
Satoshi Kaneyasu@AWSでDevOps retweeted
How we can secure 50% of the world's software.
Traditionally, formal methods have been mostly used for safety-critical systems like operating systems, hypervisors, and databases. We're extending this to formally and empirically verify code correctness and security for full-stack web apps, one of the most common types of applications*, using the Proof-Driven Development Kit (PDD Kit).
Coding agents now write code faster than anyone can review effectively. PDD Kit turns what the developer meant into a Verus specification. It then proves the AI-generated code meets that spec for every input.
Researchers @alexlavaee, @MatthaiP39719, @Mappletons, and @k_cieslak break down Proof-Driven Development x Chopin in the blog here: githubnext.com/projects/pdd-…
*44.4% of respondents work as full-stack (27.3%), back-end (13.5%), or front-end (3.6%) developers. Stack Overflow Developer Survey 2026, n = 25,767.
Satoshi Kaneyasu@AWSでDevOps retweeted
Kiro Crew の入門編の資料を公開しました！
これから広げていきたい！という方はぜひ社内の勉強会等でお使いください👻
speakerdeck.com/inariku/kiro…
#kirodotdev
Satoshi Kaneyasu@AWSでDevOps retweeted
New in kiro crew: Kiro bots 👻
Self-improving agents for distinct roles. channel watch, issue triage, deploy guard. each builds expertise with every run, with its own memory and parallel sessions, so you delegate processes instead of tasks.
Keep the why with the work.
Full breakdown 👉 spr.ly/6019BHFtdD
Satoshi Kaneyasu@AWSでDevOps retweeted
CDK Chatting #11 を公開しました！ aws-cdk-chatting.connpass.co… #cdkchatting
Satoshi Kaneyasu@AWSでDevOps retweeted
Kiro CLI 3.0 is out.
Close your laptop while a cloud session keeps working. Review the spec before Kiro writes code. Hand bigger tasks to workflows. With Approve for me, let Kiro handle prompt approvals for safe actions.
Full breakdown → spr.ly/6011BHLuVX
Satoshi Kaneyasu@AWSでDevOps retweeted
■放送開始記念日■
2003年11月4日の放送開始から本日でちょうど23周年。
いつも番組を応援いただきありがとうございます。
番組は24年目に突入！
今後も戦い続ける有野課長へのご声援よろしくお願いいたします。
★12/11発売のDVD‐BOX23予約受付中！★
happinet-p.com/gccx/23/
#gccx
Satoshi Kaneyasu@AWSでDevOps retweeted
ゲームメーカーズ様に取り上げて頂きました。グローバルゲームジャムは広島含め、日本全国で2027年1月末に開催予定です！ #ggj27
📅イベントカレンダー追加📅
Global Game Jam 2027 瀬戸内会場 in 広島
日程：2027年01月29日（金）～01月31日（日）
会場：広島工業大学
主催者（敬称略）：広島工業大学 IoT・AI・データサイエンス教育研究推進センター、広島Unity勉強会、中四国ゲームジャム実行委員会
gamemakers.jp/event/?eid=3r3…
Satoshi Kaneyasu@AWSでDevOps retweeted
AI駆動開発勉強会 広島支部 第四回
11/20(金) 19:30〜 サイボウズ広島オフィス
・20分セッション（あと1枠募集中）
・少人数グループでの情報交換
平日夜開催です！お仕事帰りにご参加ください！
aid.connpass.com/event/41062…
#aidd_hiroshima
Satoshi Kaneyasu@AWSでDevOps retweeted
はてなブログに投稿しました
JAWS-UG広島支部とSRE Lounge Hiroshimaのコラボイベントを開催します！ - Howdunit gr1m0h.hatenablog.com/entry/…
#はてなブログ
#広島sre
Satoshi Kaneyasu@AWSでDevOps retweeted
AI駆動開発勉強会 広島支部 第四回勉強会 aid.connpass.com/event/41062… #aidd_hiroshima
登壇枠があと一つです！ぜひご参加ください！
登壇ではなく、一般参加枠もあります！仕事帰りにAI駆動開発の情報交換をしましょう！
Satoshi Kaneyasu@AWSでDevOps retweeted
Amazon GuardDuty AI Protection の有効化を強くおすすめしています - サーバーワークスエンジニアブログ blog.serverworks.co.jp/guard…
Satoshi Kaneyasu@AWSでDevOps retweeted
11/20(金)19:30~、AI駆動開発勉強会 広島支部やりますよ〜
Decision ModelやローカルLLM周りの話多めです！
aid.connpass.com/event/41062…
Satoshi Kaneyasu@AWSでDevOps retweeted
AI駆動開発勉強会 広島支部 第四回勉強会 aid.connpass.com/event/41062… #aidd_hiroshima
今回は平日夜開催です。
Satoshi Kaneyasu@AWSでDevOps retweeted
AI駆動開発勉強会 広島支部 第四回勉強会 aid.connpass.com/event/41062… #aidd_hiroshima
来月広島支部勉強会です！平日開催なのでお仕事帰りにお立ち寄り下さい！
Satoshi Kaneyasu@AWSでDevOps retweeted
えらそうじゃないし、先にやってきた者の経験を惜しみなく語っているし、知ったかぶりをしないし。いかにも宮本茂らしい記者会見だ。
【ニュース・記者会見】
マリオの生みの親・宮本茂氏、文化勲章を授与。50年のゲーム作りを語る
▶︎ ndw.jp/nintendo-interview-26…
勲章授与に対する特別な思いというよりも、ゲームづくりへの真摯な取り組みや、楽しんで50年間続けてきたこととなどが語られました。
ほぼ全文を掲載します。 #任天堂
Satoshi Kaneyasu@AWSでDevOps retweeted
記事を投稿しました！ Kiro Workflows を使ってみたら体験がすごく良かった話 [AWS] on #Qiita qiita.com/s_moriyama/items/5…
Satoshi Kaneyasu@AWSでDevOps retweeted
別件があって行けなさそうなので拡散！
JAWS-UG 岡山の懇親会で行ったことあるけど、なかなかない施設、設備なので参加してみては？
LT５分なんて、自己紹介と何してる人か、うまく行った話かうまくいかなかった話をちょっとすればあっという間よ（暴論）
人数集まりきらない可能性高しなのでキャンセルの可能性まあまあ高めな感じです…
令和8年熊本地震チャリティ駆動LT大会 gbdaitokai.connpass.com/even…
Satoshi Kaneyasu@AWSでDevOps retweeted
書影も出ました！！いよいよ感があってドキドキしています！！😂
gihyo.jp/book/2026/978-4-297…
Satoshi Kaneyasu@AWSでDevOps retweeted
AIにfeatureブランチを切ってもらったのに不意にmainにpushされてしまう問題 - サーバーワークスエンジニアブログ blog.serverworks.co.jp/ai-fe… #GitHub
