KGB happened. Eh. It is seeming to be funny in a way I somehow don't find as funny, lately. Went back to the office. Played with abc tools some more instead of getting much work done, though I did read some papers on bunched logic. Trying to write music without a keyboard in front of me is hard. Though I haven't really hit any satisfying melodic ideas since "relmasxna i ara" anyway, ideal experimentation device or no ideal experimentation device. And even it was pretty simplistic, and satisfying in only a minimal-folksy-sort-of-way. Maybe I ought to hit up a library somewhere for composition theory.
KGB happened. Eh. It is seeming to be funny in a way I somehow don't find as funny, lately. Went back to the office. Played with abc tools some more instead of getting much work done, though I did read some papers on bunched logic. Trying to write music without a keyboard in front of me is hard. Though I haven't really hit any satisfying melodic ideas since "relmasxna i ara" anyway, ideal experimentation device or no ideal experimentation device. And even it was pretty simplistic, and satisfying in only a minimal-folksy-sort-of-way. Maybe I ought to hit up a library somewhere for composition theory.
-
(no subject)
A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf
-
(no subject)
Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…
-
(no subject)
Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…
- Post a new comment
- 1 comment
- Post a new comment
- 1 comment