Looks very promising! thank you for sharing. Seems worth trying and supporting.
Thanks for the recommendations!
Yes, the purpose isn't sabotaging.
This is so cool! Not just the font but the whole process and study. Please feel free to cross-post to Typography & fonts.
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.
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.
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!
Cheers – the "snap tangent" is something I wanted to understand as well.
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 seems to me these scenes are introduced in films to sexualize them. Most often than not they don't add anything to the story. But blood & sex get more viewers. So I find the whole thing hypocritical.
Brings me to mind an episode of the hilarious series "Coupling", where Jeff says that the actress in the film "The Piano" (?) was naked in the whole film. His friends say she wasn't, it was only a scene in the film. And Jeff replies "it depends on how you watch it" 🤣