 |
|
You are not logged in! F.A.Q Log in Register |
 |
|
 |
 (nobody)...and 146 guests Last 5 registered Oplandisks nothingstar N_loop yipe foxtrotromeo Browse members... |
 |
Members 8025Messages 2613449 Today 2 Topics 127500 |
|
|||||||||
| |||||||||
|
|
|
||||||||
|
|
|||||||||
| |||||||||
|
|
hmmmmm |
||||||||
|
|
|||||||||
| |||||||||
|
|
this causes me to question the existence of brains |
||||||||
|
|
|||||||||
| |||||||||
|
|
Elegiac, a hymn to a now seemingly lost genre, a lament for a future now past. I shed a tear, for the music, and for me. |
||||||||
|
|
|||||||||
| |||||||||
|
|
BRAINDANCE- drop acid not BOMBS!!!!!!!!!!!!! |
||||||||
|
|
|||||||||
| |||||||||
|
|
i suddenly lost my faith |
||||||||
|
|
|||||||||
| |||||||||
|
|
this leads me to conclude that you are cylob |
||||||||
|
|
|||||||||
| |||||||||
|
|
o_O this leads me to eat a sandwhich! |
||||||||
|
|
|||||||||
| |||||||||
|
|
I like the outtake track "Cutting Remarks" on the Cylob site. When I was young there used to be an advert at the local cinema for a hairdressers called "Cutting Remarks", and the voice-over chap would say it in a really funny way and we'd all laugh "Cutting Remarks".... then we'd say it to each other, in that voice, if someone said something scathing or "cutting". That's probably why I like this track so much. |
||||||||
|
|
|||||||||
| |||||||||
|
|
This is really bad. |
||||||||
|
|
|||||||||
| |||||||||
|
|
i'm glad you like it |
||||||||
|
|
|||||||||
| |||||||||
|
|
dude im totally gonna d/l this tonight |
||||||||
|
|
|||||||||
| |||||||||
|
|
you'd better |
||||||||
|
|
|||||||||
| |||||||||
|
|
you'd better not or I kick your @$$ |
||||||||
|
|
|||||||||
| |||||||||
|
|
better |
||||||||
|
|
|||||||||
| |||||||||
|
|
|
||||||||
|
|
|||||||||
| |||||||||
|
|
sounds like it's in the middle of the aphex face equation track, or are you pointing out something else? |
||||||||
|
|
|||||||||
| |||||||||
|
|
sorry, I mean the track that starts after that, a minute or so later. it's objekt I think, but definitely sounds aphexy. I believe in braindance |
||||||||
|
|
|||||||||
| |||||||||
|
|
hope you're doing well btw! I'm learing haskell, well, trying to. |
||||||||
|
|
|||||||||
| |||||||||
|
|
Cool; yeah, that was a nice track, and I agree with the vibe. |
||||||||
|
|
|||||||||
| |||||||||
|
|
Haha wow! What are you learning haskell for? I don't program too much any more. I do lots of math, though. If I program, it's in some super lazy thing like python. Hope you're well too, Sam. |
||||||||
|
|
|||||||||
| |||||||||
|
|
for fun I guess! I've been interested in functional programming for a while and it makes a nice change from my day job. I don't have any real uses for it, but it's interesting enough, and the book I'm using (learn you a haskell) is awesome. python's great, seems like it's quite popular for academic stuff at the moment. I'm doing well, thanks. 8) |
||||||||
|
|
|||||||||
| |||||||||
|
|
Awesome. There are some funny environments to do live music in haskell. One example is , and I took from that page. (There were some other examples but I'm not finding them?) I keep telling myself I'll make some cool synthesizer package, but years keep passing and I keep not doing it. Yeah, academics like python. The language is nice and easy (lots of schools are using it for intro classes), it has good matrix support (which leads to good scientific support), and ipython notebooks are a nice way to keep track of stuff. People are always mad that the language is slow, and there is lots of stuff about that all the time (to the point that julia also targets ipython notebooks and is gaining lots of momentum). Believe it or not, jAroen just sent me a video link with some music analysis he cooked up in a few hours in java =) |
||||||||
|
|
|||||||||
| |||||||||
|
|
u have to be a real jerk to dislike cylobs i believe in braindance it is a sad statement of the board 10 years ago when so many ppl didnt like it... maybe we have not got worse after all |
||||||||
|
|
|||||||||
| |||||||||
|
|
ipython+numpy+scipy is great. was using it to model some collision detection under continuous rotation. i too have been learning haskell (well got up to the monad portion of learn you a haskell and decided to go back to math foundations; been working through awodey on category theory) |
||||||||
|
|
|||||||||
| |||||||||
|
|
So cool and idm |
||||||||
|
|
|||||||||
| |||||||||
|
|
Hey braindance crew, there's nearly 300 examples of Tidal here: Here's a tune I made with it recently: |
||||||||
|
|
|||||||||
| |||||||||
|
|
i had a similar feeling on math foundation stuff, picked up a copy of |
||||||||
|
|
|||||||||
| |||||||||
|
|
looks good, rather more geared towards analysis and number theory. i spent more time focusing on formal logic in the form of formal language theory+proof theory+model theory. (i actually was pretty ignorant of the term 'model theory' and didn't realize a lot of the big results of the 20th century were more or less model theory problems (godel, church-turing)). you heard of ? it's open sourced so free to read (i am told to skip the introduction and go straight to chapter 1, just fyi)-- haven't cracked it open though. |
||||||||
|
|
|||||||||
| |||||||||
|
|
|
||||||||
|
|
|||||||||
| |||||||||
|
|
i miss you |
||||||||
|
|
|||||||||
| |||||||||
|
|
Nice. I remember that back in the day you were interested in n-body simulations? Those have nice equilibria (lagrange points are already pretty cool). Back in the day I took lots of logic classes and was interested in foundations. But in the last 7 or so years I've been doing various forms of analysis (specifically functional and convex analysis). I really like it and don't mind that I use the axiom of choice now and then... |
||||||||
|
|
|||||||||
| |||||||||
|
|
A+ for kolmogorov. Have you seen his crazy ? Kolmogorov used to work in logic but didn't pursue it much beyond his youth, though sometimes he had students work in it, for instance who did foundational work in type theory, and who did foundations of CS. (kolmogorov is one of my favorite mathematicians.) |
||||||||
|
|
|||||||||
| |||||||||
|
|
Do you follow the ? It has lots of good discussions and you can regularly see the old school heavy-hitters showing up. I was also interested in the voevodsky homotopy type theory stuff when it first showed up, but some further googling found lots of mathematicians very annoyed with it (including annoyance on the FoM mailing list above). |
||||||||
|
|
|||||||||
| |||||||||
|
|
thanks for the pointer, just signed up (awaiting mod approval). so are you a math prof then? the simulation stuff i've worked on uses minkowski addition, maybe that's familiar from convex analysis. |
||||||||
|
|
|||||||||
| |||||||||
|
|
you guys lost me, I'll pop back in 20 years |
||||||||
|
|
|||||||||
| |||||||||
|
|
horsefactory. smells like a job for java |
||||||||
|
|
|||||||||
| |||||||||
|
|
i can't say anything about that kolmogorov thingy (but kolmogorov complexity looks really interesting, i *think* it builds on shannon information theory which is super important for modern digital communication i would recommend just giving the first little bit of a go) my understanding of homotopy type theory is that it's an attempt to shift math towards type theory foundations (instead of the old-school set theory) because of the 'curry-howard correspondence' which says that proofs and computer programs are equivalent. |
||||||||
|
|
|||||||||
| |||||||||
|
|
new school trend-nerd wants to be smart |
||||||||
|
|
|||||||||
| |||||||||
|
|
<3 |
||||||||
|
|
|||||||||
| |||||||||
|
|
ahaha |
||||||||
|
|
|||||||||
| |||||||||
|
|
the pontum snogeotarpsy counterbalanced by a convolutional neural network rooted in the precepts of quantum funtodynamics, enmeshed with a medium-large data infation on the nile. truly, qed. suckaz~ |
||||||||
|
|
|||||||||
|
Messageboard index
|
|||||||||
