Skip to main content

Home/ Advanced Concepts Team/ Group items tagged IT

Rss Feed Group items tagged

tvinko

Massively collaborative mathematics : Article : Nature - 28 views

  •  
    peer-to-peer theorem-proving
  • ...14 more comments...
  •  
    Or: mathematicians catch up with open-source software developers :)
  •  
    "Similar open-source techniques could be applied in fields such as [...] computer science, where the raw materials are informational and can be freely shared online." ... or we could reach the point, unthinkable only few years ago, of being able to exchange text messages in almost real time! OMG, think of the possibilities! Seriously, does the author even browse the internet?
  •  
    I do not agree with you F., you are citing out of context! Sharing messages does not make a collaboration, nor does a forum, .... You need a set of rules and a common objective. This is clearly observable in "some team", where these rules are lacking, making team work inexistent. The additional difficulties here are that it involves people that are almost strangers to each other, and the immateriality of the project. The support they are using (web, wiki) is only secondary. What they achieved is remarkable, disregarding the subject!
  •  
    I think we will just have to agree to disagree then :) Open source developers have been organizing themselves with emails since the early '90s, and most projects (e.g., the Linux kernel) still do not use anything else today. The Linux kernel mailing list gets around 400 messages per day, and they are managing just fine to scale as the number of contributors increases. I agree that what they achieved is remarkable, but it is more for "what" they achieved than "how". What they did does not remotely qualify as "massively" collaborative: again, many open source projects are managed collaboratively by thousands of people, and many of them are in the multi-million lines of code range. My personal opinion of why in the scientific world these open models are having so many difficulties is that the scientific community today is (globally, of course there are many exceptions) a closed, mostly conservative circle of people who are scared of changes. There is also the fact that the barrier of entry in a scientific community is very high, but I think that this should merely scale down the number of people involved and not change the community "qualitatively". I do not think that many research activities are so much more difficult than, e.g., writing an O(1) scheduler for an Operating System or writing a new balancing tree algorithm for efficiently storing files on a filesystem. Then there is the whole issue of scientific publishing, which, in its current form, is nothing more than a racket. No wonder traditional journals are scared to death by these open-science movements.
  •  
    here we go ... nice controversy! but maybe too many things mixed up together - open science journals vs traditional journals, conservatism of science community wrt programmers (to me one of the reasons for this might be the average age of both groups, which is probably more than 10 years apart ...) and then using emailing wrt other collaboration tools .... .... will have to look at the paper now more carefully ... (I am surprised to see no comment from José or Marek here :-)
  •  
    My point about your initial comment is that it is simplistic to infer that emails imply collaborative work. You actually use the word "organize", what does it mean indeed. In the case of Linux, what makes the project work is the rules they set and the management style (hierachy, meritocracy, review). Mailing is just a coordination mean. In collaborations and team work, it is about rules, not only about the technology you use to potentially collaborate. Otherwise, all projects would be successful, and we would noy learn management at school! They did not write they managed the colloboration exclusively because of wikipedia and emails (or other 2.0 technology)! You are missing the part that makes it successful and remarkable as a project. On his blog the guy put a list of 12 rules for this project. None are related to emails, wikipedia, forums ... because that would be lame and your comment would make sense. Following your argumentation, the tools would be sufficient for collaboration. In the ACT, we have plenty of tools, but no team work. QED
  •  
    the question on the ACT team work is one that is coming back continuously and it always so far has boiled down to the question of how much there need and should be a team project to which everybody inthe team contributes in his / her way or how much we should leave smaller, flexible teams within the team form and progress, more following a bottom-up initiative than imposing one from top-down. At this very moment, there are at least 4 to 5 teams with their own tools and mechanisms which are active and operating within the team. - but hey, if there is a real will for one larger project of the team to which all or most members want to contribute, lets go for it .... but in my view, it should be on a convince rather than oblige basis ...
  •  
    It is, though, indicative that some of the team member do not see all the collaboration and team work happening around them. We always leave the small and agile sub-teams to form and organize themselves spontaneously, but clearly this method leaves out some people (be it for their own personal attitude or be it for pure chance) For those cases which we could think to provide the possibility to participate in an alternative, more structured, team work where we actually manage the hierachy, meritocracy and perform the project review (to use Joris words).
  •  
    I am, and was, involved in "collaboration" but I can say from experience that we are mostly a sum of individuals. In the end, it is always one or two individuals doing the job, and other waiting. Sometimes even, some people don't do what they are supposed to do, so nothing happens ... this could not be defined as team work. Don't get me wrong, this is the dynamic of the team and I am OK with it ... in the end it is less work for me :) team = 3 members or more. I am personally not looking for a 15 member team work, and it is not what I meant. Anyway, this is not exactly the subject of the paper.
  •  
    My opinion about this is that a research team, like the ACT, is a group of _people_ and not only brains. What I mean is that people have feelings, hate, anger, envy, sympathy, love, etc about the others. Unfortunately(?), this could lead to situations, where, in theory, a group of brains could work together, but not the same group of people. As far as I am concerned, this happened many times during my ACT period. And this is happening now with me in Delft, where I have the chance to be in an even more international group than the ACT. I do efficient collaborations with those people who are "close" to me not only in scientific interest, but also in some private sense. And I have people around me who have interesting topics and they might need my help and knowledge, but somehow, it just does not work. Simply lack of sympathy. You know what I mean, don't you? About the article: there is nothing new, indeed. However, why it worked: only brains and not the people worked together on a very specific problem. Plus maybe they were motivated by the idea of e-collaboration. No revolution.
  •  
    Joris, maybe I made myself not clear enough, but my point was only tangentially related to the tools. Indeed, it is the original article mention of "development of new online tools" which prompted my reply about emails. Let me try to say it more clearly: my point is that what they accomplished is nothing new methodologically (i.e., online collaboration of a loosely knit group of people), it is something that has been done countless times before. Do you think that now that it is mathematicians who are doing it makes it somehow special or different? Personally, I don't. You should come over to some mailing lists of mathematical open-source software (e.g., SAGE, Pari, ...), there's plenty of online collaborative research going on there :) I also disagree that, as you say, "in the case of Linux, what makes the project work is the rules they set and the management style (hierachy, meritocracy, review)". First of all I think the main engine of any collaboration like this is the objective, i.e., wanting to get something done. Rules emerge from self-organization later on, and they may be completely different from project to project, ranging from almost anarchy to BDFL (benevolent dictator for life) style. Given this kind of variety that can be observed in open-source projects today, I am very skeptical that any kind of management rule can be said to be universal (and I am pretty sure that the overwhelming majority of project organizers never went to any "management school"). Then there is the social aspect that Tamas mentions above. From my personal experience, communities that put technical merit above everything else tend to remain very small and generally become irrelevant. The ability to work and collaborate with others is the main asset the a participant of a community can bring. I've seen many times on the Linux kernel mailing list contributions deemed "technically superior" being disregarded and not considered for inclusion in the kernel because it was clear that
  •  
    hey, just catched up the discussion. For me what is very new is mainly the framework where this collaborative (open) work is applied. I haven't seen this kind of working openly in any other field of academic research (except for the Boinc type project which are very different, because relying on non specialists for the work to be done). This raise several problems, and mainly the one of the credit, which has not really been solved as I read in the wiki (is an article is written, who writes it, what are the names on the paper). They chose to refer to the project, and not to the individual researchers, as a temporary solution... It is not so surprising for me that this type of work has been first done in the domain of mathematics. Perhaps I have an ideal view of this community but it seems that the result obtained is more important than who obtained it... In many areas of research this is not the case, and one reason is how the research is financed. To obtain money you need to have (scientific) credit, and to have credit you need to have papers with your name on it... so this model of research does not fit in my opinion with the way research is governed. Anyway we had a discussion on the Ariadnet on how to use it, and one idea was to do this kind of collaborative research; idea that was quickly abandoned...
  •  
    I don't really see much the problem with giving credit. It is not the first time a group of researchers collectively take credit for a result under a group umbrella, e.g., see Nicolas Bourbaki: http://en.wikipedia.org/wiki/Bourbaki Again, if the research process is completely transparent and publicly accessible there's no way to fake contributions or to give undue credit, and one could cite without problems a group paper in his/her CV, research grant application, etc.
  •  
    Well my point was more that it could be a problem with how the actual system works. Let say you want a grant or a position, then the jury will count the number of papers with you as a first author, and the other papers (at least in France)... and look at the impact factor of these journals. Then you would have to set up a rule for classifying the authors (endless and pointless discussions), and give an impact factor to the group...?
  •  
    it seems that i should visit you guys at estec... :-)
  •  
    urgently!! btw: we will have the ACT christmas dinner on the 9th in the evening ... are you coming?
