sameer gupta (Oct 26 2020 at 16:58): sameer gupta (Oct 26 2020 at 16:58):Screenshot_20201026_204933.jpg
sameer gupta (Oct 26 2020 at 16:59):Post
sameer gupta (Oct 26 2020 at 17:00):First post, so feel free to point this post to appropriate place
Hello, I'm making a show :
X. using patterns for making and calling modules ( focus : typesystem)
Y. Proof assistants and generators for better testing
Z. Lambda abstraction to define logic gates
, and i was wondering if you might want to be a guest. i thought we could talk about xyz*
sameer gupta (Oct 26 2020 at 17:02):In upcoming shows
Last updated: Dec 06 2023 at 13:01 UTC