yters

16 ms·

91.
by yters 6y ago
You are right. Looks like it is just trying different permutations of the compiler flags, not actually trying to generate optimization proofs using machine learning. The latter is what my comment is aimed at.
92.
by yters 6y ago
Programming is concrete. Programmers have to reliably determine if their code will halt or not to make functioning software. Mathematics is concrete and mathematicians have to reliably create new consistent axioms to expand our mathematica
93.
by yters 6y ago
Programming is one of the most obvious. Mathematics is another. Human success in both is easiest to explain if we are halting oracles of some variety, albeit not perfect, but still transfinite.
94.
by yters 6y ago
ML cannot solve the halting problem.
95.
by yters 6y ago
Hah! Great point. The bourgeoisie like to use us proles as a pretext for their shenanigans.
96.
by yters 6y ago
It could also be the case the human mind transcends computation, i.e. a transfinite, yet limited, halting oracle, and as such is logically impossible to reduce to a Turing machine. To insist this is not the case merely based on materialism
97.
by yters 6y ago
The irony is these tropes have been used by the establishment forever.
98.
by yters 6y ago
There is also a well motivated reason for evangelism. If it is true there is an eternal life available of absolute wonder, it seems supremely selfish to keep news of this to one's self. So if someone sincerely believes they have the
99.
by yters 6y ago
Theism is distinct from a particular form of theism. I know someone created my computer even though I know nothing about the person. Different people may have different theories about the identity of my computer creator, all of which may
100.
by yters 6y ago
I wonder if Google ever sanitizes web pages filtered through its amp servers.
101.
by yters 6y ago
I have a co-worker who does this, and everyone likes him, especially the boss, since he will jump on anything and get it done. He also seems to work really long hours and weekends, even though he has a family. He also does not seem to wan
102.
by yters 6y ago
In one job I was a tech lead, and said no to my boss a lot to maintain my team's focus. We ended up delivering, the boss was pleased, my teammates were happy, and I got a raise.
103.
by yters 6y ago
https://www.google.com/amp/s/www.theonion.com/cias-facebook-...
104.
by yters 6y ago
I would be interested in principles driven approach with simple implementations in say python vs kubernetes this containers that.
105.
by yters 6y ago
I compared human models to xgboost models. The latter were much more complex, completely incomprehensible to humans, but the former were simple and understandable. I think human generated models is a promotion sing and significantly under
106.
by yters 6y ago
I believe the ENCODE project has shown the junk dna hypothesis is not clearly true. A large portion of the genome codes for something, somewhere above 70 percent, even if most of it doesn't create proteins directly. As an analogy, a p
107.
by yters 6y ago
Absolutely brilliant. Ever since taking ML classes in MSc and then again in PhD I have wondered why no machine learning approach ever applies such an obvious technique. And most real world datasets are probably adequately addressed with t
108.
by yters 6y ago
Communism is s not very liberal :D
109.
by yters 6y ago
So we went from heavily left to middle of the road for a few decades to back to left? Sounds like reversion to normal state of affairs.
110.
by yters 6y ago
Including the NYT communist shilling with Walter Durante? That doesn't seem so middle of the road.
111.
by yters 6y ago
Fallacious parts of an argument cannot contribute to its soundness. Fallacies either contribute untrue premises or invalid deductions, such as affirming the consequent. This is a matter of fact.
112.
by yters 6y ago
Haha! Great point! Although, posting on this website odds are you are in the club compared to most of the world :)
113.
by yters 6y ago
Well, once the gov cracks down on ISPs game over. No way we can have a grassroots internet without the ISPs.
114.
Using email to fight social network censorship(mindmatters.ai)
2 points by yters 6y ago|0 comments
115.
by yters 6y ago
Yes you are totally right. I sincerely apologise. You have helped me see I've been minimizing the site content. Thank you.
116.
by yters 6y ago
I must admit the list is not as extreme as I expected given your comment. It is par for the course of what I see on the site. I am not saying the group is good. There are indeed many lightly veiled hints towards violent armed insurrection
117.
by yters 6y ago
What do you think the comments here would be like if the study found extensive marijuana use is strongly correlated with extreme happiness, strong relationships, and fantastic libido? Would we see as much correlation does not imply causati
118.
by yters 6y ago
Yes I didn't find out about patriots.win until all the deplatforming. These purges might be helping more than hindering.
119.
by yters 6y ago
Yes I browse regularly and there is definitely prejudice on display. However the general tenor is to downvote or at least not upvote such content. Certainly not as bad as I expected given their reputation. Leads me to see them in a more
120.
by yters 6y ago
I've noticed a trend where if a study has unpleasant conclusions the people trot out correlation does not imply causation. On the other hand, a study with a pleasant conclusion is taken as evidence for causation in a preferable direct

More ›