00:00:09 <oerjan> > [ realPart $ exp((0:+1)* ((0 :+ n*2*pi) + log (-1))) | n <- [-2..2]]
00:00:10 <M28> can't you test that in a private msg
00:00:12 <lambdabot> [6635623.99934113,12391.647807916694,23.140692632779267,4.321391826377226e-2...
00:00:23 <oerjan> um the whole point was to demonstrate
00:01:34 <oerjan> it just takes me a handful of bug corrections each time before i realize that it's _not_ going to work without error the next try. every time.
00:02:22 -!- Sprocklem has quit (Quit: brb).
00:03:21 <oerjan> anyway those are the branches of (-1)^i, as you can see both numbers are included.
00:03:44 <M28> I don't even know what language you're using for that
00:04:11 <oerjan> i guess its notation for complex numbers is a little awkward, a + ib is a :+ b
00:04:43 <M28> I calculated that another way
00:04:51 <M28> e^(pi * i) = -1
00:05:02 <M28> (e^(pi*i))^(-i) = ...
00:05:54 <oerjan> well the point here is that log is a multivalued function with several branches, because e^(z + 2pi*n*i) == e^z
00:06:09 <oerjan> and if you choose a different solution, you can get other results.
00:07:17 <oerjan> and it so happens that e^(pi * i) and e^(pi * (-i)) are both -1
00:07:33 <M28> I forgot the +-
00:08:26 <oerjan> i couldn't say which selection is most "official" for complex floating point.
00:09:00 -!- tromp_ has joined.
00:18:58 -!- Bike has quit (Ping timeout: 240 seconds).
00:21:12 -!- Bike has joined.
00:23:03 -!- Sprocklem has joined.
00:24:56 <Sgeo> So, an IRL friend falls for a phishing scam on Facebook. I see another person write on her wall something that indicates he fell for it too. I go to message him, and then see his profile... it says he's a web developer.
00:25:50 <int-e> oh lambdabot ... edit distance 2 is too much.
00:26:21 <int-e> @info do a <- [1,2,3]; b <- [1,3,5]; return (a,b)
00:26:21 <lambdabot> [1, 2, 3] >>= \ a -> [1, 3, 5] >>= \ b -> return (a, b)
00:26:59 <oerjan> i fail to find the evidence convincing hth
00:27:06 <int-e> oerjan: I had a hard time understanding why lambdabot understands @info.
00:27:21 <oerjan> well you could just have asked me
00:27:27 -!- tromp_ has quit (Remote host closed the connection).
00:28:30 <int-e> oerjan: But you delight too much in the absurd to serve as a guideline for sanity.
00:28:40 <oerjan> btw a trick for checking these is to change a single letter and hope the result becomes ambiguous enough that you get a list of options.
00:29:37 -!- Bike_ has joined.
00:30:43 -!- Bike has quit (Disconnected by services).
00:30:45 -!- Bike_ has changed nick to Bike.
00:31:07 -!- tromp_ has joined.
00:33:16 <zzo38> What is the maximum number of opponent's card you can knock out in one turn in a game of Pokemon card, assuming you have 6 side cards remaining? What is it if you instead assume you have an unlimited number of side cards remaining?
00:33:32 <Sgeo> zzo38: hey, I learned how to play Pokemon TCG yesterday
00:33:56 <Sgeo> Interesting that defenders don't fight back
00:34:10 <elliott> int-e: the error correction is kind of silly
00:34:12 <zzo38> Sgeo: Then see, how you can understand my puzzles. Note that they use the old rules (which I prefer)
00:34:30 <Sgeo> The only rules I know are the ones my friend showed me.
00:34:49 <Sgeo> Plus I don't really know the cards themselves, just the rules. Barely.
00:35:20 <zzo38> It is not necessary to know the cards to know my puzzles, because they have the copy of all of the cards that are relevant.
00:35:26 <int-e> elliott: agreed, but it's usually harmless
00:35:59 * Sgeo goes to install the computer version
00:36:20 -!- boily has joined.
00:37:06 <boily> Dentists are lawful evil creatures.
00:37:25 <oerjan> int-e: a simple way of fixing that particular case is of course to make an _actual_ @info command.
00:38:15 <zzo38> There is two games of Pokemon card in GameBoy, and I played both
00:39:46 <zzo38> But, maybe we should work to make up a new implementation in C or SQL or Haskell or whatever, therefore it is also possible to fix it to experiment new rule, add new cards, define new tournament formats, etc. And it can even connect using any telnet client then; it doesn't have to require any special software (but can be optionally provided, perhaps).
00:40:42 <zzo38> (Also because I don't like the new rules)
00:41:25 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
00:43:46 <Sgeo> Does a browser count as special software? I assume that this backend you're envisioning would be compatible with any frontend, just needs a compatibility layer like a web server
00:44:22 <zzo38> Sgeo: Yes, you could allow it to be used with a browser by adding such a compatibility layer, but by itself it works fine with only a telnet client and nothing else; really simple.
00:44:23 <int-e> oerjan: that's what I want to do, actually.
00:48:21 -!- tromp_ has quit (Remote host closed the connection).
00:49:03 <zzo38> Yes I am saying it would be compatible with any frontend; the built-in software is for use with telnet but you can add on other thing to allow other client software to be used too
00:50:42 <Sgeo> Ick the Pokemon TCG online thing doesn't actually teach you how to play
00:50:56 <Sgeo> More assume you know how to play and teaches you how to use the software
00:54:54 <zzo38> I have seen it when someone had this software, and isn't very good. It is also one reason, I would rather have a new kind. Perhaps it may be sensible to use SQL, since that way you can store all of the cards in the database. Of course, it can combine SQL with C if you need to use C codes as well.
00:55:08 -!- tromp_ has joined.
00:56:58 <zzo38> There is some software open-source for Magic: the Gathering cards and some similar thing, so, what I want to do is to make do Pokemon card. Do you like this?
00:57:26 <int-e> but I guess I won't do that right now because ghci's :i command requires its own cleanup for trimming the output.
00:58:16 <zzo38> (And because I like old rules of Pokemon card)
01:05:05 -!- tromp_ has quit (Remote host closed the connection).
01:08:15 -!- tromp_ has joined.
01:18:05 -!- tromp_ has quit (Remote host closed the connection).
01:36:54 -!- vravn has quit (Ping timeout: 240 seconds).
01:37:46 <Bike> "O(n⁴), or O(n³) by simple parallelization" this seems like a bad thing to say, somehow
01:38:03 -!- conehead has joined.
01:38:09 <HackEgo> [U+004F LATIN CAPITAL LETTER O] [U+0028 LEFT PARENTHESIS] [U+006E LATIN SMALL LETTER N] [U+2074 SUPERSCRIPT FOUR] [U+0029 RIGHT PARENTHESIS]
01:38:40 <Bike> am i supposed to write ^4 like some kind of jerk
01:39:01 <oerjan> i don't see the four, but actually i was just checking the O
01:40:47 <oerjan> i realized it should in theory be an Omicron :)
01:41:46 -!- boily has quit (Quit: BUCCO-CLEANSED CHICKEN).
01:42:41 <oerjan> ok knuth agrees with me
01:42:52 <oerjan> (but may have been the first to do so)
01:43:22 <oerjan> "The big-O originally stands for "order of" ("Ordnung", Bachmann 1894), and is thus a roman letter. Neither Bachmann nor Landau ever call it "Omicron". The symbol was much later on (1976) viewed by Knuth as a capital omicron,[10] probably in reference to his definition of the symbol Omega. The digit zero should not be used."
01:44:34 <elliott> O(n) is constant time, because O*anything = O
01:45:21 <Bike> saying something and getting a response about homoglyph attacks is "pretty cool"
01:47:15 <zzo38> You can turn on "show punycode" in a web browser is one thing avoiding homoglyph attacks in domain names at least. In many other program, just disable Unicode support, and then you won't have any homoglyph attacks.
01:47:15 -!- edwardk has joined.
01:47:26 -!- tromp_ has joined.
01:47:36 <oerjan> @tell mroman Just keep patient http://ezyang.com/rlimits.html
01:57:14 -!- tromp_ has quit (Remote host closed the connection).
02:00:16 <HackEgo> [U+A66E CYRILLIC LETTER MULTIOCULAR O] [U+0028 LEFT PARENTHESIS] [U+006E LATIN SMALL LETTER N] [U+0029 RIGHT PARENTHESIS]
02:00:55 -!- tromp_ has joined.
02:10:41 <ion> “that” is four letters.
02:10:44 -!- tromp_ has quit (Remote host closed the connection).
02:10:54 -!- Sprocklem has quit (Quit: brb).
02:11:14 -!- Sprocklem has joined.
02:12:11 <Sprocklem> ion: No. How is 'ꙮ' even a letter?
02:12:38 <Bike> same reason blackboard bold l is a letter
02:12:49 <ion> sprocklem: How is “A” even a letter?
02:13:48 <kmc> I wonder if you could machine-translate C to unsafe Rust that is not terrible to modify by hand
02:13:49 -!- tromp_ has joined.
02:13:52 <kmc> and then incrementally make it safer
02:14:29 <Sprocklem> ion: A is not absolutely insane, ꙮ is
02:15:04 <HackEgo> [U+0041 LATIN CAPITAL LETTER A]
02:15:13 <kmc> Sprocklem: http://en.wikipedia.org/wiki/Multiocular_O
02:16:15 <kmc> because of the many-eyed seraphim
02:16:20 <ion> To trigger trypophobia.
02:16:33 <kmc> http://old.stsl.ru/manuscripts/1/308/medium/308-0249.jpg
02:16:36 <ion> trypꙮphobia
02:16:47 <kmc> many-eyed basilisks
02:18:31 -!- ^v has quit (Remote host closed the connection).
02:19:38 <zzo38> How many eyes does a seraphim have?
02:20:11 -!- ^v has joined.
02:23:36 -!- tromp_ has quit (Remote host closed the connection).
02:23:51 <zzo38> O, that's why they can't draw exactly how many, and therefore why some people write Multiocular O with ten eyes but sometimes it is only seven; both are wrong if, you are correct about aleph-four.
02:25:23 <oerjan> zzo38: the hth means i was not entirely serious.
02:27:41 <oerjan> > Text.Printf.printf "%s" :: String
02:27:41 -!- tromp_ has joined.
02:27:42 <lambdabot> "*Exception: printf: argument list ended prematurely
02:31:21 -!- Slereah has joined.
02:32:18 <HackEgo> kvpierdacoin bringiacoin whccoin wiicoin withbrehencoin bhappecoin grationcoin concoin morschcoin godoctracoin 073coin rposiscoin brailcoin gradcoin ccnlcoin philicoin oolflerncoin perlowfoucoin preloblecoin praysnaincoin
02:33:08 -!- Slereah_ has quit (Read error: Connection reset by peer).
02:33:33 <oerjan> argh my plan to soon catch up on shtetl-optimized comments is ruined by scott making another post
02:35:48 -!- blitter64 has quit (Ping timeout: 240 seconds).
02:36:21 <kmc> Sprocklem: for a while I was obsessed with the mystery of multiocular o
02:37:11 <kmc> then my associates and I dug up the information which is now present on its wikipedia page
02:37:28 -!- tromp_ has quit (Remote host closed the connection).
02:37:40 <kmc> a proposal to the Unicode committee, a Soviet-era paleography textbook from russian rapidshare
02:38:43 <Bike> the proposal was just the rapidshare link
02:38:47 -!- not^v has joined.
02:39:08 -!- ^v has quit (Quit: http://i.imgur.com/Akc6r.gif).
02:40:16 -!- tromp_ has joined.
02:49:29 -!- {hk3380} has quit (Ping timeout: 252 seconds).
02:50:04 -!- kwertii has joined.
02:50:07 -!- tromp_ has quit (Remote host closed the connection).
02:51:46 -!- tromp_ has joined.
02:56:16 <kmc> lifehack: if your device doesn't charge, try licking the contacts
03:00:18 <not^v> well, i just joined so i am assuming he is talking about a mobile welding transformer
03:00:40 -!- not^v has changed nick to ^v.
03:01:49 -!- tromp_ has quit (Remote host closed the connection).
03:09:07 -!- heroux has quit (Ping timeout: 240 seconds).
03:13:21 <kmc> whither fungot
03:14:55 -!- zzo38 has quit (Read error: Connection reset by peer).
03:15:21 -!- zzo38 has joined.
03:27:22 <MDude> I like how I thought that was a unique character at first only for five clones of her to walk onscreen.
03:29:36 <MDude> I would have tried ot get off the near side of the bridge as soon at the bot started moving again.
03:29:50 <MDude> Only she gets to talk about her mom like that.
03:30:19 <MDude> Use the fairly again, it got you across last time.
03:30:48 <oerjan> MDude: are you talking in the right channel twh
03:31:14 <kmc> i'm clearly not high enough for this channel
03:32:04 <MDude> I have the screen minimized so i can see the chat window and a stream at the same time, but I can't see the channel names.
03:40:14 <quintopia> you know what game is annoying like that? Alice: Madness Returns. Every boss almost immediately becomes a regularly appearing enemy. It's like DRAMATIC CUTSCENE FOR POWERFUL BOSS. and then you beat it like WOOOO and then five more appear and you're like wut.
03:41:09 -!- {hk3380} has joined.
03:44:30 -!- tertu has joined.
03:45:17 <kmc> while you are letting your guard down / i will be letting myself go / while you keep running your ship aground / i will be setting myself alight
03:46:55 -!- heroux has joined.
03:47:06 * oerjan aims the hose on kmc ==============|>
03:47:23 <kmc> YOU GET TO DRINK FROM.... THE FIREHOSE!
03:47:52 <oerjan> how high are you on a scale from 1 to -i
03:48:02 -!- tromp_ has joined.
03:50:17 <oerjan> a very rational answer.
03:50:55 <Bike> why in the hell can i recognize that number at sight
03:51:09 <Bike> "we were talking about it yesterday" well, fukc you,
03:51:30 <oerjan> wonderful thing, velocipede memory
03:51:54 <kmc> wubwubwubwubwubwubwubwub
03:52:18 <quintopia> well, i wasn't here yesterday, so please reiterate what that number is
03:52:57 <Bike> or exp(pi), yeah
03:53:06 <kmc> is it the same o_O
03:53:16 <Bike> alternately according to http://oldweb.cecm.sfu.ca/cgi-bin/isc/lookup?lookup_type=browse&page_no=0&number=23.140693 it was probably exp(-Pi)^Feig1+exp(Pi), a completely sensible number
03:53:28 <Bike> kmc: yes because a^b = exp(b*log(a)) and log(-1) = pi*i
03:54:22 <kmc> holy living fuck
03:55:42 <Bike> \rainbow{complex analysis}
03:56:00 <oerjan> `` rainbow <<<complex analysis
03:56:13 <oerjan> `` rainbow <<<'complex analysis'
03:59:21 <Bike> you can remember that log(-1) = pi because -1 is on the left side of the circle of life. similarly log(i) = pi*i/2 and log((1+i)/|1+i|) = pi*i/4 and bla bla bla
03:59:55 -!- heroux has quit (Ping timeout: 276 seconds).
04:00:45 -!- heroux has joined.
04:02:04 <quintopia> i'm now going to start calling the unit circle in the complex plane the circle of life
04:02:18 <kmc> you are wrapping a mobius strip of videotape around and around the math/porn part of my mind
04:02:32 <Bike> i was going to make a flat circle joke but i ended up phrasing it differently, o well
04:03:21 <quintopia> kmc should do some programming in SELECT. it appears he is not quite versed enough in complex numbers
04:03:28 -!- MDude has changed nick to MDream.
04:03:44 -!- realzies has quit (Ping timeout: 255 seconds).
04:13:15 -!- mcpherrin has joined.
04:13:27 -!- kwertii has quit (Quit: kwertii).
04:13:43 <HackEgo> [U+A66E CYRILLIC LETTER MULTIOCULAR O] [U+005F LOW LINE] [U+A66E CYRILLIC LETTER MULTIOCULAR O]
04:14:16 -!- tromp_ has quit (Read error: Connection reset by peer).
04:14:29 <kmc> http://en.wikipedia.org/wiki/Lowline_(park)
04:15:48 -!- realzies has joined.
04:15:48 -!- realzies has quit (Changing host).
04:15:48 -!- realzies has joined.
04:18:09 <quintopia> how do i get a unicode with that character on this windows machine
04:19:38 <ion> Press ꙮ on your keyboard.
04:20:35 <Bike> oh and log(1) = pi*0*i. bonus question: how does this relate to roots of unity being periodic on the circle
04:20:42 <oerjan> quintopia: works fine in IE here. not so much in putty.
04:21:30 <oerjan> because it's really pi*2*n*i
04:21:45 <Bike> you're not supposed to answer if it's obvious to you, jerk
04:22:34 * quintopia branch cuts Bike into INFINITELY MANY PIECES
04:22:43 <oerjan> you get _one_ doctorate, and suddenly you're not allowed to answer math puzzles any more. it's not fair!
04:23:13 <Bike> should have gotten a doctorate ins omething else! critical theory probably
04:23:40 <quintopia> that's not true. you're still allowed. they just have to be the hard ones. like that one hat game puzzle where you can prove there is a winning stratey nonconstructively using the axiom of choice.
04:23:49 <oerjan> but i hate and despise criticism! critics should all be hung and quartered!
04:24:31 <quintopia> is this you being critical of critics?
04:24:50 <Bike> conveniently, criticism of critical theory is a topic of critical theory.
04:24:56 <zzo38> Is axiom of choice applicable to work of such a game though? Maybe it is, but I don't know. I also don't know, what game.
04:25:14 <oerjan> quintopia: how dare you suggest such an absurd idea!
04:35:41 -!- {hk3380} has quit (Ping timeout: 264 seconds).
04:39:00 -!- Sorella has quit (Quit: It is tiem!).
04:41:10 <kmc> `addquote <zzo38> Is axiom of choice applicable to work of such a game though? Maybe it is, but I don't know. I also don't know, what game.
04:41:11 <HackEgo> 1198) <zzo38> Is axiom of choice applicable to work of such a game though? Maybe it is, but I don't know. I also don't know, what game.
04:51:53 <lambdabot> can GMP support KealDigit? I invent KealDigit
04:54:37 * Bike googles. oh, a troll
04:55:05 <Bike> @keal // i just got banned from math because i not have good ability to convey thoughts <-- cool cool
04:55:06 <lambdabot> how do i search for someone saying 'Keal' in mirc
04:56:46 <lambdabot> i dont really eat vegetables unless cheese is a vegetable
04:57:08 <Bike> cheese is not a vegetable. how foolish and therefore humorous.
04:57:53 <lambdabot> People react to fear, not love; they don't teach that in Sunday School, but it's true.
04:58:09 <newsham> people voted forhim. how foolish and therefore humorous
05:01:13 <newsham> https://twitter.com/OccupyWallStNYC/status/471441682437648384/photo/1
05:01:17 <zzo38> Different people react to different things in different circumstances.
05:01:27 <zzo38> to different degrees.
05:02:32 <newsham> different stuff is different than other different stuff
05:02:52 <newsham> tautology conveys very few bits
05:08:16 -!- password2 has joined.
05:08:31 <zzo38> Yes, that is also the case.
05:10:10 <oerjan> contradiction converys infinite bits!
05:12:25 <zzo38> However, even though different stuff is different than other different stuff, you must also consider, it is different, in what way(s)?
05:33:44 <newsham> [19:07] < oerjan> contradiction converys infinite bits!
05:33:51 <newsham> thats an interesting wording of that
05:34:19 <Bike> is an infinite number of bits really different from zero bits maaaaan
05:35:29 <newsham> so the less true something is the more bits?
05:35:51 <newsham> are we all filling up our hard disks with lies?
05:38:51 <oerjan> not less true, less probable
05:40:23 <^v> anyone try genetic algorithms on malbolge?
05:41:04 <Bike> go for annealing
05:41:10 <Bike> anneal your pgorgram into existence
05:41:23 <^v> D: i was in the 90s for less than a year
05:42:42 <oerjan> such a lost opportunity
05:42:43 <newsham> i used to live anhour out of the 90s.. the commute sucked
05:42:55 <oerjan> we need to start teaching children programming in the womb!
05:43:21 <newsham> genetic memories..give it a few million years
05:43:40 <oerjan> newsham: i think we've evolved to have _less_ of those...
05:44:01 <kmc> `addquote <Bike> anneal your pgorgram into existence
05:44:02 <HackEgo> 1199) <Bike> anneal your pgorgram into existence
06:02:03 -!- oerjan has quit (Quit: Nite).
06:24:53 <zzo38> I thought of some kind of unusual strange things involving SQL with the ABSTAIN, REINSTATE, IGNORE, REMEMBER, STASH, RETRIEVE commands similar to INTERCAL programming.
06:28:57 <zzo38> It probably make a strange things, a bit??
06:31:09 -!- MoALTz has quit (Quit: Leaving).
06:33:53 -!- password2 has quit (Ping timeout: 252 seconds).
06:37:09 <zzo38> The RETURN command in BASIC can have a line number/label specified, and if so then it will not return to where it is called, but to the specified line instead. This is somewhat like the FORGET command in INTERCAL. (And, I have used it to imitate a DO FORGET #1)
06:49:11 <b_jonas> zzo38: what? which dialect of BASIC has that?
06:52:13 <zzo38> Well, I was using QBASIC
06:52:58 <zzo38> You can specify RETURN by itself to return from a GOSUB, or you can write something like RETURN 123 which means it will return from a GOSUB but instead of returning to the line after the GOSUB, it will go to line 123.
06:58:33 <newsham> you can never RETURN to the scene of a perfect crime
07:01:57 <zzo38> It just return one, rather than returning to whatever is specified to catch it.
07:06:23 <newsham> yah, single layer, non-nested, return to error handler
07:08:09 -!- conehead has quit (Quit: Computer has gone to sleep).
07:09:24 -!- sebbu has quit (Ping timeout: 240 seconds).
07:15:13 <olsner> does RETURN with line number remove the whole call stack too?
07:28:45 <b_jonas> zzo38: I see. I didn't know basic RETURN did this
07:35:26 <HackEgo> [wiki] [[Special:Log/newusers]] create * Sanzzzay * New user account
07:51:27 * impomatic wonders if there's a radiation-hardened quine in Brainfuck...
07:52:11 -!- Tritonio has joined.
08:19:36 -!- slereah_ has joined.
08:45:53 -!- Patashu has joined.
08:49:22 <HackEgo> [wiki] [[Special:Log/newusers]] create * Parcly Taxel * New user account
08:50:34 -!- Patashu has quit (Disconnected by services).
08:50:34 -!- Patashu_ has joined.
09:05:03 <shachaf> oerjan: what do you think of https://en.wikipedia.org/w/index.php?title=RTR0&action=history
09:05:25 <HackEgo> [wiki] [[User:Parcly Taxel]] N http://esolangs.org/w/index.php?oldid=39711 * Parcly Taxel * (+306) :D
09:29:31 -!- sebbu has joined.
09:30:04 -!- sebbu has quit (Changing host).
09:30:04 -!- sebbu has joined.
09:36:36 <HackEgo> [wiki] [[1+]] N http://esolangs.org/w/index.php?oldid=39712 * Parcly Taxel * (+2950) New language
09:38:43 <HackEgo> [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=39713&oldid=39700 * Parcly Taxel * (+9) /* Non-alphabetic */ +1+
09:48:00 -!- skarn has quit (K-Lined).
09:49:19 -!- skarn has joined.
09:49:55 -!- skarn has changed nick to Guest58328.
10:14:15 -!- boily has joined.
10:23:46 -!- {hk3380} has joined.
10:27:59 -!- Phantom_Hoover has joined.
10:32:53 -!- AnotherTest has joined.
10:37:06 -!- Burton has quit (Ping timeout: 252 seconds).
11:02:16 -!- Burton has joined.
11:02:56 -!- {hk3380} has quit (Ping timeout: 255 seconds).
11:09:55 -!- boily has quit (Quit: Poulet!).
11:25:17 -!- Guest58328 has quit (Changing host).
11:25:17 -!- Guest58328 has joined.
11:25:23 -!- Guest58328 has changed nick to skarn.
11:46:20 -!- MindlessDrone has joined.
11:56:33 -!- Sgeo has quit (Read error: Connection reset by peer).
13:10:58 -!- yorick has joined.
13:14:27 -!- Patashu_ has quit (Ping timeout: 245 seconds).
13:15:35 -!- {hk3380} has joined.
14:01:57 -!- Sprocklem has quit (Ping timeout: 252 seconds).
14:19:28 -!- Burton has quit (Quit: GoodBye).
14:22:46 -!- MDream has changed nick to MDude.
14:32:40 -!- Burton has joined.
14:35:33 -!- Sprocklem has joined.
14:47:38 -!- conehead has joined.
14:59:46 -!- idris-bot has quit (Quit: Terminated).
15:00:04 -!- idris-bot has joined.
15:33:35 -!- Tritonio has quit (Ping timeout: 255 seconds).
15:40:53 <myname> can i use a guard in haskell everywhere an = could appear?
15:42:37 -!- rottytooth has joined.
15:44:19 <FireFly> shachaf: "widely used", eh
15:59:52 <HackEgo> [wiki] [[User:Sacchan]] http://esolangs.org/w/index.php?diff=39714&oldid=39632 * Sacchan * (-2)
16:01:37 <HackEgo> [wiki] [[User:Sacchan]] http://esolangs.org/w/index.php?diff=39715&oldid=39714 * Sacchan * (+38)
16:02:45 -!- slereah_ has quit (Quit: Leaving).
16:03:13 <HackEgo> [wiki] [[ΜCurse]] http://esolangs.org/w/index.php?diff=39716&oldid=39699 * Sacchan * (-20) /* External Resources */
16:36:10 <shachaf> FireFly: That's what it says.
16:55:15 -!- {hk3380} has quit (Quit: WeeChat 0.3.8).
16:55:33 -!- {hk3380} has joined.
17:08:02 <olsner> huh, it seems to have been very quiet here since this morning
17:11:07 -!- kwertii has joined.
17:18:27 -!- kwertii has quit (Quit: kwertii).
17:20:11 -!- kwertii has joined.
17:20:11 -!- kwertii has quit (Changing host).
17:20:11 -!- kwertii has joined.
17:20:26 -!- MoALTz has joined.
17:40:16 <monotone> There are currently 88 users in the channel. Maybe we traveled through time.
17:46:37 <olsner> There are 0 ops in the channel. Maybe I am still hungry.
17:52:11 -!- Sprocklem has quit (Ping timeout: 258 seconds).
17:54:02 -!- quelqun_dautre has left.
17:54:20 -!- Bike_ has joined.
17:56:21 -!- ^v has quit (Quit: Leaving).
17:56:37 -!- ^v has joined.
18:01:31 -!- {hk3380} has quit (Ping timeout: 240 seconds).
18:02:16 -!- Bike_ has changed nick to Bicyclidine.
18:08:29 -!- {hk3380} has joined.
18:20:19 -!- evalj has joined.
18:39:22 <mroman> Are you referring to | guards?
18:42:32 -!- nooodl has joined.
19:16:07 <kmc> myname: where does an = appear in a guard?
19:16:09 <kmc> but I think the answer is "no"
19:16:28 <myname> | foo = <- right there
19:17:01 <kmc> er, that's after the guard isn't it
19:17:05 <kmc> f x | x < 3 = 5
19:17:30 <kmc> in H'10 you can have multiple guards separated by commas, but not by |
19:17:55 <kmc> with only boolean guards this isn't useful, you might as well write | x && y instead of | x, y
19:17:59 <kmc> but with pattern guards it becomes useful
19:27:50 -!- nooodl has quit (Ping timeout: 255 seconds).
19:33:34 <Taneb> Had an exam today, it went alright bar the last question
19:33:43 <Taneb> I forgot a few things relevant to it
19:33:48 <Taneb> So, I got like 90%
19:35:48 <Taneb> One of the things I forgot was what an orthogonal matrix was
19:36:42 <Taneb> What's the rank of a zero matrix?
19:38:23 -!- MDream has joined.
19:39:39 -!- MDude has quit (Ping timeout: 252 seconds).
19:39:47 <Bicyclidine> well, wolfram says zero, and more importantly the subspace generated is just the zero point, which of course has a dimension of zero
19:39:54 <Taneb> Actually, my answer was "...1?"
19:40:37 <Bicyclidine> it makes more sense for me to think of matrices as being linear transforms in space rather than colums or whatever, maybe that will change when i actually take a linalg class
19:41:31 -!- MindlessDrone has quit (Quit: MindlessDrone).
19:42:45 <Phantom_Hoover> i've always hated linear algebra for emphasising the rectangles of numbers over the actual linear stuff
19:44:00 <Phantom_Hoover> like jordan normal forms, i had no idea what the fuck they were until a week or two before the exams when i read more closely and was like "oh so you're changing the basis to the eigenvectors or the nearest alternative"
19:46:07 <Bicyclidine> incidentally i never noticed that matrices having characteristic polynomials implies polynomials have companion matrices
19:49:03 <Bicyclidine> most of my high school experience with matrices was computing determinants of 5x5 matrices and shit like that so i grew to loathe them
19:50:31 <Phantom_Hoover> although my linear algebra course thought it was reasonable to make you compute a bunch of powers of a 6x6 matrix which is just fantastically pointless
19:51:27 -!- nooodl has joined.
19:52:09 <Taneb> The biggest matrix I had to deal with today was 3x3
19:52:16 <Taneb> ...with a determinant of 36^3
19:53:01 <Bicyclidine> well, you're in college, i imagine you could use a calculator like a fucking human being
19:54:07 <Taneb> Friday I've got an exam on regular expressions and finite-state automata
19:54:18 <Taneb> But tomorrow I have two birthday parties to attend!
19:55:58 <Phantom_Hoover> Bicyclidine, maths exams in warwick are all 'a calculator is not needed or permitted in this exam'
19:58:54 <Taneb> We got to use a calculator today but it was insufficiently fancy to do matrices nicely
20:03:10 <nooodl> is it just regex golf except for grades
20:04:41 -!- Sprocklem has joined.
20:12:33 <HackEgo> [wiki] [[Pi]] http://esolangs.org/w/index.php?diff=39717&oldid=36174 * 88.182.125.148 * (+0) error in table
20:14:47 -!- rottytooth has quit (Quit: HydraIRC -> http://www.hydrairc.com <- Would you like to know more?).
20:17:27 <Taneb> ...I'm suddenly in a "listening to Simon and Garfunkel" mood
20:19:48 <Taneb> It's like a bridge over troubled water right now
20:20:19 <Taneb> But anything beats the sound of silence
20:24:03 -!- {hk3380} has quit (Quit: WeeChat 0.3.8).
20:24:22 -!- {hk3380} has joined.
20:31:57 <Taneb> I... do not know many Simon and Garfunkel songs.
20:32:48 <kmc> A start tag whose tag name is one of: "base", "basefont", "bgsound", "link", "meta", "noframes", "script", "style", "template", "title":
20:32:51 <kmc> Parse error. Push the node pointed to by the head element pointer onto the stack of open elements. Process the token using the rules for the "in head" insertion mode. Remove the node pointed to by the head element pointer from the stack of open elements. (It might not be the current node at this point.)
20:32:56 <kmc> great stack
20:47:50 <Bicyclidine> compiler fixing a bug from "24+ years" ago. \rainbow{engineering}
20:49:39 <kmc> which bug?
20:50:31 <Bicyclidine> apparently nobody had noticed through two forks from a pre-CL system to now
20:51:02 <Bicyclidine> no word on whether they're merging upstream into some CMU research project of the 80s
20:56:02 -!- Patashu has joined.
20:56:30 -!- MDream has changed nick to MDude.
20:57:14 -!- erdic has quit (Remote host closed the connection).
21:02:58 -!- kwertii2 has joined.
21:02:58 -!- kwertii2 has quit (Changing host).
21:02:58 -!- kwertii2 has joined.
21:04:43 -!- kwertii has quit (Ping timeout: 252 seconds).
21:04:43 -!- kwertii2 has changed nick to kwertii.
21:05:40 -!- drdanmaku has joined.
21:06:46 <HackEgo> mdmcoin jocalcoin muschcoin whaniacoin roticacoin instascoin picoin eodelectcoin sertycoin preluscoin cardcoin mulacoin fcvetcoin grecoin odtilicoin benzcoin addleduigcoin enigma-2dcoin inclacoin isccoin
21:09:00 -!- kwertii has quit (Quit: kwertii).
21:18:26 -!- Sprocklem has quit (Quit: g2g).
21:20:58 -!- Patashu has quit (Ping timeout: 240 seconds).
21:22:35 -!- {hk3380} has quit (Ping timeout: 255 seconds).
21:26:24 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds).
21:29:51 -!- AnotherTest has quit (Ping timeout: 265 seconds).
21:30:34 -!- Phantom_Hoover has joined.
21:34:44 -!- evalj has quit (Remote host closed the connection).
21:35:58 <Taneb> Forgot to put soup in the washing machine
21:36:05 <Taneb> Gave my clothes a £2.50 rinse
21:36:33 <Taneb> I didn't put any soup in either
21:43:28 <int-e> spice up your laundry!
21:44:06 <kmc> also hi Taneb
21:44:47 <Taneb> I found out that half of the birthday parties I intended to attend tomorrow have been postponed
21:45:19 <Taneb> Which opens up my plans for the evening
21:45:44 <kmc> how many is that?
21:47:40 <shachaf> "Half of what he said meant something else, and the other half didn't mean anything at all."
21:50:48 -!- boily has joined.
21:51:58 -!- tromp_ has joined.
21:53:01 -!- MDream has joined.
22:01:21 -!- MDude has quit (Ping timeout: 264 seconds).
22:01:48 -!- oerjan has joined.
22:18:24 -!- {hk3380} has joined.
22:23:38 -!- Fjlb has joined.
22:26:46 -!- boily has quit (Quit: ROLLED CHICKEN).
22:35:07 <oerjan> @tell impomatic * impomatic wonders if there's a radiation-hardened quine in Brainfuck... <-- well there isn't much you can do about mismatched brackets.
22:38:25 <oerjan> <shachaf> oerjan: what do you think of https://en.wikipedia.org/w/index.php?title=RTR0&action=history <-- i think that is a very vague question.
22:41:01 <oerjan> also whether to delete that article is wikipedia politics, which i won't touch with a ten foot pole hth
22:43:00 <oerjan> i see the notability dispute was added only a minute before your question, so presumably the process is already in motion.
22:44:58 -!- Sprocklem has joined.
22:45:00 -!- Sprocklem has quit (Changing host).
22:45:00 -!- Sprocklem has joined.
22:54:27 -!- Sgeo has joined.
22:56:58 -!- yorick has quit (Remote host closed the connection).
22:58:51 <Sgeo> How different is trunk Rust from released?
23:04:37 -!- Bicyclidine has quit (Ping timeout: 252 seconds).
23:07:44 <Sgeo> Pretty sure I need to reread tutorial, should I read the trunk tutorial?
23:09:00 <kmc> what do you mean by "trunk"
23:09:02 <kmc> git master?
23:09:16 <kmc> I advise reading the latest tutorial, yes, although it might still be out of date
23:09:50 <mcpherrin> install a nightly and read the latest tutorial
23:12:08 -!- Phantom_Hoover has quit (Quit: Leaving).
23:13:07 -!- Fjlb has quit (Quit: Leaving).
23:13:44 -!- nooodl has quit (Ping timeout: 255 seconds).
23:19:48 <myname> i should learn how to debug haskell
23:20:06 -!- Sorella has joined.
23:20:22 -!- nooodl has joined.
23:23:29 -!- BeingToDeath has joined.
23:34:01 * impomatic hasn't done code golf for a while http://golf.shinh.org
23:49:17 <^v> is it weird that i dont like forth?
23:49:30 <Bike> yes. you are ritually impure
23:49:31 <^v> i think a bunch of stack based esolangs are better
23:50:17 <^v> Super Stack! is good, and 1000x easier to learn than forth
23:50:29 <^v> just needs subroutines
23:52:44 <zzo38> Why do you think that? I think Forth is much better.
23:54:15 <zzo38> Forth allow much more kind of metaprogramming possible, and yet can be made in a simple implementation in the computer, too!!
23:54:44 <kmc> heya zzo38!
23:54:47 <kmc> how's it hanging
23:56:36 <Bike> more suitable as a function, really...
23:59:24 <myname> what the hell is pefunge