When coding your next network service, make it listen a custom port and not use HTTP as part of its protocol.
@quad that's the spirit!
Would you mind to elaborate?
What does "decidable validity" exactly means in the context of the messages of a protocol?
You just mean: NOT like HTTP?
Is there a predicate I can apply to the messages of a protocol to state if they are all decidable? What about logical dependencies between the messages?
Do you have any good read on the topic?
(sorry for the wall of questions, but I don't have a degree in CS so at times I learn fundamental things too late...)
She is active on twitter, but apparently she doesn't take me much seriously: https://mobile.twitter.com/maradydd/status/1078654252749385728
@teqwve only if you were allowed to use HTTP and decided not to.
@Wolf480pl does HTTPS, WS, or WSS count?
@fred HTTPS, WS and WSS all have HTTP at some layer in the protocol stack, so I count them as HTTP.
We are a cute and loving international community Ｏ(≧▽≦)Ｏ !