00:07:16 -!- yorick has quit (Read error: Connection reset by peer). 00:07:48 I did my first substantial hacking on rustc today 00:08:11 implemented support for macros that expand to patterns 00:10:10 ooh 00:10:34 -!- tromp has quit (Remote host closed the connection). 00:20:02 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 (solving the real thing is so much faster!) 00:21:01 spoilers :< 00:21:34 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 00:21:36 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 kmc: I meant well, I was trying to save you some pain. 00:23:27 "I meant well" is not a very good tombstone line 00:24:05 (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 oerjan: It'd be "(s)he meant well", hth. 00:25:57 that doesn't work for the "I told you so" of hypochondriac fame 00:26:16 "We told him(her) so" ... ow. 00:26:42 INCORRECT 00:26:49 Anyway, I'm in a strange mood. 00:26:57 Please don't take me seriously. 00:27:04 -!- tertu has joined. 00:27:41 ok ay 00:32:48 [wiki] [[TOGA computer]] http://esolangs.org/w/index.php?diff=39598&oldid=36621 * John Misciagno * (+0) 00:38:55 [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 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 You can't rotate the inner thingies 01:08:22 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 > 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:09:32 mueval-core: Time limit exceeded 01:09:41 bah 01:10:11 -!- hk3380 has quit (Ping timeout: 252 seconds). 01:10:47 Sgeo: um if we mean the middle thirds i rotated those just fine... 01:11:07 I meant you're not supposed to be able to on a real cube 01:11:20 (I think?) 01:11:26 yeah you can. 01:11:41 -!- tertu has joined. 01:11:41 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 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 ok, I guess it's relevant for move-counting. 01:23:37 -!- 77CAAKECD has joined. 01:23:38 -!- realzies has joined. 01:28:30 oerjan: no fair building exponentially large types 01:29:15 int-e: i just wanted to give you a little stress testing hth 01:29:52 with the article being on top of /r/haskell you'd better be prepared. 01:29:59 it caused me little stress. so it must have worked. 01:30:09 good, good 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 [wiki] [[Bukkake]] N http://esolangs.org/w/index.php?oldid=39600 * 99.16.65.43 * (+959) Created page barebone 01:35:11 c.c 01:41:44 my delete finger is itching. 01:42:30 unfortunately it appears to be an actual language 01:43:02 [wiki] [[Bukkake]] http://esolangs.org/w/index.php?diff=39601&oldid=39600 * 99.16.65.43 * (+639) Added examples 01:43:31 > map ord "8(x" 01:43:32 [56,40,120] 01:43:34 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 (this will sound great outside of an esolang context) 01:44:59 yeah, it isn't. 01:45:16 there's a threshold for which I'd delete an esolang for its name, but this is far below it. 01:45:20 [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 wait why is ~ not before its coprefixes 01:46:35 coprefix is a good word 01:47:23 > ord "-E" 01:47:24 Couldn't match expected type ‘GHC.Types.Char’ 01:47:25 with actual type ‘[GHC.Types.Char]’ 01:47:29 > map ord "-E" 01:47:30 [45,69] 01:47:46 [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 oerjan: btw, don't tempt me to name languages silly unicode edge-cases just to mess up your ASCII ordering. 01:48:59 elliott: good, i won't. 01:49:31 oerjan: you may already have. 01:49:52 it seems my ridiculously complicated vim :sort command to order that section was broken :( 01:51:33 I seem to be addicted to Sex Yeah 01:51:42 (it was :.,$sort i /[[][[][:]\?\([^|]*[|]\)\?[ ]\?\([^>]*>\)\?/ 01:51:43 (the song) 01:51:44 ) 01:51:58 *MWAHAHAHA* i bracketed Sgeo 01:53:00 coprefix is a good word <-- why do you think i invented it hth 01:53:25 http://www.unicode.org/reports/tr10/#Canonical_Equivalence_Table man this owns 01:54:24 horny letters 01:55:56 -!- tertu has quit (Ping timeout: 255 seconds). 01:58:47 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 how much torment do you want when watching twh 02:00:02 * int-e is confused by the "Eternal" 02:00:40 it means never-ending hth 02:00:44 well, what, would you prefer ternal torment 02:01:09 oerjan: yes but it's not part of the game's name 02:01:30 ic 02:01:35 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 hm, the most prominent label language on this bag of jasmine rice is Hmong 02:48:44 well it's a hmongous language 02:51:42 esolangs.org/wiki/Hmong 02:56:34 i don't even know what hmong looks like >_< 02:57:32 It’s a bit like Hmu. 02:57:43 but hmore so 02:57:59 Oh hmy 02:59:08 oh it's some language family i've never heard oft 03:02:03 hmongcoin 03:02:42 "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 https://www.kickstarter.com/projects/612530753/gitchain 03:03:08 yeah yeah, and Wu and Scots aren't languages 03:03:20 oh by the way OpenWorm totally got funded 03:03:28 get ready for nematodes all over your computers nerds 03:05:47 "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 Zongdi Hmong is a hella rad name 03:08:40 "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 i didn't know vietnamese and cambodian were related. 03:09:51 oh, they're both austroasiatic. 03:10:07 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=39604&oldid=39603 * Icepy * (+12) 03:10:07 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 I'm disappointed that Bukkake is another boring brainfuck derivative 03:41:38 -!- Bike has quit (Ping timeout: 258 seconds). 03:43:14 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:46:40 @let 42=23 03:46:43 Defined. 03:48:29 > 42 03:48:30 42 03:48:35 this is some basic bullshit. 03:48:59 Sgeo: what 03:49:54 Bonobo Conspiracy #421 03:57:01 available as a convenient 15 MB .zip file 03:58:19 I can't really link to the individual comics... 04:00:03 I think, when it used to be more of a webcomic, they had annotations. They don't anymore 04:00:04 :)( 04:00:06 :( 04:01:02 (:) 04:05:20 -!- tromp has quit (Remote host closed the connection). 04:08:55 -!- tromp has joined. 04:13:35 ))))))))) 04:13:43 -!- edwardk has joined. 04:17:57 > text $ unlines $ replicate 3 $ replicate 72 '(' 04:17:59 (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((( 04:17:59 (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((( 04:17:59 (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((( 04:23:19 So, is that thing I mentioned a thing that would be an interesting result? 04:24:24 what, the webcomic? 04:27:21 -!- Bike_ has joined. 04:28:40 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:08 oh 04:29:13 bin packing is NP hard 04:29:23 so a reduction to linear programming would imply P=NP 04:29:27 ah 04:29:58 hey that's a pretty good result!! 04:30:26 http://i.imgur.com/iq4QXSY.png 04:31:25 -!- edwardk has quit (Quit: Computer has gone to sleep.). 04:33:16 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 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 I have play Dungeons&Dragons game today 05:45:07 -!- conehead has quit (Read error: Connection reset by peer). 06:10:59 UGH 06:11:07 A Chrome extension seems to have been spying on me 06:12:33 "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:12:37 :( 06:14:07 Change HTTP Request Header 06:19:21 -!- MoALTz_ has quit (Quit: Leaving). 06:20:07 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 [wiki] [[Forobj]] http://esolangs.org/w/index.php?diff=39605&oldid=39543 * GermanyBoy * (+273) /* Examples */ 08:00:43 -!- KingOfKarlsruhe has joined. 08:01:36 [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=39606&oldid=38583 * GermanyBoy * (+36) /* Forobj */ 08:02:41 [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 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 impomatic: my SLT isn't working :( 11:11:43 -!- lambdacat has joined. 11:12:13 lambdacat: @let newtype Codensity f x = Codensity (forall r. (x -> f r) -> f r) 11:12:14 .L.hs:142:1: 11:12:14 Multiple declarations of ‘Codensity’ 11:12:14 Declared at: .L.hs:140:1 11:12:14 .L.hs:142:1 11:12:14 11:12:26 lambdacat: @undef 11:12:27 Undefined. 11:12:28 lambdacat: @let newtype Codensity f x = Codensity (forall r. (x -> f r) -> f r) 11:12:29 Defined. 11:12:39 lambdacat: @leave 11:12:41 -!- lambdacat has quit (Remote host closed the connection). 11:19:34 -!- Sprocklem has quit (Ping timeout: 240 seconds). 11:20:49 ah. there we go 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 "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 Office pranks seem slightly different at nuclear power plants. 11:43:59 -!- yorick has joined. 11:45:55 I bet the dudes were like 11:46:01 "Man this water is heavy today" 11:46:06 "I can hardly lift my cup" 11:48:15 iirc, heavy water is only ~10% heavier 11:48:28 Yeah 11:48:39 Oxygen makes up most of the mass of water 11:48:43 So it's not too surprising 11:50:07 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:50:36 I prefer warm baths 11:50:58 The worst thing is 11:51:13 Heavy water is toxic on top of being radioactive 11:51:22 It has different chemical properties from water 11:52:27 Well, now, it isn't necessarily radioactive. (Of course if you take it from a nuclear reactor...) 11:52:49 Heavy water is always radioactive! 11:53:01 isn't deuterium stable? 11:53:09 I don't think so 11:53:13 It's no tritium, but 11:53:15 -!- sebbu has joined. 11:53:15 Let's check 11:53:47 -!- sebbu has quit (Changing host). 11:53:47 -!- sebbu has joined. 11:53:48 Hm 11:53:51 It is stable 11:53:58 Nevermind then 11:54:03 It's the tritium you gotta watch out for 11:54:56 Speaking of 11:55:03 I should work on my Quantum Computer Language 11:55:16 So that one day 11:55:21 I may do a quantum brainfuck 11:55:50 The question is, can you make a TC quantum computer in 1D 11:55:56 Or do I have to go 2D at least 11:56:14 1D sure would help 11:57:05 People worry about the radioactivity of depleted uranium, too 11:57:24 my bomb loop is toooooo slow 11:57:33 -!- Phantom_Hoover has joined. 12:02:35 If you throw bombs too close to your own position the scanners are gonna find you pretty fast :( 12:03:21 slereah: implementing something resembling brainfuck with quantum gates? 12:04:07 For instance, yes 12:04:14 But I'm not quite sure if it's doable in 1D 12:04:23 Or if it will have to be quantum befunge stuff 12:05:41 Just don't call it "Quantum brainfuck", because there is one already. 12:05:41 What is the difficulty with a 1D (array of qubits, I assume) 12:06:01 Well I want to simulate a physical machine 12:06:07 Have particles zooming around 12:06:16 fizzie: just make the wiki give you one of the articles at random 12:06:19 Until they encounter a measuring device that collapses the quantum state 12:11:59 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 12:16:46 wtf 12:16:58 -!- Sgeo has quit (Read error: Connection reset by peer). 12:21:21 how the fuck to I compare something indirectly in Redcode? 12:21:26 *do 12:22:38 SNE #0, @SPTR isn't working 12:22:44 it seems to compare with the B-field of SPTR 12:22:56 but I want it to interpret the B-field of SPTR as an address 12:23:07 and check if the B-field of the cell at that address is 0 12:29:10 also shouldnt ADD.B #12, SPTR add 12 to SPTR? 12:29:24 I can't remember how this shit works :( 12:30:20 I think ADD.AB #12, SPTR should do that, but I haven't done any of that stuff in ages. 12:33:03 (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 looks like it's ADD.AB indeed 12:33:30 but the SNE #0, @SPTR is still not doing what I want it to do 12:33:55 -!- oerjan has joined. 12:33:55 I don't know what's up with that, since it sounded like it should do what you wanted. 12:35:49 no. 12:36:00 SNE #0, @SPTR always doesn't skip 12:36:08 there you go being negative again 12:36:18 SNE.B #0, @SPTR always skips 12:36:29 no matter if SPTR would point to a non-zero thingy 12:37:47 but yeah 12:37:57 it should compare the A value with the B value 12:38:09 whereas A is immediate zero and B is indirect to the b-field of SPTR 12:38:20 that's at least my understanding of what It *should* do 12:44:52 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 "proceeds with the A-value set to the B-number of the A-instruction" 12:51:00 which hopefully is zero for #0 12:52:28 "and the B-value set to the B-number of the B-instruction" 12:52:55 If you have XXX #0, YYY, then the B-number of the A-instruction is probably YYY. 12:54:11 I thought that's just for XXX FOO, AAA; FOO DAT ZZZZ, YYYY; 12:54:23 i.e it reads YYYY from FOO 12:54:28 but #0 is an immediate value 12:54:37 not a pointer to an instruction 12:56:10 hm 12:56:17 have I mixed up SNE with SEQ? 12:56:50 wtf 12:57:11 SEQ.B @SPTR, #0 12:57:29 :D 12:57:36 I'm a freaking moron 12:59:12 #0 is just "this field is zero, and the addressing mode is immediate", AFAIK. 12:59:31 -!- Melvar` has joined. 12:59:35 And "addressing mode is immediate" means the source/destination instruction is the current instruction. 13:00:39 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 Er, I mean, to the A-field of FOO. 13:02:15 -!- Melvar has quit (Ping timeout: 252 seconds). 13:02:31 fizzie: ADD.AB overwrites both fields 13:02:35 not just the B-field 13:02:41 -!- idris-bot has quit (Ping timeout: 264 seconds). 13:03:09 I thought that was ADD.F. 13:03:25 (Or MOV.F.) 13:03:57 hm 13:04:01 .AB "write to B-fields" 13:04:08 then what messes up my A fields :( 13:04:18 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:24 hm. 13:07:32 There's a trick for bounds checking I guess? 13:07:41 or hm. 13:07:48 The address 0 is the start of my program? 13:07:57 -!- Melvar` has changed nick to Melvar. 13:08:00 so If I know my program is 15 instructions long 13:08:09 I'd bomb myself if the pointer is smaller 15 13:08:25 -!- idris-bot has joined. 13:08:43 is -1 smaller than 0? 13:09:04 All addresses are relative, so 0 is only the start of your program when it's in the first instruction of your program. 13:13:05 hm 13:16:06 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:20:35 Hm 13:20:37 I am getting 13:20:41 GHOST FILES 13:20:46 Files that I deleted 13:20:53 Like 13:20:56 Entire folder deleted 13:21:02 But if I recreate the folder 13:21:04 Just by name 13:21:08 THEY COME BACK D: 13:21:14 It is annoing 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:47:35 :t msum 13:47:36 MonadPlus m => [m a] -> m a 13:51:33 -!- Melvar has joined. 13:51:40 :t mzero 13:51:41 MonadPlus m => m a 13:59:08 -!- ter2 has joined. 14:03:21 impomatic: http://codepad.org/ZS7TGOPC <- that's probably the best I can come up with 14:03:25 but it sucks like hell :) 14:03:39 it's too slow obviously 14:28:26 -!- shikhout has changed nick to shikhin. 14:30:56 [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 [wiki] [[Special:Log/newusers]] create * Sandbender * New user account 14:49:55 -!- ais523 has quit. 14:52:22 -!- FreeFull has joined. 14:53:55 [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 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 Clearly I should make the worst possible combination of shoices for that survey. 15:51:05 especially ones that cannot be fitted toget, for example left-infinte tape and going right wrapping to leftmost cell 15:51:13 *together 15:51:38 can't, you say? how uncreative 15:51:56 That could be even better than left-infinite but crahsing when too far to the right. 15:53:26 actually, is there some mathematics that would let one do stuff like "last element of infinite list" 15:54:02 not with the ways infinities are usually defined 15:54:20 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 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 that's pretty much how it works out with surreals, yeah. 15:56:57 it even goes both ways, you can have \omega - 1 and so on. 15:57:25 I should learn more classes of numbers. 15:57:51 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 you could have < on cell 0 wrap to cell infinity 16:05:24 which means you just keep a hold of two lists 16:05:34 one that expands to the right and one that expands to the left 16:05:50 since there's no way < on the cell infinity can every reach any other cell 16:05:53 *ever 16:06:12 so essentially that behaves the same way like expanding the tap to the left I think 16:06:16 *tape 16:08:02 -!- {hk3380} has quit (Ping timeout: 255 seconds). 16:08:09 Anyone know what I had planned for the 12th of June? 16:08:44 invasion of basque country 16:08:56 Unlikely, that's far away 16:09:04 Probably something in York 16:10:10 -!- edwardk has quit (Read error: Connection reset by peer). 16:10:13 Do you know how to invent type system based on epistemic logic? 16:10:23 I can't even manage a schedule 16:11:31 -!- edwardk has joined. 16:11:55 -!- slereah_ has quit (Quit: Leaving). 16:13:44 doxastic logic doesn't even define any relations on its modal operator, does it 16:13:49 Taneb: Sitting at the docks, feeding ducks, throwing rocks and hoping for luck? 16:14:47 mroman, York's pretty far inland, although it does have more than its fair share of ducks 16:15:05 My university is apparently the university with the highest duck:student ratio in the EU 16:15:50 src? 16:15:55 CITATION NEEDED 16:15:58 !!! 16:16:01 [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 counting ducks is related to martin-lof which is related to logics good job 16:17:47 http://duckdensity.org.uk/uni_info?uni_ID=york 16:18:05 There is a better source somewhere 16:18:13 Financial Times University Guide or something 16:20:05 duckdensity dot org dot yuu key 16:20:25 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 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 [wiki] [[Talk:Rail]] http://esolangs.org/w/index.php?diff=39611&oldid=39393 * GermanyBoy * (+646) /* Lambda? */ 16:30:39 [wiki] [[Talk:Rail]] M http://esolangs.org/w/index.php?diff=39612&oldid=39611 * GermanyBoy * (-57) /* Lambda? */ 16:31:50 (I have already put the K and N rules of modal logic on) 16:36:22 oh my god an answer 16:37:39 TWO answers 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 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 Also, I can make houtei a lot in a Washizu game. 16:44:33 (Sometimes, that is my only yaku.) 16:45:08 i think the last change is pretty amusing 16:45:23 zzo38: what do you think of epistemic logic? 16:45:40 kmc: I looked at it, but unfortunately I don't know 16:59:05 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 that would imply there are people who would actually give their bitcoins away 17:01:13 But it is in exchange for money 17:01:25 And for product/services you are purchasing. 17:02:46 but they may be worth ten times what you paid in the near future!!! 17:03:33 -!- edwardk has joined. 17:03:50 okay, tbh: i don't know, maybe there is something like that, but i wouldn't count on it 17:04:37 you have to be enthusiastic enough to keep spreading but not too enthusiastic to gther as much as possible for yourself 17:04:55 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 Can you figure out the session 52 of Dungeons&Dragons game before it is all being written? 17:10:17 Can you guess it please? 17:11:47 dumbledore dies 17:11:57 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:01 myname: No 17:12:12 I'm afraid I haven't been following it. 17:12:15 -!- password2 has quit (Ping timeout: 240 seconds). 17:12:49 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 I know you can buy bitcoins at exchanges. 17:13:13 I should figure out what's going to happen next in the game I'm playing 17:13:19 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 And then have a session 17:13:22 Taneb: What already happened? 17:13:23 spoons. all over 17:13:39 MDude: I would want it to be accepting payment in cash, though 17:13:49 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 I was thinking a website at first, but if you want cash, it could be like a vending machine. 17:14:11 Taneb: If your chest makes you sin, cut it off. 17:14:20 oh, playing a pacifist may be funny 17:14:23 One of the party was from the Platinum Empire, and was instructed to take it back 17:14:37 Long story short, he and my left arm teleported away 17:14:52 (So now my character's harmless AND armless, heh) 17:15:18 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 And me and one of the new people have been arrested. 17:16:04 Taneb: are you trying to make your party stop if they harm others? 17:16:06 Presumably because the Platinum Empire put a bounty on my head 17:16:22 myname, nah, I'm not a conscientious objector 17:16:42 I just lose all my holy powers if I harm any sapient being 17:16:54 so it's like "kill whoever you want, i won't do anything"? 17:17:12 Nah, it's like "kill whoever you want, I won't be happy but I might lend a hand" 17:17:25 what 17:17:34 I just can't directly harm sapient beings 17:18:03 But I can boost and heal my allies 17:18:07 but your sword might accidentally fall through the eye of one? 17:18:14 I don't have a sword. 17:18:30 you should've, it could be hillarious 17:18:37 I'd think the intent would be a bit more important. 17:18:53 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 Like if you sneeze and that causes you to lsoe balance and land on someone, that's not being no-pacifist. 17:19:26 The magical tattoo on my chest has fired once. I don't control it. 17:19:50 I have a feat "favored mercy (aberration)" but it isn't often in use. 17:20:00 Taneb: Then remove the tattoo. 17:20:10 zzo38, I can't 17:20:12 Use knife to cut off the skin if necessary. 17:20:18 paint over it 17:20:34 Invent skin transplants so you can patch up the hole with skin from our butt. 17:20:37 We're on a quest to not let the Platinum Empire get hold of it 17:20:37 *your 17:20:38 myname: I won't expect that to work. 17:21:06 Taneb: If you cut it into enough pieces, then perhaps they don't hold of it. 17:21:18 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 Once it's removed, it'll be easier to hidee. 17:21:33 zzo38, that feels too easy story-wise and my character would object 17:21:54 Since it's no longer stuck to any one particular body. 17:21:55 MDude, it's also easier to lose 17:22:02 Taneb: O, OK, if your character object then don't do it like that 17:22:21 kill your character :p 17:22:27 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 And now we're on the run but also trying to bring down one of the major dwarven banks? 17:22:52 Wear something that makes you always hunched over, so the tattoo always points at the ground. 17:23:01 okay, while we are at it: anyone funny ideas of what to play in shadowrun? 17:23:03 Because one of the party owes them a lot of money 17:23:21 But it seems like the dwarfish nobility beat us to it 17:24:04 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 So now step 1 is reunite the party (we're all on our own and two of us have been arrested) 17:26:24 A pixie that rides around in a dwarf-sized mech. 17:26:28 During session 53, maybe I will have to make up something like a Morse-code 17:29:01 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 Do they also hate smoking? 17:31:05 I don't know. 17:31:37 But the place I am requesting it from isn't a store that sells cigars anyways 17:31:58 So it is unlikely that someone would go to ask them for one 17:33:01 With a sufficiently fancy astrolabe with both straight and curved parts, can you calculate cosines with it? 17:34:59 I do also have a holy symbol for the church I am intending to enter, so that might help too 17:35:57 I'd think you'd just need something like a scotch yoke. 17:36:08 What is a scotch yoke? 17:36:17 http://en.wikipedia.org/wiki/Scotch_yoke 17:37:07 For cosine instead of sine, you jsut add 90 degrees to the input, right? 17:37:32 Yes, I think so 17:39:02 My character does own a astrolabe 17:42:17 -!- jconn has joined. 17:43:55 And, also owns a shovel, and some nails, and a few other things. 17:47:08 Astrolabe has actually become useful in a few ways already; the DM expected that it is completely useless, at first! 17:48:22 nice 17:48:31 When I get to building robots, I should remember to make one with a built-in astrolabe. 17:48:49 MDude: OK 17:51:55 That's just a thought I was remidned of from talking about astrolabes. 17:52:45 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 mroman: there are couple of places where your code can be improved if you need any suggestions :-) 18:01:30 Nobody else ever answer my question about SQL making internet connection, in a proper way, before. 18:06:14 impomatic: I think I'm open for suggestions :D 18:08:58 I think I could scan two locations with the SEQ 18:09:05 assuming one location is a DAT #0, #0 18:09:17 mroman: in the clear, you need 3 MOV s instead of MOV.A. That'll increase the score by 20% 18:09:35 why? 18:11:33 it should do roughly they same thing? 18:11:46 or does MOV.A not copy the instruction? 18:11:56 -!- shikhin has joined. 18:11:59 hm it does 18:13:28 impomatic: If noticed that a lot of programs survive a mem clear 18:13:32 I don't know why 18:13:44 the jmp 0 probably 18:13:56 MOV.A only copies the a-field. MOV.I copies the entire instruction. (MOV usually defaults to MOV.I) 18:14:53 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 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 Cuba exists in zzo38's D&D-world? 18:19:38 maybe cuban cigars are from cube 18:20:18 kmc: Well, they said about Cuban cigars, at least. 18:20:53 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 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:28:43 Is egobot dead? 18:29:29 `echo is it? 18:29:30 is it? 18:33:44 [13:22] okay, while we are at it: anyone funny ideas of what to play in shadowrun? 18:34:08 Did they put SQLite in HackEgo yet? 18:35:32 Oh, I confused zzo38 talking about D&D with myname talking about Shadowrun. 18:38:13 !bfjoust test [>[-]+] 18:38:50 butts 18:41:19 impomatic: @FOO+3 isn't working right? 18:42:11 i.e. it doesn't load the b'value and then adds 3 18:43:57 It's like in assembly language. @FOO+3 returns the value at the address pointed to by (FOO+3) 18:46:39 `danddreclist 52 18:46:40 danddreclist 52: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex 18:46:54 There it is! 18:50:08 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:31 j 19:48:45 how many of you can pronounce "Ph'nglui mglw'nafh Cthulhu R'lyeh wgah'nagl fhtagn" 19:49:27 I 19:49:42 I just pronounce it swissy 19:50:15 nortti : Nobody can 19:50:20 Because Lovecraft didn't give a shit 19:50:38 He didn't even pronounce the crazy names consistently himself 19:51:01 well, I can pronounce that 19:51:25 Really from what I can gather 19:51:33 Lovecraft didn't really care much for the mythos 19:51:38 It was mostly flavor text 19:51:49 The point was mostly SPOOKY THINGS 19:51:56 yeah 19:52:20 although necronomicon was detailed pretty well, to a point where people thought it was real 19:52:23 (also racism) 19:52:40 I have a book of non-fiction texts by Lovecraft 19:52:52 It's pretty funny because he is like the least superstitious guy ever 19:53:07 So seeing people thinking the mythos is real is quite amusing 19:53:21 He was way materialist 19:53:29 what is the name of the book? 19:53:43 Fuck, I left it at my parent's house 19:53:49 Let me see on amazon 19:54:19 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:21 That's the one 19:54:27 * MDude picks up a book called "Fuck, I Left it at my Parent's House". 19:54:42 Mostly texts of when he wrote for an astronomy column in a local newspaper 19:54:56 ah 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 I edited 2048 to get rid of the zugzwang 21:22:20 but I think this just trades frustration for mind-numbing tedium 21:23:17 Does that mean adding a no-op move? 21:23:41 yeah 21:23:51 it will drop a new tile but it won't move any of the existing ones 21:24:15 that's cheating 21:24:29 Does it make the game easy to always win? 21:24:36 mroman: no, it's just a different game 21:24:47 shachaf: I don't always win, but I think it's a lot easier yeah 21:25:11 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 my friend made one that's 5 × 5 and only drops 2's 21:25:42 that one is really fucking easy 21:26:05 -!- Patashu has quit (Ping timeout: 264 seconds). 21:26:35 http://www.csie.ntu.edu.tw/~b01902112/9007199254740992/ 21:27:10 yeah 21:27:14 I like that it has a "move randomly "feature 21:28:12 `run python -c 'print 2**69 < 900719925474099265052 < 2**70' 21:28:12 True 21:28:16 what's with that 21:28:39 -!- Phantom_Hoover has joined. 21:29:33 where did those last 5 digits come from 21:29:47 `run python -c 'print 9007199254740992 == 2**53' 21:29:48 True 21:30:38 i'm so confused now 21:30:46 i probably copied my high score too or something 21:30:55 also why is it 2**53... oh 21:30:57 oh. 21:31:20 :D 21:37:19 but you can represent some integers much larger than that in a 64-bit float 21:37:24 in particular, you can represent powers of two 21:40:18 There are also other possible representations of tile scores in this game. 21:40:25 I feel like this discussion has been had here before. 21:40:28 such as logarithmic? 21:40:30 maybe, but not by me 21:40:33 http://tunes.org/~nef//logs/esoteric/14.03.17 21:40:38 Conveniently at the top of the IRC logs. 21:40:55 aha 21:41:15 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 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 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:06 ... 21:59:21 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:44 yeah 22:07:48 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 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 Help I'm thinking about type algebra gain 22:43:32 get a job 22:43:34 hippie. 22:54:37 Think about algebra loss instead? 22:54:45 Nah 22:54:49 I might just go to sleep 22:54:51 Had a long day 22:58:44 Goodnight 22:59:29 guten nacht 23:03:28 Goodnight 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 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:18 pretty much 23:31:43 fungot: do you second? 23:31:44 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 gases aren't ideal, either, but it's still a nicer approximation than the hamiltonian would be 23:32:02 fungot: my body is not for sale, you filthy sapient bot! 23:32:03 boily: pot 4: 17 1? 8:: 11 4? 8: 63. pot 3: 83: 80 4? 8:: 22. 23:32:23 fungot: and don't tell me the odds. 23:32:24 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 ^style 23:37:14 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 "Huh. You seem awfully eager to alloccate internal nodes. Do you think they grow on trees?' 23:37:34 Klaun would be an awesome style for fungot 23:37:34 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:37 ~duck klaun 23:39:37 --- No relevant information 23:39:54 how did I dare to expect information from the cuttlefish... 23:40:18 Google Bonobo Conspiracy 23:40:27 Or duck it 23:41:08 not gonna fall for it again. 23:41:16 (well. at least for the next five minutes.) 23:42:49 ~metar ENVA 23:42:49 ENVA 202250Z VRB01KT CAVOK 13/09 Q1014 RMK WIND 670FT 30002KT 23:43:09 ~metar CYUL 23:43:10 CYUL 202300Z 22008KT 30SM FEW090 BKN240 22/03 A2997 RMK AC1CI4 SLP150 DENSITY ALT 800FT 23:43:16 HA! 23:43:19 oh no 23:43:27 na na ni na nèreuh ♪ 23:43:40 well, i suppose you still have sunlight right 23:43:50 we do. 23:43:55 http://www.wolframalpha.com/input/?i=pi%5E%28%28arctan+1%2F2%29+-+%28sin+%28pi%2F5%29%29%29 23:44:01 bit dark here. 23:44:10 I hope so! 23:44:14 867-5309 23:44:34 -!- tromp has quit (Remote host closed the connection). 23:44:48 Sgeo: hm? jenny in the decimal expansion? 23:44:54 boily: yes 23:45:30 http://i.imgur.com/DrhmqdL.png 23:47:15 OKAY 23:47:31 (previous OKAY uttered in a non-oerjan voice.) 23:53:29 Sgeo: cute