Guido de Croon

Will robots be smarter than humans by 2029? - 2 views

  •  
    Nice discussion about the singularity. Made me think of drinking coffee with Luis... It raises some issues such as the necessity of embodiment, etc.
  • ...9 more comments...
  •  
    "Kurzweilians"... LOL. Still not sold on embodiment, btw.
  •  
    The biggest problem with embodiment is that, since the passive walkers (with which it all started), it hasn't delivered anything really interesting...
  •  
    The problem with embodiment is that it's done wrong. Embodiment needs to be treated like big data. More sensors, more data, more processing. Just putting a computer in a robot with a camera and microphone is not embodiment.
  •  
    I like how he attacks Moore's Law. It always looks a bit naive to me if people start to (ab)use it to make their point. No strong opinion about embodiment.
  •  
    @Paul: How would embodiment be done RIGHT?
  •  
    Embodiment has some obvious advantages. For example, in the vision domain many hard problems become easy when you have a body with which you can take actions (like looking at an object you don't immediately recognize from a different angle) - a point already made by researchers such as Aloimonos.and Ballard in the end 80s / beginning 90s. However, embodiment goes further than gathering information and "mental" recognition. In this respect, the evolutionary robotics work by for example Beer is interesting, where an agent discriminates between diamonds and circles by avoiding one and catching the other, without there being a clear "moment" in which the recognition takes place. "Recognition" is a behavioral property there, for which embodiment is obviously important. With embodiment the effort for recognizing an object behaviorally can be divided between the brain and the body, resulting in less computation for the brain. Also the article "Behavioural Categorisation: Behaviour makes up for bad vision" is interesting in this respect. In the field of embodied cognitive science, some say that recognition is constituted by the activation of sensorimotor correlations. I wonder to which extent this is true, and if it is valid for extremely simple creatures to more advanced ones, but it is an interesting idea nonetheless. This being said, if "embodiment" implies having a physical body, then I would argue that it is not a necessary requirement for intelligence. "Situatedness", being able to take (virtual or real) "actions" that influence the "inputs", may be.
  •  
    @Paul While I completely agree about the "embodiment done wrong" (or at least "not exactly correct") part, what you say goes exactly against one of the major claims which are connected with the notion of embodiment (google for "representational bottleneck"). The fact is your brain does *not* have resources to deal with big data. The idea therefore is that it is the body what helps to deal with what to a computer scientist appears like "big data". Understanding how this happens is key. Whether it is the problem of scale or of actually understanding what happens should be quite conclusively shown by the outcomes of the Blue Brain project.
  •  
    Wouldn't one expect that to produce consciousness (even in a lower form) an approach resembling that of nature would be essential? All animals grow from a very simple initial state (just a few cells) and have only a very limited number of sensors AND processing units. This would allow for a fairly simple way to create simple neural networks and to start up stable neural excitation patterns. Over time as complexity of the body (sensors, processors, actuators) increases the system should be able to adapt in a continuous manner and increase its degree of self-awareness and consciousness. On the other hand, building a simulated brain that resembles (parts of) the human one in its final state seems to me like taking a person who is just dead and trying to restart the brain by means of electric shocks.
  •  
    Actually on a neuronal level all information gets processed. Not all of it makes it into "conscious" processing or attention. Whatever makes it into conscious processing is a highly reduced representation of the data you get. However that doesn't get lost. Basic, low processed data forms the basis of proprioception and reflexes. Every step you take is a macro command your brain issues to the intricate sensory-motor system that puts your legs in motion by actuating every muscle and correcting every step deviation from its desired trajectory using the complicated system of nerve endings and motor commands. Reflexes which were build over the years, as those massive amounts of data slowly get integrated into the nervous system and the the incipient parts of the brain. But without all those sensors scattered throughout the body, all the little inputs in massive amounts that slowly get filtered through, you would not be able to experience your body, and experience the world. Every concept that you conjure up from your mind is a sort of loose association of your sensorimotor input. How can a robot understand the concept of a strawberry if all it can perceive of it is its shape and color and maybe the sound that it makes as it gets squished? How can you understand the "abstract" notion of strawberry without the incredibly sensible tactile feel, without the act of ripping off the stem, without the motor action of taking it to our mouths, without its texture and taste? When we as humans summon the strawberry thought, all of these concepts and ideas converge (distributed throughout the neurons in our minds) to form this abstract concept formed out of all of these many many correlations. A robot with no touch, no taste, no delicate articulate motions, no "serious" way to interact with and perceive its environment, no massive flow of information from which to chose and and reduce, will never attain human level intelligence. That's point 1. Point 2 is that mere pattern recogn
  •  
    All information *that gets processed* gets processed but now we arrived at a tautology. The whole problem is ultimately nobody knows what gets processed (not to mention how). In fact an absolute statement "all information" gets processed is very easy to dismiss because the characteristics of our sensors are such that a lot of information is filtered out already at the input level (e.g. eyes). I'm not saying it's not a valid and even interesting assumption, but it's still just an assumption and the next step is to explore scientifically where it leads you. And until you show its superiority experimentally it's as good as all other alternative assumptions you can make. I only wanted to point out is that "more processing" is not exactly compatible with some of the fundamental assumptions of the embodiment. I recommend Wilson, 2002 as a crash course.
  •  
    These deal with different things in human intelligence. One is the depth of the intelligence (how much of the bigger picture can you see, how abstract can you form concept and ideas), another is the breadth of the intelligence (how well can you actually generalize, how encompassing those concepts are and what is the level of detail in which you perceive all the information you have) and another is the relevance of the information (this is where the embodiment comes in. What you do is to a purpose, tied into the environment and ultimately linked to survival). As far as I see it, these form the pillars of human intelligence, and of the intelligence of biological beings. They are quite contradictory to each other mainly due to physical constraints (such as for example energy usage, and training time). "More processing" is not exactly compatible with some aspects of embodiment, but it is important for human level intelligence. Embodiment is necessary for establishing an environmental context of actions, a constraint space if you will, failure of human minds (i.e. schizophrenia) is ultimately a failure of perceived embodiment. What we do know is that we perform a lot of compression and a lot of integration on a lot of data in an environmental coupling. Imo, take any of these parts out, and you cannot attain human+ intelligence. Vary the quantities and you'll obtain different manifestations of intelligence, from cockroach to cat to google to random quake bot. Increase them all beyond human levels and you're on your way towards the singularity.
Francesco Biscani

STLport: An Interview with A. Stepanov - 2 views

  • Generic programming is a programming method that is based in finding the most abstract representations of efficient algorithms.
  • I spent several months programming in Java.
  • for the first time in my life programming in a new language did not bring me new insights
  • ...2 more annotations...
  • it has no intellectual value whatsoever
  • Java is clearly an example of a money oriented programming (MOP).
  •  
    One of the authors of the STL (C++'s Standard Template Library) explains generic programming and slams Java.
  • ...6 more comments...
  •  
    "Java is clearly an example of a money oriented programming (MOP)." Exactly. And for the industry it's the money that matters. Whatever mathematicians think about it.
  •  
    It is actually a good thing that it is "MOP" (even though I do not agree with this term): that is what makes it inter-operable, light and easy to learn. There is no point in writing fancy codes, if it does not bring anything to the end-user, but only for geeks to discuss incomprehensible things in forums. Anyway, I am pretty sure we can find a Java guy slamming C++ ;)
  •  
    Personally, I never understood what the point of Java is, given that: 1) I do not know of any developer (maybe Marek?) that uses it for intellectual pleasure/curiosity/fun whatever, given the possibility of choice - this to me speaks loudly on the objective qualities of the language more than any industrial-corporate marketing bullshit (for the record, I argue that Python is more interoperable, lighter and easier to learn than Java - which is why, e.g., Google is using it heavily); 2) I have used a software developed in Java maybe a total of 5 times on any computer/laptop I owned over 15 years. I cannot name of one single Java project that I find necessary or even useful; for my usage of computers, Java could disappear overnight without even noticing. Then of course one can argue as much as one wants about the "industry choosing Java", to which I would counterargue with examples of industry doing stupid things and making absurd choices. But I suppose it would be a kind of pointless discussion, so I'll just stop here :)
  •  
    "At Google, python is one of the 3 "official languages" alongside with C++ and Java". Java runs everywhere (the byte code itself) that is I think the only reason it became famous. Python, I guess, is more heavy if it were to run on your web browser! I think every language has its pros and cons, but I agree Java is not the answer to everything... Java is used in MATLAB, some web applications, mobile phones apps, ... I would be a bit in trouble if it were to disappear today :(
  •  
    I personally do not believe in interoperability :)
  •  
    Well, I bet you'd notice an overnight disappearance of java, because half of the internet would vanish... J2EE technologies are just omnipresent there... I'd rather not even *think* about developing a web application/webservice/web-whatever in standard C++... is it actually possible?? Perhaps with some weird Microsoft solutions... I bet your bank online services are written in Java. Certainly not in PHP+MySQL :) Industry has chosen Java not because of industrial-corporate marketing bullshit, but because of economics... it enables you develop robustly, reliably, error-prone, modular, well integrated etc... software. And the costs? Well, using java technologies you can set-up enterprise-quality web application servers, get a fully featured development environment (which is better than ANY C/C++/whatever development environment I've EVER seen) at the cost of exactly 0 (zero!) USD/GBP/EUR... Since many years now, the central issue in software development is not implementing algorithms, it's building applications. And that's where Java outperforms many other technologies. The final remark, because I may be mistakenly taken for an apostle of Java or something... I love the idea of generic programming, C++ is my favourite programming language (and I used to read Stroustroup before sleep), at leisure time I write programs in Python... But if I were to start a software development company, then, apart from some very niche applications like computer games, it most probably would use Java as main technology.
  •  
    "I'd rather not even *think* about developing a web application/webservice/web-whatever in standard C++... is it actually possible?? Perhaps with some weird Microsoft solutions... I bet your bank online services are written in Java. Certainly not in PHP+MySQL :)" Doing in C++ would be awesomely crazy, I agree :) But as I see it there are lots of huge websites that operate on PHP, see for instance Facebook. For the banks and the enterprise market, as a general rule I tend to take with a grain of salt whatever spin comes out from them; in the end behind every corporate IT decision there is a little smurf just trying to survive and have the back covered :) As they used to say in the old times, "No one ever got fired for buying IBM". "Industry has chosen Java not because of industrial-corporate marketing bullshit, but because of economics... it enables you develop robustly, reliably, error-prone, modular, well integrated etc... software. And the costs? Well, using java technologies you can set-up enterprise-quality web application servers, get a fully featured development environment (which is better than ANY C/C++/whatever development environment I've EVER seen) at the cost of exactly 0 (zero!) USD/GBP/EUR... Since many years now, the central issue in software development is not implementing algorithms, it's building applications. And that's where Java outperforms many other technologies." Apart from the IDE considerations (on which I cannot comment, since I'm not a IDE user myself), I do not see how Java beats the competition in this regard (again, Python and the huge software ecosystem surrounding it). My impression is that Java's success is mostly due to Sun pushing it like there is no tomorrow and bundling it with their hardware business.
  •  
    OK, I think there is a bit of everything, wrong and right, but you have to acknowledge that Python is not always the simplest. For info, Facebook uses Java (if you upload picture for instance), and PHP is very limited. So definitely, in company, engineers like you and me select the language, it is not a marketing or political thing. And in the case of fb, they come up with the conclusion that PHP, and Java don't do everything but complement each other. As you say Python as many things around, but it might be too much for simple applications. Otherwise, I would seriously be interested by a study of how to implement a Python-like system on-board spacecrafts and what are the advantages over mixing C, Ada and Java.
LeopoldS

David Miranda, schedule 7 and the danger that all reporters now face | Alan Rusbridger ... - 0 views

  •  
    During one of these meetings I asked directly whether the government would move to close down the Guardian's reporting through a legal route - by going to court to force the surrender of the material on which we were working. The official confirmed that, in the absence of handover or destruction, this was indeed the government's intention. Prior restraint, near impossible in the US, was now explicitly and imminently on the table in the UK. But my experience over WikiLeaks - the thumb drive and the first amendment - had already prepared me for this moment. I explained to the man from Whitehall about the nature of international collaborations and the way in which, these days, media organisations could take advantage of the most permissive legal environments. Bluntly, we did not have to do our reporting from London. Already most of the NSA stories were being reported and edited out of New York. And had it occurred to him that Greenwald lived in Brazil?

    The man was unmoved. And so one of the more bizarre moments in the Guardian's long history occurred - with two GCHQ security experts overseeing the destruction of hard drives in the Guardian's basement just to make sure there was nothing in the mangled bits of metal which could possibly be of any interest to passing Chinese agents. "We can call off the black helicopters," joked one as we swept up the remains of a MacBook Pro.

    Whitehall was satisfied, but it felt like a peculiarly pointless piece of symbolism that understood nothing about the digital age. We will continue to do patient, painstaking reporting on the Snowden documents, we just won't do it in London. The seizure of Miranda's laptop, phones, hard drives and camera will similarly have no effect on Greenwald's work.

    The state that is building such a formidable apparatus of surveillance will do its best to prevent journalists from reporting on it. Most journalists can see that. But I wonder how many have truly understood
  •  
    Sarah Harrison is a lawyer that has been staying with Snowden in Hong Kong and Moscow. She is a UK citizen and her family is there. After the miranda case where the boyfriend of the reporter was detained at the airport, can Sarah return safely home? Will her family be pressured by the secret service? http://www.bbc.co.uk/news/world-latin-america-23759834
Dario Izzo

Miguel Nicolelis Says the Brain Is Not Computable, Bashes Kurzweil's Singularity | MIT ... - 9 views

  •  
    As I said ten years ago and psychoanalysts 100 years ago. Luis I am so sorry :) Also ... now that the commission funded the project blue brain is a rather big hit Btw Nicolelis is a rather credited neuro-scientist
  • ...14 more comments...
  •  
    nice article; Luzi would agree as well I assume; one aspect not clear to me is the causal relationship it seems to imply between consciousness and randomness ... anybody?
  •  
    This is the same thing Penrose has been saying for ages (and yes, I read the book). IF the human brain proves to be the only conceivable system capable of consciousness/intelligence AND IF we'll forever be limited to the Turing machine type of computation (which is what the "Not Computable" in the article refers to) AND IF the brain indeed is not computable, THEN AI people might need to worry... Because I seriously doubt the first condition will prove to be true, same with the second one, and because I don't really care about the third (brains is not my thing).. I'm not worried.
  •  
    In any case, all AI research is going in the wrong direction: the mainstream is not on how to go beyond Turing machines, rather how to program them well enough ...... and thats not bringing anywhere near the singularity
  •  
    It has not been shown that intelligence is not computable (only some people saying the human brain isn't, which is something different), so I wouldn't go so far as saying the mainstream is going in the wrong direction. But even if that indeed was the case, would it be a problem? If so, well, then someone should quickly go and tell all the people trading in financial markets that they should stop using computers... after all, they're dealing with uncomputable undecidable problems. :) (and research on how to go beyond Turing computation does exist, but how much would you want to devote your research to a non existent machine?)
  •  
    [warning: troll] If you are happy with developing algorithms that serve the financial market ... good for you :) After all they have been proved to be useful for humankind beyond any reasonable doubt.
  •  
    Two comments from me: 1) an apparently credible scientist takes Kurzweil seriously enough to engage with him in polemics... oops 2) what worries me most, I didn't get the retail store pun at the end of article...
  •  
    True, but after Google hired Kurzweil he is de facto being taken seriously ... so I guess Nicolelis reacted to this.
  •  
    Crazy scientist in residence... interesting marketing move, I suppose.
  •  
    Unfortunately, I can't upload my two kids to the cloud to make them sleep, that's why I comment only now :-). But, of course, I MUST add my comment to this discussion. I don't really get what Nicolelis point is, the article is just too short and at a too popular level. But please realize that the question is not just "computable" vs. "non-computable". A system may be computable (we have a collection of rules called "theory" that we can put on a computer and run in a finite time) and still it need not be predictable. Since the lack of predictability pretty obviously applies to the human brain (as it does to any sufficiently complex and nonlinear system) the question whether it is computable or not becomes rather academic. Markram and his fellows may come up with a incredible simulation program of the human brain, this will be rather useless since they cannot solve the initial value problem and even if they could they will be lost in randomness after a short simulation time due to horrible non-linearities... Btw: this is not my idea, it was pointed out by Bohr more than 100 years ago...
  •  
    I guess chaos is what you are referring to. Stuff like the Lorentz attractor. In which case I would say that the point is not to predict one particular brain (in which case you would be right): any initial conditions would be fine as far as any brain gets started :) that is the goal :)
  •  
    Kurzweil talks about downloading your brain to a computer, so he has a specific brain in mind; Markram talks about identifying neural basis of mental diseases, so he has at least pretty specific situations in mind. Chaos is not the only problem, even a perfectly linear brain (which is not a biological brain) is not predictable, since one cannot determine a complete set of initial conditions of a working (viz. living) brain (after having determined about 10% the brain is dead and the data useless). But the situation is even worse: from all we know a brain will only work with a suitable interaction with its environment. So these boundary conditions one has to determine as well. This is already twice impossible. But the situation is worse again: from all we know, the way the brain interacts with its environment at a neural level depends on his history (how this brain learned). So your boundary conditions (that are impossible to determine) depend on your initial conditions (that are impossible to determine). Thus the situation is rather impossible squared than twice impossible. I'm sure Markram will simulate something, but this will rather be the famous Boltzmann brain than a biological one. Boltzman brains work with any initial conditions and any boundary conditions... and are pretty dead!
  •  
    Say one has an accurate model of a brain. It may be the case that the initial and boundary conditions do not matter that much in order for the brain to function an exhibit macro-characteristics useful to make science. Again, if it is not one particular brain you are targeting, but the 'brain' as a general entity this would make sense if one has an accurate model (also to identify the neural basis of mental diseases). But in my opinion, the construction of such a model of the brain is impossible using a reductionist approach (that is taking the naive approach of putting together some artificial neurons and connecting them in a huge net). That is why both Kurzweil and Markram are doomed to fail.
  •  
    I think that in principle some kind of artificial brain should be feasible. But making a brain by just throwing together a myriad of neurons is probably as promising as throwing together some copper pipes and a heap of silica and expecting it to make calculations for you. Like in the biological system, I suspect, an artificial brain would have to grow from a small tiny functional unit by adding neurons and complexity slowly and in a way that in a stable way increases the "usefulness"/fitness. Apparently our brain's usefulness has to do with interpreting inputs of our sensors to the world and steering the body making sure that those sensors, the brain and the rest of the body are still alive 10 seconds from now (thereby changing the world -> sensor inputs -> ...). So the artificial brain might need sensors and a body to affect the "world" creating a much larger feedback loop than the brain itself. One might argue that the complexity of the sensor inputs is the reason why the brain needs to be so complex in the first place. I never quite see from these "artificial brain" proposals in how far they are trying to simulate the whole system and not just the brain. Anyone? Or are they trying to simulate the human brain after it has been removed from the body? That might be somewhat easier I guess...
  •  
    Johannes: "I never quite see from these "artificial brain" proposals in how far they are trying to simulate the whole system and not just the brain." In Artificial Life the whole environment+bodies&brains is simulated. You have also the whole embodied cognition movement that basically advocates for just that: no true intelligence until you model the system in its entirety. And from that you then have people building robotic bodies, and getting their "brains" to learn from scratch how to control them, and through the bodies, the environment. Right now, this is obviously closer to the complexity of insect brains, than human ones. (my take on this is: yes, go ahead and build robots, if the intelligence you want to get in the end is to be displayed in interactions with the real physical world...) It's easy to dismiss Markram's Blue Brain for all their clever marketing pronouncements that they're building a human-level consciousness on a computer, but from what I read of the project, they seem to be developing a platfrom onto which any scientist can plug in their model of a detail of a detail of .... of the human brain, and get it to run together with everyone else's models of other tiny parts of the brain. This is not the same as getting the artificial brain to interact with the real world, but it's a big step in enabling scientists to study their own models on more realistic settings, in which the models' outputs get to effect many other systems, and throuh them feed back into its future inputs. So Blue Brain's biggest contribution might be in making model evaluation in neuroscience less wrong, and that doesn't seem like a bad thing. At some point the reductionist approach needs to start moving in the other direction.
  •  
    @ Dario: absolutely agree, the reductionist approach is the main mistake. My point: if you take the reductionsit approach, then you will face the initial and boundary value problem. If one tries a non-reductionist approach, this problem may be much weaker. But off the record: there exists a non-reductionist theory of the brain, it's called psychology... @ Johannes: also agree, the only way the reductionist approach could eventually be successful is to actually grow the brain. Start with essentially one neuron and grow the whole complexity. But if you want to do this, bring up a kid! A brain without body might be easier? Why do you expect that a brain detached from its complete input/output system actually still works. I'm pretty sure it does not!
  •  
    @Luzi: That was exactly my point :-)
