Neural Code

[neuralprogram]

Currently looking at Emotiv EEG Systems!

Looking at these for prospective methods to interact neutrally with programs I design and build. Very exciting technology and very reasonably priced! IMPRESSED! But sadly at this point in time I don't quite have that much money yet- grr. http://emotiv.com/

[neuralprogram]

Current projects I am working on- A to do list I need to post on my blog

Currently I have three (3) projects I am working on in my own time. I am in collaboration with a mechanical engineer friend of mine on all of them and each of them gets updated every so often. I plan to make more filled out posts on the subjects! Truly! But right now I have midterms to study for and I am just taking a quick mental breather (PHEW!) and writing this up for you guys. Maybe it'll get you followers excited?! I know I am about them! 1: Mobile Robot -      Physical computing example

    Model of human spatial memory

    Mobile/tablet android app to control it

    Statistical models implemented

    raspberry pi AND arduino at once

     2: Town defense game     Android app

    Built using C#(C sharp) and Unity engine! 3: Engineering mechanical version of human arm

    working with a mechanical engineer on this

    yeah that's badass and fun.

    still in blueprint stage, creating program that takes dimensions and figures and gets a anatomically-correct arm blueprints made.

[neuralprogram]

I still certainly do derive a lot of inspiration for what I do from the prospects of mechanical augmentation, neural prosthesis. Deus Ex: Human Revolution has to be one of my most beloved games as it captures the dream vividly! On this blog you can certainly expect me to make posts about advances in that technology from both the computer side of things as well as the neurological. However keep in mind this blog will be dedicated to real-life application and actual research. No worries though! I will interpret the research for you all to enjoy :)

[neuralprogram]

Proofs. Hellish to learn but essential.

Ever want to prove something to be true in all cases? Well you can happily write "2+2=4 so that is proven" and you'll be pretty bang on! But in the realm of computers you rarely get something so simple. A function is meant to take in a MASSIVE AMOUNT of data and process it in a particular way- the particular way being something you hope it does! So in proofs one of the main things you test for (generally) is that your program actually is saying or doing something that IS TRUE. Actually lemme wind back a bit. Here we're going to speak of proving more simple math, before I make a giant post on proving algorithms using proofs (my fave has to be induction....). Here we have a whole wack of proofs but nice thing is once you get the gist of it that problem solving method applies VERY generally and widely! 1: Proof by assuming something in an implication (I'll write more on these later!) such as assume p is actually true in p=>q! Here you basically assume one part of the statement is true and then work further on from there to prove that the statement is true! But be cautious as you need to keep strongly in mind that you ASSUMED P IS TRUE FOR THE PROOF. Once the proof is done? NOPE! Can't make that leap. 2: Proof by taking essentially the negative of the opposite (contrapositive). The contrapositive means basically the exact same thing as the original. So prove this? Prove the original! Funny how that works! 3: Proof by division into components. Lets say I want to prove something... it may be far easier to divide what I am proving into several subsections or groups and then prove for each case! 4: Proof by contradiction! Essentially here you want to say "the sky is not blue" and prove that it is wrong (assuming that the sky IS blue of course!). So if you prove that the WRONG statement that you are 'tryinjg to prove' is NOT proveable or has some logical hiccup... bam! You got proof for the original being TRUE! 5: Proving statmenets that are "if and ONLY if" meaning both have to be true simultaneously! This takes parts! Such as prove that one is true for the other and then that the other is true for the other using proof (1) or (2) I just described above! PHEW, that one is a doozey.

[neuralprogram]

Hello! Welcome to my blog

Hello, as an avid tumblr user for quite some time I've decided that it was about time that I make a blog purely dedicated to my passion: computer science! The goal of this blog will be to primarily post on anything I see that I find fascinating in the world of algorithms, databases, hardware, neurological breakthroughs and all things like that! Do note though that this blog will NOT be just about things related to neural-computer gap! I will be posting a lot on what I am learning and doing in my personal time and I really hope that you find this an interesting look into my life and my passion! Welp, now that is said time to fill this blog with some love! Also if you want to look at my own personal tumblr blog you can find it here at neurowolf.tumblr.com ! Although that is totally unrelated!