Robbenv (@robbenv)

1 Follow

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

1.3k

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

10

3.1k