Viewing profile — rixarn

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

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 …

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 underst…

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 a…

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 tr…

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 …

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... D…