Viewing profile — 9q9

Do those adjacent organisations inspire confidence? - https://www.activeinference.institute/ - https://spatialwebfoundation.org/

Agreed, Friston's Bona Fides are impressive. (Aside: His fame in neuroscience comes from him having written important FMRI software that everybody cites.) That's also why I worked …

Benefit of doubt is a great concept. The other extreme is: extraordinary claims require extraordinary evidence. Why should we restrict ourselves to a binary choice? Can we not thin…

So I'm not the only who wonders about the hyperbole emanating from Friston et al! Some more morsels: - The CEO is an "International Bestselling Author" [1]. - The company blog stat…

Geoff Hinton was denied an academic position at the University of Sussex's CS department where he had done postdoc work (That department is now 'famous' for consciousness studies a…

expertise either mad or catatonic. Yes. Unfortunately it still works really well with students, who are not yet knowledgable enough to be able to recognise the Fristonian ideas for…

Regarding average: which average in the sense of: average over what time window? Any specific choice here needs to be justified as happening in the brain. Regarding "we will find b…

Gambling etc is not the dark-room argument, I've explicitly left out the dark-room. Coincidentally, Friston's treatment [1] of the dark room is not convincing, but it nicely illust…

I have explicitly stated that I am using a simplistic interpretation. I am neither seeing that Friston has (A) produced anything even remotely resembling a testable framework this …

Thanks. I looked at that link but could not find the code that lets me reproduce the results in the paper. Maybe I didn't look hard enough?

I cannot see the "these routines [being] available in the development version of the next SPM release". The development version is a 111 MB zip file [1]. When I uncompress the file…

Short answer: no! Friston's work is (in)famous for being so vague as to be completely untestable. He has been criticised over the extreme vagueness of his ideas many times, and he …

Thanks! The C FFI worries me because if I choose Rust for our project I'll need to interface a huge number of C / C++ libraries with the Rust core. OTOH, Mozilla seems to be doing …

7 3+4 2nd-smallest double Mersenne prime Number of continents

has _a lot_ of issues I value your perspective on programming languages. Would you mind sharing those issues? I am in a position where I can and do influence PL design.

Macron and Merkel learn Javascript and ... Why not? The prime minister of Singapore is an active C++ programmer, and has shared source code on his Facebook page, asking for bug rep…

I agree with most of your points, and the huge unified, and rather homogeneous market is a core advantage of the US in certain product categories. Since you mention SAP: clearly, S…

France has been world-leading in verification, e.g. CompCert and Coq come from INRIA, model-checking was co-invented in France. This stuff is largely language independent. Yet the …

I work with a lot of French IT people, they are all from the Grande écoles , and amazing on average. None of them work in France. What a loss!

That is true for customer-facing softwre, but would not be relevant in e.g. semiconductors, compilers, formal verification.

In terms of innovation in semiconductors, should also learn from the success of China, South Korea, Taiwan!

"something great" Also: this "something great" must be something they (EU politicians deciding about funding) have heard about! And what have they heard about? Something US compani…

Terra paper I didn't mean to push Terra in particular, and I agree that doing meta-programming is easier in the same language you do normal programming in. I just mentioned the Ter…

Thanks. Amazing overview. abstract away what they cannot know Here I'm a bit surprised. For theoretical reasons (I've never gotten my hands dirty with GPU implementations, I'm afra…

The 6 requirements you list for doing a dot-product on the GPU can be phrased in abstract as a constraint solving problem where the number of thread blocks, the cost of communicati…