Agda doesn't need that restriction, as far as I know. And neither does Dhall. See https://dhall-lang.org/ Neither language is Turing complete. - Source: Hacker News / 5 months ago

Kubernetes config is a decent example. I had ChatGPT generate a representative silly example -- the content doesn't matter so much as the structure: https://gist.github.com/cstrahan/528b00cd5c3a22e3d8f057bb1a75ea61 Now consider 100s (if not 1000s) of such files. I haven't given Pkl an in depth look yet, but I can say that the Industry Standard™ of "simple YAML" + string substitution (with delicate, error prone... - Source: Hacker News / 5 months ago

Fail to see how this is any different than Dhall (https://dhall-lang.org/) other than it produces plists too. - Source: Hacker News / 5 months ago

Well, Dhall provides something between JSON and a Turing complete language that can make a lot of configuration much quicker to write, if you can hack the functional syntax. http://dhall-lang.org/. - Source: Hacker News / 5 months ago

What are your thoughts on: - https://dhall-lang.org/. - Source: Hacker News / 5 months ago

I recommend learning docker first, then pick a vps host from vpsbenchmarks, then use k3sup to deploy a kubernetes cluster on that, then follow a getting-started kubernetes tutorial from there. You'll also want to buy a domain name with tld-list and then provision a TLS certificate with cert-manager and letsencrypt (skip steps 1-4 because Google Cloud is overpriced). Source: about 1 year ago

I just installed k3s yesterday using k3sup on 6 VMs (3 masters, 3 workers) each with 2GB RAM ( limited by the actual RAM on hardware, for now ) with Ubuntu 22.04 as the base OS. Source: about 1 year ago

k3s installed with k3sup, longhorn for storage, kube-vip for API VIP, and MetalLB for service load balancer using local subnet, and of course Rancher. Source: about 1 year ago

Yeah, this is the answer, but I would use this with K3S: https://github.com/alexellis/k3sup. Source: over 1 year ago

$ curl -sLS https://get.k3sup.dev | sh x86_64 Downloading package https://github.com/alexellis/k3sup/releases/download/0.12.12/k3sup as /home/ec2-user/k3sup Download complete. ============================================================ The script was run as a user who is unable to write to /usr/local/bin. To complete the installation the following commands may need to be run... - Source: dev.to / over 1 year ago