00:00:35 -!- Froox has joined. 00:02:43 -!- Frooxius has quit (Read error: Connection reset by peer). 00:03:07 -!- jj2baile_ has joined. 00:03:24 -!- jj2baile has quit (Ping timeout: 240 seconds). 00:03:35 -!- olsner_ has joined. 00:04:04 -!- Sgeo has quit (Ping timeout: 240 seconds). 00:04:07 -!- FireFly has quit (Ping timeout: 240 seconds). 00:04:07 -!- olsner has quit (Ping timeout: 240 seconds). 00:04:17 -!- nisstyre has quit (Ping timeout: 240 seconds). 00:04:17 -!- ejls has quit (Ping timeout: 240 seconds). 00:04:18 -!- jix has quit (Ping timeout: 240 seconds). 00:04:18 -!- rodgort has quit (Ping timeout: 240 seconds). 00:04:20 -!- pikhq has quit (Ping timeout: 240 seconds). 00:04:36 -!- jix has joined. 00:05:32 -!- pikhq has joined. 00:07:12 -!- qlkzy has quit (Ping timeout: 240 seconds). 00:07:17 -!- sebbu has quit (Ping timeout: 240 seconds). 00:07:37 -!- FireFly has joined. 00:09:56 -!- FreeFull has quit (Ping timeout: 240 seconds). 00:09:56 -!- myndzi has quit (Ping timeout: 240 seconds). 00:10:14 -!- FreeFull has joined. 00:10:56 -!- rodgort has joined. 00:11:37 -!- myndzi has joined. 00:12:11 -!- qlkzy has joined. 00:12:31 -!- augur has quit (Quit: Leaving...). 00:13:29 -!- nisstyre has joined. 00:17:51 -!- Burton has quit (Ping timeout: 260 seconds). 00:17:52 -!- kyhwana has quit (Ping timeout: 260 seconds). 00:18:54 -!- Sorella has quit (Ping timeout: 260 seconds). 00:19:21 -!- kyhwana has joined. 00:22:01 -!- drdanmaku has quit (Ping timeout: 260 seconds). 00:22:30 -!- ski_ has joined. 00:22:39 -!- drdanmaku has joined. 00:23:53 -!- Taneb has quit (Ping timeout: 260 seconds). 00:23:53 -!- ski has quit (Ping timeout: 260 seconds). 00:23:53 -!- skarn has quit (Ping timeout: 260 seconds). 00:24:30 -!- skarn has joined. 00:24:37 -!- skarn has changed nick to Guest42564. 00:24:44 -!- Taneb has joined. 00:25:26 -!- Sorella has joined. 00:30:32 -!- Tritonio1 has joined. 00:30:41 -!- yiyus_ has joined. 00:32:40 -!- nortti_ has joined. 00:32:53 -!- Burton has joined. 00:33:05 -!- jix_ has joined. 00:37:06 -!- elliott_ has joined. 00:37:35 -!- diginet_ has joined. 00:37:42 -!- jix has quit (*.net *.split). 00:37:43 -!- Tritonio has quit (*.net *.split). 00:37:43 -!- aloril has quit (*.net *.split). 00:37:44 -!- Sprocklem has quit (*.net *.split). 00:37:45 -!- elliott has quit (*.net *.split). 00:37:45 -!- diginet has quit (*.net *.split). 00:37:46 -!- nortti has quit (*.net *.split). 00:37:46 -!- realz has quit (*.net *.split). 00:37:46 -!- impomatic_ has quit (*.net *.split). 00:37:46 -!- yiyus has quit (*.net *.split). 00:37:47 -!- impomatic has quit (*.net *.split). 00:40:31 -!- realz has joined. 00:40:31 -!- realz has quit (Changing host). 00:40:31 -!- realz has joined. 00:40:58 -!- aloril has joined. 00:43:26 -!- Sprocklem has joined. 00:44:07 -!- Sprocklem has changed nick to Guest98832. 00:44:41 -!- Mathnerd626 has joined. 00:45:03 -!- Mathnerd626 has quit (Read error: Connection reset by peer). 00:48:25 -!- vifino has quit (Quit: Ze Cat now leaves...). 01:20:18 -!- boily has quit (Quit: UNIVERSAL CHICKEN). 01:20:22 -!- metasepia has quit (Remote host closed the connection). 01:35:09 -!- FreeFull has quit. 01:43:17 -!- vifino has joined. 01:45:54 -!- diginet_ has quit (Quit: diginet has quit!). 01:46:30 -!- FreeFull has joined. 01:46:45 -!- diginet has joined. 01:59:17 oh darn. i edited wikipedia's esoteric programming language article to update the links to the wiki and User:Agyle took it as an opportunity to go on a general deletion massacre against the wiki and other community links. (did you know: our wiki is neither a reliable source, nor mentioned in any?) 02:02:26 -!- sebbu has joined. 02:02:27 -!- redryder has joined. 02:03:05 -!- sebbu has quit (Changing host). 02:03:06 -!- sebbu has joined. 02:06:04 oerjan: iirc there is plenty of precedent for linking to established community wikis, though not as a source 02:08:29 well the bastard also removed the _entire_ section about the existence of a community. 02:12:14 elliott_: e is presumably referring to point 12 in https://en.wikipedia.org/wiki/Wikipedia:External_links#Links_normally_to_be_avoided 02:14:34 well, people will find the wiki anyhow 02:14:43 WANNA BET 02:14:58 Our wiki may be a reliable source for some things and may link to some reliable sources. 02:15:21 Not the best kind of reliable source, but for some things it works. 02:15:42 zzo38: that's a technical wikipedia term. 02:16:15 which causes madness if you try to compare it with the colloquial meaning. 02:16:19 anyway twke it to the talk page I guess (it'll be tedious) 02:16:25 *take 02:16:40 What does Wikipedia consider to be reliable then? 02:17:01 Shouldn't it depend on what you are looking for, and on how many sources there are for something? 02:18:13 "should" and "wikipedia policy" are not well correlated concepts hth 02:19:24 elliott_: i cannot bear that kind of arguing. 02:19:50 ditto 02:24:47 instead i passive-aggressively https://en.wikipedia.org/w/index.php?title=User_talk:Agyle&diff=614833601&oldid=614551499 02:26:26 is that really all that passive 02:26:38 also that * turned into a bullet fo a bulleted list 02:26:41 i dunno. what's the exact definition. 02:26:49 i realized that a second too late, shachaf 02:27:03 i think editing it now would be even more pathetic :P 02:28:59 also stupid things are subject to muphry's law. just look at how long it took me to do the edits yesterday that provoked this. 02:43:08 -!- vifino has quit (Quit: Ze Cat now leaves...). 02:47:46 -!- mihow has joined. 03:11:23 puts on his tin foil hat 03:14:02 as long as you stay away from the wizard robe 03:25:18 Please tell me if you found any more mistakes in AmigaMML program, in amigasam, or feature requests, and/or anything unclear/incorrect in the provided documentation. 03:33:45 -!- Mathnerd626 has joined. 03:34:55 -!- Mathnerd626 has quit (Read error: Connection reset by peer). 03:37:51 -!- Mathnerd626 has joined. 03:39:42 -!- Gregor`` has changed nick to Gregor. 03:51:03 -!- Mathnerd626 has quit (Read error: Connection reset by peer). 04:00:11 -!- Mathnerd626 has joined. 04:03:16 [wiki] [[Special:Log/upload]] upload * Javamannen * uploaded "[[File:CHIP16 controller.png]]": Taken from the Machine Specification for CHIP-16. https://github.com/chip16/chip16/wiki/Machine-Specification 04:05:12 that smells like non-pd content 04:09:29 What is smelling like non-pd content? 04:14:34 the image 04:15:36 i think zzo has wiki updates blocked. 04:17:17 the LICENSE file for the repository is GPL 3, and i can find no other license for the wiki part. 04:17:35 What repository? 04:17:48 zzo38: the one in HackEgo's announcement 04:18:04 What announcement? 04:18:30 I have some announcements blocked. 04:18:33 21:02 < HackEgo> [wiki] [[Special:Log/upload]] upload * Javamannen * uploaded "[[File:CHIP16 controller.png]]": Taken from the Machine Specification for CHIP-16. https://github.com/chip16/chip16/wiki/Machine-Specification 04:18:58 hopefully you aren't just blocking .*[wiki].* or something, i guess 04:19:45 I am not just blocking .*[wiki].* 04:20:04 The exact specification of the filter I am using is: <1> i /:HackEgo![^ ]* PRIVMSG #esoteric :\[wiki\]/i 04:20:44 I can see the picture now; it has one extra dot it look like. 04:20:51 if you use ignore rules then the reasonable bursen is on you to use logs or whatever to see stuff you missed, since it's a personal thing 04:21:02 [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[File:CHIP16 controller.png]]": Copyright violation: As far as I can see, the repository that is from is GPL 3 04:21:14 Yes, I suppose so 04:21:37 -!- Mathnerd626 has quit (Remote host closed the connection). 04:21:42 Although if you are referencing something on the wiki you should specify what you are referencing anyways though 04:22:22 Also the buttons are different order from the Famicom order; you could use Famicom order instead, which is: A, B, Select, Start, Up, Down, Left, Right. 04:22:25 zzo38: repeating information that was said on the previous irc line is a little silly 04:23:41 now i deleted it, anyway 04:23:51 oerjan: Yes, unless you are trying to clarify something, of course. Because there can be a lot of people and messages on the IRC, it can sometimes be unclear, until you read it a second time 04:24:23 Are we allowed to post messages on the talk page of a deleted file in wiki? 04:25:01 yes but I'll ban you (not really) 04:25:53 (That is, I mean if the messages being posted will not have any copyright violations, can it be posted OK?) 04:26:11 sure 04:27:04 -!- shikhin has joined. 04:30:03 -!- shikhout has quit (Ping timeout: 252 seconds). 04:35:08 [wiki] [[File talk:CHIP16 controller.png]] N http://esolangs.org/w/index.php?oldid=39961 * Zzo38 * (+819) Created page with "This file was deleted, due to copyright violation (please post only public domain files here) (also the picture seem to have one extra dot). I can perhaps also suggest that yo..." 04:35:53 Now I made ASCII version is it better? 04:38:18 hope so 04:40:51 -!- redryder has quit. 04:45:16 oerjan: upon actually viewing the image, I suspect it is likely uncopyrightable 04:45:38 oh? 04:46:32 well, it is a very simple, non-artistic arrangement of geometric shapes and digits 04:46:54 the github code says it was from http://imgur.com/ExCAKZo btw 04:47:12 not that that helps 04:47:35 elliott_: well if you're sure go ahead and restore it >:) 04:47:58 elliott_: Probably you are correct, I think, although I made ASCII version anyways in case it help more. 04:48:39 oerjan: well, the wiki is no longer my legal liability :P 04:48:40 (ASCII version include text labels as well as numeric, in the order they are found in Famicom, GameBoy, NES, etc) 04:48:45 however the image is ugly 04:48:51 someone should just remake it. 04:49:03 I guess ASCII is fine. 04:49:20 elliott_: it's not mine either hth 05:24:10 Send a description of the image to someone who hasn't seen the original so they can clean room reverse egnineer it? 05:24:37 um what if the description is copyrighted, 05:25:33 Don't use the original description, just make a new one based on looking at the chart? 05:25:57 but the chart is copyrighted! 05:26:37 Well yeah, that's why you send a desciption of it. 05:27:06 I guess to be sure you'd need the lawyer times. 05:27:41 And not someone who just looked at the WIkipedia article on clean room reverse engineering for a bit. 05:28:36 i'd look at the article but it may also be copyrighted 05:29:28 * MDream copyrights the word "copyright". 05:33:18 * oerjan patents MDream 05:33:56 Wel at least that expires after 20 years. 05:34:18 [wiki] [[Talk:Slide]] http://esolangs.org/w/index.php?diff=39962&oldid=39949 * Zzo38 * (+319) 05:37:55 -!- Sorella has quit (Quit: It is tiem!). 05:41:15 What is the probability of winning/losing/draw at a chess game if moves are selected at random using uniform probabilities for each legal move, and no draws are used except for lack of legal moves and infinity of future is necessary? 05:41:53 -!- redryder has joined. 05:42:05 (Promotion counts as four possible moves, so it is four times as likely as another move.) 05:43:02 [wiki] [[File talk:CHIP16 controller.png]] http://esolangs.org/w/index.php?diff=39963&oldid=39961 * Javamannen * (+171) Sorry for the copyright violation, and thanks for the tip! 05:49:52 zzo38: that sounds like the thing you could estimate by repeating it enough times, but which would likely be exponentially hard to calculate exactly 05:49:59 *kind of thing 05:50:23 And both players are playing like this, or? 05:51:05 Bike: Yes, it applies to both players. (Presumably, you do not actually play chess like this; it is entirely hypothetical.) 05:51:56 oerjan: I believe you. Perhaps it is easier if a variant with smaller board and less pieces? 05:54:53 well sure. exponentially hard also become easy if the instance is small enough. 05:54:58 *becomes 05:56:04 I think that it is possible to make up the "1 L" rule of linear logic out of the cut rule and "1 R" rule. 05:58:34 (There is the similar thing with the rules for bottom, too) 05:59:00 "for every polynomial-time algorithm you have, there is an exponential algorithm that I would rather run" -- alan perlis, as quoted by dick lipton 06:01:13 oerjan: Why do they have that? 06:02:50 because exponential doesn't mean _always_ slower, presumably 06:03:19 you can get some serious approximations out to many decimals using taylor and mclaren series 06:04:05 redryder: for zzo38's problem? i doubt it. 06:04:26 WHAT ABOUT AN ORTHONORMAL BASIS OF BESSEL FUNCTIONS 06:05:11 besssel function, what are you trying to do build a nuclear reactor? lol 06:05:14 because the structure of legal moves is too complex to turn into an efficient formula 06:05:16 -!- augur has joined. 06:06:18 redryder: what is the airspeed velocity of an unladen swallow? 06:06:24 there are planets where the atmosphere is so dense, you can look straight forward and see the back of your own head 06:06:41 wait was redryder someone's bot 06:07:18 that esotericly rich 06:07:29 like bs 06:08:04 -!- ChanServ has set channel mode: +o oerjan. 06:08:29 -!- oerjan has set channel mode: +b *!*redryder@*.nwrknj.east.verizon.net. 06:08:29 -!- oerjan has kicked redryder You are annoying and speaking nonsense. 06:08:32 weird. 06:08:36 -!- oerjan has set channel mode: -o oerjan. 06:10:41 also, failing the turing test 06:14:15 -!- BeingToDeath has joined. 06:14:53 Bike: my default assumption is a rude chatbot... 06:15:09 i'm not complaining. 06:15:52 [wiki] [[BytePusher II]] http://esolangs.org/w/index.php?diff=39964&oldid=39957 * Javamannen * (+530) 06:16:11 -!- ^v has changed nick to ^0. 06:24:32 -!- ^0 has quit (Ping timeout: 252 seconds). 06:27:17 -!- mihow has quit (Quit: mihow). 06:29:56 -!- ^v has joined. 06:30:13 -!- ^v has changed nick to ^0. 06:34:19 -!- oerjan has quit (Quit: leaving). 06:47:52 -!- Patashu has quit (Ping timeout: 248 seconds). 07:08:00 -!- Guest42564 has quit (Changing host). 07:08:00 -!- Guest42564 has joined. 07:08:52 -!- Guest42564 has changed nick to skarn. 07:15:01 [wiki] [[BytePusher II]] http://esolangs.org/w/index.php?diff=39965&oldid=39964 * Javamannen * (+12) 60 MIPS overkill? 07:22:09 -!- BeingToDeath has quit. 07:23:59 -!- conehead has joined. 07:39:29 -!- drdanmaku has quit (Changing host). 07:39:29 -!- drdanmaku has joined. 07:40:03 -!- Burton has quit (Changing host). 07:40:03 -!- Burton has joined. 08:06:44 -!- MindlessDrone has joined. 08:11:46 -!- ket1v has joined. 08:13:31 -!- ket1v has quit (Client Quit). 08:21:28 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 08:24:52 Perhaps it was a person pretending it's a bot pretending it's a person. 08:26:51 Goooooood morning 08:27:30 Could a programming language be made for testing random number generator quality and calculating probabilities and distributions, as follows: Have one "$" instruction for "toss coin", which can split a program into two states with half a probability. There is a finite states subset, and when not used it can cancel any probability which is "too small", otherwise it can calculate exact probabilities even in case of infinite loop sometimes. 08:28:24 [wiki] [[SYCPOL]] M http://esolangs.org/w/index.php?diff=39966&oldid=39959 * GermanyBoy * (+0) /* Structures */ corrected name 08:45:06 [wiki] [[SYCPOL]] http://esolangs.org/w/index.php?diff=39967&oldid=39966 * GermanyBoy * (+470) /* Indentation rules */ 08:52:57 [wiki] [[Talk:SYCPOL]] N http://esolangs.org/w/index.php?oldid=39968 * Zzo38 * (+1550) Created page with "Another idea would be to fix it so that it will work even if the cards are placed in the wrong order. Such as, the division and/or section, and what it belongs to, must be men..." 09:14:56 -!- augur has quit (Ping timeout: 260 seconds). 09:22:17 [wiki] [[Talk:Braktif]] http://esolangs.org/w/index.php?diff=39969&oldid=19938 * Rdebath * (+1065) /* Turing complete etc */ new section 09:34:46 -!- augur has joined. 09:38:33 -!- Sprocklem has joined. 09:43:37 -!- FreeFull_ has joined. 09:45:22 -!- FreeFull has quit (*.net *.split). 09:45:23 -!- Guest98832 has quit (*.net *.split). 09:47:31 [wiki] [[Processor/1]] http://esolangs.org/w/index.php?diff=39970&oldid=13660 * Rdebath * (+26) Killed by DynDNS 09:51:09 -!- nooodl has joined. 09:56:52 -!- conehead has quit (Quit: Computer has gone to sleep). 09:58:49 -!- lifthrasiir has joined. 09:59:42 -!- Patashu has joined. 10:03:51 -!- kyhwana_ has joined. 10:04:07 -!- pikhq_ has joined. 10:06:26 -!- Patashu_ has joined. 10:06:26 -!- Patashu has quit (Disconnected by services). 10:09:08 -!- kyhwana has quit (*.net *.split). 10:09:09 -!- pikhq has quit (*.net *.split). 10:09:38 -!- Patashu_ has quit (Remote host closed the connection). 10:09:59 -!- Patashu has joined. 10:26:45 -!- shikhout has joined. 10:27:14 -!- Tritonio1 has quit (Ping timeout: 240 seconds). 10:27:51 -!- Tritonio has joined. 10:30:04 -!- shikhin has quit (Ping timeout: 260 seconds). 10:31:57 -!- rodgort has quit (Ping timeout: 240 seconds). 10:34:31 -!- rodgort has joined. 10:40:09 -!- applybot has quit (Remote host closed the connection). 10:53:32 -!- b_jonas has quit (Ping timeout: 245 seconds). 11:01:12 -!- shikhout has quit (Ping timeout: 248 seconds). 11:38:08 -!- AnotherTest has joined. 11:43:32 -!- Sprocklem has quit (Ping timeout: 245 seconds). 11:51:34 -!- yorick has joined. 12:03:40 -!- olsner_ has changed nick to olsner. 12:07:30 -!- shikhin has joined. 12:07:59 -!- shikhin has changed nick to Guest783. 12:09:03 -!- Guest783 has changed nick to shikhout. 12:09:09 -!- shikhout has quit (Changing host). 12:09:09 -!- shikhout has joined. 12:09:26 -!- shikhout has changed nick to shikhin. 12:21:33 -!- nooodl_ has joined. 12:24:56 -!- nooodl has quit (Ping timeout: 248 seconds). 12:28:42 -!- nortti_ has changed nick to nortti. 12:34:41 -!- lifthrasiir has quit (Ping timeout: 244 seconds). 12:34:48 -!- vifino has joined. 12:35:11 -!- mhi^ has joined. 12:55:04 -!- boily has joined. 13:05:08 -!- metasepia has joined. 13:08:24 -!- lifthrasiir has joined. 13:24:30 -!- Mathnerd626 has joined. 13:32:01 [wiki] [[Talk:SYCPOL]] http://esolangs.org/w/index.php?diff=39971&oldid=39968 * GermanyBoy * (+1110) 13:33:44 -!- AnotherTest has quit (Ping timeout: 248 seconds). 13:40:31 -!- Sorella has joined. 14:10:18 -!- Mathnerd626 has quit (Ping timeout: 240 seconds). 14:13:07 -!- boily has quit (Quit: MINIM CHICKEN). 14:13:10 -!- metasepia has quit (Remote host closed the connection). 14:19:55 [wiki] [[Talk:Slide]] http://esolangs.org/w/index.php?diff=39972&oldid=39962 * GreyKnight * (+297) 14:36:28 -!- Patashu has quit (Ping timeout: 260 seconds). 14:46:45 -!- ^0 has changed nick to ^v. 15:26:58 -!- AnotherTest has joined. 15:35:07 -!- ^v has quit (Remote host closed the connection). 15:39:23 -!- ^v has joined. 15:51:02 -!- TodPunk has quit (Ping timeout: 245 seconds). 15:55:03 -!- TodPunk has joined. 16:20:29 Sigh, computers. My (USB, wired) keyboard does not work in the GRUB menu if a (USB) Bluetooth dongle is plugged in at boot time. 16:21:10 BIOS 1 : fizzie 0. 16:22:05 are they on the same USB bus? how much power does the Bluetooth dongle claim? Is there any left for the keyboard afterwards? 16:33:31 -!- vifino has quit (Quit: Ze Cat now leaves...). 16:51:37 I see that as "Machines 1 : Humans 0" 16:56:35 zzo38: what two states? 17:08:44 mroman: Head and tails, of course. 17:09:21 -!- conehead has joined. 17:11:23 what is the downside of Data.Vector as opposed to Data.Array? 17:14:20 -!- Mathnerd626 has joined. 17:17:48 one dimensional only 17:17:59 well, fuck 17:18:20 i didn't get arrays yet 17:19:00 vector is nice 17:19:07 you can just nest them. 17:19:29 or do index arithmetic manually 17:20:02 so i do a fromList (map fromList foo) to turn [[a]] into a twodimensional vector? 17:20:32 a vector of vectors, isn't it 17:20:34 sure, though index arithmetic might be nicer 17:20:38 since less indirection 17:20:54 does it really matter? 17:20:54 assuming that klist is square 17:20:57 *list 17:21:02 yes 17:21:07 it actually does not have to be 17:21:15 then nest vectors 17:21:21 i can force it, but i don't want to if i don't have to 17:21:27 but indirection is expensive, locality is nice, caching, etc. 17:21:36 ah, i see 17:21:53 well, even without that it should be way faster than [[a]] 17:22:03 what are you storing? 17:22:13 a rail programm 17:22:41 i.e. some plaintext 17:22:44 HashMap (Int,Int) is underrated, also 17:23:00 i think so 17:23:35 rail has a lot of blank space, doesn't it? maybe a hash map would be better. 17:23:42 or something based on the actual graph, maybe 17:24:05 gotta lead the way towards esolang JITs 17:24:25 i want to access the cell at the current instruction pointer position 17:24:29 HashMap is nice because you can update it with less overhead 17:24:31 that's like the most used operation 17:24:39 less copying 17:24:47 rail programms won't be updated once created 17:25:55 then try vector and HashMap and see which you like more :) 17:26:08 int-e: A bit late, but the keyboard seemed to work post-boot. And the keyboard was in a (passive) hub connected to one of the back-of-the-box ports, while the USB dongle was in one of the front USB ports, but who knows how those are connected. 17:26:21 you probably want a boxed vector of unboxed vectors 17:26:23 i know maps 17:26:29 which might get a little confusing 17:26:37 is hashmap faster at accessing than map? 17:26:55 HashMap is faster at almost everything 17:27:20 are they reasonably cheap to update? 17:28:29 yeah 17:28:38 sounds perfect 17:28:43 fizzie: lsusb can be used to find out 17:29:04 fizzie: but as you describe it it sounds like a bug :) 17:29:37 int-e: The same system has trouble booting at all if I forget the USB card reader (with a SD card from the camera) connected. 17:30:16 I second Bike's suggestion about "something based on the actual graph", since I guess Rail doesn't do self-modification? 17:30:56 that might be tricky for an dedicated rail editor 17:31:07 myname: you just said it won't be updated... 17:31:10 hashmap is pretty easy to adapt for that manner 17:31:18 elliott_: i am thinking ahead! 17:31:54 A thinking head thinks ahead. 17:32:24 is there any advantage of Map instead of HashMap? 17:32:34 like, why is there even a Map? 17:32:48 -!- shikhout has joined. 17:32:56 it goes by order not hash 17:33:06 so it can do more efficient queries based on key order 17:33:15 HashMap is mostly just newer though. 17:35:44 does HashMap has O(1) access? 17:35:54 -!- shikhin has quit (Ping timeout: 244 seconds). 17:37:15 no 17:37:23 it is log 17:37:26 there's no reason you can't make a structure editor maaaaan 17:38:00 Bike: that may be true, but it makes things a lot harder 17:38:02 you don't need O(1) though probably 17:38:23 btw O(1) access and update are incompatible (for a persistent structure) 17:38:27 you've already spent like half an hour wondering how to do text most efficiently. less thinking more making shit up 17:39:05 Bike: we profiled our code and the most time is spent looking up characters 17:39:14 i do think it's fair to work at this 17:39:22 and that would completely disappear with a graph. bam. 17:39:32 -!- shikhout has changed nick to shikhin. 17:39:51 Bike: the code that looks up actually makes a graph out of the code 17:39:59 (the rail code) 17:40:57 also why is this in haskell instead of self-hosting, you terrible person 17:41:23 that was not my choice 17:41:29 we had to do haskell or c++ 17:41:42 so i obviously chose haskell! 17:42:06 s/choice/decission/ 17:53:34 uh, i don't have any efficient way of getting the "size" of a hashmap, have i? (or any reasonable upper bound) 17:55:01 the size function? 17:55:13 it is O(1) Ivthink. 17:55:18 perfect! 17:56:59 now i just have to write a function to convert that 18:01:39 -!- FreeFull_ has changed nick to FreeFull. 18:04:05 -!- MoALTz_ has joined. 18:06:59 -!- MoALTz has quit (Ping timeout: 252 seconds). 18:13:02 extracting something from the first line gets trickier, though 18:13:10 -!- Sgeo_ has quit (Read error: Connection reset by peer). 18:13:21 Now I have a Redmine program for AmigaMML. 18:13:40 zzo38: i am not even surprised anymore 18:17:18 myname: a nested hashmap works too 18:18:56 i do think (Int, Int) is fine, this is one corner case that only gets done once per function 18:29:29 -!- Sgeo has joined. 18:30:05 okay, i will change to nested hashmaps 18:31:18 IntMap is also a thing but I think HashMap is faster. 18:31:44 though IntMap can do some specialised optiona faster, like Map 18:31:51 *operations 18:44:41 strange thing there is no [a] -> IntMap a 18:45:11 -!- Mathnerd626 has quit (Read error: Connection reset by peer). 18:46:42 fromList . zip [0..] 18:46:54 ah 18:46:56 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:47:00 should've thought of that 18:47:09 i barely use zip 18:48:18 but you should probably use HashMap 18:48:25 why? 18:48:40 it's faster than IntMap on the usual operations, unless that changed 18:48:57 that's strange 18:49:16 HashMap should he yiur default map structure unkess you know why you'd need something else. 18:49:22 also I can't type. 19:00:46 -!- vifino has joined. 19:03:13 -!- nooodl_ has changed nick to nooodl. 19:17:55 Please tell me if there is anything unclear or any lies in the documentation? https://devlabs.linuxassist.net/attachments/download/353/amigamml.doc (it is a plain text, not Microsoft Word format) 19:27:28 hey guys 19:27:57 I made a Befunge-98 interpreter :D 19:28:00 https://github.com/TieSoul/befunge/blob/master/befunge-exec.py 19:28:10 who doesn't 19:28:10 Beware: Bad code. 19:29:22 i assume toList from HashMap Int Char gives no guarantee whatsoever of ordering 19:29:32 and I forgot to change a few things when refactoring 19:29:47 HashMap? 19:30:06 oh wait you're talking about them above here? 19:30:08 :P 19:30:14 i do 19:38:24 -!- zzo38 has quit (Remote host closed the connection). 19:43:46 -!- not^v has joined. 19:47:36 -!- Bike has quit (Ping timeout: 248 seconds). 19:51:57 -!- nooodl_ has joined. 19:54:25 -!- ket1v has joined. 19:54:38 -!- nooodl has quit (Ping timeout: 240 seconds). 19:54:49 -!- Bike has joined. 19:56:40 -!- ket1v has quit (Client Quit). 20:00:23 -!- AnotherTest has quit (Ping timeout: 264 seconds). 20:06:05 -!- Tod-Autojoined has joined. 20:11:52 -!- vifino_ has joined. 20:14:40 -!- lifthrasiir has quit (*.net *.split). 20:17:42 -!- TodPunk has quit (Ping timeout: 255 seconds). 20:17:42 -!- vifino has quit (Ping timeout: 255 seconds). 20:17:42 -!- mhi^ has quit (Ping timeout: 255 seconds). 20:19:36 -!- mhi^ has joined. 20:20:34 -!- Tod-Autojoined has changed nick to TodPunk. 20:24:58 -!- nisstyre has quit (Ping timeout: 260 seconds). 20:26:15 -!- nortti has changed nick to nortticat. 20:26:33 -!- nortticat has changed nick to nortti. 20:26:51 -!- lifthrasiir has joined. 20:29:14 -!- nooodl__ has joined. 20:29:27 -!- nooodl__ has changed nick to nooodl. 20:29:39 -!- nooodl_ has quit (Ping timeout: 260 seconds). 20:29:42 -!- pikhq_ has quit (Remote host closed the connection). 20:29:57 -!- nisstyre has joined. 20:32:11 -!- jix has joined. 20:32:31 -!- jix_ has quit (Ping timeout: 260 seconds). 20:36:35 -!- mhi^ has quit (Quit: Lost terminal). 20:36:38 -!- pikhq has joined. 20:39:54 -!- mhi^ has joined. 20:49:45 -!- ^v has quit (Disconnected by services). 20:49:47 -!- not^v has changed nick to ^v. 20:50:12 -!- not^v has joined. 20:57:12 [wiki] [[BytePusher II]] http://esolangs.org/w/index.php?diff=39973&oldid=39965 * Javamannen * (-1711) Reboot & rethink. 20:59:37 Right now this diagram makes no sense whatsoever 21:12:04 <^v> Sgeo, ur a diagram 21:12:11 -!- aretecode has joined. 21:12:23 Therefore, I make no sens 21:12:24 e 21:19:56 -!- aretecode has quit (Ping timeout: 240 seconds). 21:21:42 -!- lollo64it has quit (Quit: Leaving). 21:33:06 -!- ^v has quit (Read error: Connection reset by peer). 21:33:31 -!- ^v has joined. 21:38:27 -!- aretecode has joined. 21:39:35 -!- oerjan has joined. 21:45:43 [wiki] [[Ndef++]] N http://esolangs.org/w/index.php?oldid=39974 * Javamannen * (+413) This is the programming language of choice for the Demiurge 21:48:27 :O 21:48:31 Deprecated: "HashMap is deprecated. Please use Map instead." 21:48:49 i am confused 21:50:39 Perhaps you're looking at the "hashmap" package instead of the "unordered-containers" one? 21:50:53 i thought i used that? 21:51:30 myname: look at which package was loaded by ghci 21:51:57 [wiki] [[Joke language list]] M http://esolangs.org/w/index.php?diff=39975&oldid=39701 * Javamannen * (+45) NDef++ 21:51:59 Data.HashMap 21:52:09 that's a module, not a package 21:52:34 and there is no such module in unordered-containers 21:52:39 fuck it, i'll use maps 21:52:41 -!- not^v has quit (Quit: Leaving). 21:52:52 use Data.HashMap.Lazy or Data.HashMap.Strict 21:52:57 -!- not^v has joined. 21:53:32 those aren't deprecated when Data.HashMap is? 21:53:42 no, those are from unordered-containers 21:53:53 module names are not necessarily globally unique 21:54:27 (unordered-containers comes with the haskell platform, so is very much not deprecated) 21:54:31 i will discuss that with people from the project 21:55:36 Data.Map will of course also work for just about everything 21:56:19 as far as i know, we are faster than the c++ team 21:56:44 https://hackage.haskell.org/package/unordered-containers-0.2.4.0 21:57:01 And apparently the "HashMap is deprecated" notice in the Data.HashMap module of the hashmap package only refers to the fact that it's deprecated over the Data.Map module *in hashmap*. 21:57:04 oh is it the icfp contest? 21:57:15 (Though the whole package is marked as deprecated in favour of unordered-containers.) 21:57:28 fizzie: heh 21:58:02 Er, I mean, the Map type in Data.HashMap, of course. 21:58:17 In any case, not the Data.Map Map. 21:58:52 actually the haskell platform version is still on 0.2.3.0 21:59:41 since the platform is about a year old. a new version is planned as soon as ghc 7.8.3 is out 22:00:48 oh not the icfp contest 22:01:08 myname: is this some other contest or if not why are there teams 22:01:33 oerjan: it's a software project module of our university 22:01:41 aha 22:13:31 -!- ^v has quit (Ping timeout: 240 seconds). 22:13:54 -!- ggherdov_ has quit (Changing host). 22:13:54 -!- ggherdov_ has joined. 22:13:54 -!- ggherdov_ has quit (Changing host). 22:13:54 -!- ggherdov_ has joined. 22:14:10 -!- ggherdov_ has changed nick to ggherdov. 22:34:41 -!- tony662 has joined. 22:35:38 -!- Bike has quit (Ping timeout: 240 seconds). 22:35:50 -!- tony662 has left ("Leaving..."). 22:39:01 -!- Bike has joined. 22:49:42 okay, one last thing: if i have data Foo = Foo { ..., bar :: Map ... } and at some point i make foo{x=5}, will it copy the map or reuse the existing one? 22:54:13 reuse 22:55:22 at runtime, the bar field in Foo is just a pointer to the map, after all. 22:55:26 -!- not^v has quit (Quit: Leaving). 22:55:44 -!- ^v has joined. 22:57:25 it's not the kind of type that it makes sense to unbox 22:58:08 and even if it were, it would only happen with the right settings and a strictness annotation. 23:05:06 -!- Bike has quit (Ping timeout: 255 seconds). 23:05:51 -!- Patashu has joined. 23:06:51 -!- Bike has joined. 23:10:45 `ping 23:10:45 pong 23:10:51 `ls bin 23:10:51 ​` \ ^.^ \ ̊ \ ? \ ¿ \ @ \ ؟ \ ＷＥＬＣＯＭＥ \ \ \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ addwep \ allquotes \ anonlog \ as86 \ aseen \ bienvenido \ botsnack \ bseen \ buttsnack \ calc \ CaT \ catcat \ cats \ cc \ cdecl \ c++decl \ chroot \ coins \ complain \ complaints \ danddreclist \ define \ delquote \ delvs \ dis86 \ e \ 23:11:07 `8-ball 23:11:07 Outlook good. 23:11:11 Sweet. 23:11:16 `allquotes 23:11:17 1) EgoBot just opened a chat session with me to say "bork bork bork" \ 2) Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ 3) that's where I got it rocket launch facility gift shop \ 4) GKennethR: he 23:11:20 `8ball 23:11:21 Yes. 23:12:34 `echo bin/oerjan # wat 23:12:35 bin/oerjan # wat 23:12:40 `cat bin/oerjan # wat 23:12:41 cat: bin/oerjan # wat: No such file or directory 23:12:45 `cat bin/oerjan 23:12:45 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 23:12:53 `run echo < bin/oerjan # wat 23:12:54 No output. 23:12:56 :( 23:13:23 `run xargs echo < bin/oerjan # wat 23:13:24 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 23:13:27 I learnt something today 23:14:28 -!- nooodl_ has joined. 23:14:55 fancy 23:15:09 well, it's only been 14 minutes afaict 23:17:15 -!- nooodl has quit (Ping timeout: 255 seconds). 23:26:40 -!- nooodl has joined. 23:28:18 -!- nooodl_ has quit (Ping timeout: 240 seconds). 23:36:59 -!- shikhin has quit (Ping timeout: 264 seconds). 23:38:28 -!- shikhin has joined. 23:46:11 -!- Patashu has quit (Disconnected by services). 23:46:11 -!- Patashu_ has joined.