Conversation with #hplusroadmap at Fri 04 Apr 2008 04:59:42 PM CDT on kanzure@irc.freenode.net (irc)

(2008-04-04 16:59:42) The topic for #hplusroadmap is: happy bunny day - day of the replicator || http://heybryan.org/ http://fennetic.net/
(2008-04-04 17:00:00) kanzure: Hey fenn, epitron.
(2008-04-04 17:39:16) kanzure: fenn: quantum dot on a DNA molecule?
(2008-04-04 17:43:30) kanzure: Quantum-dot aptamer beacons for the detection of proteins - Get this article - all 4 versions ยป
(2008-04-04 17:43:30) kanzure: M Levy, SF Cater, AD Ellington - ChemBioChem, 2005 - doi.wiley.com
(2008-04-04 17:43:30) kanzure: Quantum dots (QDs) offer a number of advantages over stan- dard fluorescent dyes
(2008-04-04 17:43:30) kanzure: for monitoring biological systems in real time, including greater
(2008-04-04 17:43:30) kanzure: photostability, larger effective Stokes shifts, longer fluorescent ...
(2008-04-04 17:43:30) kanzure: Cited by 26 - Related Articles - Web Search
(2008-04-04 17:43:31) kanzure: huh
(2008-04-04 17:43:33) kanzure: that's Ellington
(2008-04-04 18:11:41) andares left the room (quit: Read error: 110 (Connection timed out)).
(2008-04-04 18:50:34) epitron: yo kanz
(2008-04-04 18:50:35) epitron: what's happenin
(2008-04-04 18:50:40) kanzure: hehe
(2008-04-04 18:50:55) kanzure: epitron: was it you or fenn who was mentioning edge.org with me the other day?
(2008-04-04 18:50:58) kanzure: I think it was you, re: Smolin
(2008-04-04 18:51:01) kanzure: and then Hillis.
(2008-04-04 18:51:18) kanzure: epitron: So, if you know about edge.org and Smolin, then you surely know about Kauffman, yes?
(2008-04-04 18:51:51) epitron: hmmm...
(2008-04-04 18:51:59) epitron: it's been a while since i've explored the breadth of edge.org
(2008-04-04 18:52:07) epitron: i might've read something by him, is he a physicist?
(2008-04-04 18:53:22) epitron: oh interesting, i haven't read this
(2008-04-04 18:53:49) kanzure: theoretical/mathematical biologist
(2008-04-04 18:53:52) kanzure: he's hardcore
(2008-04-04 18:53:59) kanzure: I just found a paper written by him and Ellington
(2008-04-04 18:54:06) kanzure: Ellington is the professor that I've been working with at UT.
(2008-04-04 18:56:08) epitron: ohh i have seen this guy's talk before
(2008-04-04 18:56:17) epitron: i never looked more into his work though
(2008-04-04 18:56:40) kanzure: I never saw his talk, linkage?
(2008-04-04 18:56:57) epitron: err, i meant his edge interview. :)
(2008-04-04 18:57:03) epitron: him talking, as opposed to text.
(2008-04-04 18:58:00) kanzure: ok
(2008-04-04 19:00:22) epitron: this is good stuff, thanks for the link :)
(2008-04-04 21:17:45) Enki-2 left the room (quit: Remote closed the connection).
(2008-04-04 21:18:33) Enki-2 [n=weechat@c-71-234-190-248.hsd1.ct.comcast.net] entered the room.
(2008-04-04 21:19:30) kanzure: Hey Enki-2.
(2008-04-04 21:19:33) kanzure: http://freelancingscience.com/2008/04/03/biobrick-as-a-functional-role/#comment-356 <-- yarr, I am intense
(2008-04-04 22:42:29) mechie [n=DION102@cpe-74-73-121-30.nyc.res.rr.com] entered the room.
(2008-04-04 22:44:09) kanzure: Hey mechie.
(2008-04-04 22:44:19) mechie: hi
(2008-04-04 22:44:27) kanzure: elhaym?
(2008-04-04 22:44:41) mechie: yes that's me
(2008-04-04 22:44:49) mechie: i play videogames :(
(2008-04-04 22:45:00) mechie: Elhaym is a char from Xenogears
(2008-04-04 22:45:02) kanzure: What brings you around these parts?
(2008-04-04 22:45:07) mechie: epi made me
(2008-04-04 22:46:04) kanzure: Meh. Have fun. Hang around a bit.
(2008-04-04 22:46:18) kanzure has changed the topic to: http://heybryan.org/ http://heybryan.org/mediawiki/ http://heybryan.org/mediawiki/index.php/Self-replication
(2008-04-04 22:46:47) mechie: he promised me world domination
(2008-04-04 22:47:48) kanzure: Type one or type two world domination?
(2008-04-04 22:48:06) mechie: i don't know
(2008-04-04 22:48:10) mechie: he didn't specify
(2008-04-04 22:48:14) mechie: he told me to hang around
(2008-04-04 22:49:11) kanzure: Tonight I've been working in computational DNA physics and synthetic biology
(2008-04-04 22:49:11) kanzure: http://heybryan.org/mediawiki/index.php/Ellingtonia
(2008-04-04 22:50:07) mechie: when did you start studing all this
(2008-04-04 22:51:21) kanzure: Not sure. February?
(2008-04-04 22:52:03) mechie: -_-'
(2008-04-04 22:52:27) kanzure: Hm?
(2008-04-04 22:54:08) mechie: were you always into the sciences
(2008-04-04 22:56:53) kanzure: nope
(2008-04-04 22:56:58) kanzure: I am a gamer at heart :)
(2008-04-04 22:57:14) mechie: nice
(2008-04-04 22:57:19) kanzure: Nintendo64 is kind of lodged into my brain forever
(2008-04-04 22:57:31) mechie: zelda ocarina of time?
(2008-04-04 22:57:39) kanzure: yes, and most anything Rareware
(2008-04-04 22:57:46) mechie: o
(2008-04-04 22:57:46) kanzure: Banjo Kazooie/Tooie especially
(2008-04-04 22:57:51) kanzure: Donkey Kong, Super Mario 64,
(2008-04-04 22:57:58) mech0r left the room (quit: Read error: 110 (Connection timed out)).
(2008-04-04 22:57:58) kanzure: I was a sharker, obviously.
(2008-04-04 22:58:06) mechie: i mostly played Zelda + mario stuff
(2008-04-04 22:58:11) kanzure: Yep. Good times.
(2008-04-04 22:58:22) mechie: i was big into rpgs at the time
(2008-04-04 22:58:29) kanzure: Same here. I was a pokemon addict.
(2008-04-04 22:58:39) mechie: lull.... my channel is called team rocket
(2008-04-04 22:58:40) mechie: hahahahah
(2008-04-04 22:59:06) kanzure: Heh.
(2008-04-04 22:59:24) mechie: i didn't get beyond pokemon red and blue
(2008-04-04 22:59:50) kanzure: I learned to read on those games, and to hack, and so essentially I kind of learned to read + program at the same time, in an odd "reverse" sort of way.
(2008-04-04 23:01:00) mechie: dont they also have a free guide to programming nintendo gameboy games
(2008-04-04 23:01:02) mechie: my bro had it
(2008-04-04 23:01:24) mechie: my bro also turned a ninentdo ds into an oscillisope
(2008-04-04 23:01:26) kanzure: Sure, I was writing ROM files of my own for a while, until I realized that I could just do normal computer programming anyway.
(2008-04-04 23:01:32) kanzure: into an oscilloscope? interesting
(2008-04-04 23:01:35) kanzure: what were the inputs?
(2008-04-04 23:01:42) mechie: i dunno
(2008-04-04 23:01:43) mechie: hahahaha
(2008-04-04 23:01:48) kanzure: I guess it could be anything, they have onboard signal processors, right?
(2008-04-04 23:01:55) mechie: yes i guess
(2008-04-04 23:01:58) mechie: he didn't show me
(2008-04-04 23:02:02) mechie: it's @ his work place
(2008-04-04 23:02:21) mechie: he's trying to make a tiny affordable oscilliscope for college students
(2008-04-04 23:02:25) kanzure: neat
(2008-04-04 23:02:31) kanzure: yes, I'm big into DIY hardware
(2008-04-04 23:02:35) mechie: he works @ http://www.linkinstruments.com
(2008-04-04 23:02:36) kanzure: hell, I made a kit on how to do your own genetic engineering
(2008-04-04 23:02:39) kanzure: http://biohack.sf.net/
(2008-04-04 23:02:51) mechie: i was mostly just the solder person there
(2008-04-04 23:02:52) kanzure: neat device
(2008-04-04 23:02:55) kanzure: haha
(2008-04-04 23:02:58) kanzure: solder person == eye damage? :)
(2008-04-04 23:03:01) mechie: so i made like
(2008-04-04 23:03:13) mechie: $100k worth of oscilliscopes and logic analyzers in 10 days
(2008-04-04 23:03:22) kanzure: ah, they aren't free?
(2008-04-04 23:03:25) kanzure: then it's useless
(2008-04-04 23:03:27) mechie: i was pretty high
(2008-04-04 23:03:35) mechie: and my eyes pretty much died
(2008-04-04 23:03:58) mechie: i had a lot of pain working with the ROHS solder
(2008-04-04 23:04:09) kanzure: ROHS?
(2008-04-04 23:04:12) kanzure: not resin?
(2008-04-04 23:04:17) mechie: it requires such high heat and i kept cracking the resistors
(2008-04-04 23:04:28) kanzure: you know, we have automation machinery for a good reason
(2008-04-04 23:04:34) mechie: yeah
(2008-04-04 23:04:37) mechie: but i had to mod it
(2008-04-04 23:04:45) mechie: cuz our batch got messed up
(2008-04-04 23:04:52) mechie: so i was the cheap labor alternative :\
(2008-04-04 23:05:08) mechie: i mostly went in for fixing things
(2008-04-04 23:05:22) kanzure: you're not too bright, are you
(2008-04-04 23:05:25) kanzure: joking :)
(2008-04-04 23:05:28) mechie: :D
(2008-04-04 23:05:31) mechie: i needed monies :>
(2008-04-04 23:05:36) kanzure: for what?
(2008-04-04 23:05:43) mechie: for school books
(2008-04-04 23:05:43) mechie: :D
(2008-04-04 23:05:47) kanzure: Download 'em.
(2008-04-04 23:05:58) mechie: i just get them on half.com or w/e
(2008-04-04 23:05:59) kanzure: (and leech)
(2008-04-04 23:07:38) mechie: soooo
(2008-04-04 23:07:41) mechie: do you make anything
(2008-04-04 23:08:02) mechie: physical
(2008-04-04 23:08:50) kanzure: DNA synthesizers, DNA sequencers, self-replicating machines, scanning probe microscopes, brains, bacteria, electronics, etc.
(2008-04-04 23:09:08) mechie: ok
(2008-04-04 23:09:27) kanzure: Artificial meat machines,
(2008-04-04 23:09:29) kanzure: artificial wombs
(2008-04-04 23:09:36) kanzure: cryonic suspension chambers
(2008-04-04 23:09:41) kanzure: many of these projects are tentative of course
(2008-04-04 23:09:51) kanzure: but it's good to have more ideas than time to implement them
(2008-04-04 23:09:56) kanzure: This way I can select which ones to do. ;)
(2008-04-04 23:10:19) mechie: i give up from the start :>
(2008-04-04 23:10:32) mechie: EPI KNOWS
(2008-04-04 23:10:43) ***mechie kicks epitron in the nads
(2008-04-04 23:10:51) kanzure: You give up on what?
(2008-04-04 23:10:53) kanzure: life?
(2008-04-04 23:11:45) mechie: maybe i did.
(2008-04-04 23:12:01) kanzure: You are cryptic.
(2008-04-04 23:12:14) mechie: perhaps.
(2008-04-04 23:12:22) mechie: i was thinking of being a surgeon
(2008-04-04 23:12:36) mechie: i didn't really want to work hard through med school though
(2008-04-04 23:13:17) kanzure: Med school is tanking. http://forums.studentdoctor.net/ <-- lots of morons getting into med school
(2008-04-04 23:13:24) mechie: yeah i know
(2008-04-04 23:13:28) mechie: my friends got in
(2008-04-04 23:13:32) ***mechie scared
(2008-04-04 23:13:36) kanzure: I am, however, interested in the medical scientist training program
(2008-04-04 23:13:41) kanzure: An 8 year program to get a PhD and an MD
(2008-04-04 23:13:46) kanzure: with a stipend paid by the govt
(2008-04-04 23:13:55) mechie: smartypants
(2008-04-04 23:49:57) epitron: kanzure: you could probably do that program a lot faster by yourself :)
(2008-04-04 23:50:01) epitron: working with researchers
(2008-04-04 23:50:12) epitron: with a stipend paid by the research labs
(2008-04-04 23:50:24) epitron: 8 years is too much school
(2008-04-04 23:50:47) kanzure: perhaps =)
(2008-04-04 23:50:50) kanzure: it's not constant schooling
(2008-04-04 23:51:12) epitron: toooo mucchhh schoooolll
(2008-04-04 23:51:21) epitron: did you know that the guy who sequenced the human genome didn't even go to school?
(2008-04-04 23:51:31) epitron: what's his name... craig ventnor?
(2008-04-04 23:52:43) epitron: (ok he didn't sequence the human genome by himself.. :) but he was instrumental in its expediency)
(2008-04-04 23:54:01) kanzure: he had millions of dollars
(2008-04-04 23:54:22) kanzure: billions, even
(2008-04-04 23:55:13) epitron: didn't the other genome project?
(2008-04-04 23:55:17) kanzure: huh?
(2008-04-04 23:55:26) kanzure: Craig Venter, by the way
(2008-04-04 23:55:31) kanzure: J. Craig Venter
(2008-04-04 23:55:32) epitron: thanks
(2008-04-04 23:55:37) epitron: there were two parallel projects
(2008-04-04 23:55:38) kanzure: http://venterinstitute.org/ or something
(2008-04-04 23:55:39) epitron: his at celera
(2008-04-04 23:55:43) kanzure: sure, there were many projects
(2008-04-04 23:55:47) kanzure: check out http://bioperl.org/ for the story
(2008-04-04 23:55:50) epitron: and the intergovernmental one or whatever
(2008-04-04 23:56:19) epitron: what?
(2008-04-04 23:56:20) epitron: :)
(2008-04-04 23:56:49) epitron: what's bioperl go tto do with it
(2008-04-04 23:57:00) kanzure: they have a good story on how automation saved the Human Genome Project.
(2008-04-04 23:57:07) kanzure: look around on the site, the article has a lengthy title
(2008-04-04 23:57:09) kanzure: and was written 1995
(2008-04-04 23:57:19) epitron: so this bioperl project is old?
(2008-04-04 23:57:24) kanzure: actually, no
(2008-04-04 23:57:29) kanzure: but they have an old article or something
(2008-04-04 23:57:40) kanzure: Anyway, I'm going to go hit bed
(2008-04-04 23:57:44) epitron: i know about the basics, how venter used the shotgun approach
(2008-04-04 23:57:49) kanzure: I have ~30 papers open at the moment that I still need to run
(2008-04-04 23:57:52) epitron: nighty-o!
(2008-04-04 23:57:53) kanzure: shotgun technique is old news
(2008-04-04 23:57:54) epitron: hahah
(2008-04-04 23:57:59) kanzure: http://heybryan.org/mediawiki/index.php/DNA_sequencing
(2008-04-04 23:58:03) epitron: i know
(2008-04-04 23:58:03) kanzure: read that and digest all of the links
(2008-04-04 23:58:04) epitron: grr
(2008-04-04 23:58:06) epitron: :)
(2008-04-04 23:58:07) epitron: no!
(2008-04-04 23:58:10) epitron: i don't need to
(2008-04-04 23:58:22) epitron: semantic drift in progress
(2008-04-04 23:59:31) epitron: you ever read this quote?
(2008-04-04 23:59:34) epitron: "I consider that a man's brain originally is like a little empty attic, and you have to stock it with such furniture as you choose. A fool takes in all the lumber of every sort that he comes across, so that the knowledge which might be useful to him gets crowded out, or at best is jumbled up with a lot of other things, so that he has a difficulty in laying his hands upon it. Now the skilful workman is very careful indeed as to what he takes into his bra
(2008-04-04 23:59:40) epitron: "He will have nothing but the tools which may help him in doing his work, but of these he has a large assortment, and all in the most perfect order. It is a mistake to think that that little room has elastic walls and can distend to any extent. Depend upon it - there comes a time when for every addition of knowledge you forget something that you knew before. It is of the highest importance, therefore, not to have useless facts elbowing out the useful on
(2008-04-04 23:59:49) epitron: -- Sir Arthur Conan Doyle
(2008-04-05 00:01:08) epitron: i have no trouble reading a high level summary of something
(2008-04-05 00:01:18) epitron: so that i know of its existence, and can learn about it if the need arises
(2008-04-05 00:01:31) epitron: but i don't bother absorbing large random research papers for no reason :)
(2008-04-05 00:08:36) fenn: doyle obviously didnt know anything about data compression
(2008-04-05 00:35:53) epitron: shut up noob!
(2008-04-05 00:37:37) mechie: fuckers
(2008-04-05 00:37:38) mechie: go to sleep
(2008-04-05 09:11:17) kanzure: DNA looping? DNA-knots?
(2008-04-05 09:16:02) Enki-2 left the room (quit: Read error: 104 (Connection reset by peer)).
(2008-04-05 09:21:11) Enki-2 [n=weechat@c-71-234-190-248.hsd1.ct.comcast.net] entered the room.
(2008-04-05 10:01:39) fenn: dna underwater basket weaving
(2008-04-05 10:03:59) kanzure: that's what it sounds like
(2008-04-05 10:25:21) kanzure: fenn
(2008-04-05 10:25:26) kanzure: http://heybryan.org/mediawiki/index.php/Ellingtonia#Challenge
(2008-04-05 10:25:28) kanzure: see ED3814
(2008-04-05 10:27:37) kanzure: the idea is that there are biochem-networks in the databases out there on the internet
(2008-04-05 10:28:02) kanzure: ideally, we can mimic the computation that those networks are doing
(2008-04-05 10:28:16) kanzure: and automatically generate our own 'logic' and then have the DNA compiler implement this with transcriptional logic or whatever
(2008-04-05 10:28:34) kanzure: but the problem is that the 'experimentally confirmed' biological reaction networks are messy and are defined in various ways, I think
(2008-04-05 10:28:38) kanzure: I need to go look at the raw data
(2008-04-05 10:28:46) kanzure: I suspect that translating that into 'abstract logic' is going to be hard
(2008-04-05 10:29:00) kanzure: unless we can model complex systems in a certain way, saying "there's an information conduit between these two places'
(2008-04-05 10:29:08) kanzure: a systems-diagramming method or something
(2008-04-05 10:29:41) kanzure: or I guess we can just ask to model the functionality of all of the components in the network, and then we can implement this in logical terms
(2008-04-05 10:29:44) kanzure: is this an impossibility?
(2008-04-05 11:00:04) fenn: well, looks like you've been doing your homework
(2008-04-05 11:06:55) fenn: genetic regulatory network is not logic exactly, more like fuzzy logic or analog electronic circuits
(2008-04-05 11:10:05) fenn: not sure what's hard about diagramming complex systems.. isnt that the whole point of making diagrams?
(2008-04-05 14:31:04) kanzure: I suppose, but can they be autodiagrammed ?
(2008-04-05 14:31:48) kanzure: I mean, what is the experimental data collection format ? if it's a complex network from automated testing or something, then we're in business
(2008-04-05 14:31:56) kanzure: because then we just do normal comp sci (parallel -> linear programs)
(2008-04-05 14:32:21) kanzure: which, although hard, is at least studied in theoretical comp sci
(2008-04-05 14:53:24) kanzure: fenn: http://www.genome.ad.jp/kegg/pathway/hsa/hsa04330.html
(2008-04-05 14:53:26) kanzure: hm
(2008-04-05 14:53:41) kanzure: they have a diagram, but not necessarily a format for reading this complex reaction network
(2008-04-05 14:56:38) kanzure: http://en.wikipedia.org/wiki/SBML
(2008-04-05 14:59:37) kanzure: http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75GS-4BP87S9-D&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=529aca035baa81bbfc382f3a52d8901a
(2008-04-05 14:59:37) kanzure: BioSig: an informatics framework for representing the physiological responses of living cells
(2008-04-05 14:59:42) kanzure: Subcellular experimental datasets and detailed cell models are required before modeling of whole organs. Cell modeling requires repeated interaction between simulation and experimental data. This review describes a coupled system of informatics and instrument control suitable for extracting information at the subcellular level. The BioSig informatics framework annotates time-series images with experimental variables and computed representation such as physiological responses, whereas visual servoing optical microscopy (VSOM) is used for adaptive perturbation and interaction with living cells.
(2008-04-05 15:02:19) kanzure: http://www.pubmedcentral.nih.gov/articlerender.fcgi?artid=1435936
(2008-04-05 15:02:20) kanzure: GEM might be it.
(2008-04-05 15:11:02) kanzure: http://www.cellerator.org/ ... to facilitate biological modeling via automated equation generation
(2008-04-05 15:25:42) fenn: what's the point
(2008-04-05 15:25:49) fenn: epicycles
(2008-04-05 15:26:32) fenn: it's non-linear so your extrapolation beyond known data is probably going to be crap
(2008-04-05 15:28:43) kanzure: I guess I can think of this in another way.
(2008-04-05 15:28:47) kanzure: Suppose we have some differential equations that model a supercomputer, a network of Beowulf clusters or something. In our program, we can set the number of nodes on the network to N=2, and then try to map programming-instructions to those
(2008-04-05 15:28:48) kanzure: two nodes to model the behavior of the ODE. If this is not the case, then we iterate over to N=3, etc., up to N=X where X is some sufficiently large number that can have enough instructions to model the ODE.
(2008-04-05 15:28:53) kanzure: it doesn't matter if it's non-linear
(2008-04-05 15:29:00) kanzure: supposedly our supercomptuers are nonlinear ;)
(2008-04-05 15:30:50) kanzure: the fun thing is that your experimental data set is mostly 'complete' in bioinformatics
(2008-04-05 15:30:58) kanzure: since you know the genes and you can trace interactions and whatever else
(2008-04-05 15:31:59) kanzure: http://www.pubmedcentral.nih.gov/articlerender.fcgi?artid=1893010 " In this paper we develop tools that enable the detection of steady states that are modeled by fixed points in discrete finite dynamical systems. We discuss two algebraic models, a univariate model and a multivariate model. We show that these two models are equivalent and that one can be converted to the other by means of a discrete Fourier transform."
(2008-04-05 15:33:33) kanzure: that seems to be my answer
(2008-04-05 15:33:46) fenn: i have no idea what the significance of that may be
(2008-04-05 15:42:16) kanzure: fixed points of finite dynamical systems -> finite field model -> Boolean model -> http://en.wikipedia.org/wiki/Boolean-valued_model
(2008-04-05 15:42:27) kanzure: if you look at the article, you'll see that this is comp sci language stuff
(2008-04-05 15:42:35) kanzure: meaning we have the abstract logic statements, the set of instructions basically
(2008-04-05 15:42:39) kanzure: and then we can plug this into my DNA compiler.
(2008-04-05 15:43:41) fenn: the 'fixed points' and 'finite dynamical systems' is just gibberish to me
(2008-04-05 15:43:58) fenn: i see they have a tree of states, i guess that's the finite dynamical system
(2008-04-05 15:44:18) fenn: what are the fixed points?
(2008-04-05 15:44:31) kanzure: I am guessing the genes or the proteins that they express
(2008-04-05 15:44:36) kanzure: but I don't know about it in a mathematical sense
(2008-04-05 15:44:42) kanzure: I'm first checking it out in #math on a meta-level
(2008-04-05 15:44:54) kanzure: to see if Boolean models can be symbol tables and given manipulations or whatever
(2008-04-05 15:47:05) kanzure: this sounds weird though
(2008-04-05 15:47:21) fenn: why not just start with the 'boolean valued model'
(2008-04-05 15:47:28) kanzure: "We can show that for any n-dimensional dynamical system ... there is an equivalent one-dimensional system."
(2008-04-05 15:47:48) kanzure: because you don't have that boolean valued model, you have some differential equations from cellerator ;)
(2008-04-05 15:48:01) kanzure: although tracing through the software perhaps we can find a way to simplify the process
(2008-04-05 15:49:09) fenn: so the point of all this is to re-create a genetic regulatory network, based on observed interactions?
(2008-04-05 15:49:21) kanzure: yes
(2008-04-05 15:49:40) kanzure: to extract the 'abstract logic' that evolution has come up with, in whatever fuzzy way that was
(2008-04-05 15:50:08) fenn: oh.. boolean valued model is only linear interactions, right?
(2008-04-05 15:50:21) fenn: p*q
(2008-04-05 15:50:23) kanzure: that's what it looks like
(2008-04-05 15:50:25) kanzure: but
(2008-04-05 15:50:31) kanzure: that's why the "We can show ..." line looks so weird
(2008-04-05 15:50:34) kanzure: it looks like the P=NP problem
(2008-04-05 15:50:35) fenn: not p^q or p+q
(2008-04-05 15:50:37) kanzure: or maybe I'm just seeing things
(2008-04-05 15:53:37) fenn: p=np is something else
(2008-04-05 15:54:06) kanzure: yes, they are hitting me over the head
(2008-04-05 15:54:07) kanzure: rather rudely
(2008-04-05 15:54:27) kanzure: I hate #math ... TWRBW is knowledgable, but a hardcore eugenicist/"if they can't do it, kill them"
(2008-04-05 15:54:33) fenn: fuck math
(2008-04-05 15:54:43) fenn: if you dont understand what something is, all the math in the world won't help
(2008-04-05 15:55:08) kanzure: math and chemistry have a lot in common, in my opinion
(2008-04-05 15:55:27) kanzure: while math you could supposedly do on your own, both of them require intense study of the previous literature and s oon
(2008-04-05 15:55:43) kanzure: actually, that's true of much of science
(2008-04-05 15:55:49) kanzure: just there it seems more stricking.
(2008-04-05 15:55:51) fenn: sorta
(2008-04-05 15:55:59) kanzure: hm, they also give state space diagrams
(2008-04-05 15:56:08) fenn: it's just hard to communicate if you dont share the language
(2008-04-05 15:56:25) fenn: and language is only got through study or proximity
(2008-04-05 15:56:49) kanzure: I think I've said this before [to you], but I would really appreciate a ref book on math syntax
(2008-04-05 15:57:01) fenn: heh no that was me complaining to you
(2008-04-05 15:57:16) kanzure: was it you who was complaining about identity disassociation in chatting?
(2008-04-05 15:57:22) kanzure: somebody who did it to you?
(2008-04-05 15:57:23) kanzure: or was this epitron
(2008-04-05 15:57:29) fenn: you suggested some old book and i downloaded it and never read it
(2008-04-05 15:57:32) fenn: that was me
(2008-04-05 15:57:58) fenn: i didnt say someone did it to me, it's just that i find myself thinking other peoples' thoughts sometimes
(2008-04-05 15:58:30) fenn: not necessarily a bad thing.. i think it's how communication works
(2008-04-05 15:59:34) kanzure: then it was somebody else who mentioned a bad experience with somebody who started to mistake him/her for a long-gone ex-girlfriend or something
(2008-04-05 15:59:38) kanzure: Anyway,
(2008-04-05 15:59:46) kanzure: since this is *not* some lunatic thinking P=NP
(2008-04-05 15:59:55) kanzure: and my warning lights are not going off
(2008-04-05 16:00:06) fenn: oh, yea that is me too
(2008-04-05 16:00:30) fenn: i dont get the p=np problem, why is it a question?
(2008-04-05 16:00:35) kanzure: it looks like I might have a vague picture from automated bioinformatics all the way down to -> automated modeling and then -> automated compiling into DNA for in vitro synthetic biology, to create systems from scratch.
(2008-04-05 16:00:54) kanzure: by wrestling the insights from biology (and thus evolution)
(2008-04-05 16:01:29) kanzure: so if we could just cycle through an entire database of the experimental bioinformation, we can supposedly generate all of the code to the cell, even if it is sorta fuzzy
(2008-04-05 16:01:50) kanzure: although this sort of assumes we have ODEs or enough experimental data for all of the genome, so that we can do differential equations for all of the interacting genes
(2008-04-05 16:02:06) kanzure: it sounds unlikely to currently exist in an easily accessible format, but it should be possible
(2008-04-05 16:02:09) fenn: no, because you neglect actual interaction with the non-nucleic acid world
(2008-04-05 16:02:16) kanzure: right
(2008-04-05 16:02:22) kanzure: well, no
(2008-04-05 16:02:35) kanzure: remember the Winfree paper on robustness
(2008-04-05 16:02:37) fenn: you dont have the heuristics for protein folding
(2008-04-05 16:02:45) kanzure: while there's a certain point where the cell breaks down and can't do the cascading chemical reactions
(2008-04-05 16:02:49) kanzure: in general, for a normal state, they are going to work
(2008-04-05 16:02:54) kanzure: you don't need protein folding
(2008-04-05 16:02:58) kanzure: not by a long shot
(2008-04-05 16:03:24) kanzure: the point is that we can model whatever 'normal' is
(2008-04-05 16:03:35) kanzure: biology has adapted for those variety of circumstances when the environment (internal/external) gets rough
(2008-04-05 16:03:39) kanzure: but that's more like filling in the gaps later
(2008-04-05 16:03:45) kanzure: and tweaking the system to be able to survive in more situations
(2008-04-05 16:04:01) kanzure: rather than being perfect upon the first go
(2008-04-05 16:04:26) kanzure: (being perfect would involve simply replicating the DNA and doing protein biosynthesis like normal ;))
(2008-04-05 16:04:50) fenn: the point of the regulatory networks is to allow normal function even in harsh environments
(2008-04-05 16:05:10) kanzure: that's all at the edges though
(2008-04-05 16:05:10) fenn: if everything is perfect, you dont need regulatory networks, you just hard-code everything
(2008-04-05 16:05:17) kanzure: just before the 'automated bioinformatics experimentation' stuff
(2008-04-05 16:05:26) kanzure: that's where people would come up and set up a new automated experiment for a new class of genes or whatever
(2008-04-05 16:05:35) kanzure: and so they would change the variables that are being tweaked and seeing how the genes react
(2008-04-05 16:06:04) kanzure: I see what you mean, but I think you are assuming something that I am not
(2008-04-05 16:06:18) kanzure: we'd be using this system for another purpose than modeling the cell per-se
(2008-04-05 16:06:24) kanzure: suppose we run a selection experiment on bacteria
(2008-04-05 16:06:33) kanzure: and they come up with a novel solution to some challenge, which would necessarily involve genetics
(2008-04-05 16:06:50) kanzure: so we could characterize these new genes and they way they interact with each other -- perhaps they are a modification in the signaling network, or a new chemical synthesis, something
(2008-04-05 16:07:12) kanzure: we would know where to look since we can sequence their genomes and look for the modifications, and other various DNA tech
(2008-04-05 16:07:24) kanzure: we would know what conditions they were in since we were the ones who set up the selection experiment
(2008-04-05 16:07:42) kanzure: it is these solutions to information-processing in whatever 'harsh' (or not) conditions we set up that we are interested in
(2008-04-05 16:08:03) fenn: you mean adaptation?
(2008-04-05 16:08:10) kanzure: granted, sometimes they may not be GRNs (gene regulatory networks), but we can do some interesting things to make sure their adaptations/mutations do this
(2008-04-05 16:08:11) kanzure: yeah
(2008-04-05 16:08:34) kanzure: this is a way to codify knowledge gathered by the evolutionary process of adaptation, into a form that humans can begin to understand
(2008-04-05 16:08:48) kanzure: and then we can use this in, say, skdb, but that's another set of mental connections to make
(2008-04-05 16:09:05) kanzure: the designs are abstract and do not need to be plugged into the DNA compiler
(2008-04-05 16:09:13) kanzure: they could be plugged into anything, frankly
(2008-04-05 16:09:14) kanzure: even gcc
(2008-04-05 16:09:23) kanzure: (as long as we have a way to convert to C, of course)
(2008-04-05 16:09:38) fenn: more like vhdl i think
(2008-04-05 16:09:50) kanzure: but that conversion is easy, from a set of Boolean statements to C? yeah, we can do VHDL to C I think
(2008-04-05 16:09:57) kanzure: there's got to be a VHDL->C translator out there, heh
(2008-04-05 16:10:01) kanzure: that's just the geeky thing to do
(2008-04-05 16:10:03) fenn: just so you can use gcc? sounds silly
(2008-04-05 16:10:07) kanzure: well,
(2008-04-05 16:10:14) kanzure: biology is software, on the hardware of reality
(2008-04-05 16:10:20) kanzure: and evolution is a way of writing up new programs
(2008-04-05 16:10:22) fenn: vhdl is digital logic anyway, it wouldnt work for your wacky analog interactions
(2008-04-05 16:10:26) kanzure: so these new programs can be converted into software for our silicon computers
(2008-04-05 16:10:27) kanzure: that's my point
(2008-04-05 16:10:49) kanzure: no, this is discrete/finite points in field models, remember? (from the GRN dataset analysis, the pubmed paper)
(2008-04-05 16:11:03) fenn: no i have nfc what that was about
(2008-04-05 16:11:23) fenn: (i did read it)
(2008-04-05 16:11:26) kanzure: it was a way of taking experimental data from bioinformatics, the automated gene analysis systems and so on, and then coming up with finite models that do the same things
(2008-04-05 16:11:29) kanzure: yep
(2008-04-05 16:12:15) kanzure: so anyway, my point again: nature evolves software; we translate that software into abstractions, we then can take those abstractions and test them, either in silicon or in vitro with transcriptional logic to
(2008-04-05 16:12:16) kanzure: build up synthetic 'biological' systems (not necessarily cells ... but I hear Andy Ellington has an interest in nucleic acid 'origins of life' stuff)
(2008-04-05 16:13:04) fenn: so this is like checking your answer by doing the problem a different way?
(2008-04-05 16:13:15) kanzure: please contextualize
(2008-04-05 16:13:18) fenn: in math
(2008-04-05 16:13:28) fenn: two trains leave chicago and new york
(2008-04-05 16:13:34) kanzure: I don't think so, I probably just don't know your question
(2008-04-05 16:13:44) kanzure: let me reiterate and you can point out your questions
(2008-04-05 16:13:51) fenn: the problem is 'how does this cell work'
(2008-04-05 16:13:54) kanzure: biology and natural evolution comes up with new solutions to problem
(2008-04-05 16:13:56) kanzure: nope
(2008-04-05 16:14:04) kanzure: the problem is 'how to make it better' or 'how to get something interesting out of it'
(2008-04-05 16:14:10) kanzure: cells are really good at two things in natural evolution
(2008-04-05 16:14:13) kanzure: (1) genetic recombination (sex)
(2008-04-05 16:14:16) kanzure: (2) mutation
(2008-04-05 16:14:27) kanzure: in selection experiments, cells use both of those to come up with solutions
(2008-04-05 16:14:29) kanzure: and then write them on DNA
(2008-04-05 16:14:43) kanzure: these 'solutions' are quite fuzzy
(2008-04-05 16:14:48) kanzure: and rely on molecular physics among other things
(2008-04-05 16:14:53) fenn: your solution is modifying the DNA
(2008-04-05 16:14:54) kanzure: but ultimately they are, in fact, computing
(2008-04-05 16:14:59) kanzure: nope
(2008-04-05 16:14:59) kanzure: hold on
(2008-04-05 16:15:08) fenn: and by sheer chance the modifications end up with a solution
(2008-04-05 16:15:15) kanzure: sort of, yes
(2008-04-05 16:15:20) kanzure: they are in fact computing, so if we can then find out what they are doing that lets them survive the selection experiment
(2008-04-05 16:15:23) fenn: it doesnt happen the other way around (as much as i would like to believe)
(2008-04-05 16:15:31) kanzure: yeah :(
(2008-04-05 16:15:41) kanzure: "as much as I would like to believe"
(2008-04-05 16:15:41) kanzure: that's the understatement of the century
(2008-04-05 16:15:57) fenn: i'm a rupert-sheldrake sympathizer
(2008-04-05 16:16:01) kanzure: how so?
(2008-04-05 16:16:05) kanzure: sheldrake the morphogenetic field theorist?
(2008-04-05 16:16:18) fenn: i think spirits affect random chance and that's where life came from
(2008-04-05 16:16:32) kanzure: I have trouble believing in randomness
(2008-04-05 16:16:42) kanzure: but I do understand that you don't have all of the information
(2008-04-05 16:16:54) fenn: meh
(2008-04-05 16:16:58) kanzure: how can randomness ever exist, anyway?
(2008-04-05 16:17:00) kanzure: for something to be truly random,
(2008-04-05 16:17:12) kanzure: in my program it would have to return 'COW' or 'thing that looks like a cow, but is really an alien from 23 dimensions over'
(2008-04-05 16:17:17) kanzure: but instead it just predictably spits out a number
(2008-04-05 16:17:29) fenn: i didnt mean to go off on this tangent
(2008-04-05 16:17:32) kanzure: sure
(2008-04-05 16:17:37) kanzure: anyway,
(2008-04-05 16:17:48) kanzure: the idea is to convert their programs over into a form that we can understand
(2008-04-05 16:17:58) fenn: 'how does this cell work'
(2008-04-05 16:18:15) kanzure: by leveraging the past 60 years of bio research to convert their 'physical language' into our abstract languages, and then we get to play around with the new components we get and see what we can do with them
(2008-04-05 16:18:23) kanzure: yeah, I guess that's a good way to put it
(2008-04-05 16:18:29) kanzure: but you don't have to know everything about the cell
(2008-04-05 16:18:34) kanzure: there are ways to constrain selection experiments I think
(2008-04-05 16:18:51) kanzure: and Andy succeeded in coming up with automatic ways of evolving nucleic acids without cells via aptamers
(2008-04-05 16:18:58) kanzure: and other various biomolecules, I think
(2008-04-05 16:19:32) kanzure: http://en.wikipedia.org/wiki/Aptamers (be careful, this is also somewhat of a tangent)
(2008-04-05 16:21:17) kanzure: there's a limit to evolvable software, but on the other hand, it should be possible to come up with lots of interesting programs on the size of genomes ... some bacteria have genomes that are 5 to 500 times larger than the human genome, so imagine how many programs can be written and how many mutations can occur
(2008-04-05 16:24:18) fenn: you dont even need a physical biological substrate to do this.. say you have a genetic algorithm, then you model it with formal models in order to abstract/extract the 'how'
(2008-04-05 16:25:02) kanzure: true,
(2008-04-05 16:25:14) kanzure: this is why selection experiments (whether simulated or physical) are hard to design
(2008-04-05 16:25:26) kanzure: a few days ago I made the comparison of that to making ... 'shrines' for gods
(2008-04-05 16:25:27) fenn: generally it just finds flaws in your selection function though
(2008-04-05 16:25:30) kanzure: because that's basically the same thing
(2008-04-05 16:25:39) kanzure: people were making shrines and when they did this they got new, novel mutated ideas
(2008-04-05 16:25:43) kanzure: and so they thought something good must be going on
(2008-04-05 16:25:48) kanzure: so they continued to make them
(2008-04-05 16:26:02) kanzure: these 'shrines' are the selection experiments, but obviously in today's world we have gotten much more complex with our selections that we are making
(2008-04-05 16:26:05) kanzure: haha, yes, flaws
(2008-04-05 16:26:11) kanzure: suggesting your problem might suck
(2008-04-05 16:26:15) fenn: why did making shrines give them novel ideas? because they're big and hard to build?
(2008-04-05 16:26:49) kanzure: generally, I'd refer to the process of everything about it - what it takes to make it happen, what it's like to be in the shrine or around the shrine or whatever
(2008-04-05 16:27:00) kanzure: http://en.wikipedia.org/wiki/Koans
(2008-04-05 16:27:19) kanzure: it's like 'preparing to receive an insight' -- just like Feynman prepared by reading as much as he could for QED
(2008-04-05 16:27:31) kanzure: as much as we'd like to do insight engineering, of course ...
(2008-04-05 16:27:39) fenn: i think you might be working your brain too hard :)
(2008-04-05 16:27:41) kanzure: the problem with that is that it still involves 'engineering'
(2008-04-05 16:27:58) kanzure: nah, I'm pretty sure I am solid
(2008-04-05 16:28:05) kanzure: that's why I have autoscholar, to prepare for insights or whatever
(2008-04-05 16:28:13) kanzure: http://heybryan.org/thinking.html re: thinking/insights/incubation-theory
(2008-04-05 16:28:30) kanzure: http://heybryan.org/projects/autoscholar/ - to facilitate the consumption of raw information in preparation for insights or whatever
(2008-04-05 16:28:45) kanzure: http://heybryan.org/increasing_repetitive_behaviors.html for more autoscholar-like stuff, except more mental and oriented towards mental modification
(2008-04-05 16:28:49) kanzure: there's a theme for a reason ;)
(2008-04-05 16:30:16) fenn: why does building a shrine cause novel ideas?
(2008-04-05 16:31:43) kanzure: it's permutation through possibility space, it's not the fact that the shrine 'receives godly communications' - nothing like that - but rather the opportunistic-assimilation hypothesis of incubation theory
(2008-04-05 16:32:58) kanzure: Google has good results for 'opportunistic-assimilation hypothesis'
(2008-04-05 16:33:10) kanzure: http://www.lifesci.sussex.ac.uk/home/Zoltan_Dienes/Seabrook%20&%20Dienes%2003.pdf Incubation in Problem Solving as a Context Effect
(2008-04-05 16:33:42) kanzure: (but find the occurence of the phrase within that article, you can jump to it without losing much context)
(2008-04-05 16:34:02) fenn: i think you'd have a hard time convincing a molecular biologist that this is how mutations work
(2008-04-05 16:34:13) kanzure: huh?
(2008-04-05 16:34:25) kanzure: I am not saying this is the physics of mutations
(2008-04-05 16:34:51) fenn: ok
(2008-04-05 16:34:54) kanzure: shrine-making (selection-experiment making) does not make the mutations directly, but the cells are the ones that come up with the mutations
(2008-04-05 16:35:09) kanzure: because however they do it, the ones that mutate or get the right recombined DNA, are the ones that survive the selection
(2008-04-05 16:35:39) fenn: where is the selection in shrine-making?
(2008-04-05 16:37:10) kanzure: your brain; there's another theory in incubation theory (or perhaps it's the same one) where you keep on working on the problem and literally forget how you were approaching it, so that when you come across the problem again, you get the insight to the solution, so when you make a shrine you're exhausting the contexts
(2008-04-05 16:37:23) kanzure: (end of line is "so when you make a shrine you're exhausting the contexts")
(2008-04-05 16:38:01) kanzure: your brain is a massive billion-something network, 'mutation' in firing patterns can easily occur (it's not solid state, after all)
(2008-04-05 16:38:37) kanzure: mutation in DNA is another topic, but I think you have studied that one sufficiently (if you were going to have me complete my analogy I made above to the shrine-making and selection-experiment thing)
(2008-04-05 16:39:04) kanzure: neurons are reinforced when they do something 'good' (when they contribute to a solution, i.e. various feedback mechanisms), same with bacteria (when they survive the selection)
(2008-04-05 16:39:16) kanzure: anyway, I'm not trying to be pseudoscientific
(2008-04-05 16:39:55) kanzure: but maybe I sound that way since I was approaching this as a bit of a tangent to the 'software from biology' idea
(2008-04-05 16:40:22) fenn: i'm fine with pseudoscience as long as it's productive
(2008-04-05 16:40:32) fenn: but this doesn't sound productive (maybe i'm wrong)
(2008-04-05 16:40:57) fenn: tesla, fuller
(2008-04-05 16:41:04) fenn: ^^pseudoscience
(2008-04-05 16:41:06) kanzure: haha
(2008-04-05 16:41:11) fenn: it's true
(2008-04-05 16:41:23) kanzure: I think you are wrong, actually. This is the same exact problem space as skdb.
(2008-04-05 16:41:30) kanzure: the problem of 'engineering knowledge'
(2008-04-05 16:41:34) kanzure: you can't just derive it from first principles
(2008-04-05 16:41:39) kanzure: it has to be 'evolved'
(2008-04-05 16:41:54) kanzure: whether by society and trial-and-error by humans (the lab minions) (yikes) or by bacteria
(2008-04-05 16:42:03) kanzure: and then we collect it and aggregate it into skdb
(2008-04-05 16:42:13) fenn: i think with a good enough simulator you could build up skdb from scratch
(2008-04-05 16:42:25) fenn: might take a while
(2008-04-05 16:42:37) fenn: brute force vs analytical thinking
(2008-04-05 16:42:44) kanzure: it's neither
(2008-04-05 16:42:56) kanzure: first, I want to address your simulation hypothesis
(2008-04-05 16:43:06) kanzure: you'd have to be able to simulate the world, basically
(2008-04-05 16:43:11) kanzure: which means a lot of physics and a lot of computational power
(2008-04-05 16:43:14) fenn: yes
(2008-04-05 16:43:22) kanzure: alright, so
(2008-04-05 16:43:25) kanzure: do you know Godel?
(2008-04-05 16:43:31) fenn: uh huh
(2008-04-05 16:43:42) kanzure: uhh, I just got interrupted, one moment
(2008-04-05 16:43:47) kanzure: you can't simulate the physics of the overall system without something bigger
(2008-04-05 16:43:50) kanzure: or you might as well just run the planet
(2008-04-05 16:43:54) kanzure: i.e., like we are now
(2008-04-05 16:44:04) kanzure: and the abstract programs that we do collect anyway, they are generalized in the first place (hurray)
(2008-04-05 16:44:07) kanzure: so do we really need a simulation?
(2008-04-05 16:44:08) kanzure: brb
(2008-04-05 16:44:45) fenn: there is a middle ground - heuristics
(2008-04-05 16:45:05) kanzure: from where? ;)
(2008-04-05 16:45:05) fenn: and automated heuristic creation, like from bayesian analysis
(2008-04-05 16:45:23) kanzure: hm
(2008-04-05 16:45:25) fenn: it's not abstract, but it's not totally blind either
(2008-04-05 16:45:25) kanzure: please explain
(2008-04-05 16:45:33) fenn: say you run 100 simulations
(2008-04-05 16:45:56) fenn: in all 12 of the simulations with carrots, you ended up with more rabbits at the end
(2008-04-05 16:46:10) fenn: heuristic: carrot -> rabbits increase
(2008-04-05 16:46:47) fenn: uh, ok i suck at explaining bayesian reasoning
(2008-04-05 16:47:06) kanzure: Jef tells me I need to learn more Bayes
(2008-04-05 16:47:21) kanzure: and I agree with him
(2008-04-05 16:47:26) kanzure: I don't see the possibilities
(2008-04-05 16:47:41) fenn: you can do experiments in the simulation too
(2008-04-05 16:47:54) fenn: to test hypotheses
(2008-04-05 16:48:06) fenn: like, add more carrots and see if you get more rabbits
(2008-04-05 16:48:20) fenn: if you get more rabbits it will strengthen your faith in that hypothesis
(2008-04-05 16:48:34) fenn: confidence i guess is a technical term in statistics
(2008-04-05 16:49:40) fenn: if the simulated world is totally chaotic and acausal, you'll end up with a spread of hypotheses with near zero confidence
(2008-04-05 16:49:53) kanzure: heh, my dad came in to read me a passage from 1901 - "It is in my complete and utter professional opinion, that because the power requirements scale cubically, and the wingspan requirements doubly, that aerial flight will thus remain impossible for the remainder of time. Stop bugging me." Later that year ...
(2008-04-05 16:50:57) kanzure: hm
(2008-04-05 16:51:05) kanzure: well, I don't really see what bayesian analysis can do to help
(2008-04-05 16:51:16) fenn: i wonder why they dismissed flight so easily when there were already kites
(2008-04-05 16:51:30) kanzure: my method involves automated hypothesis generation, does yours?
(2008-04-05 16:51:35) fenn: yes
(2008-04-05 16:53:03) kanzure: if I was going to come up with an integrative framework where I have my automated machinery setting up new selection experiments, sequencing the DNA and translating it into abstract logic
(2008-04-05 16:53:20) kanzure: then you'd plug in bayesian analysis systems straight into the big pot o' algebra?
(2008-04-05 16:53:32) kanzure: not algebra, sorry
(2008-04-05 16:53:37) kanzure: big pot o' acquired programs
(2008-04-05 16:54:23) fenn: you have to be able to modify something in order to test the hypothesis
(2008-04-05 16:54:37) kanzure: how much computing hardware would be required
(2008-04-05 16:54:43) fenn: ugh i dont know
(2008-04-05 16:56:21) fenn: or i suppose if there's too much data to sift through you could use the search keys for your test
(2008-04-05 16:56:47) kanzure: how so?
(2008-04-05 16:57:30) fenn: predict levels of foo increase when bar is present; search for experiments with bar, see if foo increases vs control experiments without bar
(2008-04-05 16:58:19) fenn: this is the topic of many a research paper
(2008-04-05 16:58:33) fenn: but done by grad students, not a program
(2008-04-05 16:59:08) kanzure: hrm
(2008-04-05 17:00:10) fenn: this is all a lot easier when you say it in english of course
(2008-04-05 17:00:40) kanzure: "In vitro modeling of in vivo systems" <-- this seems to be a good heading for what I have been talking to you about
(2008-04-05 17:01:12) fenn: in vitro just means in a test tube, not in a cell
(2008-04-05 17:03:14) fenn: knowledge representation seems to have been a big theme
(2008-04-05 17:03:49) kanzure: yes
(2008-04-05 17:03:52) kanzure: it is in a test tube though
(2008-04-05 17:03:54) kanzure: that's the idea
(2008-04-05 17:04:12) kanzure: we take in vivo circuits from cells, and then figure out new ways to run the same circuits, codify them into transcriptional logic, and run them in vitro
(2008-04-05 17:06:16) fenn: i dont think that would work, since 99% of the GRN's out there are relating to keeping the cell functioning
(2008-04-05 17:06:51) kanzure: haha
(2008-04-05 17:06:54) kanzure: think about it, how are they doing it?
(2008-04-05 17:06:58) kanzure: they are computing with biomolecules too
(2008-04-05 17:07:03) kanzure: they are making decisions, but not only that
(2008-04-05 17:07:13) kanzure: but the structure of the 'general network' that represents what they are doing to stay alive
(2008-04-05 17:07:17) fenn: not decisions, feedback
(2008-04-05 17:07:18) kanzure: is of a certain class, a certian computation
(2008-04-05 17:07:21) kanzure: yes, feedback is computational
(2008-04-05 17:07:29) fenn: decisions implies modeling
(2008-04-05 17:07:46) kanzure: my point is that there's information routes in the cell, they are information processing entities
(2008-04-05 17:08:09) kanzure: and sometimes feedback is used, yes, and these various networks for feedback or whatever, can be translated into code for our reading
(2008-04-05 17:08:18) kanzure: not DNA code, but logic code stuff
(2008-04-05 17:08:35) kanzure: fuzzy as it may be
(2008-04-05 17:09:04) fenn: i think circuits or control system diagrams are more appropriate than code
(2008-04-05 17:09:20) kanzure: circuits
(2008-04-05 17:09:21) kanzure: huh
(2008-04-05 17:09:22) kanzure: VHDL?
(2008-04-05 17:09:29) kanzure: oh, right, VHDL -> circuits
(2008-04-05 17:09:31) fenn: no, vhdl is not really circuits
(2008-04-05 17:09:37) kanzure: VHDL can be converted into circuits
(2008-04-05 17:09:52) kanzure: this is 'network decomposition' (circuits -> VHDL or some other language)
(2008-04-05 17:09:54) fenn: yes, but the idea of vhdl is to make modular functional units
(2008-04-05 17:10:01) fenn: whereas a circuit could be a big mess of interconnections
(2008-04-05 17:10:05) kanzure: and is exactly related to Hamiltonian path finding, i.e. breaking down graphs into their cycles
(2008-04-05 17:10:19) kanzure: I don't see how that's a problem.
(2008-04-05 17:10:22) kanzure: but I understand what you mean
(2008-04-05 17:10:47) fenn: vhdl coding for a messy circuit would be harder to understand than just a messy circuit diagram
(2008-04-05 17:11:28) kanzure: there are some simple circuits in biology though
(2008-04-05 17:11:31) kanzure: for example, the ring oscillator
(2008-04-05 17:11:36) kanzure: which is basically A -> B -> C -> A
(2008-04-05 17:11:41) fenn: biology tends to be messy (there are examples of modular systems too)
(2008-04-05 17:12:02) kanzure: remember the paper I linked you to? there are ways to find the 'finite points'
(2008-04-05 17:12:05) kanzure: or what did the paper call them?
(2008-04-05 17:12:12) kanzure: fixed points
(2008-04-05 17:12:39) fenn: what's a fixed point?
(2008-04-05 17:12:54) kanzure: in a dynamical system, a fixed point is supposedly something that you can use to 'unravel' the dynamical system
(2008-04-05 17:13:41) ***fenn pictures a force-directed graph layout algorithm
(2008-04-05 17:13:55) fenn: sproing
(2008-04-05 17:13:59) kanzure: sproing?
(2008-04-05 17:14:13) fenn: its like the VSEPR model
(2008-04-05 17:14:25) fenn: but with graph nodes rather than electron orbitals
(2008-04-05 17:14:29) kanzure: oh, a way to minimize energy density or something
(2008-04-05 17:14:45) fenn: yeah
(2008-04-05 17:14:56) fenn: minimum energy diagram layout
(2008-04-05 17:18:24) fenn: remember this? http://en.wikibooks.org/wiki/Circuit_Idea/Why_Circuit_Ideas_are_Hidden
(2008-04-05 17:18:48) kanzure: yep
(2008-04-05 17:19:01) kanzure: social knowledge, gathered from mutation/insight
(2008-04-05 17:19:39) fenn: specifically, you're trying to un-hide the ideas hidden in bacterial mutations
(2008-04-05 17:20:19) kanzure: yes
(2008-04-05 17:20:53) fenn: a knowledge synthesizer!
(2008-04-05 17:20:59) kanzure: hehe
(2008-04-05 17:21:05) kanzure: accelerated, automated evolutionary engineering
(2008-04-05 17:21:53) fenn: well just be glad you arent some poor sod computer programmer being given this non-specifcation
(2008-04-05 17:22:50) kanzure: well, not quite a knowledge-synthesizer actually - it could gather knowledge and make up proofs and theorems involving new 'programs' that it unhides, but it's like skdb, you have to randomly try
(2008-04-05 17:22:50) kanzure: out new variations in some cases, while restricting your domain (the same stuff we're doing with the computational chem programs for the replicator)
(2008-04-05 17:23:03) kanzure: nah, the specification is going to be pretty easy
(2008-04-05 17:23:11) kanzure: since the mathematics mentioned in that paper has a good, strong history of understanding
(2008-04-05 17:23:16) kanzure: and should have some computer programs out there on the net already
(2008-04-05 17:23:18) kanzure: probably open source
(2008-04-05 17:23:39) kanzure: and then the bioinformatics machinery, well, that's fairly easy I think, what could they be doing in the labs to gather genetic information? And Andy has the automated aptamer stuff :)
(2008-04-05 17:23:47) kanzure: automated selection experiments, I mean.
(2008-04-05 17:26:02) kanzure: to answer Ellington's challenge I can just go into the databases and find some ODEs that model a particular GRN, something other than an oscillator, and just do it by hand myself
(2008-04-05 17:26:15) kanzure: and then if he approves of that, I'll suggest we just automate the whole thing while we're at it
(2008-04-05 17:26:43) fenn: 'do it by hand' meaning what exactly?
(2008-04-05 17:26:51) fenn: put together some bio-bricks?
(2008-04-05 17:27:12) kanzure: nah, he doesn't work with biobricks, thinks they're bullshit
(2008-04-05 17:27:16) kanzure: I mean the transcriptional switches/logic
(2008-04-05 17:27:19) fenn: well, whatever you want to call it
(2008-04-05 17:27:23) kanzure: he wants an in vitro synthetic circuit
(2008-04-05 17:27:24) ***fenn thinks they're the same thing
(2008-04-05 17:27:40) kanzure: nah, they're different, but the concept of modularizing things is same across the domain
(2008-04-05 17:28:15) fenn: ok, splice some genes together that behave similarly to the target circuit
(2008-04-05 17:28:32) kanzure: heh, and you mentioned protein folding earlier
(2008-04-05 17:28:35) kanzure: so this is where you'd need protein folding
(2008-04-05 17:28:40) kanzure: unless you want to just copy the genes
(2008-04-05 17:28:47) kanzure: otherwise you have to do a massive computational search for similar proteins
(2008-04-05 17:28:54) kanzure: the idea was to model the basis of the circuit, the 'computational' aspects
(2008-04-05 17:29:05) kanzure: anything else can be considered waste for now
(2008-04-05 17:29:12) fenn: you could do a massive in-vitro search for similar proteins (artificial proteins)
(2008-04-05 17:29:31) kanzure: you'd have to synthesize tons of oligonucleotides and then do transcription to
(2008-04-05 17:29:33) kanzure: yeah, sure
(2008-04-05 17:29:35) kanzure: that would work
(2008-04-05 17:29:44) kanzure: but you'd have to separate them I think, right?
(2008-04-05 17:29:53) fenn: you know about monoclonal antibodies?
(2008-04-05 17:30:01) kanzure: similarities could be found via DNA hybridization and conformational stuff
(2008-04-05 17:30:03) kanzure: no
(2008-04-05 17:30:21) fenn: each b-cell produces a unique random-shuffled protein
(2008-04-05 17:30:31) kanzure: but you'd have to make sure the proteins do not interact with each other, i.e. the set of proteins that you are testing to be similiar to the target protein
(2008-04-05 17:30:42) kanzure: I think I had this same problem in another situation that I was thinking about a few months ago
(2008-04-05 17:30:46) kanzure: I remember it.
(2008-04-05 17:30:59) kanzure: it was the 2^(4^(N)) experimentation
(2008-04-05 17:31:02) fenn: you can find the cell that makes, say, lactose-binding protein, and figure out the amino acid sequence
(2008-04-05 17:31:11) kanzure: with searching for transcriptional switches and the toeholds and matches
(2008-04-05 17:31:44) fenn: but you can find 50 or a zillion other different lactose binding antibody proteins
(2008-04-05 17:31:49) kanzure: hm
(2008-04-05 17:31:52) fenn: and isolate the cells for each of those
(2008-04-05 17:32:02) kanzure: but think of it this way
(2008-04-05 17:32:10) kanzure: say you have 50 million different proteins that you are matching to aptamers
(2008-04-05 17:32:19) kanzure: to check if they will be anything like the one that you are targetting
(2008-04-05 17:32:28) kanzure: the subset of 50 million that do not interact with each other
(2008-04-05 17:32:34) kanzure: is not necessarily the subset with the best match that you want ;)
(2008-04-05 17:32:45) kanzure: because everything else doesn't bind to the aptamers
(2008-04-05 17:32:56) kanzure: I mean, anything that binds to each other doesn't bind to the aptamers (too large, energies, ...)
(2008-04-05 17:33:05) kanzure: and you wash away the solution above the aptamers
(2008-04-05 17:33:22) kanzure: and then unbind the aptamer-protein complex, and then figure out what proteins you have left, which would be your solutions that are similar to the targets
(2008-04-05 17:33:36) kanzure: (I believe this has some relation to 'library testing', but I haven't explored that much, is this what the libraries are for? oligo sequences?)
(2008-04-05 17:33:44) fenn: you could use 50million^2 test tubes, for every combination
(2008-04-05 17:33:53) kanzure: ...
(2008-04-05 17:34:00) fenn: inkjet printers!
(2008-04-05 17:34:06) kanzure: to make test tubes? heh'
(2008-04-05 17:34:19) fenn: yeah just drops of water on a hydrophobic surface
(2008-04-05 17:34:38) fenn: with a spot of hydrophilic substrate to keep the dot still
(2008-04-05 17:34:38) kanzure: not bad
(2008-04-05 17:34:49) kanzure: but, what about the synthesis of the protein?
(2008-04-05 17:35:21) fenn: i forget what we're trying to do
(2008-04-05 17:35:42) kanzure: finding proteins that match a target circuit
(2008-04-05 17:36:01) kanzure: because I need to make an in vitro synthetic circuit that matches a target circuit found in the literature (of natural organisms)
(2008-04-05 17:36:06) fenn: finding proteins that bind to the same sites as other proteins
(2008-04-05 17:36:12) kanzure: same sites of what?
(2008-04-05 17:36:21) kanzure: I thought you were talking about a protein cascading chemical reaction network
(2008-04-05 17:36:24) kanzure: isntead of a GRN
(2008-04-05 17:36:44) fenn: well, it could bind to some arbitrary chemical
(2008-04-05 17:37:13) kanzure: meh, I like my DNA compiler better
(2008-04-05 17:37:18) fenn: there's also enzymatic action
(2008-04-05 17:37:52) kanzure: yes, but I think he wants me to work with transcriptional circuits
(2008-04-05 17:37:55) kanzure: which are much easier to work with in vitro
(2008-04-05 17:37:57) fenn: i dont think you're going to brute-force an enzyme
(2008-04-05 17:37:58) kanzure: since you can ignore transcription
(2008-04-05 17:38:02) kanzure: he's done it
(2008-04-05 17:38:04) kanzure: riboenzymes
(2008-04-05 17:38:09) kanzure: but I don't think it's necessary here
(2008-04-05 17:38:13) kanzure: we could if we wanted, but meh
(2008-04-05 17:38:17) kanzure: anyway, pizza is here
(2008-04-05 17:38:18) fenn: still seems unlikely
(2008-04-05 17:38:20) kanzure: so I'm going to go eat
(2008-04-05 17:38:33) kanzure: http://en.wikipedia.org/wiki/Ribozyme I think
(2008-04-05 17:38:49) fenn: i know all about them
(2008-04-05 17:39:04) kanzure: oh
(2008-04-05 17:39:05) kanzure: http://en.wikipedia.org/wiki/Riboswitch
(2008-04-05 17:39:13) kanzure: In molecular biology, a riboswitch is a part of an mRNA molecule that can directly bind a small target molecule, and whose binding of the target affects the gene's activity [1][2][3]. Thus, an mRNA that contains a riboswitch is directly involved in regulating its own activity, depending on the presence or absence of its target molecule.
(2008-04-05 17:39:30) fenn: cool
(2008-04-05 17:39:41) fenn: ok so forget protein
(2008-04-05 17:46:47) fenn: this is cool http://en.wikipedia.org/wiki/Spiegelman_Monster
(2008-04-05 17:48:08) fenn: oh i misunderstood it. i thought the RNA sequence was also a polymerase ribozyme
(2008-04-05 18:02:50) fenn: can you recommend some light reading on P/NP hard complete etc
(2008-04-05 18:04:10) fenn: wikipedia provides zero examples for me to grab onto
(2008-04-05 18:08:19) kanzure: no, I can't
(2008-04-05 18:08:22) kanzure: I suffer from the same problem
(2008-04-05 18:08:33) kanzure: however, David might be able to come in here and explain
(2008-04-05 18:08:36) kanzure: or maybe Ryan Patterson
(2008-04-05 18:08:42) fenn: basically it sounds like a bunch of bullshit and i'm wondering why people spend time worrying about it
(2008-04-05 18:08:56) kanzure: it's for figuring out which problems can and cannot be solved
(2008-04-05 18:10:25) fenn: what is "non-polynomial time"?
(2008-04-05 18:10:32) fenn: i can understand polynomial time
(2008-04-05 18:10:52) fenn: is it just.. everything else?
(2008-04-05 18:11:18) fenn: seems like a totally useless way of describing something
(2008-04-05 18:11:44) kanzure: okay, David should be appearing
(2008-04-05 18:11:51) fenn: uh oh
(2008-04-05 18:12:09) kanzure: why's that bad?
(2008-04-05 18:12:17) fenn: i'm so not even awaky still
(2008-04-05 18:13:28) kanzure: "access to channel #hplusroadmap is blocked"?
(2008-04-05 18:13:34) fenn: aroo?
(2008-04-05 18:14:02) kanzure: why is he on a web client
(2008-04-05 18:14:51) fenn: well i think i'm going to bed soon (now)
(2008-04-05 18:15:04) kanzure: uhh
(2008-04-05 18:15:05) kanzure: please don't
(2008-04-05 18:15:09) kanzure: he's going to appear :(
(2008-04-05 18:15:13) fenn: ok ok
(2008-04-05 18:15:25) kanzure: kind of like a guest lecturer :)
(2008-04-05 18:15:36) fenn: i will be the guy asleep in the first row
(2008-04-05 18:16:02) fenn: dont worry i'll crib the notes from someone after class
(2008-04-05 18:18:00) davidad_ [n=me@DAVIDAD.MIT.EDU] entered the room.
(2008-04-05 18:18:07) davidad_: kanzure: victory
(2008-04-05 18:18:13) kanzure: Victory! Ha-ha!
(2008-04-05 18:18:23) davidad_: the solution is to ssh to my linux box
(2008-04-05 18:18:33) ***fenn waves the anarcho-penguin flag
(2008-04-05 18:18:37) kanzure: where'd you get davidad.mit.edu ?
(2008-04-05 18:18:46) davidad_: um, from MIT?
(2008-04-05 18:18:49) kanzure: impressive
(2008-04-05 18:18:55) kanzure: you just asked?
(2008-04-05 18:18:59) davidad_: they give out three free hostnames to every student
(2008-04-05 18:19:24) kanzure: so, let me explain what's been up today in #hplusroadmap
(2008-04-05 18:19:28) davidad_: ok
(2008-04-05 18:19:41) fenn: we talked past each other four about 3 hours
(2008-04-05 18:19:43) kanzure: I've been working on some Andy Ellington stuff for biology, figuring out what software would be interesting to implement with biomolecules as the substrate
(2008-04-05 18:19:59) kanzure: and somehow we got to talking about N=NP and computational complexity classes
(2008-04-05 18:20:08) davidad_: that's P=NP >_>
(2008-04-05 18:20:11) kanzure: djlkafjlkadjfladkjf;a
(2008-04-05 18:20:12) kanzure: P=NP
(2008-04-05 18:20:27) kanzure: in the context of biological computation (not computation about biology, but on biology)
(2008-04-05 18:20:33) kanzure: but in general as well
(2008-04-05 18:20:34) davidad_: ah
(2008-04-05 18:20:43) kanzure: fenn, I think, claims that P=NP isn't much of a question/problem
(2008-04-05 18:20:53) davidad_: yeah, some people think DNA computing, like quantum, does NP
(2008-04-05 18:20:57) davidad_: some people think neither can
(2008-04-05 18:21:02) fenn: i dont know what NP is
(2008-04-05 18:21:03) davidad_: and some people think P=NP
(2008-04-05 18:21:08) davidad_: basically
(2008-04-05 18:21:15) davidad_: P is all the problems you can solve in polynomial time,
(2008-04-05 18:21:24) davidad_: and NP is all the problems you can verify in polynomial time
(2008-04-05 18:21:25) kanzure: where polynomial is the degree of the equations?
(2008-04-05 18:21:38) kanzure: degree meaning exponents
(2008-04-05 18:21:41) davidad_: polynomial is the big-O bound on time with respect to problem size
(2008-04-05 18:21:53) davidad_: so, time = O(n^k)
(2008-04-05 18:21:59) davidad_: exponential is where time = O(k^n)
(2008-04-05 18:22:08) davidad_: assuming that n is the problem size
(2008-04-05 18:22:11) davidad_: and k is a constant
(2008-04-05 18:22:24) fenn: exponential is a subset of NP?
(2008-04-05 18:22:32) davidad_: not always
(2008-04-05 18:22:55) fenn: ok, just another thing to worry about
(2008-04-05 18:23:24) davidad_: NP is a subset of exponential, though
(2008-04-05 18:23:45) fenn: uh, no?
(2008-04-05 18:23:45) kanzure: I've always referred to these computational complexity classes to the 'computational feasability' of whatever problem I am focusing on at the moment
(2008-04-05 18:23:46) davidad_: any problem that you can verify in polynomial time, you can solve in exponential time
(2008-04-05 18:23:53) davidad_: by just trying everything and seeing if it works
(2008-04-05 18:24:14) kanzure: see, we were doing one of those methods today
(2008-04-05 18:24:24) kanzure: we were suggesting a case where we deploy about 50 million different proteins
(2008-04-05 18:24:33) kanzure: to test for similarities to a target protein from nature
(2008-04-05 18:24:48) kanzure: which is the exponential time
(2008-04-05 18:25:07) kanzure: verification would be setting up an experiment the same way as we observed the properties of the target protein the first place, I presume
(2008-04-05 18:25:40) davidad_: yep
(2008-04-05 18:25:43) kanzure: insert some anomalous relation to finding the longest path and Hamiltonian cycles
(2008-04-05 18:25:48) kanzure: *cycles here
(2008-04-05 18:25:53) davidad_: so in this case, your verification is constant-time
(2008-04-05 18:26:03) davidad_: no matter how long the protein might be,
(2008-04-05 18:26:16) davidad_: you can do an experiment to verify the properties in the same period of time
(2008-04-05 18:27:41) kanzure: Woh, oh-oh-oh
(2008-04-05 18:27:41) kanzure: Find the Longest Path
(2008-04-05 18:27:41) kanzure: Woh oh-oh
(2008-04-05 18:27:41) kanzure: Find the Longest Path
(2008-04-05 18:27:41) kanzure: If you said P is NP tonight
(2008-04-05 18:27:41) kanzure: There would still be papers left to write
(2008-04-05 18:27:41) kanzure: I have a weakness
(2008-04-05 18:27:41) kanzure: I'm addicted to completeness
(2008-04-05 18:27:41) kanzure: And I keep searching for the longest Path
(2008-04-05 18:27:41) kanzure: The algorithm I would like to see
(2008-04-05 18:27:41) kanzure: Is of Polynoimal Degree
(2008-04-05 18:27:41) kanzure: Buts its elusive,
(2008-04-05 18:27:41) kanzure: Nobody has found conclusive
(2008-04-05 18:27:41) kanzure: Evidence that we can find the Longest Path
(2008-04-05 18:27:41) kanzure: I have been hard
(2008-04-05 18:27:41) kanzure: Working for so long
(2008-04-05 18:27:41) kanzure: I swear its right,
(2008-04-05 18:27:41) kanzure: But he marks it wrong
(2008-04-05 18:27:41) kanzure: Somehow I'll feel sorry when its done
(2008-04-05 18:27:41) kanzure: GPA 2.1,
(2008-04-05 18:27:41) kanzure: Is more than I hoped for
(2008-04-05 18:27:41) kanzure: Garey, Johnson, Karp and other Men (and Women)
(2008-04-05 18:27:41) kanzure: Try to make it Order n log n.
(2008-04-05 18:27:41) kanzure: Am I a math fool
(2008-04-05 18:27:41) kanzure: If I spend my life in Grad School
(2008-04-05 18:27:41) kanzure: Forever following the Longest Path.
(2008-04-05 18:27:41) kanzure: Woh oh-oh-oh
(2008-04-05 18:27:41) kanzure: Find the longest path
(2008-04-05 18:27:41) kanzure: Woh oh-oh-oh
(2008-04-05 18:27:41) kanzure: Find the longest path
(2008-04-05 18:28:07) kanzure: (Dan Barrett)
(2008-04-05 18:28:39) davidad_: ..ok
(2008-04-05 18:28:42) kanzure: Anyway,
(2008-04-05 18:28:54) fenn: words! yeah
(2008-04-05 18:30:16) kanzure: there was something else
(2008-04-05 18:30:18) fenn: are you sure NP is a subset of exponential? what if there is an infinite number of combinations?
(2008-04-05 18:30:51) davidad_: well, complexity classes are defined for decision problems
(2008-04-05 18:30:58) davidad_: where the output is only YES or NO
(2008-04-05 18:31:25) fenn: well, say you want to pick two real numbers
(2008-04-05 18:31:30) davidad_: you can't
(2008-04-05 18:31:36) davidad_: you can never finish outputting a real number
(2008-04-05 18:31:48) davidad_: the best you can do is output an algorithm that represents a real number,
(2008-04-05 18:31:54) davidad_: and algorithms are countable
(2008-04-05 18:32:07) fenn: you can verify 2.1000... + 3.900... = 6
(2008-04-05 18:32:45) fenn: but what are the real numbers adding up to 6 that fenn likes?
(2008-04-05 18:32:51) davidad_: hahah
(2008-04-05 18:32:52) fenn: you cant try all of them
(2008-04-05 18:33:03) davidad_: you can't verify them in polynomial time, either
(2008-04-05 18:33:24) fenn: do i at least have a grasp of what it's all about?
(2008-04-05 18:33:28) davidad_: I think so
(2008-04-05 18:33:38) davidad_: the formal definition of an NP problem
(2008-04-05 18:33:58) davidad_: is a decision problem that is solvable in polynomial time on a non-deterministic turing machine
(2008-04-05 18:34:12) davidad_: which means it can "split" and do computations in parallel
(2008-04-05 18:34:32) davidad_: but it can't split infinitely many times, because that would take longer than polynomial time
(2008-04-05 18:35:02) davidad_: if, however, there's a reasonable number of possibilities, it can split and check all of them and be done in polynomial time
(2008-04-05 18:35:26) kanzure: hm
(2008-04-05 18:35:30) kanzure: splitting is interesting
(2008-04-05 18:35:33) fenn: oh fuck N is non-deterministic? now i really want to kill some comp-scientists
(2008-04-05 18:35:33) kanzure: considering we do self-replication here
(2008-04-05 18:35:48) davidad_: yeah, the N is non-deterministic
(2008-04-05 18:35:55) davidad_: lucky you can't kill people over IRC
(2008-04-05 18:35:57) davidad_: (for me)
(2008-04-05 18:36:20) davidad_: another way of thinking about splitting
(2008-04-05 18:36:27) davidad_: is that the machine is the luckiest possible guesser
(2008-04-05 18:36:44) davidad_: at any time, it can guess a number and be guaranteed to guess the right one if there is a right one
(2008-04-05 18:37:28) fenn: like a quantum computer
(2008-04-05 18:38:51) kanzure: huh?
(2008-04-05 18:38:54) kanzure: quantum, why?
(2008-04-05 18:39:12) fenn: because it exists in all possible states
(2008-04-05 18:39:23) fenn: it runs through all possible program paths, if you will
(2008-04-05 18:39:44) kanzure: oh, right, I remember some hype a few months ago about quantum programs and their 'fantastic possibilities'
(2008-04-05 18:39:56) kanzure: but I also remember Slashdotters fairly correctly refuting those ideas for quantum Traveling Salesman.
(2008-04-05 18:43:43) fenn: hmm why's that?
(2008-04-05 18:44:07) fenn: because the weights are real numbers and not quantized?
(2008-04-05 18:44:54) kanzure: http://science.slashdot.org/article.pl?sid=07/08/09/1535231
(2008-04-05 18:46:12) kanzure: http://science.slashdot.org/comments.pl?sid=265375&cid=20172049 in particular
(2008-04-05 18:46:13) kanzure: ah, that's Engel
(2008-04-05 18:46:18) kanzure: I think he's on freenode somewhere
(2008-04-05 18:46:46) kanzure: http://science.slashdot.org/comments.pl?sid=265375&cid=20172269
(2008-04-05 18:47:19) kanzure: haha - feasability calculations - http://science.slashdot.org/comments.pl?sid=265375&cid=20172747
(2008-04-05 18:49:28) kanzure: this one is good - http://science.slashdot.org/comments.pl?sid=265375&cid=20172137
(2008-04-05 18:53:36) fenn: sometimes in these computer science discussions the concept of 'good enough' gets lost entirely
(2008-04-05 18:54:41) fenn: i.e. would take the salesman less time traveling than it would take to optimize his route
(2008-04-05 18:54:50) kanzure: no
(2008-04-05 18:54:54) kanzure: the idea is that there may be a solution algorithm
(2008-04-05 18:55:00) kanzure: that will tell you the shortest path instantly
(2008-04-05 18:55:07) kanzure: 'instantly', i.e. within one step
(2008-04-05 18:55:11) fenn: ya
(2008-04-05 18:55:28) kanzure: and then that's it -- you just use that as long as you want :)
(2008-04-05 18:55:31) fenn: its just huge for high levels of complexity
(2008-04-05 18:56:03) fenn: but with the optical experiment, you'd get some halfway decent answers early on
(2008-04-05 18:56:13) kanzure: maybe
(2008-04-05 18:56:25) fenn: statistically speaking, 'probably'
(2008-04-05 18:56:28) kanzure: the optical solution is something like 1E167 years to come up with enough photons or something
(2008-04-05 18:56:35) kanzure: per that last slashdot link I gave up there ^
(2008-04-05 18:56:43) fenn: that's to go through all possible permutations
(2008-04-05 18:57:31) fenn: its not like you're going to put 1e200 photons in a box
(2008-04-05 18:58:09) fenn: and then the answer pops out
(2008-04-05 18:58:31) fenn: anyway it's not a quantum computer
(2008-04-05 19:00:28) kanzure: I'd like to see somebody try to do 1E200 photons in a box
(2008-04-05 19:02:23) fenn: the box would explode :)
(2008-04-05 19:03:16) fenn: i wouldnt like to see it, my local parsec would be converted to plasma
(2008-04-05 19:04:46) kanzure: in ##neuroscience I just linked a person over to http://www.dbc.uci.edu/neurobio/Faculty/Lynch/lynch.htm after her expression of interest in the (bullshit) "holographic brain theory" (Pietsch stuff)
(2008-04-05 19:05:08) kanzure: ooh
(2008-04-05 19:05:11) kanzure: I also picked up some books today
(2008-04-05 19:05:48) kanzure: Microbiology, 5th ed., Prescott, Harley, Kim
(2008-04-05 19:06:00) kanzure: The Cartoon Guide to Genetics, Larry Gonick & Mark Wheelis
(2008-04-05 19:06:13) kanzure: Making PCR: A Story of Biotech, Paul Rabinow
(2008-04-05 19:06:29) kanzure: The Most Beautiful Molecule: The Discovery of the Buckyball, Hugh Aldersey-Williams
(2008-04-05 19:06:41) fenn: i think you could do the 100 city hamiltonian cycle with a reasonably small number of q-bits (not that i know what i'm talking about)
(2008-04-05 19:06:57) kanzure: practicality?
(2008-04-05 19:07:07) kanzure: do you remember D-Wave?
(2008-04-05 19:07:10) fenn: no
(2008-04-05 19:07:12) kanzure: they are the quantum computing guys
(2008-04-05 19:07:19) kanzure: they were making their rounds a few months ago
(2008-04-05 19:07:24) kanzure: getting about $40 million in funding overall
(2008-04-05 19:07:38) kanzure: they do supercold quantum computing and things seem to be looking strong for them
(2008-04-05 19:07:47) kanzure: they claim they'll be doing 256 qbits sometime this year
(2008-04-05 19:07:51) kanzure: and maybe 1024 qbits by the end of the year
(2008-04-05 19:07:57) fenn: that's impressive
(2008-04-05 19:08:01) kanzure: I was talking with the CEO a few months ago
(2008-04-05 19:08:04) fenn: all entangled?
(2008-04-05 19:08:13) kanzure: only to learn the next day that my dad has some money invested in them O.o
(2008-04-05 19:08:17) kanzure: I would've invited him to the chat if I had known that
(2008-04-05 19:08:49) kanzure: anyway, in terms of practicality
(2008-04-05 19:08:56) kanzure: I think that carbon might offer some interesting solutions
(2008-04-05 19:08:59) kanzure: for quantum computing
(2008-04-05 19:09:07) kanzure: since we can get quantum tunneling and the field effect on graphene
(2008-04-05 19:09:14) kanzure: plus semiconductor effects in buckyballs/CNTs
(2008-04-05 19:09:15) fenn: er... no
(2008-04-05 19:09:18) kanzure: no?
(2008-04-05 19:09:40) fenn: quantum tunneling is just one electron hopping over an energy barrier
(2008-04-05 19:09:53) kanzure: right
(2008-04-05 19:10:03) fenn: quantum entanglement is that one electron spread in 50 places at once
(2008-04-05 19:10:21) fenn: or two, if you're a physicist
(2008-04-05 19:10:45) kanzure: sure, but I'm just saying that graphene allows us to investigate quantum effects
(2008-04-05 19:10:52) kanzure: and it allows us easy access and manipulation
(2008-04-05 19:10:54) fenn: ok, but so do copper wires
(2008-04-05 19:10:57) kanzure: so it seems like an interesting platform to paly with
(2008-04-05 19:10:58) kanzure: *play with
(2008-04-05 19:11:06) kanzure: really?
(2008-04-05 19:11:09) fenn: ya
(2008-04-05 19:12:15) kanzure: so can it do entanglement?
(2008-04-05 19:12:45) fenn: there's too much noise in room temperature systems
(2008-04-05 19:16:06) fenn: scroll down to 'So how big is an electron?' http://laputan.blogspot.com/2003_09_21_laputan_archive.html
(2008-04-05 19:17:00) kanzure: heh, I am glad that he does not agree with Copenhagen
(2008-04-05 19:17:07) kanzure: I like the Feynman/von Neumann interpretations
(2008-04-05 19:17:21) fenn: i can never keep all those dead guys straight
(2008-04-05 19:18:27) kanzure: Feynman isn't dead. Not yet, anyway.
(2008-04-05 19:19:29) fenn: copenhagen = the electron could be anywhere but it is definitely somewhere, we just dont know?
(2008-04-05 19:19:40) kanzure: no
(2008-04-05 19:19:49) kanzure: Copenhagen is stuff like "view it and you kill babies in another universe"
(2008-04-05 19:19:53) kanzure: MWI shit
(2008-04-05 19:19:57) kanzure: haha, Mead studied under Feynman
(2008-04-05 19:19:58) kanzure: good
(2008-04-05 19:20:49) fenn: heh "Shut up and calculate!"
(2008-04-05 19:27:17) kanzure: "the electron is its own medium"
(2008-04-05 19:27:18) kanzure: hm
(2008-04-05 19:45:20) fenn: many worlds is its own interpretation.. copenhagen is observer-centric
(2008-04-05 19:47:57) kanzure: ah, that's right
(2008-04-05 19:47:59) kanzure: statistics and so on
(2008-04-05 19:48:05) epitron: omg observing particles kills babies?!
(2008-04-05 19:48:07) kanzure: I still need to finish reading that link, but it's good stuff
(2008-04-05 19:48:09) epitron: how do i stop!
(2008-04-05 19:48:09) kanzure: epitron: haha :)
(2008-04-05 19:48:15) fenn: epitron: cats, not babies
(2008-04-05 19:48:31) epitron: fenn: IT SAYS BABIES
(2008-04-05 19:48:32) kanzure: how do you know it was a cat?
(2008-04-05 19:48:37) kanzure: it's only a cat if you observe it to be a cat
(2008-04-05 19:48:42) kanzure: until then it has a 50/50 chance of being a baby
(2008-04-05 19:48:45) fenn: kanzure: schrodinger said it was a cat
(2008-04-05 19:48:58) epitron: schrodinger has cat-hater bias
(2008-04-05 19:49:03) kanzure: schrodinger didn't know what life was ;)
(2008-04-05 19:49:04) epitron: you cannot trust anything schrodinger did
(2008-04-05 19:49:34) kanzure: and there's a broadcast premiere of Star Wars on at the moment
(2008-04-05 19:49:39) kanzure: so please excuse me, I have an addiction to work on
(2008-04-05 19:49:48) epitron: haha
(2008-04-05 19:49:50) fenn: me too (sleep)
(2008-04-05 19:49:51) epitron: hey kanzure
(2008-04-05 19:49:57) kanzure: yes?
(2008-04-05 19:49:59) epitron: did you ever see the fanedit of Espiode IV?
(2008-04-05 19:50:08) kanzure: No?
(2008-04-05 19:50:13) epitron: you ever seen fan edits?
(2008-04-05 19:50:19) kanzure: nope
(2008-04-05 19:50:20) epitron: lemme find ya some
(2008-04-05 19:50:27) kanzure: whole movies?
(2008-04-05 19:50:29) epitron: yeah
(2008-04-05 19:50:36) kanzure: delicious
(2008-04-05 19:50:51) epitron: http://fanedit.org/wpTF/?p=29
(2008-04-05 19:50:51) epitron: Star Trek - Kirkless Generations
(2008-04-05 19:50:51) epitron: http://fanedit.org/wpTF/?p=495
(2008-04-05 19:50:51) epitron: STAR WARS: EP IV 2004 Special edition REVISITED
(2008-04-05 19:50:51) epitron: http://fanedit.org/wpTF/?p=485
(2008-04-05 19:50:53) epitron: THE MATRIX EVOLUTIONS
(2008-04-05 19:50:56) epitron: http://fanedit.org/wpTF/?p=521
(2008-04-05 19:50:58) epitron: Army of Darkness - Primitive Screwhead Edition
(2008-04-05 19:51:04) epitron: :D
(2008-04-05 19:51:15) epitron: (and of course, the classic jar-jar-less Episode I)
(2008-04-05 19:51:56) epitron: i'm downloading the first 3.. i've seen the 4th
(2008-04-05 21:00:12) kanzure: Jar-jar-less? Awesome.
(2008-04-05 22:04:55) Aulere [n=dragon_d@131.229.176.252] entered the room.
(2008-04-05 22:06:05) kanzure: Welcome, dragon.
(2008-04-05 23:03:24) epitron: http://funtarded.com/pics/show/2641
(2008-04-05 23:08:10) mechie: hahaha
(2008-04-05 23:11:31) kanzure: What is it?
(2008-04-05 23:25:02) mechie: a black man
(2008-04-05 23:25:05) mechie: in a tshirt
(2008-04-05 23:29:23) kanzure: I see it.
(2008-04-05 23:29:42) kanzure: also, it occurs to me that I can use molecular parallelism to crack military encryption codes
(2008-04-05 23:29:50) kanzure: i.e., use selection experiments to crack codes
(2008-04-05 23:30:58) epitron: do it
(2008-04-05 23:31:00) epitron: :D
(2008-04-05 23:31:21) epitron: there's already been a loophole discovered in DSA encryption
(2008-04-05 23:31:22) kanzure: but then I wiill not only be a bioterrorist, but also an encryptoterrorist or something
(2008-04-05 23:31:42) epitron: not if you work with someone rich and powerful :)
(2008-04-05 23:32:09) epitron: $ ruby sha1_attack.rb
(2008-04-05 23:32:09) epitron: How long do you want it to take to crack SHA1 (in days)? [default=1]
(2008-04-05 23:32:09) epitron: > 50
(2008-04-05 23:32:09) epitron: Cracking it in 50.0 using old_method will require 138888888888 computers
(2008-04-05 23:32:09) epitron: Cracking it in 50.0 using FAST method will require 138888 computers
(2008-04-05 23:32:52) epitron: that's a sha1 hash
(2008-04-05 23:32:59) epitron: so, however many bits those are
(2008-04-05 23:33:33) epitron: anyhow
(2008-04-05 23:33:55) epitron: what i've learned in life is that people only go to jail when they have no friends who will fight to have them freed
(2008-04-05 23:34:10) epitron: justice works because people help each other
(2008-04-05 23:34:41) epitron: if you make enough waves, people will have to let you go
(2008-04-05 23:37:37) epitron: especailly if you didn't do anything wrong :)
(2008-04-05 23:53:49) kanzure: hm
(2008-04-05 23:53:52) kanzure: perhaps
(2008-04-05 23:53:56) kanzure: so, 138888 computers
(2008-04-05 23:54:04) kanzure: let's just call it 150k computers
(2008-04-05 23:54:18) kanzure: and call it 150 THz
(2008-04-05 23:54:32) kanzure: this really depends on the algorithm, I guess
(2008-04-05 23:54:40) kanzure: because you don't necessarily need all of the logic gates on a microprocessor
(2008-04-05 23:54:51) kanzure: terahertz/gigahertz doesn't matter
(2008-04-06 00:58:52) davidad_ left the room (quit: "Lost terminal").
(2008-04-06 01:01:50) epitron: are you trying to figure out how much molecule-processing it'll take?
(2008-04-06 01:02:43) kanzure: yep
(2008-04-06 01:02:52) kanzure: if we have enough molecules we might be able to solve it in a few seconds
(2008-04-06 01:02:58) kanzure: but not if this takes a few hundred kilograms of molecules
(2008-04-06 01:12:59) kanzure: Screw the mind(or heart)/brain duality BS. "I love you with all my heart" should become "I sense a spike in my dopaminageric potentiators and a secondary 5-HT2C disturbance in my orbitofrontal cortices and sympathetic subsystems. Cardio is up, neuro is up, let's roll."
(2008-04-06 01:13:14) Aulere: lol
(2008-04-06 01:27:45) epitron: i got a quesiton
(2008-04-06 01:27:56) epitron: how does a molecule computer efficiently serach solution space
(2008-04-06 01:28:04) epitron: or does it not have to do it efficiently?
(2008-04-06 01:29:38) kanzure: it bumps around
(2008-04-06 01:29:42) kanzure: however,
(2008-04-06 01:30:30) epitron: i see
(2008-04-06 01:30:55) epitron: you have parallel solution points bumping around?
(2008-04-06 01:31:12) kanzure: well
(2008-04-06 01:31:21) kanzure: check this out
(2008-04-06 01:31:22) kanzure: http://heybryan.org/mediawiki/index.php/Ellingtonia#DNA_computation
(2008-04-06 01:31:40) epitron: ok
(2008-04-06 01:31:41) epitron: sec
(2008-04-06 01:31:52) epitron: i'm enntagled in dental floss
(2008-04-06 01:32:10) epitron: there we go
(2008-04-06 01:32:15) epitron: now i am free to use BOTH hands
(2008-04-06 01:32:17) kanzure: if so, we can't observe it
(2008-04-06 01:32:31) epitron: not without a powerful telescope
(2008-04-06 01:33:38) epitron: hahah
(2008-04-06 01:33:42) epitron: ok
(2008-04-06 01:33:52) epitron: but like, the information processing ability of the universe at the atomic level is staggering
(2008-04-06 01:34:11) epitron: our brains store stupid amounts of information in complex lattices made of GOO
(2008-04-06 01:34:17) epitron: imagine if you made it out of crystal
(2008-04-06 01:34:20) kanzure: heh
(2008-04-06 01:34:31) epitron: or nanotuuuubs
(2008-04-06 01:34:40) epitron: (nanotรผbes)
(2008-04-06 01:34:59) epitron: i haven't looked into nanotube computing, but ray kurzweil was talking about it
(2008-04-06 01:35:10) kanzure: hrm, nanotube computing
(2008-04-06 01:35:11) kanzure: screw that
(2008-04-06 01:35:15) kanzure: http://heybryan.org/graphene.html
(2008-04-06 01:35:17) kanzure: graphene computing :)
(2008-04-06 01:35:19) kanzure: which is carbon too
(2008-04-06 01:35:24) kanzure: just not necessarily in nanotube form
(2008-04-06 01:35:30) epitron: have you looked at nanotube computers?
(2008-04-06 01:35:42) kanzure: nope, but I do know that CNTs have semiconductor properties
(2008-04-06 01:35:45) kanzure: which I plan to take advantage of
(2008-04-06 01:35:55) epitron: you can transport individual electrons down a nanotube
(2008-04-06 01:36:02) kanzure: :)
(2008-04-06 01:36:03) kanzure: or confine them
(2008-04-06 01:36:06) epitron: yep
(2008-04-06 01:36:08) kanzure: with nanovalves, was it?
(2008-04-06 01:36:09) epitron: and entangle them
(2008-04-06 01:36:14) epitron: and do whatever else the universe permits
(2008-04-06 01:36:15) kanzure: how?
(2008-04-06 01:36:19) kanzure: the entanglement, I mean.
(2008-04-06 01:36:34) epitron: you know.. like ... like amplitude phase coherent photon embossing
(2008-04-06 01:36:44) epitron: - second like
(2008-04-06 01:36:45) epitron: + light
(2008-04-06 01:37:04) epitron: (i made that up)
(2008-04-06 01:37:07) epitron: :D
(2008-04-06 01:37:18) epitron: anyhow, yeah, i dunno much about quantum computers
(2008-04-06 01:37:30) epitron: the whole field could be the result of an experimental error
(2008-04-06 01:37:55) epitron: i'll look into nanotube computing perhaps
(2008-04-06 01:38:00) epitron: then i will share the info
(2008-04-06 01:40:45) kanzure: this is ridiculous
(2008-04-06 01:40:50) kanzure: molecular computation is a tool in search of a use
(2008-04-06 01:40:57) kanzure: computation is computation, you go to the substrate that lets you do it the best
(2008-04-06 01:41:03) kanzure: molecules happen to not be this substrate
(2008-04-06 01:41:22) epitron: you sure?
(2008-04-06 01:41:32) epitron: quantum computation and nanotubes could be a powerful combination
(2008-04-06 01:41:40) epitron: i'm not saying they are
(2008-04-06 01:41:43) epitron: i don't know about those two fields
(2008-04-06 01:41:45) kanzure: no, I mean biomolecules
(2008-04-06 01:41:50) epitron: ah
(2008-04-06 01:41:53) kanzure: http://heybryan.org/mediawiki/index.php/Ellingtonia is where I am at
(2008-04-06 01:42:14) kanzure: even if the goal is to copy in vivo systems into in vitro systems
(2008-04-06 01:42:17) kanzure: that's really retarded
(2008-04-06 01:42:20) kanzure: you should just test your system in silico
(2008-04-06 01:42:55) epitron: could you summarize ellingtonia in a sentence?
(2008-04-06 01:43:02) kanzure: which negates the whole idea of implementing an in vitro biomolecular 'computation' or engineered in vitro system
(2008-04-06 01:43:05) kanzure: hm
(2008-04-06 01:43:20) epitron: nevermind
(2008-04-06 01:43:22) epitron: i read the ToC
(2008-04-06 01:43:23) kanzure: My attempt at satisfying the professor's challenge to find a use of biomolecular computation.
(2008-04-06 01:43:28) epitron: haha
(2008-04-06 01:43:29) epitron: i see
(2008-04-06 01:43:48) epitron: you should mention that in 1. Challenge
(2008-04-06 01:44:00) epitron: perhaps in parentheses
(2008-04-06 01:44:02) kanzure: it's in there
(2008-04-06 01:44:08) epitron: ok ;)
(2008-04-06 01:44:14) epitron: it's interesting
(2008-04-06 01:44:17) epitron: it tells where you are
(2008-04-06 01:44:19) kanzure: "Find me a class of algorithms / problems where the inherent abilities of DNA or biomolecules will shine."
(2008-04-06 01:44:21) epitron: you might forget down the road
(2008-04-06 01:44:26) epitron: as you look back at your wiki
(2008-04-06 01:44:50) epitron: sweet
(2008-04-06 01:44:57) epitron: and nobody's solved that challenge?
(2008-04-06 01:45:02) kanzure: right
(2008-04-06 01:45:08) epitron: that's surprising
(2008-04-06 01:45:14) kanzure: it's because DNA sucks at computing
(2008-04-06 01:45:24) epitron: it's not really designed for that though
(2008-04-06 01:45:30) epitron: it's designed for constructing things
(2008-04-06 01:45:35) epitron: and then the things do the computing
(2008-04-06 01:45:39) kanzure: I've found a *use* (in vitro modeling of in vivo systems) -- i.e., synthetic biology from the ground up ("What I cannot create, I do not understand")
(2008-04-06 01:45:42) kanzure: but that's not what he wants me to do
(2008-04-06 01:46:14) epitron: right
(2008-04-06 01:46:17) epitron: but that's what it's best at :)
(2008-04-06 01:46:19) epitron: building things
(2008-04-06 01:46:25) kanzure: so there needs to be some equivalence
(2008-04-06 01:46:27) epitron: it can do computation, but over long timescales
(2008-04-06 01:46:27) kanzure: between building things
(2008-04-06 01:46:28) kanzure: and computing
(2008-04-06 01:46:35) kanzure: computing == building, perhaps
(2008-04-06 01:46:43) kanzure: so in what roles could we have biomolecules both build and compute at the same time
(2008-04-06 01:46:43) epitron: well
(2008-04-06 01:46:45) epitron: you build a computer
(2008-04-06 01:46:47) epitron: it's easy :)
(2008-04-06 01:46:54) kanzure: uh?
(2008-04-06 01:47:06) kanzure: heh, but yes
(2008-04-06 01:47:06) epitron: like, the genetic computer can communicate
(2008-04-06 01:47:08) kanzure: that's how I usually work
(2008-04-06 01:47:12) epitron: our bodies do it by building messages
(2008-04-06 01:47:13) kanzure: you just start assuming it's all easy
(2008-04-06 01:47:17) kanzure: and then in the end it turns out you were right
(2008-04-06 01:47:20) epitron: then the messages slowly propagate
(2008-04-06 01:47:27) epitron: and you have this slow diffusion-time-scale computation going on
(2008-04-06 01:47:33) epitron: fairly stable...
(2008-04-06 01:47:35) epitron: somewhat perturbable
(2008-04-06 01:47:36) kanzure: but that isn't where DNA shines
(2008-04-06 01:47:40) kanzure: that sucks
(2008-04-06 01:47:49) epitron: right, but it's requried for large-scale coordinated construction
(2008-04-06 01:47:56) epitron: otherwise you can't build a computer
(2008-04-06 01:47:59) kanzure: so what would it be coordinating
(2008-04-06 01:48:02) kanzure: what are the 'builder units'
(2008-04-06 01:48:05) epitron: large-scale structure
(2008-04-06 01:48:12) epitron: all life does it
(2008-04-06 01:48:17) kanzure: what are the builder units
(2008-04-06 01:48:22) epitron: they use fractal algorithms to build complex structures
(2008-04-06 01:48:28) epitron: algorithsm encoded in the dna
(2008-04-06 01:48:31) kanzure: ah, perhaps it can be a GPL
(2008-04-06 01:48:33) epitron: and computed using diffusion
(2008-04-06 01:48:44) kanzure: then using diffusion of messengers this would allow growth directed programming languages to exist
(2008-04-06 01:48:52) kanzure: and then using this you have various molecules implicating the certain synthesis of particles in DNA
(2008-04-06 01:48:52) epitron: that's true
(2008-04-06 01:48:59) epitron: or you could build something better than a brain
(2008-04-06 01:49:04) epitron: hmmm
(2008-04-06 01:49:05) kanzure: but this is assuming that you don't mess up the in vitro-ness when you add in the PCR and transcription molecules
(2008-04-06 01:49:13) kanzure: because when you add in the drops
(2008-04-06 01:49:17) kanzure: that's diffusion and you mess it all up
(2008-04-06 01:49:34) kanzure: however, if it can self-correct for that error, that would be interesting
(2008-04-06 01:49:36) kanzure: here's what I'm thinking
(2008-04-06 01:49:45) kanzure: there can be the diffusion of nucleic acid messengers
(2008-04-06 01:49:59) kanzure: and this diffusion would be based off of the location of each of the DNA molecules or whatever
(2008-04-06 01:50:11) kanzure: so the ones that are in a high concentration area of those messengers would behave differently than those in the low concentration areas
(2008-04-06 01:50:19) epitron: hold on
(2008-04-06 01:50:27) epitron: i just realized i don't know what GPL stands for :D
(2008-04-06 01:50:30) kanzure: and construction can proceed differently *because* you can have those nucleic acid messengers block transcription of certain proteins or structures
(2008-04-06 01:50:34) epitron: i'm having trouble keeping up
(2008-04-06 01:50:35) kanzure: GPL stands for Growth Programming Language
(2008-04-06 01:50:37) epitron: i'm high and stoned
(2008-04-06 01:50:41) epitron: and drunk
(2008-04-06 01:50:42) kanzure: why are you high and stoned
(2008-04-06 01:50:43) kanzure: and drunk
(2008-04-06 01:50:44) epitron: but also high
(2008-04-06 01:50:46) epitron: :D
(2008-04-06 01:50:48) epitron: because i got bored
(2008-04-06 01:50:59) epitron: also i was watching a show that encouraged it
(2008-04-06 01:51:09) epitron: it was called THE ROOT OF ALL EVIL
(2008-04-06 01:51:18) epitron: anyhow, back to growth programming languages
(2008-04-06 01:51:31) kanzure: I don't know what would be transcribed though ... I guess it could be DNA self-assembly itself, but then you loose the molecules as you build the structure
(2008-04-06 01:51:51) epitron: well,
(2008-04-06 01:51:59) epitron: i think the problem you'd run into is that you'd need to use goo to build the computer
(2008-04-06 01:52:03) epitron: like our brain does
(2008-04-06 01:52:11) kanzure: uhh
(2008-04-06 01:52:14) epitron: because amino acids can't bond with cool shit like neodymium
(2008-04-06 01:52:24) kanzure: sure they can
(2008-04-06 01:52:27) epitron: i guess they could like encase it
(2008-04-06 01:52:30) kanzure: and if not
(2008-04-06 01:52:31) epitron: can they?
(2008-04-06 01:52:31) kanzure: we can evolve them to
(2008-04-06 01:52:41) epitron: well, amino acids have a certain pliable structure
(2008-04-06 01:52:51) epitron: they're easy to break apart and put back together
(2008-04-06 01:52:53) epitron: it's not that strong
(2008-04-06 01:52:58) epitron: neodymium is freakin heavy
(2008-04-06 01:53:01) epitron: it might bash through them
(2008-04-06 01:53:11) epitron: spinning at a million revolutions a femtosecond or whatever
(2008-04-06 02:01:01) Aulere left the room (quit: ).
(2008-04-06 02:06:26) kanzure: http://glofish.com/
(2008-04-06 03:12:56) kanzure: is somebody around to do a bullshit analysis on an email I'm about to send?
(2008-04-06 03:29:47) kanzure: http://heybryan.org/mediawiki/index.php/BS-analysis-requests
(2008-04-06 07:48:39) fenn: explain how it will do something you cannot predict - is that possible?
(2008-04-06 07:49:04) fenn: you need to explain more on part 1
(2008-04-06 08:17:44) fenn: btw "I love you with all my heart" is a statement about goals, not so much about state
(2008-04-06 08:18:02) fenn: at least that's how women see it
(2008-04-06 09:16:28) kanzure: hm
(2008-04-06 09:16:47) kanzure: something that I can't predict
(2008-04-06 09:16:52) kanzure: so maybe I just need to fake it
(2008-04-06 09:24:33) fenn: maybe i'm a cranky old goat, but why would unpredictable outcomes be desirable?
(2008-04-06 09:24:52) fenn: that's no way to build useful systems
(2008-04-06 09:35:40) kanzure: :(
(2008-04-06 09:35:48) kanzure: http://www.diybio.org/ <-- Boston group, new, announcement was sent this morning
(2008-04-06 09:38:45) fenn: maybe i would be excited if school hadn't beaten the soul out of me
(2008-04-06 09:41:34) kanzure: that bad?
(2008-04-06 09:42:56) fenn: he's right about tech culture
(2008-04-06 09:43:34) fenn: how can you do anything with bio without arousing suspicion and fear?
(2008-04-06 09:44:22) fenn: desktop-STM's is one thing, de-brained mice is another
(2008-04-06 09:44:57) fenn: probably the only 'safe' area is plant genetics
(2008-04-06 09:46:01) fenn: the hypocrisy is amazing
(2008-04-06 09:46:43) fenn: we need an institutional review board to do mouse behavior experiments, but then people go and slaughter chickens and cows by the billions
(2008-04-06 09:53:04) fenn: kanzure ever think about using animals as containers for your brain-pods?
(2008-04-06 09:55:17) fenn: i'm reading this: http://www.pubmedcentral.nih.gov/articlerender.fcgi?artid=2220020
(2008-04-06 10:18:13) kanzure: I don't really want to have to do deal with meat-bodies for brains
(2008-04-06 10:18:47) fenn: even cute furry meat-bodies with furry flapping wings?
(2008-04-06 10:19:08) fenn: you could have eyes in the back of your head
(2008-04-06 10:19:40) kanzure: however, the article looks good
(2008-04-06 10:20:15) fenn: scientific discussions of morality always leave a lot to be desired
(2008-04-06 10:21:22) Enki-2 left the room (quit: Read error: 104 (Connection reset by peer)).
(2008-04-06 10:22:34) kanzure: the qual-chicken stuff looks interesting
(2008-04-06 10:22:45) kanzure: quail*
(2008-04-06 10:23:01) kanzure: but I don't know about "conferring humanity on mice" - what the hell?
(2008-04-06 10:26:10) kanzure: who were you talking about when you said "he's right about tech culture" ?
(2008-04-06 10:27:07) Enki-2 [n=weechat@c-71-234-190-248.hsd1.ct.comcast.net] entered the room.
(2008-04-06 10:28:50) fenn: diybio.org has a google group w/mailing list and a few comments
(2008-04-06 10:29:25) kanzure: oh, right
(2008-04-06 10:29:29) kanzure: I didn't bother to read the messages when I joined
(2008-04-06 10:30:55) kanzure: So I wonder how I should handle the Ellington stuff. Should I just go email him and tell him that I don't understand emergence? That sounds rather newbish. You don't return to the professor after a few weeks with nothing to show.
(2008-04-06 10:31:07) kanzure: I was thinking I'd just do a modified ring oscillator and say "here, I don't understand emergence"
(2008-04-06 10:31:14) kanzure: something like: A->B->C->A is the ring oscillator,
(2008-04-06 10:31:19) kanzure: so why not do something like
(2008-04-06 10:31:39) kanzure: argh
(2008-04-06 10:32:07) fenn: "Of course, human consciousness trapped in a mouseโ€™s body would truly be cruel treatment" <- how is being stuck in a mouse any worse than being stuck in a monkey?
(2008-04-06 10:32:36) ***fenn beats on his chest and throws feces
(2008-04-06 10:32:44) kanzure: no feces throwing in here
(2008-04-06 10:32:50) fenn: digital feces?
(2008-04-06 10:32:53) kanzure: ok, fine
(2008-04-06 10:33:03) kanzure: but not the wet ones
(2008-04-06 10:33:44) fenn: kanzure: i dont want to say, 'told you so' but maybe you should go to ellington and say you dont understand emergence
(2008-04-06 10:34:05) fenn: he probably means something else anyway
(2008-04-06 10:35:28) fenn: one man's emergence is another man's magic
(2008-04-06 10:35:57) kanzure: hm
(2008-04-06 10:36:02) kanzure: I'm looking on Google Scholar
(2008-04-06 10:36:09) kanzure: found an interesting article by Kauffman - "Escaping the Red Queen Effect"
(2008-04-06 10:36:35) fenn: it would be interesting to die in a car accident and wake up in a mouse body
(2008-04-06 10:36:38) kanzure: Red Queen is where you better damn hope/intend the whole is greater than the sum of the parts if you hope to go anywhere.
(2008-04-06 10:36:51) kanzure: fenn: what are you suggesting?
(2008-04-06 10:36:53) fenn: i thought red queen is just an evolutionary arms race
(2008-04-06 10:36:57) kanzure: you know very well that we here wouldn't mind doing those experiments
(2008-04-06 10:37:06) kanzure: meanwhile the institutions aren't going to implement them
(2008-04-06 10:37:11) kanzure: for 'political' reasons and whatever
(2008-04-06 10:37:14) kanzure: so what do you want to do?
(2008-04-06 10:37:22) ***fenn points at diybio.org
(2008-04-06 10:37:25) kanzure: fenn: nope, red queen never involved anything other than Alice
(2008-04-06 10:37:27) kanzure: fenn: hm?
(2008-04-06 10:37:43) fenn: my point was that anything "diy bio" is going to instantly have a negative connotation
(2008-04-06 10:38:28) fenn: its only value is that you can do things you wouldnt be able to do in a university setting
(2008-04-06 10:38:40) kanzure: no,
(2008-04-06 10:38:47) kanzure: some of us are not in a university willing to let us do stuff
(2008-04-06 10:39:06) fenn: well, what are you going to do?
(2008-04-06 10:39:29) fenn: i mean, basically anything h+ is socially unacceptable
(2008-04-06 10:39:47) fenn: that leaves stuff like, sewage treatment
(2008-04-06 10:40:00) kanzure: what is your point
(2008-04-06 10:40:12) kanzure: we don't care about social unacceptability
(2008-04-06 10:40:18) kanzure: because we have bigger guns
(2008-04-06 10:40:34) fenn: what is something that you would be able to do at a university but can't because you're not at a uni?
(2008-04-06 10:41:07) kanzure: get access to scientific databases
(2008-04-06 10:41:14) fenn: diy doesn't help there
(2008-04-06 10:41:21) kanzure: right
(2008-04-06 10:41:46) fenn: unless you propose building entirely new databases from amateur experimental results
(2008-04-06 10:41:53) fenn: that's a bit beyond "diy" tho
(2008-04-06 10:46:13) kanzure: http://www.eminerals.org/
(2008-04-06 10:46:41) kanzure: for the sciencey stuff - http://www.eminerals.org/
(2008-04-06 10:46:43) kanzure: erm
(2008-04-06 10:46:48) kanzure: http://www.eminerals.org/highlights/index.html
(2008-04-06 10:50:28) fenn: oo structured water
(2008-04-06 10:52:59) kanzure: "the system as a whole has the property, but the components, individually, do not"
(2008-04-06 10:53:03) kanzure: heh
(2008-04-06 10:53:05) kanzure: how about this
(2008-04-06 10:53:09) kanzure: system X has N nodes
(2008-04-06 10:53:11) kanzure: N are not special
(2008-04-06 10:53:13) kanzure: X is special
(2008-04-06 10:53:19) kanzure: therefore, system X has done emergence
(2008-04-06 10:53:30) kanzure: I am done. I just had to call it special.
(2008-04-06 10:54:33) kanzure: How is this an example of emergence?? " Robots play soccer or build heaps of collected items (cf. Figure 2)."
(2008-04-06 10:54:45) kanzure: another example this paper gives is 'swarm behavior' -- like birds flying around an obstacle
(2008-04-06 10:54:51) kanzure: swarm behavior is just "wisdom of the crowds" stuff
(2008-04-06 10:57:51) kanzure: aha
(2008-04-06 10:57:55) kanzure: http://www-users.cs.york.ac.uk/~susan/bib/ss/nonstd/iceccs06.pdf <-- Engineering Emergence. quantitative.
(2008-04-06 10:58:23) ***fenn mumbles something about non-linearity
(2008-04-06 10:59:36) kanzure: nonlinear systems from discrete components?
(2008-04-06 11:02:53) kanzure: "intrinsic emergence"
(2008-04-06 11:03:10) kanzure: "the system itself capitalizes on the patterns that appear"
(2008-04-06 11:03:41) kanzure: "novel causal powers coming into being at specific levels of ontology"
(2008-04-06 11:04:49) fenn: hurr
(2008-04-06 11:05:26) fenn: self-assembly maybe
(2008-04-06 11:05:50) kanzure: ... ` Hordijk et al [30] talk of โ€œdynamical systems in which the interaction of simple components with local information storage and communication gives rise to coordinated global information processingโ€.`
(2008-04-06 11:05:50) fenn: wtf is a causal power?
(2008-04-06 11:05:59) kanzure: a flying spaghetti monster, perhaps
(2008-04-06 11:06:37) fenn: looks to be associated with AI
(2008-04-06 11:09:02) kanzure: `Oโ€™Conner [33] (as quoted by Bedau [10]) de๏ฌnes emergence as: โ€œProperty P is an emergent property of . . . O iff . . . P has a direct (โ€˜downwardโ€™) determinative in๏ฌ‚uence on the pattern of behaviour involving Oโ€™s parts.โ€ `
(2008-04-06 11:10:04) kanzure: so how would I do that without predicting P
(2008-04-06 11:12:32) kanzure: ` Kaufmann [31] considers random boolean networks (RBNs), taken to be highly simpli๏ฌed models of gene regulatory networks (GRNs). He analyses the structure and stability of their attractor spaces, and draws an analogy between these attractors and cell types: maybe somehow cells โ€˜areโ€™ the attractors of GRNs.`
(2008-04-06 11:12:42) kanzure: I know Andy's wroked with Kauffman. I wonder if that's the same guy.
(2008-04-06 11:13:33) kanzure: interesting, in ref 31 they spell his name differently
(2008-04-06 11:14:53) fenn: well duh, the point of a GRN is to ensure the stability of a cell
(2008-04-06 11:24:56) kanzure: Abbott [2] is one of the few authors who explicitly talk about emergent properties in engineering design terms: the high level emergent is the abstract design, and the lower level is the implementation of that design. Furthermore, โ€œthese abstract designs are neither derivable from nor logical consequences of their implementationsโ€: a creative design step is necessary.
(2008-04-06 11:25:40) fenn: woo
(2008-04-06 11:25:51) fenn: i'm glad someone else is saying it
(2008-04-06 11:26:28) kanzure: so just come up with the abstract design
(2008-04-06 11:26:31) fenn: your design must exhibit a creative abstract property!
(2008-04-06 11:26:35) kanzure: and then try to splice together engineering components to make it happen
(2008-04-06 11:26:39) ***fenn gets the ruler
(2008-04-06 11:26:41) kanzure: no,
(2008-04-06 11:26:45) kanzure: it seems to be that it's just 'targetting'
(2008-04-06 11:26:51) kanzure: i.e., you propose a system
(2008-04-06 11:26:59) kanzure: and then you go find components that can make it happen
(2008-04-06 11:27:06) kanzure: but the components have to be 'weird' and 'indirect' or something?
(2008-04-06 11:27:46) fenn: i think emergence as commonly used means more like, throw a bunch of crap in a pot and shake it around until a television comes out
(2008-04-06 11:28:20) fenn: but that doesnt happen
(2008-04-06 11:28:31) fenn: it's statistically improbably
(2008-04-06 11:28:50) fenn: however, if you have an infinite improbability drive, such as our friend e. coli, you can brute-force it
(2008-04-06 11:29:27) kanzure: clearly we just need to replace the 'motivator' circuits in my brain with an infinite improbability drive
(2008-04-06 11:29:36) kanzure: in fact, I probably already have it, it explains so much about what I am capable of doing
(2008-04-06 11:29:43) fenn: yep
(2008-04-06 11:30:14) fenn: creativity, not motivation
(2008-04-06 11:30:30) fenn: motivation is simple neurotransmitter circuits i think
(2008-04-06 11:30:45) fenn: a knowledge synthesizer!
(2008-04-06 11:31:27) fenn: hidden in plain sight
(2008-04-06 11:31:44) fenn: how does it feel to be limited by your own intelligence?
(2008-04-06 11:32:06) fenn: i think it feels funny
(2008-04-06 11:32:10) fenn: funny-haha
(2008-04-06 11:32:33) kanzure: Abbott's paper - http://arxiv.org/abs/cs/0602045
(2008-04-06 11:33:00) kanzure: motivation is something much different than a simple circuit
(2008-04-06 11:33:05) kanzure: Have you ever gotten programmer's syndrome?
(2008-04-06 11:33:14) fenn: i dont know, what's programmer's syndrome?
(2008-04-06 11:33:25) kanzure: the incredible lack of motivation that programmers get when they aren't getting results
(2008-04-06 11:33:40) kanzure: I had it for a few years, until I just started assuming that motivation was a matter of assumption
(2008-04-06 11:33:45) kanzure: so now I just assume I am motivated
(2008-04-06 11:33:52) fenn: please elaborate
(2008-04-06 11:34:24) kanzure: if you go over to any programming community, especially the allegro and gamedev.net communities where there are young programmers, you see really smart guys not getting much of anything done, not because they don't want to, but because they are "tired"
(2008-04-06 11:34:39) kanzure: they do not necessarily have any depression or mental disorders and so on (other than whatever helps them be a programmer)
(2008-04-06 11:35:56) fenn: i'm quite familiar with it, but not the "solution"
(2008-04-06 11:35:58) kanzure: gah, 67 pages
(2008-04-06 11:36:09) kanzure: the solution is weird and I can't quantify it
(2008-04-06 11:36:14) kanzure: I think I *argued* myself into motivation somehow
(2008-04-06 11:36:26) kanzure: so now I seemingly have an infinite supply of it ;)
(2008-04-06 11:36:53) fenn: hopefully by thinking about it you dont destroy your mechanism
(2008-04-06 11:37:01) kanzure: right
(2008-04-06 11:37:03) kanzure: "As I move, so I move the universe." - Danlo
(2008-04-06 11:43:24) kanzure: http://heybryan.org/edeism.html not related
(2008-04-06 11:43:57) fenn: the edeist stuff is painfully immature sci-fi
(2008-04-06 11:48:44) kanzure: immature?
(2008-04-06 11:49:18) fenn: the idea is good, but the implementation is not very subtle
(2008-04-06 11:49:23) kanzure: oh
(2008-04-06 11:49:27) kanzure: the implementation is subtle in the story, though
(2008-04-06 11:49:27) kanzure: http://en.wikipedia.org/wiki/Neverness
(2008-04-06 11:49:50) kanzure: I was just taking some lines from the book.
(2008-04-06 11:49:58) fenn: also the intrinsic impossibility of writing about something more intelligent than yourself
(2008-04-06 11:50:18) kanzure: you can write _about_ it, but nobody says you have any idea what you're talking about
(2008-04-06 11:50:33) kanzure: let me go fetch some lines
(2008-04-06 11:50:51) fenn: you cant predict what it would do, therefore you cant write about it
(2008-04-06 11:50:58) kanzure: Instantly the trillions of branches of the tree narrowed to one. So, it
(2008-04-06 11:50:58) kanzure: was a finite tree after all. I was saved! I made another mapping to the
(2008-04-06 11:50:58) kanzure: point-exit near a blue giant star. I fell out into realspace, into the
(2008-04-06 11:50:58) kanzure: swarm of the ten thousand moonbrains of the Solid State Entity.
(2008-04-06 11:51:37) kanzure: We talked for a while about the origins of such immense and fathomless
(2008-04-06 11:51:37) kanzure: beings as the Silicon God and the Solid State Entity, and other things
(2008-04-06 11:51:37) kanzure: that pilots talk about. Soli told us of his journey to the core; he
(2008-04-06 11:51:37) kanzure: spoke of dense clusters of hot new stars and of a great ringworld that
(2008-04-06 11:51:37) kanzure: some god or other had assembled around Betti Luz. Lionel argued that the
(2008-04-06 11:51:37) kanzure: great and often insane mainbrains (he did not like to use the word
(2008-04-06 11:51:37) kanzure: "gods") roaming the galaxy must be organized according to different
(2008-04-06 11:51:37) kanzure: principles than were our own miniscule minds, for how else could their
(2008-04-06 11:51:37) kanzure: brains separate lobes-some of which were the size of
(2008-04-06 11:51:37) kanzure: moons-intercommunicate with others across light-years of space? It was
(2008-04-06 11:51:37) kanzure: an old argument.
(2008-04-06 11:51:45) kanzure: It was one of the many bitter arguments dividing the
(2008-04-06 11:51:45) kanzure: pilots and professionals of our Order. Lionel, and many esc'hatologists,
(2008-04-06 11:51:45) kanzure: programmers, and mechanics as well, believed the mainbrains had mastered
(2008-04-06 11:51:45) kanzure: nearly instantaneous tachyonic information flow. He held that we should
(2008-04-06 11:51:45) kanzure: seek contact with these beings, even though such contact was very
(2008-04-06 11:51:45) kanzure: dangerous and might someday force the Order to change in ways repugnant
(2008-04-06 11:51:45) kanzure: to older and more old-fashioned pilots such as Soli. "Who can understand
(2008-04-06 11:51:45) kanzure: a brain encompassing a thousand cubic lightyears of space?" Soli asked.
(2008-04-06 11:53:11) kanzure: So there's ways to work with it, I guess.
(2008-04-06 11:53:38) fenn: they're talking about Ede?
(2008-04-06 11:53:59) fenn: at what point does Nick Ede become the Solid State Entity?
(2008-04-06 11:54:32) kanzure: Edge is another god
(2008-04-06 11:54:34) kanzure: *Ede
(2008-04-06 11:55:55) fenn: btw i think the logic in tat passage is flawed.. they must be organized differently because of the latency between parts, but then goes on to say that they have zero-latency communications?
(2008-04-06 11:58:34) kanzure: eh, yes, Zindell stumbles on a few points like that
(2008-04-06 11:58:40) kanzure: personally, I don't go for the tachyon explanation
(2008-04-06 11:58:44) kanzure: I much rather prefer the latency ideas
(2008-04-06 11:59:01) kanzure: if you have giant moonbrains then let them be separated, who cares if your thought takes a thousand years if it's the equivalent of a million years of other measely humans thinking?
(2008-04-06 11:59:18) kanzure: plus you get to have at least human-level thoughts on the local scale of each moonbrain
(2008-04-06 12:09:06) kanzure: btw, I run a megascale engineering mailing list for discussions like these
(2008-04-06 12:09:20) kanzure: last I posted, I was submitting schematics and plans for assembling the Death Star.
(2008-04-06 12:18:41) fenn: a sphere isnt really a good shape for high-energy stuff
(2008-04-06 12:20:09) fenn: hint: dont draw inspiration from science-fantasy :)
(2008-04-06 12:29:12) kanzure: heat-dissipation
(2008-04-06 12:29:17) kanzure: I'm pretty sure there's been lots of calculations on this
(2008-04-06 12:30:05) kanzure: esp. Anders Sandbergs - Physics of Intelligent Superobjects, 1999
(2008-04-06 12:30:12) kanzure: Anders Sandberg, woops
(2008-04-06 12:40:34) fenn: planets are round because they have wimpy compressive strength
(2008-04-06 12:41:04) fenn: you could also make your massive object spin and use tensile strength
(2008-04-06 12:41:18) fenn: or gravitational tidal forces (in orbit around a neutron star or something)
(2008-04-06 12:41:20) kanzure: the best way to do heat dissipation is to maximize surface area
(2008-04-06 12:41:49) fenn: well, "best" is subjective
(2008-04-06 12:42:05) kanzure: most
(2008-04-06 12:42:35) fenn: i might say the "best" way to do heat dissipation is to use a heat pump to raise the temperature and thus radiance
(2008-04-06 12:43:25) fenn: you could have a 'colloidal suspension' of asteroids but they would just bounce IR back and forth between each other
(2008-04-06 12:43:57) fenn: high surface area, but poor heat emitter
(2008-04-06 12:45:24) fenn: with reversable computing, heat dissipation might not be important at all
(2008-04-06 12:45:29) kanzure: hm
(2008-04-06 12:45:39) fenn: reversible*
(2008-04-06 12:46:40) fenn: i note that biology is quite stingy with irreversible operations
(2008-04-06 12:46:58) fenn: most enzymes function in a state of equilibrium
(2008-04-06 12:47:44) fenn: there's no direction, except there's more of the input type of molecule than the output
(2008-04-06 14:22:49) kanzure: EUREKA
(2008-04-06 14:22:55) kanzure: fenn:
(2008-04-06 14:23:01) kanzure: how about liquidwars in vitro
(2008-04-06 14:23:07) fenn: what's liquidwars?
(2008-04-06 14:23:10) kanzure: http://sushiknights.org/alejo/liquidwars.jpg
(2008-04-06 14:23:13) kanzure: it's a game for debian
(2008-04-06 14:23:24) kanzure: you're a liquid and you try to take over the other liquid into your color
(2008-04-06 14:23:31) kanzure: the switches would be bound to the surface of the plate
(2008-04-06 14:23:37) kanzure: and then you have them all trying to convert their neighbors, sort of
(2008-04-06 14:23:52) kanzure: and the 'colors' get to have their own strategies attached to them
(2008-04-06 14:24:06) kanzure: if you give it an interesting configuration state, you don't necessarily know the result
(2008-04-06 14:24:16) fenn: hmm is it like 'go' but less discrete?
(2008-04-06 14:24:29) kanzure: not sure
(2008-04-06 14:24:36) fenn: you try to surround the other liquid?
(2008-04-06 14:24:40) kanzure: http://en.wikipedia.org/wiki/Go_(board_game)
(2008-04-06 14:24:48) kanzure: you convert the other color-liquid into your own color
(2008-04-06 14:25:00) kanzure: on the computer, you use the arrow keys to move your liquid in aggregate to weak points of the enemy
(2008-04-06 14:25:05) kanzure: so you have a 'head' that you are strategically guiding
(2008-04-06 14:25:13) kanzure: obviously in the in vitro instance, you'd have to program it ahead of time
(2008-04-06 14:25:43) fenn: check out go
(2008-04-06 14:25:53) kanzure: http://en.wikipedia.org/wiki/Go_(board_game)
(2008-04-06 14:25:54) kanzure: I'm reading.
(2008-04-06 14:26:25) kanzure: hm, I seem to remember it
(2008-04-06 14:26:28) kanzure: it's sort of close
(2008-04-06 14:35:00) fenn: phun is like my "smirf" idea: http://www.phun.at/
(2008-04-06 14:35:12) fenn: except it's not an mmo (yet)
(2008-04-06 14:36:50) fenn: needs more fluid dynamics from the looks of it
(2008-04-06 14:42:21) fenn: i've been playing xmoto a lot, it's basically phun, but you're a guy on a dirtbike
(2008-04-06 14:51:53) kanzure: xmoto?
(2008-04-06 14:53:16) fenn: http://wiki.xmoto.tuxfamily.org/index.php?title=Screenshots
(2008-04-06 14:53:39) kanzure: fenn: are you on my mailing list? I just did a linkdump on DIY BIO
(2008-04-06 14:53:45) kanzure: also sent it to the http://diybio.org/ group
(2008-04-06 14:53:55) kanzure: xmoto looks ok
(2008-04-06 14:54:09) fenn: it looks like hell but it's fun
(2008-04-06 14:54:11) kanzure: I've been needing some more brain cell killing ames
(2008-04-06 14:54:18) kanzure: because i've just been playing kbounce
(2008-04-06 14:54:20) kanzure: and frankly this sucks
(2008-04-06 15:00:02) kanzure: how do I play
(2008-04-06 15:01:07) fenn: uh. up is accel, down is brake, right flip forward, left flip backwards
(2008-04-06 15:01:16) fenn: start on the 'desert training' level
(2008-04-06 15:01:26) fenn: should be under 'nicest levels'
(2008-04-06 15:02:15) fenn: green hill zone act 1 is cool too
(2008-04-06 15:06:52) kanzure: whether or not I get hit by the slope thing seems to be a function of whether or not the game hates me
(2008-04-06 15:06:55) kanzure: on the first level.
(2008-04-06 15:11:54) kanzure: and when I go upside down the wheel does not spin properly
(2008-04-06 15:11:57) kanzure: it spins as if it was upside down
(2008-04-06 15:12:03) kanzure: instead of in the direction that it is facing
(2008-04-06 15:12:11) kanzure: as in, not in the direction that the person is facing
(2008-04-06 15:14:09) fenn: on 001 by denis?
(2008-04-06 15:14:12) kanzure: yes
(2008-04-06 15:14:18) fenn: that level's stupid
(2008-04-06 15:14:32) fenn: the wheel is rubbing on the top because ODE only uses the two wheels in the physics simulation
(2008-04-06 15:15:02) fenn: so the ground is passing through the bike
(2008-04-06 15:15:08) kanzure: yeah
(2008-04-06 15:15:10) kanzure: what about #2
(2008-04-06 15:15:13) kanzure: there's invisible walls?
(2008-04-06 15:15:23) fenn: yes
(2008-04-06 15:15:35) fenn: also stupid, there are a lot of stupid levels because anyone can post new levels
(2008-04-06 15:15:43) fenn: hence why i suggested 'nicest levels'
(2008-04-06 15:23:33) kanzure: I still like Icy Tower and Mario Arena. if I had a windows machien.
(2008-04-06 15:23:36) kanzure: or Alex the Allegator
(2008-04-06 15:48:06) kanzure: http://heybryan.org/mediawiki/index.php/Lab_equipment full list of a biotech lab
(2008-04-06 15:48:10) kanzure: now I just need to fill it in with links
(2008-04-06 15:53:29) kanzure: What's up with Phil Ken Sebben?
(2008-04-06 16:16:49) fenn: theres a lot of stuff on that list, what's the goal?
(2008-04-06 16:34:42) kanzure: the idea was to get a list of lab equipment so that we can say "here's what an amateur lab would likely need for some common expeirments'
(2008-04-06 16:34:44) kanzure: *experiments
(2008-04-06 16:35:04) kanzure: I was hoping to link over to (even transient) ebay auctions, websites to purchase used equipment, guides to building similar equipment, or mention how the tech is used
(2008-04-06 16:35:30) kanzure: or sometimes it's not tech -- "pipette: the most advanced piece of technology in the modern lab, the conventional pipette can pipette over 500 microliters of liquid per minute"
(2008-04-06 16:35:37) kanzure: :-p
(2008-04-06 16:44:20) fenn: er.. pipette is all about repeatability and accuracy
(2008-04-06 16:44:49) kanzure: I was joking, but yes
(2008-04-06 16:45:20) fenn: i have phun running here.. now i think my computer's slow
(2008-04-06 16:45:38) fenn: water sloshing
(2008-04-06 16:45:46) kanzure: I have lost all concentration. I need to go.
(2008-04-06 17:32:11) kanzure: http://heybryan.org/mediawiki/index.php/In_vitro_liquidwars
(2008-04-06 18:12:29) Aulere [n=dragon_d@131.229.176.252] entered the room.
(2008-04-06 18:13:01) kanzure: http://www.ustream.tv/channel/immortality-update <-- Anybody want to join?
(2008-04-06 18:13:07) kanzure: it's the Immortality Institute board meeting.
(2008-04-06 18:13:09) kanzure: http://imminst.org/
(2008-04-06 18:15:20) Aulere left the room (quit: Client Quit).
(2008-04-06 18:15:33) Aulere [n=dragon_d@131.229.176.252] entered the room.
(2008-04-06 18:18:26) kanzure: Hey Aulere.
(2008-04-06 18:18:46) Aulere: hey
(2008-04-06 18:18:50) kanzure: http://www.ustream.tv/channel/immortality-update <-- Immortality Institute board meeting
(2008-04-06 18:19:34) Aulere: cool
(2008-04-06 18:21:50) kanzure: There's not much biology stuff on youtube. I think I could put on better nightly news via webcam than the crappy stuff out there.
(2008-04-06 18:36:59) fenn: that's the most blippy staticky digital radio i've ever heard
(2008-04-06 18:40:19) Aulere: yeah
(2008-04-06 18:40:32) Aulere: I'm having streaming trouble too.
(2008-04-06 18:43:40) kanzure: Meh. I lost interest and went over to http://jove.com/ for a bit.
(2008-04-06 18:43:48) kanzure: I emailed them and suggested them my widget-donation system
(2008-04-06 18:43:56) kanzure: http://heybryan.org/projects/openpay/widget.php?projectID=1
(2008-04-06 18:44:00) kanzure: (is an example of the implementation)
(2008-04-06 18:45:43) kanzure: Hm. That's weird. The colors on the whiteboard ... they have become '3D'.
(2008-04-06 18:46:33) fenn: argh since when did web browsers play movies
(2008-04-06 18:46:54) kanzure: about the same time that they did animated GIFs, I'd guess
(2008-04-06 18:48:53) kanzure: okay, screw it - I'm going into overdrive mode again -- 40 papers are pulled up on my screen, I'll do a rapid read of them all.
(2008-04-06 18:49:47) kanzure: Principles of cell-free genetic circuit assembly - Noireaux, I think this is protein-protein computing
(2008-04-06 18:49:49) kanzure: dangerously slow
(2008-04-06 18:50:25) kanzure: SP6 RNA polymerase
(2008-04-06 18:50:30) kanzure: eGFP
(2008-04-06 18:50:39) kanzure: firefly luciferase
(2008-04-06 18:50:47) kanzure: need a list of plasmid types
(2008-04-06 18:51:16) kanzure: Picogreen kit?
(2008-04-06 18:52:05) kanzure: three-stage transcriptional cascade, but no gain independent of the instruments used since there's no energy source really
(2008-04-06 18:52:50) kanzure: heh, so they had to do book-keeping of a different sort in vitro
(2008-04-06 18:53:03) kanzure: most papers focus on the stability of protein synthesis when doing in vitro transcription
(2008-04-06 18:53:17) kanzure: but if you're doing protein-GRN logic stuff, then you have to focus on the available resources that are inserted and the various calculations for diffusion and use
(2008-04-06 18:53:19) kanzure: kind of obvious
(2008-04-06 18:53:42) kanzure: http://neb.com/
(2008-04-06 18:55:11) kanzure: 1967 - Arthur Winfree - phase oscillators equation/modeling
(2008-04-06 18:55:26) kanzure: Kuramoto universality of phase oscillator models
(2008-04-06 18:55:40) kanzure: Steve Strogatz - 1990 - limit cycle oscillators
(2008-04-06 18:56:06) kanzure: Pivosky - 1996 - synchronization among chaotic oscillators (what's a chaotic oscillator supposed to do?)
(2008-04-06 18:56:18) kanzure: Josephson semicondcutor junctions
(2008-04-06 19:02:13) kanzure: http://heybryan.org/mediawiki/index.php/Cell_oscillators
(2008-04-06 19:14:18) kanzure: http://heybryan.org/mediawiki/index.php/Nucleic_acid_architectures
(2008-04-06 19:15:51) fenn: kanzure: know about the lorentz attractor?
(2008-04-06 19:15:56) fenn: i think that's a chaotic oscillator
(2008-04-06 19:16:16) kanzure: http://en.wikipedia.org/wiki/Lorenz_attractor
(2008-04-06 19:17:35) fenn: http://mysite.mweb.co.za/residents/cyb00746/chaos/chaos.htm
(2008-04-06 19:17:48) fenn: looks amazingly similar
(2008-04-06 19:22:53) kanzure: http://www.ncbi.nlm.nih.gov/sites/entrez?db=genome
(2008-04-06 19:37:05) kanzure: http://heybryan.org/mediawiki/index.php/Models_of_cell_signaling_pathways
(2008-04-06 19:43:00) fenn: entrainment makes me think hypnosis and steam injector pumps
(2008-04-06 19:45:53) fenn: what's with the references that are just numbers in []'s?
(2008-04-06 19:46:25) kanzure: woah, they all crashed
(2008-04-06 19:46:29) kanzure: huh?
(2008-04-06 19:46:36) kanzure: well, I don't grab the references at the end of the article
(2008-04-06 19:46:43) kanzure: for some reason - usually it's because the PDF file sucks
(2008-04-06 19:47:04) kanzure: http://heybryan.org/mediawiki/index.php/Engineering_of_GRNs mentions some good references
(2008-04-06 19:47:20) kanzure: but then the PDF viewer crashed and I have now lost track of which papers I was going to read and not going to read etc
(2008-04-06 19:47:21) kanzure: hrm
(2008-04-06 19:48:32) fenn: i'm confused.. the wiki says * blah blah [123]
(2008-04-06 19:48:40) fenn: shouldnt it have a link instead of a number?
(2008-04-06 19:49:00) kanzure: oh
(2008-04-06 19:49:03) kanzure: right, well
(2008-04-06 19:49:07) kanzure: I just type [123]
(2008-04-06 19:49:13) kanzure: and then I'd go back at the end and find which reference 123 is in that paper
(2008-04-06 19:49:18) kanzure: since I'm reading them linearly
(2008-04-06 19:49:24) kanzure: I don't go to the references section immediately
(2008-04-06 19:49:28) Enki-2: http://hakware.oopsilon.com/poetry/Rainbow's%20End.txt
(2008-04-06 19:49:41) kanzure: that would involve too much scrolling and frankly too much refreshing of the pages (PDF viewers suck like this)
(2008-04-06 19:49:57) kanzure: dianetics?
(2008-04-06 19:50:35) fenn: rhymes with memetics
(2008-04-06 19:51:04) fenn: hey you could change that to autogenix
(2008-04-06 19:51:18) kanzure: http://dna.caltech.edu/DNAdesign/ DNA design toolbox -- beta beta beta version
(2008-04-06 19:52:40) fenn: Enki-2: if you have a few days to kill.. http://vrinimi.org/rainbowsend.html
(2008-04-06 19:53:46) kanzure: if you have a few weeks to kill. http://heybryan.org/docs/Zindell,%20David%20-%20Neverness%20(v1.0).txt
(2008-04-06 19:53:55) fenn: crystal palaces indeed
(2008-04-06 19:54:17) kanzure: I remember seeing vrinimi.org =)
(2008-04-06 19:55:29) kanzure: too much chatting for me though
(2008-04-06 19:55:34) fenn: looks like vernor vinge's site
(2008-04-06 19:55:42) kanzure: lots of scifi pretends to be about talking
(2008-04-06 20:29:05) Enki-2 left the room (quit: Read error: 104 (Connection reset by peer)).
(2008-04-06 20:34:52) Enki-2 [n=weechat@c-71-234-190-248.hsd1.ct.comcast.net] entered the room.
(2008-04-06 20:37:20) kanzure: fenn
(2008-04-06 20:37:20) kanzure: http://kurtz-fernhout.com/oscomak/index.htm
(2008-04-06 20:37:26) kanzure: Open Source Community on Manufacturing Knowledge
(2008-04-06 20:39:56) kanzure: http://openvirgle.info/
(2008-04-06 20:41:43) fenn: the sad thing is google and friends probably could do it if they tried
(2008-04-06 20:44:04) kanzure: http://www.openvirgle.info/wiki/index.php/Martian_Oxygen_Production
(2008-04-06 20:44:11) kanzure: Google has the money, certainly
(2008-04-06 20:44:15) kanzure: but the thing is
(2008-04-06 20:44:23) kanzure: they have the brains to do it with no money in the first place
(2008-04-06 20:44:42) fenn: that's what i mean, they dont have as much money as nasa (or do they?)
(2008-04-06 20:44:46) kanzure: uhh
(2008-04-06 20:44:50) kanzure: NASA has a cap of $1 billion
(2008-04-06 20:44:54) kanzure: Google has a few hundred billion
(2008-04-06 20:46:24) fenn: google revenue $16b assets 25b
(2008-04-06 20:46:30) fenn: nasa budget 16b
(2008-04-06 20:46:55) fenn: thing is, nasa gets to spend it all on space projects, whereas google actually has to spend it on making money
(2008-04-06 20:47:27) fenn: google net income 4b
(2008-04-06 20:47:58) kanzure: hm
(2008-04-06 20:53:12) kanzure: http://www.chaordic.org/who_we_are.html huh?
(2008-04-06 20:54:06) fenn: New Open Source Confucianism (TM)
(2008-04-06 20:54:16) kanzure: I see.
(2008-04-06 20:55:36) kanzure: Charlton Heston passed away?
(2008-04-06 20:57:03) kanzure: woah, they killed AP CS AB? WTF? http://news.slashdot.org/article.pl?sid=08/04/06/1916242
(2008-04-06 20:59:48) fenn: meh
(2008-04-06 21:01:08) fenn: by the time it trickles down to AP tests it would be laughably out of date anyway
(2008-04-06 22:10:24) kanzure: I'm pretty sure I wrote this
(2008-04-06 22:10:24) kanzure: http://kurtz-fernhout.com/oscomak/need.htm
(2008-04-06 22:10:31) kanzure: not entirely sure though
(2008-04-06 22:16:28) Aulere left the room (quit: simmons.freenode.net irc.freenode.net).
(2008-04-06 22:16:28) mechie left the room (quit: simmons.freenode.net irc.freenode.net).
(2008-04-06 22:16:28) fenn left the room (quit: simmons.freenode.net irc.freenode.net).
(2008-04-06 22:16:28) epitron left the room (quit: Nick collision).
(2008-04-06 22:16:28) epitron [i=epi@bito.ponzo.net] entered the room.
(2008-04-06 22:16:28) Aulere [n=dragon_d@131.229.176.252] entered the room.
(2008-04-06 22:16:28) mechie [n=DION102@cpe-74-73-121-30.nyc.res.rr.com] entered the room.
(2008-04-06 22:16:28) fenn [n=pz@adsl-76-248-68-178.dsl.bltnin.sbcglobal.net] entered the room.
(2008-04-06 22:16:28) epitron left the room (quit: simmons.freenode.net irc.freenode.net).
(2008-04-06 22:16:28) Aulere left the room (quit: simmons.freenode.net irc.freenode.net).
(2008-04-06 22:16:28) fenn left the room (quit: simmons.freenode.net irc.freenode.net).
(2008-04-06 22:16:28) mechie left the room (quit: simmons.freenode.net irc.freenode.net).
(2008-04-06 22:16:28) Enki-2 left the room (quit: Connection reset by peer).
(2008-04-06 22:16:28) epitron [i=epi@bito.ponzo.net] entered the room.
(2008-04-06 22:16:28) Aulere [n=dragon_d@131.229.176.252] entered the room.
(2008-04-06 22:16:28) mechie [n=DION102@cpe-74-73-121-30.nyc.res.rr.com] entered the room.
(2008-04-06 22:16:28) fenn [n=pz@adsl-76-248-68-178.dsl.bltnin.sbcglobal.net] entered the room.
(2008-04-06 22:16:32) Enki-2 [n=weechat@c-71-234-190-248.hsd1.ct.comcast.net] entered the room.
(2008-04-06 22:16:50) kanzure: hm
(2008-04-06 22:16:54) kanzure: fenn: http://kurtz-fernhout.com/oscomak/index.htm
(2008-04-06 22:43:57) fenn: i've never heard you use the word sustainable
(2008-04-06 22:46:13) kanzure: ah
(2008-04-06 22:46:23) kanzure: but surely you see the equivalence
(2008-04-06 22:55:37) kanzure: Huh. What's the chances of listening to a song on repeat for three hours only to have it show up on the first internet radio station you plug in to?
(2008-04-06 22:55:59) Aulere: :)
(2008-04-06 22:56:18) fenn: you probably just fell through a time portal without realizing it
(2008-04-06 22:57:05) kanzure: it's Lain over at AnimeNfo
(2008-04-06 22:59:36) kanzure: fenn: where were we with autogenix
(2008-04-06 22:59:42) kanzure: are we ready to deploy the wiki?
(2008-04-06 22:59:59) fenn: no
(2008-04-06 23:00:05) kanzure: what's first?
(2008-04-06 23:00:22) kanzure: I remember the package format being a good start
(2008-04-06 23:00:23) fenn: figure out what's built in and what's part of modules
(2008-04-06 23:00:31) kanzure: well,
(2008-04-06 23:00:40) kanzure: I've been thinking abotu that and I've realized that you can't expect there to be total centralization really
(2008-04-06 23:00:45) kanzure: except that it's all on the same server
(2008-04-06 23:01:01) kanzure: so we just have to account for many software libraries/helper-programs to work with a standard interface
(2008-04-06 23:01:09) fenn: of course
(2008-04-06 23:01:12) kanzure: and these programs would separately process different types of packages
(2008-04-06 23:01:28) kanzure: for example, a program to try to assemble the packages on oxygen reactions will be somewhat different from the package doing automobiles
(2008-04-06 23:01:34) kanzure: *from the software packaging automobile packages
(2008-04-06 23:01:39) kanzure: or dealing with its interface
(2008-04-06 23:01:55) kanzure: so I think what we need is, at its root, something like a "unit testing framework"
(2008-04-06 23:02:01) kanzure: does that make sense?
(2008-04-06 23:02:12) fenn: they would use the same package format, but each code module will deal with a different specialized element in that package
(2008-04-06 23:02:28) kanzure: right
(2008-04-06 23:02:45) kanzure: parsing is not necessarily the same all around, but the point is that they are standardized somewhere
(2008-04-06 23:02:49) fenn: i'm not sure if unit test is the right word, maybe 'compliance test' or 'interoperability test'
(2008-04-06 23:02:52) kanzure: http://en.wikipedia.org/wiki/Unit_testing
(2008-04-06 23:02:55) kanzure: ah
(2008-04-06 23:03:00) fenn: no, parsing should be the same
(2008-04-06 23:03:04) kanzure: nono
(2008-04-06 23:03:09) fenn: otherwise it turns into a Perl clusterfuck
(2008-04-06 23:03:18) kanzure: perl clusterfucking works for APT
(2008-04-06 23:03:26) kanzure: but I was not suggesting parser errors
(2008-04-06 23:03:37) kanzure: you'd be stupid to put that as a spec requirement
(2008-04-06 23:03:39) kanzure: heh
(2008-04-06 23:04:30) kanzure: so "what's built in" will have to be a way to specify dependencies or relations to other packages, I guess
(2008-04-06 23:04:56) kanzure: at some point we are going to have to restrict the possible types of relations between entities or functions or processes
(2008-04-06 23:05:13) kanzure: "depends on" "requires for execution" "is a child of"
(2008-04-06 23:05:16) fenn: i was thinking GNU 'units' would be a good set of functionality to start
(2008-04-06 23:05:24) kanzure: what are GNU units?
(2008-04-06 23:05:35) fenn: its a software program for converting between different units
(2008-04-06 23:05:42) fenn: like foot, meter, inch, micron
(2008-04-06 23:05:44) kanzure: http://www.gnu.org/software/units/
(2008-04-06 23:05:47) kanzure: ah
(2008-04-06 23:06:09) kanzure: no, I was thinking of the package file format standards
(2008-04-06 23:06:20) kanzure: but I suppose you are to
(2008-04-06 23:06:32) kanzure: so, the package deals with some sort of 'units'
(2008-04-06 23:06:37) kanzure: it has to be able to specify this for input/output
(2008-04-06 23:07:32) kanzure: specifying both a relation between pckg X and pckg Y while also speccing out the unit conversions
(2008-04-06 23:07:34) kanzure: is intense.
(2008-04-06 23:08:05) fenn: how else do you do it without simply specifying requires: package Y
(2008-04-06 23:08:22) kanzure: because there are different types of 'requirements'
(2008-04-06 23:08:29) kanzure: you can have a requirement for compiling the package and understanding it
(2008-04-06 23:08:34) kanzure: you can have a requirement for the final physical form
(2008-04-06 23:08:41) kanzure: just like a person-on-a-chair system requires the chair under the person
(2008-04-06 23:08:50) fenn: compiling? you mean building?
(2008-04-06 23:08:58) kanzure: nah, I mean preprocessing
(2008-04-06 23:09:03) fenn: i dont understand
(2008-04-06 23:09:17) kanzure: well, putting together a project usually means you're going to do some simulations first
(2008-04-06 23:09:19) fenn: are you talking about software or chunks of metal?
(2008-04-06 23:09:21) kanzure: or at least a verify-check
(2008-04-06 23:09:33) kanzure: both, since you have software on autogenix that represents the metal that you are placing together
(2008-04-06 23:09:46) kanzure: and then you have different types of 'require'ments in the final metal chunks you're putting together
(2008-04-06 23:09:58) kanzure: there are many types of 'require'
(2008-04-06 23:10:25) fenn: i'm gonna go out on a limb and say that software requirements are so easy to meet that we can ignore that for now
(2008-04-06 23:10:35) kanzure: huh? you can't ignore that in a specification
(2008-04-06 23:10:39) kanzure: that was the whole point of having a specification heh
(2008-04-06 23:11:11) kanzure: can you convince me of otherwise
(2008-04-06 23:11:52) fenn: package X has specifications in "quantum bogosity units" provided by libbogo
(2008-04-06 23:12:49) fenn: so when you have something which depends on bogosity (such as X) autogenix will consult libbogo. if the library is not installed it will be fetched by <insert software package manager here>
(2008-04-06 23:14:04) fenn: joe cell device: conflicts: bogons > 1.2 nanosuits
(2008-04-06 23:14:25) kanzure: package X will have to specify dependency on bogosity
(2008-04-06 23:14:42) kanzure: now, package X can also depend on package Y
(2008-04-06 23:14:47) kanzure: although is it really a package if it depends on other things?
(2008-04-06 23:14:49) kanzure: hrm
(2008-04-06 23:15:06) fenn: package X itself doesnt need bogosity, you just need bogosity code to interpret the specifications
(2008-04-06 23:15:32) kanzure: sure
(2008-04-06 23:15:45) fenn: that's implied from the way specs are structured
(2008-04-06 23:15:49) kanzure: you mean the physical implementation of package X, the final form, does not require bogosity
(2008-04-06 23:15:53) kanzure: bogosity is backend, i.e. preprocessing
(2008-04-06 23:17:02) fenn: i guess it could look like PHB side-effect: bogosity::bogons 1 suit
(2008-04-06 23:17:37) fenn: bogosity:: is the package
(2008-04-06 23:17:44) fenn: er..
(2008-04-06 23:17:51) fenn: bogosity:: is the code module
(2008-04-06 23:18:05) fenn: bogons is the unit type
(2008-04-06 23:18:10) fenn: suit is the unit
(2008-04-06 23:18:27) fenn: PHB is the package, which provides other functionality such as 'management'
(2008-04-06 23:18:41) kanzure: this is feeling more and more like the CPAN perl modules ... the perl modules for CPAN are uploaded in a wiki-like format, but with code as well, which is then downloaded. The code itself provides library
(2008-04-06 23:18:41) kanzure: functions. But in our case, the script would be the entire package, and would have various inputs and a standardized way of accessing the features and querying whatever it is that the package implements.
(2008-04-06 23:18:48) kanzure: hm
(2008-04-06 23:19:12) kanzure: I thought you were making a humorous remark: "PHB side-effect - they need 1 suit" with the rise of PHBs, but anyway
(2008-04-06 23:19:33) fenn: now maybe sometimes you do need software in order to build something, such as for example cad/cam files to run the cnc machine
(2008-04-06 23:19:39) kanzure: right
(2008-04-06 23:19:45) kanzure: I think it will always be the case
(2008-04-06 23:19:47) kanzure: suppose the case of a chair
(2008-04-06 23:19:55) kanzure: a chair-package can manage all of the various ways to specify the chair
(2008-04-06 23:19:59) kanzure: and have all sorts of fun parameters
(2008-04-06 23:20:11) kanzure: actually
(2008-04-06 23:20:24) kanzure: a chair would be a virtual reference to a set of operations to make a chair with other packages
(2008-04-06 23:20:25) fenn: pointy-haired-boss raises the local bogosity field
(2008-04-06 23:20:28) kanzure: such as lathes ands oon
(2008-04-06 23:20:32) kanzure: aha
(2008-04-06 23:20:56) fenn: sorry i couldnt think of a specialized unit
(2008-04-06 23:21:13) fenn: bogons might be useful anyway
(2008-04-06 23:21:22) fenn: er, the concept i mean
(2008-04-06 23:21:32) fenn: i guess you could have anti-bogons
(2008-04-06 23:22:21) fenn: "chair" could be an alias
(2008-04-06 23:22:41) fenn: or it could be a functionality provided by different models of chair
(2008-04-06 23:23:15) fenn: then autogenix solves which model of chair to use based on the constraints
(2008-04-06 23:23:16) kanzure: well, chair is really just an object formed by specific lathe motions and wood inputs
(2008-04-06 23:23:28) mechie: .
(2008-04-06 23:23:31) mechie: hahahahahahaha
(2008-04-06 23:23:33) kanzure: so chair itself should be a very small file, just stuff based off of human specs on movement
(2008-04-06 23:23:55) fenn: well, when you write the chair module you get to figure this stuff out
(2008-04-06 23:24:20) fenn: ejector seat provides chair, and also some other functions :)
(2008-04-06 23:25:26) fenn: also there's some parameter relating to how comfortable the chair is in newton*hours/dolor
(2008-04-06 23:25:51) fenn: a rock is a chair, for some low value of comfort
(2008-04-06 23:27:25) kanzure: so maybe we should just write down everything we can think about of a certain object or package that we envision
(2008-04-06 23:27:25) fenn: gnu units allows arbitrary unit definitions if you provide your own definition file
(2008-04-06 23:27:29) kanzure: and then revise it until it fits for a general case
(2008-04-06 23:27:33) kanzure: interesting
(2008-04-06 23:27:34) kanzure: that's good
(2008-04-06 23:28:08) fenn: i think specialized units should be based on functionality
(2008-04-06 23:28:23) fenn: whereas built-in should be physical properties
(2008-04-06 23:28:42) kanzure: it just seems like this is relying on a TOE
(2008-04-06 23:28:44) kanzure: sigh
(2008-04-06 23:28:44) fenn: there's only so many physical properties
(2008-04-06 23:28:57) kanzure: hey, what if we go steal file formats from other projects
(2008-04-06 23:29:01) kanzure: SBML for systems biology
(2008-04-06 23:29:03) kanzure: CAD for cad stuff
(2008-04-06 23:29:11) kanzure: and uhh, molecular biology has their own file format I believe
(2008-04-06 23:29:13) fenn: sure, that's part of the package's source code
(2008-04-06 23:29:15) kanzure: chemistry for their molecules (SMILES and so on)
(2008-04-06 23:29:43) fenn: i'm just talking about the "control" file, which determines logical relationships between packages
(2008-04-06 23:29:52) kanzure: hm
(2008-04-06 23:30:49) fenn: i guess you could look at the special-format data while traversing the dependency tree, but it might get really hairy (and slow)
(2008-04-06 23:31:20) fenn: obviously you can't compute everything from first principles
(2008-04-06 23:31:29) kanzure: yes, I was thinking we have to draw a line somewher
(2008-04-06 23:31:31) kanzure: *somewhere
(2008-04-06 23:32:02) kanzure: where engineering becomes a practice of "well, it's good enough" instead of "this will absolutely, in every aspect, work"
(2008-04-06 23:32:55) fenn: capability of becoming a TOE is better than being limited by arbitrary decisions in the beginning
(2008-04-06 23:33:08) fenn: doesnt mean you have to support everything
(2008-04-06 23:33:08) kanzure: true
(2008-04-06 23:33:14) kanzure: just being extensible enough
(2008-04-06 23:33:20) kanzure: so that our awkward thoughts here don't hinder us in the future
(2008-04-06 23:33:34) kanzure: I was thinking I need to go find a software engineer or computer scientist bulldog
(2008-04-06 23:33:43) kanzure: and bring him in here to help come up with some rocksolid specs
(2008-04-06 23:34:03) kanzure: I need some sleep, however
(2008-04-06 23:34:05) kanzure: g'night
(2008-04-06 23:34:10) fenn: the oscomak specs looked pretty bad
(2008-04-06 23:34:14) fenn: me too, night
(2008-04-06 23:34:20) kanzure: specs?
(2008-04-06 23:34:23) kanzure: I didn't see anything
(2008-04-06 23:34:26) fenn: their 'aluminum bolt'
(2008-04-06 23:34:30) kanzure: hm
(2008-04-06 23:34:41) fenn: http://kurtz-fernhout.com/oscomak/prototype.htm
(2008-04-06 23:36:35) kanzure: eh