The emoji picker on macOS isn't that great, but Rocket makes it so easy to add emojis. I can't tell you how many times a day I use this. - Source: dev.to / 19 days ago

In no particular order: Prologue [0] - iOS Audiobook player, used Plex as a media source Overcast [1] - iOS Podcast player CleanShotX [2] - macOS screenshot/video/gif capture with annotation Drafts [3] - iOS/macOS note taking tool Paprika [4] - Cross platform recipe app YNAB [5] - "You Need A Budget" - web/mobile budgeting app 1Password [6] - Cross platform password manager Carrot Weather [7] - iOS weather app... - Source: Hacker News / about 1 month ago

Since I discovered this, I’ve been making major use out of the feature. I add emojis into way more of my messages, blog posts, and other written works than I ever imagined I would. I actually got so accustomed to this means of adding emojis that I installed Rocket — a free app that brings the same emoji searchability to all text boxes and text editors on the computer. It’s a game changer. - Source: dev.to / 5 months ago

Though, just because I'm that guy, I do recommend using something like https://matthewpalmer.net/rocket/ to insert emojis. Makes life way easier. Source: 6 months ago

It really would! I currently use Rocket to provide this functionality, which works great system-wide, but if it were integrated into Raycast natively, that would be so much better. Source: almost 1 year ago

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 / 4 months ago