No Dhall Configuration Language videos yet. You could help us improve this page by suggesting one.
I've had so many problems with terminal in my Mac.. thanks for this tool. It's like really useful
iTerm2 might be a bit more popular than Dhall Configuration Language. We know about 111 links to it since March 2021 and only 91 links to Dhall Configuration Language. 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.
I'll give a shot at some guiding principals: 1. Do not use yaml. All github action logic should be written in a language that compiles to yaml, for example dhall (https://dhall-lang.org/). Yaml is an awful language for programmers, and it's a worse language for non-programmers. It's good for no one. 2. To the greatest extent possible, do not use any actions which install things. For example, don't use... - Source: Hacker News / 2 months ago
I'm a fan of anything that moves us away from stringly typed nonsense. See also Dhall (which can render to yaml). I like the idea but found the veneer broke a little too often and left me squinting at Haskell. https://dhall-lang.org/. - Source: Hacker News / 3 months ago
I think you're asking for Starlark (https://starlark-lang.org), a language that strongly resembles Python but isn't Turing-complete, originally designed at Google for use in their build system. There's also Dhall (https://dhall-lang.org), which targets configuration use cases; I'm less familiar with it. One problem is that, while non-Turing-completeness can be helpful for maintainability, it's not really... - Source: Hacker News / 5 months ago
> Lambda calculus is as pure as can be, and also has terms that don't normalize. That is not considered a side effect. Many typed lambda calculi do normalise. You can also have a look https://dhall-lang.org/ for some pragmatic that normalises. > A better example of impurity in Haskell for pragmatic's sake is the trace function, that can be used to print debugging information from pure functions. Well, but that's... - Source: Hacker News / 6 months ago
I was first turned onto Pkl during my Dhall Trough of Disillusionment phase (Dhall is cool, but man is it hard) by James Ward. It looked to be a language that had enough types to compile YAML/JSON configuration files wayyyy more safely. I’ve had enough YAML/JSON misconfigurations break production, that I started looking into ways to compile those problems away, and Dhall helped a lot, but the learning curve and... - Source: dev.to / 7 months ago
iTerm + fish. I wrote a post explaining my environment settings. - Source: dev.to / 7 months ago
🍎 macOS: The default Terminal.app is widely used, but iTerm2 is often preferred for its rich feature set and customization options. - Source: dev.to / 8 months ago
Make yourself comfortable with https://blogs.oracle.com/database/post/freedom-to-build-announcing-oracle-cloud-free-tier-with-new-always-free-services-and-always-free-oracle-autonomous-database https://gist.github.com/rssnyder/51e3cfedd730e7dd5f4a816143b25dbd https://www.reddit.com/r/oraclecloud/ or any other offer. Deploy some minimal Linux on them, or use what's offered. Plus optionally, if you don't want to... - Source: Hacker News / 9 months ago
Honukai has long been my favorite iTerm, Oh My ZSH color theme, and I just assumed it existed for other use cases. But alas, I had to create them for myself. I adapted Oskar's work for Tabby terminal, ZED IDE and VS Code. You can get the files here. - Source: dev.to / 9 months ago
iTerm2 is a fast terminal emulator for macOS. Install one of Nerd Fonts for displaying fancy glyphs on your terminal. My current choice is Hack. And use it on your terminal app. For example, on iTerm2:. - Source: dev.to / 10 months ago
Jsonnet - A powerful DSL for elegant description of JSON data.
MobaXterm - Enhanced terminal for Windows with X11 server, tabbed SSH client, network tools and much more
YAML - YAML 1.2 --- YAML: YAML Ain't Markup Language
PuTTY - Popular free terminal application. Mostly used as an SSH client.
JSON - (JavaScript Object Notation) is a lightweight data-interchange format
KiTTY - KiTTY is a fork from version 0.70 of PuTTY. It adds extra features to PuTTY.