tanimon (@tanimon)

3 Follows

View profile

y_taka_23

ytaka23

著名ねこみみエンジニア

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

33 followers 63 decks

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

10

2.9k

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

3

790

Sho Kusano

rosylilly

ego cogito, ergo sum

5 followers 16 decks

ISUCON 反省会

1

290

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

1

6.4k

Yasunobu Kawaguchi

PRO kawaguti

YesNoBut / CEO
agilergo consulting / Senior Agile Coach

143 followers 141 decks

Last 2 Weeks on PBL

1

44

Bridging gaps between skills and ideas

1

54