LeopoldS

Global Innovation Commons - 4 views

  •  
    nice initiative!
  • ...6 more comments...
  •  
    Any viral licence is a bad license...
  •  
    I'm pretty confident I'm about to open a can of worms, but mind explaining why? :)
  •  
    I am less worried about the can of worms ... actually eager to open it ... so why????
  •  
    Well, the topic GPL vs other open-source licenses (e.g., BSD, MIT, etc.) is old as the internet and it has provided material for long and glorious flame wars. The executive summary is that the GPL license (the one used by Linux) is a license which imposes some restrictions on the way you are allowed to (re)use the code. Specifically, if you re-use or modify GPL code and re-distribute it, you are required to make it available again under the GPL license. It is called "viral" because once you use a bit of GPL code, you are required to make the whole application GPL - so in this sense GPL code replicates like a virus. On the other side of the spectrum, there are the so-called BSD-like licenses which have more relaxed requirements. Usually, the only obligation they impose is to acknowledge somewhere (e.g., in a README file) that you have used some BSD code and who wrote it (this is called "attribution clause"), but they do not require to re-distribute the whole application under the same license. GPL critics usually claim that the license is not really "free" because it does not allow you to do whatever you want with the code without restrictions. GPL proponents claim that the requirements imposed by the GPL are necessary to safeguard the freedom of the code, in order to avoid being able to re-use GPL code without giving anything back to the community (which the BSD license allow: early versions of Microsoft Windows, for instance, had the networking code basically copy-pasted from BSD-licensed versions of Unix). In my opinion (and this point is often brought up in the debates) the division pro/against GPL mirrors somehow the division between anti/pro anarchism. Anarchists claim that the only way to be really free is the absence of laws, while non-anarchist maintain that the only practical way to be free is to have laws (which by definition limit certain freedoms). So you can see how the topic can quickly become inflammatory :) GPL at the current time is used by aro
  •  
    whoa, the comment got cut off. Anyway, I was just saying that at the present time the GPL license is used by around 65% of open source projects, including the Linux kernel, KDE, Samba, GCC, all the GNU utils, etc. The topic is much deeper than this brief summary, so if you are interested in it, Leopold, we can discuss it at length in another place.
  •  
    Thanks for the record long comment - am sure that this is longest ever made to an ACT diigo post! On the topic, I would rather lean for the GPL license (which I also advocated for the Marek viewer programme we put on source forge btw), mainly because I don't trust that open source is by nature delivering a better product and thus will prevail but I still would like to succeed, which I am not sure it would if there were mainly BSD like licenses around. ... but clearly, this is an outsider talking :-)
  •  
    btw: did not know the anarchist penchant of Marek :-)
  •  
    Well, not going into the discussion about GPL/BSD, the viral license in this particular case in my view simply undermines the "clean and clear" motivations of the initiative authors - why should *they* be credited for using something they have no rights for? And I don't like viral licences because they prevent using things released under this licence to all those people who want to release their stuff under a different licence, thus limiting the usefulness of the stuff released on that licence :) BSD is not a perfect license too, it also had major flaws And I'm not an anarchist, lol
