rixarn

38 ms·

1.
by rixarn 8y ago
Interesting! Thanks for sharing :) ATS seems to be a little bit far from Lamport because you do have data types and other stuff, but yeah.. maybe this is as close as you can get.
2.
by rixarn 8y ago
I agree, you need mathematical insight too you can have that and still code as we do now without sacrificing a way to express solutions that consider things such as cache locality. With what he proposes, that’s simply not possible. There’s
3.
by rixarn 8y ago
I agree with some of the things you say... mostly with the "use the right tool for the right job". In that sense, C might not be the most sensible choice for some things where you can end up with a solution that is twice as slow o
4.
by rixarn 8y ago
I'm more with Mike Acton in this respect; the hardware is the platform, not the software. And in that sense... In order to really make good use of your hardware you need to understand your hardware and code accordingly. I doubt you can
5.
by rixarn 10y ago
I've been working on "brain training" stuff for almost 8 years and just recently (around a year ago) decided to make a startup out of it. I'm a psychologist and software engineer and my cofounder is a clinical psychologi
6.
by rixarn 10y ago
Physical exercise. I'm not kidding. I recall hearing about a researcher that worked with people age (65+) to see how they could recover and/or improve their cognitive skills. He tried other things (including brain training) before
7.
by rixarn 10y ago
You're right. The amount of "exercises" that have proven to have some degree of transfer are very limited (n-back being the most typical not the only one). It's not only a problem of Lumosity et al, it's a problem o
8.
by rixarn 10y ago
I can accept the idea of prolonging one's life for a meaningful purpose. But, to think that we should aim for "curing dead"? You talk about death as it is some kind of disease... Dead is part of life everywhere you look and n