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.
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…
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…
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'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…
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…
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 on…
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…
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.
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…
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…
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'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…
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…
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 on…
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…