←2012-07-02 2012-07-03 2012-07-04→ ↑2012 ↑all
00:02:49 -!- zzo38 has quit (Remote host closed the connection).
00:11:47 <itidus21> this depicts what i have described http://oi46.tinypic.com/2rz989c.jpg (proof i have too much free time)
00:12:59 <quintopia> :\
00:13:36 <itidus21> the intention is that i could make a NES tile font using methods similar to that
00:16:23 <itidus21> could being the keyword, perhaps a better word is won't
00:22:43 -!- zzo38 has joined.
00:34:16 <zzo38> Can a Penrose diagrammatic tensor notation be used with some restrictions with a tensor category? Use different lines for different objects, and different restriction depending on the category such as no crossing lines unless it is a commutative tensor category.
00:43:42 <zzo38> There may be other restrictions too to ensure it is unambiguous.
00:52:03 <zzo38> What is it called when an initial object of a category C is final in a Kleisli category of a monad M on C?
00:53:11 -!- Patashu[Zzz] has changed nick to Patashu.
00:54:19 <zzo38> In Haskell, the Maybe and [] and Finalize monad have this property.
00:55:02 <shachaf> What's Finalize?
00:55:10 <copumpkin> zzo38: how do you mean initial -> final?
00:55:37 <copumpkin> oh, I sort of see it here
00:55:49 <zzo38> Finalize monad is the monad of the endofunctor that all objects go to the final object. In Haskell it would be: data Finalize x = Finalize;
00:56:00 <copumpkin> most people call it Const
00:56:02 <shachaf> Oh, my favourite monad.
00:56:06 <shachaf> I always called it Null. :-(
00:56:37 <zzo38> There is also the Initialize comonad which is the comonad of the endofunctor that all objects go to the initial object. In Haskell it is: data Initialize x;
00:56:38 <shachaf> sorear once said that Identity would be the initial object and Null would be the terminal object in a category of monads.
00:56:41 <shachaf> Or something like that.
00:57:10 <zzo38> copumpkin: What do you mean, "how do you mean initial -> final"? I just mean initial and final objects in a category.
01:01:30 <zzo38> Are they the same ones which the "right zero law" of the MonadPlus class applies?
01:03:44 <zzo38> I think it means (Kleisli Maybe) category includes zero-morphism which are (Kleisli $ const Nothing)
01:08:58 <Phantom_Hoover> Ooh, Charles Stross AMA.
01:13:41 <zzo38> Phantom_Hoover: What is that?
01:14:02 <Phantom_Hoover> http://www.reddit.com/r/IAmA
01:20:10 <Phantom_Hoover> Eew, he likes Heinlein. Maybe Heinlein isn't as bad as literally everything about him suggests,
01:20:58 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:28:08 -!- zzo38 has quit (Remote host closed the connection).
02:14:04 <itidus21> i get the impression the web was in use in 1989
02:15:19 <elliott> what
02:16:37 <itidus21> well theres patents which were filed in 1989 which have urls.. oh it's a re-examination maybe
02:17:16 <itidus21> ok reexamination certificates
02:17:24 <itidus21> have urls on tehm... confused me
02:23:00 <itidus21> elliott: what i'm really trying to figure out is, is it legal to structure data as <foo bar="foobar">foobar</foo>, <foo bar="foobar"/>
02:23:59 <itidus21> it seems to me that it should be.
02:24:37 <elliott> i
02:24:39 <elliott> don't understand
02:24:51 <itidus21> lol
02:24:58 <itidus21> hmm
02:26:22 <itidus21> if i wanted to add structure to my post i might say, <nick>itidus21</nick><post colour="default">lol</post>
02:28:26 <itidus21> i would feel wronged if i wasn't allowed to do that legally
02:33:58 <itidus21> my abstract conception of markup tags is probably not a topic anyone tends to discuss in real life
02:40:55 <itidus21> {blah} ::= text | <{identifier}{attribute-list}>{blah}</{identifier}> | <{identifier}{attribute-list}/>
02:41:00 <itidus21> {attribute-list} ::= | {attribute-list} {identifier}="text"
02:41:20 <itidus21> ugly.. i fucked that up
02:41:36 <itidus21> i won't put everyone through the agony of continuing
02:51:02 <elliott> itidus21: what do you mean "legal"
02:51:28 <itidus21> i mean that i can't be sued over it due to someones intellectual property
02:53:06 <elliott> oh, "legal" as in legal
02:53:18 <elliott> well any patent on that would be unenforceable and almost assuredly have plenty of prior art
02:53:21 <itidus21> this is why it's fun to chat with me
02:53:23 <elliott> so why are you worrying about it
02:53:43 <itidus21> basically due to the microsoft xml thing
02:54:51 <itidus21> but i am being absurd
02:54:57 <itidus21> yeah
02:56:12 <itidus21> since after all xml is more than 2 lines of bnf
02:56:22 <coppro> `addquote <elliott> oh, "legal" as in legal
02:56:32 <HackEgo> 848) <elliott> oh, "legal" as in legal
02:57:08 -!- stanley has quit (Ping timeout: 255 seconds).
02:57:23 <coppro> `url
02:57:26 <HackEgo> http://codu.org/projects/hackbot/fshg/
02:59:00 <coppro> 1delquote 844
02:59:03 <coppro> 1delquote 844
02:59:06 <coppro> `delquote 844
02:59:10 <HackEgo> ​*poof* becal pckecibedecimacibedey d pakely pckensensly d dely decimecked pacimakecal dey
02:59:21 <itidus21> :o
03:00:54 -!- stanley has joined.
03:00:57 <shachaf> `run echo 'quote elliott' > bin/quelliott; chmod +x bin/quelliott
03:01:00 <HackEgo> No output.
03:01:01 <shachaf> `quelliott
03:01:04 <HackEgo> 171) <fungot> elliott: i like scsh's mechanism best: it's most transparent and doesn't really serve a very useful feature. \ 174) <fungot> elliott: it's hard to debug havoc on your mirror if you accidentally hit r, then a character could be multiple words long, depending on the task. \ 183) <Gregor> elliott: My university has two Poultry Science buildings. <Gregor> Two! \ 191) <elliott> Vorpal loves the sodomy. <Vorpal>
03:02:20 <elliott> `rm bin/quelliott
03:02:22 <HackEgo> No output.
03:02:22 <elliott> `welcome stanley
03:02:25 <HackEgo> stanley: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
03:02:29 <elliott> Too much bottage.
03:02:44 <shachaf> Henceforth, bottage is verboten.
03:03:55 <ion> `run quote | tr ' ' '\n' | shuf | tr '\n' ' '
03:03:59 <HackEgo> Received [CTCP] ERRMSG. 224) reply from unknown CTCP: clog: CTCP-ERRMSG
03:04:37 <ion> okay then
03:04:46 <shachaf> ion: Do you know what "verboten" means?
03:04:46 <elliott> hi
03:04:49 <shachaf> @wn verboten
03:04:50 <lambdabot> *** "verboten" wn "WordNet (r) 3.0 (2006)"
03:04:50 <lambdabot> verboten
03:04:50 <lambdabot> adj 1: excluded from use or mention; "forbidden fruit"; "in our
03:04:50 <lambdabot> house dancing and playing cards were out"; "a taboo
03:04:50 <lambdabot> subject" [syn: {forbidden}, {out(p)}, {prohibited},
03:04:52 <lambdabot> {proscribed}, {taboo}, {tabu}, {verboten}]
03:04:54 <shachaf> oops
03:05:57 <ion> I’m a rebel
03:06:33 <itidus21> <LT> ::= '<'; <GT> ::= '>'
03:06:50 <itidus21> <text> ::= <text> |'a'|'b'|'c'|'d'|'e'|'f'|'g'|'h'|'i'|'j'|'k'|'l'|'m'|'n'|'o'|'p'|'q'|'r'|'s'|'t'|'u'|'v'|'w'|'x'|'y'|'z'
03:07:00 <itidus21> <attribute-list> ::= | <text>="<text>" | <attribute-list><attribute-list>
03:07:07 <itidus21> <blah> ::= <text> | <LT><text><attribute-list><GT><blah><LT>/<text><GT> | LT<text><attribute-list>/<GT>
03:07:13 <shachaf> ion: I‘m even more of a rebel.
03:07:15 <shachaf> Did you see that?
03:07:23 <ion> yes
03:07:33 <ion> But you only broke your own rule.
03:08:02 <shachaf> Which rule?
03:08:11 <itidus21> i call it... whatthe
03:08:17 <shachaf> I‘m talking about the apostrophe rule.
03:08:18 <ion> That bottage is verboten.
03:08:41 <ion> Didn’t see that one.
03:08:53 <shachaf> Didn‘t see it?
03:11:55 <ion> I didn„t indeed.
03:12:26 <elliott> What,re you talking about
03:13:59 <coppro> `delquote 637
03:14:01 <coppro> I don't like non-quotes
03:14:01 <HackEgo> ​*poof* <coppro> clearly darth needs something gray and big and proving the uncountability of the reals
03:14:43 <ion> Hey, some of my family is non-quotes.
03:17:21 <elliott> coppro: how is that a non-quote
03:17:37 <elliott> it's a bad quote, admittedly
03:18:47 <coppro> elliott: I never said that afiact
03:19:51 <coppro> elliott: also most of our quotes are bad
03:20:04 <coppro> see http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.13197 if you care though
03:20:23 <elliott> `pastlog <coppro> clearly darth needs something gray and big and proving the uncountability of the reals
03:20:30 <HackEgo> 2011-10-24.txt:07:47:03: <HackEgo> 691) <coppro> clearly darth needs something gray and big and proving the uncountability of the reals
03:20:34 <elliott> `pastelogs <coppro> clearly darth needs something gray and big and proving the uncountability of the reals
03:20:41 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.27520
03:21:08 <elliott> coppro: I think you said that to me in /msg.
03:21:45 <coppro> elliott: hmm... possibly
03:45:17 -!- zzo38 has joined.
03:54:19 <zzo38> If a tensor category follow this (whenever the types match) what is it called: f . g = f *** g
04:47:47 -!- edwardk has joined.
05:30:30 <zzo38> What is "ABC starting with C"?
05:35:23 <monqy> C
05:40:36 <shachaf> (C) monqy
05:47:29 -!- elliott has quit (Quit: Leaving).
06:36:59 -!- pikhq_ has joined.
06:37:08 -!- edwardk has quit (Quit: Computer has gone to sleep.).
06:37:18 -!- pikhq has quit (Ping timeout: 264 seconds).
06:41:13 -!- edwardk has joined.
06:41:57 -!- pikhq has joined.
06:42:01 -!- pikhq_ has quit (Ping timeout: 246 seconds).
06:53:18 -!- edwardk has quit (Quit: Computer has gone to sleep.).
06:56:03 -!- asiekierka has joined.
06:56:04 <asiekierka> hello
06:56:38 <asiekierka> so it's the time of year when i can get another nifty electronic device or devices
06:56:39 <asiekierka> what do I get?
06:57:12 <zzo38> I don't know.
07:08:47 <pikhq> asiekierka: Several terabytes.
07:34:32 <zzo38> I think I managed to make the same Haskell solution to anarchy golf "Cross Product of two Strings" at least the length and statistic matches!
07:34:53 <zzo38> But maybe not; in ten days I can check for sure
07:59:41 * itidus21 . o O ( MOV AX, (ADD (SUB AX, BX), (INC CX)) )
08:03:00 <shachaf> What?
08:04:33 <itidus21> it's how assembly language might look if it had nested expressions
08:06:04 <itidus21> ex officio!
08:07:04 <shachaf> Even your assembly language doesn't make any sense.
08:07:05 -!- Phantom__Hoover has joined.
08:10:17 <itidus21> roughly means: ax=(ax-bx)+(++cx);
08:10:28 <itidus21> in my mind
08:12:51 <zzo38> Yes you just need to know order of evaluation do like SUB AX BX INC CX ADD AX CX
08:13:28 <itidus21> im not certain it can work though
08:13:48 <itidus21> asm has lots of strange constraints
08:14:57 <itidus21> im just thinking too loudly
08:21:31 -!- zzo38 has quit (Remote host closed the connection).
09:41:23 <Phantom__Hoover> Wow, webpagesthatsuck.com describes a site as "nswf". Twice.
09:41:34 <Phantom__Hoover> Is that... not safe wor fork?
09:56:58 -!- asiekierka has quit (Ping timeout: 246 seconds).
10:52:35 -!- itidus20 has joined.
10:56:07 -!- itidus21 has quit (Ping timeout: 255 seconds).
11:20:13 -!- DHeadshot has joined.
11:24:47 <Vorpal> hi
11:51:29 -!- augur has joined.
12:39:16 <Vorpal> wtf... I think the images my cheap scanner produces are slightly skewed... I scanned two copies of the same image, but with one rotated 90°, and there is no rotation that matches up the whole image...
12:39:20 <Vorpal> looks like skew
12:39:21 <Vorpal> how weird
12:53:44 <Sgeo> strings is officially my favorite program ever.
13:20:39 -!- augur has quit (Read error: Connection reset by peer).
13:20:54 -!- augur has joined.
13:27:19 -!- azaq23 has joined.
13:27:34 -!- azaq23 has quit (Max SendQ exceeded).
13:44:44 <Deewiant> Phantom__Hoover: "not so work friendly"
13:48:16 <Sgeo> Fuck Yeah rsync
13:50:47 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
14:09:46 -!- copumpkin has joined.
14:33:55 -!- Patashu has changed nick to Patashu[Zzz].
14:53:26 <Sgeo> I apparently made a Worlds wiki
15:04:15 -!- pikhq has quit (Quit: leaving).
15:06:55 <Phantom__Hoover> Ooh where
15:07:01 <Phantom__Hoover> does it record all the surreal horrors
15:25:40 -!- Taneb has joined.
15:25:43 <Taneb> Hello!
15:34:14 <Sgeo> Phantom__Hoover, it doesn't record much of anything\
15:34:37 <Sgeo> Except for a world that, as far as I can tell, is not part of Worlds
15:34:46 <Sgeo> I think the person who added it was in the wrong wiki
15:35:06 <Sgeo> http://worlds.wikia.com/wiki/Special:AllPages
15:35:41 <Sgeo> Page in question: http://worlds.wikia.com/wiki/Wasteland
16:40:38 <Sgeo> On the one hand, I'm curious about Tcl, on the other, I think some people consider it terrible
16:41:04 <Phantom__Hoover> For any given thing, some people will consider it terrible.
16:43:55 <Sgeo> http://stackoverflow.com/questions/99681/why-wont-tcl-die
16:44:08 <Sgeo> " If you never really liked shell-script (or make, for that matter), you'll probably dislike Tcl"
16:44:19 <Sgeo> On the other hand, I like what I'm reading in some of the other answers
16:45:12 -!- azaq23 has joined.
16:46:15 <ion> Meanwhile in Russia http://youtu.be/elxuGbkvETQ
16:46:15 -!- zzo38 has joined.
16:50:24 -!- Taneb has quit (Quit: Leaving).
16:52:10 <Phantom__Hoover> The question of why that was being filmed is, I feel, and important and unaddressed one.
16:53:25 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
16:54:05 <ion> @tell phantom__hoover Plenty of people have dash cams.
16:54:05 <lambdabot> Consider it noted.
16:58:47 -!- Phantom_Hoover has joined.
17:03:19 -!- edwardk has joined.
17:05:24 <Sgeo> Installing ActiveTcl
17:06:01 -!- itidus20 has changed nick to itidus21.
17:16:07 -!- edwardk has quit (Ping timeout: 240 seconds).
17:23:19 -!- Taneb has joined.
17:23:33 <Phantom_Hoover> Dammit I hate having to babysit yaourt whenever I want to install or upgrade anything from AUR.
17:23:55 <Phantom_Hoover> No, I don't want to edit pkgbuild. Yes, I want to continue building. Yes, I want to proceed with installation.
17:23:55 <Taneb> Hello
17:24:01 <Phantom_Hoover> hello Taneb
17:24:15 <Taneb> My fortress just got a 30-dwarf migrant wave
17:24:20 <Phantom_Hoover> join me on an adventure of simultaneously pirating mathematica and morrowind
17:24:41 <Taneb> Can I be weird and pirate Daggerfall and Alpha?
17:24:59 <Phantom_Hoover> *Arena
17:25:19 <Phantom_Hoover> And Bethesda provide both for free download, so why bother pirating?
17:25:26 -!- edwardk has joined.
17:25:56 <Phantom_Hoover> Also if you pirate them you miss out on Michael Kirkbride lore -_-
17:28:30 -!- elliott has joined.
17:35:03 -!- DHeadshot has quit (Read error: Connection reset by peer).
17:35:17 -!- DHeadshot has joined.
17:38:22 <Phantom_Hoover> Also apparently Arena is hard as balls, to the extent that you have like a 5% chance of getting out of the first dungeon.
17:38:57 <zzo38> Do you have any suggestions to improve optimization or other features of "dvi-processing" Haskell program?
17:40:04 -!- DHeadshot has quit (Read error: Connection reset by peer).
17:40:54 <zzo38> One thing is completely fails to do is to use the w,x,y,z registers in the output. (It will correctly process them in an input, though.)
17:41:30 <Phantom_Hoover> I love it when websites ask me to give them their country.
17:42:39 <Taneb> Phantom_Hoover, /their/ country!?
17:42:44 <Taneb> Not your country?
17:42:56 <Phantom_Hoover> OK my country THANK YOU TANEB
17:46:03 <olsner> Not you're country?
17:48:57 <zzo38> Do you know rules for chess boxing? I have read that if a player takes too long to make a move in chess he is given a warning and must make a move in ten seconds or be disqualified. I don't like that; a player can still lose on a chess clock. Perhaps set a 100 second time limit per move which is reset at the beginning of each round, and if you don't move, your opponent can make a move for you.
17:49:17 <zzo38> That is, in addition to the chess clock.
17:49:25 -!- DHeadshot has joined.
17:49:33 <zzo38> (If you run out of time on the chess clock you would still lose instantly.)
17:51:46 <zzo38> In addition, I would reduce the breaks to 45 seconds. If you are saved by the bell, but remain knocked out during the break and then when it is time to make a chess move you are still knocked out, your chess clock continues anyways and if you have little time left even though you can make checkmate in one move, you lose anyways even though you are saved by the bell.
17:58:49 -!- Taneb has quit (Remote host closed the connection).
18:09:47 <zzo38> Do you like this document? http://sprunge.us/VcYO
18:12:07 <Sgeo> My impression of Tcl so far is that it's probably a very suitable language for a "malicious code that looks like innocent code" contest
18:12:48 <zzo38> Sgeo: Try!
18:21:48 <Sgeo> Richard Stallman hates Tcl?
18:21:56 <Phantom_Hoover> You're surprised?
18:26:14 <edwardk> zzo38: taking up chess boxing?
18:27:27 <zzo38> edwardk: No, but one day I read about it and I thought about the rules.
18:34:21 <Sgeo> Phantom_Hoover, yes, because as far as I know Tcl isn't proprietary
18:34:31 <itidus21> http://www.vanderburg.org/OldPages/Tcl/war/0000.html
18:34:50 <itidus21> Why you should not use Tcl -- Richard Stallman
18:37:28 -!- calamari has joined.
18:55:57 <zzo38> Just because it isn't proprietary does not necessarily mean it isn't a good quality.
18:56:08 <zzo38> Just because it isn't proprietary does not necessarily mean it is a good quality.
18:58:41 <Phantom_Hoover> I hate hate hate hate hate using Wine.
18:58:45 -!- zzo38 has quit (Remote host closed the connection).
18:59:18 -!- oerjan has joined.
18:59:19 <Phantom_Hoover> Nothing *ever* just works; you always need to iron out some bug or unmet dependency or something.
19:01:40 <Phantom_Hoover> Example: I need mfc100u.dll. This is apparently in winetricks' vcrun2010. Running this generates a warning about mfc100u.dll not being found (even though it should've installed it) and then crashes on subsequent runs.
19:03:20 -!- elliott has left ("Leaving").
19:04:40 <Sgeo> "F'rinstance, Tcl's support for lambda expressions is weak to nonexistant; OTOH, command prefixes as higher-order functions work rather well."
19:05:17 <oerjan> Phantom_Hoover: yeah i feel that way about life in general.
19:05:38 <itidus21> me too
19:05:44 <Phantom_Hoover> oerjan are you being snarky with me
19:06:11 <oerjan> Phantom_Hoover: no, just depressed. i fear that i'm becoming more and more like itidus21
19:06:22 <Phantom_Hoover> I
19:06:28 <Phantom_Hoover> I'm so, so sorry
19:06:35 <itidus21> how rapidly is this happening?
19:07:37 <oerjan> it seems to be accelerating, i expect an asymptote within the next year or so.
19:08:39 <Phantom_Hoover> It could just be a cubic.
19:08:46 <oerjan> MAYBE
19:08:47 <itidus21> basically, my family is all but broken. there is no point to be happy in the morning in this house
19:10:22 <oerjan> i no longer speak to my dad, i just cannot bear the feel of guilt at the end of every conversation.
19:11:06 <olsner> we're always here for you oerjan
19:11:12 <itidus21> something which would seem trivial, like feeling comfortable to occupy an empty loungeroom... my brother will come along and say like "let's watch this other thing"
19:11:30 <oerjan> olsner: yeah until my computer breaks
19:12:28 <olsner> we'll still be here if your computer breaks, you just can't reach us
19:12:34 <oerjan> OKAY
19:12:37 <oerjan> XD
19:12:46 <itidus21> i shouldn't focus on the negatives... but my brother will start getting angry and stomping around if he can't find aluminum foil in kitchen.. saying to my mum "WHERE DID YOU PUT IT?"
19:12:51 <itidus21> something like that
19:13:23 <itidus21> or wondering where the vegetable stock is "DID YOU THROW IT OUT? _YES_ OR _NO_ "
19:13:58 <oerjan> yeah trying not to focus on the negatives works for about 20 minutes, until the negatives crashland on your focus again.
19:14:00 <itidus21> but whenever my mum thanks him for a meal he is like "hmph"
19:14:12 <oerjan> it _used_ to work for longer.
19:14:41 <olsner> oerjan: aren't you old enough to e.g. get a job where you don't need to interact with your family anmore?
19:14:58 <oerjan> olsner: um i'm not living with my family.
19:14:59 <olsner> that'd solve everything
19:15:03 <itidus21> its not just words though, the broken walls, doors, and window are a testatment to his tempers
19:15:25 <oerjan> i don't have a job either, nor do i feel capable of maintaining one.
19:15:51 <olsner> hmm, ok, I think I misunderstood the nature of your problem
19:16:23 <itidus21> but literally there is no gain for me to focus on negatives.. it primes my mind to think negatively
19:16:32 <oerjan> olsner: i'm not saying i'm exactly like itidus21, the _details_ are probably completely different, i just feel like every day i feel more and more in tune with his general position despite intellectually vehemently disagreeing with it.
19:17:11 <oerjan> but basically i think we share a complete inability to take initiative.
19:17:31 <oerjan> no matter how much we are prodded.
19:17:45 <olsner> well, prodding usually only demotivates
19:18:03 <itidus21> i snapped.. accidently attacked him with a bowl full of hot food.. when he was holding me down i got my mom to call cops... and he declared i wasnt his brother for 10 days
19:18:03 <oerjan> and the world simply cannot _accept_ people who cannot take initiative.
19:18:08 <itidus21> and cut off my internet
19:18:10 <itidus21> lol
19:18:19 <itidus21> its all fun.. :-S
19:19:42 <olsner> oerjan: that sounds a bit pessimistic, not everyone is or can be the initiator all the time, nor is everyone expected to be
19:19:58 <itidus21> now convincing myself he is really not intentionally setting out to do these things
19:20:47 <Phantom_Hoover> olsner, iti's problem at least is that he can *never* initiate anything.
19:20:59 <itidus21> be wary with what you focus on... it will ultimately overlwhem you
19:21:48 <olsner> Phantom_Hoover: well, is that really the case though?
19:23:02 <itidus21> ok ok im not the topic
19:23:13 <itidus21> i guess im part of it though
19:24:08 <itidus21> basically, i think the pain is in trying to avoid feedback loops developing
19:25:18 <itidus21> like if someone does something harmful to you, you want it to be absolute, not a relative increase in harmfulness each time
19:27:11 <itidus21> but being harmful does in practice tend to be a feedback loop that you can't stop. you have to literally run out. like an army withdrawing from a war
19:28:56 <itidus21> i don't want to think about it like this :D
19:29:13 <itidus21> im gonna watch some nyan cat
19:29:58 <Vorpal> elliott left again?
19:29:58 <itidus21> http://www.youtube.com/watch?v=wZZ7oFKsKzY
19:30:07 <Vorpal> oh well
19:30:26 <itidus21> have faith in nyan cat
19:43:50 <itidus21> oerjan: i'm doing ok. you can do ok too. it's not realistic to make comparisons of yourself with me. :D i was being pushed around since i began school. this i could live with
19:44:32 <itidus21> it's only when i started to not trust my own family that i felt lost. but i am learning they deserve more trust than i give them
19:45:40 -!- oerjan has quit (Quit: SUUUUURE).
19:48:51 -!- itidus21 has left ("does text go here! good time for me to take a break").
19:56:10 -!- DHeadshot has quit (Ping timeout: 246 seconds).
20:00:39 -!- edwardk has quit (Quit: Computer has gone to sleep.).
20:02:48 -!- Phantom_Hoover has quit (Remote host closed the connection).
20:08:41 -!- Phantom_Hoover has joined.
20:10:35 -!- oerjan has joined.
20:20:30 <Sgeo> "Upvar interacts with traces in a straightforward but possibly unexpected manner."
20:20:41 <Sgeo> I think that's a good description of Tcl in general.
20:20:49 <Sgeo> "Straightforward but possibly unexpected"
20:37:50 -!- alegend45 has joined.
20:38:02 -!- alegend45 has left.
21:09:42 -!- calamari has quit (Quit: Leaving).
21:13:40 -!- azaq23 has quit (Quit: Leaving.).
21:18:30 -!- ais523 has joined.
21:32:34 -!- augur has quit (Remote host closed the connection).
21:43:36 <Vorpal> huh. zombie shell processes on my android phone. Lots of them. Their parent is called "kiesexe", since "Kies" is Samsung's PC software suite (that adds absolutely nothing useful to me) I guess it is something related to that.
21:43:45 -!- unconf`d-bwalee has quit (Quit: WeeChat 0.3.8).
21:53:42 * oerjan notes that "notify" becomes "naughtify" if you pronounce it with a mad science accent
22:12:06 -!- copumpkin has quit (Quit: Computer has gone to sleep.).
22:31:11 -!- copumpkin has joined.
22:33:56 <oerjan> i think is shall have to use a "what is this i don't even" http://www.youtube.com/watch?feature=youtu.be&hl=no&v=iAJBuGwQEHg
22:46:56 <oerjan> http://www.math.psu.edu/rvaughan/568Quotations.pdf :D
22:47:20 * oerjan is pasting links from r/math, btw
22:50:42 <Phantom_Hoover> oh my god it's scored to the ecstasy of gold
22:50:43 <Phantom_Hoover> why
22:53:22 <Sgeo> I like this song I think
22:53:45 <Phantom_Hoover> Of course you do, it's Ennio Morricone.
22:53:57 <oerjan> i was about to say that.
22:55:09 <Phantom_Hoover> (Not completely sure how that theorem qualifies for a PhD, assume there's more to it.)
22:55:11 <Gregor> That shall be how I make my thesis.
22:55:13 <Gregor> Screw writing.
22:55:15 <Gregor> INTERPRETIVE DANCE
22:55:17 <Phantom_Hoover> (If it's that easy to get one I'm set for life.)
22:56:50 <Gregor> It slightly bothers me that the video ends with "Q.E.D.". I'm about 85% sure that interpretive dance is not a widely accepted proof technique.
22:56:58 <Sgeo> So, Facebook wrongly blocked a URL
22:57:01 <oerjan> Gregor: YET
22:57:01 <Sgeo> I can't report the URL as being wrongly blocked because when I try to submit the form, Facebook blocks it due to the URL
22:57:23 <oerjan> smooth
22:57:45 <Phantom_Hoover> Gregor, like I said I'm not even sure whether anything of interest was proved.
22:58:12 <Gregor> Certainly nothing was proved by the video, but we don't even know the thesis statement, let alone the actual theorem :)
22:58:20 * oerjan didn't actually pay attention to the math much :P
22:59:19 <Phantom_Hoover> I'm guessing she extended the hell out of it for the thesis because... well, anything that can be proven in a few minutes of interpretative dance is not enough to get 'Dr' stuck onto your name.
22:59:51 <Gregor> Yeah, again, nothing was actually proved by the dance, it's a demonstration X_X
23:00:26 <oerjan> oh hm the author comments on the reddit thread http://www.reddit.com/r/math/comments/vx3wt/cutting_sequences_on_the_double_pentagon/
23:01:17 <Phantom_Hoover> One day I will care about mathematical concepts that don't have Wikipedia articles.
23:01:21 <Phantom_Hoover> Today is not that day.
23:03:40 <oerjan> "For those interested, the paper the video is based on can be found here. The introduction to the paper is very accessible, and answers most of the questions people are asking."
23:03:51 <oerjan> here=http://math.brown.edu/~diana/math/VeechPolygons.pdf
23:04:09 -!- edwardk has joined.
23:05:43 -!- Patashu[Zzz] has changed nick to Patashu.
23:08:44 -!- edwardk has quit (Ping timeout: 244 seconds).
23:09:35 -!- edwardk has joined.
23:13:01 -!- edwardk has quit (Remote host closed the connection).
23:13:55 -!- edwardk has joined.
23:16:22 -!- edwardk has quit (Client Quit).
23:17:42 -!- edwardk has joined.
23:32:03 -!- stanley has quit (Quit: ZNC - http://znc.in).
23:34:44 -!- stanley has joined.
←2012-07-02 2012-07-03 2012-07-04→ ↑2012 ↑all