00:02:27 -!- oerjan has quit (Quit: leaving). 00:06:47 -!- Bike has quit (Ping timeout: 244 seconds). 00:08:51 -!- Bike has joined. 00:09:23 I wonder why META II is called that and not jsut META. 00:09:25 Or META I. 00:11:06 or 'PARA 00:12:13 -!- mhi^ has quit (Quit: Lost terminal). 00:16:46 -!- yorick has quit (Remote host closed the connection). 00:32:48 -!- Sprocklem has quit (Quit: Reconnecting). 00:33:02 -!- Sprocklem has joined. 00:46:48 -!- Sprocklem has quit (Ping timeout: 255 seconds). 00:48:27 -!- Sprocklem has joined. 00:53:40 -!- drdanmaku has quit (Read error: Connection reset by peer). 00:53:57 -!- drdanmaku has joined. 01:07:35 -!- ^v has quit (Ping timeout: 252 seconds). 01:07:54 -!- ^v has joined. 01:12:30 -!- Phantom_Hoover has joined. 01:15:51 -!- not^v has joined. 01:45:33 -!- Sprocklem has quit (Ping timeout: 240 seconds). 01:47:28 -!- Sprocklem has joined. 01:56:11 -!- Jafet has joined. 02:19:32 -!- kyhwana has joined. 02:33:38 -!- edwardk has joined. 02:34:11 -!- ^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 02:37:13 -!- Sprocklem has quit (Ping timeout: 240 seconds). 02:41:41 -!- MDude has quit (Ping timeout: 272 seconds). 02:44:58 Is it legal, under the GPL, to sell the current version of the software plus a subscription allowing you to receive new versions at no extra charge during the subscription period, with a clause in the subscription license (not the software) that says they are allowed to terminate the subscription if they find you distributing copies of the software, and require you to pay full price for the next version? 02:46:41 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 02:52:28 zzo38: hrm, im not sure about that, given the GPL says you're allowed to/have to distribute the source with the binary? 02:54:19 -!- Sorella has quit (Quit: It is tiem!). 02:56:04 kyhwana: I know that you have to distribute the source, but I don't think that has anything to do with my question. 02:57:35 -!- Sprocklem has joined. 03:03:18 zzo38: yeah, you'd probably have to ask a lawyer 03:21:40 kyhwana: Someone else told me that it is allowed, and is what Red Hat does with binaries (although their sources are available to the public). 03:23:26 Yeah, possibly 03:47:15 -!- shikhout has quit (Ping timeout: 255 seconds). 03:59:53 theres a channel on freenode for license discussion 04:00:03 i think 05:12:14 For proving the use of a new operator in a sequent calculus, as I have described above, could it work to do it involving the cut rule, like: For every pair of rules using the new operator on the bottom where one is used on the right of the turnstile and one on the left, you prove what a cut would prove by using everything on the top of both rules. 05:12:46 How well is it working? There may still be a problem possibly... 05:18:23 -!- b_jonas has quit (Remote host closed the connection). 05:20:40 -!- variable has changed nick to constant. 05:53:06 I'm finding myself addicted to TagPro 05:55:40 Wins 4 Losses 10 06:04:34 -!- tromp_ has quit (Read error: Connection reset by peer). 06:12:43 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=39835&oldid=39804 * 72.220.70.84 * (+113) 06:25:41 -!- Slereah has joined. 06:26:19 -!- HackEgo has quit (Ping timeout: 252 seconds). 06:27:14 -!- HackEgo has joined. 06:28:57 -!- Slereah_ has quit (Ping timeout: 245 seconds). 06:35:55 Huh 06:35:59 http://lpaste.net/88416 06:36:11 So maybe it IS possible for Chrome scripts to do arbitrary things to a page 06:37:10 [wiki] [[Special:Log/newusers]] create * IdleGamesRock * New user account 06:42:49 [wiki] [[User:IdleGamesRock]] N http://esolangs.org/w/index.php?oldid=39836 * IdleGamesRock * (+17) Created page with "Hi! I'm a person!" 06:51:28 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 06:55:26 -!- Patashu has quit (Remote host closed the connection). 06:56:27 -!- Patashu has joined. 07:01:40 -!- Bike has quit (Ping timeout: 244 seconds). 07:15:27 Erlang reminds me of OpenBSD 07:16:04 Erlang has a 'let-it-crash' philosophy that may not be a good idea in environments other than Erlang. OpenBSD projects have a 'trust the OS' philosophy that may not be a good idea for OSes other than OpenBSD 07:21:02 this seems like an incredibly tenuous connection 07:28:41 -!- augur has quit (Ping timeout: 264 seconds). 07:32:55 -!- augur has joined. 07:39:03 -!- augur has quit (Ping timeout: 240 seconds). 07:47:58 -!- augur has joined. 07:59:56 Now I am adding support for Extended Module into AmigaMML, too, as well as a few other features which are compatible with both Amiga mode and Extended mode. 08:10:57 -!- Phantom_Hoover has joined. 08:17:08 -!- Slereah_ has joined. 08:18:14 -!- Slereah has quit (Ping timeout: 240 seconds). 08:46:07 Phantom_Hoover, I had a dream that your uni accommodation was in York and you left it unlocked so I wondered in and you had an en-suite library 08:46:25 that would be a fairly extreme commute 08:46:39 although it would, i suppose, by mitigated by the en-suite library 08:47:13 Also there was a lecture theatre that was just in a corridor 08:48:54 Also I had a USB N64 controller I think 08:49:42 i was having some kind of dream at some point but then the fire alarm went off at 4 in the morning 08:49:45 it was not pleasant 08:51:15 Also when I went into your room you had IRC open on a computer so I messaged you from your account if I could borrow some of your books 08:52:26 i don't think i even have any books 08:52:33 (maybe that is because they are in york) 08:52:36 You poor person 08:55:18 i guess i have 3, in various states of read-ness 08:55:51 -!- Patashu has quit (Ping timeout: 244 seconds). 08:57:12 ...do you want to borrow some of mine? 08:57:52 no, just put them in my library 08:59:30 :) 08:59:58 -!- tromp has joined. 09:02:04 -!- Ghoul_ has joined. 09:33:27 -!- password2 has joined. 09:34:06 why is this f*ing cell phone not accepting my f*ing sim card 09:34:19 -!- oerjan has joined. 09:42:08 -!- MindlessDrone has joined. 09:42:37 is it the correct size? 09:44:36 size matters not. 09:45:48 Is it the wrong way round? 09:45:54 (I've made that mistake) 09:47:31 -!- conehead has quit (Quit: Computer has gone to sleep). 09:50:29 is the phone vendor-locked? 09:50:37 (or whatever they call that) 09:51:19 mroman: it's because it doesn't approve of your language hth 09:52:25 the ham packages i use to buy have recently started smelling weird after a few days, i have to throw out the last slices :/ 09:53:09 i think this one is on the brink. 09:56:10 hm 09:56:13 now it does work 09:56:24 had to clean the goldy-shiny plate a little bit 09:56:58 then the problem might have been that the bit that was supposed to be shiny was dirty 09:57:59 lousy bit 09:58:19 If its father were here it would hear something 10:14:20 -!- Patashu has joined. 10:17:35 -!- Patashu has quit (Remote host closed the connection). 10:17:47 -!- Patashu has joined. 10:25:36 -!- MoALTz_ has joined. 10:28:07 -!- MoALTz has quit (Ping timeout: 245 seconds). 10:29:41 -!- nooodl has quit (Ping timeout: 252 seconds). 10:35:50 -!- Patashu has quit (Disconnected by services). 10:35:50 -!- Patashu_ has joined. 10:39:03 [wiki] [[AlPhAbEt]] http://esolangs.org/w/index.php?diff=39837&oldid=34520 * 146.52.215.210 * (+18) Updated homepage 10:40:44 -!- mhi^ has joined. 10:41:50 -!- Slereah has joined. 10:45:05 -!- Slereah_ has quit (Ping timeout: 252 seconds). 10:50:34 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=39838&oldid=39835 * 92.20.254.163 * (+170) /* General Ideas */ 11:01:43 -!- nooodl has joined. 11:10:09 -!- nooodl has quit (Quit: Ik ga weg). 11:10:40 -!- Patashu has joined. 11:14:33 -!- Patashu_ has quit (Ping timeout: 255 seconds). 11:25:07 -!- skarn has quit (Ping timeout: 240 seconds). 11:32:27 -!- skarn has joined. 11:32:51 -!- skarn has changed nick to Guest47376. 11:53:18 i should not have discovered that list of ideas 11:56:15 TOO LATE NOW 11:56:18 -!- Guest47376 has quit (Changing host). 11:56:19 -!- Guest47376 has joined. 11:56:25 OK 11:56:28 -!- Guest47376 has changed nick to skarn. 11:57:47 looking at http://esolangs.org/w/index.php?title=User:David.werecat&diff=39799&oldid=36193 i'm wondering if we should have a policy that you _must_ be logged in to edit your user page. 12:07:28 -!- Sorella has joined. 12:09:38 [wiki] [[Pluso]] M http://esolangs.org/w/index.php?diff=39839&oldid=39823 * Oerjan * (+0) wikifmt 12:11:12 [wiki] [[Talk:Insomnia]] M http://esolangs.org/w/index.php?diff=39840&oldid=39828 * Oerjan * (+52) unsigned 12:12:34 -!- yorick has joined. 12:18:38 [wiki] [[Talk:Cheese]] http://esolangs.org/w/index.php?diff=39841&oldid=39794 * Oerjan * (+178) the spirit of unsigned 12:58:33 password2: You have fallen prey . 13:00:03 yeah 13:00:05 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=39842&oldid=39838 * 92.105.82.69 * (+77) /* Joke/Silly Ideas */ 13:00:48 hm. 13:01:18 someone could make an esolang specifically designed for GPUs 13:01:55 i can has pixel? 13:02:05 more like 13:02:07 SIMD 13:02:11 cheese looks awesome 13:02:39 mroman: Checkout. 13:03:21 elliott: I'm sorry. I'm not git. 13:03:59 Ah. 13:04:00 The language 13:06:39 password2: piet? hehe. 13:06:59 piet? 13:07:28 http://esolangs.org/wiki/Piet ... it has pixels, that's why I thought of it. 13:08:59 oh yeah 13:09:15 it keeps confuzing me cas in my language Piet is a common name 13:09:38 Dutch? 13:11:47 afrikaans 13:12:05 but close enough 13:13:14 -!- Slereah has quit (Ping timeout: 240 seconds). 13:13:14 nice :) 13:13:44 it's named after piet mondrian, naturally 13:14:09 ah 13:14:09 hm, nice hitler mustache 13:16:45 -!- Slereah_ has joined. 13:17:41 ooh dmm has recently added some clarifications to the language spec 13:18:17 also, wiki is slow. 13:20:36 -!- boily has joined. 13:23:03 hm or maybe just the note that there _are_ clarifications. 13:23:28 oerjan, something about stacks, something about numbers 13:24:04 oh they're unmarked? 13:24:08 Yeah 13:24:18 there's a big block about white blocks that's marked. 13:24:29 and older. 13:24:35 -!- Slereah has joined. 13:24:37 And divide, mod, and roll 13:25:24 Basically, ctrl-f for implementation-dependent 13:25:29 ic 13:26:17 -!- Slereah_ has quit (Ping timeout: 264 seconds). 13:26:51 except the stack one is missing the hyphen hth 13:27:31 also the number one 13:28:32 shush 13:29:04 OK, stacks, numbers, div, mod, roll 13:29:12 All to do with implementation dependent behaviour 13:30:57 still bancstarring? 13:31:21 What? 13:31:50 no, pietting 13:32:34 BANCStar isn't actually as esoteric as it first seemed 13:32:51 well it's not intended to be, so... 13:33:02 It's actually pretty sane and it was never meant to be used directly by humans :) 13:33:34 let me guess. some kind of bytecode that happens to be stored as decimal numbers? 13:34:02 Yeah 13:34:17 although later versions of BANCStar switched to a binary format 13:34:25 making it really Bytecode 13:35:33 -!- boily has quit (Quit: UPGRADING CHICKEN). 13:36:42 not more esoteric than programming on punch-hole cards 13:37:01 although that probably holds for most esolangs :DD 13:38:00 -!- boily has joined. 13:39:27 http://codepad.org/jYzLiEJ9 13:39:40 I don't get why most assemblers actually require comma between arguments 13:50:17 -!- edwardk has quit (Quit: Computer has gone to sleep.). 14:39:15 -!- Patashu has quit (Ping timeout: 240 seconds). 15:12:20 -!- oerjan has quit (Quit: leaving). 15:17:00 -!- mihow has quit (Quit: mihow). 15:24:27 -!- Ghoul_ has quit (Quit: Connection closed for inactivity). 15:41:39 Checkout looks interesting 16:02:17 -!- boily has quit (Ping timeout: 245 seconds). 16:11:24 -!- password2 has quit (Ping timeout: 244 seconds). 16:13:07 -!- boily has joined. 16:15:42 -!- password2 has joined. 16:17:50 -!- password2 has quit (Read error: Connection reset by peer). 16:22:04 -!- Bike has joined. 16:23:05 -!- edwardk has joined. 16:34:05 -!- password2 has joined. 16:37:50 BANCStar certainly is look like it could be stored as binary with eight bytes per instruction, although, it isn't. 16:43:19 maybe that latter binary version is 16:43:20 BANCStar 10 is 16:43:35 The question is whether the "empty" fields are actually 0, or something else 16:43:39 as in, 2999,,, 16:44:08 the LIST program seems to treat them as 0 16:44:33 FireFly: Yes, I was actually thinking the same thing. They are either zero or -32768, was my initial idea. 16:44:36 I still don't know. 16:45:06 My CI told me that later versions of BANCStar used a binary format 16:45:48 CI? 16:45:58 probably to stop them crazy folks from programming in it :D 16:46:28 BANCStar really look not quite that bad. 16:46:37 `learn CI is a confidential informant 16:46:38 And you could have the text compiled into a binary format, too. 16:46:39 I knew that. 16:47:04 It is not difficult if you know what the omitted values are. 16:47:27 -!- password2 has quit (Read error: Connection reset by peer). 16:55:00 probably to stop them crazy folks from programming in it :D 16:55:05 probably won't help them much 16:55:29 since it's trivial to transform each to the other 16:57:44 FireFly: Yes, it is what I meant too 17:01:15 -!- glogbackup has quit (Ping timeout: 240 seconds). 17:03:49 It is really unusual, but not quite that bad. 17:04:37 -!- password2 has joined. 17:04:57 But it is a bit bad, certainly 17:05:15 And it is much esoteric as the stuff mentioned in the prehistory of esoteric programming 17:11:22 -!- MindlessDrone has quit (Quit: MindlessDrone). 17:23:17 -!- Bike has quit (Ping timeout: 252 seconds). 17:24:20 -!- Bike has joined. 17:28:03 -!- vyv has quit (Ping timeout: 255 seconds). 17:29:33 -!- Bike has quit (Ping timeout: 240 seconds). 17:29:59 -!- vyv has joined. 17:31:51 -!- Bike has joined. 17:43:32 -!- edwardk has quit (Quit: Computer has gone to sleep.). 17:44:46 Say no to pets who smoke: https://dl.dropboxusercontent.com/u/113389132/Misc/20140614-no-smoking.jpg 17:45:42 :D 17:48:07 -!- Bike has quit (Ping timeout: 245 seconds). 17:48:32 -!- password2 has quit (Ping timeout: 244 seconds). 17:50:21 -!- Bike has joined. 18:02:38 -!- shikhin has joined. 18:13:47 -!- Bike has quit (Quit: leaving). 18:13:58 -!- Bike has joined. 18:28:32 -!- MDude has joined. 18:34:53 -!- boily has quit (Quit: WeeChat 0.4.2). 18:52:34 -!- b_jonas has joined. 18:54:52 -!- ais523_ has joined. 18:59:20 -!- impomatic has joined. 19:37:08 -!- shikhout has joined. 19:38:35 -!- shikhin has quit (Ping timeout: 252 seconds). 19:38:45 -!- shikhout has changed nick to shikhin. 19:39:37 -!- Bike has quit (Ping timeout: 244 seconds). 19:41:32 -!- Bike has joined. 19:43:26 -!- Tod-Autojoined has joined. 19:43:55 -!- TodPunk has quit (Read error: No route to host). 19:45:13 -!- fowl has quit (Quit: Derogatory terms for gynecomastia can include moobs (for male boobs) and bitch tits.[34]). 19:47:58 -!- Tod-Autojoined has changed nick to TodPunk. 19:58:49 @tell fowl it would be nice if your quit message didn't have "bitch" in it 19:58:50 Consider it noted. 20:22:57 It's fowl language. 20:24:43 -!- shikhout has joined. 20:25:21 -!- shikhin has quit (Ping timeout: 255 seconds). 20:27:07 -!- shikhout has changed nick to shikhin. 20:32:44 @tell fowl also not boob or tits. 20:32:44 Consider it noted. 20:34:18 FireFly: ... 20:34:35 then explain why they didn't just design a higher level language and transform that to BANCStar 20:34:41 -!- lollo64it has quit (Ping timeout: 252 seconds). 20:35:03 even that sounds like less effort than what they did 20:36:03 -!- edwardk has joined. 20:36:42 I agree 20:36:48 -!- nooodl has joined. 20:37:26 Especially considering they bothered to make that LIST program for pretty-printing BANCStar to paper.. 20:39:37 -!- lollo64it has joined. 20:41:33 mroman: well, LIST was probably needed to understand existing code, whether one that was written before tools, or ones from the screen generator 20:41:46 LIST has probably helped in the reverse engineering 20:42:35 I mean, when they understood part of the language only, they would run an older version of LIST understanding that part of the language on programs by the screen generator to understand more. 20:43:18 but yes, I really don't understand why they bothered writing raw bancstar instead of translating to it 20:43:24 at least in assembly level 20:44:12 -!- lorenzo_ has joined. 20:47:03 -!- lollo64it has quit (Ping timeout: 240 seconds). 20:47:32 has anyone here done any work with formal semantcs of programming languages? 20:48:07 b_jonas: It doesn't seem *too* difficult to write. 20:48:22 Although, a macro assembler probably would have been a good idea. 20:48:33 Since you can include comments and metaprogramming 20:48:42 zzo38: exactly 20:48:46 exactly. 20:48:49 never saw a seme i didn't like 20:48:54 zzo38: and they can start with an assembler that is compatible with the existing syntax 20:48:58 maybe they did 20:49:04 and incrementally increase it, first with comments, etc 20:49:11 he mentioned they wrote _several_ development tools for it 20:49:17 Yes, I do think would be good having an assembler compatible with the existing syntax 20:49:44 (but the NFCS wasn't interested in them) 20:49:58 I haven't asked what tools exactly 20:50:55 Probably just an assembler which uses the existing syntax but also with macros, comments, and link to prompt file, and names of pages, is enough. 20:51:09 well 20:51:20 you could also easily replace numbers with mnemonics 20:51:23 probably 20:51:33 like arith or even add instead of 10000 ... 20:51:35 mroman: No, you can use macro to implement that 20:51:50 zzo38: just alphabetic symbols for the variables, plus a syntax for multiplying those by 10 and adding a digit, would help first 20:51:54 macros are extra 20:52:01 so that, you know, you can actually name variables 20:52:09 instead of just numbering them 20:52:16 I myself would prefer having macros instead though 20:52:23 ah, that's what you're saying to link to prompt file 20:52:28 -!- lorenzo_ has quit (Quit: Leaving). 20:53:01 Yes, to link to variables and constants in the prompt file. 20:57:38 -!- AnotherTest has joined. 21:12:59 Do you know what values are supposed to be used for the sample numbers in the list of sample numbers for all notes in the instrument? 21:17:16 I assume to put zero 21:41:24 -!- conehead has joined. 21:47:53 -!- AnotherTest has quit (Ping timeout: 264 seconds). 21:59:16 -!- mhi^ has quit (Quit: Lost terminal). 22:00:39 -!- conehead has quit (Quit: Computer has gone to sleep). 22:03:08 -!- ais523_ has quit (Quit: Page closed). 22:03:24 -!- mhi^ has joined. 22:19:21 -!- not^v has quit (Excess Flood). 22:19:46 -!- not^v has joined. 22:22:41 -!- not^v has changed nick to ^0. 22:33:15 -!- conehead has joined. 22:41:01 -!- edwardk has quit (Quit: Computer has gone to sleep.). 22:47:10 -!- edwardk has joined. 22:47:48 -!- conehead has quit (Quit: Computer has gone to sleep). 22:47:55 -!- lollo64it has joined. 22:59:31 -!- oerjan has joined. 22:59:39 -!- conehead has joined. 23:04:45 -!- Patashu has joined. 23:23:01 -!- ^v has joined. 23:23:11 -!- ^v has quit (Client Quit). 23:26:15 -!- Patashu_ has joined. 23:26:16 -!- Patashu has quit (Disconnected by services). 23:46:25 -!- nooodl has quit (Quit: Ik ga weg). 23:46:32 What is the radio fuzzy when I stand in a particular place? 23:51:21 Do you know if OpenMPT supports any DDE commands? 23:56:35 zzo38: try vacuuming the place so the dust doesn't collect on the radio hth 23:57:48 OpenMPT.Raii.Raii 23:58:01 (only norwegians will understand this pun) 23:58:34 -!- yorick has quit (Remote host closed the connection). 23:58:45 -!- boily has joined.