Thijs Versloot

Time 'Emerges' from #Quantum Entanglement #arXiv - 1 views

  •  
    Time is an emergent phenomenon that is a side effect of quantum entanglement, say physicists. And they have the first exprimental results to prove it
  • ...5 more comments...
  •  
    I always feel like people make too big a deal out of entanglement. In my opinion it is just a combination of a conserved quantity and an initial lack of knowledge. Imagine that I had a machine that always creates one blue and one red ping-pong ball at the same time (|b > and |r > respectively). The machine now puts both balls into identical packages (so I cannot observe them) and one of the packages is sent to Tokio. I did not know which ball was sent to Tokio and which stayed with me - they are in a superposition (|br >+|rb >), meaning that either the blue ball is with me and the red one in Tokio or vice versa - they are entangled. So far no magic has happened. Now I call my friend in Tokio who got the ball: "What color was the ball you received in that package?" He replies: "The ball that I got was blue. Why did you send me ball in the first place?" Now, the fact that he told me makes the superpositon wavefunction collapse (yes, that is what the Copenhagen interpretation would tell us). As a result I know without opening my box that it contains a red ball. But this is really because there is an underlying conservation law and because now I know the other state. I don't see how just looking at the conserved quantity I am in a timeless state outside of the 'universe' - this is just one way of interpreting it. By the way, the wave function for my box with the undetermined ball does not collapse when the other ball is observed by my friend in Tokio. Only when he tells me does the wavefunction collapse - he did not even know that I had a complementary ball. On the other hand if he knew about the way the experiment was conducted then he would have known that I had to have a red ball - the wavefunction collapses as soon as he observed his ball. For him it is determined that my ball must be red. For me however the superposition is intact until he tells me. ;-)
  •  
    Sorry, Johannes, you just develop a simple hidden-parameters theory and it's experimentally proven that these don't work. Entangeled states are neither the blue nor the red ball they are really bluered (or redblue) till the point the measurement is done.
  •  
    Hm, to me this looks like a bad joke... The "emergent time" concept used is still the old proposal by Page and Whotters where time emerges from something fundamentally unobservable (the wave function of the Universe). That's as good as claiming that time emerges from God. If I understand correctly, the paper now deals with the situation where a finite system is taken as "Mini-Universe" and the experimentalist in the lab can play "God of the Mini-Universe". This works, of course, but it doesn't really tell us anything about emergent time, does it?
  •  
    Actually, it has not been proven conclusively that hidden variable theories don' work - although this is the opinion of most physicists these days. But a non-local hidden variable would still be allowed - I don't see why that could not be equivalent to a conserved quantity within the system. As far as the two balls go it is fine to say they are undetermined instead of saying they are in bluered or redblue state - for all intents and purposes it does not affect us (because if it would the wavefunction would have collapsed) so we can't say anything about it in the first place.
  •  
    Non-local hidden variables may work, but in my opinion they don't add anything to the picture. The (at least to non-physicists) contraintuitive fact that there cannot be a variable that determines ab initio the color of the ball going to Tokio will remain (in your example this may not even be true since the example is too simple...).
  •  
    I guess I tentatively agree with you on both points. In the end there might anyway be surprisingly little overlap between the way that we describe what nature does and HOW it does it... :-D
  •  
    Congratulations! 100% agree.
