00:01:07 <hppavilion[1]> mauris: A Tape is a Graph where every node has one link except the end, which has none
00:02:55 -!- stalem has quit (Quit: night yall).
00:03:26 <HackEgo> [wiki] [[Rewriting]] M http://esolangs.org/w/index.php?diff=44028&oldid=35039 * Hppavilion1 * (+4) Linked to Graph Rewriting mauris
00:07:26 -!- Frooxius has joined.
00:13:45 <zzo38> Do you mean directed graphs?
00:15:13 <zzo38> If you want to know which direction is the tape then it should be a directed graph
00:16:28 <zzo38> I have looked at BANCStar. It is certainly *not* the worst thing ever invented, although there are many bad design stuff in it, it seem like. But many things are not known about it so this wouldn't even be known perfectly; but at least I can try to figure out what some things are expect to be, by looking at the few information available (including the printout of part of one program)
00:18:06 <hppavilion[1]> You do realize people were ACTUALLY REQUIRED TO USE IT, right?
00:18:20 <zzo38> Yes, I do realize.
00:19:46 -!- yiyus has quit (Ping timeout: 265 seconds).
00:22:33 <zzo38> I have studied it, and it most certainly is not. It looks like more easily to program in than most other kind of machine codes, when use for the domain-specific use. But this would require that you program it by yourself rather than in a team, where such thing would seem unsuitable. Also some of the details described before the printouts were released was wrong or partially wrong as far as I can tell.
00:22:57 <zzo38> Still it has many limitations
00:23:05 -!- yiyus has joined.
00:26:50 <zzo38> Many of the things I have figured out differ from what is in the esolang wiki article of BANCStar; I mentioned my findings in the talk page.
00:34:16 <zzo38> For example, command 3100 is not mentioned in the article, and it doesn't say what "Future Date 360" mean, although I have some ideas of how various things work, based on how they are used in the available programs.
00:35:28 <tswett> hppavilion[1]: I think I gave an answer to your "infinite FSM" question.
00:36:03 <tswett> "Infinite finite state machine" is a contradiction; it'd just be an "infinite state machine". A Turing machine could be said to be a type of "infinite state machine".
00:37:57 <zzo38> Command 8000 uses PC colour codes and not ANSI colour codes. If bit7 is set then the text blinks; if bit3 is set then the foreground uses bright colours.
00:42:45 <Jafet> Not-necessarily-finite state machines
00:46:30 <zzo38> I have updated my QUACKVM now all 32 instruction opcodes are defined (the three new ones are: LONGCALC, INTBL, EXTOP), and the Minesweeper game is updated to use LONGCALC for calculating average scores.
00:48:24 <zzo38> I win at what? Minesweeper game? I did win once
00:49:31 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds).
00:50:56 -!- Phantom_Hoover has joined.
00:51:58 <izabera> ever played non-flagging minesweeper?
00:52:23 <izabera> it's regular minesweeper but you must never mark bombs
00:52:41 <izabera> the goal of the game is still unchanged, open all the non bomb squares
00:52:56 <izabera> but you have to keep track of the bombs in your mind
00:53:21 <zzo38> I have not played it but it should be easy enough to modify the Minesweeper game I wrote to do that if you want that
00:53:34 <zzo38> (You are free to make other modifications too; it is all public domain)
00:54:09 -!- grotewold has joined.
00:54:27 <izabera> oh it doesn't need any modification
00:55:02 <zzo38> Yes, it doesn't need any modification, although if you want to prevent it from allowing you to mark bomb then you can do that.
00:57:52 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds).
01:00:44 <zzo38> http://zzo38computer.org/prog/quackvm.zip
01:00:51 <zzo38> Note the documentation is incomplete, sorry
01:02:33 <zzo38> To use the assembler, put the input filename on command-line and redirect stdout to the file used for output. To use the runtime, put the ROM filename followed optionally by the disk filename. The current version may require xterm
01:05:37 <zzo38> Also, to compile the C source-codes you can use "bash" on them.
01:05:41 -!- Phantom_Hoover has joined.
01:08:51 <hppavilion[1]> What should I call my function-oriented 2D language?
01:09:50 <zzo38> (A lot of things I don't know!!)
01:17:43 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
01:19:27 <tswett> hppavilion[1]: now, when you say "functional", do you mean that functions act as ordinary values?
01:20:51 <tswett> I'll tell you what you should name it.
01:21:38 <tswett> All right. You should name it:
01:22:06 <tswett> Or "fued / cntn / tnoe / iori" in contexts where line breaks aren't possible.
01:22:50 <tswett> It's the phrase "function oriented" arranged in a certain way in two dimensions.
01:23:15 <Phantom_Hoover> tswett you can't solve all of life's problems with hilbert curves
01:33:37 <tswett> Nah, you gotta abbreviate it using the diagonal. FNOI.
01:35:17 -!- augur has quit (Quit: Leaving...).
01:36:51 -!- grotewold has joined.
01:37:48 <hppavilion[1]> Maybe I should call it Fnord so no one else can name theirs fnord xD
01:39:24 -!- grotewold has quit (Client Quit).
01:45:34 -!- augur has joined.
01:51:28 -!- augur has quit (Ping timeout: 250 seconds).
01:54:50 -!- augur has joined.
01:55:29 <MDude> It should have assignment that goes something like "the <variable name> is behind <value>"
01:56:10 <izabera> fwiw this is the random crap generator http://arin.ga/iZe8Kf/raw
01:57:22 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
01:57:24 <izabera> it produces 4gb in less than 19s on my system
01:57:27 -!- grotewold has joined.
02:01:52 -!- grotewold has quit (Client Quit).
02:03:01 -!- grotewold has joined.
02:05:11 -!- grotewold has quit (Client Quit).
02:06:05 <zzo38> "Bad at Magic Devices" flaw: You get -4 to Use Magic Device checks and -2 to all other skill checks related to magic items. Any magic item you are in contact with, except scrolls, have a 5% chance each round to not function (only roll to check if you are trying to activate it or it provides a bonus that is relevant to the situation). Cannot be selected unless you have at least 1 rank of Use Magic Device.
02:06:25 -!- atslash has quit (Quit: This computer has gone to sleep).
02:08:05 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:08:36 <zzo38> I don't know if it is sufficiently severe or if it is too much severe or too complicated or too simple.
02:16:51 <zzo38> Another idea for magic items is that some special abilities of shields and weapons and so on can be suppressed on a commands; a minor curse can be to disallow suppressing them in this way.
02:21:54 -!- grotewold has joined.
02:25:32 -!- grotewold has quit (Client Quit).
02:29:21 -!- grotewold has joined.
02:34:14 <zzo38> Such effects can include: arrow catching (shield), etherealness (armor), defending (weapon; fixes the AC bonus to max), flaming (weapon), frost (weapon), ghost touch (weapon; always considered incorporeal touch), merciful (weapon), x-ray (ring), cube of frost resistance (wondrous).
02:50:04 <zzo38> hppavilion[1]: (I know you are not on) You can't prevent others from naming theirs the same thing; we already have to esolangs called "Clue" in esolang wiki
03:09:16 -!- hppavilion[1] has joined.
03:10:32 <hppavilion[1]> Very Strongly Typed Language: Variables can't change value
03:13:52 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
03:20:52 -!- Sprocklem has joined.
03:25:11 -!- mauris has quit (Ping timeout: 250 seconds).
03:26:41 -!- grotewold has joined.
03:28:46 -!- fowl has quit (Ping timeout: 248 seconds).
03:29:37 -!- fowl has joined.
03:32:19 <hppavilion[1]> It's funny that Turing himself was a Turing Machine (sans unbounded memory, of course)
03:39:15 <zzo38> OK, try to make one up if you know how
03:39:31 <MDude> There's a language called Fourier, but it's not actually about approximating functions via Fourier series.
03:42:44 <MDude> I think that would be a nice abstraction in that it would allow one to define a function imprecisely.
03:43:44 <MDude> And allow such a foolish thing as lossy compression of code.
03:44:11 <zzo38> OK then make up that one! I like that kind of idea too
03:50:11 -!- mauris has joined.
03:50:50 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
03:52:21 <MDude> I'm pretty sure I'll want functions to be able to have at least two inputs, so I hope the principle behind Fouriers series applies to cymatic patterns.
04:22:50 -!- Wright has quit (Ping timeout: 244 seconds).
04:22:53 <oren> Tell me, Visual Studio, how is "UInteger" simpler than "Uint32"?
04:26:57 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
04:43:30 -!- Sprocklem has quit (Ping timeout: 240 seconds).
04:44:11 -!- nisstyre has joined.
04:45:08 -!- nisstyre has quit (Changing host).
04:45:08 -!- nisstyre has joined.
05:13:18 -!- sebbu2 has joined.
05:14:01 -!- sebbu2 has quit (Changing host).
05:14:01 -!- sebbu2 has joined.
05:14:12 -!- sebbu has quit (Ping timeout: 264 seconds).
05:17:23 -!- Froox has joined.
05:17:25 -!- Frooxius has quit (Read error: Connection reset by peer).
05:18:21 -!- mauris_ has joined.
05:21:14 -!- mauris has quit (Ping timeout: 244 seconds).
05:31:01 -!- ProofTechnique has joined.
05:36:37 -!- ProofTechnique has quit (Quit: Textual IRC Client: www.textualapp.com).
05:46:02 -!- grotewold has joined.
05:46:06 -!- grotewold has quit (Client Quit).
06:03:33 -!- hppavilion[1] has joined.
06:04:42 -!- singingboyo has quit (Read error: Connection reset by peer).
06:25:49 -!- oren has quit (Ping timeout: 244 seconds).
06:27:07 -!- oren has joined.
06:55:55 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
06:59:27 <fizzie> http://www.theguardian.com/technology/2015/sep/02/london-clinic-accidentally-reveals-hiv-status-of-780-patients "We recalled/deleted the email as soon as we realised what had happened." What does that even mean.
07:00:29 -!- JesseH has quit (Quit: Leaving).
07:00:43 <fizzie> Sending another email asking for the recipients to delete the previous one?
07:01:40 <shachaf> fizzie: Haven't you ever seen an email being recalled/deleted from your inbox?
07:01:45 <shachaf> Clearly it works very well.
07:03:54 <mauris_> classy https://i.guim.co.uk/img/media/812f0b604f0d99457ec3cfcb96aa7163c564de01/0_7_840_504/master/840.jpg?w=1920&q=85&auto=format&sharp=10&s=228963e4a63e190b936e19b3fc0a413c
07:04:43 <mauris_> we would like to recall our email with 780 recipients' contact info in it by sending another email with 780 recipients' contact info in it
07:07:36 <fizzie> It also asks everyone to notify them by replying; wonder how many reply-alled, adding more messages like that.
07:14:26 -!- shikhin has quit (Ping timeout: 240 seconds).
07:14:47 -!- heddwch has quit (Excess Flood).
07:14:55 -!- heddwch has joined.
07:16:01 -!- shikhin has joined.
07:25:08 -!- FireFly has quit (Ping timeout: 272 seconds).
07:28:58 -!- shikhin has quit (Ping timeout: 265 seconds).
07:29:56 -!- heddwch has quit (Ping timeout: 265 seconds).
07:31:08 -!- mauris_ has changed nick to mauris.
07:31:22 -!- mauris has quit (Changing host).
07:31:22 -!- mauris has joined.
07:31:59 -!- FireFly has joined.
07:32:21 -!- shikhin has joined.
07:32:28 -!- heddwch has joined.
07:37:36 -!- FireFly has quit (Ping timeout: 264 seconds).
07:37:40 -!- shikhin has quit (Ping timeout: 265 seconds).
07:37:48 -!- heddwch has quit (Excess Flood).
07:37:56 -!- heddwch has joined.
07:40:11 -!- heddwch has quit (Excess Flood).
07:40:18 -!- heddwch has joined.
07:41:45 -!- FireFly has joined.
07:43:25 -!- shikhin has joined.
07:52:49 -!- shikhin has quit (Ping timeout: 246 seconds).
07:54:55 -!- FireFly has quit (Ping timeout: 268 seconds).
07:57:03 -!- shikhin has joined.
08:00:27 -!- FireFly has joined.
08:00:29 -!- heddwch has quit (Excess Flood).
08:00:41 -!- heddwch has joined.
08:01:42 -!- heddwch has quit (Excess Flood).
08:02:24 -!- shikhin has quit (Ping timeout: 250 seconds).
08:04:05 -!- heddwch has joined.
08:07:38 -!- oerjan has joined.
08:08:11 -!- Froox has quit (Quit: *bubbles away*).
08:08:30 -!- Frooxius has joined.
08:10:12 -!- heddwch has quit (Excess Flood).
08:10:43 -!- shikhin has joined.
08:14:43 -!- FireFly has quit (Ping timeout: 256 seconds).
08:15:46 -!- FireFly has joined.
08:19:10 -!- shikhin has quit (Ping timeout: 240 seconds).
08:21:10 -!- FireFly has quit (Ping timeout: 265 seconds).
08:25:12 -!- FireFly has joined.
08:35:08 -!- Patashu has joined.
08:38:48 -!- FireFly has quit (Ping timeout: 264 seconds).
08:42:47 -!- shikhin has joined.
09:13:12 -!- shikhin has quit (Ping timeout: 244 seconds).
09:19:27 -!- FireFly has joined.
09:33:21 -!- FireFly has quit (Ping timeout: 244 seconds).
09:39:26 <Taneb> I had a weird dream, Phantom_Hoover was there
09:39:35 <Taneb> Even though I have no idea what Phantom_Hoover looks like
09:40:49 <Taneb> And we were at a generic campus university
09:41:03 -!- Walpurgisnacht has joined.
09:41:14 -!- Walpurgisnacht has changed nick to Twilit.
09:41:21 -!- Twilit has changed nick to Zant.
09:41:25 <Taneb> More grassy and hilly than York's west campus and more cluttered and busy than the east campus
09:41:41 <Taneb> Simon Lane of Yogscast fame was there
09:41:49 <Taneb> As was the robot bunny from Homestuck
09:42:14 <Taneb> There was a zombie apocalypse going on or something
09:42:24 <fizzie> Taneb: Was there a floating "Phantom_Hoover" label above them? It might have been a virtual reality scenario rather than a dream.
09:42:47 <Taneb> fizzie, no, I just knew he was Phantom_Hoover
09:42:57 <fizzie> Perhaps that's how it goes in the real world too, then.
09:43:02 <Taneb> I then had another dream where I explained this first dream
09:43:12 -!- shikhin has joined.
09:43:15 <Taneb> And some other things happened
09:43:18 <Taneb> And then a third dream
09:43:24 <Taneb> Which I have completely forgotten
09:43:24 -!- FireFly has joined.
09:45:28 <fizzie> I was at the Trinity College Dublin campus a while ago, just being a tourist. They have more pillars than Aalto University.
09:45:48 <fizzie> And a much fancier-looking library, too.
09:46:11 <Taneb> York doesn't have much in the way of pillars
09:46:15 <Taneb> Well, it has a few
09:46:29 <fizzie> http://irish-net.de/files/trinity_college_bibliothek_1.jpg <- it's like this except full of tourists
09:46:33 <Taneb> But a lot of those were built in the past few years in a modern style
09:46:37 -!- heddwch has joined.
09:46:38 <fizzie> Actually, I might have a realistic photo of it.
09:48:05 -!- Zant has changed nick to Walpurgisnacht.
09:49:02 <fizzie> https://drive.google.com/file/d/0B4J9OAzXNfZAUGlFYWtZcGxjTWs/view?usp=sharing <- that's what it looks like if you're a pleb.
09:49:15 <fizzie> (And can't get to the balcony or order everyone else out.)
09:51:11 -!- FireFly has quit (Ping timeout: 252 seconds).
09:52:31 -!- heddwch has quit (Ping timeout: 265 seconds).
09:52:53 -!- FireFly has joined.
09:52:57 -!- heddwch has joined.
09:53:24 <Taneb> fizzie, that is a nice photo
09:55:59 -!- shikhin has quit (Ping timeout: 264 seconds).
09:58:22 <fizzie> It's a nice place. Although I think the business of having a decreasing shelf height as you go upwards, and meticulously finding just the right-sized books to stuff every shelf, was a bit overdone.
09:58:46 -!- FireFly has quit (Ping timeout: 240 seconds).
09:58:54 -!- shikhin has joined.
09:59:50 <fizzie> https://drive.google.com/file/d/0B4J9OAzXNfZARG92UzdRaURHcFk/view?usp=sharing <- as seen here, although there was another bookshelf that was more extreme about it.
10:00:39 -!- FireFly has joined.
10:03:46 -!- shikhin has quit (Ping timeout: 240 seconds).
10:04:44 -!- FireFly has quit (Excess Flood).
10:04:54 -!- FireFly has joined.
10:10:54 -!- shikhin has joined.
10:11:32 -!- heddwch has quit (Excess Flood).
10:12:09 -!- heddwch has joined.
10:12:11 -!- shikhin has quit (Excess Flood).
10:13:19 -!- shikhin has joined.
10:13:56 -!- Walpurgisnacht has quit (Excess Flood).
10:14:18 -!- Walpurgisnacht has joined.
10:14:42 -!- FireFly has quit (Ping timeout: 244 seconds).
10:14:50 -!- heddwch has quit (Read error: Connection reset by peer).
10:14:57 -!- heddwch has joined.
10:15:19 -!- FireFly has joined.
10:18:13 -!- shikhin has quit (Excess Flood).
10:18:21 -!- shikhin has joined.
10:18:43 -!- heddwch has quit (Excess Flood).
10:18:50 -!- heddwch has joined.
10:26:33 -!- Walpurgisnacht has left ("Kill me").
10:26:49 -!- FireFly has quit (Ping timeout: 246 seconds).
10:28:46 -!- heddwch has quit (Ping timeout: 265 seconds).
10:33:47 -!- FireFly has joined.
10:37:54 -!- atslash has joined.
10:42:13 -!- atslash has quit (Ping timeout: 246 seconds).
10:42:24 -!- atslash has joined.
10:43:55 -!- heddwch has joined.
10:44:30 -!- FireFly has quit (Ping timeout: 268 seconds).
10:47:50 -!- FireFly has joined.
10:49:33 -!- heddwch has quit (Ping timeout: 265 seconds).
10:50:32 -!- FireFly has quit (Read error: Connection reset by peer).
10:51:47 -!- FireFly has joined.
10:51:54 -!- shikhin has quit (Ping timeout: 268 seconds).
10:57:37 -!- shikhin has joined.
11:01:09 -!- heddwch has joined.
11:02:40 -!- shikhin has quit (Ping timeout: 246 seconds).
11:04:06 -!- FireFly has quit (Ping timeout: 240 seconds).
11:07:45 -!- shikhin has joined.
11:11:47 -!- FireFly has joined.
11:21:44 -!- shikhin has quit (Ping timeout: 250 seconds).
11:21:49 -!- Phantom_Hoover has joined.
11:22:25 -!- FireFly has quit (Ping timeout: 265 seconds).
11:23:23 -!- heddwch has quit (Ping timeout: 265 seconds).
11:24:10 -!- heddwch has joined.
11:24:23 -!- shikhin has joined.
11:25:08 -!- FireFly has joined.
11:44:10 -!- shikhin has quit (Ping timeout: 265 seconds).
11:45:08 -!- FireFly has quit (Ping timeout: 265 seconds).
11:45:08 -!- heddwch has quit (Ping timeout: 265 seconds).
11:47:05 -!- shikhin has joined.
11:48:00 -!- FireFly has joined.
11:57:21 -!- heddwch has joined.
12:00:58 -!- FireFly has quit (Ping timeout: 268 seconds).
12:05:24 <HackEgo> [wiki] [[Loader]] http://esolangs.org/w/index.php?diff=44029&oldid=43994 * 72.74.32.143 * (+209) /* Language Details */
12:05:48 -!- heddwch has quit (Read error: Connection reset by peer).
12:06:39 -!- shikhin has quit (Ping timeout: 260 seconds).
12:08:14 -!- FireFly has joined.
12:14:18 -!- shikhin has joined.
12:18:47 -!- FireFly has quit (Ping timeout: 264 seconds).
12:20:33 -!- heddwch has joined.
12:20:34 -!- FireFly has joined.
12:26:35 -!- stalem has joined.
12:29:53 -!- FireFly has quit (Ping timeout: 250 seconds).
12:30:16 -!- FireFly has joined.
12:33:38 -!- FireFly has quit (Read error: Connection reset by peer).
12:34:12 -!- shikhin has quit (Ping timeout: 272 seconds).
12:35:24 -!- heddwch has quit (Ping timeout: 265 seconds).
12:38:40 -!- FireFly has joined.
12:40:18 -!- shikhin has joined.
12:45:29 -!- shikhin has quit (Ping timeout: 250 seconds).
12:46:33 -!- heddwch has joined.
12:48:13 -!- TieSoul has joined.
12:48:54 -!- heddwch has quit (Read error: Connection reset by peer).
12:51:44 -!- heddwch has joined.
12:51:48 -!- shikhin has joined.
12:59:04 -!- heddwch has quit (Read error: Connection reset by peer).
13:01:29 -!- shikhin has quit (Ping timeout: 252 seconds).
13:08:53 -!- shikhin has joined.
13:13:29 -!- heddwch has joined.
13:16:02 -!- shikhin has quit (Ping timeout: 244 seconds).
13:17:14 <HackEgo> U+1F42B BACTRIAN CAMEL \ UTF-8: f0 9f 90 ab UTF-16BE: d83ddc2b Decimal: 🐫 \ 🐫 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F42A DROMEDARY CAMEL \ UTF-8: f0 9f 90 aa UTF-16BE: d83ddc2a Decimal: 🐪 \ 🐪 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
13:20:03 <HackEgo> U+1F42A DROMEDARY CAMEL \ UTF-8: f0 9f 90 aa UTF-16BE: d83ddc2a Decimal: 🐪 \ 🐪 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
13:23:10 -!- shikhin has joined.
13:26:47 -!- x10A94 has joined.
13:27:21 -!- `^_^v has joined.
13:28:09 -!- yerika has joined.
13:28:52 -!- yerika has left.
13:36:36 <HackEgo> [wiki] [[Loader]] http://esolangs.org/w/index.php?diff=44030&oldid=44029 * SuperJedi224 * (+11) /* Comments */
13:38:48 -!- shikhin has quit (Ping timeout: 272 seconds).
13:39:34 -!- heddwch has quit (Read error: Connection reset by peer).
13:43:07 -!- Patashu has quit (Ping timeout: 250 seconds).
13:45:01 -!- heddwch has joined.
13:45:32 -!- shikhin has joined.
13:49:23 -!- FireFly has quit (Ping timeout: 264 seconds).
13:50:39 -!- shikhin has quit (Ping timeout: 244 seconds).
13:55:06 <ashl> i'll see your camels and raise you 🎑
13:55:13 <HackEgo> U+1F391 MOON VIEWING CEREMONY \ UTF-8: f0 9f 8e 91 UTF-16BE: d83cdf91 Decimal: 🎑 \ 🎑 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
14:06:10 -!- shikhin has joined.
14:10:06 -!- FireFly has joined.
14:11:10 -!- APic has quit (Ping timeout: 250 seconds).
14:12:04 -!- heddwch has quit (Ping timeout: 265 seconds).
14:14:15 <HackEgo> [wiki] [[ShortScript]] http://esolangs.org/w/index.php?diff=44031&oldid=44011 * Dennis * (+1)
14:16:10 -!- FireFly has quit (Ping timeout: 272 seconds).
14:16:14 <mauris> hmm, i wonder: what's the lowest positive integer n for which the brainfuck program that moves to cell n to the tape and halts is shorter than n bytes?
14:16:48 -!- shikhin has quit (Ping timeout: 272 seconds).
14:18:35 <mauris> (possibly modifying the tape, of course)
14:22:12 -!- shikhin has joined.
14:22:18 <mauris> >-[>[>]+[<]>-]>[>] halts pointing at tape[257] (assuming it's left-bounded, 8-bit)
14:23:25 -!- FireFly has joined.
14:28:04 -!- grotewold has joined.
14:28:45 -!- heddwch has joined.
14:29:28 <fizzie> I'm sure you could get lower than 257 just by replacing the initial - with some suitably small multiplication that's barely enough to get past the length of the program.
14:29:44 <fizzie> Also, is the first > needed in the "[>[>]" fragment? seems like "[[>]" would be equivalent.
14:30:46 -!- FireFly has quit (Ping timeout: 246 seconds).
14:31:20 -!- APic has joined.
14:32:07 -!- shikhin has quit (Ping timeout: 256 seconds).
14:32:32 <fizzie> The Brainfuck constants page might help in that. Your [>[>]+[<]>-]>[>] footer adds about 16 bytes, so you want a lowest constant for value N, length L such that (approximately) N = L+16.
14:34:06 -!- oerjan has quit (Quit: Later).
14:34:36 <mauris> oh, you're right, i don't need that >
14:34:49 <fizzie> (Modulo some fiddling about where the constant value gets left and whether it leaves any cruft on the tape.)
14:36:15 -!- APic has quit (Ping timeout: 255 seconds).
14:36:38 <fizzie> >-[-[-<]>>+<]>[[>]+[<]>-]>[>] seems to halt on cell 38, and looks shorter than that.
14:37:01 <fizzie> (Used, pretty randomly, the >-[-[-<]>>+<]> constant for 33.)
14:37:20 <fizzie> For the record, I'm not claiming this construction will answer your question, but it's one way to drag the upper bound down.
14:38:08 <mauris> yeah, i was thinking of multiplications, and that looks like a pretty good one
14:38:37 <fizzie> >+[--[<]>>+<-]>[[>]+[<]>-]>[>] halts on cell 33 and is 30 bytes long.
14:38:54 <fizzie> I think that cell 33 is 0-indexed, so let's say 34 instead.
14:41:13 <myname> why isn't [>] an endless loop there?
14:42:05 -!- shikhin has joined.
14:42:07 <mauris> myname: it seeks the first zero cell, going right
14:42:32 <myname> yeah, i reversed it in my head
14:43:49 -!- FireFly has joined.
14:44:59 <myname> fizzie: the part about the 34 sounds wrong. the empty program is zero bytes long and moves to 1 and i won?
14:47:57 <mauris> fizzie: >----[[>]+[<]>---------]>[>] is 28 bytes and halts on 30
14:48:19 <mauris> myname: i'm counting from zero. so >>> moves to position 3
14:49:53 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
14:52:11 -!- shikhin has quit (Ping timeout: 265 seconds).
14:53:10 -!- FireFly has quit (Read error: Connection reset by peer).
14:53:38 -!- heddwch has quit (Ping timeout: 265 seconds).
14:54:33 -!- FireFly has joined.
14:55:19 <mauris> fizzie: i found a really elegant one :)
14:56:04 <mauris> +[[->>++<<]>>] is 14 bytes and moves to position 16
14:56:31 -!- grotewold has joined.
14:56:32 <mauris> by doubling a cell and moving it 8 times, until it hits 256(=0).
14:56:50 -!- shikhin has joined.
14:57:10 -!- grotewold has quit (Max SendQ exceeded).
14:58:26 -!- grotewold has joined.
14:59:11 -!- grotewold has quit (Max SendQ exceeded).
14:59:43 <mauris> this is cool, because i *think* you can just brute-force check all brainfuck programs that are 13 bytes or shorter and satisfy some "obvious" constraints a solution would need
15:00:48 -!- grotewold has joined.
15:01:39 -!- grotewold has quit (Max SendQ exceeded).
15:02:09 -!- FireFly has quit (Ping timeout: 256 seconds).
15:02:09 <mauris> > sum [6^n + (n+1)*(n+2)`div`2 | n <- [1..11]] `div` 2 -- a generous upper bound on the amount of those?
15:02:12 -!- shikhin has quit (Ping timeout: 264 seconds).
15:03:20 -!- grotewold has joined.
15:04:12 -!- heddwch has joined.
15:06:19 -!- shikhin has joined.
15:06:47 -!- FireFly has joined.
15:15:58 -!- heddwch has quit (Read error: Connection reset by peer).
15:18:30 -!- FireFly has quit (Ping timeout: 244 seconds).
15:18:31 <HackEgo> [wiki] [[Talk:Monkeys]] N http://esolangs.org/w/index.php?oldid=44032 * Martin Büttner * (+537) Created page with "After some testing, the reference implementation seems to contradict the spec in several ways: 1) the initial setup appears to be transposed and 2) Monkeys are incremented eve..."
15:23:49 -!- FireFly has joined.
15:25:00 -!- Frooxius has quit (Read error: Connection reset by peer).
15:25:00 -!- Froox has joined.
15:32:48 <tswett> In homotopy type theory, there's a type S such that there are infinitely many functions S -> S, but only two of them are invertible.
15:33:34 <tswett> Countably infinitely many functions S -> S, in fact.
15:34:04 <mroman> I should continue working on Gulf.
15:37:08 -!- J_Arcane has joined.
15:37:41 -!- Froox has quit (Quit: *bubbles away*).
15:38:30 -!- FireFly has quit (Quit: ZNC - 1.6.0 - http://znc.in).
15:38:30 -!- shikhin has quit (Quit: Alas.).
15:39:48 -!- heddwch has joined.
15:40:08 -!- FireFly has joined.
15:41:08 -!- shikhin has joined.
15:41:52 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
15:43:54 <HackEgo> [wiki] [[Special:Log/newusers]] create * Knowledge * New user account
15:45:33 -!- TieSoul has quit (Read error: Connection reset by peer).
15:48:52 -!- x1365C has joined.
15:50:23 -!- grotewold has joined.
15:51:01 -!- grotewold has quit (Max SendQ exceeded).
15:51:38 -!- x10A94 has quit (Ping timeout: 265 seconds).
15:51:58 <ashl> why is there such a type :P
15:52:43 -!- grotewold has joined.
15:53:28 -!- grotewold has quit (Max SendQ exceeded).
15:55:03 -!- grotewold has joined.
15:55:50 -!- grotewold has quit (Max SendQ exceeded).
15:57:07 -!- fowl has quit (Ping timeout: 256 seconds).
15:57:30 -!- grotewold has joined.
16:00:38 -!- x1365C has changed nick to x10A94.
16:06:36 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
16:19:56 -!- fowl has joined.
16:26:55 <tswett> Well, the space is generated by one point and one automorphism of that point.
16:28:07 -!- grotewold has joined.
16:29:06 <tswett> So a function S -> S must map the point in S to a point in S (there's only one option), and the generating automorphism to an automorphism of that point (there are countably many options--they're the integers).
16:31:54 <HackEgo> [U+2124 DOUBLE-STRUCK CAPITAL Z]
16:32:27 <ashl> why isn't there only one automorphism of a one-point space
16:34:17 -!- sebbu has joined.
16:34:59 -!- sebbu has quit (Changing host).
16:34:59 -!- sebbu has joined.
16:35:08 -!- sebbu2 has quit (Ping timeout: 265 seconds).
16:36:08 -!- APic has joined.
16:37:33 <ashl> perhaps it's not worth me asking this since i know nothing about homotopy type theory...
16:42:15 -!- atrapado has joined.
16:49:17 -!- Frooxius has joined.
16:54:31 <HackEgo> [wiki] [[Labyrinth]] M http://esolangs.org/w/index.php?diff=44033&oldid=43956 * Timwi * (+3) /* Overview */
16:55:13 -!- hppavilion[1] has joined.
16:56:42 -!- TieSoul has joined.
17:01:06 -!- TieSoul has quit (Ping timeout: 260 seconds).
17:01:53 -!- Phantom__Hoover has joined.
17:04:28 <HackEgo> [wiki] [[Labyrinth]] M http://esolangs.org/w/index.php?diff=44034&oldid=44033 * Timwi * (+0) /* I/O */
17:04:30 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
17:05:01 -!- TieSoul has joined.
17:05:37 -!- Phantom_Hoover has quit (Ping timeout: 268 seconds).
17:10:03 <hppavilion[1]> Are SKI combinators evaluated from the left or from the right?
17:14:18 <tswett> They're written with application being left-associative.
17:18:13 -!- AnotherTest has joined.
17:18:53 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
17:42:12 -!- mauris has quit (Ping timeout: 250 seconds).
17:45:30 -!- Lorenzo64 has joined.
17:47:08 -!- hppavilion[1] has joined.
17:47:11 <HackEgo> [wiki] [[ShortScript]] http://esolangs.org/w/index.php?diff=44035&oldid=44031 * YourDeathIsComing * (+14826)
17:48:20 <Taneb> tswett, is that like saying there are countably many naturals (including zero) but only one you can negate?
17:52:37 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
17:57:45 <tswett> Well, it's very much like saying there are countably many integers but only two that have reciprocals.
18:01:51 -!- staffehn has quit (Remote host closed the connection).
18:02:51 -!- stalem has quit (Ping timeout: 246 seconds).
18:12:01 -!- grotewold has joined.
18:12:35 -!- grotewold has quit (Max SendQ exceeded).
18:14:21 -!- grotewold has joined.
18:28:13 -!- Lorenzo64 has quit (Read error: Connection reset by peer).
18:29:52 -!- hppavilion[1] has joined.
18:36:45 <fizzie> You had people for lunch!?
18:39:44 <tswett> So I'm thinking about my Amazing Final Computer Language.
18:40:03 -!- Phantom___Hoover has joined.
18:40:58 <tswett> Currently, it has two features.
18:41:29 <tswett> You can declare "varieties", and you can declare expressions in varieties.
18:41:51 <b_jonas> tswett: is it final in the sense that it's a high level language that won't turn out to have been a low level language afterall in twenty years when new higher level languages appear?
18:42:01 <tswett> What I'm calling a variety is a variation on this: https://en.wikipedia.org/wiki/Variety_%28universal_algebra%29
18:42:15 <tswett> b_jonas: well, it's final in the sense that it will effectively have every possible feature.
18:43:02 <hppavilion[1]> I want to design a language based entirely on constructing abstract machines
18:43:23 -!- Phantom__Hoover has quit (Ping timeout: 264 seconds).
18:43:26 <tswett> Now, many but not all kinds of algebraic structure are varieties in my sense.
18:43:41 <tswett> Groups are a variety, rings are a variety, categories are a variety.
18:43:59 <tswett> Cartesian closed categories are a variety. Finitely complete categories are a variety. Finitely cocomplete categories are a variety.
18:44:11 <tswett> Cartesian closed finitely complete finitely cocomplete categories are a variety.
18:44:50 <tswett> Toposes are *not* a variety.
18:45:11 <HackEgo> [wiki] [[Mornington Crescent]] http://esolangs.org/w/index.php?diff=44036&oldid=35308 * Timwi * (-3388) /* Hello, World! */ shorter version
18:45:40 <tswett> You could also define a version of the SKI calculus as a variety.
18:47:21 <tswett> The definition would essentially be the following:
18:48:09 <tswett> "There are things called terms. S is a term. K is a term. I is a term. If x and y are terms, xy is a term. If x is a term, Ix = x. If x and y are terms, Kxy = x. If x, y and z are terms, Sxyz = xz(yz)."
18:49:11 <HackEgo> Os is the accusative plural of us. Also a municipality in Norway.
18:49:50 <tswett> So, that's an example of a variety where equality is uncomputable.
18:57:34 <tswett> Now, you can use varieties to define data types. For example:
18:57:51 <tswett> "There are things called booleans. True is a boolean. False is a boolean."
18:58:28 -!- AnotherTest has quit (Ping timeout: 268 seconds).
18:58:42 <tswett> Presumably you should be able to build data types on top of other data types, but I haven't figured out how that would work yet.
19:05:05 <tswett> This variety could represent a sum type:
19:05:39 <tswett> "There are things called left-values. There are things called right-values. There are things called sum-values. If x is a left-value, Left(x) is a sum-value. If y is a right-value, Right(y) is a sum-value."
19:08:37 <tswett> As for *how* it could represent a sum type...
19:10:01 <MDude> Not sure if I should go with discrete Fourier transform or discrete cosine transform for the language.
19:10:55 <tswett> You can fuse varieties together by taking two varieties and saying that one sort (or more!) from each variety must be the same underlying sort.
19:11:13 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
19:11:34 <tswett> So if you have a variety meaning "a group" and a variety meaning "a monoid", you could stick them together and get a variety meaning "a group, a monoid, a third sort, and functions from the group and the monoid to the third sort".
19:11:39 <MDude> SInce discrete cosine transform is what jpeg uses.
19:11:43 <tswett> Which totally sounds summy.
19:12:17 <tswett> Well, Wikipedia says...
19:12:18 <tswett> "DCTs are equivalent to DFTs of roughly twice the length, operating on real data with even symmetry (since the Fourier transform of a real and even function is real and even), where in some variants the input and/or output data are shifted by half a sample."
19:12:20 <MDude> I could also make something where instead of describing waves at all, each function is a bitmap.
19:12:40 -!- grotewold has joined.
19:12:48 <MDude> And you just send it an x and y coordinate, with the return being the luminosity at that point.
19:13:29 -!- stalem has joined.
19:14:44 <MDude> But I think that goes against the idea of making it easy to have programs that tend towards using smooth functions.
19:15:10 <tswett> Nb: I have no idea what you're doing.
19:18:52 -!- mihow has joined.
19:20:52 -!- impomatic_ has joined.
19:25:06 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
19:28:03 <fizzie> Keep it real, go with DCTs.
19:29:09 -!- JesseH has joined.
19:30:29 -!- hppavilion[1] has joined.
19:30:45 -!- impomatic_ has quit (Quit: http://corewar.co.uk).
19:37:33 -!- atslash has quit (Read error: Connection reset by peer).
19:37:41 <MDude> So each function would be described a seris f waves, or wave pairs for two-input functions.
19:38:12 -!- ais523 has joined.
19:39:22 <hppavilion[1]> An esoteric story about a superhero called Walrus Man written in dynamic hypertext
19:39:31 <MDude> Each wave set set just being the offset, frequency, and amplitude of each cosine wave.
19:45:22 <nortti> idea: program stack. a subroutine call is implemented by copying its code into the program stack
19:46:01 <MDude> I'll call it Codesign, so people will mispronounce it as "Co Design" instead of "Co(de)sine".
19:46:17 <nortti> so, like, you have A() { B(); C(); }, and the main prog is like A(); D(); → B(); C(); D();
19:46:49 <MDude> Oh wait, it'd be spelled Codesine.
19:47:08 <nortti> s/main prog/code stack/
19:54:39 -!- x10A94 has quit (Read error: Connection reset by peer).
19:55:13 <hppavilion[1]> Instead of linear progression, a many-dimensional graph
20:00:41 -!- ais523 has quit (Remote host closed the connection).
20:01:17 -!- ais523 has joined.
20:06:30 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
20:06:33 -!- callforjudgement has joined.
20:06:44 -!- ais523 has quit (Disconnected by services).
20:06:45 -!- callforjudgement has changed nick to ais523.
20:12:31 -!- esowiki has joined.
20:12:35 -!- esowiki has joined.
20:12:36 -!- esowiki has joined.
20:13:29 -!- esowiki has joined.
20:13:33 -!- esowiki has joined.
20:13:34 -!- esowiki has joined.
20:14:05 -!- esowiki has joined.
20:14:09 -!- esowiki has joined.
20:14:10 -!- esowiki has joined.
20:14:41 -!- esowiki has joined.
20:14:45 -!- esowiki has joined.
20:14:46 -!- esowiki has joined.
20:15:41 -!- esowiki has joined.
20:15:45 -!- esowiki has joined.
20:15:46 -!- esowiki has joined.
20:16:29 -!- esowiki has joined.
20:16:30 -!- glogbot has joined.
20:16:33 -!- esowiki has joined.
20:16:34 -!- esowiki has joined.
20:31:11 -!- `^_^v has quit (Quit: This computer has gone to sleep).
20:32:07 -!- augur has quit (Ping timeout: 244 seconds).
20:39:32 -!- grotewol_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
20:42:03 -!- grotewold has joined.
20:42:25 <HackEgo> [wiki] [[Codesine]] N http://esolangs.org/w/index.php?oldid=44037 * MDude * (+716) Created page with "Made because Fourier has nothing to do with Fourier transforms, but uses discrete cosign transfomrs to "keep things real". The primary idea of codesign is to have functions ..."
20:42:41 -!- grotewold has quit (Max SendQ exceeded).
20:42:44 <MDude> I should mart it as a stub.
20:44:23 <HackEgo> [wiki] [[Codesine]] http://esolangs.org/w/index.php?diff=44038&oldid=44037 * MDude * (+13)
20:44:29 -!- grotewold has joined.
20:45:07 -!- grotewold has quit (Max SendQ exceeded).
20:46:26 <HackEgo> [wiki] [[User:MDude]] http://esolangs.org/w/index.php?diff=44039&oldid=23980 * MDude * (+72)
20:46:51 -!- grotewold has joined.
20:47:28 -!- grotewold has quit (Max SendQ exceeded).
20:48:26 <HackEgo> [wiki] [[Codesine]] http://esolangs.org/w/index.php?diff=44040&oldid=44038 * MDude * (+23)
20:49:12 -!- grotewold has joined.
20:49:37 -!- Phantom___Hoover has quit (Ping timeout: 246 seconds).
20:50:09 <HackEgo> [wiki] [[Codesine]] http://esolangs.org/w/index.php?diff=44041&oldid=44040 * MDude * (+11)
20:54:57 -!- TieSoul has quit (Read error: Connection reset by peer).
20:56:30 -!- Phantom___Hoover has joined.
20:58:54 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
20:59:02 <HackEgo> [wiki] [[Codesine]] http://esolangs.org/w/index.php?diff=44042&oldid=44041 * SuperJedi224 * (+0)
21:05:00 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
21:07:46 -!- clog has quit (Ping timeout: 240 seconds).
21:08:06 -!- tromp has joined.
21:08:35 -!- HackEgo has quit (Ping timeout: 250 seconds).
21:09:12 -!- spiette has quit (Ping timeout: 268 seconds).
21:10:12 -!- HackEgo has joined.
21:12:03 -!- tromp_ has quit (Ping timeout: 250 seconds).
21:13:33 -!- augur has joined.
21:15:57 -!- mihow has quit (Ping timeout: 250 seconds).
21:18:20 -!- mihow has joined.
21:19:07 <HackEgo> [wiki] [[Codesine]] http://esolangs.org/w/index.php?diff=44043&oldid=44042 * MDude * (+258)
21:20:28 <MDude> I'm thinking I should maybe just ditch the previous function definition syntax in favor of this.
21:22:01 <MDude> Yeah I do that. Plus I need to include how variables work?
21:22:59 <MDude> Now that I think about if, mayube I should have a way to let variables represent something other than coordinates, like passing in the amplitude or frequency values as variables.
21:23:11 <ais523> I have revived The Underlambda Project (now in titlecase!)
21:23:32 <ais523> so far I have most of three specs, and a brainfuck compiler I have no way of running, nor any way of running the output
21:23:59 -!- oerjan has joined.
21:24:02 <ais523> @tell mauris 1, and oops
21:24:34 <ais523> I seem to have got really back into esolanging recently
21:24:41 <ais523> and now I'm working on Underlambda again
21:25:18 <ais523> I don't think anyone else is working on Underlambda yet
21:25:30 <oerjan> i'm more than a month late at browsing Recent Changes
21:25:51 <ais523> that person with the nick that's "esowiki" and a bunch of hex is testing boundaries, that's about it though
21:26:03 <ais523> in terms of things that need admin attention
21:26:24 <oerjan> i found a bit of copyvio by Phase in my slow catchup
21:26:59 <ais523> sorry, I haven't been as vigilant for copyvios as I should have been
21:42:09 <oerjan> @tell mauris <mauris> this is cool, because i *think* you can just brute-force check all brainfuck programs that are 13 bytes or shorter and satisfy some "obvious" constraints a solution would need <-- itym 14
21:44:10 <ais523> (if you tell me what day I can look for it in the logs)
21:44:38 <oerjan> smallest number such that there exists a shorter brainfuck program that moves to that cell number, then halts
21:45:07 <ais523> ah right, sort-of like a busy beaver
21:45:16 <oerjan> <mauris> +[[->>++<<]>>] is 14 bytes and moves to position 16
21:45:20 <ais523> that requires the use of a wrapping impl, though
21:45:53 <ais523> the brainfuck-to-underlambda-in-underlambda-parser-framework compiler I just wrote (untested because both the implementation and target language are unimplemented)
21:46:04 <ais523> uses cells that go down as far as -1 (and saturate there), and up to infinity
21:46:54 <ais523> ugh, yesterday's logs contain invalid UTF-8 in some lines and UTF-8 in others
21:47:06 <ais523> meaning my browser refuses to show them in anything but Latin-1
21:47:18 <ais523> (err, anything useful, I could set it to like latin-5 or something)
21:47:56 <b_jonas> ais523: what? won't the browser still show it in utf8 if you ask nicely, with the non-utf8 characters shown as replacement characters?
21:48:14 <ais523> b_jonas: no, it tries to download the page instead for some reason
21:48:27 <ais523> presumably because it detects it as "not a text file" due to being misencoded
21:49:42 <oerjan> not very good for irc logs
21:50:36 <ais523> actually, isn't being misencoded the /only/ reliable indicator that something isn't a text file?
21:51:07 <oerjan> clearly there is no reliable indicator hth
21:51:30 <oerjan> there is shell code after all
21:51:30 <ais523> huh, zemhil is working again?
21:51:44 <ais523> oerjan: I'd claim the ASCII version of that is a text-binary polyglot
21:52:45 <oerjan> !zjoust apparently +[>+]
21:52:45 <zemhill> oerjan.apparently: points -43.31, score 0.49, rank 47/47
21:53:17 <oerjan> i guess running off the hill does that
21:53:31 <zemhill> oerjan.apparently: points -31.05, score 3.57, rank 47/47 (--)
21:53:38 <zemhill> ais523.growth: points -46.00, score 0.00, rank 47/47 (-42)
21:53:50 <ais523> !zjoust growth2 http://sprunge.us/LTKQ
21:53:51 <zemhill> ais523.growth2: points 20.69, score 52.84, rank 1/47
21:53:58 <ais523> ooh, it's top of /both/ hills
21:54:06 <ais523> now if I could only remember how it worked :-P
21:54:40 <ais523> Lymia: the reign of nyuroki is over!
21:55:07 <ais523> oh good, I documented it already
21:55:30 <oerjan> fizzie: zemhill is too fast, it'll make HackEgo jealous
21:55:47 <oerjan> !bfjoust apparently []
21:55:55 <EgoBot> Score for oerjan_apparently: 6.1
21:56:05 <ais523> oerjan: is that a pessimized version of nop.bfjoust?
21:56:45 <ais523> at least it automatically does at least as well as any other program that doesn't contain + or -
21:57:08 <ais523> !bfjoust slightly_better_nop (>)*9(+)*128
21:57:11 <EgoBot> Score for ais523_slightly_better_nop: 0.8
21:57:24 <ais523> haha, I know why that scores less than nop does
21:57:30 <ais523> !bfjoust slightly_better_nop (>)*9[(+)*128]
21:57:32 <EgoBot> Score for ais523_slightly_better_nop: 6.5
21:58:03 <ais523> growth2 has four losses
21:58:06 -!- atrapado has quit (Quit: Leaving).
21:58:25 <ais523> omnipotence, both cupnoodles (which are identical), and stealth2
21:58:52 <ais523> mroman: could you delete mroman_'s copy of cupnoodle from the !zjoust hill? you currently have two effectively identical programs up there
21:59:57 <Sgeo_> Who was it who like Evillious, oren or nortti, I keep forgetting? I think https://www.youtube.com/watch?v=cOyp3qNqiTE&lc=z13wszjjroipfpvky23kyvrqtwetij2om04 dragonkeeper's reply to Yui the yandere makes a lot of sense (as a criticism of The Evillious Chronicles)
22:00:12 <ais523> also, if you want to see something unlike any other BF Joust strategies, see http://zem.fi/bfjoust/breakdown/#ais523.margins
22:00:19 <ais523> I've been slowly working on an improvement to margins but it's hard
22:00:37 <ais523> actually the score against space_hotel is my favourite
22:00:40 <ais523> one of the best programs of all time
22:00:44 <ais523> and it gets just marginally beaten
22:01:20 <nortti> Sgeo_: do you mean to link to a youtube comment there? I can't display them
22:01:34 <Sgeo_> nortti, yes. I'll paste it into a pastie
22:02:07 <fizzie> I should fix up those hill visualizations and make them run on the same system zemhill does, and automatically -- if not quite after every change, then at least every now and then if there have been changes.
22:02:13 <Sgeo_> http://pastie.org/private/eewazf5wi5lmh4faca
22:02:51 <Sgeo_> Also, did you see the new songs I linked a while ago which I mistakenly pinged oren for?
22:02:54 <fizzie> I think that would involve omg-optomizing them from the scipy/numpy/matplotlib to something a bit less memory-intensive.
22:03:13 <ais523> when did you last run them manually? I'd be a little interested in how the hill looks atm
22:03:26 <fizzie> Quite long ago. I'll kick them off now, but it'll take a while.
22:03:37 <ais523> also, perhaps we should make submissions go to both hills? I can't see much of a reason why you'd want to submit to one hill and not the otehr
22:04:15 <ais523> also, thutubot used to turn up when I was online and someone requested it
22:04:16 <oerjan> that may be hard given there's a web submission form
22:04:19 <ais523> nobody's requested it in a while
22:04:22 <ais523> oerjan: oh right, good point
22:04:37 <ais523> how does the web submission form do authentication?
22:04:55 <fizzie> It doesn't, everyone submitting there is under the nickname "web".
22:05:19 <ais523> right, that makes sense
22:05:43 <fizzie> Having a letter in "web" that's not legal might have made slightly more sense, in retrospect, to keep the namespaces distinct.
22:05:51 <fizzie> Not legal for IRC nicks, I mean.
22:06:26 <oerjan> Web is registered, but not used since 2013
22:06:49 <ais523> right, because people on IRC can delete web programs
22:06:59 <ais523> fizzie: btw your front page contradicts itself about whether web submissions are eligible for the scoreboard
22:07:35 <fizzie> Oh, the "won't get your name" was referring to the "web." prefix.
22:07:41 <Sgeo_> nortti, https://www.youtube.com/watch?v=TIaAnbMaCG8 https://www.youtube.com/watch?v=YL_YZsbE3Ro https://www.youtube.com/watch?v=OGrdGXDcoGU
22:07:44 <fizzie> I guess you can still get your name by putting it in the program name.
22:07:48 <fizzie> It's not terribly clear.
22:09:24 <Sgeo_> I think those are the three new songs
22:09:34 <Sgeo_> If there are other news songs, I didn't notice
22:09:41 <fizzie> Gah, my mouse situation is really annoying. The old one I have keeps dropping things in the middle of drag-and-dropping, and doubleclicking when single-clicking; the new one from Amazon (same model) that arrived to day instead scrolls by itself maybe one page up or down every third time you release the mouse wheel after using it. (It's one of those freewheel Logitech mice, and there's ...
22:09:47 <fizzie> ... something wrong with the balancing, causing it to rotate to some particular orientation when at rest.)
22:09:54 <nortti> I remember there being 3 new ones, too
22:10:58 <Sgeo_> There were also other new songs a while ago I also think I linked oren, like Drug of Gold
22:11:18 <Sgeo_> For all I know you both like Evillious so I should be pinging both of you
22:12:45 <fizzie> Why is ais523.growth2 not appearing when I git pull.
22:12:57 <fizzie> It's visible in the gitweb.
22:13:09 <fizzie> Maybe I changed the URL.
22:13:10 <ais523> fizzie: you're pulling from the wrong repo or the wrong branch
22:15:46 <fizzie> That's what I'd assume, but it certainly doesn't look that way.
22:17:14 <fizzie> "git log --oneline" in the (bare) repository the URL in .git/config:[remote "origin"] is supposedly pointing at is 21 commits ahead, "master" is the only branch there (and gitweb also says head of master is your growth2 change), but "git pull origin master" says "already up-to-date".
22:17:41 <fizzie> And the local repository is also on branch master, and doesn't seem to be in any sort of weird detached head thing.
22:18:35 <fizzie> "git log origin/master" (and git rev-parse origin/master) both say c9df5d1.
22:19:16 <fizzie> It's like it's just not fetching the remote refs, but that's just weird.
22:19:45 <ais523> the file isn't already there, I take it?
22:20:53 <fizzie> Nnno. And according to timestamps, it is updating e.g. the .git/refs/remotes/origin/master file, but it's not the same that's refs/heads/master in the remote repository directory.
22:21:07 <fizzie> Maybe it's actually not pointing at the directory I think it's pointing.
22:22:10 <fizzie> Missing "git update-server-info" + dumb HTTP server.
22:22:16 <fizzie> I thought I had gotten that done right.
22:22:31 <fizzie> Well, that's more like it.
22:23:32 <fizzie> "generating tournament-wide plots ... /usr/lib/python2.7/dist-packages/numpy/ma/core.py:790: RuntimeWarning: invalid value encountered in less_equal"
22:23:55 <fizzie> Didn't bother to print a stack trace for it.
22:24:11 <fizzie> Well, if some of the plots look really weird, I'll know what to blame.
22:24:17 -!- Wright has joined.
22:24:29 -!- hppavilion[1] has joined.
22:25:14 <ais523> hmm, at one point one of my plans for Underlambda, the way it compared them was to take two to the power of each of the integers, then for one of the integers, made a lookup table of subtractions from that integer
22:25:20 <ais523> then looked the other integer up in the table
22:25:36 <ais523> then I decided that that would probably be far too slow in a non-optimizing implementation
22:27:48 <fizzie> http://zem.fi/egostats/ should now be up to date for growth2.
22:29:48 <ais523> anthropomorphic animals, most likely
22:30:22 <ais523> fizzie: to be fair I'm mostly interested in margins
22:30:29 <ais523> it is, as usual, hilarious in statistics
22:30:47 <ais523> huh, I didn't realise omnipotence would like short tapes though
22:31:27 -!- darkl0ck_ has quit (Ping timeout: 255 seconds).
22:31:34 <ais523> I like the way that the dendrogram has a cluster for "good" programs, that's pretty much inevitable given how it's created
22:33:26 <ais523> also, I like the way that anticipation2 shows up clearly as a vibration program, because its "average value of opposing flag at end of game" value is so high (almost 90)
22:34:05 <fizzie> I keep thinking I should do something more clever about the clustering. I'd play around with our internal machine learning stuff, but somehow I don't think I'd be able to get *that* running on the zemhill VPS.
22:34:28 -!- mihow has quit (Quit: mihow).
22:34:39 <ais523> hmm, if I were mentally clustering programs, I'd cluster them by strategy
22:34:51 <ais523> what they do in each phase of the game (decoy phase / rush phase / lock phase), for example
22:35:25 <ais523> I wonder how you identify the phases, too
22:35:46 <ais523> (misidentifying them is a common reason for programs to lose, incidentally; but if you have perfect knowledge of the tape it's much easier)
22:36:07 <fizzie> Sadly, they don't exactly unambiguously output their strategy in a machine-readable form. But people do impressive semantic stuff for languages and images and all that. I'm sure deep neural nets is the answer.
22:36:09 -!- mihow has joined.
22:36:52 <ais523> I think a program that deduced the strategy of jousters from watching them play might be fun to think about/write
22:38:07 <ais523> oh wow, so /this/ is why growth2 is doing so well: http://zem.fi/egostats/plot_p14_ptapeheat.png
22:38:24 <ais523> it has a much higher chance than I expected of successfully figuring out where the enemy flag is first try
22:39:53 <ais523> this also implies to me that growth2 can be reliably beaten via purposely screwing up your clear to start at the wrong place
22:40:02 <ais523> although that'd make your win rate worse against programs generally
23:00:39 <nortti> Sgeo_: do you know where it says it was eve who did the toragay poisoning and eluka is not actually eluka?
23:04:04 -!- clog has joined.
23:05:21 <nortti> 01:10 < Sgeo_> There were also other new songs a while ago I also think I linked oren, like Drug of Gold ← you linked that to me
23:06:31 <shachaf> ais523: Any news on your thesis?
23:06:46 <ais523> shachaf: it's "online" but not public until December for some reason :-(
23:06:56 -!- Patashu has joined.
23:06:58 <ais523> I think there's some official date where I officially get a PhD and before then they're not allowed to officially acknowledge it
23:07:07 <shachaf> Can I bribe someone to get an early copy?
23:07:38 <ais523> come to think of it they're probably holding back the physical copies for the same reason
23:07:56 <ais523> I spent over 4 years with it, so I don't really mind waiting a bit longer
23:08:39 <shachaf> What will you be doing after you get a PhD?
23:08:48 <shachaf> Do you write more theses or what? I don't know how these things work.
23:09:04 <ais523> currently I have a job working on a research compiler (related to my PhD work)
23:09:11 <ais523> in fact I've already cited my own PhD in code comments
23:09:23 <ais523> an old version of the compiler's online
23:09:29 <ais523> http://www.veritygos.org/
23:09:52 <ais523> I didn't write it singlehandly but it's over 90% my code, I think
23:10:45 <shachaf> You worked with Satnam Singh on this thing?
23:10:56 <ais523> shachaf: yes, mostly to do with recursion
23:11:11 <ais523> the situation was that we wanted to claim to be the first to do something, and that's a pretty bold claim
23:11:20 <ais523> Satnam was one of the few people in the best position to know whether it had been done earlier
23:13:59 -!- Phantom___Hoover has quit (Ping timeout: 264 seconds).
23:17:18 <b_jonas> ais523: yeah, finding previous research can be difficult
23:18:03 <b_jonas> there's a theorem I proved, then found out that there were three earlier proofs given in the seventies.
23:19:59 -!- Phantom_Hoover has joined.
23:27:25 -!- oerjan has quit (Quit: Ancient Babylonian Proof).
23:32:44 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
23:37:05 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
23:52:00 <Sgeo_> nortti, http://theevilliouschronicles.wikia.com/wiki/Elluka_Chirclatia#Legacy seems like not one of the songs (for the Elluka isn't Elluka one)
23:52:29 <nortti> ah, ok. I did read the wiki, but it's not very good with referencing
23:53:04 <nortti> or, rather, with notes like "this was revealed in X"
23:53:06 <Sgeo_> http://theevilliouschronicles.wikia.com/wiki/Margarita_Blankenheim says the Eve thing but having trouble finding reference
23:53:54 <Sgeo_> I think the end of the world occurred in one of the books (Seven Crimes and Punishments), that saddens me because I was hoping for a song of it.
23:54:22 <nortti> any idea if it's been translated yet
23:54:31 <Sgeo_> It always feels like mothy was building up to some big reveal song regarding the end of the world, and now it's happened?
23:54:35 <Sgeo_> nortti, don't know
23:54:40 <Sgeo_> I haven't read it, do want to