9q9

6 ms·

1.
by 9q9 2y ago
Do those adjacent organisations inspire confidence? - https://www.activeinference.institute/ - https://spatialwebfoundation.org/
2.
by 9q9 2y ago
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 with his team and read a lot of his papers for a w
3.
by 9q9 2y ago
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 think in a more nuanced fashion, in Bayesian terms? In other w
4.
by 9q9 2y ago
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 states that Friston has "successfully [de
5.
by 9q9 2y ago
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 and integrated information theory https:&#x2F
6.
by 9q9 6y ago
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 what they are--hot air--and who waste their time w
7.
by 9q9 6y ago
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 brain models with observable activity that follows the
8.
by 9q9 6y ago
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 illustrates Friston's tendency to make ad-hoc ad
9.
by 9q9 6y ago
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 "kind of surprise that is being minimized in the free-e
10.
by 9q9 6y ago
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?
11.
by 9q9 6y ago
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 I get a big flat directory with 100s of files. Wh
12.
by 9q9 6y ago
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 has never given a good answer. Sometimes some of his fo
13.
by 9q9 6y ago
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 fine mixing Rust with C++.
14.
by 9q9 6y ago
7 3+4 2nd-smallest double Mersenne prime Number of continents
15.
by 9q9 6y ago
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.
16.
by 9q9 6y ago
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 reports [1]. Code is at [2]. [1] https:/&#x
17.
by 9q9 6y ago
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, SAP is successful in a space where Europe's heterogene
18.
by 9q9 6y ago
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 big sellers of this kind of stuff (e.g. EDA software from Sy
19.
by 9q9 6y ago
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!
20.
by 9q9 6y ago
That is true for customer-facing softwre, but would not be relevant in e.g. semiconductors, compilers, formal verification.
21.
by 9q9 6y ago
In terms of innovation in semiconductors, should also learn from the success of China, South Korea, Taiwan!
22.
by 9q9 6y ago
"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 companies have already been commercial
23.
by 9q9 6y ago
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 Terra paper since it provided a rationale for us
24.
by 9q9 6y ago
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 afraid to admit), I would have expec
25.
by 9q9 6y ago
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 communication etc are parameters.
26.
by 9q9 6y ago
Interestingly, a lot of programmers (who program for the CPU) worry about caches a great deal, despite: - Programmers being unable to control caches, at least directly, and reliably. - Languages (e.g. C/C++) having no direct way of e
27.
by 9q9 6y ago
Why do you think most languages avoid exposing the memory hierarchy? What is the core problem that has not yet been solved?
28.
by 9q9 6y ago
As far as I understand, the idea in Regent is that the memory hierarchy is used dynamically, since the programmer cannot know about much of the memory hierarchy anyway at program writing time. So dynamic scheduling is used to construct the
29.
by 9q9 6y ago
Thanks. [1] contains an interesting discussion of Sequoia, and why it was considered a failed experiment, leading to Legion ][2], its successor. [1] https://news.ycombinator.com/item?id=18009581 [2] https://legio
30.
by 9q9 6y ago
Thanks. How to abstract "hardware primitives" in a way that can be instantiated to many GPU architectures without performance penalty and be useful for higher-level programming is not so clear. How would you, to take an example

More ›