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 64 decks

形式手法特論：位相空間としての並行プログラミング #kernelvm / Kernel VM Study Tokyo 18th

3

2k

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

10

4.8k

Sho Kusano

rosylilly

ego cogito, ergo sum

5 followers 16 decks

ISUCON 反省会

1

310

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

1

6.5k

Yasunobu Kawaguchi

PRO kawaguti

YesNoBut / CEO
agilergo consulting / Senior Agile Coach

155 followers 145 decks

3

550

from Sakichi Toyoda to Agile

1

130