LeopoldS

Schumpeter: More than just a game | The Economist - 3 views

  •  
    remember the discussion I tried to trigger in the team a few weeks ago ...
  • ...5 more comments...
  •  
    main quote I take from the article: "gamification is really a cover for cynically exploiting human psychology for profit"
  •  
    I would say that it applies to management in general :-)
  •  
    which is exactly why it will never work .... and surprisingly "managers" fail to understand this very simple fact.
  •  
    ... "gamification is really a cover for cynically exploiting human psychology for profit" --> "Why Are Half a Million People Poking This Giant Cube?" http://www.wired.com/gamelife/2012/11/curiosity/
  •  
    I think the "essence" of the game is its uselessness... workers need exactly the inverse, to find a meaning in what they do !
  •  
    I love the linked article provided by Johannes! It expresses very elegantly why I still fail to understand even extremely smart and busy people in my view apparently waiting their time in playing computer games - but I recognise that there is something in games that we apparently need / gives us something we cherish .... "In fact, half a million players so far have registered to help destroy the 64 billion tiny blocks that compose that one gigantic cube, all working in tandem toward a singular goal: discovering the secret that Curiosity's creator says awaits one lucky player inside. That's right: After millions of man-hours of work, only one player will ever see the center of the cube. Curiosity is the first release from 22Cans, an independent game studio founded earlier this year by Peter Molyneux, a longtime game designer known for ambitious projects like Populous, Black & White and Fable. Players can carve important messages (or shameless self-promotion) onto the face of the cube as they whittle it to nothing. Image: Wired Molyneux is equally famous for his tendency to overpromise and under-deliver on his games. In 2008, he said that his upcoming game would be "such a significant scientific achievement that it will be on the cover of Wired." That game turned out to be Milo & Kate, a Kinect tech demo that went nowhere and was canceled. Following this, Molyneux left Microsoft to go indie and form 22Cans. Not held back by the past, the Molyneux hype train is going full speed ahead with Curiosity, which the studio grandiosely promises will be merely the first of 22 similar "experiments." Somehow, it is wildly popular. The biggest challenge facing players of Curiosity isn't how to blast through the 2,000 layers of the cube, but rather successfully connecting to 22Cans' servers. So many players are attempting to log in that the server cannot handle it. Some players go for utter efficiency, tapping rapidly to rack up combo multipliers and get more
  •  
    why are video games so much different than collecting stamps or spotting birds or planes ? One could say they are all just hobbies
Luís F. Simões

