Daily reminder that we don't need more women on technology field, at least if they are not competent
and trust me they aren't
>>54204173
Show me your code. I want to see if you can do better.
>>54204179
What I don't get is why these Girls Who Code project never release their software.
Actually I do get it: they're just dicking around with Scratch which is a toy
>>54204217
Show me your code. I want to see if you're qualified to judge code quality.
>>54204179
Literally any command would be better.
The OP's image shows someone not even understanding the basic concepts.
>>54204248
>ls
>not using dir/w/p
>>54204179
I'm not a programmer, Mr. Ebin Trole, and she's not coding, so even my fucking Hello World I made years ago (the only thing I ever wrote) would be better than fucking changing directory without a reason
I would like to remember you that she is SELLING a product http://kodewithklossy.com/
>>54204242
I sell my work - you'll have to speak to my employers.
>>54204326
>kodewithklossy
I know that #kodewithklossy is a scam. It's just publicity. Otherwise we would see code on the site. But we see only propaganda picture.
But OP stated
>>54204173
>trust me they aren't
So I want to know if OP is qualified to judge.
>>54204179
Here you go#!/bin/bash
cd $HOME
mkdir $HOME/new_directory
cd $HOME/new_directory
printf "You're a faggot.\n" >> readme.txt
>>54204366
Unqualified. You're not capable of handling errors correctly.
>>54204359
OP ever said "trust me, women cannot code"?
It's clear than an absolute affirmation is not supposed to include all the cases
Don't bother us with pointless sophisms, dear shitposter
>>54204366
mkdir $HOME/mynewstartup
cd $_
git init
echo "some nigger et al" > CONTRIBUTORS
git remote add origin https://github.com/shittr/shittr_node_js_npm_shitware.git
git push
hi do you want to join my startup
>>54204366
>not using visual basic 6
>unemployable
>>54204242#!/bin/bash
cowsay -e .. suck my dick
>>54204458
Confession time: I like dot fred
It's quick and dirty
>>54204539
you fucking monster!
also MOAR!
>>54204424
>no commit
>>54204173
Second
>cd..
It's actually pwd
Hehe ^~^
>>54205278
My max function is more secure because I proved my code. I never test it, testing is for code monkeys.Axiom mif : forall (T : Type) (P : Prop), (P -> T) -> (~ P -> T) -> T.
Arguments mif {_} _ _ _.
Axiom mif_true :
forall (T : Type) (P : Prop) (t : P -> T) (f : ~ P -> T) (H : P),
mif P t f = t H.
Arguments mif_true {_} _ _ _ _.
Axiom mif_false :
forall (T : Type) (P : Prop) (t : P -> T) (f : ~ P -> T) (H : ~ P),
mif P t f = f H.
Arguments mif_false {_} _ _ _ _.
Theorem absurd : forall A : Prop, A \/ ~ A.
intro A.
apply mif with (P := A).
auto.
auto.
Qed.
Definition total_order : forall T : Type, (T -> T -> Prop) -> Prop :=
fun T leq =>
(forall x : T, leq x x)
/\ (forall x y : T, leq x y -> leq y x -> x = y)
/\ (forall x y z : T, leq x y -> leq y z -> leq x z)
/\ (forall x y : T, leq x y \/ leq y x).
Arguments total_order {_} _.
Definition max : forall T : Type, (T -> T -> Prop) -> T -> T -> T :=
fun _ leq x y => mif (leq x y) (fun _ => y) (fun _ => x).
Arguments max {_} _ _ _.
Theorem max_is_max :
forall (T : Type) (leq : T -> T -> Prop) (x y : T)
(H : total_order leq),
let m := max leq x y in
(m = x \/ m = y) /\ leq x m /\ leq y m.
intros T leq x y Horder m.
assert (leq x y \/ ~ leq x y).
apply absurd.
case H.
intro H0.
assert (m = y).
unfold m.
unfold max.
apply mif_true with (P := leq x y) (t := fun _ : leq x y => y).
auto.
split.
auto.
rewrite H1.
split.
auto.
apply Horder.
intro H0.
assert (m = x).
unfold m.
unfold max.
apply mif_false with (P := leq x y) (f := fun _ : ~ leq x y => x).
auto.
split.
auto.
rewrite H1.
split.
apply Horder.
assert (leq x y \/ leq y x).
apply Horder.
case H2.
intro H3.
exfalso.
apply H0.
auto.
intro H3.
auto.
Qed.
>>54205278
jesus christ
screamingbaby.jpg
>>54205278
Please explain that sqrt function. Why the hell is he dereferencing a long pointer, when he could just typecast to long?
Not to mention, what the hell is going on in that function?
>>54205901
Nevermind, I just understood.
Both of them were written by her. She has no fucking idea.
>>54205313
>using auto
fucking babby-tier right here
>>54205942
Why? It works. And it's trivial.
>>54205901
I'm pretty sure that's carmac's inverse square root
>>54204173
Even the actual code is just awful
that concatenate_strings function is fucking retarded.
>>54205313
>I never test it, testing is for code monkeys.
>>54205966
It's not hardcore enough
>>54206022
Why testing when you prove the code? Do you know what a proof is?
>>54206034
A proof is a proof.
>>54206042
>Why testing when you prove the code?
What's the range of input values in which the function works at?
>>54205313
>I never test it, testing is for code monkeys.
What happens when you start working on projects with a large enough scale that rigorously proving all of the code becomes infeasible?
>>54206164
Any values, as soon as my "leq" function is a total order function my code is correct. So you really don't know what a proof is. Please stop talking.
>>54205278
hehe hey girls come show those dumb boys how to kode!! lol they dont know how to even make kode pretty look how ugly their code is rofl!!
btw university please "restructure" your cs course, it is sexist because the work is structured for the male brain only the people behind the curriculum were WHITE MALES WITH PRIVLEGE THATS WHY there arent many women in this course, duh!! let me, supermodel karlie kloss teach u how to teach your course
of course iim qualified i have a vagina are you a sexist? didnt think
hehe xd xd xd xd xd xd x d x d x d sfdsbfsdhfbasdhfbhfksbfaskfjkfkj
>>54205929
Lmao, you're the one who has no idea
https://en.m.wikipedia.org/wiki/Fast_inverse_square_root
>>54206186
I wasn't debating whether or not your proof is correct. No programming language can deal with numbers at any value. The fact you don't know this shows that you have no clue how software development actually works.
>>54206259
The fact that you deny the truthfulness of a proof checked by coq show that you're totally retarded. Please shut up, you're embarrassing yourself.
>>54204374#!/bin/bash
cd $HOME 2>/dev/null
mkdir $HOME/new_directory 2>/dev/null
cd $HOME/new_directory 2>/dev/null && printf "You're a faggot.\n" >> readme.txt 2>/dev/null
>>54206311
Please stop.
>>54206327
but the errors are """handled""" here though
>>54206290
LOL, you're the one who's embarrassing yourself.
>>54206355
OK. I'm sorry for you. Life must not be easy.
>>54206352
No. Learn to code and come back in three years. You really suck.
>>54205278
Can someone help me understand the quick inv sqrt?
He's using i as the dereferenced long-pointer cast to a float address? What does this do?
I assume on the line after the magic number constant thing he's just transferring that back into a float
>>54206228
>tfw my uni has been phasing all intro cs course profs to be female
>all of them are qt3.14s
>mfw my code isn't pretty
>>54205929
https://en.wikipedia.org/wiki/Fast_inverse_square_root
>>54206363
Good luck in the real world, kid.
>>54206398
Typical butthurt woman
>>54206427
So you're really that retarded. Just to prove to you why it's you that is retarded. Did you suck at math when you were young? No don't answer. I already know the truth.
>>54206412
its okay anon let professional 23 year old koder karlie kloss guide you and your classmates to a new generation of kodin
from the people that brought you LE SCIENCE!!
comes.... LE CODING!
>>54205901
It's the inverse square root for quake you moron.
>>54206022
it's an automatic theorem prover. Are you so fucking dense that you think a person using automated proof system does not have enough experience coding to seriously hold that opinion? Lay off the paint dude
Anyone have that picture where it has SCIENCE!!! with big and sparkkly letters vs actual science on the left?
>>54206259
The fact that you think the person you're talking to is not fucking with you makes me think you have an absolutely massive case of duning kruger.
I bet you write PHP for a living
>>54206609
You think it's easy to tell the difference between sarcastic and serious anonymous posts on the internet?
>>54206767
It's not the tone of his post that tipped me, it's the fact that anyone who has enough IQ to tie their shoelaces can tell that someone posting theorem prover code along with an inflamatory statement is being facetious.
>>54206815
I've only very recently started browsing /g/ on a regular basis.
womans belong in da kitchen ya kno im sayin ??
Cocksleeves need to learn their place. This is a man's world.
>>54206948
You mean the board filled with redditors, normalfags and attention whores?
Though that also applies to /g/, minus the women.
>>54207046
>You mean the board filled with redditors, normalfags and attention whores?
Yes, please go you permavirgin autism-projecting faggot
>>54204179
sudo apt-get install steam
>>54207088
Hello tumblr, how are you doing today?
>>54207088
Sup roastbeef
>>54207088
nigger spotted!
>>54206948
hh? I love to see women who love eng or cs in eng or cs, I dont like our curriculum being dumbed down so RETARD men and RETARD WOMEN WITH NO FUCKING BUSINESS IN ENG OR CS ARE CONVINCED TO JOIN ENG OR CS.
understand now? you can fuck off
>>54206969
fuck off
>>54206935
kill yourself FAST
>women actually capable of writing code
Honestly I have NEVER seen code that is written by a women used in production or mainstream open source.
>>54207140
>>54207153
>>54207170
You sure showed me!
>>54205278
>The code on the left is bad: It is hacker code used to steal nude photos! Stay away!
What?
>>54207209
>WHAT IS COBOL
>>54205278
>She didn't keep the "What the fuck?!?" comment
I still laugh every fucking time I see that.
>>54207296
What do you mean? Not a single woman designed COBOL and the language that came before it was literally just English for computers designed by a woman. My point still stands. Who is using either of those still in new code bases?
>>54204173
this is the worst kind of "PROGRAMMING" I have ever seen in my life.
This thread should be an hourly reminder.
>>54205278
Could you link to the original tweet?
>>54207456
It doesn't exist. It's a fake image, my friend
>>54205278
Please tell me this is Photoshopped.
Woman never invented anything. Man invented everything. It is right that man rule over woman. Praise be to Allah!
>>54207504
>>54207479
>>54207456
It's fake. All those accounts are spam accounts
>>54207712
>fluttershy-cumshot-compilation.avi
Holy shit
Where can I find that?
>>54207456
>>54207479
>>54207504
>>54207561
I wish they were fake accounts. Twitter post seems to be deleted. I did see it a few months ago though and her instagram post is still up, which is actually far more embarrassing
instagram.com/p/5c1WXeESvD/
bump from OP
gurlz shouldnt b in tech much less codan
So many retards here.
>>54205278
>>54207926
Karlie is a real person and the image in OP is real. However, "The difference between girls and guys" is fake. She did not post that. There is not a single shred of evidence that it ever existed.
