/cs/ Computer Science General

http://unqualified-reservations DOT blogspot DOT gr/2007/08/whats-wrong-with-cs-research.html

Do you agree?
tldr CS research is mostly useless formalizations.

>>9041151

because, MY WAY, OR THE HIGHWAY.

>>9041160
?

>>9041151
maybe it is a mistake to try to rigorously categorize stuff as maths or not maths

>>9041243
i think you didn't read what i posted(can't blame you, it's long, but you can ignore the latter parts on type theory etc).

>>9041151
>http://unqualified-reservations DOT blogspot DOT gr/2007/08/whats-wrong-with-cs-research.html

>DOT
>DOT

You retarded?

>>9041265
detected as spam.

>>9041261
I finished it now, it seems like a rant on academic programming language circlejerks, while glossing over some creative programming vs mathematics distinction?

File: 1476511777841.jpg (13KB, 196x256px) Image search: [Google]

13KB, 196x256px

What's your favorite programming language, /cs/?

friendly reminder that via the curry-howard isomorphism and the double-negation translation, computer science is a superset of math

>>9041933
Julia for scientific computing.
C when I need to get my hands dirty.

>>9041936
>superset
friendly reminder that cs and math are isomorphic and that any attempt to cast this relationship into (material) set-theoretic terms necessarily involves the addition of unwarranted structural assumptions

>>9041101
>Computer science is a subset of mathematics.

>vast majority of computer scientists barely remember calculus, see no value in mathematics, think basic linear algebra is hard, think "discrete math" is the pinnacle of advanced mathematics, etc.

The number of times I have heard a computer scientist utter the words "ewww I hate proofs! xD" is uncountable.

>>9042023
Daily reminder that schools pushed CompSci as 'programming' for all the cretins who wanted to go scam VC money for their startup, so hordes have flocked to it to 'make money'.

CompSci grad school none of these people exist. Not in my school anyway.

>>9042084
>CompSci grad school none of these people exist.

No, but you know who does exist? People who think they're super smart and know everything because they could figure out how to program all by themselves.