00:06:13 <oerjan> i used to have knowledge about linear logic, but i gave it away
00:09:12 <HackEgo> [U+0042 LATIN CAPITAL LETTER B] [U+266D MUSIC FLAT SIGN] [U+2083 SUBSCRIPT THREE]
00:09:42 <oerjan> 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: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:39 -!- conehead has quit (Quit: Computer has gone to sleep).
00:47:43 <zzo38> I am also using PuTTY but it is only using one font so it isn't stall while fonts are loading
00:50:24 <zzo38> 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 <zzo38> (The calculator is TI-92)
00:51:03 <FireFly> have you made a dice-rolling program for it?
00:51:17 <zzo38> FireFly: Yes, I have in fact done so.
00:52:53 <zzo38> You can enter a dice notation and then it use that one.
01:01:25 <oerjan> zzo38: well maybe it was just part of the font that was paged out
01:02:29 <Taneb> :( my D&D group isn't getting back together until late August at the earliest
01:06:20 <zzo38> 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 <zzo38> ski: O, do you know much of linear logic?
01:10:39 <ski> well, a little bit, i'd say. not *that* much
01:11:20 <ski> (like i know the basic sequent calculus rules by heart, e.g.)
01:11:42 <zzo38> 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 <ski> (i think someone (you) mentioned it before, and i looked *very* briefly at it)
01:12:34 <zzo38> 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 <zzo38> ski: Actually I think was it on a different channel or private message that I told you it before?
01:13:10 <ski> possibly (and possibly it wasn't you. i don't recall)
01:13:53 <ski> (oops, i meant s/\(you\)/\(you \?\)/)
01:14:50 <zzo38> That's what I thought you meant.
01:15:47 -!- drdanmaku has joined.
01:16:38 <zzo38> Did you look at it better now? Did you understand it at all by now?
01:17:16 <zzo38> (I also also aware of the linear logic sequent rules by heart)
01:20:59 -!- boily has joined.
01:28:24 <boily> how's your night going?
01:34:37 <boily> like, little to no ambient light, crickets chirping, frogs croaking...
01:34:47 <boily> (hm. stupid question: are there crickets in Norway?)
01:35:28 -!- ineiros has quit (Remote host closed the connection).
01:36:55 <oerjan> "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 <oerjan> boily: i don't think so?
01:37:45 -!- Bike has quit (Ping timeout: 244 seconds).
01:38:00 <oerjan> it _is_ summer in norway though, the light outside would probably be enough to read by.
01:39:30 <oerjan> also, this apartment is pretty well sound isolated, except for some infathomable reason my bedroom window is the _least_ isolated place.
01:39:52 <oerjan> so hearing sounds from nature would be unusual in the living room
01:41:21 <oerjan> (none of this actually help when the builders start drilling in the walls or the neighbors' dog starts barking, though)
01:41:47 <oerjan> the dog has improved, though, it only does so for a short while at a time now.
01:42:04 <oerjan> and not in the night, only when the owners are away
01:43:04 <boily> that reminds me none of my neighbours have signed opera recently.
01:43:08 <oerjan> if i _were_ to hear any sounds from nature it would be birds, most likely seagulls
01:43:53 <oerjan> in my previous shared apartment the landlady for a few years rented out to an opera singer in the summers
01:44:48 <oerjan> (he was having a summer job at the neighboring ringve musical instrument museum)
01:45:09 <oerjan> istr he got a permanent job there when he graduated
01:46:19 <ski> zzo38 : hm, actually i'm pretty tired atm .. :/
01:46:22 -!- Bike has joined.
01:46:43 <boily> right now, the only sound suffusing through my appt is from the AC's fan.
01:47:23 <boily> 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:55 -!- boily has quit (Quit: ELLIPTIC CHICKEN).
01:48:29 <oerjan> @tell boily apparently one species, Acheta domestica, is occasionally found in norway
01:55:30 <zzo38> Is Hell at Norway?
02:00:53 <oerjan> zzo38: yes, it's just a half-hour drive east of trondheim
02:01:06 <oerjan> and next to the airport.
02:05:15 <oerjan> in fact someone once suggested the bright idea of renaming the municipality and airport to hell :)
02:06:02 <oerjan> then i'd be doing ~metar ENHE instead, presumably
02:06:07 -!- ^v has quit (Quit: Leaving).
02:06:41 <zzo38> 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 <oerjan> for the heidrun oil platform
02:08:20 <Taneb> The closest weather station with public data doesn't have metarness
02:08:42 <Taneb> So I go to weather.elec.york.ac.uk instead
02:09:41 <zzo38> Taneb: Does it have an airport code though?
02:09:48 <oerjan> well for the actual weather forecast i go to yr.no
02:10:11 <Taneb> zzo38, no, it's on top of one of the buildings at my uni
02:11:42 <oerjan> somehow i doubt that ENHE is an airport, although they presumably have a helicopter landing area
02:12:17 <zzo38> O, OK, although then it still has an airport code even though it is not an airport, isn't it?
02:12:21 <oerjan> 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 <ski> zzo38 : i've been at the Godsexpedition in Hell, yes
02:26:26 <ski> <https://en.wikipedia.org/wiki/Hell,_Norway>
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 <oerjan> i once had the pleasure of greeting an american couple with "welcome to hell" on that railway
02:36:10 -!- pikhq has joined.
02:44:28 <zzo38> 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 <zzo38> 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 <oerjan> there is very little lava in norway, actually
02:56:00 <oerjan> there's a volcano on the jan mayen island, far from the mainland
02:57:47 <Sgeo> "Isn't breaking the rules like, against the rules?"
03:01:24 <zzo38> I know, but, this is just a computer game anyways
03:01:34 <zzo38> Sgeo: Yes, but what about the meta-rules?
03:02:22 <oerjan> sadly ULES doesn't seem to be an ICAO code
03:03:27 <oerjan> "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 <oerjan> i suppose that somewhat answers a previous question
03:03:49 <Sgeo> Meta-rules: You are not allowed to follow the rules or the meta-rules.
03:04:08 <oerjan> Sgeo: i'm sorry that's a meta-meta-rule
03:04:27 <ski> hm, iirc, my brother visited Jan Mayen
03:05:12 <oerjan> UL appears to be north western russia
03:08:08 <oerjan> metar ULSS is in st petersburg
03:21:51 <zzo38> 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 <oerjan> 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 <oerjan> then it matters what you interpret as the "real" rules
03:24:38 <zzo38> 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 <doesthiswork> 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 <doesthiswork> 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 <Sgeo> There have been arguments in Agora about it
05:25:09 <Sgeo> Is it acceptable to break the rules if a penalty is specified
05:25:09 -!- doesthiswork has quit (Quit: Leaving.).
05:27:27 <zzo38> Sgeo: In many games where it is like that, I have assumed it is acceptable if a penalty is specified.
05:28:21 <zzo38> 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 <zzo38> (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 <zzo38> 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 <zzo38> 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 <fizzie> 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 <zzo38> fizzie: Yes, OK, although what is the best way to do that, then?
06:06:49 <fizzie> 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 <zzo38> OK, Wikipedia explains that.
06:08:28 -!- doesthiswork has quit (Quit: Leaving.).
06:08:40 <fizzie> Though I'm not sure if that works for longest repeated non-overlapping substring.
06:08:46 <fizzie> Have to leave now, anyhow. ->
06:11:44 <zzo38> 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 <HackEgo> [wiki] [[User talk:Rdebath]] http://esolangs.org/w/index.php?diff=40051&oldid=40021 * Maxdefolsch * (+680) /* SBFI */
07:16:02 <HackEgo> [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 <HackEgo> [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 <HackEgo> [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 <HackEgo> [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=40055&oldid=40007 * Rdebath * (+626) /* Performance Matrix */
09:33:32 <HackEgo> [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 <HackEgo> [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 <myname> so we are staring at this haskell code with IORefs to Maps
13:40:49 <myname> cmap <- readIORef cMapRef
13:41:14 <myname> let cmap = Map.insert foo bar cmap
13:41:28 <myname> writeIORef cMapRef cmap
13:41:37 <myname> which fails at a later lookup
13:42:02 <myname> writeIORef cMapRef (Map.insert foo bar cmap) works just fine
13:43:47 <HackEgo> [wiki] [[User talk:Rdebath]] http://esolangs.org/w/index.php?diff=40059&oldid=40058 * Rdebath * (+359) /* SBFI */
13:52:35 <elliott> it would help if you told us the error
13:53:55 <fizzie> I'm somewhat suspicious of the let x = f x part, but I'm not really a Haskellist.
13:57:52 <fizzie> I mean, compare and contrast:
13:58:03 <fizzie> > do { x <- return [1]; let { y = 1:x }; return y } :: Maybe [Int]
13:58:09 <fizzie> > do { x <- return [1]; let { x = 1:x }; return x } :: Maybe [Int]
13:58:11 <lambdabot> 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 <fizzie> (Your code seems to expect the "cmap" on the left side of the let be different from the "cmap" on the right side.)
14:01:26 <myname> that makes totally sense
14:01:39 <myname> so the insert is lazy, too?
14:02:05 <myname> i.e. the insert will only be done once i make a lookup?
14:05:20 <elliott> 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:57 <HackEgo> memfrcoin lola/mcoin regischesecoin lartacoin gundalucoin theolacoin cellcoin baldinicoin obtcoin includercoin mcfarcoin crtlingcoin bfjousewecoin raagcoin 3cacoin scercoin schroupsillcoin norfcoin etencoin ovecoin
14:51:14 <b_jonas> I'd like a lolcat coins style and a BANCStar coins style
14:58:38 <MDude> What are these hackego coins?
15:01:23 <fizzie> Suggestions for new cryptocurrency names.
15:02:34 -!- bug-magnet has joined.
15:04:20 <int-e> 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 <impomatic_> Bacoin would be the best new cryptocurrency name.
15:30:07 -!- FireFly has quit (Excess Flood).
15:31:30 -!- FireFly has joined.
15:36:49 -!- bug-magnet has quit (Ping timeout: 244 seconds).
15:57:08 <MDude> BANCStar coins would be a nice choice thematically.
15:58:34 <fizzie> It's like bitcoin except the scripts are in javascript?
15:58:56 <newsham> i'm just the big picture guy
15:59:00 <newsham> you guys can work out the details
15:59:08 <MDude> I expect that's end up pronoucned "jus' coin".
15:59:47 <newsham> you run it in nodejs compiled to jsasm running in v8
16:10:05 <zzo38> 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 <Sgeo> http://this-plt-life.tumblr.com/post/36425234294/when-i-see-that-a-new-language-makes-a-difference
16:39:33 <Sgeo> I can think of good reasons for such a distinction. I guess I automatically think of Racket
16:40:37 <Bike> racket has statements?
16:41:16 <Melvar> What kind of distinction?
16:41:26 -!- HackEgo has quit (Ping timeout: 248 seconds).
16:41:56 -!- HackEgo has joined.
16:42:55 <Sgeo> Bike: require and define are statements, I think
16:43:48 <Bike> internal defines are stupid, though.
16:44:04 <Sgeo> 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 <Sgeo> Bike: :( how so? I think they're a good idea
16:45:12 <Bike> 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 <Bike> 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 <zzo38> It is Forth which is impossible to parse without executing it.
16:47:24 <zzo38> (Of course, this has advantages and disadvantages.)
16:48:20 <Sgeo> I should get interested in Racket again. Start working on those lenses
17:14:28 <Sgeo> I may be addicted to Gravity Falls
17:20:56 <Bike> nothing wrong with that.
17:31:40 -!- shikhin has quit (Ping timeout: 260 seconds).
17:37:03 -!- MoALTz has joined.
17:40:19 <Sgeo> 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:44:26 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
17:53:19 <Sgeo> Good idea. *hops into time machine to March 2013*
17:55:53 <HackEgo> [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 <HackEgo> [wiki] [[Goldfish]] M http://esolangs.org/w/index.php?diff=40061&oldid=39852 * GermanyBoy * (+26) /* External resources */ deadlink
18:13:02 <HackEgo> 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 <HackEgo> [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 <ski> zzo38 : np
18:55:00 <ski> 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 <ski> (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 <Sgeo> I wonder if any conspiracy nuts ... think something interesting about Gravity Falls
19:30:34 <myname> why the hell is there no function for base62 String -> String conversion in Data.Locator? :(
19:32:34 <myname> basically i want to transform a given string with unicode to something that is a valid function name in llvm
19:32:42 <myname> base62 would be suitable
19:34:54 <HackEgo> [wiki] [[Template:Infobox proglang]] N http://esolangs.org/w/index.php?oldid=40063 * GermanyBoy * (+1033) to be used on SYCPOL page
19:35:41 <HackEgo> [wiki] [[SYCPOL]] http://esolangs.org/w/index.php?diff=40064&oldid=40062 * GermanyBoy * (-225) /* (summary) */ template
19:37:13 <HackEgo> [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 <Sgeo> "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:41:34 <zzo38> 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 <Sgeo> http://youtu.be/fOjSSj-WTkQ?t=2m53s this person... doesn't seem to know what the zodiac is
19:42:01 <zzo38> ski: I also did not understand your question
19:42:03 <myname> ideally it'll convert every valid haskell string
19:42:38 <ski> zzo38 : since you were mentioning Fasttracker, i figured perhaps you had some favourite modules
19:42:41 <zzo38> 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 <HackEgo> [wiki] [[Goldfish]] http://esolangs.org/w/index.php?diff=40066&oldid=40061 * GermanyBoy * (+233) /* (summary) */ template
19:42:53 <zzo38> ski: O, well, I don't really know if I have any favourite.
19:43:15 <myname> zzo38: question is: what is the easiest and most reliable way to convert it
19:45:24 <HackEgo> [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40067&oldid=40065 * GermanyBoy * (+119) computational class
19:46:39 <HackEgo> [wiki] [[Goldfish]] http://esolangs.org/w/index.php?diff=40068&oldid=40066 * GermanyBoy * (+53) turing complete
19:48:46 <zzo38> I think in LLVM you can use quotation marks to allow any character inside of a name.
19:49:45 <zzo38> If it allows 8-bit characters, then you can just use UTF-8.
19:50:18 <myname> it does not allow all of ascii
19:50:43 <zzo38> It says "any character can be used in a name value" in that part of the instructions?
19:51:06 -!- conehead has joined.
19:52:06 <zzo38> See LangRef.html#identifiers
19:52:32 <myname> is quoting also mentioned?
19:53:06 <zzo38> 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 <myname> i can just name a function "foo bar" and it'll work?
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 <zzo38> 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 <HackEgo> [wiki] [[Lii]] http://esolangs.org/w/index.php?diff=40069&oldid=39814 * GermanyBoy * (+861) /* (summary), Related languages */ template; new section
20:11:08 <zzo38> 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 <HackEgo> [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40070&oldid=40067 * GermanyBoy * (+150) dimensions
20:20:34 <pikhq> Good bit: it does codel, and it's wonderful.
20:20:43 <pikhq> Bad bit: WHY DOES IPv6 NOT WORK :(
20:21:26 <HackEgo> [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 <Taneb> Help my trunk won't open
20:29:43 <ion> Try your boot.
20:31:51 <HackEgo> [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 <HackEgo> [wiki] [[SYCPOL]] http://esolangs.org/w/index.php?diff=40073&oldid=40064 * GermanyBoy * (+51) /* (summary) */ memsys
20:33:16 <HackEgo> [wiki] [[Template:Infobox proglang]] M http://esolangs.org/w/index.php?diff=40074&oldid=40072 * GermanyBoy * (+0) lowercase one-dimensional
20:41:03 <HackEgo> [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40075&oldid=40074 * GermanyBoy * (+86) made dimensions optional
20:41:12 <HackEgo> [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 <HackEgo> [wiki] [[Forobj]] http://esolangs.org/w/index.php?diff=40077&oldid=39605 * GermanyBoy * (+429) /* (summary) */ template
20:51:31 <HackEgo> [wiki] [[Template:Infobox proglang]] http://esolangs.org/w/index.php?diff=40078&oldid=40075 * GermanyBoy * (+29) made influence optional
20:52:30 <HackEgo> [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 <ski> zzo38 : is it a converter program ?
21:32:45 <zzo38> ski: It is a program to write music with.
21:55:19 <ski> a tracker ? or a different kind of program ?
21:57:25 <FireFly> the (nitro|milky)tracker kind
21:58:00 <scoofy> which tracker you write XMs with?
22:01:12 <nooodl> milkytracker and modplug tracker/openmpt, are i guess what most people use
22:01:47 <scoofy> no one uses FT2 anymore?
22:02:07 <zzo38> I am using a program I wrote myself, called AmigaMML
22:02:18 <zzo38> It is not a real tracker program
22:02:30 <zzo38> It is Music Macro Language
22:02:54 <zzo38> 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:06 <scoofy> where does it get samples from? in case of XM ?
22:03:26 <scoofy> do you have an example input?
22:03:29 <zzo38> In either case, you can either synthesize the samples or load them from other files.
22:03:40 <scoofy> so the synthesis is also part of the markup language?
22:04:12 <zzo38> 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:43 <scoofy> do you have an example input?
22:04:49 <zzo38> (In the case of "PAD_" it only does it if the file does not already exist, because it is slow)
22:05:07 <scoofy> or an example output? :)
22:05:18 <ski> (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 <zzo38> 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 <zzo38> ski: I have OpenMPT and use that to play music.
22:05:47 <ski> zzo38 : it looks ok
22:06:20 <ski> zzo38 : which platforms are AmigaMML running on ?
22:06:23 <zzo38> scoofy: Yes. It is: https://devlabs.linuxassist.net/projects/amigamml
22:06:26 <ski> (any Amiga ? ;)
22:06:48 <zzo38> 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 <zzo38> (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 <ski> (.. probably due to "Bards Tale II: The Destiny Knight")
22:10:19 <zzo38> If you want you are allowed to post messages in this wiki, issues, forums.
22:14:06 <zzo38> 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 <scoofy> zzo38, so you have no example inputs or outputs currently?
22:19:16 <zzo38> 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 <scoofy> so... how did you even test it?
22:19:32 -!- FreeFull has quit (Ping timeout: 240 seconds).
22:20:04 <zzo38> 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 <zzo38> And anyways it is just one file I change to make the tests I need.
22:20:24 <scoofy> so you don't save them...
22:20:43 <zzo38> That is correct; they are just a test so I don't need to save them.
22:20:58 <scoofy> not even for others to run the same test(s) ?
22:21:26 <scoofy> 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 <zzo38> You are probably correct, that examples would help.
22:22:49 <zzo38> Feel free to post in wiki or forums or issues if you have such things to write, too.
22:23:04 <scoofy> nah, was just curious how the input would look like
22:23:09 <scoofy> or how the output would sound like
22:25:22 <zzo38> 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 <scoofy> yes, these kind of examples are the ones that would be useful
22:25:59 <zzo38> 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 <zzo38> To use the built-in synthesizer, you can do for example @0 = "# L" means a square wave.
22:29:29 <zzo38> 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 <S1> Who made the Brainfuck survey and what for?
22:56:13 <S1> in the channel topic
22:58:50 <S1> What is the difference between text mode and binary mode here?
22:59:30 <ski> zzo38 : ok
23:18:03 <nooodl> i think it refers to newline handling
23:20:10 <b_jonas> 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 <b_jonas> oh look, GreyKnight had written more BANCStar stuff to the wiki
23:21:30 <zzo38> I have seen it too
23:25:04 <b_jonas> is the "prompt file" something the BANCStar interpreter uses, or is it just for annotating the code for humans?
23:25:51 <zzo38> I think the prompt file is used to store data displayed by the BANCStar interpreter
23:26:13 <zzo38> And presumably as well as string literals which are used in other ways in the program
23:26:54 <HackEgo> [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 <HackEgo> [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.