Shell energy scenarios to 2050 - 6 views

  •  
    just in case you were feeling happy and optimistic
  • ...7 more comments...
  •  
    An energy scenario published by an oil company? Allow me to be sceptical...
  •  
    Indeed, Shell is an energy company, not just oil, for some time now ... The two scenarii are, in their approach, dependant of economic and political situation, which is right now impossible to forecast. Reference to Kyoto is surprising, almost out-dated! But overall, I find it rather optimistic at some stages, and probably the timeline (p37-39) is unlikely with recent events.
  •  
    the report was published in 2008, which explains the reference to Kyoto, as the follow-up to it was much more uncertain at that point. The Blueprint scenario is indeed optimistic, but also quite unlikely I'd say. I don't see humanity suddenly becoming so wise and coordinated. Sadly, I see something closer to the Scramble scenario as much more likely to occur.
  •  
    not an oil company??? please have a look at the percentage of their revenues coming from oil and gas and then compare this with all their other energy activities together and you will see very quickly that it is only window dressing ... they are an oil and gas company ... and nothing more
  •  
    not JUST oil. From a description: "Shell is a global group of energy and petrochemical companies." Of course revenues coming from oil are the biggest, the investment turnover on other energy sources is small for now. Knowing that most of their revenues is from an expendable source, to guarantee their future, they invest elsewhere. They have invested >1b$ in renewable energy, including biofuels. They had the largest wind power business among so-called "oil" companies. Oil only defines what they do "best". As a comparison, some time ago, Apple were selling only computers and now they sell phones. But I would not say Apple is just a phone company.
  •  
    window dressing only ... e.g. Net cash from operating activities (pre-tax) in 2008: 70 Billion$ net income in 2008: 26 Billion revenues in 2008: 88 Billion Their investments and revenues in renewables don't even show up in their annual financial reports since probably they are under the heading of "marketing" which is already 1.7 Billion $ ... this is what they report on their investments: Capital investment, portfolio actions and business development Capital investment in 2009 was $24 billion. This represents a 26% decrease from 2008, which included over $8 billion in acquisitions, primarily relating to Duvernay Oil Corp. Capital investment included exploration expenditure of $4.5 billion (2008: $11.0 billion). In Abu Dhabi, Shell signed an agreement with Abu Dhabi National Oil Company to extend the GASCO joint venture for a further 20 years. In Australia, Shell and its partners took the final investment decision (FID) for the Gorgon LNG project (Shell share 25%). Gorgon will supply global gas markets to at least 2050, with a capacity of 15 million tonnes (100% basis) of LNG per year and a major carbon capture and storage scheme. Shell has announced a front-end engineering and design study for a floating LNG (FLNG) project, with the potential to deploy these facilities at the Prelude offshore gas discovery in Australia (Shell share 100%). In Australia, Shell confirmed that it has accepted Woodside Petroleum Ltd.'s entitlement offer of new shares at a total cost of $0.8 billion, maintaining its 34.27% share in the company; $0.4 billion was paid in 2009 with the remainder paid in 2010. In Bolivia and Brazil, Shell sold its share in a gas pipeline and in a thermoelectric power plant and its related assets for a total of around $100 million. In Canada, the Government of Alberta and the national government jointly announced their intent to contribute $0.8 billion of funding towards the Quest carbon capture and sequestration project. Quest, which is at the f
  •  
    thanks for the info :) They still have their 50% share in the wind farm in Noordzee (you can see it from ESTEC on a clear day). Look for Shell International Renewables, other subsidiaries and joint-ventures. I guess, the report is about the oil branch. http://sustainabilityreport.shell.com/2009/servicepages/downloads/files/all_shell_sr09.pdf http://www.noordzeewind.nl/
  •  
    no - its about Shell globally - all Shell .. these participations are just peanuts please read the intro of the CEO in the pdf you linked to: he does not even mention renewables! their entire sustainability strategy is about oil and gas - just making it (look) nicer and environmentally friendlier
  •  
    Fair enough, for me even peanuts are worthy and I am not able to judge. Not all big-profit companies, like Shell, are evil :( Look in the pdf what is in the upstream and downstream you mentionned above. Non-shell sources for examples and more objectivity: http://www.nuon.com/company/Innovative-projects/noordzeewind.jsp http://www.e-energymarket.com/news/single-news/article/ferrari-tops-bahrain-gp-using-shell-biofuel.html thanks.
johannessimon81

Google combines skycrane, VTOL and lifting wing to make drone deliveries - 6 views

  •  
    Nice video featuring the technology. Plus it comes with a good soundtrack! Google's project wing uses a lifting wing concept (more fuel efficient than normal airplane layouts and MUCH more efficient than quadrocopters) but it equips the plane with engines strong enough to hover in a nose up position, allowing vertical landing and takeoff. For the delivery of packages the drone does not even need to land - it can lower them on a wire - much like the skycrane concept used to deliver the Curiosity rover on Mars. Not sure if the skycrane is really necessary but it is certainly cool. Anyways, the video is great for its soundtrack alone! ;-P
  • ...4 more comments...
  •  
    could we just use genetic algorithms to evolve these shapes and layouts? :P
  •  
    > Not sure if the skycrane is really necessary but it is certainly cool. I think apart from coolness using a skycrane helps keep the rotating knives away from the recipient...
  •  
    Honest question, are we ever going to see this in practice? I mean besides some niche application somewhere, isn't it fundamentally flawed or do I need to keep my window opened on the 3rd floor without a balcony when I ordered something from DX? Its pretty cool yes, but practical?
  •  
    Package delivery is indeed more complicated than it may seem at first sight, although solutions are possible for instance by restricting delivery to distribution centers. What we really need of course is some really efficient and robust AI to navigate without any problems in urban areas : ) The hybrid is interesting since it combines the advantage of a Vertical Takeoff and Landing (and hover), and a wing for more efficient forward flight. Challenges lie in the control of the vehicle under any angle and all that this entails also for higher levels of control. Our lab has first used this concept a few years ago for the DARPA UAVforge challenge, and we had two hybrids in our entry last year for the IMAV 2013 (for some shaky images: https://www.youtube.com/watch?v=Z7XgRK7pMoU ).
  •  
    Fair enough, but even if you consider advanced/robust/efficient AI, why would you use a drone? Do we envision hundreds of drones above our heads in the street instead of UPS vans, or postmen, considering delivers letters might be more easily achievable. I am not so sure if personal delivery will take this route. On the other hand, if the system would work smoothly, I can image that I'm send a mail with the question whether I'm home (or they might know already from my personal GPS tracker) and then notify me that they are launching my DVD and it will come crashing into my door in 5min.
  •  
    I'm more curios how they're planning to keep people from stealing the drones. I could do with a drone army myself and having cheap amazon or google drones flying about sounds like a decent source.
Dario Izzo

Optimal Control Probem in the CR3BP solved!!! - 7 views

  •  
    This guy solved a problem many people are trying to solve!!! The optimal control problem for the three body problem (restricted, circular) can be solved using continuation of the secondary gravity parameter and some clever adaptation of the boundary conditions!! His presentation was an eye opener ... making the work of many pretty useless now :)
  • ...13 more comments...
  •  
    Riemann hypothesis should be next... Which paper on the linked website is this exactly?
  •  
    hmmm, last year at the AIAA conference in Toronto I presented a continuation approach to design a DRO (three-body problem). Nothing new here unfortunately. I know the work of Caillau, although interesting what is presented was solved 10 years ago by others. The interest of his work is not in the applications (CR3BP), but in the research of particular regularity conditions that unfortunately make the problem limited practically. Look also at the work of Mingotti, Russel, Topputo and other for the (C)RTBP. Smart-One inspired a bunch of researchers :)
  •  
    Topputo and some of the others 'inspired' researchers you mention are actually here at the conference and they are all quite depressed :) Caillau really solves the problem: as a one single phase transfer, no tricks, no misconvergence, in general and using none of the usual cheats. What was produced so far by other were only local solutions valid for the particular case considered. In any case I will give him your paper, so that he knows he is working on already solved stuff :)
  •  
    Answer to Marek: the paper you may look at is: Discrete and differential homotopy in circular restricted three-body control
  •  
    Ah! with one single phase and a first order method then it is amazing (but it is still just the very particular CRTBP case). The trick is however the homotopy map he selected! Why this one? Any conjugate point? Did I misunderstood the title ? I solved in one phase with second order methods for the less restrictive problem RTBP or simply 3-body... but as a strict answer to your title the problem has been solved before. Nota: In "Russell, R. P., "Primer Vector Theory Applied to Global Low-Thrust Trade Studies," JGCD, Vol. 30, No. 2", he does solve the RTBP with a first order method in one phase.
  •  
    I think what is interesting is not what he solved, but how he solved the problem. But, are means more important than end ... I dunno
  •  
    I also loved his method, and it looked to me that is far more general than the CRTBP. As for the title of this post, OK maybe it is an exageration as it suggests that no solution was ever given before, on the other end, as Marek would say "come on guys!!!!!"
  •  
    The generality has to be checked. Don't you think his choice of mapping is too specific? he doesn't really demonstrate it works better than other. In addition, the minimum time choice make the problem very regular (i guess you've experienced that solving min time is much easier than mass max, optimality-wise). There is still a long way before maximum mass+RTBP, Topputo et al should be re-assured :p Did you give him my paper, he may find it interesting since I mention the homotopy on mu but for max mass:)
  •  
    Joris, that is the point I was excited abut, at the conference HE DID present solutions to the maximum mass problem!! One phase, from LEO to an orbit around the moon .. amazing :) You will find his presentation on line.... (according to the organizers) I gave him the reference to you paper anyway, but no pdf though as you did not upload it on our web pages and I could not find it in the web. So I gave him some bibliography I had with be from the russians, and from Russell, Petropoulos and Howell, As far as I know these are the only ones that can hope to compete with this guy!!
  •  
    for info only, my phd, in one phase: http://pdf.aiaa.org/preview/CDReadyMAST08_1856/PV2008_7363.pdf I prefered Mars than the dead rock Moon though!
  •  
    If you send me the pdf I can give it to the guy .. the link you gave contains only the first page ... (I have no access till monday to the AIAA thingy)
  •  
    this is why I like this Diigo thingy so much more than delicious ...
  •  
    What do you mean by this comment, Leopold? ;-) Jokes apart: I am following the Diigo thingy with Google Reader (rss). Obviously, I am getting the new postings. But if someone later on adds a comment to a post, then I can miss it, because the rss doesn't get updated. Not that it's a big problem, but do you guys have a better solution for this? How are you following these comments? (I know that if you have commented an entry, then you get the later updates in email.) (For example, in google reader I can see only the first 5 comments in this entry.)
  •  
    I like when there are discussions evolving around entries
  •  
    and on your problem with the RSS Tamas: its the same for me, you get the comments only for entries that you have posted or that you have commented on ...
Dario Izzo

Probabilistic Logic Allows Computer Chip to Run Faster - 3 views

  •  
    Francesco pointed out this research one year ago, we dropped it as noone was really considering it ... but in space a low CPU power consumption is crucial!! Maybe we should look back into this?
  • ...6 more comments...
  •  
    Q1: For the time being, for what purposes computers are mainly used on-board?
  •  
    for navigation, control, data handling and so on .... why?
  •  
    Well, because the point is to identify an application in which such computers would do the job... That could be either an existing application which can be done sufficiently well by such computers or a completely new application which is not already there for instance because of some power consumption constraints... Q2 would be then: for which of these purposes strict determinism of the results is not crucial? As the answer to this may not be obvious, a potential study could address this very issue. For instance one can consider on-board navigation systems with limited accuracy... I may be talking bullshit now, but perhaps in some applications it doesn't matter whether a satellite flies on the exact route but +/-10km to the left/right? ...and so on for the other systems. Another thing is understanding what exactly this probabilistic computing is, and what can be achieved using it (like the result is probabilistic but falls within a defined range of precision), etc. Did they build a complete chip or at least a sub-circiut, or still only logic gates...
  •  
    Satellites use old CPUs also because with the trend of going for higher power modern CPUs are not very convenient from a system design point of view (TBC)... as a consequence the constraints put on on-board algorithms can be demanding. I agree with you that double precision might just not be necessary for a number of applications (navigation also), but I guess we are not talking about 10km as an absolute value, rather to a relative error that can be tolerated at level of (say) 10^-6. All in all you are right a first study should assess what application this would be useful at all.. and at what precision / power levels
  •  
    The interest of this can be a high fault tolerance for some math operations, ... which would have for effect to simplify the job of coders! I don't think this is a good idea regarding power consumption for CPU (strictly speaking). The reason we use old chip is just a matter of qualification for space, not power. For instance a LEON Sparc (e.g. use on some platform for ESA) consumes something like 5mW/MHz so it is definitely not were an engineer will look for some power saving considering a usual 10-15kW spacecraft
  •  
    What about speed then? Seven time faster could allow some real time navigation at higher speed (e.g. velocity of a terminal guidance for an asteroid impactor is limited to 10 km/s ... would a higher velocity be possible with faster processors?) Another issue is the radiation tolerance of the technology ... if the PCMOS are more tolerant to radiation they could get more easily space qualified.....
  •  
    I don't remember what is the speed factor, but I guess this might do it! Although, I remember when using an IMU that you cannot have the data above a given rate (e.g. 20Hz even though the ADC samples the sensor at a little faster rate), so somehow it is not just the CPU that must be re-thought. When I say qualification I also imply the "hardened" phase.
  •  
    I don't know if the (promised) one-order-of-magnitude improvements in power efficiency and performance are enough to justify looking into this. For once, it is not clear to me what embracing this technology would mean from an engineering point of view: does this technology need an entirely new software/hardware stack? If that were the case, in my opinion any potential benefit would be nullified. Also, is it realistic to build an entire self-sufficient chip on this technology? While the precision of floating point computations may be degraded and still be useful, how does all this play with integer arithmetic? Keep in mind that, e.g., in the Linux kernel code floating-point calculations are not even allowed/available... It is probably possible to integrate an "accelerated" low-accuracy floating-point unit together with a traditional CPU, but then again you have more implementation overhead creeping in. Finally, recent processors by Intel (e.g., the Atom) and especially ARM boast really low power-consumption levels, at the same time offering performance-boosting features such as multi-core and vectorization capabilities. Don't such efforts have more potential, if anything because of economical/industrial inertia?
