[racket-users] An Introduction to Redex with Abstracting Abstract Machines

Dear Racket Users, I've been working on a short introduction to using Redex, the semantic modelling toolkit included in Racket. I presented this material at the Redex Summer School and recently gave a tutorial based on it at POPL; it's probably in good enough shape to share. The tutorial works

Re: [racket-users] Using Racket server in production?

Hi David, I use the Racket web server in production to serve authentication and misc. requests that don't play nicely with our main web framework. There's been no difficulty integrating with outside systems. We use nginx in front of Racket for SSL termination and some light request

Re: [racket-users] Using Racket server in production?

Thank you so much, Marc. I really appreciate the detailed answer and the numbers. I'll feel much better about using Racket for production now. Dave On Sun, Jan 24, 2016 at 10:27 AM, Marc Burns wrote: > Hi David, > > I use the Racket web server in production to serve