No Dhall Configuration Language videos yet. You could help us improve this page by suggesting one.
Based on our record, Dhall Configuration Language should be more popular than Tekton. It has been mentiond 83 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
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 / 4 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 / 4 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 / 4 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 / 4 months ago
What are your thoughts on: - https://dhall-lang.org/. - Source: Hacker News / 5 months ago
There was also Knative Build but long story short, it spun out and became what we now know as Tekton. - Source: dev.to / about 1 month ago
Tekton is an open-source framework for creating efficient CI/CD systems. This empowers developers to seamlessly construct, test, and deploy applications across various cloud environments and on-premise setups. - Source: dev.to / 9 months ago
Despite other alternatives like Circle CI, Travis CI, GitLab CI or even self-hosted options using open-source projects like Tekton or Argo Workflow, the reason for choosing GitHub Actions was straightforward: GitHub Actions, in conjunction with the GitHub ecosystem, offers a user-friendly experience and access to a rich software marketplace. - Source: dev.to / 10 months ago
Drone, or Tekton, Argo Workflows if you’re on k8s. Source: about 1 year ago
I've recently found this quote by Kelsey Hightower: "I'm convinced the majority of people managing infrastructure just want a PaaS. The only requirement: it has to be built by them." Source: https://twitter.com/kelseyhightower/status/851935087532945409 In the last few weeks, I've experimented a bit with Flux (https://fluxcd.io/), Tekton (https://tekton.dev/) and Cloud Native Buildpacks (https://buildpacks.io/) on... - Source: Hacker News / about 1 year ago
YAML - YAML 1.2 --- YAML: YAML Ain't Markup Language
Buddy - The simplest CI/CD tool ever made, acclaimed by top developers worldwide. It uses delivery pipelines to build, test and deploy software. Pipelines are created with over 100 ready-to-use actions, that can be arranged in any way.
Jsonnet - A powerful DSL for elegant description of JSON data.
CircleCI - CircleCI gives web developers powerful Continuous Integration and Deployment with easy setup and maintenance.
TOML - TOML - Tom's Obvious, Minimal Language
Semaphore - Semaphore is a fully managed, high performance testing and deployment solution for your company. A Continuous Integration tool.