Dhall Configuration Language VS tmuxinator

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 / 2 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 / 3 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 / 3 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 / 3 months ago

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

Well, I now use tmux and tmuxinator. I have had many failed tmux attempts over the years, but I'm firmly bedded in now. - Source: dev.to / 4 months ago

I once bought a 32 core ThreadRipper and tried to get along with using a cheap £200 Windows 10 laptop to remote into the threadripper while in coffee shops and use the ThreadRipper to do my work. The £200 Windows 10 laptop wasn't powerful enough, it was too laggy. Even on Wifi. I love the idea of the X11 protocol. And I still love the idea of a web desktop. Something that is supremely well integrated and allows me... - Source: Hacker News / 11 months ago

If you want to retain complicated window setups without running multiple sessions concurrently I really like tmuxinator [1]. It lets you declare everything about the session in a config file, and restart the session based only on the file. 1. https://github.com/tmuxinator/tmuxinator. - Source: Hacker News / about 1 year ago

I use https://github.com/tmuxinator/tmuxinator for my workspaces. Doesn't save ad-hoc layouts, but usually I find one layout that works per project, then create a tmuxinator config for it, so after reboot, it's a short "tmuxinator start $my-project" away to get back to how I want it to be. - Source: Hacker News / over 1 year ago

I have not! I'll have to investigate more, because my little shell script is pretty basic (like 20 lines total, most of which was done for readability). https://github.com/tmuxinator/tmuxinator. - Source: Hacker News / over 1 year ago