I saw this last year, i am surprised that CS theory has a place to discuss it! any P claim is equivalent to a crank claim at the moment in CS community
@Jim Probably just good timing. Probably because of the discussions between you and vzn, we have "GI cleanup and summarize" time at the moment. My guess is that because "Dick Lipton called for action near the end of 2011", there is now quite some progress to digest, so the context is fresh in our minds, we have nauty installed and running, can convert easily between different graph input representations on our computers, and don't mind looking for counterexamples...
@ThomasKlimpel "we" ? I am not aware about the "We" , VZN has been kind to me, occasionally you also, what is the relationship between the 'discussion' and "GI cleanup and summarize"? also the phrase "GI cleanup and summarize" is not clear to me.
more thoughts. the paper claims a P-time algorithm. afaik/ afaict the general strategy of graph canonization for GI is generally thought/ conjectured to be impossible by experts. ie that there do not exist canonical forms for isomorphism detection. the Mathematics question cited above by TK claims a counterexample & has other items on correctness. alas, strictly speaking, question falls under this site policy — vzn42 mins ago
@vzn At least it is a nice opportunity to get more familiar with nauty, benchmark different algorithms for different graphs, get a bag of counterexamples, see how that algorithm performs on the known examples where nauty takes exponential time, ...
@ThomasKlimpel so are you saying you installed nauty? have you tried running it yet? for generating/ converting instances, do you have a language in mind?
not exactly sure what you mean by ref to RJLs call to action.
@Jim it is a rare case that "slipped by the radar" possibly due to the way it was phrased. usually the high rep users really pounce on this kind of stuff. (yrs ago?) once asked about a collatz paper/ claim by chinese scientists, iirc it was probably deleted within a few hrs.
I've been looking into computer assisted music composition lately for my school project. While searching for literature I came across GenJam, an interactive jazz improvisation software which uses genetic algorithms to produce musical phrases.
I was wondering If anyone has done some work on comp...
there is also a lot of ML analysis of music going on (eg for classification). have a few links on that lying around. the massive industry shift from pay-per-song to streaming models is strengthening all that.
nice, does it simulate instruments or are they sampled? yes the software has really evolved a lot last few yrs (21st century). actually, nearly "revolutionary" :)
I am not sure. They went and recorded instruments and so thats where the timbres came from. Some dude started an open source initiative to have high quality orchestral synthesizers with actual recorded instruments free
The guy who makes the software then used this in his app
Actually, iirc some random guy in one of the app's forums actually did it for him and he was just like "cool, I'll take it!"
coincidentally just googled it as you pasted that. nice, ipad app. yeah was just musing also that ipad/ iphone has shifted music stuff around a lot. dreamed of writing my own app since a teenager.
have an idea (since teenager) for acapella instruments (eg jazz "scat") turned into real-sounding ones via on-the-fly wave changing. somewhat reminiscent of autotuning, but different.
did work on it briefly once. captured/ analyzed sound files with code.
maybe used by performers somewhat like these guys. saw em about a yr ago live concert, it was great, big crowd, real crowdpleasers. Face
@StanShunpike really nice app! looking thru it. pdf manual online. it doesnt seem to say much about all the sampling sources online or manual. but it does mention adding 35 new instruments v2.0
yeah one can pay any amount of $$$ on music gear (hardware/ software). many spend lots on plugins too. that seems to be a great model. huge universe of plugins eg in Reason.
Rarely. Its not something my family is into. I have only ever been to classical concerts. My brother is an outlier and has been to a bunch, but he stopped recently. Classical isnt even my favorite genre tho. I think rock is. Hbu?
I saw Debussy at Chicago Symphony Orchestra in May
@StanShunpike yes have been to a lot of concerts over the years. mainly rock/ pop type stuff. theres a lot of free music in the summer in the area too. flamenco is one of my personal faves (started into it almost ~2 decades ago). enjoy how it has evolved to become more popular/ mainstream.
@StanShunpike afaik the dresses can be any color although red is a favorite. flamenco & its overall style (it is often performed between men/ women) is a cultural icon/ tradition for spain. centuries old. maybe originating with gypsies, not sure. personally really enjoy the master/ virtuoso guitarists who must take many years to train/ master it. its virtually an athletic performance.
Yes, they look extremely fit. I noticed the guitars immediately. I assume based on your comment then that they are a consistent feature of flemenco music.
@StanShunpike lol its the main instrument. the playing style is very advanced, using all the fingers, and the rhythms are very complex/ difficult, something like 6/7 sometimes etc.
lately there is a lot of "pop" flamenco, some approaching (the dreaded) "muzak"... its been around for decades now... l8r man nice chatting :) ... hope to hear more of your music analysis prj sometime...
> Facebook has awarded $100,000 to a team of researchers from Georgia Tech for their discovery of a new method for identifying "bad-casting" vulnerabilities that affect programs written in C++.