Notes on programming languages, infrastructure, and the tools in between.https://blog.jayson.com.br/enhttps://blog.jayson.com.br/posts/beni-a-typed-functional-language-for-the-browser-with-no-asyncawait/https://blog.jayson.com.br/posts/beni-a-typed-functional-language-for-the-browser-with-no-asyncawait/Beni is a statically typed functional language that compiles to JavaScript.Fri, 16 Oct 2026 18:37:04 GMTelmfunctionaljavascripthttps://blog.jayson.com.br/posts/connecting-to-services-that-require-jumphost-from-terraform/https://blog.jayson.com.br/posts/connecting-to-services-that-require-jumphost-from-terraform/If you have services that require jumphosts to connect to them because there is no VPN, direct access, or configured zero trust mechanisms, it used to be a bit painful doing it with terraform.Sun, 29 Aug 2021 20:20:03 GMTterraformtutorialsshgohttps://blog.jayson.com.br/posts/using-terraform-s-remote-exec-provider-with-aws-ssm/https://blog.jayson.com.br/posts/using-terraform-s-remote-exec-provider-with-aws-ssm/In an effort to harden our infrastructure at Grover, we decided to block all SSH connections, from both public and private subnets.Sat, 20 Feb 2021 07:48:40 GMTterraformaws