←2014-06-28 2014-06-29 2014-06-30→ ↑2014 ↑all
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 <oerjan> 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 <elliott_> oerjan: iirc there is plenty of precedent for linking to established community wikis, though not as a source
02:08:29 <oerjan> well the bastard also removed the _entire_ section about the existence of a community.
02:12:14 <oerjan> 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 <elliott_> well, people will find the wiki anyhow
02:14:43 <oerjan> WANNA BET
02:14:58 <zzo38> Our wiki may be a reliable source for some things and may link to some reliable sources.
02:15:21 <zzo38> Not the best kind of reliable source, but for some things it works.
02:15:42 <oerjan> zzo38: that's a technical wikipedia term.
02:16:15 <oerjan> which causes madness if you try to compare it with the colloquial meaning.
02:16:19 <elliott_> anyway twke it to the talk page I guess (it'll be tedious)
02:16:25 <elliott_> *take
02:16:40 <zzo38> What does Wikipedia consider to be reliable then?
02:17:01 <zzo38> Shouldn't it depend on what you are looking for, and on how many sources there are for something?
02:18:13 <oerjan> "should" and "wikipedia policy" are not well correlated concepts hth
02:19:24 <oerjan> elliott_: i cannot bear that kind of arguing.
02:19:50 <elliott_> ditto
02:24:47 <oerjan> instead i passive-aggressively https://en.wikipedia.org/w/index.php?title=User_talk:Agyle&diff=614833601&oldid=614551499
02:26:26 <shachaf> is that really all that passive
02:26:38 <shachaf> also that * turned into a bullet fo a bulleted list
02:26:41 <oerjan> i dunno. what's the exact definition.
02:26:49 <oerjan> i realized that a second too late, shachaf
02:27:03 <oerjan> i think editing it now would be even more pathetic :P
02:28:59 <oerjan> 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 <redryder> puts on his tin foil hat
03:14:02 <oerjan> as long as you stay away from the wizard robe
03:25:18 <zzo38> 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 <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:05:12 <elliott_> that smells like non-pd content
04:09:29 <zzo38> What is smelling like non-pd content?
04:14:34 <elliott_> the image
04:15:36 <Bike> i think zzo has wiki updates blocked.
04:17:17 <oerjan> the LICENSE file for the repository is GPL 3, and i can find no other license for the wiki part.
04:17:35 <zzo38> What repository?
04:17:48 <oerjan> zzo38: the one in HackEgo's announcement
04:18:04 <zzo38> What announcement?
04:18:30 <zzo38> I have some announcements blocked.
04:18:33 <Bike> 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 <Bike> hopefully you aren't just blocking .*[wiki].* or something, i guess
04:19:45 <zzo38> I am not just blocking .*[wiki].*
04:20:04 <zzo38> The exact specification of the filter I am using is: <1> i /:HackEgo![^ ]* PRIVMSG #esoteric :\[wiki\]/i
04:20:44 <zzo38> I can see the picture now; it has one extra dot it look like.
04:20:51 <elliott_> 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 <HackEgo> [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 <zzo38> Yes, I suppose so
04:21:37 -!- Mathnerd626 has quit (Remote host closed the connection).
04:21:42 <zzo38> Although if you are referencing something on the wiki you should specify what you are referencing anyways though
04:22:22 <zzo38> 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 <oerjan> zzo38: repeating information that was said on the previous irc line is a little silly
04:23:41 <oerjan> now i deleted it, anyway
04:23:51 <zzo38> 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 <zzo38> Are we allowed to post messages on the talk page of a deleted file in wiki?
04:25:01 <elliott_> yes but I'll ban you (not really)
04:25:53 <zzo38> (That is, I mean if the messages being posted will not have any copyright violations, can it be posted OK?)
04:26:11 <oerjan> sure
04:27:04 -!- shikhin has joined.
04:30:03 -!- shikhout has quit (Ping timeout: 252 seconds).
04:35:08 <HackEgo> [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 <zzo38> Now I made ASCII version is it better?
04:38:18 <oerjan> hope so
04:40:51 -!- redryder has quit.
04:45:16 <elliott_> oerjan: upon actually viewing the image, I suspect it is likely uncopyrightable
04:45:38 <oerjan> oh?
04:46:32 <elliott_> well, it is a very simple, non-artistic arrangement of geometric shapes and digits
04:46:54 <oerjan> the github code says it was from http://imgur.com/ExCAKZo btw
04:47:12 <oerjan> not that that helps
04:47:35 <oerjan> elliott_: well if you're sure go ahead and restore it >:)
04:47:58 <zzo38> elliott_: Probably you are correct, I think, although I made ASCII version anyways in case it help more.
04:48:39 <elliott_> oerjan: well, the wiki is no longer my legal liability :P
04:48:40 <zzo38> (ASCII version include text labels as well as numeric, in the order they are found in Famicom, GameBoy, NES, etc)
04:48:45 <elliott_> however the image is ugly
04:48:51 <elliott_> someone should just remake it.
04:49:03 <elliott_> I guess ASCII is fine.
04:49:20 <oerjan> elliott_: it's not mine either hth
05:24:10 <MDream> 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 <Bike> um what if the description is copyrighted,
05:25:33 <MDream> Don't use the original description, just make a new one based on looking at the chart?
05:25:57 <Bike> but the chart is copyrighted!
05:26:37 <MDream> Well yeah, that's why you send a desciption of it.
05:27:06 <MDream> I guess to be sure you'd need the lawyer times.
05:27:41 <MDream> And not someone who just looked at the WIkipedia article on clean room reverse engineering for a bit.
05:28:36 <Bike> 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 <MDream> Wel at least that expires after 20 years.
05:34:18 <HackEgo> [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 <zzo38> 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 <zzo38> (Promotion counts as four possible moves, so it is four times as likely as another move.)
05:43:02 <HackEgo> [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 <oerjan> 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 <oerjan> *kind of thing
05:50:23 <Bike> And both players are playing like this, or?
05:51:05 <zzo38> Bike: Yes, it applies to both players. (Presumably, you do not actually play chess like this; it is entirely hypothetical.)
05:51:56 <zzo38> oerjan: I believe you. Perhaps it is easier if a variant with smaller board and less pieces?
05:54:53 <oerjan> well sure. exponentially hard also become easy if the instance is small enough.
05:54:58 <oerjan> *becomes
05:56:04 <zzo38> 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 <zzo38> (There is the similar thing with the rules for bottom, too)
05:59:00 <oerjan> "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 <zzo38> oerjan: Why do they have that?
06:02:50 <oerjan> because exponential doesn't mean _always_ slower, presumably
06:03:19 <redryder> you can get some serious approximations out to many decimals using taylor and mclaren series
06:04:05 <oerjan> redryder: for zzo38's problem? i doubt it.
06:04:26 <Bike> WHAT ABOUT AN ORTHONORMAL BASIS OF BESSEL FUNCTIONS
06:05:11 <redryder> besssel function, what are you trying to do build a nuclear reactor? lol
06:05:14 <oerjan> because the structure of legal moves is too complex to turn into an efficient formula
06:05:16 -!- augur has joined.
06:06:18 <oerjan> redryder: what is the airspeed velocity of an unladen swallow?
06:06:24 <redryder> 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 <oerjan> wait was redryder someone's bot
06:07:18 <redryder> that esotericly rich
06:07:29 <redryder> 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 <Bike> weird.
06:08:36 -!- oerjan has set channel mode: -o oerjan.
06:10:41 <oerjan> also, failing the turing test
06:14:15 -!- BeingToDeath has joined.
06:14:53 <oerjan> Bike: my default assumption is a rude chatbot...
06:15:09 <Bike> i'm not complaining.
06:15:52 <HackEgo> [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 <HackEgo> [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 <fizzie> Perhaps it was a person pretending it's a bot pretending it's a person.
08:26:51 <Taneb> Goooooood morning
08:27:30 <zzo38> 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 <HackEgo> [wiki] [[SYCPOL]] M http://esolangs.org/w/index.php?diff=39966&oldid=39959 * GermanyBoy * (+0) /* Structures */ corrected name
08:45:06 <HackEgo> [wiki] [[SYCPOL]] http://esolangs.org/w/index.php?diff=39967&oldid=39966 * GermanyBoy * (+470) /* Indentation rules */
08:52:57 <HackEgo> [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 <HackEgo> [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 <HackEgo> [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 <HackEgo> [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 <HackEgo> [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 <fizzie> 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 <int-e> BIOS 1 : fizzie 0.
16:22:05 <int-e> 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 <mroman> I see that as "Machines 1 : Humans 0"
16:56:35 <mroman> zzo38: what two states?
17:08:44 <zzo38> mroman: Head and tails, of course.
17:09:21 -!- conehead has joined.
17:11:23 <myname> what is the downside of Data.Vector as opposed to Data.Array?
17:14:20 -!- Mathnerd626 has joined.
17:17:48 <elliott_> one dimensional only
17:17:59 <myname> well, fuck
17:18:20 <myname> i didn't get arrays yet
17:19:00 <elliott_> vector is nice
17:19:07 <elliott_> you can just nest them.
17:19:29 <elliott_> or do index arithmetic manually
17:20:02 <myname> so i do a fromList (map fromList foo) to turn [[a]] into a twodimensional vector?
17:20:32 <Bike> a vector of vectors, isn't it
17:20:34 <elliott_> sure, though index arithmetic might be nicer
17:20:38 <elliott_> since less indirection
17:20:54 <myname> does it really matter?
17:20:54 <elliott_> assuming that klist is square
17:20:57 <elliott_> *list
17:21:02 <elliott_> yes
17:21:07 <myname> it actually does not have to be
17:21:15 <elliott_> then nest vectors
17:21:21 <myname> i can force it, but i don't want to if i don't have to
17:21:27 <elliott_> but indirection is expensive, locality is nice, caching, etc.
17:21:36 <myname> ah, i see
17:21:53 <myname> well, even without that it should be way faster than [[a]]
17:22:03 <elliott_> what are you storing?
17:22:13 <myname> a rail programm
17:22:41 <myname> i.e. some plaintext
17:22:44 <elliott_> HashMap (Int,Int) is underrated, also
17:23:00 <myname> i think so
17:23:35 <Bike> rail has a lot of blank space, doesn't it? maybe a hash map would be better.
17:23:42 <Bike> or something based on the actual graph, maybe
17:24:05 <Bike> gotta lead the way towards esolang JITs
17:24:25 <myname> i want to access the cell at the current instruction pointer position
17:24:29 <elliott_> HashMap is nice because you can update it with less overhead
17:24:31 <myname> that's like the most used operation
17:24:39 <elliott_> less copying
17:24:47 <myname> rail programms won't be updated once created
17:25:55 <elliott_> then try vector and HashMap and see which you like more :)
17:26:08 <fizzie> 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 <elliott_> you probably want a boxed vector of unboxed vectors
17:26:23 <myname> i know maps
17:26:29 <elliott_> which might get a little confusing
17:26:37 <myname> is hashmap faster at accessing than map?
17:26:55 <elliott_> HashMap is faster at almost everything
17:27:20 <myname> are they reasonably cheap to update?
17:28:29 <elliott_> yeah
17:28:38 <myname> sounds perfect
17:28:43 <int-e> fizzie: lsusb can be used to find out
17:29:04 <int-e> fizzie: but as you describe it it sounds like a bug :)
17:29:37 <fizzie> 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 <fizzie> I second Bike's suggestion about "something based on the actual graph", since I guess Rail doesn't do self-modification?
17:30:56 <myname> that might be tricky for an dedicated rail editor
17:31:07 <elliott_> myname: you just said it won't be updated...
17:31:10 <myname> hashmap is pretty easy to adapt for that manner
17:31:18 <myname> elliott_: i am thinking ahead!
17:31:54 <fizzie> A thinking head thinks ahead.
17:32:24 <myname> is there any advantage of Map instead of HashMap?
17:32:34 <myname> like, why is there even a Map?
17:32:48 -!- shikhout has joined.
17:32:56 <elliott_> it goes by order not hash
17:33:06 <elliott_> so it can do more efficient queries based on key order
17:33:15 <elliott_> HashMap is mostly just newer though.
17:35:44 <myname> does HashMap has O(1) access?
17:35:54 -!- shikhin has quit (Ping timeout: 244 seconds).
17:37:15 <elliott_> no
17:37:23 <elliott_> it is log
17:37:26 <Bike> there's no reason you can't make a structure editor maaaaan
17:38:00 <myname> Bike: that may be true, but it makes things a lot harder
17:38:02 <elliott_> you don't need O(1) though probably
17:38:23 <elliott_> btw O(1) access and update are incompatible (for a persistent structure)
17:38:27 <Bike> you've already spent like half an hour wondering how to do text most efficiently. less thinking more making shit up
17:39:05 <myname> Bike: we profiled our code and the most time is spent looking up characters
17:39:14 <myname> i do think it's fair to work at this
17:39:22 <Bike> and that would completely disappear with a graph. bam.
17:39:32 -!- shikhout has changed nick to shikhin.
17:39:51 <myname> Bike: the code that looks up actually makes a graph out of the code
17:39:59 <myname> (the rail code)
17:40:57 <Bike> also why is this in haskell instead of self-hosting, you terrible person
17:41:23 <myname> that was not my choice
17:41:29 <myname> we had to do haskell or c++
17:41:42 <myname> so i obviously chose haskell!
17:42:06 <myname> s/choice/decission/
17:53:34 <myname> 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 <elliott_> the size function?
17:55:13 <elliott_> it is O(1) Ivthink.
17:55:18 <myname> perfect!
17:56:59 <myname> 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 <myname> extracting something from the first line gets trickier, though
18:13:10 -!- Sgeo_ has quit (Read error: Connection reset by peer).
18:13:21 <zzo38> Now I have a Redmine program for AmigaMML.
18:13:40 <myname> zzo38: i am not even surprised anymore
18:17:18 <elliott_> myname: a nested hashmap works too
18:18:56 <myname> 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 <myname> okay, i will change to nested hashmaps
18:31:18 <elliott_> IntMap is also a thing but I think HashMap is faster.
18:31:44 <elliott_> though IntMap can do some specialised optiona faster, like Map
18:31:51 <elliott_> *operations
18:44:41 <myname> strange thing there is no [a] -> IntMap a
18:45:11 -!- Mathnerd626 has quit (Read error: Connection reset by peer).
18:46:42 <elliott_> fromList . zip [0..]
18:46:54 <myname> ah
18:46:56 -!- MindlessDrone has quit (Quit: MindlessDrone).
18:47:00 <myname> should've thought of that
18:47:09 <myname> i barely use zip
18:48:18 <elliott_> but you should probably use HashMap
18:48:25 <myname> why?
18:48:40 <elliott_> it's faster than IntMap on the usual operations, unless that changed
18:48:57 <myname> that's strange
18:49:16 <elliott_> HashMap should he yiur default map structure unkess you know why you'd need something else.
18:49:22 <elliott_> also I can't type.
19:00:46 -!- vifino has joined.
19:03:13 -!- nooodl_ has changed nick to nooodl.
19:17:55 <zzo38> 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 <TieSoul> hey guys
19:27:57 <TieSoul> I made a Befunge-98 interpreter :D
19:28:00 <TieSoul> https://github.com/TieSoul/befunge/blob/master/befunge-exec.py
19:28:10 <myname> who doesn't
19:28:10 <TieSoul> Beware: Bad code.
19:29:22 <myname> i assume toList from HashMap Int Char gives no guarantee whatsoever of ordering
19:29:32 <TieSoul> and I forgot to change a few things when refactoring
19:29:47 <TieSoul> HashMap?
19:30:06 <TieSoul> oh wait you're talking about them above here?
19:30:08 <TieSoul> :P
19:30:14 <myname> 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 <HackEgo> [wiki] [[BytePusher II]] http://esolangs.org/w/index.php?diff=39973&oldid=39965 * Javamannen * (-1711) Reboot & rethink.
20:59:37 <Sgeo> 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 <Sgeo> Therefore, I make no sens
21:12:24 <Sgeo> 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 <HackEgo> [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 <myname> :O
21:48:31 <myname> Deprecated: "HashMap is deprecated. Please use Map instead."
21:48:49 <myname> i am confused
21:50:39 <fizzie> Perhaps you're looking at the "hashmap" package instead of the "unordered-containers" one?
21:50:53 <myname> i thought i used that?
21:51:30 <oerjan> myname: look at which package was loaded by ghci
21:51:57 <HackEgo> [wiki] [[Joke language list]] M http://esolangs.org/w/index.php?diff=39975&oldid=39701 * Javamannen * (+45) NDef++
21:51:59 <myname> Data.HashMap
21:52:09 <oerjan> that's a module, not a package
21:52:34 <oerjan> and there is no such module in unordered-containers
21:52:39 <myname> fuck it, i'll use maps
21:52:41 -!- not^v has quit (Quit: Leaving).
21:52:52 <oerjan> use Data.HashMap.Lazy or Data.HashMap.Strict
21:52:57 -!- not^v has joined.
21:53:32 <myname> those aren't deprecated when Data.HashMap is?
21:53:42 <oerjan> no, those are from unordered-containers
21:53:53 <oerjan> module names are not necessarily globally unique
21:54:27 <oerjan> (unordered-containers comes with the haskell platform, so is very much not deprecated)
21:54:31 <myname> i will discuss that with people from the project
21:55:36 <oerjan> Data.Map will of course also work for just about everything
21:56:19 <myname> as far as i know, we are faster than the c++ team
21:56:44 <oerjan> https://hackage.haskell.org/package/unordered-containers-0.2.4.0
21:57:01 <fizzie> 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 <oerjan> oh is it the icfp contest?
21:57:15 <fizzie> (Though the whole package is marked as deprecated in favour of unordered-containers.)
21:57:28 <oerjan> fizzie: heh
21:58:02 <fizzie> Er, I mean, the Map type in Data.HashMap, of course.
21:58:17 <fizzie> In any case, not the Data.Map Map.
21:58:52 <oerjan> actually the haskell platform version is still on 0.2.3.0
21:59:41 <oerjan> 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 <oerjan> oh not the icfp contest
22:01:08 <oerjan> myname: is this some other contest or if not why are there teams
22:01:33 <myname> oerjan: it's a software project module of our university
22:01:41 <oerjan> 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 <myname> 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 <oerjan> reuse
22:55:22 <oerjan> 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 <oerjan> it's not the kind of type that it makes sense to unbox
22:58:08 <oerjan> 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 <Taneb> `ping
23:10:45 <HackEgo> pong
23:10:51 <Taneb> `ls bin
23:10:51 <HackEgo> ​` \ ^.^ \ ̊ \ ? \ ¿ \ @ \ ؟ \ WELCOME \ \ \ 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 <Taneb> `8-ball
23:11:07 <HackEgo> Outlook good.
23:11:11 <Taneb> Sweet.
23:11:16 <Taneb> `allquotes
23:11:17 <HackEgo> 1) <Slereah> EgoBot just opened a chat session with me to say "bork bork bork" \ 2) <Quas_NaArt> Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... <Quas_NaArt> More practice is in order. \ 3) <AnMaster> that's where I got it <AnMaster> rocket launch facility gift shop \ 4) <Warrigal> GKennethR: he
23:11:20 <Bike> `8ball
23:11:21 <HackEgo> Yes.
23:12:34 <Taneb> `echo bin/oerjan # wat
23:12:35 <HackEgo> bin/oerjan # wat
23:12:40 <Taneb> `cat bin/oerjan # wat
23:12:41 <HackEgo> cat: bin/oerjan # wat: No such file or directory
23:12:45 <Taneb> `cat bin/oerjan
23:12:45 <HackEgo> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
23:12:53 <Taneb> `run echo < bin/oerjan # wat
23:12:54 <HackEgo> No output.
23:12:56 <Taneb> :(
23:13:23 <Taneb> `run xargs echo < bin/oerjan # wat
23:13:24 <HackEgo> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
23:13:27 <Taneb> I learnt something today
23:14:28 -!- nooodl_ has joined.
23:14:55 <oerjan> fancy
23:15:09 <oerjan> 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.
←2014-06-28 2014-06-29 2014-06-30→ ↑2014 ↑all