00:07:16 -!- yorick has quit (Read error: Connection reset by peer).
00:07:48 <kmc> I did my first substantial hacking on rustc today
00:08:11 <kmc> implemented support for macros that expand to patterns
00:10:34 -!- tromp has quit (Remote host closed the connection).
00:20:02 <int-e> kmc: you're missing out on the cube exploding and... http://int-e.eu/~bf3/tmp/rubik.png (german version) ... so not much really
00:20:25 <int-e> (solving the real thing is so much faster!)
00:21:01 <kmc> spoilers :<
00:21:34 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
00:21:36 <int-e> oh and there is a webgl version out there that works more smoothly, but doesn't have a timer or move counter.
00:21:59 <int-e> kmc: I meant well, I was trying to save you some pain.
00:23:27 <oerjan> "I meant well" is not a very good tombstone line
00:24:05 <int-e> (Even the webgl version is awful ... I found that I have trouble reproducing some of the macros that I use on the actual cube because they are almost fully automatic by now)
00:25:11 <int-e> oerjan: It'd be "(s)he meant well", hth.
00:25:57 <oerjan> that doesn't work for the "I told you so" of hypochondriac fame
00:26:16 <int-e> "We told him(her) so" ... ow.
00:26:49 <int-e> Anyway, I'm in a strange mood.
00:26:57 <int-e> Please don't take me seriously.
00:27:04 -!- tertu has joined.
00:32:48 <HackEgo> [wiki] [[TOGA computer]] http://esolangs.org/w/index.php?diff=39598&oldid=36621 * John Misciagno * (+0)
00:38:55 <HackEgo> [wiki] [[A:;]] M http://esolangs.org/w/index.php?diff=39599&oldid=39034 * Malltog * (+4) Edited cat program to make it loop
00:40:28 -!- FreeFull has quit (Ping timeout: 276 seconds).
00:43:48 -!- tromp has joined.
00:52:44 -!- sebbu has quit (Ping timeout: 255 seconds).
00:53:43 -!- edwardk has joined.
01:08:00 <Sgeo> The Google cube is wrong, I think.
01:08:04 -!- {hk3380} has joined.
01:08:05 -!- tertu has quit (Ping timeout: 264 seconds).
01:08:07 <Sgeo> You can't rotate the inner thingies
01:08:22 <Sgeo> Which afaict means if you're counting moves you may count wrong
01:08:23 -!- shikhout has quit (Remote host closed the connection).
01:09:28 <oerjan> > id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id id 8
01:10:11 -!- hk3380 has quit (Ping timeout: 252 seconds).
01:10:47 <oerjan> Sgeo: um if we mean the middle thirds i rotated those just fine...
01:11:07 <Sgeo> I meant you're not supposed to be able to on a real cube
01:11:41 -!- tertu has joined.
01:11:41 <oerjan> of course you can. it's just a little physically awkward to keep both outer parts still.
01:12:01 -!- edwardk has quit (Quit: Computer has gone to sleep.).
01:15:14 -!- {hk3380} has quit (Ping timeout: 255 seconds).
01:18:49 <elliott> you can do it because you can rotate the two non-middle thirds in the opposite direction.
01:19:05 -!- realzies has quit (Quit: realzies).
01:19:05 <elliott> ok, I guess it's relevant for move-counting.
01:23:37 -!- 77CAAKECD has joined.
01:23:38 -!- realzies has joined.
01:28:30 <int-e> oerjan: no fair building exponentially large types
01:29:15 <oerjan> int-e: i just wanted to give you a little stress testing hth
01:29:52 <oerjan> with the article being on top of /r/haskell you'd better be prepared.
01:29:59 <int-e> it caused me little stress. so it must have worked.
01:30:20 -!- 77CAAKECD has quit (Excess Flood).
01:30:54 -!- realz has joined.
01:31:57 -!- realzies has quit (Quit: realzies).
01:32:29 -!- realzies has joined.
01:33:35 -!- realzies has quit (Client Quit).
01:35:02 <HackEgo> [wiki] [[Bukkake]] N http://esolangs.org/w/index.php?oldid=39600 * 99.16.65.43 * (+959) Created page barebone
01:41:44 <oerjan> my delete finger is itching.
01:42:30 <elliott> unfortunately it appears to be an actual language
01:43:02 <HackEgo> [wiki] [[Bukkake]] http://esolangs.org/w/index.php?diff=39601&oldid=39600 * 99.16.65.43 * (+639) Added examples
01:43:34 <int-e> I'm not sure that it's actually a worse name than "brainfuck", except that I've have gotten used to the latter.
01:44:41 <int-e> (this will sound great outside of an esolang context)
01:45:16 <elliott> there's a threshold for which I'd delete an esolang for its name, but this is far below it.
01:45:20 <HackEgo> [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=39602&oldid=39595 * Oerjan * (+0) /* Non-alphabetic */ order (I _think_ I decided this section was ordered by ASCII ignoring case, but I'm not entirely sure.
01:46:23 <oerjan> wait why is ~ not before its coprefixes
01:47:24 <lambdabot> Couldn't match expected type ‘GHC.Types.Char’
01:47:25 <lambdabot> with actual type ‘[GHC.Types.Char]’
01:47:46 <HackEgo> [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=39603&oldid=39602 * Oerjan * (+0) /* Non-alphabetic */ I think I've misplaced this somehow
01:48:10 <elliott> oerjan: btw, don't tempt me to name languages silly unicode edge-cases just to mess up your ASCII ordering.
01:48:59 <oerjan> elliott: good, i won't.
01:49:31 <elliott> oerjan: you may already have.
01:49:52 <oerjan> it seems my ridiculously complicated vim :sort command to order that section was broken :(
01:51:33 <Sgeo> I seem to be addicted to Sex Yeah
01:51:42 <oerjan> (it was :.,$sort i /[[][[][:]\?\([^|]*[|]\)\?[ ]\?\([^>]*>\)\?/
01:51:58 <oerjan> *MWAHAHAHA* i bracketed Sgeo
01:53:00 <oerjan> <elliott> coprefix is a good word <-- why do you think i invented it hth
01:53:25 <Bike> http://www.unicode.org/reports/tr10/#Canonical_Equivalence_Table man this owns
01:55:56 -!- tertu has quit (Ping timeout: 255 seconds).
01:58:47 <Sgeo> So, I once asked if I should watch an LP of Planescape: Eternal Torment, and people said yes. So, should it be a blind LP?
01:59:39 <oerjan> how much torment do you want when watching twh
02:00:02 * int-e is confused by the "Eternal"
02:00:40 <oerjan> it means never-ending hth
02:00:44 <Bike> well, what, would you prefer ternal torment
02:01:09 <int-e> oerjan: yes but it's not part of the game's name
02:01:35 <int-e> For all I know, which is very little of course.
02:05:32 -!- tertu has joined.
02:06:16 -!- Bike has quit (Ping timeout: 240 seconds).
02:08:31 -!- Bike has joined.
02:09:11 -!- Bike has quit (Client Quit).
02:09:25 -!- Bike has joined.
02:20:43 -!- Bike has quit (Ping timeout: 240 seconds).
02:22:47 -!- Bike has joined.
02:34:48 -!- zzo38 has joined.
02:47:05 <kmc> hm, the most prominent label language on this bag of jasmine rice is Hmong
02:48:44 <oerjan> well it's a hmongous language
02:51:42 <ion> esolangs.org/wiki/Hmong
02:56:34 <Bike> i don't even know what hmong looks like >_<
02:57:32 <ion> It’s a bit like Hmu.
02:59:08 <Bike> oh it's some language family i've never heard oft
03:02:42 <oerjan> "Early linguistic classifications placed the Hmong–Mien languages in the Sino-Tibetan family, where they remain in many Chinese classifications, but the current consensus among Western linguists is that they constitute a family of their own."
03:03:03 <ion> https://www.kickstarter.com/projects/612530753/gitchain
03:03:08 <Bike> yeah yeah, and Wu and Scots aren't languages
03:03:20 <Bike> oh by the way OpenWorm totally got funded
03:03:28 <Bike> get ready for nematodes all over your computers nerds
03:05:47 <oerjan> "They are some of the most highly tonal languages in the world: Longmo and Zongdi Hmong have as many as twelve distinct tones."
03:06:27 <Bike> Zongdi Hmong is a hella rad name
03:08:40 <oerjan> "Neighbouring languages across these families, though presumed unrelated, often have similar features, which are believed to have spread by diffusion. A well-known example is the similar tone systems in Sinitic languages (Sino-Tibetan), Hmong–Mien, Tai languages (Kadai) and Vietnamese (Mon–Khmer)."
03:09:10 <Bike> i didn't know vietnamese and cambodian were related.
03:09:51 <Bike> oh, they're both austroasiatic.
03:10:07 <HackEgo> [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=39604&oldid=39603 * Icepy * (+12)
03:10:07 <Bike> well, that whole area has some hella geography.
03:11:34 -!- MoALTz has joined.
03:15:11 -!- MoALTz_ has quit (Ping timeout: 258 seconds).
03:21:50 -!- oerjan has quit (Quit: leaving).
03:30:11 <kmc> I'm disappointed that Bukkake is another boring brainfuck derivative
03:41:38 -!- Bike has quit (Ping timeout: 258 seconds).
03:43:14 <Sgeo> From context of a comic strip I can't link, I assume a "reduction from bin packing to linear programming" would be very interesting?
03:43:20 -!- Bike has joined.
03:48:35 <Bike> this is some basic bullshit.
03:48:59 <kmc> Sgeo: what
03:49:54 <Sgeo> Bonobo Conspiracy #421
03:57:01 <kmc> available as a convenient 15 MB .zip file
03:58:19 <Sgeo> I can't really link to the individual comics...
04:00:03 <Sgeo> I think, when it used to be more of a webcomic, they had annotations. They don't anymore
04:05:20 -!- tromp has quit (Remote host closed the connection).
04:08:55 -!- tromp has joined.
04:13:43 -!- edwardk has joined.
04:17:57 <Jafet> > text $ unlines $ replicate 3 $ replicate 72 '('
04:17:59 <lambdabot> ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
04:17:59 <lambdabot> ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
04:17:59 <lambdabot> ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((
04:23:19 <Sgeo> So, is that thing I mentioned a thing that would be an interesting result?
04:24:24 <Bike> what, the webcomic?
04:27:21 -!- Bike_ has joined.
04:28:40 <quintopia> Sgeo: well, it would imply bin packing is in P. which may be known. i don't know.
04:28:56 -!- Bike has quit (Ping timeout: 255 seconds).
04:29:03 -!- Bike_ has changed nick to Bike.
04:29:23 <quintopia> so a reduction to linear programming would imply P=NP
04:29:58 <Bike> hey that's a pretty good result!!
04:30:26 <Sgeo> http://i.imgur.com/iq4QXSY.png
04:31:25 -!- edwardk has quit (Quit: Computer has gone to sleep.).
04:33:16 <Bike> this is a bad comic
04:33:25 -!- edwardk has joined.
04:44:16 -!- Cyragia has joined.
04:46:09 -!- password2 has joined.
04:49:10 -!- edwardk has quit (Quit: Computer has gone to sleep.).
04:50:48 -!- Cyragia has quit (Ping timeout: 240 seconds).
04:51:41 -!- edwardk has joined.
04:56:23 -!- Phantom_Hoover has joined.
05:14:56 <Jafet> Imagine that as your next referee
05:24:40 -!- MoALTz_ has joined.
05:26:00 -!- tromp has quit (Remote host closed the connection).
05:27:41 -!- MoALTz has quit (Ping timeout: 255 seconds).
05:44:15 <zzo38> I have play Dungeons&Dragons game today
05:45:07 -!- conehead has quit (Read error: Connection reset by peer).
06:11:07 <Sgeo> A Chrome extension seems to have been spying on me
06:12:33 <Sgeo> "This extension adds the following ads. If you do not with to support us, you are welcome to disable ads by clicking the checkbox below"
06:14:07 <Sgeo> Change HTTP Request Header
06:19:21 -!- MoALTz_ has quit (Quit: Leaving).
06:20:07 <Sgeo> Cloud Party is dead
06:39:48 -!- conehead has joined.
06:50:27 -!- tertu has quit (Ping timeout: 252 seconds).
06:56:26 -!- tertu has joined.
07:29:41 -!- Bike has quit (Ping timeout: 264 seconds).
07:32:28 -!- diginet has joined.
07:32:47 -!- shikhin has joined.
07:33:47 -!- slereah_ has joined.
07:35:09 -!- shikhin has quit (Remote host closed the connection).
07:36:49 -!- shikhin has joined.
07:37:42 -!- realz has quit (*.net *.split).
07:37:43 -!- aloril has quit (*.net *.split).
07:39:02 -!- aloril has joined.
07:43:04 -!- 77CAAKHVT has joined.
07:43:19 -!- 77CAAKHVT has quit (Max SendQ exceeded).
07:43:44 -!- realz has joined.
07:44:46 -!- edwardk has quit (Quit: Computer has gone to sleep.).
07:48:00 -!- conehead has quit (Quit: Computer has gone to sleep).
07:58:42 -!- edwardk has joined.
07:59:25 <HackEgo> [wiki] [[Forobj]] http://esolangs.org/w/index.php?diff=39605&oldid=39543 * GermanyBoy * (+273) /* Examples */
08:00:43 -!- KingOfKarlsruhe has joined.
08:01:36 <HackEgo> [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=39606&oldid=38583 * GermanyBoy * (+36) /* Forobj */
08:02:41 <HackEgo> [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=39607&oldid=39606 * GermanyBoy * (+56) /* PHL 1.0 */
08:20:37 -!- glogbackup has joined.
08:28:41 -!- Patashu has joined.
08:34:54 -!- Patashu has quit (Disconnected by services).
08:34:54 -!- Patashu_ has joined.
09:08:01 <kmc> are there any type systems based on epistemic logic?
09:43:04 -!- {hk3380} has joined.
09:46:52 -!- mhi^ has joined.
10:14:34 -!- boily has joined.
10:52:29 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
11:03:36 -!- boily has quit (Quit: Poulet!).
11:11:03 <mroman> impomatic: my SLT isn't working :(
11:11:43 -!- lambdacat has joined.
11:12:13 <int-e> lambdacat: @let newtype Codensity f x = Codensity (forall r. (x -> f r) -> f r)
11:12:14 <lambdacat> Multiple declarations of ‘Codensity’
11:12:28 <int-e> lambdacat: @let newtype Codensity f x = Codensity (forall r. (x -> f r) -> f r)
11:12:41 -!- lambdacat has quit (Remote host closed the connection).
11:19:34 -!- Sprocklem has quit (Ping timeout: 240 seconds).
11:24:37 -!- {hk3380} has quit (Ping timeout: 276 seconds).
11:37:25 -!- shikhout has joined.
11:37:42 -!- Sorella has joined.
11:40:29 -!- shikhin has quit (Ping timeout: 252 seconds).
11:42:52 <fizzie> "In 1990, a disgruntled employee at the Point Lepreau Nuclear Generating Station in Canada obtained a sample (estimated as about a "half cup") of heavy water from the primary heat transport loop of the nuclear reactor, and loaded it into a cafeteria drink dispenser."
11:42:56 <fizzie> Office pranks seem slightly different at nuclear power plants.
11:43:59 -!- yorick has joined.
11:46:01 <slereah_> "Man this water is heavy today"
11:48:15 <nortti> iirc, heavy water is only ~10% heavier
11:48:39 <slereah_> Oxygen makes up most of the mass of water
11:50:07 <fizzie> They'd be all "I froze my drink and put it in the bath tub and it sank instead of floating!", because that's what people do, right?
11:51:13 <slereah_> Heavy water is toxic on top of being radioactive
11:51:22 <slereah_> It has different chemical properties from water
11:52:27 <fizzie> Well, now, it isn't necessarily radioactive. (Of course if you take it from a nuclear reactor...)
11:52:49 <slereah_> Heavy water is always radioactive!
11:53:01 <nortti> isn't deuterium stable?
11:53:15 -!- sebbu has joined.
11:53:47 -!- sebbu has quit (Changing host).
11:53:47 -!- sebbu has joined.
11:54:03 <slereah_> It's the tritium you gotta watch out for
11:55:03 <slereah_> I should work on my Quantum Computer Language
11:55:50 <slereah_> The question is, can you make a TC quantum computer in 1D
11:55:56 <slereah_> Or do I have to go 2D at least
11:57:05 <Jafet> People worry about the radioactivity of depleted uranium, too
11:57:24 <mroman> my bomb loop is toooooo slow
11:57:33 -!- Phantom_Hoover has joined.
12:02:35 <mroman> If you throw bombs too close to your own position the scanners are gonna find you pretty fast :(
12:03:21 <Jafet> slereah: implementing something resembling brainfuck with quantum gates?
12:04:14 <slereah_> But I'm not quite sure if it's doable in 1D
12:04:23 <slereah_> Or if it will have to be quantum befunge stuff
12:05:41 <fizzie> Just don't call it "Quantum brainfuck", because there is one already.
12:05:41 <Jafet> What is the difficulty with a 1D (array of qubits, I assume)
12:06:01 <slereah_> Well I want to simulate a physical machine
12:06:16 <Jafet> fizzie: just make the wiki give you one of the articles at random
12:06:19 <slereah_> Until they encounter a measuring device that collapses the quantum state
12:11:59 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds).
12:16:58 -!- Sgeo has quit (Read error: Connection reset by peer).
12:21:21 <mroman> how the fuck to I compare something indirectly in Redcode?
12:22:38 <mroman> SNE #0, @SPTR isn't working
12:22:44 <mroman> it seems to compare with the B-field of SPTR
12:22:56 <mroman> but I want it to interpret the B-field of SPTR as an address
12:23:07 <mroman> and check if the B-field of the cell at that address is 0
12:29:10 <mroman> also shouldnt ADD.B #12, SPTR add 12 to SPTR?
12:29:24 <mroman> I can't remember how this shit works :(
12:30:20 <fizzie> I think ADD.AB #12, SPTR should do that, but I haven't done any of that stuff in ages.
12:33:03 <fizzie> (By my logic, ADD.B #12, SPTR would add whatever the relative address of SPTR is, to the B field of SPTR, since the source instruction is the current instruction, and .B means B-to-B.)
12:33:21 <mroman> looks like it's ADD.AB indeed
12:33:30 <mroman> but the SNE #0, @SPTR is still not doing what I want it to do
12:33:55 -!- oerjan has joined.
12:33:55 <fizzie> I don't know what's up with that, since it sounded like it should do what you wanted.
12:36:00 <mroman> SNE #0, @SPTR always doesn't skip
12:36:08 <oerjan> there you go being negative again
12:36:18 <mroman> SNE.B #0, @SPTR always skips
12:36:29 <mroman> no matter if SPTR would point to a non-zero thingy
12:37:57 <mroman> it should compare the A value with the B value
12:38:09 <mroman> whereas A is immediate zero and B is indirect to the b-field of SPTR
12:38:20 <mroman> that's at least my understanding of what It *should* do
12:44:52 <mroman> this is really stressing me out :(
12:47:42 -!- tromp has joined.
12:48:08 -!- tromp has quit (Remote host closed the connection).
12:50:24 <mroman> "proceeds with the A-value set to the B-number of the A-instruction"
12:51:00 <mroman> which hopefully is zero for #0
12:52:28 <mroman> "and the B-value set to the B-number of the B-instruction"
12:52:55 <fizzie> If you have XXX #0, YYY, then the B-number of the A-instruction is probably YYY.
12:54:11 <mroman> I thought that's just for XXX FOO, AAA; FOO DAT ZZZZ, YYYY;
12:54:23 <mroman> i.e it reads YYYY from FOO
12:54:28 <mroman> but #0 is an immediate value
12:54:37 <mroman> not a pointer to an instruction
12:56:17 <mroman> have I mixed up SNE with SEQ?
12:59:12 <fizzie> #0 is just "this field is zero, and the addressing mode is immediate", AFAIK.
12:59:31 -!- Melvar` has joined.
12:59:35 <fizzie> And "addressing mode is immediate" means the source/destination instruction is the current instruction.
13:00:39 <fizzie> But if you write something like MOV.BA #1234, FOO the value 1234 does not have much significance, except just being in that field. It'll still move the value (FOO) from the B-field of that instruction to the B-field of FOO.
13:01:11 <fizzie> Er, I mean, to the A-field of FOO.
13:02:15 -!- Melvar has quit (Ping timeout: 252 seconds).
13:02:31 <mroman> fizzie: ADD.AB overwrites both fields
13:02:41 -!- idris-bot has quit (Ping timeout: 264 seconds).
13:03:09 <fizzie> I thought that was ADD.F.
13:04:01 <mroman> .AB "write to B-fields"
13:04:08 <mroman> then what messes up my A fields :(
13:04:18 <fizzie> http://www.koth.org/info/icws94.html ".AB Instructions use the A-numbers of the A-instructions and the B-numbers of the B-instructions and write B-numbers."
13:06:26 -!- KingOfKarlsruhe has quit (Quit: Leaving.).
13:07:32 <mroman> There's a trick for bounds checking I guess?
13:07:48 <mroman> The address 0 is the start of my program?
13:07:57 -!- Melvar` has changed nick to Melvar.
13:08:00 <mroman> so If I know my program is 15 instructions long
13:08:09 <mroman> I'd bomb myself if the pointer is smaller 15
13:08:25 -!- idris-bot has joined.
13:09:04 <fizzie> All addresses are relative, so 0 is only the start of your program when it's in the first instruction of your program.
13:16:06 <fizzie> And if I recall correctly, even in something like MOV #0, @1; DAT #0, #-1 the number 1 is first relative to that MOV instruction (so points to the DAT), and the -1 is relative to *that* instruction, and so points back to the MOV.
13:22:57 -!- ais523 has joined.
13:23:51 -!- ter2 has joined.
13:23:51 -!- tertu has quit (Disconnected by services).
13:28:34 -!- Patashu_ has quit (Ping timeout: 240 seconds).
13:36:34 -!- idris-bot has quit (Ping timeout: 276 seconds).
13:37:13 -!- Melvar has quit (Ping timeout: 276 seconds).
13:37:58 -!- ter2 has quit (Ping timeout: 240 seconds).
13:44:26 -!- nooodl_ has joined.
13:51:33 -!- Melvar has joined.
13:59:08 -!- ter2 has joined.
14:03:21 <mroman> impomatic: http://codepad.org/ZS7TGOPC <- that's probably the best I can come up with
14:03:25 <mroman> but it sucks like hell :)
14:03:39 <mroman> it's too slow obviously
14:28:26 -!- shikhout has changed nick to shikhin.
14:30:56 <HackEgo> [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=39608&oldid=39604 * Oerjan * (+0) /* Non-alphabetic */ as I just said...
14:41:44 -!- password2 has quit (Ping timeout: 258 seconds).
14:48:31 <HackEgo> [wiki] [[Special:Log/newusers]] create * Sandbender * New user account
14:49:55 -!- ais523 has quit.
14:52:22 -!- FreeFull has joined.
14:53:55 <HackEgo> [wiki] [[Brainfuck implementations]] http://esolangs.org/w/index.php?diff=39609&oldid=39337 * Sandbender * (+178) Added link for BFCPU
14:57:54 -!- {hk3380} has joined.
14:58:01 -!- Cyragia has joined.
15:02:36 -!- MindlessDrone has joined.
15:04:50 -!- edwardk has quit (Quit: Computer has gone to sleep.).
15:05:41 -!- jconn has quit (Ping timeout: 264 seconds).
15:11:07 -!- shikhin has quit (Remote host closed the connection).
15:15:32 <mroman> getAllElementsOccuringExactlyNTimes
15:21:56 -!- drdanmaku has joined.
15:38:19 -!- password2 has joined.
15:39:10 -!- password2 has quit (Max SendQ exceeded).
15:39:59 -!- password2 has joined.
15:40:32 -!- Bike has joined.
15:42:20 -!- password2 has quit (Max SendQ exceeded).
15:44:26 -!- MDream has joined.
15:44:27 -!- oerjan has quit (Quit: leaving).
15:45:52 -!- MDream has changed nick to MDude.
15:48:52 <MDude> Clearly I should make the worst possible combination of shoices for that survey.
15:51:05 <nortti> especially ones that cannot be fitted toget, for example left-infinte tape and going right wrapping to leftmost cell
15:51:38 <Bike> can't, you say? how uncreative
15:51:56 <MDude> That could be even better than left-infinite but crahsing when too far to the right.
15:53:26 <nortti> actually, is there some mathematics that would let one do stuff like "last element of infinite list"
15:54:02 <Bike> not with the ways infinities are usually defined
15:54:20 <Bike> you could have going right wrap to the negative \omega'th cell or something, though
15:55:37 -!- ter2 has quit (Ping timeout: 265 seconds).
15:56:01 <MDude> You could just emulate it being an infinite distance away by making it a saparate list, with zero being defined at infinitely far to the right?
15:56:34 <Bike> that's pretty much how it works out with surreals, yeah.
15:56:57 <Bike> it even goes both ways, you can have \omega - 1 and so on.
15:57:25 <MDude> I should learn more classes of numbers.
15:57:51 <MDude> Or mroe about them, anyway.
15:57:55 -!- edwardk has joined.
16:01:11 -!- ter2 has joined.
16:02:07 -!- password2 has joined.
16:04:49 <mroman> you could have < on cell 0 wrap to cell infinity
16:05:24 <mroman> which means you just keep a hold of two lists
16:05:34 <mroman> one that expands to the right and one that expands to the left
16:05:50 <mroman> since there's no way < on the cell infinity can every reach any other cell
16:06:12 <mroman> so essentially that behaves the same way like expanding the tap to the left I think
16:08:02 -!- {hk3380} has quit (Ping timeout: 255 seconds).
16:08:09 <Taneb> Anyone know what I had planned for the 12th of June?
16:08:44 <Bike> invasion of basque country
16:08:56 <Taneb> Unlikely, that's far away
16:09:04 <Taneb> Probably something in York
16:10:10 -!- edwardk has quit (Read error: Connection reset by peer).
16:10:13 <zzo38> Do you know how to invent type system based on epistemic logic?
16:10:23 <Taneb> I can't even manage a schedule
16:11:31 -!- edwardk has joined.
16:11:55 -!- slereah_ has quit (Quit: Leaving).
16:13:44 <Bike> doxastic logic doesn't even define any relations on its modal operator, does it
16:13:49 <mroman> Taneb: Sitting at the docks, feeding ducks, throwing rocks and hoping for luck?
16:14:47 <Taneb> mroman, York's pretty far inland, although it does have more than its fair share of ducks
16:15:05 <Taneb> My university is apparently the university with the highest duck:student ratio in the EU
16:16:01 <HackEgo> [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=39610&oldid=39607 * Zzo38 * (+144) +[[Gentzen]]
16:16:16 -!- edwardk has quit (Read error: Connection reset by peer).
16:16:37 <Bike> counting ducks is related to martin-lof which is related to logics good job
16:17:47 <Taneb> http://duckdensity.org.uk/uni_info?uni_ID=york
16:18:05 <Taneb> There is a better source somewhere
16:18:13 <Taneb> Financial Times University Guide or something
16:20:05 <Bike> duckdensity dot org dot yuu key
16:20:25 <Taneb> https://en.wikipedia.org/wiki/PUSH_(university_guide)#Trivia
16:24:34 -!- MoALTz has joined.
16:26:04 -!- sebbu has quit (Ping timeout: 265 seconds).
16:26:45 <zzo38> Many of the built-in rules of Gentzen esolang are based on sequent calculus, so you may be able to experiment with type systems using other modal logic and other things added, by extending sequent calculus and extending the rules of Gentzen esolang as such.
16:27:51 <HackEgo> [wiki] [[Talk:Rail]] http://esolangs.org/w/index.php?diff=39611&oldid=39393 * GermanyBoy * (+646) /* Lambda? */
16:30:39 <HackEgo> [wiki] [[Talk:Rail]] M http://esolangs.org/w/index.php?diff=39612&oldid=39611 * GermanyBoy * (-57) /* Lambda? */
16:31:50 <zzo38> (I have already put the K and N rules of modal logic on)
16:37:56 -!- realz has quit (Read error: Connection reset by peer).
16:39:45 -!- realzies has joined.
16:41:01 -!- conehead has joined.
16:42:11 -!- sebbu has joined.
16:42:29 <zzo38> Do you like a Washizu mahjong game? I like this kind.
16:42:51 -!- sebbu has quit (Changing host).
16:42:51 -!- sebbu has joined.
16:42:52 <zzo38> Also, I can make houtei a lot in a Washizu game.
16:44:33 <zzo38> (Sometimes, that is my only yaku.)
16:45:08 <myname> i think the last change is pretty amusing
16:45:23 <kmc> zzo38: what do you think of epistemic logic?
16:45:40 <zzo38> kmc: I looked at it, but unfortunately I don't know
16:59:05 <zzo38> Can you use bitcoin for payment even if you don't have any bitcoins or bitcoin client? (For example, go pay someone in cash and tell them address of whoever you have to pay, and the message to post with it.) Can you also receive payment with bitcoin in similar way?
17:00:00 <myname> that would imply there are people who would actually give their bitcoins away
17:01:13 <zzo38> But it is in exchange for money
17:01:25 <zzo38> And for product/services you are purchasing.
17:02:46 <myname> but they may be worth ten times what you paid in the near future!!!
17:03:33 -!- edwardk has joined.
17:03:50 <myname> okay, tbh: i don't know, maybe there is something like that, but i wouldn't count on it
17:04:37 <myname> you have to be enthusiastic enough to keep spreading but not too enthusiastic to gther as much as possible for yourself
17:04:55 <myname> don't know how many bitcoin users fit in there
17:06:38 -!- atehwa has quit (Ping timeout: 240 seconds).
17:07:32 -!- atehwa has joined.
17:10:11 <zzo38> Can you figure out the session 52 of Dungeons&Dragons game before it is all being written?
17:10:17 <zzo38> Can you guess it please?
17:11:57 <zzo38> Do you agree with me that, SQL stored procedures are worthless and triggers (if they are allowed on views as well) is much better?
17:12:12 <Taneb> I'm afraid I haven't been following it.
17:12:15 -!- password2 has quit (Ping timeout: 240 seconds).
17:12:49 <zzo38> Taneb: HackEgo has a link. I am currently typing it so part of session 52 is available at this time, but the compiled version is only up to session 51
17:12:51 <MDude> I know you can buy bitcoins at exchanges.
17:13:13 <Taneb> I should figure out what's going to happen next in the game I'm playing
17:13:19 <MDude> I wouldn't think it'd be hard to set up something that accepts payments and automatically sends them to an adress.
17:13:21 <Taneb> And then have a session
17:13:22 <zzo38> Taneb: What already happened?
17:13:23 <Bike> spoons. all over
17:13:39 <zzo38> MDude: I would want it to be accepting payment in cash, though
17:13:49 <Taneb> zzo38, my character (a pacifist) ended up with a magical tattoo on his chest that the Platinum Empire was going to use as a weapon.
17:14:02 <MDude> I was thinking a website at first, but if you want cash, it could be like a vending machine.
17:14:11 <zzo38> Taneb: If your chest makes you sin, cut it off.
17:14:20 <myname> oh, playing a pacifist may be funny
17:14:23 <Taneb> One of the party was from the Platinum Empire, and was instructed to take it back
17:14:37 <Taneb> Long story short, he and my left arm teleported away
17:14:52 <Taneb> (So now my character's harmless AND armless, heh)
17:15:18 <Taneb> And now the remainder of the party (other than a vampire who ran away) and two new guys made it to the capital of the dwarf kingdom
17:15:25 <Taneb> And me and one of the new people have been arrested.
17:16:04 <myname> Taneb: are you trying to make your party stop if they harm others?
17:16:06 <Taneb> Presumably because the Platinum Empire put a bounty on my head
17:16:22 <Taneb> myname, nah, I'm not a conscientious objector
17:16:42 <Taneb> I just lose all my holy powers if I harm any sapient being
17:16:54 <myname> so it's like "kill whoever you want, i won't do anything"?
17:17:12 <Taneb> Nah, it's like "kill whoever you want, I won't be happy but I might lend a hand"
17:17:34 <Taneb> I just can't directly harm sapient beings
17:18:03 <Taneb> But I can boost and heal my allies
17:18:07 <myname> but your sword might accidentally fall through the eye of one?
17:18:14 <Taneb> I don't have a sword.
17:18:30 <myname> you should've, it could be hillarious
17:18:37 <MDude> I'd think the intent would be a bit more important.
17:18:53 <zzo38> In my game is different, there are some creature I won't want to beat, and won't want to help others to do so, but, other character can do what they might want and I may or may not object, and furthermore my character is not particularly good at combat but can do it somewhat, when such a thing would help to do!!!
17:19:02 <MDude> Like if you sneeze and that causes you to lsoe balance and land on someone, that's not being no-pacifist.
17:19:26 <Taneb> The magical tattoo on my chest has fired once. I don't control it.
17:19:50 <zzo38> I have a feat "favored mercy (aberration)" but it isn't often in use.
17:20:00 <zzo38> Taneb: Then remove the tattoo.
17:20:12 <zzo38> Use knife to cut off the skin if necessary.
17:20:34 <MDude> Invent skin transplants so you can patch up the hole with skin from our butt.
17:20:37 <Taneb> We're on a quest to not let the Platinum Empire get hold of it
17:20:38 <zzo38> myname: I won't expect that to work.
17:21:06 <zzo38> Taneb: If you cut it into enough pieces, then perhaps they don't hold of it.
17:21:18 <myname> zzo38: if that's the case, i'd expect every magical tattoo to be some sort of filled circle, because it would be much easier to make
17:21:19 <MDude> Once it's removed, it'll be easier to hidee.
17:21:33 <Taneb> zzo38, that feels too easy story-wise and my character would object
17:21:54 <MDude> Since it's no longer stuck to any one particular body.
17:21:55 <Taneb> MDude, it's also easier to lose
17:22:02 <zzo38> Taneb: O, OK, if your character object then don't do it like that
17:22:21 <myname> kill your character :p
17:22:27 <Taneb> We were going to find some mages who said that they would be able to destroy it but they were all killed
17:22:45 <Taneb> And now we're on the run but also trying to bring down one of the major dwarven banks?
17:22:52 <MDude> Wear something that makes you always hunched over, so the tattoo always points at the ground.
17:23:01 <myname> okay, while we are at it: anyone funny ideas of what to play in shadowrun?
17:23:03 <Taneb> Because one of the party owes them a lot of money
17:23:21 <Taneb> But it seems like the dwarfish nobility beat us to it
17:24:04 <MDude> Someone who thinks the Shadowrun is some kind of event like the running of the bulls, and wants to participate in it.
17:24:14 <Taneb> So now step 1 is reunite the party (we're all on our own and two of us have been arrested)
17:26:24 <MDude> A pixie that rides around in a dwarf-sized mech.
17:26:28 <zzo38> During session 53, maybe I will have to make up something like a Morse-code
17:29:01 <zzo38> Eventually I have to reach one place in Calimshan, and request a Cuban cigar. I have absolutely no use for a Cuban cigar, but apparently it is some kind of password for entering a secret church (it is secret because most people in Calimshan hate it)
17:30:58 <MDude> Do they also hate smoking?
17:31:37 <zzo38> But the place I am requesting it from isn't a store that sells cigars anyways
17:31:58 <zzo38> So it is unlikely that someone would go to ask them for one
17:33:01 <zzo38> With a sufficiently fancy astrolabe with both straight and curved parts, can you calculate cosines with it?
17:34:59 <zzo38> I do also have a holy symbol for the church I am intending to enter, so that might help too
17:35:57 <MDude> I'd think you'd just need something like a scotch yoke.
17:36:08 <zzo38> What is a scotch yoke?
17:36:17 <MDude> http://en.wikipedia.org/wiki/Scotch_yoke
17:37:07 <MDude> For cosine instead of sine, you jsut add 90 degrees to the input, right?
17:39:02 <zzo38> My character does own a astrolabe
17:42:17 -!- jconn has joined.
17:43:55 <zzo38> And, also owns a shovel, and some nails, and a few other things.
17:47:08 <zzo38> Astrolabe has actually become useful in a few ways already; the DM expected that it is completely useless, at first!
17:48:31 <MDude> When I get to building robots, I should remember to make one with a built-in astrolabe.
17:51:55 <MDude> That's just a thought I was remidned of from talking about astrolabes.
17:52:45 <zzo38> I want to have some SQL extension that you can insert into a virtual table to listen for connections, make connections, accept connections, and to query it for listing them too. One column can tell the SQL statements which are run during such events.
18:00:34 <impomatic> mroman: there are couple of places where your code can be improved if you need any suggestions :-)
18:01:30 <zzo38> Nobody else ever answer my question about SQL making internet connection, in a proper way, before.
18:06:14 <mroman> impomatic: I think I'm open for suggestions :D
18:08:58 <mroman> I think I could scan two locations with the SEQ
18:09:05 <mroman> assuming one location is a DAT #0, #0
18:09:17 <impomatic> mroman: in the clear, you need 3 MOV s instead of MOV.A. That'll increase the score by 20%
18:11:33 <mroman> it should do roughly they same thing?
18:11:46 <mroman> or does MOV.A not copy the instruction?
18:11:56 -!- shikhin has joined.
18:13:28 <mroman> impomatic: If noticed that a lot of programs survive a mem clear
18:13:56 <impomatic> MOV.A only copies the a-field. MOV.I copies the entire instruction. (MOV usually defaults to MOV.I)
18:14:53 <impomatic> mroman: make the mem clear wipe memory multiple times (currently it clears ones, the suicides)
18:17:26 -!- MindlessDrone has quit (Quit: MindlessDrone).
18:17:32 <impomatic> mroman: You can do that by moving SPTR2 to the top and changing QBMP to QBMP DAT #0, #25. When the wipe is almost finished, QBMP will then overwrite SPTR2, starting the clear again at +25 (just after your warrior)
18:18:22 <kmc> Cuba exists in zzo38's D&D-world?
18:19:38 <Bike> maybe cuban cigars are from cube
18:20:18 <zzo38> kmc: Well, they said about Cuban cigars, at least.
18:20:53 <impomatic> mroman: 3rd improvement, move the SPLB line to just above the CLEAR line. This will split off lots of processes into the clear, making it more resistant to being hit.
18:22:10 <MDude> Interestingly, the Shadowrun Wikipedia entry doesn't even mention D&D.
18:22:55 -!- lambdabot has quit (Quit: brb).
18:27:24 -!- lambdabot has joined.
18:33:44 <MDude> [13:22] <myname> okay, while we are at it: anyone funny ideas of what to play in shadowrun?
18:34:08 <zzo38> Did they put SQLite in HackEgo yet?
18:35:32 <MDude> Oh, I confused zzo38 talking about D&D with myname talking about Shadowrun.
18:41:19 <mroman> impomatic: @FOO+3 isn't working right?
18:42:11 <mroman> i.e. it doesn't load the b'value and then adds 3
18:43:57 <impomatic> It's like in assembly language. @FOO+3 returns the value at the address pointed to by (FOO+3)
18:46:40 <HackEgo> danddreclist 52: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex
18:50:08 <impomatic> mroman: http://codepad.org/pu1NrAEP - will put DAT 234 at X, because FOO+3 points to line 8 and line 8 contains -1, which points to line 7 (DAT 234)
18:51:56 -!- shikhin has quit (Quit: leaving).
18:53:33 -!- not^v has joined.
18:53:40 -!- not^v has quit (Read error: Connection reset by peer).
18:54:00 -!- zzo38 has quit (Remote host closed the connection).
18:59:21 -!- {hk3380} has joined.
19:25:37 -!- ggherdov has quit (Ping timeout: 276 seconds).
19:37:18 -!- Cyragia has quit (Ping timeout: 240 seconds).
19:41:59 -!- ggherdov has joined.
19:48:45 <nortti> how many of you can pronounce "Ph'nglui mglw'nafh Cthulhu R'lyeh wgah'nagl fhtagn"
19:49:42 <mroman> I just pronounce it swissy
19:50:20 <Slereah> Because Lovecraft didn't give a shit
19:50:38 <Slereah> He didn't even pronounce the crazy names consistently himself
19:51:01 <nortti> well, I can pronounce that
19:51:25 <Slereah> Really from what I can gather
19:51:33 <Slereah> Lovecraft didn't really care much for the mythos
19:51:49 <Slereah> The point was mostly SPOOKY THINGS
19:52:20 <nortti> although necronomicon was detailed pretty well, to a point where people thought it was real
19:52:40 <Slereah> I have a book of non-fiction texts by Lovecraft
19:52:52 <Slereah> It's pretty funny because he is like the least superstitious guy ever
19:53:07 <Slereah> So seeing people thinking the mythos is real is quite amusing
19:53:29 <nortti> what is the name of the book?
19:53:43 <Slereah> Fuck, I left it at my parent's house
19:54:19 <Slereah> http://www.amazon.com/Collected-Essays-H-P-Lovecraft/dp/0974878987/ref=sr_1_2?s=books&ie=UTF8&qid=1400615651&sr=1-2&keywords=Lovecraft+science
19:54:27 * MDude picks up a book called "Fuck, I Left it at my Parent's House".
19:54:42 <Slereah> Mostly texts of when he wrote for an astronomy column in a local newspaper
20:00:15 -!- {hk3380} has quit (Ping timeout: 240 seconds).
20:01:04 -!- mhi^ has quit (Quit: Lost terminal).
20:38:45 -!- Bike has quit (Ping timeout: 252 seconds).
20:40:39 -!- Bike has joined.
20:45:54 -!- mhi^ has joined.
20:58:10 -!- {hk3380} has joined.
21:03:01 -!- Patashu has joined.
21:03:55 -!- drdanmaku has quit (Ping timeout: 240 seconds).
21:05:14 -!- drdanmaku has joined.
21:14:33 -!- nooodl__ has joined.
21:18:19 -!- nooodl_ has quit (Ping timeout: 240 seconds).
21:22:11 <kmc> I edited 2048 to get rid of the zugzwang
21:22:20 <kmc> but I think this just trades frustration for mind-numbing tedium
21:23:17 <shachaf> Does that mean adding a no-op move?
21:23:51 <kmc> it will drop a new tile but it won't move any of the existing ones
21:24:29 <shachaf> Does it make the game easy to always win?
21:24:36 <kmc> mroman: no, it's just a different game
21:24:47 <kmc> shachaf: I don't always win, but I think it's a lot easier yeah
21:25:11 <kmc> my first score playing this variant was about as good as my best ever high score on the official version after far too many hours of play
21:25:36 <kmc> my friend made one that's 5 × 5 and only drops 2's
21:25:42 <kmc> that one is really fucking easy
21:26:05 -!- Patashu has quit (Ping timeout: 264 seconds).
21:26:35 <shachaf> http://www.csie.ntu.edu.tw/~b01902112/9007199254740992/
21:27:14 <kmc> I like that it has a "move randomly "feature
21:28:12 <kmc> `run python -c 'print 2**69 < 900719925474099265052 < 2**70'
21:28:16 <kmc> what's with that
21:28:39 -!- Phantom_Hoover has joined.
21:29:33 <shachaf> where did those last 5 digits come from
21:29:47 <shachaf> `run python -c 'print 9007199254740992 == 2**53'
21:30:38 <kmc> i'm so confused now
21:30:46 <kmc> i probably copied my high score too or something
21:30:55 <kmc> also why is it 2**53... oh
21:37:19 <kmc> but you can represent some integers much larger than that in a 64-bit float
21:37:24 <kmc> in particular, you can represent powers of two
21:40:18 <shachaf> There are also other possible representations of tile scores in this game.
21:40:25 <shachaf> I feel like this discussion has been had here before.
21:40:28 <kmc> such as logarithmic?
21:40:30 <kmc> maybe, but not by me
21:40:33 <shachaf> http://tunes.org/~nef//logs/esoteric/14.03.17
21:40:38 <shachaf> Conveniently at the top of the IRC logs.
21:41:15 <kmc> I wonder what you said just before midnight that I'm so much in agreement with!
21:45:27 -!- edwardk has quit (Ping timeout: 240 seconds).
21:46:03 <kmc> oh, it was a link to 9007199254740992
21:54:15 -!- Bike has quit (Ping timeout: 265 seconds).
21:56:04 -!- Bike has joined.
21:57:50 <fizzie> kmc: You were, like, here (or I guess maybe just left) when the 2**53 thing was discussed the other month: http://codu.org/logs/log/_esoteric/2014-03-17#073648fizzie
21:59:21 <fizzie> And I was, like, here when the logs were linked-to, five lines back.
22:07:12 -!- nooodl__ has changed nick to nooodl.
22:07:48 <kmc> unrelatedly, http://rhodesmill.org/brandon/2012/one-sentence-per-line/ is pretty great
22:16:04 -!- edwardk has joined.
22:24:43 -!- edwardk has quit (Ping timeout: 240 seconds).
22:26:55 -!- oerjan has joined.
22:40:13 -!- mhi^ has quit (Quit: Lost terminal).
22:41:23 <oerjan> hm sudden minor bitcoin boom
22:42:09 -!- syndrome has changed nick to synd.
22:42:12 -!- synd has changed nick to syndrome.
22:42:40 <Taneb> Help I'm thinking about type algebra gain
22:54:37 <MDude> Think about algebra loss instead?
22:54:49 <Taneb> I might just go to sleep
23:03:54 -!- nooodl has quit (Ping timeout: 240 seconds).
23:03:54 -!- edwardk has joined.
23:10:11 -!- Phantom_Hoover has quit (Quit: Leaving).
23:20:09 -!- Sgeo has joined.
23:28:58 -!- boily has joined.
23:29:49 <Sgeo> Are physical computer finite state machines? And thus, if I understand properly, pushdown automations are not physically realizable?
23:30:40 -!- impomatic has quit (Quit: http://corewar.co.uk).
23:31:43 <boily> fungot: do you second?
23:31:44 <fungot> boily: my dear hooker, i can think :) is in iris. i want only to show by direct evidence, that this greater sterility :)/, in carthamus.
23:32:01 <Bike> gases aren't ideal, either, but it's still a nicer approximation than the hamiltonian would be
23:32:02 <boily> fungot: my body is not for sale, you filthy sapient bot!
23:32:03 <fungot> boily: pot 4: 17 1? 8:: 11 4? 8: 63. pot 3: 83: 80 4? 8:: 22.
23:32:23 <boily> fungot: and don't tell me the odds.
23:32:24 <fungot> boily: there seems to be advantageous to them for gliding through/ air. in one case, and that/ species which were most promising." even peculiarities in blushing seem to be fully satisfied. i remember when i grew hothouse orchids i was cautioned not to wet their leaves; but i never had an opportunity, and it has done you no fnord farewell.
23:32:40 -!- tromp has joined.
23:37:14 <fungot> Available: agora alice c64 ct darwin* discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
23:37:14 <Sgeo> "Huh. You seem awfully eager to alloccate internal nodes. Do you think they grow on trees?'
23:37:34 <Sgeo> Klaun would be an awesome style for fungot
23:37:34 <fungot> Sgeo: forgive if you can, do not at any period :) life. he says " beechey's :( voyage," it would have been/ kindest friend to me that my precious speculation was one :)/ commonest kinds,/ massive runt,/ barb,/ breadth :)/ forehead. these muscles, when thus treated,/ results are given together. on both sides dipping to opposite points at an angle :) forty degrees; whilst, in/ case :) apparently continuous growth, as in a map. i
23:39:36 -!- metasepia has joined.
23:39:54 <boily> how did I dare to expect information from the cuttlefish...
23:40:18 <Sgeo> Google Bonobo Conspiracy
23:41:08 <boily> not gonna fall for it again.
23:41:16 <boily> (well. at least for the next five minutes.)
23:42:49 <metasepia> ENVA 202250Z VRB01KT CAVOK 13/09 Q1014 RMK WIND 670FT 30002KT
23:43:10 <metasepia> CYUL 202300Z 22008KT 30SM FEW090 BKN240 22/03 A2997 RMK AC1CI4 SLP150 DENSITY ALT 800FT
23:43:27 <boily> na na ni na nèreuh ♪
23:43:40 <oerjan> well, i suppose you still have sunlight right
23:43:55 <Sgeo> http://www.wolframalpha.com/input/?i=pi%5E%28%28arctan+1%2F2%29+-+%28sin+%28pi%2F5%29%29%29
23:44:34 -!- tromp has quit (Remote host closed the connection).
23:44:48 <boily> Sgeo: hm? jenny in the decimal expansion?
23:45:30 <Sgeo> http://i.imgur.com/DrhmqdL.png
23:47:31 <boily> (previous OKAY uttered in a non-oerjan voice.)
23:53:29 <kmc> Sgeo: cute