# Computer Things - Picat Is My Favorite New Toolbox Language (Highlights)  ## Metadata **Review**:: [readwise.io](https://readwise.io/bookreview/33123988) **Source**:: #from/readwise #from/reader **Zettel**:: #zettel/fleeting **Status**:: #x **Authors**:: [[Computer Things]] **Full Title**:: Picat Is My Favorite New Toolbox Language **Category**:: #articles #readwise/articles **Category Icon**:: 📰 **URL**:: [buttondown.email](https://buttondown.email/hillelwayne/archive/picat-is-my-favorite-new-toolbox-language/) **Host**:: [[buttondown.email]] **Highlighted**:: [[2023-10-13]] **Created**:: [[2023-10-14]] ## Highlights - That's what drove me to learn [Raku](https://buttondown.email/hillelwayne/archive/raku-a-language-for-gremlins/), so I could quickly do things like "generate 5 random 10-character strings" ([View Highlight](https://read.readwise.io/read/01hck6s6bwk8w1avd1rscrth1v)) ^609599675 - One toolbox language I've had my eye on is [Picat](http://picat-lang.org/),[1](https://buttondown.email/hillelwayne/archive/picat-is-my-favorite-new-toolbox-language/#fn:picat) a "logic-based multi-paradigm programming language aimed for general-purpose applications". ([View Highlight](https://read.readwise.io/read/01hck6sh6g9xpxskt7nvrzfgfv)) ^609599680 - The `planner` module took me from "this could be useful" to "damn this is cool". You define an initial state, a final state, and a set of actions, and it tries to find a sequence of actions that get you from here to there. It's like a model checker in reverse! ([View Highlight](https://read.readwise.io/read/01hck6x1bx0f6n6hkeazbv76va)) ^609599909