00:01:07 mauris: A Tape is a Graph where every node has one link except the end, which has none 00:01:15 Assuming you implement the tape as a Linked List 00:01:32 Which you should >:( 00:01:44 s/>:(/>:|/ 00:01:55 That's hard to read 00:02:02 Is that a fork bomb or something? 00:02:35 Oh 00:02:55 -!- stalem has quit (Quit: night yall). 00:03:26 [wiki] [[Rewriting]] M http://esolangs.org/w/index.php?diff=44028&oldid=35039 * Hppavilion1 * (+4) Linked to Graph Rewriting mauris 00:03:36 ... 00:03:37 That wasn't me 00:07:26 -!- Frooxius has joined. 00:13:45 Do you mean directed graphs? 00:14:24 zzo38: Me? 00:14:31 No 00:14:35 Just graphs in general 00:15:13 If you want to know which direction is the tape then it should be a directed graph 00:15:45 zzo38: Ah 00:16:28 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:17:55 zzo38: It most certainly is 00:18:06 You do realize people were ACTUALLY REQUIRED TO USE IT, right? 00:18:20 Yes, I do realize. 00:18:26 Huh 00:19:46 -!- yiyus has quit (Ping timeout: 265 seconds). 00:22:33 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 Still it has many limitations 00:23:05 -!- yiyus has joined. 00:26:50 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 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 hppavilion[1]: I think I gave an answer to your "infinite FSM" question. 00:36:03 "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 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 Not-necessarily-finite state machines 00:43:17 Thank you, Jafet 00:43:22 Also, right tswett 00:43:24 I think you did 00:43:25 Whoops 00:43:29 Bad memory sometimes 00:44:28 I'm making a Combinatory/Functional 2D Language 00:44:29 :) 00:46:30 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:47:00 ... 00:47:03 zzo38: You win 00:48:24 I win at what? Minesweeper game? I did win once 00:49:05 At stuff development 00:49:10 I'm making a language 00:49:13 You're making a VM 00:49:16 You win at thing making 00:49:31 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 00:50:05 O, OK 00:50:56 -!- Phantom_Hoover has joined. 00:51:58 ever played non-flagging minesweeper? 00:52:03 izabera: No 00:52:17 No 00:52:23 it's regular minesweeper but you must never mark bombs 00:52:41 the goal of the game is still unchanged, open all the non bomb squares 00:52:56 but you have to keep track of the bombs in your mind 00:53:15 Or, y'know, actually check before clicking 00:53:21 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 (You are free to make other modifications too; it is all public domain) 00:54:09 -!- grotewold has joined. 00:54:27 oh it doesn't need any modification 00:54:32 just don't mark bombs 00:54:56 Is there any critisism of this community? 00:55:02 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). 00:59:31 zzo38: Where can I find this "QUACKVM"? 01:00:44 http://zzo38computer.org/prog/quackvm.zip 01:00:51 Note the documentation is incomplete, sorry 01:00:57 It's fine 01:01:04 Better than anything I've ever made xD 01:02:33 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:04:31 Ah 01:05:37 Also, to compile the C source-codes you can use "bash" on them. 01:05:41 -!- Phantom_Hoover has joined. 01:06:36 Ugh 01:06:43 My computer is so slow 01:06:47 I need to download more RAM 01:06:48 xD 01:08:51 What should I call my function-oriented 2D language? 01:09:40 I don't know 01:09:50 (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 hppavilion[1]: now, when you say "functional", do you mean that functions act as ordinary values? 01:20:29 tswett: Yes 01:20:39 The way python has "functional programming" 01:20:44 First-class functions 01:20:51 I'll tell you what you should name it. 01:20:52 One moment. 01:21:38 All right. You should name it: 01:21:39 fued 01:21:39 cntn 01:21:39 tnoe 01:21:39 iori 01:22:06 Or "fued / cntn / tnoe / iori" in contexts where line breaks aren't possible. 01:22:28 What does that mean? 01:22:29 xD 01:22:50 It's the phrase "function oriented" arranged in a certain way in two dimensions. 01:23:09 Ah 01:23:15 tswett you can't solve all of life's problems with hilbert curves 01:23:29 Ah 01:23:36 A Hilbert Curve 01:25:57 I like that name because it's hard to remember xD 01:26:15 FCTI for short 01:33:37 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:33 Oh right 01:37:48 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 It should have assignment that goes something like "the is behind " 01:56:10 fwiw this is the random crap generator http://arin.ga/iZe8Kf/raw 01:56:12 it's pretty fast 01:57:22 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 01:57:24 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 "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 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 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 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 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 Very Strongly Typed Language: Variables can't change value 03:10:39 (But it's still imperative) 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 It's funny that Turing himself was a Turing Machine (sans unbounded memory, of course) 03:36:09 We need a 2D OO Lang! STAT! 03:39:15 OK, try to make one up if you know how 03:39:31 There's a language called Fourier, but it's not actually about approximating functions via Fourier series. 03:42:44 I think that would be a nice abstraction in that it would allow one to define a function imprecisely. 03:43:44 And allow such a foolish thing as lossy compression of code. 03:44:11 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 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 Tell me, Visual Studio, how is "UInteger" simpler than "Uint32"? 04:24:55 usize != u32 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 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 Sending another email asking for the recipients to delete the previous one? 07:01:40 fizzie: Haven't you ever seen an email being recalled/deleted from your inbox? 07:01:45 Clearly it works very well. 07:03:54 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 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 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 I had a weird dream, Phantom_Hoover was there 09:39:35 Even though I have no idea what Phantom_Hoover looks like 09:39:37 I just knew 09:39:38 It was him 09:40:49 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 More grassy and hilly than York's west campus and more cluttered and busy than the east campus 09:41:41 Simon Lane of Yogscast fame was there 09:41:49 As was the robot bunny from Homestuck 09:42:14 There was a zombie apocalypse going on or something 09:42:24 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 fizzie, no, I just knew he was Phantom_Hoover 09:42:57 Perhaps that's how it goes in the real world too, then. 09:43:02 I then had another dream where I explained this first dream 09:43:12 -!- shikhin has joined. 09:43:15 And some other things happened 09:43:18 And then a third dream 09:43:24 Which I have completely forgotten 09:43:24 -!- FireFly has joined. 09:45:28 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 And a much fancier-looking library, too. 09:45:54 (Also more tourists.) 09:46:11 York doesn't have much in the way of pillars 09:46:15 Well, it has a few 09:46:29 http://irish-net.de/files/trinity_college_bibliothek_1.jpg <- it's like this except full of tourists 09:46:33 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 Actually, I might have a realistic photo of it. 09:48:05 -!- Zant has changed nick to Walpurgisnacht. 09:48:12 Mmm so many nicks taken 09:48:20 Looking for one for me bot ;-; 09:49:02 https://drive.google.com/file/d/0B4J9OAzXNfZAUGlFYWtZcGxjTWs/view?usp=sharing <- that's what it looks like if you're a pleb. 09:49:15 (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 fizzie, that is a nice photo 09:55:59 -!- shikhin has quit (Ping timeout: 264 seconds). 09:58:22 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 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 [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:08 `unicode 🐫🐪 13:17:14 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:02 `unidecode 🐪 13:20:03 U+1F42A DROMEDARY CAMEL \ UTF-8: f0 9f 90 aa UTF-16BE: d83ddc2a Decimal: 🐪 \ 🐪 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) 13:20:24 oh wait it was just 2 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 [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 i'll see your camels and raise you 🎑 13:55:12 `unidecode 🎑 13:55:13 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 [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 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 (possibly modifying the tape, of course) 14:22:12 -!- shikhin has joined. 14:22:18 >-[>[>]+[<]>-]>[>] 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 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 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 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 oh, you're right, i don't need that > 14:34:49 (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 >-[-[-<]>>+<]>[[>]+[<]>-]>[>] seems to halt on cell 38, and looks shorter than that. 14:37:01 (Used, pretty randomly, the >-[-[-<]>>+<]> constant for 33.) 14:37:20 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 yeah, i was thinking of multiplications, and that looks like a pretty good one 14:38:37 >+[--[<]>>+<-]>[[>]+[<]>-]>[>] halts on cell 33 and is 30 bytes long. 14:38:54 I think that cell 33 is 0-indexed, so let's say 34 instead. 14:41:13 why isn't [>] an endless loop there? 14:41:31 fnird. 14:42:05 -!- shikhin has joined. 14:42:07 myname: it seeks the first zero cell, going right 14:42:19 ah 14:42:32 yeah, i reversed it in my head 14:42:35 stupid 14:43:49 -!- FireFly has joined. 14:44:59 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 fizzie: >----[[>]+[<]>---------]>[>] is 28 bytes and halts on 30 14:48:19 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 fizzie: i found a really elegant one :) 14:56:04 +[[->>++<<]>>] is 14 bytes and moves to position 16 14:56:31 -!- grotewold has joined. 14:56:32 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 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 > 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 217678414 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 [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:27 Fun fact. 15:32:48 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 Countably infinitely many functions S -> S, in fact. 15:34:02 why? 15:34:04 I should continue working on Gulf. 15:37:00 Why what? 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 [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 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 Well, the space is generated by one point and one automorphism of that point. 16:28:07 -!- grotewold has joined. 16:29:06 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 `unidecode ℤ 16:31:54 ​[U+2124 DOUBLE-STRUCK CAPITAL Z] 16:32:27 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 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 [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. 16:58:57 Hellu 17:00:28 hullo 17:01:06 -!- TieSoul has quit (Ping timeout: 260 seconds). 17:01:53 -!- Phantom__Hoover has joined. 17:04:28 [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 Are SKI combinators evaluated from the left or from the right? 17:14:18 They're written with application being left-associative. 17:14:21 abc means (ab)c. 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 [wiki] [[ShortScript]] http://esolangs.org/w/index.php?diff=44035&oldid=44031 * YourDeathIsComing * (+14826) 17:48:20 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 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:29:53 Ah, lunch 18:30:01 Hello people 18:36:45 You had people for lunch!? 18:37:25 Yes 18:37:27 Yes I did 18:37:37 They came over and we had a nice lunch 18:37:39 -_- 18:37:39 No 18:37:44 It's currently my lunch hour 18:39:44 So I'm thinking about my Amazing Final Computer Language. 18:39:58 Cool 18:40:02 Haven't heard of it 18:40:03 -!- Phantom___Hoover has joined. 18:40:58 Currently, it has two features. 18:41:23 Which are? 18:41:29 You can declare "varieties", and you can declare expressions in varieties. 18:41:34 Interesting 18:41:51 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 What I'm calling a variety is a variation on this: https://en.wikipedia.org/wiki/Variety_%28universal_algebra%29 18:42:15 b_jonas: well, it's final in the sense that it will effectively have every possible feature. 18:43:02 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 Now, many but not all kinds of algebraic structure are varieties in my sense. 18:43:41 Groups are a variety, rings are a variety, categories are a variety. 18:43:59 Cartesian closed categories are a variety. Finitely complete categories are a variety. Finitely cocomplete categories are a variety. 18:44:11 Cartesian closed finitely complete finitely cocomplete categories are a variety. 18:44:16 Should I call it "Builder"? 18:44:23 No... 18:44:26 Probably not 18:44:31 That's a good working name for now 18:44:50 Toposes are *not* a variety. 18:45:11 [wiki] [[Mornington Crescent]] http://esolangs.org/w/index.php?diff=44036&oldid=35308 * Timwi * (-3388) /* Hello, World! */ shorter version 18:45:40 You could also define a version of the SKI calculus as a variety. 18:46:06 I like the SKI calculus 18:46:19 I prefer Lambda Calculus though 18:46:27 Even though I barely understand either xD 18:46:40 Well 18:46:50 I don't exactly "prefer" one over the other 18:47:21 The definition would essentially be the following: 18:48:09 "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:48:54 tswett: "I am a term" hth 18:48:59 os 18:49:06 what is os 18:49:11 `? os 18:49:11 Os is the accusative plural of us. Also a municipality in Norway. 18:49:50 So, that's an example of a variety where equality is uncomputable. 18:57:34 Now, you can use varieties to define data types. For example: 18:57:51 "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 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 This variety could represent a sum type: 19:05:39 "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 As for *how* it could represent a sum type... 19:10:01 Not sure if I should go with discrete Fourier transform or discrete cosine transform for the language. 19:10:55 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 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 SInce discrete cosine transform is what jpeg uses. 19:11:43 Which totally sounds summy. 19:12:17 Well, Wikipedia says... 19:12:18 "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 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 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 But I think that goes against the idea of making it easy to have programs that tend towards using smooth functions. 19:15:10 Nb: I have no idea what you're doing. 19:16:36 what's going on? 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 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 So each function would be described a seris f waves, or wave pairs for two-input functions. 19:38:12 -!- ais523 has joined. 19:38:58 I have a new thing to add to my shit-to-do list 19:39:22 An esoteric story about a superhero called Walrus Man written in dynamic hypertext 19:39:30 Interactive, no less 19:39:31 Each wave set set just being the offset, frequency, and amplitude of each cosine wave. 19:45:22 idea: program stack. a subroutine call is implemented by copying its code into the program stack 19:46:01 I'll call it Codesign, so people will mispronounce it as "Co Design" instead of "Co(de)sine". 19:46:17 so, like, you have A() { B(); C(); }, and the main prog is like A(); D(); → B(); C(); D(); 19:46:49 Oh wait, it'd be spelled Codesine. 19:47:08 s/main prog/code stack/ 19:54:39 -!- x10A94 has quit (Read error: Connection reset by peer). 19:55:13 Instead of linear progression, a many-dimensional graph 19:55:22 Instead of the traditional Dramatic Structure 19:55:35 Its structure will extend into the complex plane 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 [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 I should mart it as a stub. 20:44:23 [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 [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 [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 [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 [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 [wiki] [[Codesine]] http://esolangs.org/w/index.php?diff=44043&oldid=44042 * MDude * (+258) 21:20:28 I'm thinking I should maybe just ditch the previous function definition syntax in favor of this. 21:22:01 Yeah I do that. Plus I need to include how variables work? 21:22:59 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 I have revived The Underlambda Project (now in titlecase!) 21:23:32 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 @tell mauris 1, and oops 21:24:02 Consider it noted. 21:24:09 hi oerjan 21:24:22 hi ais523 21:24:34 I seem to have got really back into esolanging recently 21:24:36 first WUUI 21:24:41 and now I'm working on Underlambda again 21:24:43 aha 21:24:59 unlike me 21:25:18 I don't think anyone else is working on Underlambda yet 21:25:30 i'm more than a month late at browsing Recent Changes 21:25:49 ... 21:25:51 that person with the nick that's "esowiki" and a bunch of hex is testing boundaries, that's about it though 21:26:03 in terms of things that need admin attention 21:26:24 i found a bit of copyvio by Phase in my slow catchup 21:26:51 oh, well caught 21:26:59 sorry, I haven't been as vigilant for copyvios as I should have been 21:42:09 @tell 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:42:09 Consider it noted. 21:44:02 oerjan: context? 21:44:10 (if you tell me what day I can look for it in the logs) 21:44:38 smallest number such that there exists a shorter brainfuck program that moves to that cell number, then halts 21:45:07 ah right, sort-of like a busy beaver 21:45:16 +[[->>++<<]>>] is 14 bytes and moves to position 16 21:45:20 that requires the use of a wrapping impl, though 21:45:53 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 uses cells that go down as far as -1 (and saturate there), and up to infinity 21:46:26 OKAY 21:46:54 ugh, yesterday's logs contain invalid UTF-8 in some lines and UTF-8 in others 21:47:06 meaning my browser refuses to show them in anything but Latin-1 21:47:18 (err, anything useful, I could set it to like latin-5 or something) 21:47:44 hm Timwi is back 21:47:56 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 b_jonas: no, it tries to download the page instead for some reason 21:48:27 presumably because it detects it as "not a text file" due to being misencoded 21:49:31 huh ok 21:49:42 not very good for irc logs 21:50:36 actually, isn't being misencoded the /only/ reliable indicator that something isn't a text file? 21:51:07 clearly there is no reliable indicator hth 21:51:30 there is shell code after all 21:51:30 huh, zemhil is working again? 21:51:44 oerjan: I'd claim the ASCII version of that is a text-binary polyglot 21:52:45 !zjoust apparently +[>+] 21:52:45 oerjan.apparently: points -43.31, score 0.49, rank 47/47 21:52:53 pretty fast 21:53:17 i guess running off the hill does that 21:53:30 !zjoust apparently [] 21:53:31 oerjan.apparently: points -31.05, score 3.57, rank 47/47 (--) 21:53:38 !zjoust growth < 21:53:38 ais523.growth: points -46.00, score 0.00, rank 47/47 (-42) 21:53:50 !zjoust growth2 http://sprunge.us/LTKQ 21:53:51 ais523.growth2: points 20.69, score 52.84, rank 1/47 21:53:58 ooh, it's top of /both/ hills 21:54:06 now if I could only remember how it worked :-P 21:54:40 Lymia: the reign of nyuroki is over! 21:55:07 oh good, I documented it already 21:55:11 * ais523 reads own docs 21:55:30 fizzie: zemhill is too fast, it'll make HackEgo jealous 21:55:39 possibly also EgoBot 21:55:47 !bfjoust apparently [] 21:55:55 ​Score for oerjan_apparently: 6.1 21:56:05 oerjan: is that a pessimized version of nop.bfjoust? 21:56:20 hm i guess 21:56:45 at least it automatically does at least as well as any other program that doesn't contain + or - 21:57:08 !bfjoust slightly_better_nop (>)*9(+)*128 21:57:11 ​Score for ais523_slightly_better_nop: 0.8 21:57:24 haha, I know why that scores less than nop does 21:57:30 !bfjoust slightly_better_nop (>)*9[(+)*128] 21:57:32 ​Score for ais523_slightly_better_nop: 6.5 21:57:34 that's better 21:58:03 growth2 has four losses 21:58:06 -!- atrapado has quit (Quit: Leaving). 21:58:25 omnipotence, both cupnoodles (which are identical), and stealth2 21:58:52 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 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 also, if you want to see something unlike any other BF Joust strategies, see http://zem.fi/bfjoust/breakdown/#ais523.margins 22:00:19 I've been slowly working on an improvement to margins but it's hard 22:00:30 Sgeo_: it was me 22:00:37 actually the score against space_hotel is my favourite 22:00:40 one of the best programs of all time 22:00:44 and it gets just marginally beaten 22:01:20 Sgeo_: do you mean to link to a youtube comment there? I can't display them 22:01:34 nortti, yes. I'll paste it into a pastie 22:02:07 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 http://pastie.org/private/eewazf5wi5lmh4faca 22:02:51 Also, did you see the new songs I linked a while ago which I mistakenly pinged oren for? 22:02:54 I think that would involve omg-optomizing them from the scipy/numpy/matplotlib to something a bit less memory-intensive. 22:03:02 Sgeo_: yea, I agree 22:03:06 Sgeo_: I did not 22:03:13 when did you last run them manually? I'd be a little interested in how the hill looks atm 22:03:26 Quite long ago. I'll kick them off now, but it'll take a while. 22:03:37 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 also, thutubot used to turn up when I was online and someone requested it 22:04:16 that may be hard given there's a web submission form 22:04:19 nobody's requested it in a while 22:04:22 oerjan: oh right, good point 22:04:37 how does the web submission form do authentication? 22:04:55 It doesn't, everyone submitting there is under the nickname "web". 22:05:19 right, that makes sense 22:05:43 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 Not legal for IRC nicks, I mean. 22:06:26 Web is registered, but not used since 2013 22:06:49 right, because people on IRC can delete web programs 22:06:59 fizzie: btw your front page contradicts itself about whether web submissions are eligible for the scoreboard 22:07:35 Oh, the "won't get your name" was referring to the "web." prefix. 22:07:41 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 I guess you can still get your name by putting it in the program name. 22:07:48 It's not terribly clear. 22:08:07 Sgeo_: ah, nice 22:08:21 from the new album 22:09:24 I think those are the three new songs 22:09:34 If there are other news songs, I didn't notice 22:09:41 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 ... something wrong with the balancing, causing it to rotate to some particular orientation when at rest.) 22:09:54 I remember there being 3 new ones, too 22:10:58 There were also other new songs a while ago I also think I linked oren, like Drug of Gold 22:11:18 For all I know you both like Evillious so I should be pinging both of you 22:12:45 Why is ais523.growth2 not appearing when I git pull. 22:12:57 It's visible in the gitweb. 22:13:09 Maybe I changed the URL. 22:13:10 fizzie: you're pulling from the wrong repo or the wrong branch 22:15:46 That's what I'd assume, but it certainly doesn't look that way. 22:17:14 "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 And the local repository is also on branch master, and doesn't seem to be in any sort of weird detached head thing. 22:17:47 what commit is HEAD? 22:18:35 "git log origin/master" (and git rev-parse origin/master) both say c9df5d1. 22:19:16 It's like it's just not fetching the remote refs, but that's just weird. 22:19:45 the file isn't already there, I take it? 22:20:53 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 Maybe it's actually not pointing at the directory I think it's pointing. 22:21:57 Oh. 22:22:10 Missing "git update-server-info" + dumb HTTP server. 22:22:16 I thought I had gotten that done right. 22:22:31 Well, that's more like it. 22:23:32 "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 Didn't bother to print a stack trace for it. 22:24:11 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 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 then looked the other integer up in the table 22:25:36 then I decided that that would probably be far too slow in a non-optimizing implementation 22:27:48 http://zem.fi/egostats/ should now be up to date for growth2. 22:29:30 I'm making "A Hypertext Fairy Tail" 22:29:33 * ais523 looks 22:29:34 What should it be about? 22:29:48 anthropomorphic animals, most likely 22:29:50 most fairy tails are 22:30:22 fizzie: to be fair I'm mostly interested in margins 22:30:29 it is, as usual, hilarious in statistics 22:30:47 huh, I didn't realise omnipotence would like short tapes though 22:31:27 -!- darkl0ck_ has quit (Ping timeout: 255 seconds). 22:31:34 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 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 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 hmm, if I were mentally clustering programs, I'd cluster them by strategy 22:34:51 what they do in each phase of the game (decoy phase / rush phase / lock phase), for example 22:35:25 I wonder how you identify the phases, too 22:35:46 (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 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 I think a program that deduced the strategy of jousters from watching them play might be fun to think about/write 22:38:07 oh wow, so /this/ is why growth2 is doing so well: http://zem.fi/egostats/plot_p14_ptapeheat.png 22:38:24 it has a much higher chance than I expected of successfully figuring out where the enemy flag is first try 22:39:53 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 although that'd make your win rate worse against programs generally 23:00:39 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 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 ais523: Any news on your thesis? 23:06:46 shachaf: it's "online" but not public until December for some reason :-( 23:06:56 -!- Patashu has joined. 23:06:58 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 Can I bribe someone to get an early copy? 23:07:38 come to think of it they're probably holding back the physical copies for the same reason 23:07:56 I spent over 4 years with it, so I don't really mind waiting a bit longer 23:08:39 What will you be doing after you get a PhD? 23:08:48 Do you write more theses or what? I don't know how these things work. 23:09:04 currently I have a job working on a research compiler (related to my PhD work) 23:09:11 in fact I've already cited my own PhD in code comments 23:09:20 Which compiler? 23:09:23 an old version of the compiler's online 23:09:29 http://www.veritygos.org/ 23:09:31 (not my website) 23:09:52 I didn't write it singlehandly but it's over 90% my code, I think 23:10:45 You worked with Satnam Singh on this thing? 23:10:56 shachaf: yes, mostly to do with recursion 23:11:11 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 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 ais523: yeah, finding previous research can be difficult 23:18:03 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 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 ah, ok. I did read the wiki, but it's not very good with referencing 23:53:04 or, rather, with notes like "this was revealed in X" 23:53:06 http://theevilliouschronicles.wikia.com/wiki/Margarita_Blankenheim says the Eve thing but having trouble finding reference 23:53:54 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:13 :/ 23:54:22 any idea if it's been translated yet 23:54:23 the book 23:54:31 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 nortti, don't know 23:54:40 I haven't read it, do want to