<div dir="ltr">I have not seen it.  The user forum appears to have zero posts and the developer forum a handful ending in 2014.  This is not immediately encouraging :)  Thanks though, will try to dig further :)<img src="http://t.sidekickopen65.com/e1t/o/5/f18dQhb0S7ks8dDMPbW2n0x6l2B9gXrN7sKj6v4dY_WW8r56Rz643_PgW2B8dD01pctGFW5PXYkH1k1H6H0?si=4827575526621184&pi=543386ca-af68-4895-cd4e-9bf475d8e9df" style="display:none!important" height="1" width="1"></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Sep 22, 2016 at 2:30 PM, Mark Allen <span dir="ltr"><<a href="mailto:mrallen1@yahoo.com" target="_blank">mrallen1@yahoo.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div style="color:#000;background-color:#fff;font-family:verdana,helvetica,sans-serif;font-size:13px"><div><span>Josh,</span></div><div><span><br></span></div><div><span>Have you looked at Scribble? <a href="http://scribble.org/" target="_blank">http://scribble.org/</a></span></div><div><br></div><div><br></div><div><br></div><div><br></div> <div><br><br></div><div style="display:block"> <div style="font-family:verdana,helvetica,sans-serif;font-size:13px"> <div style="font-family:HelveticaNeue,Helvetica Neue,Helvetica,Arial,Lucida Grande,sans-serif;font-size:16px"><div><div class="h5"> <div dir="ltr"><font size="2" face="Arial"> On Wednesday, September 21, 2016 10:45 PM, Josh Adams <<a href="mailto:josh.rubyist@gmail.com" target="_blank">josh.rubyist@gmail.com</a>> wrote:<br></font></div>  <br><br> </div></div><div><div><div class="h5"><div><div dir="ltr">So I've been frustrated lately by the fact that Slack's IRC gateway isn't RFC 2812 compliant (<a rel="nofollow" href="https://github.com/bitwalker/exirc/issues/51" target="_blank">https://github.com/bitwalker/<wbr>exirc/issues/51</a>)<div><br></div><div>In dealing with this I wondered why the crap they needed an engineer to go through the spec as a result of their server's response to figure out that this was an issue (they've added it to their bug tracker, so I have some amount of faith it might get fixed eventually - for now I'll paper over the issue in the client which reduces the stress on them to actually fix it though).</div><div><br></div><div>Should RFCs / protocols of this nature just come with something like a quickcheck model for their spec?  Is anyone aware of prior art around this sort of thing aside from Quvic/Volvo that I could draw from if I wanted to fiddle in this arena?</div><div><br></div><div>I'd think that the ideal situation involves an open source quickcheck implementation to test a given protocol implementation against at least some of the RFC, and a means to run the tests against potential servers/clients, with badges potentially showing the percentage of the test that passes.  This would allow economics to drive spec implementers towards correctness, which would save countless engineer-hours spent figuring out why the damn clients can't talk to the damn servers for a given spec.</div><div><br></div><div>Thoughts?  Pipe dream?  "Silly child, see A, B, and C for the many people who are already doing this?"<br clear="all"><div><br></div>-- <br><div>Josh Adams<br></div>
</div><img src="http://t.sidekickopen65.com/e1t/o/5/f18dQhb0S7ks8dDMPbW2n0x6l2B9gXrN7sKj6v4dY_WW8r56Rz643_PgW2B8dD01pctGFW5PXYkH1k1H6H0?si=4827575526621184&pi=db5006c4-7640-4826-df8e-17e939e11c75" style="display:none!important" height="1" width="1"></div></div><br></div></div><span class="">______________________________<wbr>_________________<br>erlang-questions mailing list<br><a href="mailto:erlang-questions@erlang.org" target="_blank">erlang-questions@erlang.org</a><br><a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a><br><br><br></span></div>  </div> </div>  </div></div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Josh Adams<br></div>
</div>