Bayle Shanks's website
Welcome to my website. My email address is . If you're looking for my work website, go here.
I currently live in San Diego and work as a graduate student in computational neuroscience with Prof. Charles Stevens.
Unremarkably, i enjoy hanging out with family and friends, walking in parks, working on side projects in the same areas as my professional interests, reading comics and books, listening to music, and thinking about stuff.
My professional training and interests are in the areas of cognitive studies, computers, collaboration, and mathematics. See my work website.
Probably the most useful thing i've done for the world so far is viperre, an emacs mode that has a vi-like modal distinction between editing and movement, with an optimized keyboard layout of the movement commands.
See aboutMe for more about me.
My current main project is my phd thesis, which is an analysis of the anatomy of the cerebral cortex using gene expression data from the Allen Brain Atlas. See my work website.
My next project is scheduled to be http://pietrust.com
My most important future project is http://amendablecode.com (using liquid republic). PieTrust? and AmendableCode? are related to each other, and to other project ideas. See RoadMap? for the big picture.
Some side projects of mine that i've worked on recently are:
- learn various things (various out-of-date lists in the projects folder), create detailed notes, and, possibly someday, textbooks on various topics
- liquid republic
- Oot (may never be finished) (and along with it, learning about programming languages in general)
- i have a vague idea for a mathematical type theory based on a notion i have of a hierarchy of meta-referential systems. The project is to formalize my type theory.
- i think about proving P != NP a bit
Some unfinished side projects that i'm currently not working on much and might never get around to (but hope to):
- develop the theory of arc computation
- How do humans hold inconsistent beliefs? How do humans do what A.I. calls "commonsense reasoning"? This is related to paraconsistent logics, confabulation after brain injury, and to conspiracy theories.
- raise money to chair a Professor of Free Software at a major university; this person's job would be, not to discover new knowledge, but to produce useful FOSS software.
- i have lots of other projects and goals. See goals for big-picture goals and projects for more.
Recommendations of links and things to read/watch
- children's books
- web tools:
- Internet Archive keeps copies of old version of web pages. Often when you hit a dead link (a 404 due to a no-longer-existing webpage), you can find an old copy of it in the Archive!
- web forums:
- Wikis to discuss online communities and collaboration: MeatballWiki and CommunityWiki (Meatball is older, but CommunityWiki? is copyleft)
- Neurodudes: a neuroscience blog that i co-founded
Thoughts and ideas
- Oot -- scattered and inconsistent ideas towards a programming language called Oot that I'm designing. In a very early stage, I may never actually finish the design.
- DebateNet stack -- an open database of predicate assertions about URIs (based on an idea from Ruadhan that we were going to work on, but now I don't think we'll ever get around to implementing it)
Tips and advice
- Everyday advice and tips
- Computer tips
Tutorials and notes
math and computer:
- Some Stuff You Might Like To Know -- introductory notes on various mathy topics
- beginner tutorial on Haskell
- [[notes-computers-programming-programmingLanguagesBook?]] -- lists of various programming language concepts and constructs, and of Turing-equivalent systems, and of sub-Turing systems
- Introduction to Reverse Engineering the Brain -- (incomplete) list of the subset of topics of systems neuroscience that are most relevant to the topic "What is the algorithm of thought?" (e.g. so that you can focus/prioritize your study of neuroscience if this question is your goal)
- introductory notes on Roberts Rules
- list of quotes
See notes for more.
Released software projects
Released and no longer actively developed:
For more of my software projects, see projects/software.
This website has a lot more stuff besides the highlights on this page; see the TableOfContents.
Someday I may have a weblog.
Here are talk slides.
Here is my calendar.
Here's a list of all RecentChanges? to this web site.
Thanks to Katherine for drawing my icon.