erichahn

6 ms·

1.
Gabriel Gonzalez on Dhall: A Programmable Configuration Language(youtube.com)
5 points by erichahn 5y ago|0 comments
2.
by erichahn 5y ago
It's boring but usually everything is well-defined and hence well-understandable. Not the case for most CS papers.
3.
by erichahn 5y ago
Wittgenstein had this effect on me too. But not the Tractatus. What calmed me down was the Philosophical Investigations and Kripkes Naming and Necessity.
4.
by erichahn 5y ago
It is both. A stimulant and a sedative (dumb categories).
5.
by erichahn 5y ago
Withdraw shrinks in only when you use tabacco regularly. It is not the drug that is the problem but how you used / abused it.
6.
by erichahn 5y ago
Are they really doing this?
7.
by erichahn 5y ago
Mass anxiety is not a conspiracy theory but rather a measurable social effect. See social cooling. I didn't say there is somebody controlling or forcing the population into technocracy. What I meant is that it is inevitable to some deg
8.
by erichahn 5y ago
Tabacco is a magical plant that will grant you increased alertness, stress and anxiety release, decreased hunger, ... Our problem is not smoking. Our problem is how and why we smoke. It has nothing to do with the drug itself but everything
9.
by erichahn 5y ago
In germany at least... Maybe it is very different elsewhere... I hope so...
10.
by erichahn 5y ago
The same baseline problem holds for hospitalizations as well. Nobody knows how many hospital beds were occupied in the last 10 years. Evidence points to a strong decrease in hospital capacity in germany at least in the last 20 years. Talkin
11.
by erichahn 5y ago
1: This has nothing to do with excess mortality per se but rather with proper data analysis. 2-3: That's exactly what I mean but you should not measure excess mortality as absolute deaths / million people but you should adjust for
12.
by erichahn 5y ago
Sadly the lies, skewed narratives and new kinds of ideologies are abundant in media, politics and counter-culture this day. Here are a couple of key concerns that I have with the data and the anti-covid measures : 1) There is no baseline. H
13.
by erichahn 5y ago
whats wrong with battery factory
14.
by erichahn 5y ago
Baader-Meinhof bias
15.
by erichahn 5y ago
Why not as its own file in the directory of the source code? Or in another directory...
16.
by erichahn 5y ago
No history actually tells you that only 1% of produced maths is useful. You only see the good stuff not the ugly stuff.
17.
by erichahn 5y ago
I think this is a good sign honestly. Historically many innovations came from military research.
18.
by erichahn 5y ago
Can you provide a paper or book on this?
19.
by erichahn 5y ago
I never said it is a paradox. I never said that PA or Q is inconsistent. I said that they cannot prove their own consistency by Gödels theorem. Hence we don't know if Gödels theorem was formalized in an inconsistent system. Honestly it
20.
by erichahn 5y ago
I think if Gödels proof needs Q then that is OK. Q cannot prove its own consistency. Which means there is no way of telling that Gödels theorems are proved in a theory that is inconsistent (where everything is true).
21.
by erichahn 5y ago
"it does not rely on any particular axiomatisation" -- OK, what does it rely on then?
22.
by erichahn 5y ago
Yes and then you can do self-referential statements again which leads you to the conclusion that Gödels theorems are provable only in a system that cannot prove its own consistency.
23.
by erichahn 5y ago
If you figure this out correctly you can claim the third incompleteness theorem. (If I am right)
24.
by erichahn 5y ago
Which one? I don't think so tbh because his proof uses PA.
25.
by erichahn 5y ago
What most ppl don't notice is that Gödels incompleteness theorems are themselves expressible only in a logic system capable of expressing Peano arithmetic. Now this means that they apply to themselves which means that we cannot know if
26.
by erichahn 5y ago
How is entropy related to "male gaze". This approach seems to be unsupervised, I don't see the problem.
27.
by erichahn 5y ago
No, this does not solve the problem that he describes in the article. You can have a great crossvalidation score and still struggle on unseen data if the data is relatively dissimilar from your train set. Like X-Ray scans produced from a di
28.
by erichahn 5y ago
"Denise Herzing, the founder and research director of the nonprofit Wild Dolphin Project, which studies dolphins in the Atlantic, is now using similar algorithms, coupled with underwater keyboards and computers, to try to decode dolphi
29.
by erichahn 5y ago
I mean yes, there is parametric ML (maximum likelihood, MAP, GMMs, ...) and there is non-parametric ML (everything neural network, SVM, GBM, random forrests, ...). I'd argue that the latter had bigger success in the past since the prio
30.
by erichahn 5y ago
Isn't the point of ML exactly that you don't know the underlying distribution? How is this ever assumed in any way? ML is not parametric statistics.

More ›