←2016-01-01 2016-01-02 2016-01-03→ ↑2016 ↑all
00:00:07 -!- glowcoil_ has joined.
00:00:22 -!- heroux has quit (Ping timeout: 240 seconds).
00:00:23 -!- boily has quit (Ping timeout: 240 seconds).
00:00:23 -!- MoALTz has quit (Ping timeout: 240 seconds).
00:00:24 -!- mbrcknl has quit (Ping timeout: 240 seconds).
00:00:24 -!- glowcoil has quit (Ping timeout: 240 seconds).
00:00:24 -!- gde33 has quit (Ping timeout: 240 seconds).
00:00:25 -!- relrod has quit (Ping timeout: 240 seconds).
00:00:26 -!- Hoolootwo has quit (Ping timeout: 240 seconds).
00:00:31 -!- heroux_ has changed nick to heroux.
00:00:35 -!- relrod_ has joined.
00:00:36 -!- tromp has quit (Write error: Connection reset by peer).
00:00:37 -!- Hoolootwo has joined.
00:00:37 -!- relrod_ has quit (Changing host).
00:00:37 -!- relrod_ has joined.
00:00:58 -!- tromp has joined.
00:01:42 <oerjan> @ping
00:01:51 <lambdabot> pong
00:02:05 <oerjan> oh _now_ you notice me
00:02:08 <oerjan> @messages-
00:02:08 <lambdabot> boily said 5h 57m 13s ago: where are my kittens?
00:02:08 <lambdabot> boily said 5h 56m 58s ago: (I meant to @ask, not @tell)
00:02:21 -!- mbrcknl_ has changed nick to mbrcknl.
00:03:12 -!- glowcoil_ has changed nick to glowcoil.
00:04:22 -!- \oren\ has quit (Ping timeout: 250 seconds).
00:04:40 <FireFly> don't@askdon't@tell
00:04:44 -!- ineiros has quit (Ping timeout: 245 seconds).
00:05:08 <hppavilion[1]> I just went on a Recruiting mission on the xkcd Fora
00:05:22 -!- \oren\ has joined.
00:06:35 <oerjan> boily_: see http://www.smbc-comics.com/index.php?id=3826
00:07:45 -!- ineiros has joined.
00:07:57 <boily_> hppavilion[1]: fora?
00:08:06 -!- boily_ has changed nick to boily.
00:08:10 <hppavilion[1]> boily_: Correct latin for "forums"
00:08:27 <boily> imta there are multiple xkcd forumeses?
00:08:44 <oerjan> foraminifera
00:09:12 <hppavilion[1]> boily: Yes, there is more than one forum within the xkcd superforum
00:10:23 <hppavilion[1]> What novel and convoluted concept could I use instead of classes in an OO language?
00:12:35 <HackEgo> [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[User:LegionMammal978/Interpreters/Kangaroo]]": Author request: content was: "<pre> using System; using System.Collections.Generic; using System.IO; using System.Text.RegularExpressions; /* Error codes: * 0 - success * 1 ..." (and the only contributor was "[[Special:Contributions/LegionMammal978|LegionMamm
00:13:27 <HackEgo> [wiki] [[User talk:Oerjan]] http://esolangs.org/w/index.php?diff=46066&oldid=46061 * Oerjan * (+90) /* Deletion Request */
00:14:42 <oerjan> hppavilion[1]: well you cannot use lectures, because INTERCAL already did.
00:14:44 <ais523> hmm, I wonder why the author didn't want the kangaroo interp online?
00:15:01 <oerjan> he said the idea didn't work
00:15:29 <oerjan> hppavilion[1]: try castes hth
00:15:44 <hppavilion[1]> oerjan: And what would castes be?
00:16:04 <oerjan> that's your job hth
00:16:09 <hppavilion[1]> I suppose some castes are "above" others
00:16:30 <oerjan> my job is to throw out awful puns
00:16:50 <oerjan> wait is "throw out" the right p.v. here
00:17:14 <oerjan> ah yes
00:17:39 <oerjan> almost a self-antonym, that one
00:18:57 <oerjan> self-antonym has many synonyms, i see. i think the winner is enantiodrome.
00:19:40 <ais523> I like self-antonyms
00:19:56 <ais523> "transparent" is a good one ("you can see the inner workings" vs. "you don't have to care about the inner workings")
00:21:17 <oerjan> "Some pairs of contronyms are true homographs, i.e., distinct words with different etymology which happen to have the same form. For instance cleave "separate" is from Old English clēofan, while cleave "adhere" is from Old English clifian, which was pronounced differently."
00:21:34 <hppavilion[1]> Perhaps groups, where you specify methods and elements?
00:21:46 <oerjan> i think those must be cognate to no:klyve and no:klebe
00:22:07 <ais523> oerjan: where is that a quote from?
00:22:18 <oerjan> https://en.wikipedia.org/wiki/Auto-antonym
00:22:49 <ais523> thanks
00:26:14 -!- jaboja has quit (Ping timeout: 255 seconds).
01:47:21 <boily> `wisdom
01:47:26 <HackEgo> superexponential growth/Superexponential growth? SUPEREXPONENTIAL GROWTH?! HOLY CRAP!!!
01:47:37 <boily> fungot!
01:47:37 <fungot> boily: never knew that adams has played guitar on a pink floyd gig...
01:47:46 <boily> fungot: me neither.
01:47:46 <fungot> boily: ( which is absolutely no c whatsoever. even most of the topic, i came across an asm dump of metroid ( nes) ( a
01:49:23 -!- Sprocklem has quit (Ping timeout: 264 seconds).
01:55:50 <hppavilion[1]> Whoo! I defined == for typemaker!
01:57:05 <hppavilion[1]> For the UnsignedIntegers at least
01:57:10 <hppavilion[1]> It's recursive xD
01:57:20 <hppavilion[1]> boily: I have defined == recursively.
02:00:35 <hppavilion[1]> Wait, I need to define a base case
02:00:48 <hppavilion[1]> There we go
02:00:53 <hppavilion[1]> It's just a return True
02:02:06 <FireFly> fungot~
02:02:07 <fungot> FireFly: i have no real idea what " the scheme programming language, yes...
02:02:22 <FireFly> fungot: I think it delimits string literals
02:02:22 <fungot> FireFly: that's easy in basic: 10 print " every problem looks like a minor third harmonic?
02:02:45 <FireFly> fungot: 20 goto 10?
02:02:45 <fungot> FireFly: hmm would scheme run good on a stack, what's the action going to pay 80 for a fucking long time alright
02:03:12 <hppavilion[1]> `? ==
02:03:13 <HackEgo> ​==? ¯\(°​_o)/¯
02:03:14 <FireFly> fungot: are we talking like 50s computers here?
02:03:14 <fungot> FireFly: llc is you got a quote of how that can be easily modified, the ability to solve problems you need to
02:03:27 <hppavilion[1]> `le/rn ==/Did you know you can define == recursively!?
02:03:31 <HackEgo> Learned «==»
02:29:08 <Sgeo> Is it wrong that I think Plumpy'Nut sounds delicious?
02:29:21 <Sgeo> I mean, it's for use for famine emergencies, not just because it sounds good
02:44:20 <Phantom_Hoover> yes Sgeo it's very wrong
02:45:20 -!- variable has quit (Ping timeout: 246 seconds).
02:45:27 <Phantom_Hoover> "Plumpy'Nut is said to be "surprisingly tasty"." i mean even wikipedia thinks it's perfectly normal
02:49:58 <hppavilion[1]> Oh, by the way
02:50:00 <pikhq> Sgeo: Why, exactly, do you have Plumpy'Nut?
02:50:13 <hppavilion[1]> I'm trying to figure out a more logical way to write surreal numbers based on additional decimal places
02:50:37 <Sgeo> pikhq, I don't
02:50:42 <oerjan> pikhq: he stole it from starving orphans hth
02:50:43 <Phantom_Hoover> you can't write surreal numbers with additional decimal places
02:50:50 <pikhq> OIC
02:50:59 <Phantom_Hoover> they are uncountable and cannot be represented by any finite notation
02:51:16 <hppavilion[1]> My current idea is this: the real number is written normally, except with ; instead of . for the decimal (so you can identify the centre)
02:51:19 <coppro> oerjan: if I ever come to finland, how do I avoid you? asking for a friend
02:51:33 <Phantom_Hoover> they are a proper class and cannot be represented by anything 'small'
02:51:37 <oerjan> coppro: that's easy since i'm in norway hth
02:51:54 <oerjan> i've never even been to finland
02:52:00 <Phantom_Hoover> the scheme you are describing will give you some variation on the bog-standard extended reals
02:52:36 <Sgeo> "Sign up for the Plumpy’Nut Challenge. They will send you a box of Plumpy’Nut packets. You must agree to only eat Plumpy’Nut for a few days to a week."
02:52:46 <coppro> oerjan: tdh
02:52:59 <coppro> wait, I've been to norway!
02:53:22 <hppavilion[1]> Each . after the decimal place is a separator so each the subsequent number is in the region of to ε**c, where c is the . count up to that point (inclusive)
02:53:57 <hppavilion[1]> So 31;41.59 is equal to 31.41+59ε
02:54:37 <hppavilion[1]> 31;41.59.26 is equal to 31.41+59ε+26e**2
02:54:45 <oerjan> coppro: were you in trondheim? could have been a close call.
02:55:29 <hppavilion[1]> .. instead means tetration, so 31;41..59 is equal to 31.41+59ε**ε
02:55:37 <hppavilion[1]> ... is pentation
02:55:39 <hppavilion[1]> Et cetera
02:56:20 <hppavilion[1]> On the other side of the ;, you deal with ω
02:56:35 * oerjan is not entirely clear on whether surreal numbers have a decimal expansion even if you allow Omega digits
02:56:53 <oerjan> (Omega = class of all ordinals)
02:57:28 <oerjan> as in, (1) would they have a decimal expansion (2) would the digits be well ordered?
02:57:29 <hppavilion[1]> So 3.14 is actually equal to 3ω+14 in my representation, not to 3.14 (as a real number)
02:57:38 <hppavilion[1]> Then of course .. is tetration
02:57:41 <hppavilion[1]> ... is pentation
02:57:45 <hppavilion[1]> etc.
02:58:10 <hppavilion[1]> Now, there are some flaws I can think of with this, but it's better to help people understand the surreals than {|}
02:58:20 <hppavilion[1]> For example, how do your write sqrt(ω)?
02:58:43 <hppavilion[1]> sqrt(ω) isn't equal to sqrt(1)*ω=1*ω=ω, as far as I know. Then again, it might be.
02:58:47 <hppavilion[1]> Is it? I really don't know
02:59:20 <hppavilion[1]> oerjan: Do you know?
02:59:31 <oerjan> i never really learned beyond multiplication
02:59:34 <hppavilion[1]> Oh
02:59:49 <oerjan> i just know you can supposedly define lots of stuff
03:00:43 <oerjan> also, i'm not sure i ever learned multiplication properly. i've probably forgotten it again. addition and subtraction are easy though.
03:00:55 <coppro> oerjan: yeah
03:01:02 <coppro> this was like 6 years ago though
03:01:26 <hppavilion[1]> coppro: Do you know about sqrt(ω)?
03:01:36 <coppro> no
03:02:25 <hppavilion[1]> oerjan: Oh, and of course, you fill in empty spaces with 0
03:02:56 <hppavilion[1]> So 1.0.14 is equal to ω**2+14ω**0 = ω**2+14
03:03:28 <oerjan> hppavilion[1]: i'm not sure you're defining a notation for surreals and not just ordinals
03:03:41 <hppavilion[1]> oerjan: Really? Dammit
03:03:44 <hppavilion[1]> What'm I missing?
03:03:58 <oerjan> looks pretty similar to cantor normal form for ordinals
03:04:10 <hppavilion[1]> The surreals are BIG, so I must be missing something xD
03:04:25 <hppavilion[1]> oerjan: Really? Yay! I made up something that a famous mathematician did something similar to!
03:04:36 <oerjan> well erm
03:04:47 <oerjan> the ω**2+14ω**0 stuff
03:04:53 <oerjan> not your actual notation.
03:04:59 <hppavilion[1]> Therefor I think vaguely like a certain famous mathematician!
03:05:19 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:05:23 <hppavilion[1]> oerjan: Ah, that was me showing what it means. Whether that's equivalent to CNF is a matter of what I'm missing.
03:05:38 <hppavilion[1]> oerjan: I got the infinitessimals too, did you notice?
03:05:56 <oerjan> technically that should be ω**2+ω**0*14 because ordinals are not commutative
03:06:06 <oerjan> hppavilion[1]: ah no, then that's a bit more
03:06:18 <hppavilion[1]> oerjan: Ah
03:06:26 <hppavilion[1]> Noncommutativity, dammit
03:06:37 <hppavilion[1]> But are the surreals commutative?
03:08:48 <hppavilion[1]> oerjan: OK, so I got reals, numbers multiplied by infinitesimals, the same with powers of infinitesimals, and generally with any infinitesimal to an arbitrary power
03:08:52 <oerjan> huh that last thing messed up a character in irssi
03:09:09 <oerjan> the surreals are commutative, they're essentially a field
03:09:22 <hppavilion[1]> You can also do infinitesimals to a natural power to a- ah, that's something I'm missing
03:09:26 <hppavilion[1]> Wait, no
03:10:04 <hppavilion[1]> I'm not missing that, because ω=ε**-1
03:10:16 <hppavilion[1]> But I don't think you can do, for example, ε**(ε**2)
03:10:25 <hppavilion[1]> Or maybe you can.
03:10:26 <hppavilion[1]> Hm...
03:10:56 <hppavilion[1]> 0;0..0.1 might be that
03:11:26 <hppavilion[1]> That's... I think it might be, actually
03:11:28 <hppavilion[1]> Yay!
03:12:27 <hppavilion[1]> But I think I AM missing ε**n where n is not an integer
03:12:37 <hppavilion[1]> Though you could do that with sum, of course
03:12:42 <hppavilion[1]> I think
03:13:09 <hppavilion[1]> But I got a good chunk of the surreals, so my notation is pretty good
03:13:35 <hppavilion[1]> I doubt it's possible to have a finite notation that can do ALL of the surreals, even with ellipses.
03:13:59 <hppavilion[1]> (that is, the plural of ellipsis, not ovals)
03:20:46 <FreeFull> hppavilion[1]: You can't have finite notation for all the reals
03:20:51 <FreeFull> And surreals subsume the reals
03:20:59 -!- ais523 has quit (Ping timeout: 245 seconds).
03:21:00 -!- callforjudgement has joined.
03:21:21 -!- callforjudgement has changed nick to ais523.
03:22:33 <coppro> or the ordinals
03:22:46 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
03:31:30 -!- ineiros has quit (Ping timeout: 250 seconds).
03:42:08 -!- zzo38 has quit (Ping timeout: 272 seconds).
03:45:06 -!- zzo38 has joined.
03:45:08 -!- mauris has quit (Ping timeout: 255 seconds).
03:48:14 -!- mauris has joined.
03:51:48 <\oren\> https://www.youtube.com/watch?v=Kz9Irijq7ps <-- holy shit how did they even
03:51:51 -!- relrod_ has changed nick to relrod.
03:55:35 <\oren\> they even do the camera angles the same...
04:02:21 -!- ais523 has quit (Remote host closed the connection).
04:02:28 -!- callforjudgement has joined.
04:02:34 -!- callforjudgement has changed nick to ais523.
04:05:14 -!- jaboja has joined.
04:26:13 -!- hppavilion[1] has joined.
04:27:10 -!- ais523 has quit.
04:44:50 -!- boily has quit (Quit: OBSIDIAN CHICKEN).
05:05:09 -!- jaboja has quit (Ping timeout: 245 seconds).
05:10:08 -!- mauris has quit (Ping timeout: 265 seconds).
05:18:00 <hppavilion[1]> Here's an operation
05:18:19 <hppavilion[1]> The Algebraic Conjugate
05:19:01 <hppavilion[1]> a+bi# = a+bj, a+bj# = a+bi (i**2=-1, j**2=1, j != 1)
05:19:14 <hppavilion[1]> a+bk**2=a+bk (k**2=0, k != 0)
05:20:07 <izabera> k breaks everything
05:20:49 -!- oerjan has quit (Quit: Nite).
05:27:50 <izabera> also shouldn't that be a+bk**2 = a ?
05:28:07 <izabera> anyway if such k exist, that's not a domain
05:38:03 <hppavilion[1]> izabera: Whooops, I mean a+bk#
05:38:34 <hppavilion[1]> I'm rapidly switching tasks, so I sometimes type code that I'm frequently using into chat for something entirely unrelated
05:39:11 <hppavilion[1]> ("What was William Shakespear's last work?" "The coproduct of the category of categories of sets of numbers")
05:39:28 <hppavilion[1]> izabera: a+bk is the dual numbers; k is usually written epsilon, but I prefer k because it's typable
05:40:40 <hppavilion[1]> What is the name of the type of the algebra of numbers ai+bj? It's apparently not a Real 2D Algebra
06:21:30 <FreeFull> So k^2 = 0?
06:31:58 -!- earenndil has changed nick to Elronnd.
06:35:03 <FreeFull> hppavilion[1]: How about this: i^2 = j^2 = k^2 = ijk = -1
06:35:40 <hppavilion[1]> FreeFull: Yes, yes, you're very clever with the Quaternions or similar hypercomplex number
06:36:01 <hppavilion[1]> (YOU CANNOT TRICK ME! MWAHAHAHAHAHAHA!)
06:39:26 <FreeFull> hppavilion[1]: It's literally just the quaternions =P
06:39:42 <hppavilion[1]> FreeFull: I know
06:40:04 <hppavilion[1]> Or more accurately, I knew it was at least similar (e.g. Tessarines or Coquaternions or Split-Biquaternions)
06:41:03 <\oren\> hold on are you telling me some of the accented letters aren't even pronounced any diferent from the ones without an accent?!@!?
06:42:31 <hppavilion[1]> \oren\: *sigh*
06:42:35 <hppavilion[1]> What language are you learning?
06:43:18 <\oren\> eh, just reading about accents in general
06:43:56 <pikhq> I bet you hate the (rare) diaresis.
06:44:05 <\oren\> apparently à is the same as à
06:44:08 <\oren\> apparently à is the same as a
06:44:30 <pikhq> Hence why "coöperate" and "cooperate" are pronounced the same.
06:44:51 <FreeFull> The Polish ó and u are pronounced the same
06:45:33 <pikhq> Lemme guess, which you use is based on whether it's an "o" being modified because grammar or not?
06:45:44 <izabera> same for ô and u in my region's dialect
06:46:45 <\oren\> pikhq: that's true for ç in French apparently
06:51:23 <\oren\> holy crap http://www.ortograf.net/
06:57:03 <hppavilion[1]> I'm embedding a secondary CAS in my CAS to make my CAS reduction easier to CAS
06:57:53 <\oren\> nah nah your doing it wrong
06:58:33 <\oren\> Yo I herd yo liek CAS so I put a CAS in yo CAS so u can CAS while you CAS
06:58:53 <FreeFull> pikhq: Yeah
07:04:54 <pikhq> Fair enough, then.
07:21:37 <FreeFull> The Polish alphabet has 32 letters
07:21:39 <\oren\> what sort of features would be expected of an esoteric human language
07:22:14 <FreeFull> \oren\: Any word can be spoken backwards
07:23:58 <hppavilion[1]> \oren\: The subCAS is for the reduce() method of operations objects, which is basically programmed to do some simple reductions to make operations more efficient
07:24:23 <hppavilion[1]> So Sum(Var('x'), 0).reduce() is just Var('x')
07:25:00 <hppavilion[1]> The subCAS isn't a fully-fledged CAS, it's just a little object group with operations defined
07:27:34 <hppavilion[1]> It's the CAS before the CAS
07:27:40 <hppavilion[1]> A preprocessor, in some capacity
07:28:03 <hppavilion[1]> \oren\: The ability to discuss mathematics fluently and unambiguously
07:28:17 <hppavilion[1]> A basis in Combinatory Logic
07:28:35 <hppavilion[1]> \oren\: Were you the one who rejected my proposal to allow esoconlangs on the wiki?
07:28:39 <hppavilion[1]> Or was that oerjan?
07:33:20 <\oren\> hmm i dunno.
07:35:16 <myname> how does it matter?
07:36:59 <myname> also, is there some other youtube channel like xidnaf?
08:10:14 -!- MoALTz has joined.
08:16:45 -!- variable has joined.
08:20:40 -!- ineiros has joined.
08:27:25 -!- variable has changed nick to constant.
09:08:36 -!- bb010g has quit (Quit: Connection closed for inactivity).
09:28:30 <hppavilion[1]> ⊮ is feminism's favourite unicode character
09:28:45 <hppavilion[1]> LOLOLOLOLOLOL
09:31:11 <hppavilion[1]> "So mathematicians would say that you, Ernestine, and I are not totally ordered under winning at Ping-Pong."
09:37:09 <hppavilion[1]> That does not sound like something I would hear a mathematicians cay
09:37:11 <hppavilion[1]> *say
09:44:07 -!- constant has quit (Quit: 1 found in /dev/zero).
10:05:13 <\oren\> `unicode ⊮
10:05:30 <HackEgo> U+22AE DOES NOT FORCE \ UTF-8: e2 8a ae UTF-16BE: 22ae Decimal: &#8878; \ ⊮ \ Category: Sm (Symbol, Math) \ Bidi: ON (Other Neutrals) \ Character is mirrored \ Decomposition: 22A9 0338
10:06:16 <hppavilion[1]> Whoa. sqrt(2) is rational in the surreals.
10:06:26 <hppavilion[1]> mind.state := blown
10:06:59 <hppavilion[1]> \oren\: Was your mind.state == blown when you first learned that?
10:08:20 <\oren\> mind.setState(Mind::State_Blown);
10:14:26 <hppavilion[1]> \oren\: My solution is functional :)
10:14:34 <hppavilion[1]> (It just doesn't look like it)
10:14:47 <hppavilion[1]> (except for the :=)
10:16:35 <hppavilion[1]> sqrt(2)=sqrt(2*omega)/omega
11:43:27 -!- atehwa_ has quit (Remote host closed the connection).
11:49:48 -!- agawa has joined.
11:53:02 -!- hppavilion[1] has quit (Ping timeout: 276 seconds).
11:54:37 -!- zadock has joined.
11:56:59 -!- Welo has joined.
11:59:22 -!- agawa has quit (Read error: Connection reset by peer).
12:28:43 -!- zadock has quit (Quit: Leaving).
12:31:53 -!- itsmynick has joined.
12:45:20 -!- itsmynick has quit (Quit: Leaving).
12:52:25 -!- agawa has joined.
13:17:07 -!- Phantom_Hoover has joined.
13:34:16 -!- J_Arcane_ has quit (Ping timeout: 250 seconds).
13:42:25 -!- danofthedeep has joined.
13:46:50 -!- agawa has quit (Read error: Connection reset by peer).
13:48:28 -!- agawa has joined.
13:53:41 -!- J_Arcane has joined.
14:15:00 -!- dsycbcvbcvb has joined.
14:15:51 -!- dsycbcvbcvb has quit (Client Quit).
14:31:31 <HackEgo> [wiki] [[V--]] http://esolangs.org/w/index.php?diff=46067&oldid=12182 * LegionMammal978 * (+13) /* External resources */
14:51:32 -!- mauris has joined.
14:57:26 -!- mauris_ has joined.
14:57:53 -!- mauris has quit (Ping timeout: 255 seconds).
15:07:11 -!- agawa has quit (Read error: Connection reset by peer).
15:07:20 -!- mauris_ has quit (Ping timeout: 255 seconds).
15:07:59 -!- agawa has joined.
15:09:07 -!- mauris has joined.
15:15:13 <Sgeo> Happy 2017! https://www.reddit.com/r/shittyaskscience/comments/3yzt84/if_yesterday_was_2015_and_today_is_2016_is/
15:17:55 -!- agawa has quit (Ping timeout: 240 seconds).
15:21:54 -!- danofthedeep has quit (Quit: Textual IRC Client: www.textualapp.com).
15:24:05 -!- agawa has joined.
15:28:26 -!- agawa has quit (Ping timeout: 240 seconds).
15:34:16 -!- boily has joined.
15:37:13 -!- agawa has joined.
15:42:10 -!- jaboja has joined.
15:46:38 <boily> `wisdom
15:46:47 <HackEgo> welp/welp is humid kelp, and not at all related to toes, their hairs, and generic requests for TWHes and TDHes.
15:55:40 <FireFly> `wisdom
15:55:41 <HackEgo> csv/CSV猫stands猫for猫Cat猫Separated猫Values
15:55:57 <FireFly> Of course
15:57:43 <boily> FirelloFly.
16:05:14 -!- J_Arcane has quit (Ping timeout: 276 seconds).
16:05:53 <Taneb> Exam nervousness ahoy
16:07:02 <boily> Tanelle. you are suffering an exam on which subject today?
16:07:44 <Taneb> Well, I don't have any until Monday
16:07:47 <Taneb> Then I have 5 in four days
16:07:53 <Taneb> The first is formal methods
16:08:34 <Taneb> Then Algebraic Number Theory, then Eodermdrome, then Linear Optimization and Game Theory, then information theory
16:08:48 -!- J_Arcane has joined.
16:09:56 <boily> one of these is not like the other.
16:10:07 <boily> s/r\./rs./
16:10:52 <Taneb> https://www.cs.york.ac.uk/modules/grat.html
16:12:14 <boily> Authentication Required.
16:13:01 <Taneb> Sorry
16:13:16 -!- jaboja has quit (Ping timeout: 265 seconds).
16:13:39 <Taneb> The aims of this module are to:
16:13:42 <Taneb> To introduce the foundations of computing by graph transformation
16:13:45 <Taneb> To introduce the principles of rule-based programming in domains of graph-like structures
16:13:59 <Taneb> As a result of studying this module students should: (1) be familiar with the main concepts and results of graph transformation; (2) be able to recognise problems in various areas of computer science as suitable for applying graph transformation; (3) be able to write graph programs for solving problems in graph-like domains and reason about program correctness and complexity.
16:14:34 <boily> tdh.
16:16:34 <agawa> a prolifer ?
16:17:13 <FireFly> boilyo
16:17:37 <Taneb> agawa, what about a profiler
16:18:01 <agawa> said if is it a profiler
16:19:33 <Taneb> I am not sure I understand what you mean
16:21:00 * FireFly is a pro-lifer
16:21:47 <agawa> thing that we are access-denied
16:22:08 <Taneb> It's the module description
16:27:02 -!- zzo38 has quit (Ping timeout: 256 seconds).
16:30:57 -!- jaboja has joined.
16:36:06 -!- Frooxius has quit (Quit: *bubbles away*).
16:36:26 -!- Frooxius has joined.
16:40:26 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
16:47:32 -!- J_Arcane has quit (Ping timeout: 250 seconds).
16:51:42 -!- relrod has quit (Quit: ZNC - http://znc.in).
16:52:21 -!- relrod_ has joined.
16:52:21 -!- relrod_ has quit (Changing host).
16:52:21 -!- relrod_ has joined.
16:54:32 -!- relrod_ has changed nick to relrod.
16:55:20 -!- ais523 has joined.
16:59:04 -!- J_Arcane has joined.
16:59:55 -!- agawa has quit (Ping timeout: 240 seconds).
17:01:21 -!- Welo has quit (Quit: Leaving).
17:02:59 -!- Phantom_Hoover has joined.
17:07:08 <b_jonas> `wisdom
17:07:21 <HackEgo> diet/People go on diets to loose weight instead of gaining. It gives them a consistant diet.
17:12:41 <Phantom_Hoover> `? deit
17:12:43 <HackEgo> deit? ¯\(°​_o)/¯
17:13:38 <tswett> `run sed -i '' 's/loose/lose' wisdom/diet
17:13:39 <HackEgo> sed: can't read s/loose/lose: No such file or directory
17:13:54 <tswett> `run sed -i 's/loose/lose' wisdom/diet
17:13:55 <HackEgo> sed: -e expression #1, char 12: unterminated `s' command
17:13:58 -!- Frooxius has quit (Quit: *bubbles away*).
17:14:03 <tswett> `run sed -i 's/loose/lose/' wisdom/diet
17:14:05 <HackEgo> No output.
17:14:08 <tswett> `? diet
17:14:09 <HackEgo> People go on diets to lose weight instead of gaining. It gives them a consistant diet.
17:14:23 -!- Frooxius has joined.
17:17:36 <Phantom_Hoover> tswett, p sure that was deliberate, note 'consistant'
17:18:34 <tswett> `run sed -i 's/lose/loose/' wisdom/diet
17:18:37 <HackEgo> No output.
17:18:39 <tswett> `? diet
17:18:41 <HackEgo> People go on diets to loose weight instead of gaining. It gives them a consistant diet.
17:19:56 <b_jonas> `? even
17:19:57 <HackEgo> even? ¯\(°​_o)/¯
17:19:57 <b_jonas> `? odd
17:19:58 <HackEgo> odd? ¯\(°​_o)/¯
17:23:42 -!- agawa has joined.
17:26:42 -!- agawa has quit (Remote host closed the connection).
17:29:08 -!- agawa has joined.
17:30:00 -!- hppavilion[1] has joined.
17:34:28 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
17:37:50 -!- agawa has quit (Ping timeout: 246 seconds).
17:56:15 <FireFly> `culprits wisdom/diet
17:56:18 <HackEgo> tswett tswett int-e ais523 oerjan elliott oerjan FireFly
17:56:25 <FireFly> huh.
17:56:45 -!- Lord_of_- has quit (Excess Flood).
17:59:06 <ais523> the "ais523" is I think from when I wrote a script to delete random wisdom entries, only it screwed up and did something unintentional
17:59:20 <ais523> I'm not entirely sure what, but IIRC the next few names are from people trying to fix it
18:00:36 -!- Lord_of_- has joined.
18:08:09 <b_jonas> `? ingredient
18:08:10 <HackEgo> ingredient? ¯\(°​_o)/¯
18:09:42 <FireFly> The "huh" was mostly because I don't remember what it's supposed to reference, but IIRC it's a verbatim quote from somewhere
18:09:44 <FireFly> possibly spam
18:21:36 -!- boily has quit (Quit: REGAL CHICKEN).
18:34:42 -!- variable has joined.
19:18:07 -!- ais523 has quit.
19:26:10 -!- variable has changed nick to function.
19:26:12 -!- lleu has joined.
19:26:12 -!- lleu has quit (Changing host).
19:26:12 -!- lleu has joined.
19:42:11 -!- function has changed nick to variable.
20:29:21 -!- ais523 has joined.
21:03:17 -!- jaboja has quit (Ping timeout: 255 seconds).
21:14:04 -!- jaboja has joined.
21:43:40 -!- hppavilion[1] has joined.
21:54:00 -!- jaboja has quit (Ping timeout: 256 seconds).
21:57:22 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
21:58:31 -!- variable has quit (Ping timeout: 260 seconds).
22:00:13 -!- ais523 has quit.
22:01:08 -!- jaboja has joined.
22:10:07 -!- Welo has joined.
22:12:21 <\oren\> `u8tbl 0x232d 0x2335
22:12:22 <HackEgo> Segmentation fault
22:12:33 <\oren\> `u8tbl 0x232d 0x2325
22:12:34 <HackEgo> Segmentation fault
22:12:52 <\oren\> `` u8tbl 0x232d 0x2335
22:12:53 <HackEgo> ​⌭⌮⌯ \ ⌰⌱⌲⌳⌴⌵
22:13:00 <\oren\> boo
22:18:59 <\oren\> I'm trying to fill in any remaining gaps in the blocks I have completed
22:23:05 <int-e> `thanks new year
22:23:06 <HackEgo> Thanks, new year. Thew year.
22:24:04 <FireFly> `hello new year
22:24:06 <HackEgo> Hello
22:24:19 <FireFly> oh.
22:24:20 <FireFly> `which hello
22:24:22 <HackEgo> ​/hackenv/bin/hello
22:24:41 <FireFly> `cat bin/hello
22:24:43 <HackEgo> echo Hello
22:29:46 -!- zzo38 has joined.
22:38:42 <tswett> Hmm.
22:38:48 <tswett> `thanks Mark Rosewater
22:38:49 <HackEgo> Thanks, Mark Rosewater. Thark Rosewater.
22:39:00 <tswett> `thanks thanks
22:39:01 <HackEgo> Thanks, thanks. Thanks.
22:39:15 <tswett> `? pseudopseudohypoparathyroidism
22:39:17 <HackEgo> pseudopseudohypoparathyroidism? ¯\(°​_o)/¯
22:39:19 <tswett> Er.
22:39:23 <tswett> `thanks pseudopseudohypoparathyroidism
22:39:24 <HackEgo> Thanks, pseudopseudohypoparathyroidism. Theudopseudohypoparathyroidism.
22:39:28 <tswett> `thanks ?
22:39:29 <HackEgo> Thanks, ?. T.
22:39:36 <tswett> Interesting, that one.
22:39:39 <tswett> `thanks
22:39:43 <HackEgo> Thanks, neia. Theia.
22:39:49 <tswett> Come again?
22:39:50 <tswett> `thanks
22:39:52 <HackEgo> Thanks, iloquallc. Thiloquallc.
22:39:59 <tswett> `cat bin/thanks
22:40:00 <HackEgo> ​#!/usr/bin/perl -CSDA \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Thanks, $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/Th/; } else { s/^./T/; } print "$_.";
22:40:08 <tswett> I see.
22:40:13 <tswett> `run thanks ''
22:40:16 <HackEgo> Thanks, aring. Tharing.
22:40:30 <tswett> `run thanks ' '
22:40:31 <HackEgo> Thanks, . .
22:40:57 <tswett> `thanks hrmnzr
22:40:59 <HackEgo> Thanks, hrmnzr. Trmnzr.
22:41:05 <tswett> `thanks FBI
22:41:06 <HackEgo> Thanks, FBI. ThI.
22:41:36 -!- jaboja has quit (Ping timeout: 256 seconds).
22:42:19 <tswett> `thanks Schrödinger
22:42:20 <HackEgo> Thanks, Schrödinger. Thinger.
22:43:44 -!- hppavilion[1] has joined.
22:44:58 <tswett> `thanks rødgrød med fløde
22:45:00 <HackEgo> Thanks, rødgrød med fløde. Thed fløde.
22:45:15 <int-e> ö is an interesting consonant...
22:45:54 <tswett> Sure is.
22:46:50 <tswett> `thanks KILL A PUPPY EVERY DAY.
22:46:51 <HackEgo> Thanks, KILL A PUPPY EVERY DAY.. ThILL A PUPPY EVERY DAY..
22:47:28 <tswett> Is `evil still up?
22:47:29 <tswett> `evil
22:47:31 <HackEgo> KILL A PUPPY EVERY DAY.
22:47:33 <tswett> Sure is.
22:47:54 <tswett> `run thanks $(loudly Steve)
22:47:56 <HackEgo> Thanks, Steve. Theve.
22:48:30 <tswett> `run loudly $(thanks $(loudly Steve))
22:48:32 <HackEgo> Thanks,
22:48:41 <tswett> `run loudly $(loudly $(thanks $(loudly Steve)))
22:48:43 <HackEgo> 04,09T09,04h04,09a09,04n04,09k09,04s04,09,
22:48:50 <tswett> \o/
22:49:47 <int-e> `cat bin/evil
22:49:48 <HackEgo> cat "$(find evil -type f | shuf -n1)" | tr '[:lower:]' '[:upper:]'
22:50:38 <int-e> `` echo ß | tr '[:lower:]' '[:upper:]'
22:50:39 <HackEgo> ​ß
22:50:50 <int-e> `` echo ä | tr '[:lower:]' '[:upper:]'
22:50:51 <HackEgo> ​ä
22:51:17 <int-e> `locale
22:51:18 <HackEgo> LANG=en_NZ.UTF-8 \ LANGUAGE= \ LC_CTYPE="en_NZ.UTF-8" \ LC_NUMERIC="en_NZ.UTF-8" \ LC_TIME="en_NZ.UTF-8" \ LC_COLLATE="en_NZ.UTF-8" \ LC_MONETARY="en_NZ.UTF-8" \ LC_MESSAGES="en_NZ.UTF-8" \ LC_PAPER="en_NZ.UTF-8" \ LC_NAME="en_NZ.UTF-8" \ LC_ADDRESS="en_NZ.UTF-8" \ LC_TELEPHONE="en_NZ.UTF-8" \ LC_MEASUREMENT="en_NZ.UTF-8" \ LC_IDENTIFICATION="en_NZ
22:54:12 <b_jonas> ``` locale
22:54:13 <HackEgo> LANG=C \ LANGUAGE= \ LC_CTYPE="C" \ LC_NUMERIC="C" \ LC_TIME="C" \ LC_COLLATE="C" \ LC_MONETARY="C" \ LC_MESSAGES="C" \ LC_PAPER="C" \ LC_NAME="C" \ LC_ADDRESS="C" \ LC_TELEPHONE="C" \ LC_MEASUREMENT="C" \ LC_IDENTIFICATION="C" \ LC_ALL=
22:54:14 <b_jonas> `` locaqle
22:54:15 <HackEgo> bash: locaqle: command not found
22:54:16 <b_jonas> `` locale
22:54:17 <HackEgo> LANG=en_NZ.UTF-8 \ LANGUAGE= \ LC_CTYPE="en_NZ.UTF-8" \ LC_NUMERIC="en_NZ.UTF-8" \ LC_TIME="en_NZ.UTF-8" \ LC_COLLATE="en_NZ.UTF-8" \ LC_MONETARY="en_NZ.UTF-8" \ LC_MESSAGES="en_NZ.UTF-8" \ LC_PAPER="en_NZ.UTF-8" \ LC_NAME="en_NZ.UTF-8" \ LC_ADDRESS="en_NZ.UTF-8" \ LC_TELEPHONE="en_NZ.UTF-8" \ LC_MEASUREMENT="en_NZ.UTF-8" \ LC_IDENTIFICATION="en_NZ
22:58:39 <hppavilion[1]> I'm designing a programming language for the xkcd phone
22:58:48 <hppavilion[1]> http://forums.xkcd.com/viewtopic.php?f=11&t=113269
23:02:14 -!- jaboja has joined.
23:05:20 <\oren\> `` echo lo | tr '[:lower:]' '[:upper:]'
23:05:21 <HackEgo> LO
23:05:39 <\oren\> ok so it isn't that
23:06:39 -!- Welo has quit (Quit: Leaving).
23:09:44 <\oren\> `` loudly 素晴らしい
23:09:45 <HackEgo>
23:09:51 <\oren\> AAUAUAAUAUA
23:14:41 <Melvar> `cat bin/loudly
23:14:42 <HackEgo> ​#!/usr/bin/env python \ import sys, itertools \ inp = len(sys.argv) >= 2 and sys.argv[1] or raw_input() \ cyc = itertools.cycle(["\00304,09","\00309,04"]) \ print "".join(cyc.next() + c for c in inp)
23:16:07 <Melvar> `which python3
23:16:08 <HackEgo> No output.
23:20:42 -!- oerjan has joined.
23:21:43 <Taneb> Is a UTM that only runs when its being watched Turing complete?
23:23:14 <oerjan> would seem to require a watcher with unbounded lifespan hth
23:30:42 <b_jonas> Taneb: yes
23:30:47 <b_jonas> it's still Turing complete
23:37:12 <\oren\> just pass down a tradition of watching the UTM in your family
23:40:29 -!- lleu has quit (Quit: That's what she said).
23:42:58 <Elronnd> `which python
23:43:00 <HackEgo> ​/usr/bin/python
23:43:24 <b_jonas> Only the observable part of the behavior matters.
23:47:53 <fizzie> "Be officially informed that we have arrested a diplomat [..] with your consignment that contains huge amount of money [..] The diplomat claims that you are DEATH, therefore your consignment is being diverted [..]"
23:48:08 <fizzie> I hope I'm not DEATH.
23:49:51 <oerjan> are you DESTROYER OF WORLDS?
23:50:46 <fizzie> Is that the sort of thing you know you are if you are?
23:51:07 <oerjan> good question.
23:58:29 <b_jonas> fungot, would you know that you are destroyer of worlds if you were?
23:58:29 <fungot> b_jonas: heh to just pop something from the cvs, and irc protocols. distributing loadable modules and drivers as source and still having them for normal grouping)
23:59:35 -!- augur has quit (Ping timeout: 264 seconds).
←2016-01-01 2016-01-02 2016-01-03→ ↑2016 ↑all