Stream: Miscellaneous

Topic: Show


view this post on Zulip sameer gupta (Oct 26 2020 at 16:58):

Screenshot_20201026_204933.jpg

view this post on Zulip sameer gupta (Oct 26 2020 at 16:59):

Post

view this post on Zulip 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*

view this post on Zulip sameer gupta (Oct 26 2020 at 17:02):

In upcoming shows


Last updated: Aug 14 2022 at 11:02 UTC