zsparks: I'm not a *complete* idiot!
bblum: No, just a sound one.
*Gupta is giving a 251 lecture on tips for surviving the class*
<Gupta> So here are a few common problems with proofs in 251.
<Gupta> Here is a proof by convoluted notation.
<Gupta> This one is proof by intimidation, where you make the TA feel stupid for not agreeing with you.
<Gupta> The classic proof by "It is clear that...".
*Gupta continues on for several slides*
<Gupta> Now this last one hasn't been much of an issue since Von Ahn stopped teaching the course, but we must go over it any way, because it is a serious problem.
*Brings up slide titled "Proof by OMGWTFBBQ" with a picture of Trogdor the 'Inductionator'.*
<Gupta> Now, despite the obvious flaws here, we still give partial credit for effort here. 1/20 and a letter of recommendation for a transfer to CFA.
Crary: If you're at a cocktail party and you are asked what you do, the last thing you want to do is say "well, I'm a professor, and I study programming languages". Because then invariably someone will ask you some inane question about the relative merits of Fortran and Cobol.
(Crary has been discussing C's "void" type as compared with bottom.)
Crary: So C really shouldn't have called "unit" "void".
rntz: But it's not unit, it doesn't have a value!
Crary: Look, let's spare the class this argument. I'll just summarize by saying "I'm right".
< sully> hrm
* sully hungry
< sully> mmeyerho just went to sleep
< bblum> easy prey.
<shank> SO MANY NOOOBS
<shank> NOOOOOOOOOOBS
<shank> NOOOOOOOOBS WITH BOOOOOOOOOOBS
<bbubbles> !talk gay
<sourbot> gay porn...i dont think you want to offer
< Slizyboy> so yesterday in my martial arts class, my sensei said that the purpose of meditation is to empty ourselves
< Slizyboy> he said this, because 'from emptiness, anything is possible'
< Slizyboy> and my first thought was 'bottom imples C'?
Karl Crary: Starcraft 2 pretty much has type "unit -> unit", but I would probably pay more for Starcraft 2 than for fn () => (). In fact, I can say this empirically: I *did* pay more for Starcraft 2.
< joshua_> jboning was just had
< joshua_> he attempted to 'apt-get install vim'
< joshua_> he typed 'apt-get install vm'
< joshua_> and the machine proceeded to install emacs
< nwf> Description: A mail user agent for Emacs.
"Pay me and I'll insert you."
...On amortized complexity
adrake: Oh! I know what's going on here. I'm being shat on.
Crary: What if we had a connective that maybe we don't have an intuitive understanding of? I'll call it star - well, there's already a connective for star out there; maybe I could make it a happy face...
Ttuttle: Make it a giraffe!
BBlum: Make it a squiggly arrow!
Crary: I'm going to make it a star. I can't draw giraffes, and actually I have a new rule now, which is not to do anything you (*points at bblum*) tell me to do.
< rntz> r7 has a blackbox & squeezebox
< rntz> but not a boombox
< rntz> or rather, an rntzbox
< j4cbo> well, we have tz, but not rn
< j4cbo> the rn will be restored tomorrow
< Slizyboy> getting the subwoofer back?
< j4cbo> yeah
kharring: Tiger Woods is like the black Oprah.
Professor Lori Levin: I don't even think this book is written for graduate students... Actually I'll tell you who this book is written for; it's written for missionaries.
pcd1: So...whoever took over dtella is a chump.
efaust: I don't know that anyone took over dtella.
pcd1: This may be the problem: "nobody" is a chump.
* j4cbo is in nsaphra's room playing with her oscilloscope
< kjones> j4cbo: is that what they call it nowadays
< rntz> okay, rickrolling should now work properly
<hvincent> does anyone in pittsburgh like tomatoes
<hvincent> i have an excessive number of fresh picked tomatoes
<jvirdo> hvincent: yes yes yes
* jvirdo is italian, loves tomatoes
* jboning likes tomatoes
<ttuttle> hvincent: HOLY SHIT YES
-!- e4knee [~eforney@GHC13.GHC.ANDREW.CMU.EDU] has joined #cslounge
<e4knee> I heard there were free tomatoes here.
<hvincent> okay i am going to go run a few errands but i will prod you guys later and arrange tomato deliveries
<e4knee> omg they're real?
<e4knee> I thought this was a meme!
<sully> Let's have sex!
<sully> Casual sex!
<twright0> sully: okay
<jsappel> efb
< ttuttle> gwillen: it is warmish but annoyingly humid Herr.
< ttuttle> *here
< gwillen> that was a great miscorrection
< ttuttle> Goddamn phone.
< rntz> harbl-- # fuckit
< ttuttle> You can't remove words from the dictionary.
< ttuttle> harbor++
< ttuttle> Damnit.
< gwillen> *SNORT*
< ttuttle> harbor--
< ttuttle> harbl++
< joshua_> rkh, do you ever tire of being irritating?
< j4cbo> water, do you ever tire of being wet?
< j4cbo> bear, do you ever tire of shitting in the woods?
< rntz> j4cbo, do you ever tire of being a tool?
< mrwright> Ok, time for spam mad libs. Someone give me a noun.
< jvirdo> mrwright: wheel
< mrwright> "She will put your mouth around the whole of your wheel!"
< mrwright> The actual spam message cut off after "your" so I was wondering what might come next!
< mrwright> But now I know.
(on #cslounge-contact)
<evilwombat> Besides what j4cbo may tell you from atop his supplemental-oxygen-equipped horse, is it a reason not to use asm() ?
< joshua_> maurer_,
< joshua_> maurer_,
< bblum> joshua_ joshua_
< rbraun> bblum bblum
< hvincent> rbraun rbraun
< rbraun> hvincent hvincent hvincent hvincent OOPS HERE COMES FREENODE STAFF
< j4cbo> i have a *lot* of quotes on cmubash
< j4cbo> this is bad
< beebles> rntz, I saw her duck with a telescope.
< rntz> beebles, no, you didn't
< beebles> rntz: Yes, I do.
< rntz> beebles: disgusting!
< rntz> http://rjlipton.wordpress.com/2010/08/09/issues-in-the-proof-that-p%E2%89%A0np/#comment-4712
< rntz> the P!=NP proof appears to have a problem
< j4cbo> I AM SHOCKED
< j4cbo> SHOCKED, I SAY
jhferris: I mean, if I end up getting there thurs and you're not out I'll just crash on the couch
adamblan: hehe
adamblan: BUT WHERE WILL RICH SLEEP??!?!?!
<Slizyboy> the campaign is actually good enough that i'll probably pay for the game
<Slizyboy> amortized cost per hour is going to be lower than most other things i pay for by the hour
<Slizyboy> like hookers
<Slizyboy> or unlimited blow night at the corner down the street
<j4cbo> where?
"Your operating system and processor are in cahoots." -- Kesden
gkesden: So, just don't rub heads with the pre-college students.
mmitchel: You can go to jail for that, too.
< bblum> livecd dev # find /tmp/lol/
< bblum> find: File system loop detected;
< bblum> once per entry in the directory.
< rpearl> shiny
< jbenedetto> time becomes a loop
< bblum> speaking of which
< bblum> mount: unknown filesystem type 'loop'
< bblum> i guess i'm just owned
< bblum> (different loop...)
< jbenedetto> lol
< jbenedetto> Penis -> Butthole
< jbenedetto> DIFFERENT KIND OF LOOP
< jbenedetto> NOT THE LOCAL LOOPBACK INTERFACE I WANTED
< jbenedetto> D:
< bblum> XD
"Your head must be a confusing place. You know, people pay for that. There are leaves and power..." -- Kesden
"We basically say 'Shit, fuck damn!', because now, we suddenly encounter a cost of n to double the array." -- Kesden
"This interface sucks so much dick, oh my god, like, 12 orders of magnitude of dick" -aefernan complaining about summer 211 graph lab starter code
-!- talchas|nexus [~talchas|n@m3a0536d0.tmodns.net] has joined #cslounge
<bblum> tlchs|nxs
<rntz> tyllh'chys|nyxu-us
<rntz> the "|" is pronounced with a click
[gwillen mistypes the word 'stickler'. Jcreed makes up a definition for the typo.]
<jcreed_> what's brown, sticky, and doesn't incur a lot of context-switching overhead?
<gwillen> a sticklet!
<mcmillen> java.lang.UnsatisfiedLinkError
<bswolf> mcmillen: that sounds like the error that would occur when zelda doesn't put out
<evilwombat> His plan was to say "context-switch" to a stripper. CORRECTLY.
< evilwombat> ttuttle, are you around?
< evilwombat> (don't worry, it isn't about android)
< hvincent> my hobby is turning jaywalkers into jaysprinters
< bblum> what kind of a jew are you if your terminal cannot support hebrew
iwinulose: I do declare this line to be a whore:
iwinulose: svn st | grep ? | awk '{ print $2 }' | xargs svn add
iwinulose: cheap
iwinulose: dirty
iwinulose: gets the job done
mjrosenb: iwinulose: i am curious about the ?.
mjrosenb: oh wait, ? is only special with -E, isn't it
iwinulose: mjrosenb: yeah.
mjrosenb: iwinulose: althought that *still* has the ability to shoot you in the face
iwinulose: mjrosenb: much like whores can give you syphilis
mjrosenb: iwinulose: and i would imagine that it will come up eventually
mjrosenb: if only by accident
iwinulose: syphilis?
< jbenedetto> nwf: http://latimesblogs.latimes.com/greenspace/2010/07/gulf-oil-spill-new-spill-in-gulf-after-barge-crashes-into-abandoned-oil-well.html
< jbenedetto> nwf: YO DAWG I HERD YOU WANTED SOME OIL INSIDE YO GULF, SO WE FUCKED UP AN OILWELL WILE FUCKING UP AN OILWELL, SO WE CAN SPILL WHILE WE SPILL.
< efaust> jesus fucking christ
< Zannick> jesus fucking christ, the original yo dawg
cniessl: "If x equals y, you're fucked."
aefernan: "I'm pretty sure that wording won't fly on my homework."
cniessl: "x equals y implies fucked."
< jbenedetto> csawyer: they come in all sizes
< jbenedetto> csawyer: many are larger than that
[during discussion about nexus one]
< evilwombat> i would *never* buy a phone online without being able to play with it first.
< ttuttle> evilwombat: I played with gwillen's phone.
< ttuttle> (man, I am cursing myself for not using the codename, "passion", in that sentence.)
< joshua_> I hope that someone gets my
< joshua_> I hope that someone gets my
< joshua_> I hope that someone gets my
< joshua_> message in an android.os.Parcelable...
