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 <MDude> I wonder why META II is called that and not jsut META.
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 <zzo38> 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 <kyhwana> 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 <zzo38> 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 <kyhwana> zzo38: yeah, you'd probably have to ask a lawyer
03:21:40 <zzo38> 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:47:15 -!- shikhout has quit (Ping timeout: 255 seconds).
03:59:53 <fowl> theres a channel on freenode for license discussion
05:12:14 <zzo38> 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 <zzo38> 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 <Sgeo> I'm finding myself addicted to TagPro
05:55:40 <Sgeo> Wins 4 Losses 10
06:04:34 -!- tromp_ has quit (Read error: Connection reset by peer).
06:12:43 <HackEgo> [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:59 <Sgeo> http://lpaste.net/88416
06:36:11 <Sgeo> So maybe it IS possible for Chrome scripts to do arbitrary things to a page
06:37:10 <HackEgo> [wiki] [[Special:Log/newusers]] create * IdleGamesRock * New user account
06:42:49 <HackEgo> [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 <Sgeo> Erlang reminds me of OpenBSD
07:16:04 <Sgeo> 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 <elliott> 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 <zzo38> 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 <Taneb> 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:39 <Phantom_Hoover> although it would, i suppose, by mitigated by the en-suite library
08:47:13 <Taneb> Also there was a lecture theatre that was just in a corridor
08:48:54 <Taneb> Also I had a USB N64 controller I think
08:49:42 <Phantom_Hoover> i was having some kind of dream at some point but then the fire alarm went off at 4 in the morning
08:51:15 <Taneb> 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:55:51 -!- Patashu has quit (Ping timeout: 244 seconds).
08:57:12 <Taneb> ...do you want to borrow some of mine?
08:59:58 -!- tromp has joined.
09:02:04 -!- Ghoul_ has joined.
09:33:27 -!- password2 has joined.
09:34:06 <mroman> 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:45:48 <Taneb> Is it the wrong way round?
09:45:54 <Taneb> (I've made that mistake)
09:47:31 -!- conehead has quit (Quit: Computer has gone to sleep).
09:50:29 <int-e> is the phone vendor-locked?
09:50:37 <int-e> (or whatever they call that)
09:51:19 <oerjan> mroman: it's because it doesn't approve of your language hth
09:52:25 <oerjan> 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 <oerjan> i think this one is on the brink.
09:56:24 <mroman> had to clean the goldy-shiny plate a little bit
09:56:58 <olsner> then the problem might have been that the bit that was supposed to be shiny was dirty
09:58:19 <mroman> 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 <HackEgo> [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 <HackEgo> [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 <password2> i should not have discovered that list of ideas
11:56:18 -!- Guest47376 has quit (Changing host).
11:56:19 -!- Guest47376 has joined.
11:56:28 -!- Guest47376 has changed nick to skarn.
11:57:47 <oerjan> 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 <HackEgo> [wiki] [[Pluso]] M http://esolangs.org/w/index.php?diff=39839&oldid=39823 * Oerjan * (+0) wikifmt
12:11:12 <HackEgo> [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 <HackEgo> [wiki] [[Talk:Cheese]] http://esolangs.org/w/index.php?diff=39841&oldid=39794 * Oerjan * (+178) the spirit of unsigned
12:58:33 <mroman> password2: You have fallen prey .
13:00:05 <HackEgo> [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=39842&oldid=39838 * 92.105.82.69 * (+77) /* Joke/Silly Ideas */
13:01:18 <mroman> someone could make an esolang specifically designed for GPUs
13:03:21 <mroman> elliott: I'm sorry. I'm not git.
13:06:39 <int-e> password2: piet? hehe.
13:07:28 <int-e> http://esolangs.org/wiki/Piet ... it has pixels, that's why I thought of it.
13:09:15 <password2> it keeps confuzing me cas in my language Piet is a common name
13:13:14 -!- Slereah has quit (Ping timeout: 240 seconds).
13:13:44 <oerjan> it's named after piet mondrian, naturally
13:14:09 <oerjan> hm, nice hitler mustache
13:16:45 -!- Slereah_ has joined.
13:17:41 <oerjan> ooh dmm has recently added some clarifications to the language spec
13:20:36 -!- boily has joined.
13:23:03 <oerjan> hm or maybe just the note that there _are_ clarifications.
13:23:28 <Taneb> oerjan, something about stacks, something about numbers
13:24:18 <oerjan> there's a big block about white blocks that's marked.
13:24:35 -!- Slereah has joined.
13:24:37 <Taneb> And divide, mod, and roll
13:25:24 <Taneb> Basically, ctrl-f for implementation-dependent
13:26:17 -!- Slereah_ has quit (Ping timeout: 264 seconds).
13:26:51 <oerjan> except the stack one is missing the hyphen hth
13:29:04 <Taneb> OK, stacks, numbers, div, mod, roll
13:29:12 <Taneb> All to do with implementation dependent behaviour
13:30:57 <boily> still bancstarring?
13:32:34 <mroman> BANCStar isn't actually as esoteric as it first seemed
13:32:51 <oerjan> well it's not intended to be, so...
13:33:02 <mroman> It's actually pretty sane and it was never meant to be used directly by humans :)
13:33:34 <boily> let me guess. some kind of bytecode that happens to be stored as decimal numbers?
13:34:17 <mroman> although later versions of BANCStar switched to a binary format
13:34:25 <mroman> making it really Bytecode
13:35:33 -!- boily has quit (Quit: UPGRADING CHICKEN).
13:36:42 <mroman> not more esoteric than programming on punch-hole cards
13:37:01 <mroman> although that probably holds for most esolangs :DD
13:38:00 -!- boily has joined.
13:39:27 <mroman> http://codepad.org/jYzLiEJ9
13:39:40 <mroman> 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 <FireFly> 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 <zzo38> BANCStar certainly is look like it could be stored as binary with eight bytes per instruction, although, it isn't.
16:43:19 <FireFly> maybe that latter binary version is
16:43:35 <FireFly> The question is whether the "empty" fields are actually 0, or something else
16:44:08 <FireFly> the LIST program seems to treat them as 0
16:44:33 <zzo38> FireFly: Yes, I was actually thinking the same thing. They are either zero or -32768, was my initial idea.
16:44:36 <zzo38> I still don't know.
16:45:06 <mroman> My CI told me that later versions of BANCStar used a binary format
16:45:58 <mroman> probably to stop them crazy folks from programming in it :D
16:46:28 <zzo38> BANCStar really look not quite that bad.
16:46:37 <mroman> `learn CI is a confidential informant
16:46:38 <zzo38> And you could have the text compiled into a binary format, too.
16:47:04 <zzo38> 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 <FireFly> <mroman> probably to stop them crazy folks from programming in it :D
16:55:05 <FireFly> probably won't help them much
16:55:29 <FireFly> since it's trivial to transform each to the other
16:57:44 <zzo38> FireFly: Yes, it is what I meant too
17:01:15 -!- glogbackup has quit (Ping timeout: 240 seconds).
17:03:49 <zzo38> It is really unusual, but not quite that bad.
17:04:37 -!- password2 has joined.
17:04:57 <zzo38> But it is a bit bad, certainly
17:05:15 <zzo38> 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 <fizzie> Say no to pets who smoke: https://dl.dropboxusercontent.com/u/113389132/Misc/20140614-no-smoking.jpg
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 <elliott> @tell fowl it would be nice if your quit message didn't have "bitch" in it
20:22:57 <int-e> 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 <mroman> @tell fowl also not boob or tits.
20:34:35 <mroman> 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 <mroman> even that sounds like less effort than what they did
20:36:03 -!- edwardk has joined.
20:36:48 -!- nooodl has joined.
20:37:26 <FireFly> Especially considering they bothered to make that LIST program for pretty-printing BANCStar to paper..
20:39:37 -!- lollo64it has joined.
20:41:33 <b_jonas> 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 <b_jonas> LIST has probably helped in the reverse engineering
20:42:35 <b_jonas> 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 <b_jonas> but yes, I really don't understand why they bothered writing raw bancstar instead of translating to it
20:43:24 <b_jonas> at least in assembly level
20:44:12 -!- lorenzo_ has joined.
20:47:03 -!- lollo64it has quit (Ping timeout: 240 seconds).
20:47:32 <diginet> has anyone here done any work with formal semantcs of programming languages?
20:48:07 <zzo38> b_jonas: It doesn't seem *too* difficult to write.
20:48:22 <zzo38> Although, a macro assembler probably would have been a good idea.
20:48:33 <zzo38> Since you can include comments and metaprogramming
20:48:49 <Bike> never saw a seme i didn't like
20:48:54 <b_jonas> zzo38: and they can start with an assembler that is compatible with the existing syntax
20:49:04 <b_jonas> and incrementally increase it, first with comments, etc
20:49:11 <mroman> he mentioned they wrote _several_ development tools for it
20:49:17 <zzo38> Yes, I do think would be good having an assembler compatible with the existing syntax
20:49:44 <mroman> (but the NFCS wasn't interested in them)
20:49:58 <mroman> I haven't asked what tools exactly
20:50:55 <zzo38> 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:20 <mroman> you could also easily replace numbers with mnemonics
20:51:33 <mroman> like arith or even add instead of 10000 ...
20:51:35 <zzo38> mroman: No, you can use macro to implement that
20:51:50 <b_jonas> zzo38: just alphabetic symbols for the variables, plus a syntax for multiplying those by 10 and adding a digit, would help first
20:52:01 <b_jonas> so that, you know, you can actually name variables
20:52:09 <b_jonas> instead of just numbering them
20:52:16 <zzo38> I myself would prefer having macros instead though
20:52:23 <b_jonas> ah, that's what you're saying to link to prompt file
20:52:28 -!- lorenzo_ has quit (Quit: Leaving).
20:53:01 <zzo38> Yes, to link to variables and constants in the prompt file.
20:57:38 -!- AnotherTest has joined.
21:12:59 <zzo38> 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 <zzo38> 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 <zzo38> What is the radio fuzzy when I stand in a particular place?
23:51:21 <zzo38> Do you know if OpenMPT supports any DDE commands?
23:56:35 <oerjan> zzo38: try vacuuming the place so the dust doesn't collect on the radio hth
23:58:01 <oerjan> (only norwegians will understand this pun)
23:58:34 -!- yorick has quit (Remote host closed the connection).
23:58:45 -!- boily has joined.