00:01:54 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 00:05:31 (Decompose g f) will be a functor if f is, although the Functor instance for Decompose can never exist regardless of what g and f is. 00:05:51 Since it is not really a functor, but it has one 00:06:30 Like a functor 00:06:47 Although the type (Decompose g f) itself is not a functor 00:07:13 Yet it will make up a functor anyways if f is a functor even though (Decompose g f) cannot be. 00:07:29 Unless, perhaps, it is a subcategory. 00:08:09 I mean it is not a endofunctor on (->). 00:10:03 But, say you have: newtype Subcategory c f x y = Subcategory (c (f x) (f y)); data Desubcategory c f x y where { Desubcategory :: c x y -> Desubcategory c f (f x) (f y); }; 00:10:56 soundnfury: You said you are going to post a Z80 code if someone posts a Haskell code in here? (Or, something like that) 00:12:59 POP HL;PUSH HL;POP DE;INC DE;LD BC,0;LD (HL),A;LDIR 00:13:05 there you go 00:13:59 Is this Z80 code a part of some program? And, what is LDIR for? 00:14:30 That Z80 code will fill all of RAM with the value in the Accumulator (A) 00:14:37 LDIR is LoaD, Increment and Repeat 00:14:49 OK 00:15:33 Now I can understand. 00:17:27 I have once wrote a program for GameBoy, which is not Z80 although it is similar to Z80. 00:20:10 did that have a 6502? 00:20:30 No. 00:20:45 oh no, some custom thing 00:20:46 The NES/Famicom has a 6502 without decimal mode. 00:21:00 Sharp LR35902, apparently 00:21:25 (Actually, it has decimal mode although it doesn't do anything. You could use the decimal mode flag for your own purpose, possibly.) 00:21:47 The hardest Z80 opcode to emulate is probably DAA 00:22:55 Is that BCD-adjust? 00:37:02 -!- Slereah has joined. 00:51:04 I have read something to make stereo NES. But this wouldn't seem to work with Famicom audio expansions. 00:52:09 But to make it sound properly with stereo you should make up the game or music file to use the stereo. (If you play a stereo file on a mono system, there won't be a problem.) 00:56:03 -!- oerjan has quit (Quit: EEEK). 00:57:07 Using PPMCK channels, you could have: left=A,B,G,I,K,M,P,R,T,V,X,a,b right=C,D,E,H,J,L,N,Q,S,U,W,Y center=F,O,Z I think this way is compatible with the 2A03 audio so it can be used on a real hardware if no expansion chips are used. If you use audio expansion it could be use only in emulator playing .NSF file. 01:02:00 -!- oerjan has joined. 01:04:22 whew that worked 01:18:28 -!- augur has joined. 01:19:54 -!- soundnfury has quit (Remote host closed the connection). 01:22:46 -!- zzo38 has quit (Remote host closed the connection). 01:30:34 -!- soundnfury has joined. 01:43:19 -!- Triclops200 has joined. 01:43:36 -!- Triclops200 has left ("Leaving"). 01:59:48 -!- Frooxius|TabletP has quit (Ping timeout: 248 seconds). 02:00:52 -!- pikhq_ has quit (Ping timeout: 248 seconds). 02:01:01 -!- pikhq has joined. 02:43:07 -!- TeruFSX has quit (Ping timeout: 240 seconds). 02:43:28 -!- TeruFSX has joined. 02:44:20 -!- DHeadshot has joined. 03:06:40 -!- DHeadshot has quit (Read error: Connection reset by peer). 03:06:52 -!- DHeadshot has joined. 03:54:54 -!- zzo38 has joined. 04:01:59 The free monoid structure is a backward monoid transformer, isn't it? So the free category will be a backward category transformer, too. 04:02:52 -!- oerjan has quit (Quit: leaving). 04:03:00 -!- copumpkin has quit (Ping timeout: 248 seconds). 04:03:33 -!- copumpkin has joined. 04:17:02 Is anyone on today? 05:13:15 -!- azaq23 has quit (Quit: Leaving.). 05:32:30 -!- DHeadshot has quit (Ping timeout: 264 seconds). 05:45:25 What kind of a fool would try to program in a language where you need to know whether "the free monoid structure is a backward monoid transformer"? 05:45:29 Fscking Monoids. 05:45:39 also, lo zzo38 05:46:05 -!- pikhq has quit (Ping timeout: 255 seconds). 05:46:08 -!- pikhq_ has joined. 05:55:56 soundnfury: monoids are the bestest 05:57:29 soundnfury: Someone who likes mathematics, I guess. 05:58:39 I also think the free monad is also a backward monad transformer, it is not a forward monad transformer like Edward Kmett has (he agrees it isn't, even though his article says it is) 06:28:42 soundnfury: these programmers are difficult to fathom. who can say what it is they aspire to 06:29:48 zzo38: I recently graduated in mathematics from Cambridge. I don't like monoids. 06:29:52 There's your datum right there 06:30:32 oh man 06:30:40 reductio ad exemplum 06:30:55 lmao. i just saw ion in the topic 06:30:58 Well, there are other mathematical structures too; monoids is not the only one. There is also semigroup, group, category, functor, monad, comonad, etc 06:32:08 zzo38: why is sound more interesting than graphics? 06:32:31 this is a game of find all the fallacies in tidus' post 06:32:42 itidus21: I did not say a sound is more instresting than graphics! 06:32:51 thats 1 :D 06:33:06 OK 06:33:17 1) it isn't more interesting at all 2) zzo38 never said it is more interesting , hmm 06:33:28 Don't get me wrong, I love mathematical structures. Groups are awesome. It's just that trying to design a programming language that reads like a proof from the abstruse end of category theory does not maintainable software make. 06:33:43 i think that about covers it 06:33:55 soundnfury: and you've said that after a serious effort at seeing why people like that approach? 06:34:17 zzo38: my brain is difficult to live with at times... 06:34:25 as it sounds, it just sounds like empty maxims and knee-jerk reactions :) 06:34:57 it is a tale told by an idiot, full of sound and fury, signifying nothing 06:34:58 soundnfury: Perhaps to you. 06:35:33 I just think its fans are living in an epistemically closed bubble 06:35:34 "I know math, and I know programming. I've never thought of trying one from the point of view of the other (and it seriously does go both ways), so it must not be worth trying" 06:35:46 if I had a dollar for every time I've seen that, I'd have several dollars :) 06:36:04 this is based on the fact that their observed behaviour and signalling is consistent with the standard patterns of cults 06:36:19 oh god 06:36:35 also: don't get me wrong, I love the lambda calculus. 06:36:36 nevermind, not going to try then :) 06:36:52 idea flow between fields is great 06:37:03 and programming<->maths is a shining example thereof 06:37:36 can you explain why people like monoids in progrmaming? 06:37:39 but the Haskell world feels too much like the "formal proofs of program correctness" movement from mumble decades ago 06:37:39 I just think category theory is good and can make a lot of things. 06:37:50 soundnfury: i've said worse :P 06:37:51 soundnfury: except the approach to it is completely different 06:38:53 it feels like you're introducing unnecessary machinery on a huge scale (and I mean *huge*; I mean, category theory? that's like a 3000-ton dragline crane) just so you won't have to [the moral equivalent of using one little goto] 06:39:16 it reminds me of everything that makes me hate Dijkstra. 06:39:22 And you do not want to be like Dijkstra. 06:39:48 are you sure you understand haskell 06:39:48 monqy: You have 1 new message. '/msg lambdabot @messages' to read it. 06:39:55 But this is all my subjective opinion, and I can't really make reasoned justifications of any of it. It's a gut reaction. 06:39:55 because you're really sounding like you don't hth 06:40:17 oh, a gut reaction 06:40:35 monqy: I may be mistaken here, but I suspect that Haskell is like Quantum Mechanics: "If you think you understand it, you don't understand it." 06:40:36 * ion laughs at the topic 06:40:49 soundnfury: what 06:41:02 soundnfury: I feel like you might need to either read more about that approach to programming or opine less about it 06:41:11 soundnfury: Err, no. 06:41:20 (note that in truth the un-understandable bits of QM are all Copenhagen's fault. Yay Everett) 06:41:25 copumpkin: quite possibly both 06:41:36 but I'm feeling in an obnoxiously argumentative mood right now 06:41:39 :) 06:41:40 alright 06:41:48 feel free to devoice me if you think it's necessary 06:42:00 I have no power! 06:42:03 only the power to argue 06:42:13 but I might go to sleep instead, since I must wake up for work tomorrow 06:42:17 I have been up all night fixing bugs in quirc, after some wonderful person sent me about 10 bug reports 06:42:35 (it is 0742AM here) 06:42:51 oh, and I do mean 'wonderful', that wasn't sarcasm :) 06:49:52 I like mathematics, though. 06:51:36 -!- pikhq_ has quit (Ping timeout: 252 seconds). 06:51:39 -!- pikhq has joined. 06:57:05 mathematics is wonderful 06:57:56 "Those who can, do; those who can't, mathematics." Isn't that the old adage? 07:01:34 fizzie: I think you're thinking of "Those who can't, teach. Those who can neither do nor teach, become librarians." 07:01:57 (although in fact good teachers are very talented and all too rare) 07:02:22 copumpkin: I've figured out what you are. 07:02:29 You're a pumpkin that shoots arrows at people. 07:03:02 Says an arrow-shooting ppro. 07:03:28 is a copumpkin a ? I can never remember which is the copumpkin and which is the contrapumpkin 07:05:27 cop(|um)p(ro|kin) 07:05:48 no, that matches copumpro and coppkin as well 07:05:55 darn 07:06:13 (copumpkin|coppro) 07:06:29 cop(umpkin|pro) 07:06:36 cop(umpkin|pro) is, I think, the optimal regex 07:07:00 also I've just had an idea about how to go about building my regsexp engine 07:07:10 it has dags 07:07:30 unfortunately I haven't invented my regsexp language yet, so I can't start building the engine 07:08:45 ... in my twisted mind, i'm glad it matches copumpro and coppkin 07:09:41 I prefer cop(um)*[opr]+(kin)? 07:10:10 copumorpkin, copumumumumumr, coppppppro... 07:10:43 We need to define "copumorphism" so that you can implement it in Haskell. 07:11:09 But what do you want to define it as? 07:11:53 Something more absurd than Zygohistomorphic Prepromorphism. 07:11:59 If such a thing is possible. 07:12:28 i think we should drop it, it was a bad idea on my part to make a regexp out of someones nick 07:12:53 ok 07:12:58 basically.. i know its fun 07:13:03 i know i started it 07:13:16 but, if we let it snowball nothing good can come of it 07:14:19 mmm, snowball 07:14:21 tasty kittens 07:14:43 Snowball is a stemmer-making thing. 07:20:27 once i made a trivia bot, based on chatters... it ended up turning into an exercize in hatred 07:20:42 i can't let such a thing happen again =^_^=; 07:26:43 -!- Vorpal has joined. 07:26:52 -!- TeruFSX has quit (Read error: Connection reset by peer). 07:27:52 -!- calamari has quit (Quit: Leaving). 07:28:06 -!- TeruFSX has joined. 07:45:15 -!- zzo38 has quit (Remote host closed the connection). 08:03:54 -!- AnotherTest has joined. 08:08:34 oh, shall I bring in my chatbot? It has terrible AI 08:08:45 Bring him on! 08:08:48 (the answer is no, I shall not bring it in, it's horrible) 08:08:54 I'm going to do the turing test with him. 08:08:58 unless you /like/ gibberings and ravings about brazil nuts 08:10:08 oops i don't think i made the bot 08:10:21 i took an existing bot and loaded it with new questions 08:11:06 -!- asiekierka has joined. 08:11:17 -!- Virgil has joined. 08:11:27 $Good morning. 08:11:33 soundnfury: Difficult whatever green speak uses labor processing contention watch gurgite intercal 08:11:42 I hope that prefix character wasn't already in use 08:11:48 $What are you wearing? 08:11:54 mroman: Is helps long let look last efforts #bay12games alloy tetrahedrite making here akath 08:11:59 Failed the turing test. 08:12:52 fungot: What do you think of Virgil? 08:12:53 fizzie: rewriting languages could be their stats 08:12:58 O...kay. 08:13:07 mroman: I told you it was terrible 08:13:42 it has a completely scruffy neural net 08:13:47 no baked-in language model at all 08:14:18 $hello 08:14:23 itidus21: Sense function language shall dead dinner soad recording one's message correlated 08:14:40 fungot: Do you even parse what is said to you at all? (No you don't.) 08:14:42 fizzie: you can write code pretty fluently, but i suspect it sorta does matter. r5rs compliance matters. 08:14:58 fungot makes more sense than Virgil 08:14:59 Vorpal: no kidding... the basic health required for normal life without depending on others is a problem 08:15:15 that first bit made perfect sense in the context XD 08:15:23 Sure, but it also quotes verbatim quite often. 08:15:27 well yes 08:15:35 fungot: You're such a copycat. 08:15:36 fizzie: then i haev to er, test it, or are you just happy to see me 08:15:59 $Who am I? 08:16:05 itidus21: , my do day : difficult noble dried deemed safest game 3 useful output physically 08:16:35 $Virgil, you have a lot of learning yet ahead of you. 08:16:37 I'm guessing fungot is using a Markov chain model? 08:16:38 soundnfury: there can be a valid identifier in xml is fundamentally retarded. 08:16:42 itidus21: Have latter much over having join few found getting fashion nist joints mad leaving 08:17:01 itidus21: unfortunately much of Virgil's learning to date was in a channel whose topic is Dwarf Fortress 08:17:24 soundnfury: well.. im weirder than virgil 08:17:24 also, xml is indeed fundamentally retarded. fungot shows good taste. 08:17:25 soundnfury: so was fedora core 2 :d. ( which i don't 08:17:43 itidus21: I don't believe you 08:17:57 $$ 08:18:02 itidus21: My love colour land ii nice act result problems indent asleep she wheels generate 08:18:41 im entertained by the fact it doesn't have a baked-in language model 08:18:46 -!- DHeadshot has joined. 08:18:55 -!- stlangbot has joined. 08:18:56 stlangbot: help 08:18:57 bf_cu (Brainfuck cell usage); stlang (Evaluate stlang); bf_stat (Brainfuck statistics) 08:18:57 bf_in (Brainfuck inspect last active cell); df (Deadfish); undf (Undeadfish) 08:18:57 dfa (Deadfish - ASCII); dfc (Compile deadfish to stlang) 08:19:04 my kind of bot 08:19:07 stlangbot: chat Can pigs fly? 08:19:12 soundnfury: If you want to think of it like that. It uses ngram language models, most of them trained using the VariKN toolkit from our department, but theoretically it's of course the same thing. (Though it's not quite the traditional "copy and sometimes jump" implementation but instead a "generate each word from matching ngrams" one.) 08:19:14 [mroman] They wish! 08:19:48 `quote research into fungot 08:19:49 fizzie: read-file does. that's the solution there is to be able to write 08:19:49 all interfere their record woman aspirations paranoid man steep properties space 08:19:51 16) Finally I have found some actually useful purpose for it. 08:21:27 internet.irc.freenode.net = bots essentially spewing random words to be read by human observers 08:21:45 I was going to link to the VariKN page but the PASCAL ("Pattern Analysis, Statistical Modelling and Computational Learning") page is all "PASCAL Forge Could Not Connect to Database: PASCAL Forge Could Not Connect to Database: Project Summary: PASCAL Forge Could Not Connect to Database". 08:22:08 Not a good summary, that. 08:22:15 :) 08:22:22 fizzie, is that PASCAL as in the language pascal? 08:22:24 Anyway, it does variable-length ngrams with Kneser-Ney smoothing. 08:22:26 i suppose one day in the future it will be clear to me whats going on with these bots 08:22:27 Vorpal: No. 08:22:30 aww 08:22:38 -!- stlangbot has quit (Remote host closed the connection). 08:23:22 "PASCAL is a Network of Excellence funded by the European Union. It has established a distributed institute that brings together researchers and students across Europe, and is now reaching out to countries all over the world." But they also have a code-share site kind of thing. 08:23:42 heh 08:24:32 Network of Excellence... 08:25:01 funny name yeah 08:25:03 They also do some challenge-style things on machine learning things. 08:26:12 Like the Morpho Challenge (unsupervised morpheme segmentation of text) that's run by our people every now and then, I think that's somehow part of PASCAL. 08:26:45 (Maybe it's not necessarily unsupervised.) 08:27:07 "AI is bogus" - Reid 08:27:16 (Oh, it is.) 08:27:23 AI is real. 08:27:43 When something stops being bogus, it stops being AI :p 08:27:59 If we know how to do it, it's just another algorithm 08:28:07 * soundnfury is kidding 08:28:30 i think AI is just an arbitrary name for a manmade machine which has the same properties as a natural machine 08:29:15 but do we want the machine to have the same properties? Do we want our computers to say "No, I'm on tea-break, solve your own damn polynomials"? 08:29:40 trivially no; so we aren't trying to recreate humanity on a silicon substrate 08:29:43 i don't things can just cross over that line 08:29:54 using AI to figure out the appropriate time to have a tea-break doesn't sound very useful 08:30:12 I believe canonically it doesn't matter what we want, since what we will get is enslavement by killer robots. 08:30:25 fizzie: not if Yudkowsky solves FAI ;) 08:30:57 my mum has one of those parent-who-is-loud-on-the-phone voices 08:31:03 Then we'll get the same but it will be done in a friendly manner. 08:31:40 "This enslavement may be monitored for training purposes. Thank you for using Killer Robots Ltd." 08:32:04 welll 08:32:22 "Here is some relaxing music to listen to while you wait your turn to be enslaved." 08:32:33 if there is any trace of sentience or life in a computer, it is probably not what we think it is 08:33:06 -!- DHeadshot has quit (Ping timeout: 264 seconds). 08:33:33 its... BEYOND what is written in books 08:33:37 It's life, Jim, but not as we know it. 08:33:44 the umwelt of a computer 08:34:12 I wish there were some way to experience the umwelt of a mind with a radically different sensorium 08:34:35 heck, there's no obvious reason why a mind's umwelt should experience time subjectively 08:34:38 i don't think it will resemble a human 08:34:46 soundnfury, umwelt? 08:34:55 time is, after all, just a differential consistency criterion 08:35:03 any more than.. a tree shaped like a bear resembles a bear 08:35:06 Vorpal: ask itidus to define it, he said it first 08:35:13 itidus21, define that word 08:35:22 itidus21: um, which it does, that's what resemble means 08:35:32 Vorpal: im not qualified. kmc can tell you how i talk about things i don't understand all te time 08:35:33 repeat the semblance of... 08:35:57 Vorpal: there's a funky dynamic varying xkcd called "Umwelt" whose alt-text defines umwelt 08:36:05 will that do? 08:36:15 i think xkcd led me to it 08:36:18 heh 08:36:54 my about they then be vassal reading eat events nice revolution tetrahedrite labor 08:37:21 also... there is the question.. of does everything have an umwelt? 08:37:43 for instance, if someone chops off my arm, and makes it protrude from under a bush 08:37:50 they might suppose i were under the bush 08:38:08 and assume that the arm had an associated body and mind 08:38:27 yeah but they're mistaken as a question of fact 08:38:36 but, does such an arm take on a life of it's own? 08:38:48 a physically counterfactual mind doesn't have a physical umwelt 08:39:03 soundnfury: well thats easy to say, harder to prove 08:39:09 although a counterfactual mind has counterfactual subjective experience, because syntacticism 08:39:20 your mileage may vary 08:39:23 -!- ChanServ has set channel mode: +o fizzie. 08:39:24 -!- fizzie has set channel mode: -q rolebot!*@*. 08:39:25 -!- fizzie has set channel mode: -o fizzie. 08:39:27 steep hills may go up as well as platonism 08:40:28 soundnfury: well... it concerns me that we have to make up arbitrary constraints as to what might have a mind.. it sounds more of a game than a science :D 08:40:46 I think you should read Yudkowsky on this topic 08:41:12 Actually, maybe those two other q's that have very DHCPey hostnames and are probably ancient could also go. 08:41:18 -!- ChanServ has set channel mode: +o fizzie. 08:41:24 -!- fizzie has set channel mode: -q *!*@pool-74-103-90-165.bltmmd.east.verizon.net. 08:41:30 -!- fizzie has set channel mode: -q *!*@host81-141-232-7.wlms-broadband.com. 08:41:33 -!- fizzie has set channel mode: -o fizzie. 08:41:36 -!- copumpkin has quit (Ping timeout: 252 seconds). 08:41:39 soundnfury: well.. i think we "focus" on minds like ours 08:41:54 Seriously. Read Yudkowsky 08:41:58 lesswrong.com 08:42:11 -!- copumpkin has joined. 08:42:32 found on earth, in the animal/plant tree, alive :D 08:42:45 $Does a counterfactual mind have an umwelt? 08:42:49 hmm ok i will google these words at least 08:42:52 soundnfury: About something down i'm secrets prisoners lead whats debate hurt raw range working 08:42:55 fungot: Being just a piece of code, do you have an unique perspective on these weighty matters? 08:42:56 fizzie: my mistake. 08:43:05 Oh, well, that clears things up. 08:43:35 ^style 08:43:36 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 08:44:02 yuck! commode 64! 08:44:12 ^style c64 08:44:12 Do Not Want 08:44:13 Selected style: c64 (C64 programming material) 08:44:17 fungot: Say something stupid. 08:44:18 fizzie: stack requirements: 4+ of programming. fortunately, the horizontal resolution is traded for extra color resolution. it shows which numbers should be aware of this location can also detect when that line is shorted to ground. 08:44:27 It's from a couple of books. 08:44:27 soundnfury: well.. also.. there is the case where we think something isn't a real living being, when infact it is.. such as a movie hero hiding in a wax museum 08:44:35 $The ZX Spectrum was so much better 08:44:38 fungot: more 08:44:39 olsner: in machine language). the 08:44:47 fungot: What do you think of Speccy, then? 08:44:48 fizzie: the 6526 cia chip has 16 registers which are in high-resolution bitmap mode offers a choice of 2 will cause output to the start of some sort. without a filename of up to four dots across per character, marking the end of the parameters of voice 1, a 08:44:50 soundnfury: Work be someone interfering race just bear trust small theory copies ball weponds 08:45:01 itidus21: I think the point is that our beliefs don't determine whether or not something else has an umwelt 08:45:10 soundnfury: :D 08:45:11 objective reality exists. 08:45:41 There were quite a few tables in the books that model was trained from, so often it's just names and numbers. 08:46:10 c64 ftw 08:46:27 $ZX81 forever! 08:46:33 soundnfury: My explain take always ally having 30 4 virgil_the_dopey_bot play bone usually congratulations 08:46:36 soundnfury: well, i think we don't know if they are finite or infinite 08:46:42 I'll propose the C128 as a compromise, it has a Z80 in it too. :p 08:46:49 pah! 08:47:32 obviously both of us have thought about this entirely too much, you probably more so :D 08:47:35 i don't even have a bot 08:47:42 If you want a compromise, the only choice is the Acorn Archimedes, running RISC OS on an ARM 08:48:05 Well, I agree that everyone will agree that those are awesome, so I guess. 08:48:55 one time i was poking around in some store, and for a few $ each i got a book about 8085 and a book about z80 next to each other 08:49:21 -!- Phantom_Hoover has joined. 08:49:22 naturally i just left them on the shelf and proceeded to find a cheap copy of the great gatsby 08:49:54 well I don't care because I have a garklein-flötlein 08:50:05 zounds 08:50:35 i don't have much books, but i am so happy that i got those.. that was a once in a lifetime find in a charity bookstore thing 08:51:05 online they're probably a dime a dozen though 08:51:14 >_< but thats not the point 08:52:23 humm... a lot of these machines i didnt ever see 08:53:13 but i watch videos on youtube showing games on spectrum, c64, amiga, etc 08:53:38 to be honest i find atari 2600 graphics so bad i can barely hold back from vomiting 08:53:43 soundnfury: You should compose a garklein-flötlein/flabberfleming duet. 08:54:03 flabber... fleming? 08:54:11 It's something oklopol made up, I think. 08:54:31 it's a balloon with a one-way valve that is actually only one-way when one atmosphere of pressure is on the outside, but when less, it lets air out (not depending on pressure inside) 08:54:35 which is also an instrument 08:55:18 itidus21: https://www.youtube.com/watch?v=CiG8g1qlT9w 08:55:37 fizzie: outsch 08:56:41 I don't think it actually exists, to be honest. 08:56:47 Good. 08:56:54 @google flabber fleming 08:56:55 http://www.facebook.com/people/Flabber-Gaster/100002426347550 08:56:55 Title: Improve Your Experience | Facebook 08:57:00 But you do suck on it if it does. 08:57:01 eek 08:57:08 (That's the undefinite "you".) 08:57:10 i'm not clicking on a fb link 08:57:26 fizzie: one would suck upon it, were it to exist 08:57:30 Right. 08:58:05 my that of they colour ally naïve empty events impossible those internet's near 08:58:23 What sick person implements an esolang in powershell und puts it on pastebin so it gets deleted after a year or so 08:59:41 you had me at "powershell". 08:59:44 people /use/ that? 09:00:02 Powershell is cool if you're an admin. 09:00:10 And your architecture is windows based . 09:00:26 It's better than vbs. 09:00:26 people will implement esolangs on literally any platform :( 09:01:20 ANY 09:01:38 are there any esolangs on OS/2? 09:02:09 * soundnfury is waiting for someone to port Brainfuck to Tunguska 09:02:31 olsner: If not, by voicing the question you are now obligated to make one. 09:03:19 Anyway, you can run e.g. Python on OS/2, and there certainly are esolangs with Python interpreters. 09:03:52 Like Madbrain ;) 09:04:16 soundnfury: i'm a computer game oriented computer user. contrary to what you might think, that makes most of my ideas distasteful. 09:05:27 profit using oxygen having turning allied overall fort/my .png i'd math mysterious 09:05:46 wow, I got three words into that one before I noticed it was a Virgilism 09:05:55 $png is not gif 09:06:01 itidus21: Is each internet too optimistic fifteen mirrored sucks value raw range anyways building 09:06:14 ... yeah. So there. 09:06:14 I keep reading "Virgil" as "Vorpal". 09:06:25 heh 09:06:41 THat last sentence doesn't make ANY sense. 09:07:00 It's just random words? 09:07:06 looks like it? 09:07:09 these internets are too optimistic... 09:07:20 how does Virgil work? 09:07:25 and who owns that bot 09:08:22 Virgil and Vorpal are members of V(vowel)r(consonant)(vowel)l 09:08:27 probably if line.startswith("$") print takerandomamountofrandomwords() 09:08:34 10.11:13:42 soundnfury | it has a completely scruffy neural net 09:08:36 10.11:13:47 soundnfury | no baked-in language model at all 09:08:50 Deewiant, so does that mean just random words? 09:09:01 I'm not an expert on what neural nets can do really 09:09:20 a lot, as i understand it 09:09:25 well yes 09:09:31 Well, not completely random 09:09:33 :P 09:09:47 but, thats ideally 09:09:48 It's very close to random in practice, because it hasn't been trained very carefully 09:10:00 Vorpal: your brain is a neural net 09:10:13 olsner, with feedback loops too. 09:10:16 His brain is a positronic net. 09:10:26 well... by that definition 09:10:29 but I have a friend who calls himself a robopsychologist, who trained up a Virgil instance quite effectively, but then lost the net file and had no backups 09:10:31 soundnfury, how much context does the probability of a given word depend on? 09:10:55 $何 09:10:57 I mean, is each word generated independently or does it depend on the words around it 09:10:59 mroman: Morning : countries experimenters nook egg usually patience called gnu momaw giant 09:11:18 I'd call that random garbage ;) 09:11:24 well yes 09:11:49 is "momaw" even a real word? 09:11:55 ランドム！ 09:12:00 momaw was a nick in another channel 09:12:03 ah 09:12:08 mroman, ...? 09:12:12 most of this net's training has been talking on IRC 09:12:18 mroman, I can't read that script 09:12:39 Then you're probably lacking asian fonts. 09:12:43 soundnfury, that is probably quite a poor source in general, considering how many chatterbots there are on IRC 09:12:50 cjk in particular. 09:12:53 mroman, oh I can /see/ it just fine. I just can't read it 09:13:01 Vorpal: there's a (possibly outdated) tarball at http://jttlov.no-ip.org/tar/virgil0-2-3.tar.gz 09:13:04 I don't even know which language it is for 09:13:15 I haven't been actively developing Virgil for about two years now 09:13:17 Vorpal: They can do a lot: http://en.wikipedia.org/wiki/Cybenko_theorem 09:13:26 It's japanese. 09:13:31 soundnfury, so basically by using IRC, you fed stuff like fungot as input? 09:13:31 Vorpal: if the shift " n" character shifts the printer is an addition limitation on memory usage, functional modules of code required, and 09:13:58 But it's an english word ;) 09:14:10 There aren't that many chatterbots on "regular" channels, I don't think. 09:14:15 ^style fungot 09:14:16 Selected style: fungot (What I've said myself) 09:14:20 fungot: SO META. 09:14:21 fizzie:. i'm so kind, even to assholes! anmaster no not markov 09:14:32 Vorpal: no, its input was mostly from humans 09:14:35