Looks very promising! thank you for sharing. Seems worth trying and supporting.
Thanks for the recommendations!
Had never heard about Graphite, thank you! I'll try to stay updated about it. But please feel free to post important news about it in this community, whenever there'll be steps forward.
They can setup arbitrary rules or ban you without any rules. It’s their service,
Indeed this shows the change in meaning that "service" has undergone in the past 10 or maybe 20 years. Before, the very notion of "service" was that this kind of events could not happen – otherwise it wasn't a "service". Reliability and reliance were integral part of the definition of "service".
Today this word doesn't mean anything anymore.
Sorry for my miswriting of my reply; what I meant is that I agree and had expressed related concerns in another community, hence the link. Not backing myself up, just expressing my opinion :) Not only should we not throw more tech at the problem, but I think we should rethink about what we do without the tech.
I don't know what you have in mind with "trustworthy", and about what, so maybe this comment is worthless for you. But I've been using their cloud storage for several years (like other commenters here), for work-related files, and to sync them between computers and phone. Their syncing system and apps are actually great. No complaints on my part.
That's a neat description.
Mathematical language is a language, but mathematics is not just a language. It is a structure with internal rules that are not determined by pure convention (as natural languages are). We could internationally agree from tomorrow to call "blue" whatever it's now called "red" and vice versa, but we couldn't agree to say that "2 + 2 = 5", because that would lead to internal inconsistencies (we could agree to use the symbol "5" for 4, but that's a different matter).
This is also related to a staple of science: that scientific and mathematical truth is not determined by a majority vote, but by internal consistency. Indeed modern science started with this very paradigm shift. Quoting Galilei:
But in the natural sciences, whose conclusions are true and necessary and have nothing to do with human will, one must take care not to place oneself in the defense of error; for here a thousand Demostheneses and a thousand Aristotles would be left in the lurch by every mediocre wit who happened to hit upon the truth for himself.
If we want to train an algorithm to infer rules from language, we need to give samples of language where the rules are obeyed strictly (and yet this may not be enough). Otherwise the algorithm will wrongly generalize that the rules aren't strict (in fact it'll just see a bunch of mutually inconsistent examples). Which is what happens with ChatGPT.
Edit: On top of this, Gödel's theorem and other related theorems have shown that mathematical reasoning cannot be reduced to pure symbol manipulation, Hilbert's unfulfilled dream. So one can't infer mathematical reasoning from language patterns. Children learn reasoning not only through language training, but also through behaviour training (this was pointed out by Turing). This is why large language models have intrinsic limitations in what they can achieve and be used for.
My point was that a coffee machine is designed to make coffee, not to keep track of time. Maybe it always takes roughly the same amount of time to make a coffee, and so someone uses it as a proxy stopwatch. But it can very well suddenly take more or less time, without anything being wrong about it – maybe different coffee brands, cleaned pipes, or whatnot.
ChatGPT is an algorithm designed to parrot language, not to perform mathematical reasoning based on logic rules.
Completely agree! I didn't mention this, but I keep the back-up hard drive in another apartment.
This reminds me of a story that happened in some university in England: they had two backups of some server in two different locations. One day one back-up drive failed, and the second failed the day after. Apparently they were the same brand & model. The moral was: use also different back-up hardware brands or means!
P-values-based methods and statistical significance are flawed: even when used correctly (e.g.: stopping rule decided beforehand, various "corrections" of all kinds for number of datapoints, non-gaussianity, and so on), one can get results that are "statistically non-significant" but clearly significant in all common-sense meanings of this word; and vice-versa. There's a constant literature – with mathematical and logical proofs – dating back from the 1940s pointing out the in-principle flaws of "statistical significance" and null-hypothesis testing. The editorial from the American Statistical Association gives an extensive list.
I'd like to add: I'm saying this not because I read it somewhere (I don't like unscientific "my football team is better than yours"-like discussions), but because I personally sat down and patiently went through the proofs and counterexamples, and the (almost non-existing) counter-proofs. That's what made me change methodology. This is something that many researchers using "statistical significance" have not done.
It's just part of a player's roleplay.