tanimon (@tanimon)

3 Follows

View profile

y_taka_23

ytaka23

著名ねこみみエンジニア

Twitter: https://twitter.com/y_taka_23
GitHub: https://github.com/y-taka-23

32 followers 63 decks

AWS と定理証明〜ポリシー言語 Cedar 開発の舞台裏〜 #fp_matsuri / FP Matsuri 2025

9

2.6k

問 1：以下のコンパイラを証明せよ（予告編） #kernelvm / Kernel VM Study Kansai 11th

3

760

Sho Kusano

rosylilly

ego cogito, ergo sum

5 followers 16 decks

ISUCON 反省会

1

290

ISUCON 夏祭り 2023 ハンズオン資料

1

6.4k

Yasunobu Kawaguchi

kawaguti

YesNoBut / CEO
agilergo consulting / Senior Agile Coach

138 followers 139 decks

Definition of Done

6

470

4

850