3 ms·
> to think about self-imposed limits in art via tools or physical handicaps. Oh, I'm also not denying the value of self-imposed limits: (0) In a library I'm w
by catnaroek 10y ago
> to think about self-imposed limits in art via tools or physical handicaps.
Oh, I'm also not denying the value of self-imposed limits:
(0) In a library I'm writing, I'm enforcing these rules: no unreachable code paths, no exceptions (or any other form of sneaky control flow), no asserts. Programming under these constraints is difficult, but the result is very satisfying: my functions now have more precise argument types, because I'm not allowed to throw an exception if they're passed the wrong argument!
(1) When I write music (which admittedly I don't do very well), I find it useful to come up with, say, 10 potential leitmotifs, reject all but 2 or 3 of them, and force myself to write the rest of the song or tune around the selected motifs. The other motifs are completely forbidden, though they may be reused when writing another song or tune.
> I am an experimenter, and although I fancy myself reading about logic and computing
I think anyone who's doing something new, not done before, has to be an experimenter to some extent. Which is a good thing! That's how cool stuff happens: try various approaches, until you find one that works. Even logic was developed that way. First-order jails limit what you can try, though.
---
As for the rest of your post, I have read it, but I can't intelligently comment. I'm a visually challenged person - I'm not blind, but I'm the kind of person who needs a ruler and a compass to draw stickmen.
- eggy 10y agoI am self-taught, and the way category theory has been popularized in more than just mathematics has resulted in so many papers that it is hard to keep up. I am skimming a book called 'Category Theory for Scientists' at the moment. I was first turned on to logic by Raymond Smullyan's books for laymen, but I have since bought his more academic books; I have not made it through them yet. Now I look for these concepts in my tools too. That is why I chose Extempore, being Lisp/scheme-based, and I have looked into Haskell-based tools like Euterpea for music, and just today Hylogen for livecoding shaders in Haskell. Elm is also cool for front end development. > ruler and a compass to draw stickmen. I am stealing that one!