Any good blog posts or examples of setting up SSL on a TCP server? (besides the docs)

@d_run certbot works well. https://www.digitalocean.com/community/tutorials/how-to-secure-nginx-with-let-s-encrypt-on-ubuntu-18-04

Ah i was more looking for how to setup ssl-listen and such in the Racket code

(not using the racket webserver)

Ah …

I punted and put nginx in front of a racket server.

Still, I believe you can certbot to install a certificate.

fair enough, i’m running a small MsgPack RPC server on my internal LAN and wanted to get the traffic going over TLS

could drop nginx on the raspberry pi

There is a bit in the continue tutorial: https://docs.racket-lang.org/continue/index.html?q=continue#%28part._.Using_.H.T.T.P.S%29

ah nice, thanks for that

worked out - thanks again

good to hear

Okay. The URL issue should be fixable. Sadly aside from the color package issue (which could be worked around as in scribble/acmart), I’m encountering other indecipherable latex errors.

Roughly speaking, how common is it to use the more advanced contracts (i.e. ->i and ->d)? My impression from reading docs for several libraries is that -> and ->* are used for most cases. It also appears that universal and existential contracts are very, very rare.

@d_run if you’re running anything else on the server it is probably a good idea to use a reverse proxy through your webserver

oh, see you solved it, nvm.

@kellysmith12.21 that about lines up with my experience

though I will add that ->d should never be used, it’s buggy

and should be replaced by ->i