00:07:04 ok let's say that's enough then 00:12:37 `run echo hi | TEST="" cat "$TEST" 00:12:38 cat: : No such file or directory 00:12:45 hm 00:13:09 is there a way to make no argument when the string is empty? 00:14:40 `run echo hi | TEST="hi ho" cat "$TEST" 00:14:40 cat: : No such file or directory 00:14:54 oh that's not working 00:15:27 `run echo hi | TEST="hi ho" echo "$TEST" 00:15:28 No output. 00:15:40 `` echo hi | TEST="hi ho" echo "$TEST" 00:15:41 No output. 00:15:53 why did it think that was the syntax 00:17:08 `run echo "test" >"hi ho" 00:17:09 No output. 00:17:15 `paste hi ho 00:17:15 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/hi%20ho 00:17:35 `rm hi ho 00:17:36 No output. 00:21:47 oh i can just use - as default 00:23:49 `run cat -- test 00:23:49 hi 00:24:05 `which cat 00:24:05 /bin/cat 00:24:06 -!- impomatic has quit (Ping timeout: 276 seconds). 00:24:16 `echo hi | run cat -- - 00:24:16 hi | run cat -- - 00:24:21 `run echo hi | run cat -- - 00:24:21 bash: run: command not found 00:24:30 `run echo hi | cat -- - 00:24:31 hi 00:24:45 maybe brain isn't entirely working. 00:25:33 `` function f { echo /$1/ /$TEST/; }; TEST=23; TEST=42 f $TEST 00:25:34 /23/ /42/ 00:26:55 -!- ^v has quit (Read error: Connection reset by peer). 00:27:23 -!- ^v has joined. 00:37:35 "One rapper likes big butts and cannot lie. One rapper likes small butts and always lies. One rapper likes all butts but shares your inability to assess butt size, and will answer yes or no at random if asked whether a butt is big or small." 00:37:40 http://ethicalwerewolf.blogspot.com/2011/02/puzzle-about-your-butt.html 00:39:08 i got there from http://lesswrong.com/lw/acy/acausal_romance/ which I got by googling "acausal sex" which I'm going to blame lexande for 00:41:38 -!- conehead has joined. 00:43:16 why would you read lesswrong! 00:44:35 `fetch http://oerjan.nvg.org/paste 00:44:38 2014-04-20 00:44:36 URL:http://oerjan.nvg.org/paste [246/246] -> "paste.1" [1] 00:44:53 oh right 00:45:01 `run chmod +x paste.1 00:45:02 No output. 00:45:11 `./paste.1 test 00:45:12 /hackenv/paste.1: line 4: syntax error near unexpected token `else' \ /hackenv/paste.1: line 4: `else' 00:45:28 hmph 00:45:42 `fetch http://oerjan.nvg.org/paste 00:45:43 2014-04-20 00:45:41 URL:http://oerjan.nvg.org/paste [255/255] -> "paste.2" [1] 00:45:56 `run chmod +x paste.2 00:45:57 No output. 00:45:59 `./paste.1 test 00:46:00 /hackenv/paste.1: line 4: syntax error near unexpected token `else' \ /hackenv/paste.1: line 4: `else' 00:46:07 `./paste.2 test 00:46:08 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/test 00:46:25 `./paste.2 /hackenv/url 00:46:26 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/url 00:46:48 `run echo test | ./paste.2 00:46:50 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.29682 00:48:02 `paste /home/hackbot/hackbot.hg/multibot_cmds/lib/sandbox 00:48:02 File is outside hg repository. 00:48:07 darn 00:48:23 oh wait XD 00:48:35 `./paste.2 /home/hackbot/hackbot.hg/multibot_cmds/lib/sandbox 00:48:37 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.20962 00:48:57 yay! 00:49:11 `run mv paste.2 bin/paste; rm paste.1 00:49:13 No output. 00:49:45 mission accomplished. 00:50:49 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 00:52:59 fizzie: so now `paste will fallback to the piping method for files outside /hackenv 00:54:08 `pwd 00:54:09 /hackenv 00:56:09 int-e: originally it always used the piping method, but then i realized a long time ago it was stupid to copy files which were already in the repository. 00:56:54 but i didn't bother to treat the special case of a file name which was _outside_ it. 00:57:27 -!- conehead has quit (Quit: Computer has gone to sleep). 01:12:21 [wiki] [[Deadfish]] http://esolangs.org/w/index.php?diff=39380&oldid=39378 * 72.28.222.28 * (+80) Added makey-makey interpeter 01:18:08 http://www.synacktiv.com/ressources/TCP32764_backdoor_again.pdf security 01:20:19 -!- Gregor has quit (Quit: Coyote finally caught me). 01:21:08 -!- Gregor has joined. 01:23:28 birdman kicked my ass 01:24:58 `coins 01:24:59 beltercincoin nhofondcoin hunterconveyorcoin brevcoin korzacoin beatcoin 59074250346.9987377coin nufcoin grincoin bulicoin 0x2903coin exancoin pavitcoin octycoin convcoin villcoin musgescacoin franocoin itformcoin afficcoin 01:26:59 we're going to have our own Québecoin → http://journalmetro.com/actualites/national/481461/le-quebec-aura-sa-monnaie-nationale-virtuelle/ 01:29:05 how would you deliever 59074250346.9987377 coins? 01:35:12 one at a time 01:54:04 Ah, the Day of the Tentacle way. 01:55:23 -!- DarthMater has joined. 01:56:11 this is one of the few situations where fake barf *isn't* useful 01:56:25 -!- DarthMater has quit (Client Quit). 01:59:41 oh! 1956! 02:08:43 -!- shikhout has joined. 02:11:35 -!- shikhin has quit (Ping timeout: 252 seconds). 02:11:37 -!- shikhout has changed nick to shikhin. 02:24:39 -!- boily has quit (Quit: SHEEPY CHICKEN). 02:35:18 :t sequence 02:35:21 Monad m => [m a] -> m [a] 02:35:27 :t map . flip ($) 02:35:28 a -> [a -> b] -> [b] 02:35:39 :t flip sequence 02:35:40 b -> [b -> a] -> [a] 02:37:17 -!- nooodl has quit (Remote host closed the connection). 02:38:00 :t let (.:) = (.).(.) in (.: sequence) 02:38:03 ([a1] -> c) -> [a -> a1] -> a -> c 02:39:54 :t flip 02:39:57 (a -> b -> c) -> b -> a -> c 02:40:07 well i'm confused. 02:40:31 what is confusing you. 02:40:52 how flip sequence exists 02:41:10 by the power of the (->) a Monad instance. 02:41:24 ohhhhh. that's kinda nasty 02:41:48 yeah but it's the simplest way to apply all of a list of functions to a value. 02:42:18 :t (??) 02:42:21 Functor f => f (a -> b) -> a -> f b 02:42:37 unless you use that one from lens. 02:42:54 nah 02:43:48 i am hoping they will add ?? to Data.Functor. 02:44:31 and & to Data.Function 02:44:50 hm perhaps i should check if they have 02:45:02 it was decided against a while ago 02:45:07 maybe that changed though 02:45:27 oh. 02:45:53 both of them? :( 02:46:45 i think ?? should belong in the Functor/Applicative hierarchy, it's just a missing variant of <$> <*> 02:47:06 although it's of course badly named for that 02:47:38 surely it is badly named in general 02:48:03 yeah 02:48:31 but alas the naming scheme for functor and applicative operators doesn't imply any obvious spot to put it. 02:49:13 because all of <* *> <$ $> have been taken for something else 02:49:50 ideally you'd have made <$> something assymetric that you could have mirrored 02:52:53 :t (~%) 02:52:55 Not in scope: ‘~%’ 02:52:55 Perhaps you meant one of these: 02:52:55 ‘%’ (imported from Data.Ratio), ‘%~’ (imported from Control.Lens) 02:53:04 :t (%~) 02:53:05 Profunctor p => Setting p s t a b -> p a b -> s -> t 02:53:05 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 02:53:29 :t (%=) 02:53:30 (MonadState s m, Profunctor p) => Setting p s s a b -> p a b -> m () 02:53:40 :t (=~) 02:53:41 Not in scope: ‘=~’ 02:53:41 Perhaps you meant one of these: 02:53:41 ‘==’ (imported from Data.Eq), ‘#~’ (imported from Control.Lens), 02:53:46 argh 02:53:47 oh 02:53:48 -!- ^v has joined. 02:53:51 :t (.~) 02:53:52 ASetter s t a b -> b -> s -> t 02:53:53 oerjan: <€> 02:54:27 kmc: ah how obivous 02:54:33 hth 02:57:33 -!- Sorella has quit (Quit: It is tiem!). 03:01:22 oerjan: ski wishes (<$>) was (<$), I think 03:07:13 -!- doesthiswork has joined. 03:12:34 elliott: that's still not a logical way to take care of the whole set. 03:13:05 I remember now, he wanted (<*>) = (<$>) 03:13:14 so fmap would be (<$) and I don't think he cares about (<*)/(*>) 03:13:24 he thought (<*>) should be liftA2 (*) I think :P 03:13:35 (since (<$>) would be liftA2 ($)) 03:13:55 i think in that case it would actually be more logica to let fmap be $> if current (<*>) were <$> 03:14:02 *+l 03:14:23 because leaving out a < or > would then mean the argument on that side is pure 03:14:57 and then ?? would be <$ 03:15:11 er, right. 03:15:36 (<$>) for ap would make applicative style code even uglier than it is now though. 03:16:31 in order to fit current <$ $> <* *> into that system it would be necessary to have operators for const and flip const to put inside 03:17:33 -!- adu has joined. 03:19:39 hm 03:21:28 |*| for <*>, *| for <$>, |>| for *> (and >>), |<| for <*, |> for $> and <| for <$ 03:21:38 and |* for ?? 03:22:20 Why was & decided against? 03:22:54 way too squiggly 03:23:19 if a recent discussion someone said that they've decided against including trivially writeable operators 03:23:34 trivial, the greatest term 03:23:34 or trivial operators which people can write themselves 03:23:43 *in 03:24:09 :/ standardization is a good thing 03:24:30 Also, what of trivially writable functions? 03:24:44 what's the diff 03:25:21 operators = infix by default, non-operators = prefix by default 03:26:06 But they obviously haven't decided that id should be removed 03:27:52 it's not about removing stuff, it's about not adding more 03:28:29 because there are too _many_ things that can be added. 03:31:17 oerjan: you might as well just add idiom brackets, when getting that radical 03:32:54 OKAY 03:36:21 -!- adu has quit (Quit: adu). 03:40:11 How about idiom brackets with tagging 'impure' instead of 'pure' values (yeah yeah, bad nominclature) 04:02:17 no, nominclature is bad nomenclature hth 04:14:06 quilt more trance 04:16:18 -!- doesthiswork has quit (Ping timeout: 240 seconds). 05:09:03 -!- tromp has quit (Read error: Connection reset by peer). 05:23:00 -!- shikhin has quit (Ping timeout: 252 seconds). 05:30:18 -!- copumpkin has quit (Ping timeout: 240 seconds). 05:35:28 -!- copumpkin has joined. 05:37:27 -!- oerjan has quit (Quit: leaving). 06:00:11 http://www.icanbarelydraw.com/comic/2702 06:02:00 Hmm, I seem to have stumbled upon some arc looking at modern day money as though it was new and bitcoin was standard 06:02:05 comic not funny. furthermore, they can't draw at all. i demand a refund. 06:17:50 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png). 06:25:00 -!- impomatic has joined. 07:12:52 -!- conehead has joined. 07:40:10 -!- variable has changed nick to function. 07:49:29 Taneb: have you heard of the Taneb-calculus 07:50:33 But Taneb isn't a greek letter! 07:50:58 shachaf never said Taneb was a greek letter 07:57:04 -!- AnotherTest has joined. 08:04:30 -!- tromp has joined. 08:06:06 @tell oerjan If we're going to be that fancy, I fixed `url to use os.path.abspath so that e.g. `url /bin/../hackenv/test works. 08:06:06 Consider it noted. 08:11:22 -!- xpte has quit (Quit: Connection closed for inactivity). 08:13:03 -!- MindlessDrone has joined. 08:17:52 -!- conehead has quit (Quit: Computer has gone to sleep). 08:23:36 `seen Phantom_Hoover 08:23:36 ls: cannot access /var/irclogs/_esoteric/????-??-??.txt: No such file or directory \ not lately; try `seen Phantom_Hoover ever 08:23:48 nogs :'( 08:47:02 -!- ais523 has joined. 08:47:35 :t \m -> \n -> (\f -> f(m)(f(n)(\z -> z)))(\x -> (\y -> y)) 08:47:36 t -> t -> t1 -> t1 08:47:38 ) :t \m -> \n -> (\f -> f(m)(f(n)(\z -> z)))(\x -> (\y -> y)) 08:47:38 ais523: |syntax error 08:47:39 ais523: | :t\m->\n->(\f->f(m)(f(n)(\z->z)))(\x->( \y->y)) 08:47:42 err 08:47:44 ( :t \m -> \n -> (\f -> f(m)(f(n)(\z -> z)))(\x -> (\y -> y)) 08:47:48 (input):1:1: error: expected: end of input, 08:47:48 operator 08:47:48 :t \m -> \n -> (\f -> f(m)(f(n)(\z -> z)))(\x -> (\y -> y)) 08:47:48 ^ 08:47:49 parse error (possibly incorrect indentation or mismatched brackets) 08:48:00 ( \m -> \n -> (\f -> f(m)(f(n)(\z -> z)))(\x -> (\y -> y)) 08:48:00 (input):1:4: error: expected: ",", 08:48:00 ":", "=>" 08:48:00 \m -> \n -> (\f -> f(m)(f(n)(\z -> z)))(\x -> (\y -> y)) 08:48:00 ^ 08:48:08 how do I do a lambda in Idris? 08:48:18 ( \m => \n => (\f => f(m)(f(n)(\z => z)))(\x => (\y => y)) 08:48:19 (input):1:40:When elaborating an application of constructor __infer: 08:48:19 No such variable argTy 08:48:23 hmm 08:48:32 I think that's correct syntax, but perhps a buggy interp 08:48:51 either that or it's trying to evaluate a higher-order function without arguments available 08:51:51 btw, any Haskellites around here, is it possible to get Haskell to infer the correct type for that term (t -> t1 -> t2 -> t2)? 08:53:58 Is that the correct type? 08:55:02 Oh, I see, you want a rank-2 type for the \f lambda. 08:55:10 No, not really. 08:59:13 Your Haskell code is very unidiomatic. 08:59:32 You can annotate the type explicitly to get the type you want. 08:59:56 :t \m n -> ((\(f :: forall a x. a -> x -> x) -> f m (f n id))) (\x -> id) 08:59:57 a -> a1 -> a2 -> a2 09:00:02 Something like that. 09:02:05 shachaf: it's not Haskell code, it's typed lambda calculus 09:02:27 I'm glad that it's possible to make it work the way I wanted, though 09:02:33 I think f(x) application is unidiomatic there too. 09:02:43 (I just meant syntactically.) 09:03:03 I know, but Haskell allows the parens there and I wanted to make sure I got the term right 09:03:13 because it's busy defeating something like three years of research 09:03:28 What's the research? 09:04:50 type systems that describe programs, rather than limit them 09:12:28 Hmm, building idris uses quite a bit of RAM. 09:13:08 In fact, this is ridiculous. 09:52:19 -!- Tritonio has joined. 10:29:00 -!- Tritonio1 has joined. 10:31:37 -!- Tritonio has quit (Ping timeout: 252 seconds). 10:32:42 -!- AnotherTest has quit (Ping timeout: 240 seconds). 10:39:02 -!- nooodl has joined. 10:43:44 Help I am suddenly really self conscious about my arms 10:45:04 Taneb: that happened to me a while back, it went away after a few months 10:45:15 ais523, my arms are really tiny 10:45:19 oh 10:45:25 I just kept noticing that they existed 10:45:26 Long but tiny 10:45:32 and got in the way while I was trying to lie in bed 10:45:40 however, I need them much of the time 10:45:44 Doesn't everyone feel that? 10:45:49 so I thought it might be nice if they were retractable 10:48:29 That would be nice 10:53:30 Taneb: I don't know. Limbs are just there when one needs them. 10:54:36 int-e, this ain't no MS Paint Adventure 10:54:47 what? retractable limbs? 10:55:11 I'm not usually conscious of them otherwise. 10:55:24 So in a very real sense, yes. 10:55:29 Oh yeah, I need to write up that esolang I made last night 10:55:51 oh no... 10:55:52 ... "real" is such a nice word ... 10:56:33 (Does it refer to reality or realization? People assume the former when often it's the latter.) 10:57:05 int-e, it of course always refers to Madrid's football team 10:57:44 Obviously. 10:58:14 (That team is another example of something that I'm not usually conscious about.) 11:06:25 if you're not conscious on hardware attached to you, work on reading system logs 11:07:34 b_jonas: I read them recently to try to fix a network issue 11:07:44 noticed a warning message, and then got Rosegarden working properly 11:09:09 (the problem was that Pulseaudio was trying to create a dotfile in Timidity's root-owned home directory; I gave it a Timidity-owned .config to put it in) 11:12:41 kmc: stupid underspecified logic puzzles. what do the liar or the truth-teller do if they cannot answer a question according to their truth attitude? E.g. what does the liar answer to "Is your answer to this question 'yes'?"? 11:13:35 int-e: http://www.xkcd.com/246/ 11:14:14 is "would you say that this is the exit" considered to be a tricky question? 11:14:41 (subtle, yes, but common enough in english) 11:15:11 nice xkcd anyway 11:20:01 int-e: yeah, that's my favourite answer to the "solve the liar/truthteller puzzle without it sounding like a tricky question" 11:20:03 Oh. Three exits and I guess you only get one question, and then self-referentiality becomes unavoidable. 11:20:21 or the more explicit, and still idiomatic, "if I asked you if this door leads to the exit, what would you say?" 11:21:18 (self-referentiality being a reference to the question actually being asked, rather than a simpler, hypothetical question) 11:22:04 now I'm wondering if the three-door version is possible if you talk to a liar; it's clearly impossible with a true or false question, unless one of the options is to prevent them answering at all 11:23:05 ais523: which brings me back to my complaint about underspecified logic puzzles. 11:23:28 ais523: Obviously with just two answers, you cannot distinguish more than two possibilities. 11:23:33 yes 11:23:50 well, unless you circumvent the "two answers" requirement 11:24:01 (the complaint is about this one: http://ethicalwerewolf.blogspot.co.at/2011/02/puzzle-about-your-butt.html ) 11:25:52 Which is a bit subtler, but it's easy to say that again, with just two answers, "yes" and "no", you cannot draw any conclusions in some cases, namely when the "random" rapper happens to give the opposite answer of the truthteller or liar. 11:26:14 I meant "easy to see" 11:27:42 int-e: what? why? 11:27:48 you can ask different questions from them 11:28:26 "they are willing to collectively entertain exactly one yes-or-no question from you, to which they will each give an answer." 11:29:28 b_jonas: but it wouldn't help, since the question you ask the random rapper does not affect her answer. 11:29:34 int-e: but can't that one question depend on who answers, like if you'd ask "do you like my butt?" 11:29:53 can't you just ask something like "do you like my butt but not all butts?" 11:29:57 int-e: It's not random answers in general, it's just random if a particular butt is big or small. 11:30:06 -!- yorick has joined. 11:30:15 or "is it true that you don't like all butts but my butt is small?" 11:30:45 b_jonas: ah but does he lie or not? it doesn't say, so we can't know 11:31:11 I assumed the third rapper didn't lie, but it's indeed not specified. 11:31:38 ah, I see 11:31:43 anyway, you are right, it could be limited to preferences about butts. strange. 11:31:48 complicated 11:32:00 * int-e adds that to the list of unspecified details. 11:32:22 int-e: that one is specified, it says "All the rappers know all other facts relevant to the situation, including everyone's identity and butt preferences." 11:32:56 . o O ( you may know, but you can't tell ) 11:33:08 (NB. the comments give a solution) 11:33:26 int-e: but it says "they are willing to collectively entertain exactly one yes-or-no question from you, to which they will each give an answer" 11:33:31 so they will tell 11:34:25 "no". 11:34:29 at least the two simpler ones will tell 11:38:59 Yes, that does look like the intended answer. 11:48:47 -!- shikhin has joined. 12:12:36 -!- Tritonio1 has quit (Ping timeout: 276 seconds). 12:14:52 -!- Tritonio has joined. 12:28:03 -!- Tritonio has quit (Ping timeout: 240 seconds). 12:29:52 -!- Tritonio has joined. 12:49:32 -!- MoALTz__ has joined. 12:52:03 -!- MoALTz_ has quit (Ping timeout: 240 seconds). 13:03:32 -!- ^v has joined. 13:07:14 -!- ^v has quit (Read error: Connection reset by peer). 13:07:39 -!- ^v has joined. 13:08:30 -!- nucular has joined. 13:08:30 -!- nucular has quit (Changing host). 13:08:31 -!- nucular has joined. 13:29:04 -!- ^v has quit (Read error: Connection reset by peer). 13:29:13 -!- ^v has joined. 13:33:47 -!- Sorella has joined. 14:09:01 -!- shikhout has joined. 14:12:06 -!- shikhin has quit (Ping timeout: 252 seconds). 14:12:07 -!- shikhout has changed nick to shikhin. 14:19:33 -!- edwardk has joined. 14:20:14 kmc: are you going to bayhac this year? 14:40:03 -!- Patashu_ has joined. 14:40:03 -!- Patashu has quit (Disconnected by services). 14:56:41 -!- tromp__ has joined. 15:00:18 -!- tromp has quit (Ping timeout: 276 seconds). 15:03:29 "I love C++ [...] because it is intuitive and very high-level." 15:05:09 -!- Patashu_ has quit (Ping timeout: 252 seconds). 15:05:44 does the omission change the meaning of the sentence? 15:05:58 no 15:07:31 fwiw, the omission was "not because it is fast, but" 15:17:39 I don't agree with his definition of "very high-level" 15:17:56 or her definition 15:29:26 -!- ^v has quit (Ping timeout: 252 seconds). 15:31:06 I think the sentence was quoted on the basis that olsner expected pretty much everyone to disagree with it 15:32:56 -!- edwardk has quit (Quit: Computer has gone to sleep.). 15:37:48 -!- function has changed nick to trout. 15:41:29 -!- MoALTz_ has joined. 15:42:00 -!- ^v has joined. 15:44:23 -!- MoALTz__ has quit (Ping timeout: 252 seconds). 15:50:21 -!- yorick has quit (Remote host closed the connection). 15:53:45 ais523: indeed 15:54:54 -!- edwardk has joined. 15:58:59 -!- boily has joined. 16:13:37 I love C++ (not because it is fast, as it is not, but) because it is intuitive and very high-level (compared to motorola 68k assembly) 16:13:46 Is that agreement 16:14:51 -!- nortti has changed nick to lawspeaker. 16:14:59 -!- lawspeaker has changed nick to nortti. 16:17:14 I love C++ because it can be very high level or very low level depending on how you're using it 16:20:13 Heh. Lost Vikings is tough. 16:21:27 int-e: read a walkthrough to know all the clevery hidden secret passages 16:21:40 Lost Vikings is one of the few games I've beat completely. twice. 16:21:52 (I'm back on the spaceship, which should be the final set of levels.) 16:22:43 I like the Lost Vikings because it has a nice difficulty curve: the levels get progressively more and more difficult 16:23:13 the last level (MSTR) is the most difficult, the one before (4RN4) is the second most difficult, 16:23:30 -!- boily has quit (Quit: SLEEP). 16:23:30 and even before then the levels get more and more difficult than they were 16:23:37 with some outliers. that triple jump on sinking platforms in the circus levels was really tough. 16:23:55 compared to the other stuff in those levels. at least for me :) 16:25:11 Collected all those wiki link graph statistics at http://zem.fi/2014-04-20-wikigraph plus added a quick and dirty shortest-path finder. 16:25:58 int-e: it's nice that there are such hidden passages that I didn't notice when first beating the game 16:26:05 but found out about them from reading a faq later 16:26:53 (the triple jump is in the TRDR level) 16:27:18 I don't remember all the levels by heart, sorry 16:27:30 some of it comes back when I play, but it's just too much to keep in my head 16:28:35 That's why I mentioned the code. So that, if you feel like it, you can check which level I meant. 16:29:01 yep 16:33:11 I might do that. I do have a working copy of vikings in dosbox set up afterall. (It doesn't run it bochs, it's too new a game for that.) 16:33:55 -!- xpte has joined. 16:36:26 -!- nucular has changed nick to nuculaway. 16:39:33 The shortest path search is p. boring because most paths are so short. :/ 16:40:06 longest path search is NP-complete though. much more interesting. 17:15:47 -!- shikhin has quit (Ping timeout: 252 seconds). 17:23:51 -!- nuculaway has changed nick to nucular. 17:40:59 -!- adu has joined. 17:43:32 Bah, should've scrubbed (considered as aliases) those redirect pages, perhaps. The path from "Befunge" to "BrainFuck" is Befunge -> Brainfuck -> BrainDuino -> BrainFuck. 17:48:41 -!- adu has quit (Quit: adu). 17:53:15 -!- contrapumpkin has joined. 17:56:27 -!- copumpkin has quit (Ping timeout: 240 seconds). 18:01:16 ah, you're playing that wiki maze game? 18:06:12 Not really, I'm just fiddling with some esolangs.org link statistics. 18:10:43 -!- Koen_ has joined. 18:16:12 -!- MindlessDrone has quit (Ping timeout: 245 seconds). 18:30:57 -!- MindlessDrone has joined. 18:39:59 -!- Phantom_Hoover has joined. 18:45:12 i love C++ because it's a hot mess 18:48:04 fizzie: did you do any pagerank-type analysis 18:48:16 is the markov chain stationary distribution the same thing? 18:48:23 kmc: It's p. close, like the text says. 18:48:30 oh, i missed that 18:49:34 also, I really like d3.js's force-directed graph visualization http://bl.ocks.org/mbostock/4062045 https://github.com/mbostock/d3/wiki/Force-Layout 18:49:41 PageRank adds the damping factor thing, which you can interpret as a (page-independent) probability for stopping the random browsing, and the relevance then is the probability for stopping at a particular page. 18:50:02 I did a couple force-directed layouts with Gephi on the graph, but they weren't especially interesting. 18:50:10 If d3.js can do it, maybe I should add that too. 18:50:11 cool 18:50:15 how did i not know about gephi 18:50:46 "Ergonomic interface: based on NetBeans UI" c.c 18:50:46 c.c.c 18:50:46 c.c 18:51:02 wat 18:51:09 <3 18:51:50 Also "Linux: 1. Update your distribution with the last official JRE packages (update 25+), don’t use OpenJDK." 18:52:00 I just used OpenJDK; such a rebel. 18:52:27 I've used d3.js for some of the irc log graph stuff, it's neato. (No GraphViz pun intended.) 18:53:35 The Les Misérables graph is like the Utah teapot or the Stanford bunny, I see. 18:55:04 oh, i didn't know that 18:55:28 At least it's used in all the Gephi tutorials too. 19:11:45 -!- conehead has joined. 19:19:40 kmc: Well, I, uh... http://zem.fi/attach/2014-04-20-wikigraph/graph.html 19:20:15 There's supposed to be a thing that keeps it centered in the visible region, but it sure isn't working very well for me. 19:21:26 fizzie what have you done 19:21:33 your datamancy has gone too far 19:23:13 AAAAAH IT'S COMING RIGHT AT ME 19:24:26 http://everything2.com/title/Quantum+Fingers 19:25:22 It looks reasonably similar to my Gephi layouts, except those had some empty space around very central nodes automatically. 19:29:45 It is kind of scary if you manage to find a central node like Category:Implemented (they have tooltips that pop up; also I made the window bigger and increased gravity a bit) and then try dragging it. 19:30:16 Like a pulsating medusa kind of thing. 19:37:34 Added colors according to namespace, maybe it looks more friendly now. 19:50:08 -!- yorick has joined. 19:57:32 -!- nisstyre has joined. 19:58:09 Also added the fanciest (and slowest) on-hover highlighting this side of [geographical feature]. 19:59:09 I'd add text labels that are dynamically toggled visible/hidden on the same hover action except my poor processor would implode. 20:06:22 -!- conehead has quit (Quit: Computer has gone to sleep). 20:13:47 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 20:15:10 oh that's pretty neat 20:16:06 one time i made a d3.js graph and then turned it into a "find the planar embedding" game 20:18:05 I wrote some JS code to detect edges that cross and add a CSS class to them 20:18:29 and by "wrote" I mean copied C code from Stack Overflow and turned it into JS 20:19:00 -!- boily has joined. 20:19:42 -!- Phantom_Hoover has joined. 20:21:25 hi ph 20:21:40 kmc 20:21:42 is it really you 20:21:45 it has been so long 20:21:54 kmc: Isn’t that how all programming is done? 20:21:58 yes 20:22:02 stack overflow oriented programming 20:22:15 Oh yeah, I never wrote up my esolang 20:22:44 why would you read lesswrong! <--- where else am i going to read about acausal sex?? 20:23:42 Maybe I could call it... CONCURRENTREE 20:23:42 i don't know, read a book upside down or something! 20:24:16 acausal? 20:24:28 Taneb: Tanelle. designing a new esolang? 20:24:36 boily, it's more or less defined 20:24:43 I need to touch it up a bit 20:24:50 And it's annoyingly not turing-complete 20:24:55 I think it's linear-bounded 20:25:02 boily: http://wiki.lesswrong.com/wiki/Acausal_trade 20:26:09 jesus 20:26:21 jesus loves you acausally 20:26:28 not provably 20:26:30 oooooow. 20:26:47 (that was the conclusion of one of the comments on http://lesswrong.com/lw/acy/acausal_romance/ ) 20:27:43 I think I'll stick to straightforward, illogical sex, thank you very much. 20:28:41 boily, illogical sex is the only sex I'll ever see 20:29:46 I'd like to take back that message, it was funnier in my head 20:31:00 * boily gently mapoles back illogical sex into Taneb's head 20:38:26 I also want to prepare a half-hour intro to category theory talk at some point 20:43:03 fizzie: why does google say "This site may be hacked" in re gephi.org? 20:45:00 kmc: There was a tweet about that. 20:45:16 kmc: https://twitter.com/Gephi/status/449088492266852352 "@mattwigway we've been hacked with some spammy links added in the code of the webpages. We'll fix it soon :)" 20:45:29 kmc: A rather relaxed approach to security, there. 20:46:14 heh 20:46:26 Starting to think there's one advantage to closed-source software: If you need to distribute a fix, you can do so without as much worrying about what happens to the people who apply the fix slighly later 20:46:26 The site runs on Wordpress, so... 20:46:52 Sgeo: on the other hand, you think this is okay http://www.synacktiv.com/ressources/TCP32764_backdoor_again.pdf 20:46:53