Juxi Leitner

Google's Go: A New Programming Language That's Python Meets C++ - 6 views

  •  
    Big news for developers out there: Google has just announced the release of a new, open sourced programming language called Go. The company ...
  • ...2 more comments...
  •  
    Ugh... no operator overloading, no efficient generic programming and no lambda expressions... Only time will tell, but I don't understand who the intended audience is: I think that Python guys won't care about the (supposedly) increased performance (and you can interface C/C++ with Python easily) and that C++ programmers (I mean, the hardcore serious C++ Boost-like programmers, no the Java-like whiners :P) won't have their beloved templates pried from their cold dead hands with ease.
  •  
    yeah though I think especially operator overloading is not going to be a main problem, it is as with the JS library though quite thinkable that lots of users will switch or use it (or being put to use it...) because it is done by Google
  •  
    Having Google backing it will certainly help, even though they are presenting it as a "system level" (i.e., hard-core) language, and in that domain it is much more difficult to bullshit your way to a position of relevance. Look at Java: Sun pushed it like hell and it is certainly widely used in many contexts (corporate, web and embedded markets mostly), yet it completely failed to win the hearts of "open-source" developers (or, more generally, of those developers who are not forced to use it by virtue of some management-driven decision).
  •  
    "or, more generally, of those developers who are not forced to use it by virtue of some management-driven decision" completely agree with that!!
LeopoldS

Operation Socialist: How GCHQ Spies Hacked Belgium's Largest Telco - 4 views

  •  
    interesting story with many juicy details on how they proceed ... (similarly interesting nickname for the "operation" chosen by our british friends) "The spies used the IP addresses they had associated with the engineers as search terms to sift through their surveillance troves, and were quickly able to find what they needed to confirm the employees' identities and target them individually with malware. The confirmation came in the form of Google, Yahoo, and LinkedIn "cookies," tiny unique files that are automatically placed on computers to identify and sometimes track people browsing the Internet, often for advertising purposes. GCHQ maintains a huge repository named MUTANT BROTH that stores billions of these intercepted cookies, which it uses to correlate with IP addresses to determine the identity of a person. GCHQ refers to cookies internally as "target detection identifiers." Top-secret GCHQ documents name three male Belgacom engineers who were identified as targets to attack. The Intercept has confirmed the identities of the men, and contacted each of them prior to the publication of this story; all three declined comment and requested that their identities not be disclosed. GCHQ monitored the browsing habits of the engineers, and geared up to enter the most important and sensitive phase of the secret operation. The agency planned to perform a so-called "Quantum Insert" attack, which involves redirecting people targeted for surveillance to a malicious website that infects their computers with malware at a lightning pace. In this case, the documents indicate that GCHQ set up a malicious page that looked like LinkedIn to trick the Belgacom engineers. (The NSA also uses Quantum Inserts to target people, as The Intercept has previously reported.) A GCHQ document reviewing operations conducted between January and March 2011 noted that the hack on Belgacom was successful, and stated that the agency had obtained access to the company's
  •  
    I knew I wasn't using TOR often enough...
  •  
    Cool! It seems that after all it is best to restrict employees' internet access only to work-critical areas... @Paul TOR works on network level, so it would not help here much as cookies (application level) were exploited.
johannessimon81

Cosmological model without accelerated expansion proposed - 1 views

  •  
    Redshift in this model is partially produced by a change in the masses of elementary particles (and atoms)
  • ...3 more comments...
  •  
    It seems to solve the problem of infinite energy density at the singularity in any case. I would love to see a way of experimentally verifying this, although most people seem to believe it is wrong. I read the following quote though by Dirac to Pauli "we all agree your idea is crazy, but the real question is it crazy enough to be correct?"
  •  
    As far as I can see, this is not untestable per se, rather an explanation to the redshift that is equivalent to accelerating expansion. It is not that the theory is untestable, rather just another way of looking at it. Kind of like that its sometimes convenient to consider light a particle, sometimes a wave. In the same way it could sometime convenient to view the universe as static with increasing mass instead.
  •  
    Well the premiss "matter getting heavier" may be up to falsification in some way or another. Currently, there is no absolute method to determine mass so it might even be plausible that this is actually the case. I don't think it is related but there is a problem with the 1kg-standards (1 official and 6 copies) where the masses seem to deviate.
  •  
    It should not be impossible to verify a change in mass(es) over time. For example the electron cyclotron frequency scales ~e/m while the Hydrogen emission frequencies scale with ~m*e^4. Using multiple relationships like that which can be easily and accurately measured an increase in the mass of fundamental particles should - in principle - be detectable (even if the mass of the earth increases at the same time changing the relativistic reference frame).
  •  
    The Watt balance and a definition using the Planck's constant seems to do the trick and is currently being discussed. Would the electron charge not be problematic as it is related to Coulombs which depends on Amperes which is defined by Newtons which hence depends back on the mass again?
johannessimon81

IBM Speech Recognition, 1986 - 0 views

  •  
    Interesting historical perspective. Progress since the late '80 really seems to be fairly slow. ?: Do we need to wait for the singularity until speech recognition works without flaws?
  • ...1 more comment...
  •  
    funny - tried just yesterday the one built in on mavericks: sending one email took three times as long at least as typing it And now my speech PowerPoint Funny, trade trust yesterday they're built in speech recognition in Mavericks sending one e-mail to at least three times a talk as long as typing it. Well this was actually quite okay and relatively fast cheers nice evening
  •  
    "I thought I would give it a try on my android sexy seems to work pretty well and I'm speaking more less at normal speed" Actually I was speaking as fast as I could because it was for the google search input - if you make a pause it will think you finished your input and start the query. Also you might notice that Android thinks it is "android sexy" - this was meant to be "on my Android. THIS seems to work...". Still it is not too bad - maybe in a year or two they have it working. Of course it might also be that I just use the word "sexy" randomly... :-\
  •  
    The problem is that we don't yet understand how speech in humans actually works. As long as we merely build either inference or statistical language models we'll never get perfect speech recognition. A lot of recognition in humans has a predictive/expectational basis to it that stems from our understanding of higher lvl concepts and context awareness. Sadly I suspect that as long as machines remain unembodied in their perceptual abilities their ability to either properly recognize sounds/speech or objects and other features will never reach perfection.
Francesco Biscani

