>Why should I have to prove my algorithm is correct?
fucking freshmen
>>53592394
>can't answer a simple question
fucking undergrads
>Why should I have to demonstrate basic programming ability?
fucking graduates
>>53592394
who is that guy?
>>53592455
Carl the Cuck
He is the typical American college student
>>53592430
>implying she would pass CS101
>>53592455
http://knowyourmeme.com/memes/carl-the-cuck-and-aids-skrillex
it's a little generous to call it a meme. it's been barely a week and it's not clear this'll still be a thing in another week.
>>53592430
is this real?
>>53592515
are you new to the internet?
>>53592515
>>53592430
>>53592430
I have a high suspicion people like this is the reason webpages use 100% cpu and have several seconds long response time nowadays
>>53592519
yes :3
>>53592533
I've had the same suspicion for a while.
>>53592528
>Antioxidants infusions
A meme within a meme
>>53592528
This kills the man, but isn't she writing some Ruby above that? Even if it is "hello world"
>>53592528
>cd code
>cd..
>cd..
>cd..
>cd ..
I'm crying
>>53592552
What is that supposed to do, stop your body from corroding?
>>53592564
https://github.com/karliekloss/hello-world-ruby-002/commits/master
>>53592528
>end
rubyscum
>>53592566
>cd: no such file or directory: code
This is how I imagine Arch users spending their day when their system isn't broken.
>>53592528
> cd hs-tdd-sweet-ride-bro-lab-procollege-se1-nyFl-072015-1
> not using an asterisk
>>53592394
It's impossible to prove the correctness of any nontrivial piece of software. There is even a law about it.
>>53592587
Is that how ruby does docstrings? Seems really awkward.
>>53592615
really?
>>53592615
You can prove it on a "unless there is a physical CPU error" basis I think. You can definitely prove it for an algorithm.
>>53592628
Yes, there is a paper about it.
>>53592533
>I have a high suspicion people like this is the reason webpages use 100% cpu and have several seconds long response time nowadays
That's only half of the story.
The other half is that client want stupidily heavy websites (does anybody remember flash sites and their intro screens?).
Also CSS is atrocious for layout. Maybe it's gotten better in the last few years, but I haven't checked.
>>53592615
I hope you don't mean Rice's theorem. That is not what it says.
>>53592603
>>53592645
It doesn't say it like that but if you accept it, then that is the only possible outcome.
>>53592579
I wish I were a sociopath. I could specialize in marketing stupid shit to women and become a billionaire.
>>53592618
well ya. I mean the parser for that shithole language is apparently Impossible to figure out.
http://programmingisterrible.com/post/42432568185/how-to-parse-ruby
I never liked ruby anyhow.
>>53592579
>oxidation only happens in metals
You might be the dumbest person I've met all year.
>>53592552
fuck you that juice is tasty
>>53592533
Pretty much this. Now the bottleneck of the "web browsing experience" is that you have to load giantic scripts that are useless and bloated just to get a webpage right.
>>53592686
That wouldn't help, you're just too lazy and/or stupid to do it
>>53592615
A complex piece of software written in a purely functional language can be proofed.
>>53592634
>You can definitely prove it for an algorithm.
well, there is always the halting problem.
it's not always possible to prove loops.
>>53592795
better tell NASA to trash their safety code for interferences poisoning their RAM then
>>53592528
I'm ok with this.
A bunch of young insecure female teens will see a young woman they admire (for whatever unhealthy reasons) "code" and eat healthy and will want to imitate her.
If this can lead to a few more girls who will consider taking an exploratory course in CS in college this will have been a victory.
We need to face it, if we want to attract teen girls into thinking that coding is cool, we can't do it by having sweating old man with beards tell them about the beauty of programming, or video games.
>>53592831
Oh shit.
Let me just get on that then
>>53592815
What does that have to do with the halting problem?
You're not writing a program that takes an arbitrary program and says something about its behaviour.
You're proofing the correctness of a specific algorithm.
>>53592884
>We need to face it, if we want to attract teen girls into thinking that coding is cool
Why would anyone want that?
>>53592884
Honestly this.
You people loose your shit over peanuts but in the end it will be a net positive.
>>53592926
More people practicing our craft is always a good thing.
>>53592884
>We need to face it, if we want to attract teen girls into thinking that coding is cool
But why do we want that? How is attracting a specific gender to CS any good? What will women bring to the table that men can't?
Does anyone ever give a shit about attracting women to construction sites? To mining? To any mostly male workfield that pays like shit? No. But when we have a workfield that pays well, awh shit, gotta get women on that.
>>53592926
because eventually you'd actually have more qts who can actually code and that is sexy as fuck
>>53592430
Isn't that task done by using modulu ? Doesn't sound too hard.
>>53592943
more girls around you = increased chance of sex
>>53592815
The halting problem says you can't write a program that determines, for all programs and all inputs, if it will halt or not. It doesn't says wether you can do that for a single program and by yourself, not by means of another program (I'm not saying you can, just that the halting problem doesn't apply).
>>53592930
>>53592926
lmaaaaaaaaaaaaoooooooooooooooooooooooooooooooooooooooooooooooooooooooo
Fucking normies, the only retards dumb enough to fall for the women can program meme.
>>53592815
You can prove the correctness of a certain implementation. When we talk about the halting problem and friends, we talk about any possible program supposed to compute a certain function, including programs nobody has written and never will write.
>>53592394
>prove my algorithm
fucking C"S"fags
>>53592971
You could even do it without modulo, e.g. with separate counter variables
>>53592618
no, that's a commented-out spec.
>>53592795
It cant, you would prove the halting problem if so. What you can do is prove certain cases under certain restrictive hypothesis.
See the cuck language https://en.wikipedia.org/wiki/Coq
>>53592980
For some of us, life isn't all about getting our dicks wet.
You retards are poisoning career fields and hobbies for terrible pussy.
If you want to score, stop being antisocial and actually go outside. Only the demented attention whores cling to programming and nerd hobbies, and they do it because they can solicit desperate faggots like you.
>>53593076
>It cant, you would prove the halting problem if so
Complete nonsense.
>>53593085
The whole fucking point of a career in the first place is to get pussy.
>>53592919
which you can't do...
are you people dumb?
not all loops can be proven to terminate or be fully correct.
jesus.
>>53593128
>not all loops can be proven to terminate or be fully correct.
Don't use them then.
>>53592980
no it doesn't.
lol, are you stupid?
>>53592795
Not any general code, because halting problem.
Also random RAM bitflips make your code collapse.
Also stupid haskell lazy runtime doesn't guarantee any timing. You can't write a decent realtime system in haskell.
Also: http://www.gwern.net/docs/1996-hoare.pdf
A b s t r a c t . By surveying current software engineering practice, this pa-
per reveals that the techniques employed to achieve reliability are little
different from those which have proved effective in all other branches of
modern engineering: rigorous management of procedures for design in-
spection and review; quality assurance based on a wide range of targeted
tests; continuous evolution by removal of errors from products already in
widespread use; and defensive programming, among other forms of de-
liberate over-engineering. Formal methods and proof play a small direct
role in large scale programming; but they do provide a conceptual frame-
work and basic understanding to promote the best of current practice,
and point directions for future improvement.
>>53592926
To drive down the average wage of the entire industry, you stupid goy.
>>53593109
If you want pussy that badly just go hire a prostitute. Either way you're paying, at least you're limiting the damage only to yourself.
>>53593109
>These are the retards propagating the human race
We're doomed lads
>>53592606
Probably tab completed.
>>53592954
how is programming ability sexy? do you think that because it helps you believe that you are attractive in some way
>>53592508
>those videos
>modern day "protesting"
>this entire world
How long before google memeural network turns into skynet and fixes things? Pls
>>53593155
>Also random RAM bitflips make your code collapse.
This has nothing to do with code or correctness, proving an algorithm is done on paper. Hardware errors on a machine running an implementation of an algorithm are unrelated to the correctness of the algorithm.
>>53593185
Lots of girls find guys that can cook sexy. I find girls that can code sexy. Whats wrong with that?
It doesn't mean that all male cooks are sexy to girls and it doesn't mean all female programmers are sexy to me but the ability definitely enhances what is already there for me.
>>53593161
t. econ dropout
>>53592943
because women deserve high paying quality office jobs, not damaging hard labour.
duh dipshit.
check your fucking privilege.
>>53593109
>Being a wagecuck purely for pussy
Holy shit i'm a virgin and am even embarrassed for you.
>>53593248
well he has a point.
must losers that don't have friends that happen to be girls meet girls at work.
Honestly, I don't get how anyone meets girls at school lol
>>53593243
Lol'd
>>53593277
>I don't get how anyone meets girls at school lol
literally just talk to them
>>53593248
>is a neet because he gave up on getting pussy
Case in point
>>53592528
lol, are we seriously ridiculing her commandline history? is your commandline history only filled with elegant pipes that concisely, safely perform exactly the awesome commands that you want the rest of the world to judge your coding skills on? she obviously used the terminal herself, and honestly 'cd..' is such a common mistype that even experienced cli users often have the alias in their rc.
>>53593301
ya that's great advice.
who is this idiot?
>>53593292
le misogyny so funny xD
>>53592566>cd..
bash: cd..: command not found
>cd ..
I do this about twice a day, every day, due to jumping between windows and unix shells. Don't even ask how many times I've typed ls into cmd.exe, or dir into xterm
>>53593317
>typing the same fucking thing 8 times
>"hah le it means nothing xDD"
>>53592884
There are other fields with much more skewed gender ratios: mining, oil rig service, truck driving, army.
Why is coding so special? (^:
We should certainly encourage teen girls to take these valuable high paying jobs as well!
>>53593220
>>>53593185
>Lots of girls find guys that can cook sexy. I find girls that can code sexy. Whats wrong with that?
Oh you stupid fucking goy.
Girls don't find guys that can cook sexy. They just say that shit because it absolves them from having to cook.
>Oh you big sexy man do all my chores for me ;)
>>53593348shopt -s autocd
>>53593277
>Honestly, I don't get how anyone meets girls at school
you'd have to interact with them in some way, try taking women studies
>>53593368
and absolves me from taking them to expensive restaurants
win-win
>>53593360
You will note that the army has made a major effort to recruit more women and establish equal treatment for them (^:
Those are also primarily low-paying blue-collar jobs, and women in the communities that produce the workers for that tier of employment are frequently homemakers.
>>53593368
If a girl does all the coding for me, I'd cook for her.
>>53593378
fuck really?
I give up.
>>53592789
Gullible girl detected
>>53593404
mining, oilrigs and truckdriving all pay very well actually
>>53593373
holy smokes
>>53593335
Trump is going to be our next president.
Hope that didn't trigger you
How come this shit is the best thread on /g/ in a while?
>>53593438
np bb
>>53593421
What are you on about?
I'm just saying that you're full of shit if you claim you wouldn't take the chance to become a billionaire by exploiting retards "because you're not a sociopath".
>>53593446
Not a chance.
Kanye West would get the same sort of support but nobody would actually let him become president when it came down to it
>>53593348
Just alias the commands.
>>53593479
You're so delusional, redditcuck
See you in November.
#PresidentTrump
>>53593393
So your options are:
>Cook for her because she won't do it herself
>Pay for her food because she won't do it herself
You're paying either way you loser.
>mfw I'm not a slave to the vaginal jew
>>53592884
>>53592884
Why do "we" have to make anything attractive to women? How about we let women act as agents who are in control over their own decisions instead of deciding we know what's best for them?
>>53593516
Not sure nigger cock is any better
>>53593500
Except redditcucks are all over trump/the same sort of misogyny.
>>53593473
nah.
it's hard to legitimately scam people if you aren't a figurative piece of human excrement (sociopath).
>>53593544
Bullshit. Reddit is the hq of Bernielosers
>>53592581
>>53592587
>Done.
every single commit
I wonder if it's just a fake account
>>53593524
kek.
you still think most humans are rational agents lad?
I wish I could say I am, but come on.
>>53592492
well to be fair she'd probably learn how to do the fizzbuzz in CS101
>>53593473
Not him, but personally I wouldn't if I knew it's actively harming other people's lives. Like, how some idiots who actually believe in homepathy pay for it and in some cases even tried to cure one of their familiars from lethal diseases, such as meningitis or cancer, to no effect. Things like that could've been easily prevented if someone wasn't trying to make profit out of their ignorance and instead helped them realize that what they needed is professional medical help. Some people are really easy to fool but that doesn't mean I would try to do it just because it means I can squeeze their money from them, you got to be a special kind of piece of shit to consider doing that, or at least be completely oblivious to the harm that's being done.
>>53592884
>if we want to attract teen girls into thinking that coding is cool
Except we don't want this at all.
Fuck off.
>>53593109
You're a retarded normalfag.
Get out.
>>53593622
you can't really compare that to selling some shitty overpriced health drink to idiots with too much money
>>53593317
>is your commandline history only filled with elegant pipes that concisely, safely perform exactly the awesome commands that you want the rest of the world to judge your coding skills on?
Yes.
>and honestly 'cd..' is such a common mistype
Nope.
>that even experienced cli users often have the alias in their rc.
Nope.
>>53592394
>>53592394
Because 50% of the time you'll be wrong until you learn how to prove you're not to yourself and your teacher. Js
>>53593348
I bet you guys don't know about pushd and popd.
>>53593317
It shows that unless she is trolling she has absolutely no idea what she's doing yet thinks that she deserves lots of attention for it. It's not mistyping, it's running against a wall while convinced that there is a door there when obviously there isn't.
>>53592603
to be fair, that's how you're supposed to do TDD.
you start with a dummy solution that barely passes the unit tests and make it better later.
>>53593359
She said herself she's a beginner student and that she took a 2 week coding class. The mistakes she did aren't uncommon among even intermediate users so the ridicule seems a bit uncalled for. Is the ridicule based on her being an idiot, being bad at coding or trying to look like she's smarter than she actually is?
>>53592980
>wants sex with tie-dyed landwhales
>>53593837
I really do not understand how people came up with some of these agile methods like the stuff in extreme programming
It feels like they just try a bunch of random crackpot stuff and write a bunch of articles about why they think it is a good idea and call it a day.
>>53592528
damn shes hot
>>53593128
No shit, you can't prove that an infinite loop will terminate because it won't. If you can't prove it will terminate there will probably be an input for which it won't terminate.
>>53593539
kek
>>53593844
All three.
>>53593844
>trying to look like she's smarter than she actually is
I'd say this one. It's the whole posing thing "look at me, I'm a coder gril". If you saw a 13 year old kid doing the same thing, you'd think "look at this little faggot, pretending he's the shit" except he's 13 and he's got an excuse.
>>53593844
it's based on a combination of the shutin 16-year-old userbase going le women coders xD and her promoting herself as a le woman coder. I think it would be more tactful for her to say "look, even I can do it after a two week course! I've never even tried this before!" than to go full #nerd #grrlcoders
It's just fuckin programming, anyone can do it, and that's the message people should be trying to get out imo
>>53592430
>anything related to algorithms
>i felt pretty confident
>my technical skills are sharp
all of my czechs
>>53593622
Hey, you take that back. Homeopathy cured humanity of Steve Jobs.
>>53592552
>there's no activated almonds in her salad
fucking pleb
>>53593948
>get cancer
>google cancer while very depressed
>it's all "hurr buy this magical crystal to get cured" and "medicine is a world conspiracy" shit
>suddenly realize how hopeless the fight against cancer is
>>53593939
>anyone can do it
I really want to believe this but rationally I can not assume this or the contrary to be true even if I want to.
I am scared of the possibility that brains are different in such a way that the "neural circuits" of some brains are going to struggle hard with certain tasks, or that brains are essentially the same, but language or early education/input in some way solidify a brain to make it really hard to do certain task
this stuff is just really spooky, and actually taboo as fuck - people seem scared of researching stuff like this, since it gets into certain territories pretty fast.
>>53593946
Does a lead UI dev really need to be able to implement the most agile solution, or should they be making a "sketch" for the actual programmers to make functional? Genuinely asking, I don't work in software development.
>>53592587
Good grief. Even as a quick-and-dirty measure you'd think some attempt would be made to get the current year and use that rather than hard code it.
>>53594015
If the job didn't require any programming prowess or problem solving, there wouldn't have been a programming exercise in the interview
>>53592926
Because it's too late to try to get them into CS when they start college. We need to show them that CS isn't just for nerds and asocial people.
>>53592930
Thank you.
>>53592943
>But why do we want that? How is attracting a specific gender to CS any good? What will women bring to the table that men can't?
It's not good nor bad. Our role is to show them that these options are as valid as other career choices and that it's a place where they could be happy and have fun.
>>53592943
>Does anyone ever give a shit about attracting women to construction sites? To mining? To any mostly male workfield that pays like shit?
Mining and construction don't pay like shit where I'm from.
>>53594004
I mean, I don't think you're necessarily wrong, because I fucking hate programming and actively refuse to learn anything if possible. Even I can learn some awk though. It's like, there's no such thing as being "just bad at math", there's just people who don't want to get good at it, which is fine (I failed precalculus twice)
>>53593939
>"look, even I can do it after a two week course! I've never even tried this before!"
I agree.
>>53593448
Australia is still hung over and in bed
>>53594044
Sort of like how jobs that don't involve operating heavy machinery still drug test?
>>53594139
No, being intoxicated at your workplace is probably against their policy and/or illegal.
>>53594114
>It's like, there's no such thing as being "just bad at math"
how can you know that, though
>>53593879
>retardation is sexy
>>53593915
And what is this based on? She never makes any such claims. In fact, she says repeatedly that she's a beginner. She even says that she wishes she had started learning programming when she was a teenager.
>>53593939
This is literally what she says. What gives you any ideas of the contrary? Is it offensive that she shows her instagram followers a command line interface next to her tuna salad? Does that somehow imply that she thinks she's some hacker superstar? I'm sure if you send her a private message and tell her how offended you are by her instagram posts she might consider adding a disclaimer that she is not in fact a professional software engineer the next time she posts a picture of her computer.
>>53594174
I mean, dyscalculia exists, but I think a bigger part of the problem is "math-phobia" and also it's taught in the most boring possible way such that only the most interested students can excel
>>53594004
>but language or early education/input in some way solidify a brain to make it really hard to do certain task
Well there is a critical period for learning a (first) language, or at least a theory for it. Maybe the same is valid for basic logic.
You don't really need much more for programming basic things, yet a lot of people still struggle and I find it very odd.
>>53594234
i hated high school math but i still did better in it than most other classes
>>53594114
>Even I can learn some awk though.
why would you do that to yourself
>>53592473
I can assure you that he is not the typical American college student. At least here in the south this is true.
>>>53594054
>It's not good nor bad. Our role is to show them that these options are as valid as other career choices and that it's a place where they could be happy and have fun.
If they're such shallow dipshits that they need a fucking cheer section all their own telling them what a precious little fucking snowflake they are and that they're the little engine that could all the way, it's not our fucking problem. We already have women in tech, the women who have a passion for it already go into the field and succeed without any issues.
Notice how the only cunts who complain about "muh secchsismh" are good-for-nothings who never contributed shit to anything. The rest of them are too busy doing actual work and shooting the shit with their male colleagues.
>>53594226
>And what is this based on?
I don't know who she is or what she does, all I've seen is pictures posted here so that's what I'm basing it on.
Let's pull another parallel, it's much like someone just started playing a guitar and they know half of one chord. Half of Em, for example. And they keep posting on their instagram photos with hashtags such as #girlguitarist
>>53594329
I'd like to choose a job I have a real passion for but unfortunately there are not many openings for a professional masturbator
>>53594393
>Let's pull another parallel, it's much like someone just started playing a guitar and they know half of one chord.
So basically every guy in high school until abouts early 2000s?
>>53594431
Yeah. Now imagine there's an anonymous communications network where people can talk about the annoying guy and his acoustic guitar at the party, and what they might say
>>53594329
>If they're such shallow dipshits that they need a fucking cheer section all their own telling them what a precious little fucking snowflake they are and that they're the little engine that could all the way, it's not our fucking problem. We already have women in tech, the women who have a passion for it already go into the field and succeed without any issues.
Just look at how the media portrays our job. In EVERY TV show you watch, the "computer genious" is always either an asperger-math-genious-basement dweller or a girl that looks too weird to fit in society.
There is a big stigma and a lot of preconceived ideas about software and computer engineering. Like that it's solitary work with no interactions with customers or colleagues (which experienced devs will tell you is very far from reality)
> picture related : it's how a young teen girl sees software engineering at the age she could begin to develop the interests that would lead her to a CS program and a dev job.
>>53594497
the guy's not even in a basement
>>53594497
>it's the fault of society that 90% of women are mental midgets who only care about licking coke off a cock until they turn 30 and get an irresistable urge to get a bun in their oven
You think men want to be that fucking creep? No, of course not, but we say "hey, I like this thing, this thing is a huge interest of mine, it would be cool to have it as a job when I grow up, I don't care about the image of it because I'm not a fucking retard".
This is a good thread guys. Love the discussion and exchange in opinions. You don't come by these kinds of threads often in /g/.
>>53592519
What is it?
>>53594541
True.
>>53594571
>>it's the fault of society that 90% of women are mental midgets who only care about licking coke off a cock until they turn 30 and get an irresistable urge to get a bun in their oven
You have much deeper issues than what I thought anon.
>>53594676
This isn't tumblr, son
>>53593801
>command prompt
>ever
>>53593878
One of my classmates did a presentation on the benefits of TDD. The articles mostly found that it does slow you down slightly BUT improves test and feature coverage by a lot more. Which would probably make up for the time lost in programming because you wouldn't have as many bugs to fix.
>>53593335
Cunt.
>>53594676
Muhh societies r sechist
>>53594497
>the "computer genious" is always either an asperger-math-genious-basement dweller or a girl that looks too weird to fit in society.
if that's enough to stop you then its probably not for you anyway.
>>53592394
>I know how to prove quicksort using induction! Why is everyone around my so dumb! Fuck everyone else, my IQ is 200, it pains me so hard to be with these subhuman trash!
>>53592430
I am new to programming. You do need to set a limit right ? Else it will just loop. Right ?
>>53595628
well unless you want endless amounts of fizzbuzz.
>>53595649
Well yeah but the console will keep running.
>>53595667
Most terminals will let you stop the program with ctrl+c.
It will probably go too far past the first 100 before you get to stop it though so yes you need to set a limit or add some delay to the printing if you are interested in the first few numbers or a set amount or whatever
itis not really too important I feel
>>53593317
>and honestly 'cd..' is such a common mistype that even experienced cli users often have the alias in their rc.
I don't give a shit if you fuck up 8 change directory commands in a row.
But if I were to do that I wouldn't take a photo of it (without using my hands apparently) and then put it on Instagram to show all of my followers how amazingly smart and geeky I am. If I did that I'd be rightfully laughed at. But she can do it because she's got a vagina and her fans see text on a black screen and think its really impressive that OMG A GIRL can use a terminal.
