00:06:13 i used to have knowledge about linear logic, but i gave it away 00:09:11 `unidecode B♭₃ 00:09:12 ​[U+0042 LATIN CAPITAL LETTER B] [U+266D MUSIC FLAT SIGN] [U+2083 SUBSCRIPT THREE] 00:09:42 you know it's a good character when pasting it causes putty to stall while fonts are loading 00:16:24 -!- ski_ has changed nick to ski. 00:21:42 -!- Bicyclidine has quit (Ping timeout: 248 seconds). 00:35:03 the flat sign? 00:35:57 it looked that way 00:36:37 -!- shikhout has joined. 00:39:56 -!- shikhin has quit (Ping timeout: 260 seconds). 00:44:59 -!- vifino has quit (Quit: Ze Cat now leaves...). 00:47:02 You gave it away? 00:47:39 -!- conehead has quit (Quit: Computer has gone to sleep). 00:47:43 I am also using PuTTY but it is only using one font so it isn't stall while fonts are loading 00:50:24 Today when playing at Dungeons&Dragons game, they said they needed a 30d20 damage; instead of rolling the dice so many times I suggested to use my calculator; I did that and it did work. 00:50:31 (The calculator is TI-92) 00:51:03 have you made a dice-rolling program for it? 00:51:17 FireFly: Yes, I have in fact done so. 00:51:36 That's hady 00:51:41 handy, even 00:52:53 You can enter a dice notation and then it use that one. 01:01:25 zzo38: well maybe it was just part of the font that was paged out 01:01:55 30d20 01:01:55 oerjan: 358 01:02:29 :( my D&D group isn't getting back together until late August at the earliest 01:06:20 Did you win, lose, both, neither, or draw, last time? 01:08:52 -!- conehead has joined. 01:09:04 * ski idly notices mention of linear logic 01:09:23 ski: O, do you know much of linear logic? 01:10:39 well, a little bit, i'd say. not *that* much 01:11:20 (like i know the basic sequent calculus rules by heart, e.g.) 01:11:42 I know a few things; I can understand what the sequent rules are, but my problem mentioned above is not that, but rather what each rule, sequent, term, etc is meaning/doing in the kind of system I described above. 01:12:05 * ski hasn't really checked out this "Gentzen" esolang 01:12:31 (i think someone (you) mentioned it before, and i looked *very* briefly at it) 01:12:34 ski: Then see how it is working; it is classical logic, but I wanted to make up a similar things for linear logic. 01:12:50 ski: Actually I think was it on a different channel or private message that I told you it before? 01:13:10 possibly (and possibly it wasn't you. i don't recall) 01:13:53 (oops, i meant s/\(you\)/\(you \?\)/) 01:14:39 OK 01:14:50 That's what I thought you meant. 01:15:47 -!- drdanmaku has joined. 01:16:38 Did you look at it better now? Did you understand it at all by now? 01:17:16 (I also also aware of the linear logic sequent rules by heart) 01:20:59 -!- boily has joined. 01:24:51 heily 01:27:21 yœrjan! 01:28:24 how's your night going? 01:31:19 pretty normal so far 01:34:37 like, little to no ambient light, crickets chirping, frogs croaking... 01:34:47 (hm. stupid question: are there crickets in Norway?) 01:35:28 -!- ineiros has quit (Remote host closed the connection). 01:36:55 "If this is your second time through the comics in sequence, you might just be wondering about that cat now..." ok DMM you got me there 01:37:25 boily: i don't think so? 01:37:45 -!- Bike has quit (Ping timeout: 244 seconds). 01:38:00 it _is_ summer in norway though, the light outside would probably be enough to read by. 01:38:31 oh. indeed. 01:39:30 also, this apartment is pretty well sound isolated, except for some infathomable reason my bedroom window is the _least_ isolated place. 01:39:52 so hearing sounds from nature would be unusual in the living room 01:41:21 (none of this actually help when the builders start drilling in the walls or the neighbors' dog starts barking, though) 01:41:47 the dog has improved, though, it only does so for a short while at a time now. 01:42:04 and not in the night, only when the owners are away 01:43:04 that reminds me none of my neighbours have signed opera recently. 01:43:08 if i _were_ to hear any sounds from nature it would be birds, most likely seagulls 01:43:12 heh 01:43:53 in my previous shared apartment the landlady for a few years rented out to an opera singer in the summers 01:44:05 (argh) 01:44:48 (he was having a summer job at the neighboring ringve musical instrument museum) 01:45:09 istr he got a permanent job there when he graduated 01:46:19 zzo38 : hm, actually i'm pretty tired atm .. :/ 01:46:22 -!- Bike has joined. 01:46:43 right now, the only sound suffusing through my appt is from the AC's fan. 01:47:23 sound that I should be wrapping myself in, on top of my mattress. I lack sleep, and tomorrow is an orange t-shirt day. 01:47:50 'night all! 01:47:55 -!- boily has quit (Quit: ELLIPTIC CHICKEN). 01:48:29 @tell boily apparently one species, Acheta domestica, is occasionally found in norway 01:48:29 Consider it noted. 01:53:05 ski: OK 01:55:30 Is Hell at Norway? 02:00:53 zzo38: yes, it's just a half-hour drive east of trondheim 02:01:06 and next to the airport. 02:05:15 in fact someone once suggested the bright idea of renaming the municipality and airport to hell :) 02:06:02 then i'd be doing ~metar ENHE instead, presumably 02:06:07 -!- ^v has quit (Quit: Leaving). 02:06:22 oh wait that's taken 02:06:41 Would that make them change the airport code too, though? I wouldn't think that they would have to change the airport code anyways due to such a case? 02:06:51 for the heidrun oil platform 02:07:07 zzo38: i don't know 02:07:43 ENHL seems vacant 02:08:20 The closest weather station with public data doesn't have metarness 02:08:42 So I go to weather.elec.york.ac.uk instead 02:09:41 Taneb: Does it have an airport code though? 02:09:48 well for the actual weather forecast i go to yr.no 02:10:11 zzo38, no, it's on top of one of the buildings at my uni 02:11:42 somehow i doubt that ENHE is an airport, although they presumably have a helicopter landing area 02:12:17 O, OK, although then it still has an airport code even though it is not an airport, isn't it? 02:12:21 but if that counted then hospitals would get metars too 02:19:32 -!- conehead has quit (Quit: Computer has gone to sleep). 02:20:42 -!- ^v has joined. 02:21:09 -!- nooodl has quit (Ping timeout: 244 seconds). 02:25:16 zzo38 : i've been at the Godsexpedition in Hell, yes 02:26:26 02:27:30 * ski didn't know about it before visiting (passing by, changing trains or maybe to bus, iirc) 02:29:13 -!- pikhq has quit (Ping timeout: 272 seconds). 02:32:14 i once had the pleasure of greeting an american couple with "welcome to hell" on that railway 02:32:49 ("thanks a _lot_") 02:36:10 -!- pikhq has joined. 02:44:28 In the computer game "Super ASCII MZX Town", one area is you are at HELL, and there is a scroll lying on the ground that says "Hell is in Norway". However, it is a difficult area, with time limits, fire, lava, seekers, invisible people, and other things; and at the end of all this, they won't let you back out again until hell is freezing. 02:45:10 They have square pool balls in there, and there is also a telephone; however, it is the only telephone in there and only local calls are allowed. 02:55:41 there is very little lava in norway, actually 02:56:00 there's a volcano on the jan mayen island, far from the mainland 02:57:47 "Isn't breaking the rules like, against the rules?" 03:01:24 I know, but, this is just a computer game anyways 03:01:34 Sgeo: Yes, but what about the meta-rules? 03:02:22 sadly ULES doesn't seem to be an ICAO code 03:03:27 "ICAO codes are also used to identify other aviation facilities such as weather stations, International Flight Service Stations or Area Control Centers, whether or not they are located at airports." 03:03:45 i suppose that somewhat answers a previous question 03:03:49 Meta-rules: You are not allowed to follow the rules or the meta-rules. 03:04:08 Sgeo: i'm sorry that's a meta-meta-rule 03:04:27 hm, iirc, my brother visited Jan Mayen 03:05:12 UL appears to be north western russia 03:08:08 metar ULSS is in st petersburg 03:08:48 oh it's been closed 03:21:51 I would think that, the only way that breaking the rules is not against the rules, is if it is inconsistent, isn't it? 03:23:39 it can get a little subtle with games where you are allowed to "break" the rules as long as you aren't caught 03:24:26 then it matters what you interpret as the "real" rules 03:24:38 Yes in that case, it is allowed in some cases, but I suppose still it is sort of like a kind of other level of rules 04:26:04 I'm eating ice cream and just watched a movie about Gerta stealing her friend back from the ice queen. So when boily mentioned hearing an air conditioner I was like "wait, isn't it winter?". 04:28:57 sometimes I have trouble telling the difference between reality and what I see on the computer 04:45:18 -!- Slereah_ has quit (Ping timeout: 244 seconds). 05:05:33 -!- shikhout has quit (Ping timeout: 240 seconds). 05:24:51 There have been arguments in Agora about it 05:25:09 Is it acceptable to break the rules if a penalty is specified 05:25:09 -!- doesthiswork has quit (Quit: Leaving.). 05:27:27 Sgeo: In many games where it is like that, I have assumed it is acceptable if a penalty is specified. 05:28:21 Such as no-ten riichi requiring you to pay everyone in case of an exhaustive draw and otherwise it specifies that there is no penalty. 05:31:41 (However, some games do have rules that specify that the penalty for professional fouls is disqualification.) 05:32:06 -!- doesthiswork has joined. 05:39:27 -!- MDude has changed nick to MDream. 05:42:43 How would I do compression of pattern data in a Fasttracker file? There is patterns and then a playback order to tell which pattern to play. Basically the problem is this: I now have a sequence of rows, and need to place then into lists of rows called patterns, together with a list of pattern numbers, such that concatenating the patterns together in order specified by the order list (duplicates are allowed) results in the original sequence of rows 05:52:09 Would something resembling byte pair encoding work? 05:57:33 -!- Burton has quit (Ping timeout: 252 seconds). 05:57:38 -!- edwardk has quit (Ping timeout: 252 seconds). 06:01:17 -!- newsham_ has changed nick to newsham. 06:03:54 Something pairwise would've been my first thought too, though I suspect it leads to something greedy that's not always optimal. (A similar approach "from the other direction" would be to find the longest sub"string" that occurs at least twice, and start from there.) 06:04:00 -!- edwardk has joined. 06:06:11 fizzie: Yes, OK, although what is the best way to do that, then? 06:06:49 You can find the longest repeated substring with a suffix tree very much like those used for the longest common substring thing. 06:07:31 OK, Wikipedia explains that. 06:08:28 -!- doesthiswork has quit (Quit: Leaving.). 06:08:40 Though I'm not sure if that works for longest repeated non-overlapping substring. 06:08:46 Have to leave now, anyhow. -> 06:11:44 Also the effective length of each row may differ. 06:26:34 -!- impomatic has quit (Read error: Connection reset by peer). 06:29:04 -!- MoALTz has quit (Quit: Leaving). 06:50:08 -!- Burton has joined. 07:11:30 [wiki] [[User talk:Rdebath]] http://esolangs.org/w/index.php?diff=40051&oldid=40021 * Maxdefolsch * (+680) /* SBFI */ 07:16:02 [wiki] [[User talk:Rdebath]] http://esolangs.org/w/index.php?diff=40052&oldid=40051 * Maxdefolsch * (+301) 07:29:25 -!- edwardk has quit (Ping timeout: 272 seconds). 07:37:06 [wiki] [[Tweak]] http://esolangs.org/w/index.php?diff=40053&oldid=40034 * Oerjan * (+12) I have no idea how this works, which means it's still a stub. 07:40:10 -!- conehead has joined. 07:49:42 [wiki] [[Text]] http://esolangs.org/w/index.php?diff=40054&oldid=40049 * Oerjan * (-10) /* Development of a compiler */ count, fmt, link, avoid going off tape 07:55:39 -!- glogbackup has joined. 07:55:53 -!- Patashu has joined. 08:15:29 -!- Patashu_ has joined. 08:15:30 -!- Patashu has quit (Disconnected by services). 08:20:06 -!- edwardk has joined. 08:21:28 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 08:25:36 * ski idly wonders whether zzo38 has any favourite module zaks 09:07:00 -!- oerjan has quit (Quit: leaving). 09:24:09 -!- ais523_ has joined. 09:32:32 [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=40055&oldid=40007 * Rdebath * (+626) /* Performance Matrix */ 09:33:32 [wiki] [[User talk:Rdebath]] http://esolangs.org/w/index.php?diff=40057&oldid=40052 * Rdebath * (+1948) /* SBFI */ 10:10:16 -!- conehead has quit (Quit: Computer has gone to sleep). 10:17:33 -!- boily has joined. 10:36:22 -!- Patashu has joined. 10:36:22 -!- Patashu has quit (Client Quit). 10:36:35 -!- Patashu has joined. 10:37:33 -!- Patashu_ has quit (Ping timeout: 240 seconds). 10:39:42 -!- Patashu has quit (Remote host closed the connection). 10:39:54 -!- Patashu has joined. 10:53:03 -!- Patashu has quit (Ping timeout: 240 seconds). 10:53:46 -!- Patashu has joined. 10:55:38 -!- vifino has joined. 10:56:07 -!- Patashu has quit (Client Quit). 10:56:16 -!- Patashu has joined. 11:00:22 -!- boily has quit (Quit: REMONSTRABLE CHICKEN). 11:02:04 [wiki] [[User talk:Rdebath]] http://esolangs.org/w/index.php?diff=40058&oldid=40057 * Maxdefolsch * (+357) 11:13:56 -!- edwardk_ has joined. 11:15:57 -!- edwardk has quit (Ping timeout: 264 seconds). 11:19:48 -!- ais523_ has quit (Quit: Page closed). 11:33:20 -!- yorick has joined. 12:41:19 -!- MDream has changed nick to MDude. 12:49:26 -!- vifino has quit (Quit: Ze Cat now leaves...). 12:53:13 -!- vifino has joined. 13:16:35 -!- Slereah_ has joined. 13:31:20 -!- Patashu has quit (Ping timeout: 260 seconds). 13:40:27 so we are staring at this haskell code with IORefs to Maps 13:40:49 cmap <- readIORef cMapRef 13:41:14 let cmap = Map.insert foo bar cmap 13:41:28 writeIORef cMapRef cmap 13:41:37 which fails at a later lookup 13:42:02 writeIORef cMapRef (Map.insert foo bar cmap) works just fine 13:42:05 why? 13:43:47 [wiki] [[User talk:Rdebath]] http://esolangs.org/w/index.php?diff=40059&oldid=40058 * Rdebath * (+359) /* SBFI */ 13:52:35 it would help if you told us the error 13:53:55 I'm somewhat suspicious of the let x = f x part, but I'm not really a Haskellist. 13:57:52 I mean, compare and contrast: 13:58:03 > do { x <- return [1]; let { y = 1:x }; return y } :: Maybe [Int] 13:58:05 Just [1,1] 13:58:09 > do { x <- return [1]; let { x = 1:x }; return x } :: Maybe [Int] 13:58:11 Just [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,... 13:59:53 (Your code seems to expect the "cmap" on the left side of the let be different from the "cmap" on the right side.) 14:00:46 elliott: <> 14:00:57 Well, see above. 14:01:26 that makes totally sense 14:01:39 so the insert is lazy, too? 14:02:05 i.e. the insert will only be done once i make a lookup? 14:05:20 oh I totally missed the error 14:15:14 -!- idris-bot has quit (Quit: Terminated). 14:16:10 -!- idris-bot has joined. 14:19:13 -!- Sorella has joined. 14:26:19 -!- augur has quit (Read error: Connection reset by peer). 14:27:07 -!- augur has joined. 14:30:30 -!- MindlessDrone has joined. 14:38:05 -!- TieSoul has quit (Read error: Connection reset by peer). 14:38:52 -!- TieSoul has joined. 14:43:49 -!- axtens has joined. 14:43:59 -!- axtens has left. 14:50:56 `coins 14:50:57 ​memfrcoin lola/mcoin regischesecoin lartacoin gundalucoin theolacoin cellcoin baldinicoin obtcoin includercoin mcfarcoin crtlingcoin bfjousewecoin raagcoin 3cacoin scercoin schroupsillcoin norfcoin etencoin ovecoin 14:51:14 I'd like a lolcat coins style and a BANCStar coins style 14:58:18 More like mcfartcoin 14:58:38 What are these hackego coins? 15:01:23 Suggestions for new cryptocurrency names. 15:02:34 -!- bug-magnet has joined. 15:04:20 bfjousewe is interesting 15:16:05 -!- TieSoul has quit (Remote host closed the connection). 15:16:09 -!- doesthiswork has joined. 15:19:05 -!- barrucadu has changed nick to classic_barrucad. 15:19:18 -!- classic_barrucad has changed nick to barrucadu. 15:27:58 Bacoin would be the best new cryptocurrency name. 15:30:07 -!- FireFly has quit (Excess Flood). 15:31:30 -!- FireFly has joined. 15:34:06 coercoin 15:36:49 -!- bug-magnet has quit (Ping timeout: 244 seconds). 15:57:08 BANCStar coins would be a nice choice thematically. 15:57:37 `cats 15:57:39 meow meow meow meow 15:58:11 `cat dog 15:58:11 ​ヽ༼ຈل͜ຈ༽ﾉ 15:58:13 jscoin 15:58:19 the future is js! 15:58:34 It's like bitcoin except the scripts are in javascript? 15:58:56 i'm just the big picture guy 15:59:00 you guys can work out the details 15:59:08 I expect that's end up pronoucned "jus' coin". 15:59:22 *that'd 15:59:47 you run it in nodejs compiled to jsasm running in v8 16:10:05 ski: Sorry I did not answer your question about "module zaks" I was sleeping. 16:11:23 -!- Patashu has joined. 16:17:31 -!- yorick has quit (Read error: Connection reset by peer). 16:37:44 -!- shikhin has joined. 16:39:18 http://this-plt-life.tumblr.com/post/36425234294/when-i-see-that-a-new-language-makes-a-difference 16:39:33 I can think of good reasons for such a distinction. I guess I automatically think of Racket 16:40:37 racket has statements? 16:41:16 What kind of distinction? 16:41:26 -!- HackEgo has quit (Ping timeout: 248 seconds). 16:41:56 -!- HackEgo has joined. 16:42:55 Bike: require and define are statements, I think 16:43:48 internal defines are stupid, though. 16:44:04 Not being able to require dynamically (at least not in normal usage) allows static determination of dependencies. Although I guess could be done in an expression-y way 16:44:12 Bike: :( how so? I think they're a good idea 16:45:12 it makes parsing harder for no very good reason. you have to have all the relevant forms deal with them specially and that complicates things. why not just use letrec? 16:45:56 anyway, i'm not sure i'd count that as a "statement", since it's part of the syntax of theh form around it. not an expression though. 16:46:29 It is Forth which is impossible to parse without executing it. 16:47:24 (Of course, this has advantages and disadvantages.) 16:48:20 I should get interested in Racket again. Start working on those lenses 17:14:28 I may be addicted to Gravity Falls 17:20:56 nothing wrong with that. 17:31:40 -!- shikhin has quit (Ping timeout: 260 seconds). 17:37:03 -!- MoALTz has joined. 17:40:19 Bike: yes there is: I didn't pace myself, and am about to finish watching all episodes in 3 days. I'll need to wait until August for more. 17:40:34 get a job 17:44:26 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 17:53:19 Good idea. *hops into time machine to March 2013* 17:55:53 [wiki] [[PHL 1.0]] M http://esolangs.org/w/index.php?diff=40060&oldid=39561 * GermanyBoy * (+53) /* (summary), External resources */ links; deadlink: I am having problems with my server 17:56:59 [wiki] [[Goldfish]] M http://esolangs.org/w/index.php?diff=40061&oldid=39852 * GermanyBoy * (+26) /* External resources */ deadlink 18:13:02 `danddreclist 54 18:13:02 danddreclist 54: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex 18:28:49 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:32:15 -!- AnotherTest has joined. 18:33:11 [wiki] [[SYCPOL]] M http://esolangs.org/w/index.php?diff=40062&oldid=40046 * GermanyBoy * (+30) /* The structure of the program */ lines: I think these help 18:40:03 -!- shikhin has joined. 18:54:35 zzo38 : np 18:55:00 just not that common to run into someone who knows what a tracker is 18:56:38 * ski 'd count a `define' form as a declaration .. 18:57:55 * ski can also think of some reasons to distinguish commands from expressions 18:58:45 (and also to distinguish statements from expressions, where statements are like these logical formulae you can type in logical programming languages) 19:23:24 -!- Tritonio has joined. 19:27:04 I wonder if any conspiracy nuts ... think something interesting about Gravity Falls 19:30:34 why the hell is there no function for base62 String -> String conversion in Data.Locator? :( 19:31:12 62? 19:31:24 no special chars 19:32:34 basically i want to transform a given string with unicode to something that is a valid function name in llvm 19:32:42 base62 would be suitable 19:34:54 [wiki] [[Template:Infobox proglang]] N http://esolangs.org/w/index.php?oldid=40063 * GermanyBoy * (+1033) to be used on SYCPOL page 19:35:41 [wiki] [[SYCPOL]] http://esolangs.org/w/index.php?diff=40064&oldid=40062 * GermanyBoy * (-225) /* (summary) */ template 19:37:13 [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40065&oldid=40063 * GermanyBoy * (+31) /* (template code), (SYCPOL example) */ bold, how it is really used on the SYCPOL page 19:37:57 "In Disney’s latest show, Gravity Falls, they show everyone which masters they truly serve. They really don’t give a shit who knows it, either. If anyone had doubts about their connections to the ‘Illuminati’, I’m sure this show validates everything. Disney has always shown who they serve, but this time they’ve let everything ‘hang out’." 19:38:27 lol. 19:41:34 myname: Do you know what range of character it is using? Is it full Unicode? A superset? A subset? What are more common, would UTF-8 help at all? 19:41:58 http://youtu.be/fOjSSj-WTkQ?t=2m53s this person... doesn't seem to know what the zodiac is 19:42:01 ski: I also did not understand your question 19:42:03 ideally it'll convert every valid haskell string 19:42:38 zzo38 : since you were mentioning Fasttracker, i figured perhaps you had some favourite modules 19:42:41 myname: Then, as far as I can tell, all character codes from 0 to 0x10FFFF even ones that aren't valid Unicode characters, but nothing beyond that. 19:42:47 [wiki] [[Goldfish]] http://esolangs.org/w/index.php?diff=40066&oldid=40061 * GermanyBoy * (+233) /* (summary) */ template 19:42:53 ski: O, well, I don't really know if I have any favourite. 19:43:15 zzo38: question is: what is the easiest and most reliable way to convert it 19:45:24 [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40067&oldid=40065 * GermanyBoy * (+119) computational class 19:46:39 [wiki] [[Goldfish]] http://esolangs.org/w/index.php?diff=40068&oldid=40066 * GermanyBoy * (+53) turing complete 19:48:46 I think in LLVM you can use quotation marks to allow any character inside of a name. 19:49:02 :o 19:49:06 sorcery 19:49:14 i will check that 19:49:45 If it allows 8-bit characters, then you can just use UTF-8. 19:50:18 it does not allow all of ascii 19:50:30 simple exampe: spaces 19:50:43 It says "any character can be used in a name value" in that part of the instructions? 19:51:06 -!- conehead has joined. 19:51:09 ? 19:52:06 See LangRef.html#identifiers 19:52:32 is quoting also mentioned? 19:53:06 Yes, it says if you want to use any character other than [a-zA-Z$._0-9] then you have to use quotation marks, and you can use \ for any character code in hexadecimal. 19:55:00 -!- copumpkin has joined. 19:56:29 -!- copumpkin has changed nick to puritypunisher. 20:00:51 i can just name a function "foo bar" and it'll work? 20:00:56 that's awesome 20:01:39 -!- Tritonio1 has joined. 20:02:54 -!- Tritonio has quit (Ping timeout: 244 seconds). 20:02:55 -!- puritypunisher has changed nick to copumpkin. 20:05:46 myname: I expect it will work, although I have not tried. 20:05:46 -!- Tritonio has joined. 20:08:15 -!- Tritonio1 has quit (Ping timeout: 255 seconds). 20:09:58 -!- Tritonio has quit (Ping timeout: 248 seconds). 20:10:49 [wiki] [[Lii]] http://esolangs.org/w/index.php?diff=40069&oldid=39814 * GermanyBoy * (+861) /* (summary), Related languages */ template; new section 20:11:08 ski: The reason I was asking such question though, is so that I can make my program to make smaller .XM files; currently it always uses 64 rows each and never uses a pattern more than once. 20:20:21 * pikhq mutters at his new router 20:20:27 [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40070&oldid=40067 * GermanyBoy * (+150) dimensions 20:20:34 Good bit: it does codel, and it's wonderful. 20:20:43 Bad bit: WHY DOES IPv6 NOT WORK :( 20:21:26 [wiki] [[Twocode]] http://esolangs.org/w/index.php?diff=40071&oldid=40017 * GermanyBoy * (+398) /* (summary) */ template 20:22:47 -!- Bike has quit (Ping timeout: 252 seconds). 20:23:50 -!- Bike has joined. 20:25:11 Help my trunk won't open 20:29:43 Try your boot. 20:31:51 [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40072&oldid=40070 * GermanyBoy * (+105) memory system 20:32:18 -!- yorick has joined. 20:32:50 [wiki] [[SYCPOL]] http://esolangs.org/w/index.php?diff=40073&oldid=40064 * GermanyBoy * (+51) /* (summary) */ memsys 20:33:16 [wiki] [[Template:Infobox proglang]] M http://esolangs.org/w/index.php?diff=40074&oldid=40072 * GermanyBoy * (+0) lowercase one-dimensional 20:41:03 [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40075&oldid=40074 * GermanyBoy * (+86) made dimensions optional 20:41:12 [wiki] [[SYCPOL]] M http://esolangs.org/w/index.php?diff=40076&oldid=40073 * GermanyBoy * (+56) 20:46:26 -!- AnotherTest has quit (Ping timeout: 252 seconds). 20:47:06 -!- Tritonio has joined. 20:47:21 [wiki] [[Forobj]] http://esolangs.org/w/index.php?diff=40077&oldid=39605 * GermanyBoy * (+429) /* (summary) */ template 20:51:31 [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40078&oldid=40075 * GermanyBoy * (+29) made influence optional 20:52:30 [wiki] [[PHL 1.0]] http://esolangs.org/w/index.php?diff=40079&oldid=40060 * GermanyBoy * (+356) /* (summary) */ template 21:00:27 -!- Tritonio has quit (Ping timeout: 255 seconds). 21:20:01 -!- nooodl has joined. 21:29:00 zzo38 : is it a converter program ? 21:32:45 ski: It is a program to write music with. 21:55:19 a tracker ? or a different kind of program ? 21:57:10 Oh, that kind of tracker 21:57:25 the (nitro|milky)tracker kind 21:58:00 which tracker you write XMs with? 22:01:12 milkytracker and modplug tracker/openmpt, are i guess what most people use 22:01:47 no one uses FT2 anymore? 22:02:07 I am using a program I wrote myself, called AmigaMML 22:02:12 cool 22:02:18 It is not a real tracker program 22:02:23 what is it then 22:02:29 XM generator? 22:02:30 It is Music Macro Language 22:02:34 hm. 22:02:36 interesting. 22:02:54 You can write the music in a text file and then run it through the program to produce a .MOD or .XM file. 22:03:00 hm, I see. 22:03:06 where does it get samples from? in case of XM ? 22:03:12 (or mod either) 22:03:26 do you have an example input? 22:03:29 In either case, you can either synthesize the samples or load them from other files. 22:03:30 That sounds interesting 22:03:33 * ski has FT2 22:03:40 so the synthesis is also part of the markup language? 22:04:12 scoofy: Yes, if the filename to load the samples from starts with "#" or "+" or "?" or "PAD_" then it uses the built-in synthesizer to generate the data. 22:04:40 a-ha. 22:04:43 do you have an example input? 22:04:49 (.txt) 22:04:49 (In the case of "PAD_" it only does it if the file does not already exist, because it is slow) 22:05:07 or an example output? :) 22:05:18 (though i've more commonly played music in Startrekker. on *nix i mostly use mikmod and UADE atm; on windows, either DeliPlayer, or Oldsk00l with WinAmp) 22:05:23 scoofy: Not right now, because I am still working on it, and I have tested some things, but I do have documentation and wiki and stuff if you want to see it. 22:05:33 ski: I have OpenMPT and use that to play music. 22:05:33 sure. 22:05:47 zzo38 : it looks ok 22:05:59 zzo38, u have an url? 22:06:20 zzo38 : which platforms are AmigaMML running on ? 22:06:23 scoofy: Yes. It is: https://devlabs.linuxassist.net/projects/amigamml 22:06:26 (any Amiga ? ;) 22:06:26 thanks 22:06:48 ski: It is written in C. I don't know if it is actually capable of running on Amiga, but if you use .MOD output then the music should be able to play on Amiga. 22:07:49 (I cannot test it on Amiga since I don't have any. But, maybe someone can get it to run on Amiga and use the Amiga sound chip to make the music with.) 22:08:40 * ski constantly misreads "zzo38" as "zzgo", out of the corner of the eye .. 22:09:22 (.. probably due to "Bards Tale II: The Destiny Knight") 22:10:19 If you want you are allowed to post messages in this wiki, issues, forums. 22:14:06 The OpenID claims that the SREG fields called "nickname", "fullname", and "email" are required. Actually, they are only required if you do not already have an account (and if you omit them, it will ask you again anyways); if you already have an account then you can safely omit them. 22:18:25 zzo38, so you have no example inputs or outputs currently? 22:19:16 scoofy: That is correct currently I have none. Eventually I probably will have, though. Just currently I am working more on the programming. 22:19:28 so... how did you even test it? 22:19:32 -!- FreeFull has quit (Ping timeout: 240 seconds). 22:20:04 I tested it by writing input file and check output files, but, they aren't a full music, only a test, so they aren't very useful. 22:20:14 And anyways it is just one file I change to make the tests I need. 22:20:24 so you don't save them... 22:20:43 That is correct; they are just a test so I don't need to save them. 22:20:58 not even for others to run the same test(s) ? 22:21:26 because without some example filtes, it may be a bit hard to figure out how it works... 22:21:26 -!- FreeFull has joined. 22:22:16 You are probably correct, that examples would help. 22:22:49 Feel free to post in wiki or forums or issues if you have such things to write, too. 22:23:04 nah, was just curious how the input would look like 22:23:09 or how the output would sound like 22:25:22 If you want to know how the output is sound like, you are free to try it. The input might look like A o2l4v64@0 cdefgab>c to play a scale in instrument 0 on channel A. You have to define the instrument too, for example @0 = "instrument1" loads it from the file called "instrument1". 22:25:55 yes, these kind of examples are the ones that would be useful 22:25:59 There are also other commands, such as #TITLE set the title, #EXTENDED makes .XM output instead of .MOD, #TEMPO sets the tempo, and so on. 22:27:16 To use the built-in synthesizer, you can do for example @0 = "# L" means a square wave. 22:29:29 If you write "# 2xL 2L" then it will make two square waves, one being one octave higher but half volume. If you write "# L16", then you can make a 25% duty square wave. If you write "# N", then it makes a saw wave. If you write "# V" then it is a triangle wave. 22:32:09 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 22:41:30 -!- Tritonio has joined. 22:51:55 -!- S1 has joined. 22:55:46 Who made the Brainfuck survey and what for? 22:55:59 BF survey? 22:56:13 in the channel topic 22:56:22 * scoofy slaps head 22:58:50 What is the difference between text mode and binary mode here? 22:59:30 zzo38 : ok 22:59:36 S1: no idea 23:18:03 i think it refers to newline handling 23:18:29 How? 23:20:10 why would there need to be a special command for setting the title? isn't the title in the prompt file so you can set it with an ordinary arithmetic instruction? 23:20:48 oh look, GreyKnight had written more BANCStar stuff to the wiki 23:21:30 I have seen it too 23:25:04 is the "prompt file" something the BANCStar interpreter uses, or is it just for annotating the code for humans? 23:25:20 and for the pretty-priter 23:25:51 I think the prompt file is used to store data displayed by the BANCStar interpreter 23:26:07 I see 23:26:13 And presumably as well as string literals which are used in other ways in the program 23:26:54 [wiki] [[Special:Log/upload]] upload * Javamannen * uploaded "[[File:BytePusher II.gif]]": Pushing even more bytes 23:31:16 -!- ineiros has joined. 23:35:17 -!- yorick has quit (Read error: Connection reset by peer). 23:36:17 [wiki] [[BytePusher II]] M http://esolangs.org/w/index.php?diff=40081&oldid=40028 * Javamannen * (-274) A logo. 23:40:23 -!- S1 has quit (Quit: ChatZilla 0.9.90.1 [Firefox 30.0/20140608211810]). 23:46:52 -!- FreeFull has quit (Ping timeout: 260 seconds). 23:48:47 -!- FreeFull has joined.