The End Of Gravity As a Fundamental Force - 6 views

  •  
    "At a symposium at the Dutch Spinoza-instituut on 8 December, 2009, string theorist Erik Verlinde introduced a theory that derives Newton's classical mechanics. In his theory, gravity exists because of a difference in concentration of information in the empty space between two masses and its surroundings. He does not consider gravity as fundamental, but as an emergent phenomenon that arises from a deeper microscropic reality. A relativistic extension of his argument leads directly to Einstein's equations."
  • ...8 more comments...
  •  
    Diffcult for me to fully understand / believe in the holographic principle at macroscopical scales ... potentially it looks though as a revolutionary idea.....
  •  
    never heard about it... seems interesting. At first sight it seems that it is based on fundamental principle that could lead to a new phenomenology, so that could be tested. Perhaps Luzi knows more about this ? Did we ever work on this concept ?
  •  
    The paper is quite long and I don't have the time right now to read it in detail. Just a few comments: * We (ACT) definitely never did anything in this direction? But: is there a new phenomenology? I'm not sure, if the aim is just to get Einstein's theory as emergent theory, then GR should not change (or only change in extreme conditions.) * Emergent gravity is not new, also Erik admits that. The claim to have found a solution appears quite frequently, but most proposals actually are not emergent at all. At least, I have the impression that Erik is aware of the relevant steps to be performed. * It's very difficult to judge from a short glance at the paper, up to which point the claims are serious and where it just starts to be advertisments. Section 6 is pretty much a collection of self-praise. * Most importantly: I don't understand how exactly space and time should be emergent. I think it's not new to observe that space is related to special canonical variables in thermodynamics. If anybody can see anything "emergent" in the first paragraphs of section 3, then please explain me. For me, this is not emergent space, but space introduced with a "sledge hammer." Time anyway seems to be a precondition, else there is nothing like energy and nothing like dynamics. * Finally, holography appears to be a precondition, to my knowledge no proof exists that normal (non-supersymmetric, non-stringy, non-whatever) GR has a holographic dual.
  •  
    Update: meanwhile I understood roughly what this should be about. It's well known that BH physics follow the laws of theormodynamics, suggesting the existence of underlying microstates. But if this is true, shouldn't the gravitational force then be emergent from these microstates in the same way as any theromdynamical effect is emergent from the behavior of its constituents (e.g. a gas)? If this can be prooven, then indeed gravity is emergent. Problem: one has to proof that *any* configuration in GR may be interpreted as thermodynamical, not just BHs. That's probably where holography comes into the play. To me this smells pretty much like N=4 SYM vs. QCD. The former is not QCD, but can be solved, so all stringy people study just that one and claim to learn something about QCD. Here, we look at holographic models, GR is not holographic, but who cares... Engineering problems...
  •  
    is there any experimental or observational evidence that points to this "solution"?
  •  
    Are you joking??? :D
  •  
    I was a bit fast to say it could be tested... apparently we don't even know a theory that is holographic, perhaps a string theory (see http://arxiv.org/abs/hep-th/9409089v2). So very far from any test...
  •  
    Luzi, I miss you!!!
  •  
    Leo, do you mean you liked my comment on your question more than Pacome's? Well, the ACT has to evolve and fledge, so no bullshitting anymore, but serious and calculating answers... :-) Sorry Pacome, nothing against you!! I just LOVE this Diigo because it gives me the opportunity for a happy revival of my ACT mood.
  •  
    haha, today would have been great to show your mood... we had a talk on the connection between mind and matter !!
Luís F. Simões

Bitcoin P2P Currency: The Most Dangerous Project We've Ever Seen - 10 views

  • After month of research and discovery, we’ve learned the following:1. Bitcoin is a technologically sound project.2. Bitcoin is unstoppable without end-user prosecution.3. Bitcoin is the most dangerous open-source project ever created.4. Bitcoin may be the most dangerous technological project since the internet itself.5. Bitcoin is a political statement by technotarians (technological libertarians).*6. Bitcoins will change the world unless governments ban them with harsh penalties.
  • The benefits of a currency like this:a) Your coins can’t be frozen (like a Paypal account can be)b) Your coins can’t be trackedc) Your coins can’t be taxedd) Transaction costs are extremely low (sorry credit card companies)
  • An individual with the name -- or perhaps handle -- of Satoshi Nakamoto first wrote about bitcoins in a paper called Bitcoin: A Peer-to-Peer Electronic Cash System.
  • ...1 more annotation...
  • * We made this term up to describe the “good people” of the internet who believe in the fundamental rights of individuals to be free, have free speech, fight hypocrisy and stand behind logic, technology and science over religion, political structure and tradition. These are the people who build and support things like Wikileaks, Anonymous, Linux and Wikipedia. They think that people can, and should, govern themselves. They are against external forms of control such as DRM, laws that are bought and sold by lobbyists, and religions like Scientology. They include splinter groups that enforce these ideals in the form of hacktivism, such as the takedown of the Sony Playstation Network after Sony tried to prosecute a hacker for unlocking its console.
  •  
    Sounds good!
  • ...9 more comments...
  •  
    wow it's frigthening! it's the dream of every anarchist, every drug, arm, human dealer! the world made as a global fiscal paradise... the idea is clever however it will not replace real money because 1 - no one will build a fortune on bitcoin if a technological breakthrough can ruin them 2 - government never allowed parallel money to flourish on their territory, so it will be almost impossible to change bitcoin against euros or dollars
  •  
    interesting stuff anyone read cryptonomicon by neal stephenson? similar theme.
  •  
    :) yes. One of the comments on reddit was precisely drawing the parallels with Neal Stephenson's Snowcrash / Diamond Age / Cryptonomicon. Interesting stuff indeed. It has a lot of potential for misuse, but also opens up new possibilities. We've discussed recently how emerging technologies will drive social change. Whether it's the likes of NSA / CIA who will benefit the most from the Twitters, Facebooks and so on, by gaining greater power for control, or whether individuals are being empowered to at least an identical degree. We saw last year VISA / PayPal censoring WikiLeaks... Well, here's a way for any individual to support such an organization, in a fully anonymous and uncontrollable way...
  •  
    One of my colleagues has made a nice, short write-up about BitCoin: http://www.pds.ewi.tudelft.nl/~victor/bitcoin.html
  •  
    very nice analysis indeed - thanks Tamas for sharing it!
  •  
    mmm I'm not an expert but it seemed to me that, even if these criticisms are true, there is one fundamental difference between the money you exchange on internet via your bank, and bitcoins. The first one is virtual money and the second one aims at being real, physical, money, even if digital, in the same way as banknotes, coins, or gold.
  •  
    An algorithm wanna-be central bank issuing untraceable tax free money between internet users? not more likely than the end of the world supposed to take place tomorrow, in my opinion. Algorithms don't usually assault women though !:P
  •  
    well, most money is anyway just virtual and only based on expectations and trust ... (see e.g. http://en.wikipedia.org/wiki/Money_supply) and thus if people trust that this "money" has some value in the sense that they can get something of value to them in exchange, then not much more is needed it seems to me ...
  •  
    @Leopold: ok let's use the rigth words then. Bitcoin aim at being a currency ("physical objects generally accepted as a medium of exchange" from wikipedia), different than the "demand deposit". In the article proposed by Tamas he compares what cannot be compared (currencies, demand deposits and their mean of exchange). The interesting question is wether one can create a digital currency which is too difficult to counterfeit. As far as I know, there is no existing digital currency except this bitcoins (and maybe the currencies from games as second life and others, but which are of limited use in real world).
  •  
    well of course money is trust, and even more loans and credit and even more stock and bond markets. It all represents trust and expectations. However since the first banks 500 years ago and the first loans etc. etc., and as well the fact that bonds and currencies bring down whole countries (Greece lately), and are mainly controlled by large financial centres and (central) banks, banks have always been on the winning side no matter what and that isn't going to change easily. So if you are talking about these new currencies it would be a new era, not just a new currency. So should Greece convert its debt to bitcoins ;P ?
  •  
    well, from 1936 to 1993 the central bank of france was owned by the state and was supposed to serve the general interest...
Tom Gheysens

Meet OutRunner: The World's First Remotely Controlled Running Robot - YouTube - 8 views

  •  
    the only downside is that you have to launch it before it can run... :)
  • ...2 more comments...
  •  
    Nice idea! Get one? :)
  •  
    Next step : make them get up by themselves after a fall. Then you can envisage to play with them on more rugged terrain :)
  •  
    Hmm.. but how would you make it such that it can stand up? Maybe launch it somehow forward?
  •  
    I can imagine a system with 2 retractable support legs to stand it up and raise it a bit above the floor. Then make it run and retract the legs abruptly.
Christophe Praz

Scientific method: Defend the integrity of physics - 2 views

  •  
    Interesting article about theoretical physics theories vs. experimental verification. Can we state that a theory can be so good that its existence supplants the need for data and testing ? If a theory is proved to be untestable experimentally, can we still say that it is a scientific theory ? (not in my opinion)
  •  
    There is an interesting approach by Feynman that it does not make sense to describe something of which we cannot measure the consequences. So a theory that is so removed from experiment that it cannot be backed by it is pointless and of no consequence. It is a bit as with the statement "if a tree falls in the forrest and nobody is there to hear it, does it make a sound?". We would typically extrapolate to say that it does make a sound. But actually nobody knows - you would have to take some kind of measurement. But even more fundamentally it does not make any difference! For all intents and purposes there is no point in forcing a prediction that you cannot measure and that therefore has noto reflect an event in your world.
  •  
    "Mathematics is the model of the universe, not the other way round" - M. R.
1 - 20 of 1380 Next › Last »
Showing 20 items per page