00:24:47 -!- sacje has quit (Quit: sacje). 00:38:52 -!- sacje has joined. 00:51:55 -!- mnoqy has quit (Quit: hello). 00:53:58 -!- carado has quit (Quit: Leaving). 00:57:02 -!- carado has joined. 00:58:25 -!- Koen_ has quit (Quit: Koen_). 00:59:27 sketchy diagram http://www.sheldoncomics.com/archive/130819.html 01:05:48 @tell probably nearer to boily>boyle. my ancestors were Irish on the Boily side, but French on the Tremblay side. <-- what, and here i've been carefully pronouncing it with a french oi... 01:05:48 Consider it noted. 01:06:48 @ask boily also, how does one say "poulet" with an irish accent twh 01:06:48 Consider it noted. 01:17:22 -!- comex has quit (Remote host closed the connection). 01:20:03 http://abcnews.go.com/US/wireStory/conn-police-cable-outage-worthy-911-call-20002202 01:32:14 MEANWHILE, IN THE HUMANITIES http://lareviewofbooks.org/review/an-impossible-number-of-books/ 01:32:30 reading the logs by pasting into google translate is annoying. i suggest we ban french hth 01:39:54 http://www.scfbm.org/ also 01:40:32 oerjan: you mean like "bwally" 01:40:40 if so that's great & i'm going to start saying it in my head 01:40:48 nooodl: yep 01:49:43 git commit sepukku <-- do spelling nazis commit seppuku after misspelling it? 01:52:07 I think glogbot should have a feature to reintegrate clog logs if glogbot goes down then comes back uo 01:52:08 up 02:02:29 glogbackup is supposed to be for backup logging, but afaik Gregor never has merged its logs back in 02:04:01 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:09:09 -!- sacje has quit (Ping timeout: 264 seconds). 02:09:37 -!- sacje has joined. 02:09:42 -!- sacje has quit (Changing host). 02:09:42 -!- sacje has joined. 02:13:32 Wonder if I can still download Netscape 02:13:45 -!- nooodl has quit (Ping timeout: 245 seconds). 02:14:19 <^v> yes 02:14:22 Sgeo: It's certainly on oldwhatever.com 02:15:43 There was a version 9 apparently 02:16:19 Probably not really classic Netscape, I guess 02:17:24 It... err... 02:17:27 Looks Firefoxy 02:17:55 (C) 1998-2008 02:18:02 Almost certain it's a reskinned Firefox 02:18:47 it isn't 02:20:08 Yeah, reading Wikipedia makes that clear 02:20:20 But it looks like it just took the UI of Firefox and rebranded it 02:23:33 Which version do I want for classic feeling Navigator? 02:24:18 sgeo have you considered becoming a historian or something instead of whatever you do now 02:29:51 Sgeo: Why not mosaic? 02:30:13 I've never used Mosaic myself 02:30:23 Can Mosaic even be made to work on XP? 02:30:30 Wonder if ViolaWWW could work 02:32:01 activation.netscape.com could not be found 02:32:03 Screw DRM 02:32:21 Woah the GUI reminds me of REBOL 02:32:27 Just... graphics-wise 02:32:40 you could work with archive team or something 02:43:18 the filesystem changes are merged afterward with Mercurial <-- does it still do that after it was made transactional? 02:43:32 (HackEgo) 02:43:56 elliott: ^ 02:44:54 <^v> python sould classify as a joke esoteric language 02:45:23 why 02:45:34 Roujo really has a hard time with HackEgo, i see 02:46:26 oerjan: it's only sort of transactional now I think? 02:46:29 I don't know, ask Gregor 02:46:30 python isn't the most common language suggested in that vein, i should think 02:46:38 elliott: um i sort of thought you made that part 02:46:46 he ripped out half of it :P 02:46:52 wat 02:46:55 ask Gregor. 02:47:32 nah, i'm just going to assume he broke it horribly somehow hth 02:50:57 -!- sacje has quit (Ping timeout: 276 seconds). 03:01:48 -!- Nisstyre has joined. 03:08:23 oh whatever too much logs 03:22:21 -!- azaq23 has quit (Quit: Leaving.). 03:54:33 hi 03:58:28 What are some existing alternatives to text-based version control? Does Monticello count, or is it still text-based at the method level 03:59:28 I saw a wonderful video once, I don't know what happened to it 03:59:47 I saw it when I was REBOL-obsessed, so must have seen it recently, but I think the video itself is very old 04:04:54 re ball 04:06:05 -!- kmc has set topic: A lot of little lies for the sake of one big truth | 22nd IOCCC is open: http://ioccc.org/2013/rules.txt | jsvine is doing an esolang survey! https://docs.google.com/forms/d/1OvEsdBioOFcXFAiscO34kctUWKs3dWQs5-ZouXdwy9Q/viewform | http://codu.org/logs/_esoteric. 04:06:26 -!- sacje has joined. 04:11:02 * oerjan is disappointed that that's just an album title 04:11:34 "just" 04:11:43 annyway sorry 2 disappoint 04:12:19 kmc: it _should_ have been an epic putdown quote against something. 04:13:43 although perhaps there are too many somethings that fit, so it's better as an album title anyhow 04:33:40 -!- btiffin has joined. 04:37:36 If you added GOTO to a bf instruction set, would you assist programmers and unwind any loops between current source position and new, or let them suffer for coding in a bf derivative in the first place? I'm leaning toward suffering and unpredictable behaviour. 04:38:02 -!- ^v has changed nick to dan200. 04:38:23 why are you adding goto 04:38:40 Fun. And shortening of 99 bottles. 04:38:58 well, whatever's more fun, then 04:39:03 -!- mnoqy has joined. 04:39:05 btiffin: how do you implement GOTOs? 04:39:09 named label? 04:39:16 relative offset? 04:39:26 computed GOTO? 04:39:38 Line numbers 04:39:52 anyway, going with the Core Brainfuck Goal i'd use whatever's easier to compile 04:40:11 Jafet: consider U+2028 LINE SEPARATOR ;) 04:40:54 small s.c.r.i.p.t. is written in COBOL. ! (from Forth) stores last immediate value or memory cell to source-position. It's all written as a GO TO (256 entries) DEPENDING on character-value. Engine just loops over the characters. 04:42:23 Is a "GO TO (256 entries) DEPENDING on character-value" like a "ON ... GOTO ..." in BASIC? 04:42:30 COBOL 04:42:43 zzo's asking if it's like basic, not if it's implemented in basic. 04:43:54 Oh, sorry zzo38; no not really, its a computed goto 04:44:02 not an event 04:44:46 oops just looked. Yes, yes it is. 04:46:35 kmc: good lightning today imo 05:03:14 -!- Taneb has joined. 05:11:48 yeah what's with that 05:11:51 no rain 05:11:57 I guess the lightning is p. far away 05:12:18 -!- Bike has quit (Read error: Connection reset by peer). 05:12:36 -!- Bike has joined. 05:13:24 -!- Nisstyre has quit (Quit: Leaving). 05:22:03 http://en.wikipedia.org/wiki/Chronostasis hi i hate illusions 05:23:08 I came to the realisation the other day that I'm not really that much of a fan of sci-fi 05:23:45 I mean, I enjoy FreeFall, Firefly, the Stainless Steel Rat books 05:23:50 But that's really it 05:24:12 have you considered reading real books (you nerde) 05:24:30 I enjoyed the Girl with the Dragon Tatto 05:24:31 o 05:24:42 But couldn't get into - Played with Fire 05:30:59 stylized things are nice 05:34:33 Bike: "When eyes execute a saccade, perception of time stretches slightly backward." terrifying 05:36:56 gosh, it's kind of like, if you have a video with a bad frame, you could copy the frame after it into the bad frame. 05:37:01 replacing it 05:37:15 and the visual processing system does this for you conveniently 05:37:32 i don't like describing saccades as involving 'bad frames' but yeah 05:37:40 relatedly: this book pointed out that you can't pan your vision 05:37:47 and now i hate everything because i'm trying it and i can't. 05:38:25 wait, like, pan how 05:38:30 smoothly. 05:38:38 like focus on a thing, then smoothly move your focus. 05:39:11 I tried moving my head but my eyes jumped anyway :( 05:39:30 I think I did it? I just focused on a continual object (e.g. the wall) 05:39:32 with no points to focus on 05:39:43 it's a lot easier if I just spin on my desk chair though -_- 05:40:06 when i try it it's small jerks 05:40:44 it's like, I wouldn't notice the jumping if I wasn't thinking about it? 05:40:47 yeah 05:40:50 anywayy the upshot of this is that i spent ten minutes staring at a wall instead of reading. 05:40:58 reading about staring, but still. 05:42:12 SMBC on memory: http://www.smbc-comics.com/?id=2020 05:42:31 man memory's a whole other clusterfuck, i'm talkin present experience here motha fucka 05:43:18 i wonder why he considered memory part of "reality" 05:43:30 how very.... subjectivist................................ 05:43:33 the universe was created 5 minutes ago, you're welcome 05:43:38 memory is easy. I just kind of don't have it, see, resolved! 05:43:39 etc. 05:44:29 here is a hand 05:44:32 I can't help think that bearable is a pun, either 05:44:37 you don't say 05:44:51 indeed I don't! 05:45:03 tru 05:45:20 Fiora: what did you just say? 05:46:31 other annoying vision things: apparently the vestibulo-ocular reflex doesn't actually fully counter motion, so your eyes receive totally different input when you turn your head, but it doesn't look like the world's actually moving 05:47:44 wait, what does that mean? 05:48:11 like, your eyes point in a different direction than they were, so the light they receieve is totally different 05:48:15 but your vision is still stable 05:48:16 elliott: that my memory is horrifically awful 05:48:33 also applies to saccades 05:48:38 Fiora: see, you remembered. 05:48:42 3.1415926535897932384626433832 05:48:47 unless you looked at what you said. but that's cheating. 05:48:48 i have a good memory .-. 05:48:54 elliott: I did 05:48:57 dan200: now do euler-mascheroni 05:49:15 Fiora just reads the whole day's log whenever she needs to respond to anything 05:50:01 what 05:50:11 was that seriously a lim 1 infinity 05:50:15 the euler-mascheroni constant. recite it. 05:50:22 a couple digits, anyway. 05:50:42 93C467E37DB0C7 05:50:55 wow suck'z 05:51:16 catalan nembers 05:51:25 catalan nimbers 05:51:48 elliott: well that's like, short term memory 05:52:02 long term memory is basically just a bunch of facts, and if I'm lucky, a past event in my life might be in one of those fact boxes 05:52:14 but it's more likely that the fact box will contain, like, the name of a pokemon 05:52:42 I wish I got random pokemon whenever I tried to think of something 05:52:51 huh. I don't actually know the plural of pokemon 05:52:53 wingull. 05:52:54 `WELCOME dan200 05:52:56 you should just use your procedural memory instead. so whenever you tap your fingers in a certain order you can remember the name of that boy who threw sand in your face in the second grade, making you cry 05:52:57 ​DAN200: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN AND DEPLOYMENT! FOR MORE INFORMAT 05:53:00 elliott: pokemen 05:53:04 um 05:53:05 Fiora: amazing. 05:53:09 im already welcomed 05:53:13 ;_; 05:53:13 for the most part, it's different neurons that respond differently to different stimuli. 05:53:15 three times 05:53:17 dan200: they really like welcoming you a lot, unfortunately 05:53:19 >_< 05:53:21 I got welcomed, like, 7 times 05:53:26 THREE TIMES I HAVE BEEN WELCOMED 05:53:32 Gracenotes: not in this case! 05:53:32 not including when i was here 3 years ago 05:53:32 welcoming is at least n^2 05:53:43 you have to welcome yourself too 05:53:44 `pastelogs lcome Fiora 05:53:45 i must have been welcomed 10 times ;_; 05:54:05 `WeLcOmE dan200 05:54:09 DaN200: WeLcOmE To tHe iNtErNaTiOnAl hUb fOr eSoTeRiC PrOgRaMmInG LaNgUaGe dEsIgN AnD DePlOyMeNt! FoR MoRe iNfOrMaTiOn, ChEcK OuT OuR WiKi: HtTp://eSoLaNgS.OrG/WiKi/mAiN_PaGe. (fOr tHe oThEr kInD Of eSoTeRiCa, TrY #eSoTeRiC On iRc.dAl.nEt.) 05:54:14 Bike: I do recall memory neurons being a bit differently behaving. 05:54:16 `relcome Fiora 05:54:19 :D i knew that one 05:54:22 oh no not again ;_; 05:54:22 oh i don't mean memory 05:54:24 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.419 05:54:26 ​Fiora: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 05:54:29 Fiora: I'm just letting you know you're still welcome!! 05:54:51 Fiora: wow there are ten welcomes in this log. 05:54:59 on the first day, i mean. 05:55:02 wait, was I actually right @_@ 05:55:09 or wait no I said 7 05:55:10 no you underestimated 05:55:11 help I have no memory 05:55:18 it was dan who said 10 05:55:27 you repressed the memories of the other 3 welcomes. it was just too much 05:55:45 the welcome isn't even that great. we devote a large portion of it to advertising for unrelated channels. 05:56:02 I don't need to repress memories, I just lose them normally -_- 05:56:33 it sounds convenient when you put it that way 05:57:20 -!- Taneb has quit (Quit: Leaving). 05:57:42 -!- oerjan has set topic: The welcomes of doom | 22nd IOCCC is open: http://ioccc.org/2013/rules.txt | jsvine is doing an esolang survey! https://docs.google.com/forms/d/1OvEsdBioOFcXFAiscO34kctUWKs3dWQs5-ZouXdwy9Q/viewform | http://codu.org/logs/_esoteric. 06:14:20 -!- btiffin has left. 06:29:30 -!- doesthiswork has quit (Quit: Leaving.). 06:32:29 -!- dan200 has quit (Quit: Leaving). 06:59:08 -!- Taneb has joined. 07:23:40 -!- asie has joined. 07:36:36 -!- AnotherTest has joined. 07:44:39 Hello 07:45:02 hello 08:18:23 -!- nooodl has joined. 08:27:54 -!- SingingBoyo has joined. 08:35:02 -!- conehead has quit (Quit: Computer has gone to sleep.). 08:57:50 -!- sacje has quit (Ping timeout: 240 seconds). 08:58:21 -!- sacje has joined. 09:00:38 ?messages-loud 09:00:38 Roujo said 2d 12h 24m 11s ago: Oh hai 09:00:44 -!- zzo38 has quit (Quit: zzo38). 09:14:17 -!- sacje has quit (Quit: sacje). 09:25:18 -!- oklopol has quit (Ping timeout: 268 seconds). 09:25:51 -!- oklofok has joined. 09:37:15 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 09:39:17 -!- asie has joined. 10:10:21 -!- Frooxius has quit (Ping timeout: 264 seconds). 10:15:08 -!- Koen_ has joined. 10:41:59 -!- augur has quit (Remote host closed the connection). 10:44:02 -!- epicmonkey has joined. 10:45:52 -!- MindlessDrone has joined. 11:13:19 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 11:14:21 -!- asie has joined. 11:15:12 -!- asie has quit (Client Quit). 11:21:08 -!- augur has joined. 11:29:14 -!- Sgeo has quit (Read error: Connection reset by peer). 11:39:01 -!- asie has joined. 12:01:28 -!- mnoqy has quit (Quit: hello). 12:06:02 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 12:11:11 -!- oklofok has quit (Ping timeout: 268 seconds). 12:12:04 -!- Phantom_Hoover has joined. 12:47:09 -!- boily has joined. 12:47:16 -!- metasepia has joined. 12:54:47 -!- yorick has joined. 12:57:59 -!- rahni11 has joined. 12:58:12 -!- rahni11 has quit (Client Quit). 13:03:21 -!- oerjan has quit (Quit: leaving). 13:07:14 -!- Frooxius has joined. 13:42:50 good dreamy morning! 13:43:02 'morning, boily 13:43:04 How's life? 13:43:12 I finally had a dream where something happens! 13:43:19 :D 13:43:20 Do tell 13:43:46 granted, I was only pestling cheese in a salad bowl with a potato masher, but still! it was something! 13:43:57 You gotta take what you can, eh 13:44:12 who knows, maybe I was cooking pierogies... 13:44:36 Probably. P(that) = .76 13:45:26 the first time I tried, they were delicious. but because I had never seen them, I didn't have a reference scale. a girl at school who saw them told me they were strangely gigantic :D 13:45:41 tried IRL, s'entend. 13:46:08 On s'entend 13:47:01 there's a nice café on côte st-luc near villa-maria that serves brunches on Sunday mornings. there's always a bunch of nicely burned pierogies with your plate. they taste good. 13:51:19 They must 13:51:22 It is known 13:58:14 AAAAAAAAAAAAAURGH. someone asked a question on SO, the question was closed because there's an accepted answer, and the answer links to a dead github repo. 13:58:31 * boily smashes his forehead on an empty corner of his desk. 14:01:11 ~yi 14:01:15 Your divination: "Shake" to "Shake" 14:05:23 -!- Pouti has joined. 14:05:39 boily : Gnyeeeeh 14:05:54 Pouti: c'est que tu fais là, toi? 14:06:32 Roujo: stop conspiring with my bro behind my back, you fiend. 14:06:45 <3 14:07:04 boily, Pouti 14:07:07 Pouti, boily 14:08:12 `learn Pouti is boily's brother. he's also Canadian, and he closes the Roujo pointer loop. 14:08:16 I knew that. 14:08:33 i'm immensely scared 14:09:03 `relcome "The Boilys" 14:09:06 ​"The: Boilys": Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 14:09:06 no worries. he's a nice guy. worse that can happen is for you to be even more Canadianned than usual. probably some weirdness and vile puns on the side. 14:10:36 Taneb: don't you have a brother too? 14:11:02 -!- mnoqy has joined. 14:15:04 boily, yes I have a brother 14:15:39 He's not that in to esolanging 14:15:48 You can find him playing League of Legends most hours of the day 14:17:45 oh. that most common modern drug. 14:18:09 is he a total dickhead 14:19:58 saturationsaturationsaturationsaturation 14:20:08 Phantom_Hoover, yeah 14:20:15 Roujo: doing chemistry? 14:20:29 Nah, just laughing 14:20:32 Taneb, that's a horrible thing to say about your brother 14:20:38 It's just that I don't play LoL, so I might have done it wrong >_> 14:20:57 Phantom_Hoover, he's my younger brother, it's practically my duty to say horrible things about him 14:21:32 no, it's your duty to lock him in bathrooms etc. 14:21:46 No, it's your duty to set an example and support him 14:22:00 At least, that's what I try to do with my younger brothers >_> 14:22:48 and we can all see how that turned out 14:22:54 my brother and I are the same, but him more than me. 14:23:35 btw, it's time to ask the The Question. 14:23:45 Pouti, what are your approximate coördinates and body weigh? 14:24:00 dat gratuitous tréma 14:24:02 (I already know the coördinates) 14:24:14 it's not gratuïtous! 14:24:16 Roujo: it is fär from gratuitous̈! it 14:24:19 is tradition! 14:24:39 boily, that, however, is 14:25:30 that's beside the (pair of) point. 14:26:12 shouldn't he be filling that information into jsvine's survey anyway 14:26:48 Shouldn't boily pretty much know the information already anyway? =P 14:26:50 of course, but I think we don't have access to the results yet. 14:27:29 Roujo: about the coördinates, yes. but not the body weigh. I'd say about the same as me, but you never know. 14:27:49 -!- hogeyui____ has quit (Ping timeout: 248 seconds). 14:28:06 I will settle the matter : N 46, W71, 145 lbs 14:28:19 There we go 14:28:25 5-letter nicks UNITE 14:28:29 o/ 14:29:33 see how us Canadians are polite and coöperative! our entries are well formatted and meaningful! 14:29:37 * boily glares at FreeFull 14:29:40 -!- Koen_ has quit (Quit: Koen_). 14:30:35 cat boily | cat > boily 14:30:45 Erm 14:30:48 Not sure 14:30:57 cat boily | echo > boily 14:31:06 `run cat dog | echo > dog 14:31:09 No output. 14:31:14 * Roujo shrugs 14:31:46 isn't FreeFull a swede 14:32:19 -!- Pouti has quit (Ping timeout: 250 seconds). 14:32:36 Phantom_Hoover: no idea. 14:33:06 meanwhile, I hate python. “TypeError: browse() takes at least 4 arguments (4 given)”. 14:39:24 Phantom_Hoover: I'm a pole 14:39:41 oh 14:39:44 that's less worse 14:40:28 Yeah, I'm a thin vertical thing rather than a vegetable 14:43:34 They're not mutually exclusive, though 14:44:00 so, FreeFull is a carrot? 14:44:56 ^ 14:44:58 Wait 14:45:00 That's a caret 14:45:03 >_> 14:49:05 -!- hogeyui____ has joined. 14:49:22 * boily shoots Roujo with a punctual bow 14:49:31 You're late, boily 14:49:35 Doesn't work like that 14:51:12 time is of no importance. space doesn't matter. empty your mind, open your soul, and receive the blessings of a Happy Meal® toy. 14:57:09 Thinking of Maud, you forget everything else 15:00:08 boily 15:00:11 why are you so violent 15:01:38 cat pacifism >> boily 15:04:28 -!- MindlessDrone has quit (Quit: MindlessDrone). 15:04:37 what's the difference between cat pacifism and normal pacifism 15:05:05 Aloofness, for one 15:07:25 -!- MindlessDrone has joined. 15:10:25 ooooooh. Vorpal has a secret identity! <-- it was my previous nick 15:11:08 -!- Pouti has joined. 15:11:30 'sup, Pouti 15:11:35 Phantom_Hoover: I am not violent. it is Beneficial Preemptive Behaviour Correction (ISO 12800⅞) 15:12:29 boily, you're like some weird belgian hitler 15:12:47 Just trying to see if i can create photoinduced anistropy in chalcogenide glasses by appropriate exposure to linearly polarized light 15:12:58 I am not Belgian! 15:13:12 Oh, I am. 15:13:47 Phantom_Hoover: Why do you associate belgium with hitler 15:14:41 i don't, i associate both with boily 15:19:07 @tell oerjan according to wiki's chart of diaphonemes to regional dialects, /poːlət/. 15:19:07 Consider it noted. 15:20:04 `echo Hats 15:20:06 Hats 15:20:17 `echo @tell Roujo Hays 15:20:18 ​@tell Roujo Hays 15:20:25 No? =P 15:20:42 Well that's a shame 15:21:26 Roujo: HackEgo is unloopable. it inserts a ZWSP before any /^[^:alpha:]/. 15:21:57 Oh 15:22:03 So it can't give commands to other bots, got it 15:22:17 ~style 15:22:17 --- Possible commands: dice, duck, echo, eval, fortune, metar, ping, yi 15:22:20 DAMMIT 15:22:21 Just make a bot with a prefix that matches [:alpha:] 15:22:24 At least I got it right =P 15:22:34 ~echo Hats 15:22:35 Hats 15:22:40 ~echo @tell Roujo Hats 15:22:40 @tell Roujo Hats 15:22:40 Consider it noted. 15:22:43 Nice 15:22:46 @messages-loud 15:22:46 metasepia said 6s ago: Hats 15:23:08 @echo Hats 15:23:08 echo; msg:IrcMessage {ircMsgServer = "freenode", ircMsgLBName = "lambdabot", ircMsgPrefix = "Roujo!~Roujo@unaffiliated/roujo", ircMsgCommand = "PRIVMSG", ircMsgParams = ["#esoteric",":@echo Hats"]} 15:23:08 target:#esoteric rest:"Hats" 15:23:15 * boily pats metasepia and gives a candy jellyfish 15:23:24 Right, @echo is a bit more involved =P 15:23:47 for no apparent reason, lambdabots picks up logs from my bot. 15:23:55 s/ts/t/ 15:27:56 actually 15:28:08 if you made a bot 15:28:27 that ignored the first character of every message send by hackego, you could make it loop 15:28:43 unless there is another defence mechanism I'm not aware of :( 15:29:19 Alternatively, I could just make Emily ignore any invisible character 15:30:04 But that would break bold and color, and I don't want that 15:30:57 you ought to make your bot join this channel. 15:31:09 I should fix her first 15:31:20 For some reason, her prefix detection is broken 15:31:52 She'll react to any keyword she knows, even if it wasn't addressed to her 15:33:23 I'm curious to see what would the aftermath of an epic fungot/Emily match would be... 15:33:23 boily: that is just a value of type is created containing the syntax for mark if he was really gonna get worse and worse each week, i fnord kara to hold me until i fell over.... 15:36:04 I'll try to fix her, then I'll bring her in 15:36:20 However, the nickname "Emily" is already taken 15:36:28 As is "Aurora", her usual alternative 15:37:24 fungot: any advice on an alternate name? 15:37:24 boily: that is just a value of type is created containing the syntax for mark if he was really gonna get worse and worse each week, 15:37:35 Well 15:37:36 Erm 15:37:39 I don't know how to take this 15:37:53 fungot: any different advice? 15:37:55 I'll start by fixing her =P 15:38:03 boily: my bot (if that was the one you meant) is even more annoying than fungot, if turned on 15:38:03 AnotherTest: perhaps, if i could but learn is when you're fairies, you probably want is broken" archives. even less chance. i called " o" in " the other side has. you came through and through and through and through and through and through and through and through and through and through and through and through and through and through and through and through and through and through and through and through and through and through 15:38:35 fizzie: There's a loop in the markov chain :( 15:38:44 Roujo: you could nick her "AndThrough" for the match. 15:38:56 Heh =P 15:38:58 AnotherTest: you have a bot? never seen it. 15:39:15 if it learns from the channel, here is a fix: through and this goes on 15:39:15 Twist: AnotherTest is his own bot 15:39:44 possibly another fix: and through because I don't know the other 15:39:51 boily: do you want to? 15:40:41 well, it has some brain damage 15:41:08 due to people on another network spamming it 15:41:09 not a problem. I am intrigued, and of a experimento-scientific mood today. 15:41:30 well I guess that's what's happenes when you give a bot op 15:41:45 it has a cool mini-programming-language-kind of thing too 15:43:35 AnotherTest: It's not the only one. 15:45:03 AnotherTest: And it might not be an actual loop in the model, I think there's some bug in fungot's interpretation of them; because I've debugged some earlier loops by asking my Perl prototyping code for the actual probabilities, and they're not quite loopy. 15:45:03 fizzie: is that something you know and and the cases that required to actually mutate the original ( sorted, perhaps, it may be said that particularly here, parliament will give a single instance, 15:46:47 AnotherTest: (If it is an actual loop, your fixes might not help, because it's most likely a loop with a longer context only; I think I need to add and through and through some exits through and through and like this.) 15:46:51 ^style 15:46:51 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot* homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 15:47:01 Ah, well, fungot style... 15:47:01 fizzie:. i'm so kind, even to assholes! anmaster no not markov anmaster no not markov 15:47:29 boily: okay here it comes. I can't enable its text generator immediately because it doesn't have a memory file yet 15:47:37 fizzie: that was another loop :p 15:48:04 AnotherTest: It's in fact a loop from some other style, copied over to fungot style. 15:48:04 fizzie: that is just a value of type " airbus is a big fan of avril....but this song " there ain't no difference from before! i'm being held prisoner on other subjects, the european council decided at its meeting on 30 april, or even this very difficult issue is discussed, it should be deleted, not merged. but new england flood of may, 1765, curwen's only child, it's ancient history now... 15:49:21 -!- epicmonkey has quit (Ping timeout: 264 seconds). 15:51:32 As a general rule, the smaller models are somewhat more prone to repetition for the obvious reason. 15:51:49 Also that's a nice blend of europarl, lovecraft and whatnot. 15:52:03 -!- Pouti has quit (Ping timeout: 250 seconds). 15:52:17 irc and youtube, I think. 15:52:53 ~duck europarl 15:52:54 The European Parliament (abbreviated as Europarl or the EP) is the directly elected parliamentary institution of the European Union (EU). 15:55:05 ^style europarl 15:55:05 Selected style: europarl (European Parliament speeches during approx. 1996-2006) 15:55:28 fungot: What do you think of the state of the economy? 15:55:31 fizzie: i voted in favour of the abolition of controls on the phasing out of single-hull oil tankers and safety in our energy policy. first of all, i would like to argue for continuing development aid. the commission is keeping a close watch on affairs, and this aid begins with the definition of works contracts, public authorities and administrations have an important role in fnord terrorists crossing from its territory into ir 15:56:01 Oh no, fnord terrorists. 15:56:31 (Also: phasing out safety in our energy policy?) 15:57:43 fungot: Are you in favour of phasing out safety in general? 15:58:04 I think it got tired of me. 15:58:28 -!- yorick has quit (Remote host closed the connection). 16:02:42 fizzie, that timeout thing on fungot is the worst btw 16:02:43 Phantom_Hoover: mr president, i plead for fnord action at the same time, try to improve the existing regulations in this sphere, like others, i approve of parliament's insistence in giving the european parliament should contemplate a debate at european level. 16:03:23 -!- conehead has joined. 16:03:41 -!- samantus has joined. 16:03:56 boily: samantus is my bod 16:03:57 AnotherTest: My bod 16:04:00 *bot 16:04:07 ?chatrate:0 16:04:08 Unknown command, try @list 16:04:18 samantus: test 16:04:18 AnotherTest: Bod bod 16:04:27 Well, don't talk to it 16:04:30 -!- zzo38 has joined. 16:04:39 I'm not in my bot's own access list 16:04:39 samantus: Bod? 16:04:40 Roujo: Command 16:04:44 samantus: Command! 16:04:45 Roujo: 16:04:45 command 16:04:50 samantus: Why 16:04:50 Roujo: Is my bod 16:04:55 samantus: Bod is my bod 16:04:55 Roujo: Is my bod 16:04:57 samantus: Bod is my bod 16:04:57 Roujo: My bod 16:04:58 samantus: Bod is my bod 16:04:58 Roujo: Bod is my bod 16:04:59 samantus: Bod is my bod 16:04:59 Roujo: Is my bod 16:05:02 Don't talk to it... 16:05:04 Oh 16:05:06 Sorry 16:05:13 it only knows like 5 sentences 16:05:32 so it's not interesting anyway 16:05:33 Most of them being about bod 16:06:15 `id "Test."; 16:06:16 > Test. 16:06:17 id: "Test.";: No such user 16:06:18 :1:6: 16:06:19 parse error (possibly incorrect indentation or mismatched ... 16:06:22 Oh, cool, that still works. 16:06:43 Ok I need to change the character that starts a command... 16:06:53 but I don't have access... so I need to restart it :( 16:07:18 -!- samantus has quit (Remote host closed the connection). 16:08:14 Hmm... 16:08:20 %help 16:08:25 Nice, open prefix 16:09:59 Hmmm... 16:10:05 All that's missing is a nick, now 16:13:20 I need two prefixed 16:13:25 *prefixes 16:13:32 -!- Emilie has joined. 16:13:41 There we go 16:13:46 -!- iamfishhead has joined. 16:14:57 She has a couple of quirks, still 16:15:04 But she should be alright 16:15:42 but they can be multiple characters wide 16:15:53 %help 16:15:56 %%% 16:16:05 iamfishead 16:16:10 Yeah, that has been on the todo list for way too damn long 16:16:13 iamfishhead: hi 16:16:22 %roll 3d5 16:16:22 Roujo: Results of 3d5: 10 <3 16:16:23 Roujo: Rolls: 4, 3, 3 <3 16:16:31 "" seems like a good command character 16:16:42 Yeah, sounds like it wouldn't be use by accident 16:17:20 -!- samantus has joined. 16:17:23 %regex compile Hi, my name is (\w) and I'm ([0-9]+) years old 16:17:23 Roujo: Pattern compiled! <3 16:17:34 %regex match Hi, my name is Roujo and I'm 22 years old 16:17:34 Roujo: No match! <3 16:17:35 I'll have "" for the command language and '' for the configuration 16:17:37 Dammit =P 16:17:42 ""id "Test". 16:17:52 ok that didn't work, samantus 16:17:52 AnotherTest: Didnt work samantus 16:18:00 %regex compile Hi, my name is ([A-z]+) and I'm ([0-9]+) years old 16:18:00 Roujo: Pattern compiled! <3 16:18:03 %regex match Hi, my name is Roujo and I'm 22 years old 16:18:03 Roujo: Match! <3 16:18:04 Roujo: Group #1: Roujo <3 16:18:05 Roujo: Group #2: 22 <3 16:18:08 There we go 16:18:16 I should probably tone down the <3 part =P 16:18:31 "id "Test." 16:19:30 22 isn't less than three at all. 16:19:36 22 is, in fact, greater than three. 16:19:59 Well 16:19:59 Well 16:20:00 ... 16:20:06 Yeah... >_< 16:20:40 is ) used yet? 16:20:44 ) abc 16:20:44 AnotherTest: |value error: abc 16:20:48 oh right... 16:21:00 what about ] 16:21:03 ] abc 16:21:24 ( abc 16:22:24 -!- samantus has quit (Remote host closed the connection). 16:22:29 ] abc 16:22:35 Heh =P 16:23:43 -!- samantus has joined. 16:24:00 "" id "I think this was the best option... if it works."; 16:24:08 -!- augur has quit (Remote host closed the connection). 16:24:12 ok it doesn't :p 16:24:24 I had a lot of trouble with this bot on a different network 16:24:50 1) because it annoys people who write in caps to much (along with other stuff) 16:25:05 2) because it eventually tries to kick those people (although it's not admin here) 16:25:23 3) because it has a (disabled) feature to annoy people at random 16:25:38 4) because you can add commands to it 16:26:01 -!- samantus has quit (Remote host closed the connection). 16:26:14 http://www.groklaw.net/article.php?story=20130818120421175 uh, wow. 16:26:45 In other words, the most annoying bot ever 16:26:49 -!- samantus has joined. 16:28:06 Point 4 looks more like a pro than a con. 16:28:38 It privmsging me " Oops, seems like something went wrong..." after that comment was definitely more a con than a pro, though. 16:28:38 fizzie: It privmsging me oops seems like something went wrong after that comment was definitely more a con 16:28:52 It seems to: keep happening. 16:29:12 yeah, I think I know why 16:29:22 "" id "Test."; 16:29:30 '' id "Test"; 16:29:42 Bike: Well crap =/ 16:30:37 fizzie: does it happen for every message you send? 16:30:49 Oh I have it too 16:31:09 I think everyone is getting annoyed, because the command character is officially the empty string 16:31:14 id "It is..."; 16:31:14 > It is... 16:31:15 :1:9: 16:31:15 parse error (possibly incorrect indentation or mismatched ... 16:31:33 -!- samantus has quit (Remote host closed the connection). 16:32:45 I hope it's fixed now, and it won't annoy you anymore 16:32:48 -!- samantus has joined. 16:33:03 ""id "Test"; 16:33:28 pff, "" is a bad choice, the configuration file thinks that's a string 16:34:10 I think I will end up using ]] 16:34:21 -!- samantus has quit (Remote host closed the connection). 16:35:09 -!- samantus has joined. 16:35:10 I would probably have done all of this in some empty channel 16:35:15 but whatever 16:46:36 That would probably be a good idea, yeah =P 16:47:20 -!- augur has joined. 16:48:03 -!- jix_ has quit (Remote host closed the connection). 16:48:14 back from lunch. so samantus is another's? 16:48:14 boily: So samantus is anothers 16:48:23 Quite 16:54:45 Yes, it is 16:54:52 I'm not really sure if it works though 16:55:19 ]] id "Does it?"; 16:55:19 > Does it? 16:55:20 :1:9: 16:55:21 parse error (possibly incorrect indentation or mismatched ... 16:55:41 It does, but lambdabot reacts due to the > 16:55:50 can't lambdabot ignore someone? 16:56:31 > Does it? 16:57:35 Something like @ignore samantus... 16:57:35 AnotherTest: Something like samantus 16:57:46 samantus: no, not something like YOU 16:57:47 AnotherTest: Not something like samantus 16:58:12 Rofl =P 16:58:24 AnotherTest: I agree. your bot is most uniquely annoying :p 16:58:48 Well, we can always just talk in notices 16:58:58 But that's a tad annoying-er 16:59:54 I'm pretty sure lambdabot can in fact ignore someone, but you need to be a more powerfuller person to set it to do so. 16:59:57 -!- iamfishhead has quit (Read error: Operation timed out). 17:00:16 who is the powerfullest of this channel? is it elliott? 17:00:29 In regards to lambdabot, that's a safe bet. 17:00:33 (Doesn't he run it these days?) 17:00:52 I believe there are some other lambdabot operators on channel too. 17:00:56 -!- ^v has joined. 17:01:31 -!- scoofy has joined. 17:01:39 -!- jix has joined. 17:03:09 boily: it is. 17:03:27 it gets better as it learns more though 17:03:39 doesn't it, samantus? 17:03:39 AnotherTest: It samantus 17:03:42 ok no 17:04:18 -!- mnoqy has quit (Quit: hello). 17:06:06 @admin 17:06:06 Not enough privileges 17:06:10 Aw, I was hoping for a list. 17:06:18 @list admins 17:06:18 No module "admins" loaded 17:06:22 :( 17:06:41 Only admins are permitted to know who the admins are. 17:06:42 It'd be "@ignore + somebody", but that also needs privvelegs. 17:07:50 @list admin 17:07:50 system provides: listchans listmodules listservers list echo uptime 17:08:01 @admins 17:08:01 Not enough privileges 17:08:05 Well crap 17:08:15 @check privilege 17:08:16 Not in scope: `privilege' 17:08:24 Now that's just sad 17:08:46 -!- Taneb has quit (Quit: Leaving). 17:09:46 haha 17:10:24 sorry, you can't rely on a bot to check your privilege for you! :3 17:10:39 Gregor: Not even admins are permitted to know. 17:12:29 ]]whois "lambdabot"; 17:12:30 > lambdabot is an annoying person/bot. 17:12:31 :1:37: 17:12:31 parse error (possibly incorrect indentation or mismatched... 17:12:33 see 17:13:00 ]]whois "boily"; 17:13:00 > boily is an annoying person/bot. 17:13:01 :1:33: 17:13:01 parse error (possibly incorrect indentation or mismatched... 17:13:05 beuh. 17:13:14 boily: I just wrote that quickly :( 17:13:37 Nice outlook on the world: everyone's an annoying person/bot. 17:14:00 ]]whois $x = add $x " is a VERY annoying person/bot (just not boily and AnotherTest)"; 17:14:11 ]]whois "fizzie"; 17:14:11 > fizzie is an annoying person/bot. 17:14:16 hmmm 17:14:22 oh I made an error 17:14:26 :1:34: 17:14:26 parse error (possibly incorrect indentation or mismatched... 17:14:37 ]]whois $x = add $x " is a VERY annoying person/bot (just not boily and AnotherTest)"; 17:14:38 * ^v knocks out kmc with a hammer and begins peeling off large portions of his skin, ^v then ties kmc to a ceiling fan where he repeatively is hit in the head by lamps 17:14:43 ew irssi 17:14:46 don't do enter 17:15:15 Welp 17:15:19 Internet is going down here 17:15:19 ]]let whois $x = add $x " is a VERY annoying person/bot (this does not apply to boily/AnotherTest)"; 17:15:23 TTYL 17:15:24 ^v: what did kmc do to warrant such helicoïdal ceiling punishment? 17:15:30 Roujo: à à plus! 17:15:34 ]]whois "Roujo"; 17:15:34 > Roujo is a VERY annoying person/bot (this does not apply to boily/AnotherTest) 17:15:35 Not in scope: data constructor `Roujo'Not in scope: `is' 17:15:35 Perhaps you meant... 17:15:36 see 17:15:46 ah! 17:16:12 It could do if statements although I think I would have to add a built-in function for that 17:16:35 what 17:20:19 -!- Emilie has quit (Ping timeout: 264 seconds). 17:20:39 ]] mul "kmc" 5 17:20:42 oh damn 17:20:48 ]] mul "kmc" 5; 17:20:48 > kmckmckmckmckmc 17:20:51 Not in scope: `kmckmckmckmckmc' 17:21:57 ]] cat "1" mul "+ 1 " 5; 17:22:42 ]] add "1" (mul "+ 1 " 5); 17:22:43 > 1+ 1 + 1 + 1 + 1 + 1 17:23:04 6 17:23:05 Harken to the Voice of KmcKmcKmcKmcKmc! Listen to His Paroles and Questionments! Hear the Ceiling Fan Fwop Him Around Lamps! 17:23:17 I was under the impression that either kmc or shachaf were lambdabot mad-mins. If that's the case, one of them could maybe have it ignore that bot? 17:23:18 cross-bot haskell 17:23:22 look at that 17:23:43 (There's only so many "parse errors" and "not in scopes" that a person can take.) 17:23:45 ]] add "1" (mul "+ 1 " 5); 17:23:45 > 1+ 1 + 1 + 1 + 1 + 1 17:23:46 6 17:24:06 can you chain metasepia to the haskell delegation? 17:24:25 fizzie: behold the uncropped error messages that a marine animal can produce! 17:24:30 fizzie: I don't see parse error there :) 17:24:31 ~echo ]] add "1 " (mul "+ 1 " 5); 17:24:32 ]] add "1 " (mul "+ 1 " 5); 17:24:32 > 1 + 1 + 1 + 1 + 1 + 1 17:24:33 6 17:24:39 i'm not 17:24:40 :t mconcat .: replicate 17:24:41 hth. 17:24:42 Not in scope: `.:' 17:24:42 Perhaps you meant one of these: 17:24:42 `.' (imported from Data.Function), 17:24:45 but i think shachaf is 17:25:05 :t let (.:) = (.).(.) in mconcat .: replicate 17:25:06 Monoid c => Int -> c -> c 17:25:52 ]] add "1" mul "* 5" 10 17:25:56 ]] add "1" mul "* 5" 10; 17:25:56 > 1* 5* 5* 5* 5* 5* 5* 5* 5* 5* 5 17:25:57 9765625 17:26:29 I wonder whether I an actually trick it into an infinte loop 17:26:34 can we not. 17:26:46 New bot implies new botloops, I suppose. 17:26:58 ]] let inf_loop = id inf_loop; 17:27:07 ]]inf_loop; 17:27:13 ]] add 5 5; 17:27:14 Oh, that sort of loop. 17:27:22 I think it worked 17:27:38 ^ignore 17:27:38 ^(EgoBot|HackEgo|toBogE|Sparkbot|optbot|lambdabot|oonbotti|metasepia|jconn)! 17:27:42 kmc: not legitimately 17:27:47 heh 17:27:49 hm, it didn't 17:27:50 (unless that's what "mad-min" means) 17:27:51 -!- asie has joined. 17:27:55 ^ignore ^(EgoBot|HackEgo|toBogE|Sparkbot|optbot|lambdabot|oonbotti|metasepia|jconn|samantus)! 17:27:56 fizzie: Was kmc 17:27:56 OK. 17:28:08 (Just pre-empting.) 17:28:12 why was I attacked by ^v just now 17:28:20 so if we get fungot to say samantus 17:28:20 AnotherTest: If we get fungot to say samantus 17:28:23 AnotherTest: madam president, it is customary to accept roll-call votes after time. finally, i want to highlight the derisory nature of this parliament the development and promotion of cultural diversity, but these certainly will not be helpful to consumers either, since the proposal has been welcomed by many speakers in the debate, because peace, one of your colleagues will be voting in the various countries of the union, not 17:28:26 fizzie: could you subtly, like, I don't know, maybe accidentally, perhaps, unignore metasepia? like, in a totally fortuitous manner. 17:28:40 well that should be easy 17:28:47 somehow i doubt nixon has said "samantus" 17:28:47 Bike: Said samantus 17:28:51 Thanks 17:29:01 ]] id "Hi, fungot."; 17:29:01 > Hi, fungot. 17:29:02 :1:3: parse error on input `,' 17:29:03 AnotherTest: commission. ( de) mr president, i wish to emphasise that between the first and the third pillar into the community legal order and its shared institutions mean that it has to be done in relation to farming. one of the most alert, able and fnord of this parliament, as the treaties have to be accompanied by an exhaustive study. the council could not amend the social partners, the us should pause and reflect on the co 17:29:04 samantus: who was kmc? what was his secret identity? is he also Vorpal? 17:29:04 boily: His secret identity is he also vorpal 17:29:15 I knew it! 17:29:15 samantus: what do you do? 17:29:16 kmc: Do you do 17:29:28 Oh, so fungot already ignores samantus? 17:29:28 AnotherTest: Fungot already ignores samantus 17:29:29 AnotherTest: madam president, i also believe it is most unfortunate that an exception should not constitute a means of channelling the future funding of development projects in south africa, the meda programme was threatened until last night. the years go by and i hope that you will be putting forward ideas for joint management and, above all, we have no truck with greedy financial cheats certainly not with the intention of the 17:29:37 AnotherTest: That's what the ^ignore there was all about. 17:29:50 fizzie: ah, I missed that 17:29:52 boily: What, do you have a fungot botloop you've been itching to test or something? 17:29:53 fizzie: mr president, i will conclude, if we could in fact stir up ill-feeling, resentment and a great french diplomat used to say, therefore, that learning at least two areas: the establishment of information systems is what it is defending. this is a growing problem. according to the most recent elections in east timor, despite being full of good intentions, through good management of these processes and three-quarters of the 17:30:00 > "samantus"; 17:30:01 AnotherTest: Ideas if 17:30:02 :1:11: parse error on input `;' 17:30:12 > "samantus" 17:30:12 AnotherTest: The character 17:30:13 "samantus" 17:30:13 lambdabot: I send 17:30:22 fizzie: me? oh. no. absolutely not. what would make you believe that? 17:30:27 hm, lambdabot buts spaces 17:30:33 ^ignore 17:30:43 europarl is nice, but does result in somewhat overly long lines. 17:30:44 pretty sure you need fizmin powers. 17:30:51 (Those politicians, they're so verbose.) 17:31:05 samantus doesn't seem to be learning a lot 17:31:05 AnotherTest: To be accompanied by an exhaustive study the council could not amend the social partners the us should pause and reflect on the everyones an annoying 17:31:13 ah, it's finally starting 17:31:18 fungot helps 17:31:20 AnotherTest: i think i made myself understood. indeed i fear that we would like to know the commission's point of view, we in the european parliament and the constitutional court' s statute. this will provide the opportunity for which i thank you for them, because they too have their dignity and it is time for us to develop a strong eu foreign policy and development aid for bolivia. as one of you makes use of funds for objectiv 17:31:38 so now we have a bot learning from a bot 17:32:27 ^ignore ^(EgoBot|HackEgo|toBogE|Sparkbot|optbot|lambdabot|oonbotti|jconn|samantus)! 17:32:27 fizzie: Fact comment 17:32:27 OK. 17:32:38 I suppose in the interests of scientific inquiry... 17:33:10 fizze: could you remove samantus from that list just to test :D? 17:33:10 AnotherTest: You remove samantus from that list just to test or something 17:33:28 ^ignore ^(EgoBot|HackEgo|toBogE|Sparkbot|optbot|lambdabot|oonbotti|jconn)! 17:33:29 OK. 17:33:42 okay, I will close it if things get too bad 17:33:55 I'll re-add it if I stop monitoring the situation. 17:34:06 ]] id "Hi, fungot. What's up?"; 17:34:06 > Hi, fungot. What's up? 17:34:07 AnotherTest: mr president, commissioner, we expect really concrete proposals permitting very rapid progress. in the second world war. of course, it will be particularly beneficial in all aspects relating to sexual and reproductive health, the protection of the environment and the rapporteur will have the possibility of declaring biological rest periods on the basis of article 103a, analysis and an indication of the european fam 17:34:07 samantus: i should like to thank the rapporteur for his report on the revision of the treaty of amsterdam provided the european union 17:34:07 fungot: Treaty of amsterdam provided the european fam 17:34:08 :1:3: parse error on input `,' 17:34:08 samantus: the fnord report, and i hope that the council understands parliament' s committee chairpersons, whose work will be needed, since illegal immigrants living in several european countries. 17:34:08 fungot: Whose work will be voting in the debate because peace one of you makes use of funds for objectiv 17:34:08 samantus: madam president, ladies and gentlemen, we have the difficulty of attracting researchers to this field. 17:34:08 Anyhow, the logs have some quite impressive botloops. 17:34:08 fungot: Of attracting researchers to this field 17:34:09 samantus: mr president, commissioner, i will reiterate the facts of that case. but the court of justice. examples of this could now be effectively carried by members of parliament have shown throughout the conciliation procedure has thus very quickly led to a serious irregularity: we are no nearer to achieving the objectives it has set up a group of fnord, a serious malfunction in the department of mrs wallstrm, has announced, 17:34:09 fungot: Parliament have shown throughout the conciliation procedure has thus very quickly led to a serious malfunction in the second world war of course it will be putting forward ideas for joint management and above all we have a bot 17:34:11 ^ignore ^(EgoBot|HackEgo|toBogE|Sparkbot|optbot|lambdabot|oonbotti|metasepia|jconn|samantus)! 17:34:11 fizzie: To bet 17:34:11 OK. 17:34:20 holy botloop, batman. 17:34:42 I guess my ^ignore was kind of unnecessary, because fungot would've stopped at that point even without it. 17:34:43 fizzie: madam president, there are some things which have direct impact. years ago, the european institutions. 17:34:50 (There's the only-four-messages-in-a-row rule.) 17:34:55 Respecting the RFC would obliterate any possibility of a bot loop. 17:35:09 ion: there are standards? 17:35:10 ^ignore ^(EgoBot|HackEgo|toBogE|Sparkbot|optbot|lambdabot|oonbotti|jconn|samantus)! 17:35:10 fizzie: I first 17:35:10 OK. 17:35:17 ion: That'd be so 1980s. 17:35:22 boily: For bot/human communication, yes. 17:35:36 boily: bots are supposed to use notices instead of privmsgs. 17:35:44 meh. 17:35:47 boily: There’s a dedicated command for bot messages. Bots aren’t allowed to trigger stuff from them, only human messages. 17:36:11 -!- azaq23 has joined. 17:36:16 I reiterate: meh. 17:36:22 ion: samantus isn't a bot, it's a real person! 17:36:23 AnotherTest: Real person 17:36:43 `relcome azaq23 17:36:45 ​azaq23: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 17:36:49 I will only believe she is a real person when she adds a random delay before responding. 17:37:09 samantus: what nationality are you? 17:37:10 boily: Nationality are you 17:37:55 ion: I did that once. Except it wasn't random. I calcuated using the average reading and typing speed of a human 17:38:30 -!- copumpkin has quit (Ping timeout: 256 seconds). 17:38:41 ]] mul 5 whois "ion"; 17:38:42 > ion is a VERY annoying person/bot (this does not apply to boily/AnotherTest)ion is a VERY annoying person/bot (this does not apply to boily/AnotherTest)ion is a VERY annoying person/bot (this does not apply to boily/AnotherTest)ion is a VERY annoying person/bot (this does not apply to boily/AnotherTest)ion is a VERY annoying person/bot (this does not apply to 17:38:42 boily/AnotherTest) 17:38:42 :1:362: 17:38:43 parse error (possibly incorrect indentation or mismatche... 17:38:59 -!- copumpkin has joined. 17:42:53 `relcome samantus 17:42:53 AnotherTest: Lambdabot 17:42:55 ​samantus: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 17:43:35 (I guess since he didn't get that yet, now was the time) 17:44:13 I fear it is generating a very long message 17:46:29 -!- sacje has joined. 17:48:03 There is a noticeable delay when fungot is generating long sequences of babble; it's perhaps not terribly optimized code. 17:48:03 fizzie: mr president, commissioner, that those of us from andalusia ask this parliament to get to grips with this is to be hoped that parliament will probably extend tomorrow does nobody any service. then, things will change and meetings will become frequent, because that is what we need now is to join. 17:48:19 are there any best practices on optimising befunge? 17:48:34 samantus: are you still alive? 17:48:34 AnotherTest: Are you powerful 17:48:45 samantus: ohhh, yes I am very powerful 17:48:45 AnotherTest: Yes i am powerful 17:49:04 boily: Not that I know of, but you could derive some by looking at the implementation strategies in implementations that see use in production environments. 17:49:15 samantus: I didn't ask you. I told you. Do you understand the difference? 17:49:15 AnotherTest: Understand the difference 17:49:21 ok, nope you don't 17:49:48 fizzie: you mean to say there is live befunge in production environments? 17:49:59 boily: Well, what do you call fungot? 17:49:59 fizzie: mr president, thank you for your thoughts, suggestions and criticisms. this also offers new opportunities and new resources for investment in third countries. 17:50:20 fizzie: oh hm. yeah. I had a brain lapse for a moment there. 17:51:10 fizzie: the difference between samantus and fungot is that samantus uses words from the input as the first words for its message. I'm not sure whether this is actually good. 17:51:10 AnotherTest: Its message im not sure whether this is to be a good idea yeah 17:51:10 AnotherTest: mr president, safety aspects also militate against completion of the internal market. 17:51:54 fungot: Stop trying to show off your education by using words like "militate". 17:51:55 fizzie: madam president, ladies and gentlemen, we live in the dignity that is the difference between an observatory and an agency. this agency will be active soon, because it would then be the international community must not only ensure that appropriate rules exist. the mafia does not exist. 17:52:56 samantus: Would you like another botwar? 17:52:57 AnotherTest: Would you like another botwar 17:53:20 fizzie: we could have them join another channel 17:53:30 I think samantus could learn a great deal from fungot 17:53:31 AnotherTest: Samantus could learn a great deal from fungot 17:53:31 AnotherTest: mr president, firstly, to ensure that the authority at community level. another point which gives cause for concern. nevertheless, it must be acknowledged that the chapter on employment in the european consumer. 17:54:04 AnotherTest: I can join it wherever you like, but it won't reply more than four lines consecutively to any one person, to prevent loops. 17:55:17 fizzie: oh :( can't you disable that? 17:57:10 Not on a per-channel basis, no. 17:57:18 And running a second instance sounds a bit too much like work. 17:57:59 :( 17:58:09 andd I just got warned! 17:58:14 god this bot is annoying 18:12:46 -!- doesthiswork has joined. 18:19:17 -!- KingOfKarlsruhe has joined. 18:21:03 -!- Taneb has joined. 18:26:31 ugh, why doesn't tr do its output incrementally? 18:26:50 anyone know a utility that will? 18:27:38 coppro: you could “perl -e” it? 18:27:59 GNU sed has a -u "unbuffered" mode. 18:28:39 "load minimal amounts of data from the input files and flush the output buffers more often" 18:28:51 "unbuffered" = "flush buffers more often"? 18:29:02 I thought "unbuffered" = "no buffers to flush" 18:29:21 maybe they mean medium-rare buffered? 18:29:33 Deewiant: "Buffer both input and output as minimally as practical," to quote the manual. (Guess the name is a bit of a misnomer.) 18:30:43 If it passes values greater than 1 to read I am disappoint 18:31:12 I think you will be disappoint, then. 18:51:18 -!- Bike_ has joined. 18:52:05 -!- Bike has quit (Quit: Reconnecting). 18:52:08 -!- Bike_ has changed nick to Bike. 18:57:55 -!- epicmonkey has joined. 18:59:04 -!- iamfishhead has joined. 19:02:01 http://archive.org/stream/bitsavers_philipsbrorochure1971_11672553/P850_P855_P860_Brochure_1971#page/n1/mode/2up memory cycle time is down to 1.6 µsec. 19:02:50 Bike: 840 nanoseconds!! 19:02:58 up to 32000 16-bit words! 19:03:06 not one, but two fortran compilers 19:03:13 gosh old computers are great <3 19:03:16 and two different one-pass assemblers 19:03:19 I wrote a program that draws the dragon curve 19:03:42 The dragon curve it drew is here: http://www.vandoorn.talktalk.net/Nathan's_Stuff/d.svg 19:04:02 What might be useful for some people is a Lisp variant which is designed for compiling into limited domain-specific virtual machines by programming their specification using that programming language itself; it would also include an interpreter to run directly and then compile whatever needs to compile, into a different VM. 19:04:24 Taneb: I made one too! http://zem.fi/?logo=ldragon 19:05:01 Your one is more animaty than mine 19:05:20 But mine is more detailed than yours 19:05:23 zzo38: i'm not sure i can imagine a specification language for arbitrary machines. 19:05:34 Taneb: You can replace "ldragon" with "ifsdragon" to get the IFS version. 19:05:57 Wow 19:06:07 there's an IFS version of the dragon curve? 19:06:23 woooooooah... duuuuuuude... 19:06:25 boily: Yes. It's just two affine transformations. 19:06:55 [0.5 -0.5 0; 0.5 0.5 0] and [-0.5 -0.5 1; 0.5 -0.5 0]. 19:07:08 fizzie: that reminds me I hacked a javascript IFS generator some time ago. it crashed firefox in a rather spectacular manner. 19:07:46 There is a dragon curve in TeX, too. 19:08:20 well, i guess you could do verilog or something, that's probably not what you have in mind though, and you've already complained about things you've wanted in verilog. 19:08:48 hum. I have an unknown «.sln» file in a temp folder somewhere. what the fungot could it be. 19:08:48 boily: madam president, mr salafranca, i understood your excellent report on which everyone agrees is needed at the end of the british government and of suppliers of internet products. they are now forced to recognize that, in drawing up my report. 19:09:27 The end of the British government? Sounds dramatic. 19:09:51 a Visual Studio Solution file??? Sounds foreboding. 19:10:05 (seriously, what the hell am I doing with that.) 19:10:24 http://www.alislam.org/books/truth/british.html Well 19:10:31 anyone here who uses Visual Studio? 19:11:10 Bike : An idea is, the program will be written in this Lisp variant, which has the codes to specify translation into a simpler VM, such as checking if it is adding, dividing, etc, and then also features specific to the target VM. 19:11:45 i dont unerstand. 19:12:27 boily: Does Visual Studio 6 count? 19:12:49 no idea. want to check the file? 19:13:07 I've always wanted to. 19:13:24 -!- Taneb has quit (Read error: Connection reset by peer). 19:13:40 -!- Taneb has joined. 19:14:00 (Version 6 didn't have .sln files, though; it's from the versions numbered 20xx, I think.) 19:14:15 darn. oh well, here goes the link: https://www.dropbox.com/s/xif4owzeba45a41/electro.sln 19:14:54 Unless they've changed things around, that's not a Visual Studio solution file. 19:15:11 It at least used to be a text-based format. 19:15:22 See http://msdn.microsoft.com/en-us/library/bb165951(v=vs.90).aspx for a VS2008 example, for example. 19:16:36 the file utility only says that it's data. 19:16:41 Bike: I don't really entirely know either. What I mean though is you have some function which reads some intermediate instructions (it might even read itself!) and then compiles it as a add instruction, branch instruction, etc, into a bytecode buffer, which might be used by a secondary optimizer and various other things, pass that result to another function to build the executable file for the VM. 19:17:16 oh, so just providing a standard VM to assemble from. Is that like LLVM? 19:17:34 Bike: I suppose a little bit like it, but not really a lot like it. 19:17:44 helpful 19:18:23 zzo38: you're particularly hthian today, if I may say so. 19:18:53 boily: It's a sound file. 19:19:04 For one thing LLVM is for more powerful computers, not domain-specific VM, and lacks some other features; it also has some features which are too strong, and doesn't generally write itself (it isn't Lisp). 19:19:12 boily: A not too shabby-sounding techno song, based on the first five seconds. 19:19:41 fizzie: oh. what did you use to play it? 19:19:47 boily: I don't know how to determine the real sampling rate, but you can get a listenable version with sox -t raw -e signed-integer -b 16 -c 1 -r 16000 electro.sln something.wav. 19:19:58 It might be accidentally down- or upsampled a bit. 19:20:07 Also mixed to single channel from two, or something. 19:20:41 Asterisk has a linear-pcm file format called "SLINEAR" with a .sln extension. 19:20:46 AH! 19:20:51 a remnant from asterisk! 19:20:59 thanks fizzie! :D 19:21:23 now I understand why I had an mp3 along with it. those were experiments with Asterisk. 19:21:52 -!- augur has quit (Remote host closed the connection). 19:21:58 How similar does the mp3 sound to that sox output? 19:22:12 lemme upload the mp3. 19:23:16 https://dl.dropboxusercontent.com/u/2023808/Electronic_Attack_-_Salzmanufaktur_-_Minimental.mp3 19:23:19 Some machines I expect can be target can include Z-machine, Nintendo Family Computer, Glulx, Z80, and others. 19:23:35 speaking of Z80 19:23:41 (Maybe even TADS) 19:23:58 (and MegaZeux Robotic bytecode) 19:24:00 I'm having trouble connecting my TI84+ with my laptop with debian on it 19:24:16 TiLP doesn't seem to detect it 19:24:56 boily: Seems that it should've been 8 kHz, which I suppose makes more sense in a telephony context. (Though not *that* much more sense! We live in the age of AMR-WB and all.) 19:27:26 hm, maybe in my FPGA class i could try out some fucked up processor architectures, like tree-based 19:28:15 fizzie: Not to mention Opus. 19:28:46 zzo38: any suggestions for fucked up architectures? 19:28:46 But alas, 8kHz 8 bit mu-law will be here forever. 19:29:01 Funny fact: "typical" pitch for a male speaker (around 100 Hz) is not part of the frequency spectrum carried by a regular telephone line (300 to 3400 Hz), yet people don't perceive a notable difference in the pitch of a speaker over the phone. 19:29:02 fizzie: well, Asterisk is a little bit weird when it comes to sampling rates. 19:29:21 fizzie: we don't? 19:29:22 Bike: I don't know. 19:29:30 fizzie: That figure seems remarkably low. 19:29:34 zzo38: come on, you know all kinds of weird architectures. 19:30:09 any suggestions for connecting my ti device :(? 19:30:25 Bike: Well, I mean, you can say it sounds vaguely "low-quality", but that's about all. (Because the harmonics are all in the same place.) 19:30:28 Bike: Look in esolang wiki; some things I have written about and some you can see in other pages I have linked to 19:30:34 pikhq: Which figure? 19:30:34 AnotherTest: /dev/ttyUSB0 like a manly man? 19:30:46 wow, a whole wiki for weird computer stuff. why didn't i think of that! 19:30:47 fizzie: 100 Hz. 19:30:53 (seriously thanks i actually wasn't) 19:31:07 pikhq: Well, maybe it's closer to 120 Hz, but it's somewhere around there. 19:31:42 fizzie: oh, is it the missing... uh... whatever you call it. where you cut out the "main" (wrong word) tone but all the higher harmonics are there so people hear it illusionarily 19:31:54 missing fundamental! 19:32:46 Bike: It's that sort of thing, right. 19:33:01 Especially when you consider that the *low* end of a tenor's range is 130 Hz. 19:33:09 oh, it's in the wikipedia article. "Most common telephones cannot reproduce sounds lower than 300 Hz, but a male voice has a fundamental frequency approximately 150 Hz. Because of the missing fundamental effect, male voices still sound male over the telephone.[20]" 19:33:22 Bike: Some of the things in esolang wiki are related to computer hardware, so that is the parts I meant. 19:33:28 Well, you know, speaking is not singing. 19:33:28 -!- yorick has joined. 19:33:35 zzo38: right. i'll look, once i get my fpga 19:33:40 boily: would it help if I installed libusb 19:33:48 http://itre.cis.upenn.edu/~myl/languagelog/archives/004974.html has a graph where the range seems to be something like 80-140 Hz. 19:33:52 fizzie: No, but the singing pitches roughly correspond to speaking pitch. 19:34:14 (It's about finding a relationship between number of offspring and voice pitch.) 19:34:33 Someone who sings tenor will tend to speak at frequencies somewhere within the tenor range. 19:34:53 Another idea I have is Z-machine interpreter in Verilog (or VHDL). 19:35:23 "Stemple, et al., report a mean fundamental frequency for male voices of 106 Hz with a range from 77 Hz to 482 Hz. For female voices the mean was 193 Hz with a range from 137 Hz to 634 Hz. These averages were based on the production of a sustained vowel /a/." 19:36:30 * pikhq *was* aware that a significant amount of the variation in voices was not because of the fundamental frequency, though... 19:37:04 One thing on esolang wiki, though, is TOGA computer; I think it can be implemented using only a small number of 74xx series ICs. 19:37:10 I've never done any speaker identification stuff, and in speech recognition we try our very best to ignore all this speaker-dependent stuff. :p 19:37:39 great, now i want to quantify my voice's timbre. 19:37:49 so is the fundamental frequency, like, the lowest peak frequency in a spectrum chart? 19:37:54 not that that's a sensible thing, i guess 19:38:32 Bike: You can probably use Praat to start with -- http://www.fon.hum.uva.nl/praat/ -- it's very popular, esp. among the more human-oriented folks. 19:38:36 Fiora: Typically. It's also the one of highest amplitude in a spectrum chart. 19:38:50 Fiora: when you perceive a pitch what you're actually hearing is some frequency (the fundamental) along with higher "overtones" at integer multiples of the fundamental frequency. so if you talk at 200 Hz, there are overtones at 400, 600, bla bla. 19:38:59 * Fiora pulls up the audacity spectrum plotter thing and tries it on her voice recordings from before 19:39:00 One of the ICs is a programmable binary counter. 19:39:03 * Fiora finds an "a" 19:39:14 that's not a real phoneme!!! 19:39:20 231hz, 459hz, 701hz, 947hz ... 19:39:32 I guess that's pretty near the mean 19:39:39 Fiora: You might want to invest in a piece of software that can generate a spectrogram, things are very much clearer when you get some time dimensions in there. 19:39:52 sox can. :) 19:39:57 (At least last I looked, Audacity just computes a spectrum from a selected snippet.) 19:40:00 Bike: “a” is not a phoneme? 19:40:07 well, it's a letter. 19:40:07 yeah, I just selected a medium-pitch vowel sound XD 19:40:22 actually I think it was a schwa. 19:40:30 Got a decent bit of use out of it when I was writing a square wave generator for no good reason. 19:40:33 Fiora: If you plot a spectrogram, you can see the formant tracks with some clarity. 19:40:57 shit what's a formant 19:41:12 Bike: They're the resonances of the whatsitcalled, the tube. 19:41:21 wat 19:41:26 It was particularly silly, too. Additive synthesis and dither. 19:41:32 Bike: significative peaks that uniquely define a sound. 19:41:33 no samantus you may fucking not 19:41:34 Bike: Samantus you may fucking not 19:41:36 wat 19:41:39 haha every time 19:41:41 fuck you man 19:41:44 Bike: Vocal tract! That. 19:41:49 Bike: me? 19:41:53 samantus: flblblblblbl. 19:41:54 boily: If function 19:41:54 fizzie: oh like part of the anatomy 19:41:57 boily: try saying "wat" 19:42:08 * boily says «ouatte» 19:42:11 Bike: It gets modelled as a variable-diameter cylinder all the time. 19:42:14 no, jjust wat by itself 19:42:22 test 19:42:56 yes. I did say wat. maybe with a slight French accent, but wat. 19:43:03 just itself on a line. 19:43:05 wat 19:43:16 oh. 19:43:18 oic. 19:43:22 thank you. 19:43:37 samantus: go fungot yourself. 19:43:37 boily: Go fungot yourself 19:43:38 boily: we all want to see that our issues are given the opportunity of presenting to you the message that we are one of the points of difference between parliament's committee on the environment, public health and consumer policy are not great in monetary terms to the importance of the issue we are now drafting a european union rule and making it possible for us to do. 19:43:50 -!- doesthiswork has quit (Quit: Leaving.). 19:43:51 ^style irc 19:43:52 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 19:44:00 The europarl is a bit too noisy for permanent use. 19:44:04 boily: You must understand that samantus is still in a young phase of his life. He must learn a lot. 19:44:04 AnotherTest: A young phase of his life he must learn a great french diplomat used to be accompanied by an exhaustive study the council could not amend the social partners the us should pause and reflect on the co 19:44:26 odd conversation to have on irc 19:44:27 AnotherTest: has it reached the “no” phase yet? 19:44:34 Bike: nothing is odd on IRC. hth. 19:44:36 fizzie: behold the damage thou hast done! (or rather your bot) 19:44:53 fungot: Shame on you. 19:44:54 fizzie: i understand that far 19:44:57 fizzie: well now i'm realizing i've never really looked into the anatomy of speech despite hearing about it :V 19:45:15 "there are, like, cords??" -- me 19:45:23 samantus: Willst thou draw near the nature of the gods? Draw near them then, in being merciful. 19:45:23 AnotherTest: The nature of this could now be effectively carried by a regular telephone line 300 to 3400 hz yet people dont perceive a pitch what youre actually hearing is some frequency the fundamental frequency so if you talk at 200 hz there are some other lambdabot operators on channel too 19:45:43 heh 19:46:33 That was a good one 19:46:36 fizzie: oh, reminds me, you know this is up now: http://archive.org/details/bstj-archives 19:46:39 I'm proud of you samantus 19:46:39 AnotherTest: Proud of you samantus 19:46:55 Ok, now I'm no longer proud of you. Stupid samantus. 19:46:56 AnotherTest: No longer proud of you makes use of funds for objectiv 19:47:06 Bike: I did not know that was up. 19:47:40 samantus 19:47:40 AnotherTest: According also 19:47:41 well now you do. i don't know if it has anything in there that's relevant to you but whatever. 19:47:53 samantus: Please tell me something I didn't know. 19:47:53 AnotherTest: Please tell me something i didnt ask you i told you do 19:48:02 Bike: I might have cited a BSTJ paper somewhere, there's a lot of "first published there" stuff. 19:48:30 Quite a lot of it is of course bit more telecoms than what I do. 19:48:46 `quote telecom 19:48:48 1003) I hate telecom abbreviations I hate telecom abbreviations good morning all I hate telecom abbreviations. 19:49:51 Our colleagues from one floor down have been dabbling with it more, doing things like bandwidth extension. (It's when you have speech gone through something horrible like narrowband AMR, and then you invent spectral content for the >4 kHz band out of whole cloth so that it sounds better. 19:50:28 (Possibly also the low end.) 19:50:51 one floor down here is an architect company named «Gross Kaplin Coviensky», abbreviated to «GKC». 19:51:09 It's the kind of thing where you need to do a lot of subjective experiments, because optimizing for "sounds good" is kind of hard to objectively measure. 19:51:12 in French, the letters are homophonous to «j'ai cassé», which means “I broke”. he he he :D 19:51:28 (They've got oodles and oodles of metrics that correlate more and less with subjective test results.) 19:52:52 -!- oklopol has joined. 19:54:46 samantus: Why isn't the TI device ready? 19:54:46 AnotherTest: The ti device 19:54:53 ok, samantus isn't helpful 19:54:53 AnotherTest: Isnt helpful 19:54:55 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 19:55:23 samantus: badger badger badger badger samantus samantus! 19:55:23 boily: Badger badger badger badger badger badger badger badger badger badger samantus samantus 19:55:27 :D 19:55:29 samantus: Helpful. 19:55:29 fizzie: Over tell 19:56:14 AnotherTest: I like your bot. the only thing it's missing right now is a good “Error(127)”. 19:56:57 boily: try the infinite loop :p 19:57:15 ]]whois "boily"; 19:57:15 > boily is a VERY annoying person/bot (this does not apply to boily/AnotherTest) 19:57:16 Not in scope: `boily'Not in scope: `is' 19:57:16 Perhaps you meant one of these: 19:57:16 ... 19:57:23 it likes you! 19:57:49 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:58:29 ]]let aaah = add mul "a" 10 mul "h" 5; 19:58:36 ]]aaah 19:58:42 ]]aaah; 19:58:42 > aaaaaaaaaahhhhh 19:58:43 Not in scope: `aaaaaaaaaahhhhh' 19:59:08 ]] hm 20:07:43 I like how sox's -w argument was changed to -2, and now it's -b 16. They just can't make up their minds. 20:07:58 (From "word" to "two bytes" to "bits: 16".) 20:07:58 cool, I managed to connect with my calculator, somehow 20:08:28 -!- sacje has quit (Ping timeout: 259 seconds). 20:09:35 -!- sacje has joined. 20:27:58 i like how intel ruined the word "word" 20:28:38 double quadword! 20:28:45 double double quadword! 20:28:59 yup :) 20:30:39 Octoword. 20:31:10 punpcklqdq! 20:31:41 Nasm has db, dw, dd, dq, do and dy for 8, 16, 32, 64, 128 and 256 bit data definition pseudo-ops. 20:32:10 (Byte, word, dword, qword, octoword and... well, ymm-register-word.) 20:32:18 (And of course also dt for "tenbyte".) 20:32:30 d...y? 20:32:39 @_@ 20:32:45 I' 20:32:50 I've never used do and dy, I guess 20:33:41 They don't accept numeric constants, the manual says. 20:33:53 It isn't terribly forthcoming as to what they *do* accept. Strings, I suppose. 20:34:05 that reminds me of the thing I experimented with a bit back, where like, I think nasm didn't support bigints internally, but yasm did? 20:34:20 so like, you could write arbitrary precision arithmetic in your code and yasm wouldn't break but nasm would overflow 20:34:56 -!- samantus has quit (Remote host closed the connection). 20:34:57 maybe that's why it can't do 128-bit constants, because they're larger than the internal integer representation? 20:35:09 Sounds very possible. 20:36:00 It says that you can give a floating-point constant to do. 20:36:09 I guess that'd be 64-bit? 20:36:13 wait, do? @_@ 20:36:14 No, it's 128 bits. 20:36:17 ... 128-bit... floats? 20:36:34 There's an IEEE standard for it. 20:36:34 I could understand that with dt I guess 20:36:41 yeah, but like, do any of the CPUs it does support it? @_@ 20:36:49 Not that I know. 20:37:00 I don't even know if that's the kind of float it does if you do a do. 20:37:27 "do 1.e+4000 ; IEEE 754r quad precision" 20:37:29 Apparently so. 20:37:32 "Native support of 128-bit floats is defined in SPARC V8[22] and V9[23] architectures (e.g. there are 16 quad-precision registers %q0, %q4, ...), but no SPARC CPU implements quad-precision operations in hardware." 20:37:56 NASM wouldn't target SPARC anyway. 20:38:17 I guess so 20:38:28 software emulation 20:38:51 ~duck punpcklqdq 20:38:51 --- No relevant information 20:39:01 For that, possibly "native" support for double-double constants would be better. 20:39:16 It's not quite as good as quadruple-precision, of course. 20:39:19 -!- AnotherTest has quit (Ping timeout: 268 seconds). 20:43:12 ~duck Fiora 20:43:13 The Fiora is a river in northern Lazio and southern Tuscany, which springs from the southern flank of the Monte Amiata, near Santa Fiora. 20:43:46 what's ~duck do? 20:44:38 Asks a random duck in a park. 20:44:49 They're quite knowledgeable about the world. 20:46:05 oftentimes, the duck down know the fungot out of a subject, but then you neveriver know. 20:46:06 boily: it amuses me that he asked a windows admin to send him the output of merge is the remaining case that returns 1? 20:46:11 s/down/don't/ 20:46:28 fungot: well, I'm having a context problem. 20:46:29 boily: they don't know. we can't answer that for him. i was supposed to be snowing anymore, anyway. 20:47:19 fungot: not for a few months yet, but don't worry, we'll get snowed in as usual. 'tis Montréal after all... 20:47:20 boily: i wait, maybe it will go away) it's 28 degrees. my motherboard says it will always work. 20:47:57 -!- Koen_ has joined. 20:48:13 ~metar CYUL 20:48:13 CYUL 202000Z 22013G19KT 15SM FEW045 SCT090 SCT180 BKN240 28/18 A3001 RMK CU1AC2AC1CI2 AC TR SLP161 DENSITY ALT 1500FT 20:48:19 28 degrees indeed. 20:49:12 I have a different Z-machine which is closer to Infocom's original design, and isn't always compatible with the modern one. A suggestion, which I think is a good idea, is to change the filename extension. Do you have any better ideas what to change it to? 20:50:19 ~metar EFHK 20:50:21 EFHK 202020Z 24002KT CAVOK 15/13 Q1019 NOSIG 20:50:49 fungot: You're not in Canada. 20:50:49 fizzie: just do something like ( defmacro fnord ( arglist &body body) fnord ( pendown ( fnord fnord 20:50:55 Okay, I'll do that. 20:51:16 it annoys me that there are like no decent open-world games for linux 20:51:34 Phantom_Hoover: Write some if you like to do so. 20:51:44 Or maybe use some that are written on some VM. 20:52:09 Phantom_Hoover: Ultima VII with exult?-) 20:54:29 is Don't Starve an open world game? 20:54:33 that's on Linux, I think 20:55:04 What kind of open world game do you want? 20:55:05 oh, X3 is on Linux too, huh 20:55:10 okay that defintely has to count 20:55:20 Fiora: what do you know that your bot ain't in Canada? everything points to it being somewhat near here. 20:55:26 s/Fiora/fizzie/ 20:55:46 Fiora: Don't Starve is in [Category:Open world video games] in Wikipedia, so I guess it must be. 20:56:01 Fiora, X3 sounds grindy 20:56:03 -!- yorick has quit (Remote host closed the connection). 20:56:15 (i guess my main problem here is i want to play tes, and nobody makes tes except bethesda) 20:56:25 I don't think it was grindy at all? 20:57:05 I mean like there's a lot of other things to maybe dislike about it if they're not your thing, but like. not grindy, I guess? 20:57:06 What kind of things did you want in open world game though, specifically? 20:57:15 well essentially it sounds like elite, and elite and tes aren't quite the same genre imo 20:58:49 well, yeah, I mean, they're really different? but they're both open world ^^; 21:02:35 mm 21:02:44 i might play morrowind on wine but god it's so clunky 21:04:32 I've been thinking of buying that Skyrim thing when the discount gets to >= 50%. (Maybe next Steam Christmas sale.) 21:07:47 -!- Emilie has joined. 21:07:52 BAON 21:07:53 There we go 21:07:58 boily, Emilie 21:08:02 Emilie, boily 21:08:09 Well, to be honest... 21:08:19 #esoteric: This is Emilie 21:08:22 Treat her well =P 21:08:47 Nice to meet you all! (^_^) 21:09:03 Aaaaand you guessed it: Bus time 21:09:18 hello Emilie 21:09:26 brace yourself, a `welcome is coming 21:09:30 Right 21:09:33 `relcome Emilie 21:09:36 ​Emilie: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 21:10:43 jesus christ 21:10:45 who is Emilie even 21:11:55 boily: you're the one who asked me the question, right? 21:12:12 because I just read the jsvine survey and your question is in it 21:12:13 -!- Roujo|Android has joined. 21:12:18 I found that particularly suspicious 21:14:37 i don't remember who started it 21:14:49 istr kmc and Fiora being involved 21:15:08 yes I do remember boily asking Fiora her body weight 21:17:53 I'm not involved in boily's weird plan 21:18:02 except I guess in that I'm one of the dozens of people he asked? 21:18:54 Koen_: There's nothing wrong with boily's plän 21:19:14 except the crazy umlauts maybe 21:19:37 Well, yeah, apart from thöse =P 21:19:40 so why is the question in jsvine's survey? 21:19:51 Science? 21:19:54 stalking? I don't know 21:20:03 finding the CoM of #esoteric 21:20:26 ^ 21:21:15 -!- Roujo|Android has quit (Quit: Bye). 21:21:36 -!- Roujo_ has joined. 21:21:57 Wrong butan >_> 21:23:05 every time I have a meeting and/or a drawing session on a whiteboard, people start spewing conspiracies and interesting stuff. 21:23:37 You should get into more meetings, then 21:23:50 More fun for the rest of us 21:23:56 summary: I don't have any sisters, not even Emilies, I indeed am the one who asks the The Question, Fiora is part of the plan, the umlauts are not crazy, and when does the II come out? 21:24:10 the II? 21:24:16 Trémas4ever 21:24:18 that's not a summary that's more questions 21:24:25 Roujo_: pfshaw. humbug. nonsense. and you are evil for having brought forth my brother in this Chann̈el. 21:24:32 Koen_: the Infamous Interview. 21:24:43 Koen_: well, I got distracted halfway. 21:24:56 you can't put a tréma on a consonant :( 21:25:04 Koen_: yes I can. 21:25:21 boily: He had to sëe the wonder of esolanğ 21:25:25 Fiora: I already have your Relevant Information, so there's no need to Question you again. 21:25:36 this sounds weirder every time you mention it ;_; 21:25:54 it's not weird, it's even in alphabetical order and nicely formatted! 21:26:15 Neat and weird aren't mutually exclusive 21:27:09 for the next 5 minutes: http://pastebin.ca/2434934 21:27:34 Fiora: you see, nothing weird going on! 21:27:42 (except FreeFull. he is weird.) 21:27:52 some are in lbs and some in kg 21:27:57 that's wrong 21:28:10 some are in megaluns. that's not even wrong. 21:28:40 that's um. a strange list 21:29:02 everyone's got your relevant information now Fiora 21:29:09 ;_; 21:29:27 * boily gives a penguin plushie to Fiora 21:29:57 `? relevant info 21:29:59 The large-eyed mouse lemur is a nocturnal tree-dweller. 21:31:35 for some reason "tree-dweller" evokes some kind of mole digging inside a tree 21:31:39 %echo @tell boily Where's *my* relevant info? =/ 21:31:39 @tell boily Where's *my* relevant info? =/ 21:31:39 Consider it noted. 21:32:03 Emilie's a computer program? 21:32:05 boily: I had an occasion to step on a weightometer the other day, and even though I've forgotten what the exact result was, you could revise my number to 75 in the same units and it'd be closer by some amount. 21:32:46 I had an occasion too but I carefully avoided it from happening 21:32:51 Koen_: Yeah, she's my bot. That I tend to anthropomorphize 21:33:06 as in Turing-testify? 21:33:22 I wish 21:33:35 `echo "That information is stored in an unnamed metal cabinet in one of the top floors of an obscure administrative building with a number that you probably never heard of." > wisdom/"Roujo's relevant info" 21:33:37 ​"That information is stored in an unnamed metal cabinet in one of the top floors of an obscure administrative building with a number that you probably never heard of." > wisdom/"Roujo's relevant info" 21:33:41 I just talk about her as if she was an actual person 21:33:43 `run echo "That information is stored in an unnamed metal cabinet in one of the top floors of an obscure administrative building with a number that you probably never heard of." > wisdom/"Roujo's relevant info" 21:33:47 No output. 21:34:01 %help 21:34:01 In hope that she'll take the hint and be one eventually 21:34:03 ~duck weightometer 21:34:03 --- No relevant information 21:34:35 `? Roujo's relevant info 21:34:36 Roujo's relevant info? ¯\(°_o)/¯ 21:34:36 | 21:34:37 Roujo_, it's like quote 546 21:34:37 o/`¯º 21:34:44 boily: Lowercasing of search terms strikes again ^ 21:34:46 only not weaboo, or lesbian 21:34:46 Yeah, %help is next on the todo list 21:34:53 fizzie: noooooooooo! 21:35:12 What's quote 546? 21:35:14 `? roujo's relevant info 21:35:15 roujo's relevant info? ¯\(°_o)/¯ 21:35:15 | 21:35:16 º¯`\o 21:35:40 * boily thwarps HackEgo with a flamboyant hamburger and a side of fries. 21:36:07 `quote 546 21:36:08 546) It's like Pygmalion and Galatea but more weeaboo. Also lesbian. 21:36:24 ~duck weeaboo 21:36:24 The Perry Bible Fellowship is a newspaper comic strip and webcomic by Nicholas Gurewitch. 21:36:30 uhm. 21:36:31 Oh. Okay =P 21:36:53 ~duck tréma 21:36:53 --- No relevant information 21:36:57 Pfff 21:37:24 ~duck diaeresis 21:37:24 diaeresis definition: a mark placed over a vowel to indicate that the vowel is pronounced in a separate syllable (as in '''nave''' or '''Bront''') compare umlaut. 21:37:33 Oooohhh 21:37:35 Nice 21:39:37 boily: How weird am I? 21:39:49 what 21:39:54 that's a tréma 21:40:11 FreeFull: I'd say around 1.5 sigmas over the global average. 21:40:25 you don't necessarily need a tréma to get a diaeresis 21:40:54 well. you know. sometimes, there are terms that are dramaticker, but untruthinessial. 21:41:07 Why doesn't metasepia do UTF-8? 21:42:07 it does. 21:42:21 (fsvo of utf.) 21:42:39 `? UTF-8 21:42:41 UTF-8? ¯\(°_o)/¯ 21:42:41 | 21:42:41 o/`¯º 21:42:58 why do you keep writing tréma 21:43:05 if anything it should be trêma 21:43:15 Because tréma is best éma 21:43:27 boily: But that diaeresis definition wasn't UTF-8 21:44:00 %roll 5d6+7 21:44:00 Roujo_: Results of 5d6+7: 19 21:44:01 Roujo_: Rolls: 4, 3, 1, 2, 2 21:44:34 %slap boily 21:44:34 * Emilie slaps boily around with a large trout. 21:44:37 UTF-8 is a character encoding for numbers up to 36-bits, and which is compatible with principle of extended ASCII. The character set normally used with UTF-8 is Unicode, which does not use all 36-bits, though. 21:45:04 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 23.0.1/20130814063812]). 21:45:06 * trout slaps Emilie around with a boiled boily 21:45:28 zzo38: I didn't know UTF-8 could be used with non-unicode, though it makes sense 21:45:41 who the shit is trout 21:45:48 Phantom_Hoover: we have talked before 21:45:53 zzo38: If you go by the definition of "UTF-8" in the latest RFC or the Unicode 6.0 standard, it does not go up to more than 0x10ffff. 21:46:04 I am pretty damned confused as well 21:46:14 oh, variable! 21:46:25 since when did you have a freebsd cloak 21:46:31 fizzie: UTF-8 does; Unicode does not go higher than 0x10FFFF though (since "UTF-8" normally means it is encoding Unicode, it won't go higher than 0x10FFFF either). 21:46:44 Phantom_Hoover: for a few years 21:46:51 ~dice 6 5 21:46:52 3 5 6 6 3 --- Sum = 23 21:47:03 I idle a lot here but don't have a chance to contribute much :( 21:47:03 zzo38: No, UTF-8 does not, according to the current standard definitions of it. 21:48:19 fizzie: Well, by those definition it is that by "UTF-8" they mean "UTF-8/Unicode", which is the normal meaning anyways; I am talking about "UTF-8" in general (which doesn't really have a better name) 21:49:25 So, the UTF-8 integer coding scheme, not the character encoding. :) 21:49:39 pikhq: Yes, I suppose so. 21:49:41 Possibly a name should be invented, then. 21:50:10 trout: if you want to contribute, just go with the flow. 21:50:11 It's a fairly decent integer code scheme. 21:50:18 RealUTF-8 21:50:22 boily: its more about amount of time 21:50:27 I have for IRC :) 21:51:11 Roujo_: with buffering! 21:51:50 boily: Mucho buffering 21:52:48 -!- nucular has joined. 21:53:27 kmc: hey, I wrote some Rust code today ... but I don't think I quite understand how pointers work 21:53:38 `relcome nucular 21:53:40 ​nucular: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 21:56:55 -!- augur has joined. 21:57:48 olsner: oh, cool! what does your rust code do? 21:57:58 and what would you like to know about pointers? 21:59:40 it "simulates" a piece of the virtual memory system (like, the data structures that describe mappings and stuff) of my kernel 22:00:03 neat 22:07:17 I'm not quite sure what I'd like to know about pointers, I just generally seem to be getting the wrong kind, amount or combination of pointedness and mutability a lot 22:07:27 mm 22:07:40 Hey, are you guys aware of a Brainfuck implementation in Postscript? I can't seem to find any via google 22:07:56 you should write one 22:08:04 Good idea 22:08:16 one thing to keep in mind is that ~-boxes inherit mutability from their owner 22:08:43 basically there are "ownership trees" where the root is either a local variable or an @ / @mut box 22:08:57 and so there is let, let mut, @, @mut, but no such thing as ~ vs ~mut 22:10:36 -!- doesthiswork has joined. 22:11:30 what happens when we modify peano's axioms so that instead of each natural number having one successor, it has two? 22:12:30 which are also natural numbers? 22:13:56 so you mean we have 0 \isin N, S(x) \isin N iff x \isin N, T(x) \isin N \iff x \isin N, S(x) != T(x), S(x) = S(y) iff x = y, T(x) = T(y) iff x = y? 22:13:56 well I can't use the same name for them as normal natural numbers because it will get confusing 22:14:31 FireFly: https://bitbucket.org/MrDubya/bfps 22:15:02 fizzie: oh. Thank you 22:15:33 yes that looks like what I envisioned 22:16:57 FireFly: There's another one that I can't seem to be able to extract a link to, which is really weird. 22:17:20 -!- nucular has quit (Quit: *.net *.[DATA EXPUNGED]). 22:17:31 doesthiswork: how do you define addition? 22:17:31 well each 'number' in the new system is like a binary number made of S and T 22:17:36 you could interpret T as predecessor, I think. 22:17:47 since those axioms don't contradict S(T(x)) = T(S(x)) = x, I think? 22:17:52 and so get the integers. 22:18:17 well, i said S(anything) isn't T(anything) but if you lost that you could recover integers. 22:18:18 FireFly: https://dl.dropboxusercontent.com/u/113389132/Misc/20130820-bf.ps -- it runs 99bob. 22:18:22 elliott: you concatonate them, so A becomes the starting point of B (it's not commutative) 22:18:38 Bike: T(x) isn't S(x) though 22:18:46 so it's okay for S(T(x)) = T(S(x)) 22:18:47 FireFly: (Both located by the high-tech process of Googling for ["bf.ps" brainfuck].) 22:18:49 oh i guess i phrased it badly 22:18:55 n+1 =/= n-1 22:19:04 i meant S(x) != T(y) 22:19:12 implicit foralls ftw 22:19:52 if you do that you just get pairs without any particular equivalence predicate i guess. 22:20:19 then you could define one predicate and get integers, and a different one and get positive rationals, bla bla. 22:20:32 fizzie: Fair. I tried '"postscript" brainfuck' and similar queries, which didn't work as well 22:20:43 well, no. i guess S . T and T . S aren't the same right 22:20:54 so... more like what kmc said. 22:21:18 yeah imma call that good. 22:21:21 if you make S and T totally disjoint then you're just asking about data Peayes = Z | S Peayes | T Peayes 22:21:31 * elliott expert at reduction to solved problems 22:21:32 yeah that's what i meant 22:21:36 which is binary 22:21:46 gotta give me a minute to go through the thinking!!! 22:21:46 describing types as axioms is weird. 22:22:01 describing axioms as types is weird. describing pies as cakes is weird 22:22:16 elliott: could you reduce tonight's bike route? I have to go to a new place. 22:22:26 uhm 22:23:05 ask Bike 22:24:22 data Peamaybe : Type where { Z : Peamaybe; S : Peamaybe -> Peamaybe; T : Peamaybe -> Peamaybe; S_T : forall x, S (T x) = x; T_S : forall x, T (S x) = x } -- hooray for HITs? 22:25:00 Bike: I'm going to 951 Rachel Est from 7275 St-Urbain. I prefer cycling ways, but would like to avoid potholes as my back hurts. the moon is full, and you can't leave the wolf with the cabbage, as the relative humidity is still quite high. 22:25:01 -!- Taneb has quit (Quit: Leaving). 22:25:02 high intense types 22:25:16 boily: have you run this through coq 22:25:48 no, I need my brain free of type systems as I'm working on projects that require Python. 22:30:29 -!- Roujo_ has quit (Quit: Bye). 22:31:09 so I"m defining addition as A + 0 = A, A + S(B) = S( A + B), A + T(B) = T( A + B) 22:31:13 -!- mnoqy has joined. 22:32:40 then S(A) + T(B) = S(A + T(B)) = S(T(A + B))and = T(B + S(A)) = T(S(A + B)) 22:32:58 sucks to be you!! 22:34:38 your first step S(A) + T(B) = S(A + T(B)) 22:34:45 I don't see how you got it 22:34:56 well, assuming addition is commutative. 22:35:10 does T stand for tuccession? 22:35:14 why peano? say peayes to succ-ess! 22:35:14 which is a nice thing for addition to be, imo 22:35:22 elliott already did that joke man 22:35:30 fuckyou elliott 22:35:40 rude 22:35:44 I said that it can't be commutitive 22:35:48 was it as cornily phrased as mine? 22:36:02 oh i thought you meant S and T didn't commute 22:36:04 well, I'm not one to hold grudges. *slinkers away* 22:36:06 Gracenotes: "Peamaybe" 22:36:17 subtle right 22:36:18 I did Peayes too 22:36:22 did you 22:36:28 23:21:21 if you make S and T totally disjoint then you're just asking about data Peayes = Z | S Peayes | T Peayes 22:36:29 yeah, I lept off of that. Hm, you did do peayes? 22:36:29 doesthiswork: are you sure that's enough for a definition? 22:36:31 oh you did 22:36:42 Koen_: No I don't think it is 22:36:57 Alas. I did have the succ joke, at least. 22:37:07 `quote succ 22:37:08 831) we have PR? the good news is we have PR. the bad news is we borrowed haskell's motto for it. [...] [...] "avoid success at all costs" \ 1043) elliott: it's not so much that I've failed, just that I have not yet succeeded 22:37:19 we have PR??? 22:37:27 -!- `0x00 has joined. 22:37:41 * `0x00 licks ion up and down the middlepart. 22:37:45 -!- ChanServ has set channel mode: +o elliott. 22:37:54 -!- elliott has set channel mode: +b *!*null@unaffiliated/0x00/x-2550036. 22:37:54 -!- elliott has kicked `0x00 ban evasion and creepiness, go away. 22:38:06 -!- elliott has set channel mode: +b $a:`0x00. 22:38:07 i think that went well 22:38:17 -!- elliott has set channel mode: +b `0x00*!*@*. 22:38:18 Ō_Ō... 22:38:19 -!- elliott has set channel mode: -o elliott. 22:38:23 i agree 22:38:51 pretty sad if they got a cloak literally just to do that 22:39:14 lesson of the day: don't be a slimy retard. 22:39:32 /nick 0x00fe3188 22:39:36 https://github.com/mozilla/rust/blob/master/src/libstd/rt/util.rs#L72-L130 lolwut 22:39:40 don't use "retard" as an insult plz 22:39:49 @_@ 22:39:50 even for people that are slimy 22:39:56 I agree with Bike 22:40:12 kmc: um 22:40:16 s/retard/jelly/ 22:40:30 good choice 22:40:30 Koen_: I check they are sufficient 22:40:40 hm, at least it's deterministic 22:40:43 a/s/ checked 22:40:56 oh, shit, i didn't recognize where it was from :( 22:41:05 kmc: haha, re: rust 22:41:23 I dunno, it might also be a stretch to say that it's fair use. 22:41:30 for the not-yet-expired longer passages. 22:41:32 call of cthulu is pd by now isn't it 22:41:44 or... are some of those from other sources. i didn't check. 22:41:46 -!- oerjan has joined. 22:41:57 hellœrjan. 22:42:00 hm, well, it's on wikisource 22:42:04 so close enough 22:42:14 finally, a workable criterion for the public domain 22:42:19 basically 22:42:33 oerjan joins right after I ban a ban-evader...... suspicious...... 22:42:40 it's also includes an 8-word phrase from an English translation of a Japanese video game. 22:42:48 fuck it, anyway, lovecraft pretty much ignored copyright anyway 22:43:18 * oerjan cackles conspiratorially 22:43:21 ~duck にわとり 22:43:21 --- No relevant information 22:43:22 doesthiswork: and are you sure you couldn't get rid of the third condition? 22:43:24 "This work is in the public domain in the United States because it was legally published within the United States (or the United Nations Headquarters in New York subject to Section 7 of the United States Headquarters Agreement) before 1964, and copyright was not renewed." ah, there we go 22:43:27 as in are you sure it isn't redundant 22:43:30 @messages-loud 22:43:30 boily said 7h 24m 22s ago: according to wiki's chart of diaphonemes to regional dialects, /poːlət/. 22:43:56 Koen_: yes 22:43:56 imo we should have kept copyright renewal :\\ 22:44:05 the second condition should be enough to reduce A+B to S(S(S(S(S(...A+0)))))) 22:44:06 Bike: ...yeah 22:44:11 hwaly 22:44:19 Koen_: there is one clause for T() and one for S() 22:44:19 yeah what 22:44:25 yeah I agree yo 22:44:25 oh right 22:44:28 why you be such a fool 22:44:29 oerjan: hwaly? 22:44:31 :((((( 22:44:42 I was assuming S(T(x)) = T(S(x)) = x 22:44:50 (don't worry, it is endearing terminology) 22:44:57 -!- Ana_V has joined. 22:44:59 (for all x except maybe 0) 22:45:09 -!- Ana_V has left. 22:45:16 -!- beloved has joined. 22:45:24 `relcome beloved 22:45:27 ​beloved: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 22:45:31 beloved is `0x00. 22:45:33 -!- beloved has changed nick to nan[0]. 22:45:39 elliott: oh. 22:45:39 probably. 22:45:46 can I unrelcome somebody? 22:45:51 Koen_: If you assume that, it collapses into boringness 22:45:53 same username and realname 22:46:16 maybe 22:46:31 also, are you sure you got A+B=B+A ? 22:46:43 when you concatenate paths through a tree they don't commute 22:47:04 I haven't the slightest idea what you mean 22:47:32 boily: h+-oily as she is _properly_ pronounced (see logs hth) 22:47:38 nan[0]: do you have a good argument for not being `0x00 ban evading again? 22:47:45 elliott: huh? 22:47:51 good argument, imo 22:48:04 nan[0]: preferably one better than "huh?" :/ 22:48:05 T() is the left child S() is the right child, so it makes a binary tree 22:48:11 oerjan: indeed. it's good when I'm well pronounced. 22:48:12 oh 22:48:13 elliott: yes. 22:48:23 couldn't you name them L and R then 22:48:26 * nan[0] licks ion down the neck. down the back. 22:48:29 elliott: good enough? 22:48:31 -!- ChanServ has set channel mode: +o elliott. 22:48:34 -!- elliott has set channel mode: +b *!*null@*.violates.us. 22:48:34 -!- elliott has kicked nan[0] yep. 22:48:37 well bike chose the names, but yes 22:48:49 -!- elliott has set channel mode: +b nan[0]*!*@*. 22:48:52 this is getting boring. 22:48:53 elliott: hey, at least let us some time to grab popcorn :p 22:48:54 -!- elliott has set channel mode: -o elliott. 22:48:57 so what's a number again? 22:49:04 ;_; 22:49:10 "so what's a number again?": the maths experience 22:49:13 ion: sorry about this guy 22:49:41 Koen_: you have to become one with nothing to understand natural reality. 22:50:00 Koen_: don't ask me I didn't do it -- principa discordia 22:50:06 can you please start making sentences I can read boily 22:50:15 Koen_: tomorrow. 22:51:02 boily: the pitcher's name? 22:51:38 doesthiswork: I read a few lines up S(T(x)) = x 22:51:52 doesthiswork: you outconfused me there. 22:52:01 how is that consistent with left son and right son? 22:52:09 s/son/child 22:53:23 Koen_ that would make modular arithmetic, who wrote it? 22:53:45 elliott I reckon 22:53:46 boily: who's on first; the pitcher is named tomorrow 22:54:02 elliott: data Peamaybe : Type where { Z : Peamaybe; S : Peamaybe -> Peamaybe; T : Peamaybe -> Peamaybe; S_T : forall x, S (T x) = x; T_S : forall x, T (S x) = x } -- hooray for HITs? 22:54:32 there's about ten different things with S and T people are talking about at this point 22:54:44 doesthiswork: I suspected a&c, but I missed the pitcher's part. 22:55:54 i'm a fucking visionary elliott 22:56:38 Koen_: I was messing around to see if I could get anything interesting. The answer is probably not 22:57:15 no this thing about binary trees sounds fun 22:57:59 if A * S(B) = (A*B) + A 22:58:00 A * T(B) = (A*B) + A 22:58:15 "Number" doesn't have a mathematical definition. 22:58:22 uh 22:58:36 I thought peano numbers WHERE one such definition 22:58:43 *were 22:58:45 how is A*T(B) equal to A*B + A 22:58:46 But things are generally considered numbers when they are similar in some way to the natural numbers or something. 22:59:06 doesthiswork: they're a definition of "natural number", but I don't think "number" is usually considered a synonym of "natural number". 22:59:27 I think a number is like "the member of the corps we're both talking about" 22:59:35 give me 5 sec to translate corps to english 23:00:06 Koen_: I was seeing what happens I don't like calling that operation multiplication 23:00:10 ~duck corps 23:00:11 corps definition: an organized subdivision of the military establishment. 23:00:20 wikipedia gives me "division ring" 23:00:31 okay maybe not what I meant 23:00:44 I should take a math class someday 23:01:05 math is for nerds imo 23:01:16 math is for engineers imbo. 23:01:26 I don't like the definition I gave because it multiplies the structure of one number by the magnitude of another. 23:01:42 Koen_: the natural numbers are not a division ring (or field, which is what i thought corps/german Körper) meant 23:01:56 in my boilypinion? 23:02:02 doesthiswork: that's the multiplication by a scalar 23:02:25 doesthiswork: now you need cross product or something 23:02:26 admittedly you can embed them in one. heck even the ordinals embed into the surreals. 23:02:40 yes, and you see how B is just being used as a scalar 23:02:47 Bike: it was “in my better opinion”, but I like the pretentiousness of a boilypinion :D 23:02:56 * Bike nods 23:03:11 oerjan: honestly besides groups and vector spaces I can't tell which are which any longer 23:03:22 between rings fields ideals algebras etc 23:03:37 *-)+) 23:03:45 is that a smiley? 23:04:03 oerjan: this looks like an implement to shoot laser rays at obnoxious people. 23:04:06 no, it means "move the ) to the right spot" 23:04:12 and I probably won't for a long time because this fucking school doesn't have ANYTHING AT ALL else than computers 23:04:23 what kinda sadass school is that 23:04:51 no languages, no maths, no physics, no nothing 23:06:44 doesthiswork: what about replacing every leaf of B with copies of A 23:06:46 or something 23:07:04 Koen_: not even monoids? i hear they're easy 23:07:14 I've never known what a monoid was 23:07:39 shocking 23:07:43 except that one time when I was tired of not knowing and I looked up the definition on wikipedia and that was just one more definition and without further study it was just a boring definition so I forgot it 23:07:46 just a thing with "addition" that's associative, basically. and addition has an identity. and probably another thing i'm forgetting. 23:08:13 see? just a thing 23:08:17 well that's one thing too much 23:08:18 yeah basically 23:08:25 i don't even know why i remember it 23:08:26 they're just sets with operations 23:08:28 Koen_: monoids are the thing which concatenated words / lists are the free object of hth 23:08:28 possibly shachaf?? 23:08:34 why don't we call them sets with operations 23:08:45 because they're old. 23:09:17 “lists are the free objects of hth.” that is most disturbing. 23:09:23 same reason you call 4 "four" but all 819198 gets is "eight hundred thousand nineteen, one hundred ninety eight". you just use the former more. 23:09:40 er i fucked that up 23:09:41 whatever. 23:10:07 thousand nineteen that's an awful lot of nineteens 23:10:22 eight hundred nineteen thousand, JERK 23:10:53 Koen_: because "sets with operations" is a vague thing of which monoids are a _very_ specific example hth 23:10:54 Bike is sharing his happy mood with all of us. thanks Bike. 23:11:00 np 23:11:27 oerjan: sets with _very_ specific operations twnh 23:12:03 time to go grab edible matter. my stomach is attempting to morph itself into a singularity. 23:12:06 -!- boily has quit (Quit: Poulet!). 23:12:13 -!- metasepia has quit (Remote host closed the connection). 23:13:32 oerjan: Historically, division rings were sometimes referred to as fields, while fields were called commutative fields. 23:14:49 yes. i may even vaguely recall that french ended up keeping the opposite convention of english? 23:16:20 also i've decided to ban french in the channel, all obscure terms must be acronyms so they're easy to comprehend hth 23:17:45 as i've recently discovered, the worst thing about french is that it's so similar to english that when you try to google the definition of a french word it's hard to phrase in such a way that you don't get just french hits with no english explanation. 23:19:29 i mean, _normally_ all i do when i want to get a comprehensible definition of something is to add "definition" to the search terms. but does that work for french? noooo... 23:29:31 -!- SingingBoyo has quit (Ping timeout: 268 seconds). 23:29:32 maybe you should try speaking a language not made up by normans. 23:32:19 * oerjan slips off Bike's chain 23:32:27 Bike: help 23:32:32 ditto 23:32:43 what's going on 23:33:10 shachaf: don't worry, it's just the bike equivalent of tying together his shoelaces hth 23:33:25 -!- Sgeo has joined. 23:33:26 saying my name is?? 23:33:40 wat 23:33:56 16:08 possibly shachaf?? 23:34:10 i guess he's just talking about monoids 23:34:28 Bike: monoids aren't cool btw 23:34:35 they're just ol 23:34:38 comonoids are cool 23:34:39 :o 23:35:02 (comonoid is a real thing btw but it's boring in Set) 23:35:50 what about in Set^{op} 23:36:40 what about in #esoteric^{op} 23:37:22 shachaf: how is your second day as a noogler 23:38:13 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 23:41:40 -!- epicmonkey has quit (Ping timeout: 245 seconds). 23:42:48 perhaps we can automate all these "co-" jokes since they are based on a trivial lexical feature 23:43:20 what about the cock jokes 23:43:30 are you trying to put me out of a job here 23:44:05 -!- iamfishhead has quit (Ping timeout: 248 seconds). 23:44:11 i have nothing against ck cojokes 23:47:22 but someone even published a paper about a program to automatically make "that's what she said" jokes, so why should we make co jokes manually when we can make them much more efficiently by computer 23:47:46 or in other words mputer jokes 23:48:05 mputer? i hardly know her! 23:48:47 i'd be interested in an actual humor generating algorithm 23:49:02 computers are notoriously bad at humor 23:49:09 humor? i *hit by falling anvil* 23:49:25 people are notoriously bad at humor 23:49:50 but it involves some kind of intelligence 23:50:17 http://en.wikipedia.org/wiki/Computational_humor 23:50:29 apparently they even have conferences 23:51:49 seems like a rather young field 23:52:42 would be interesting to see it in formal mathematical models 23:53:30 hi scoofy, are you new? 23:53:45 `relcome scoofy 23:53:47 ​scoofy: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 23:59:43 elliott, yes, i could say