00:39:22 -!- Phantom__Hoover has joined. 00:42:35 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 00:45:41 -!- Phantom__Hoover has quit (Ping timeout: 244 seconds). 00:46:56 -!- Phantom__Hoover has joined. 00:58:18 fungot: hi! 00:58:18 boily: it suddenly occurred to me 00:58:24 fungot: likewise. 00:58:24 boily: interesting, but sounds hard to do 00:58:37 fungot: it's quite easy, if you practice enough. 00:58:37 boily: why does he want to do. i.e. you can't do a length and then a srfi 7* program would be faster, but it 00:58:45 fungot: but it what? 00:58:45 boily: http://esoteric.voxelperfect.net/ files/ in at most two digits"... hmm, apparently there are parents in the us it is very rare. there are an estimated" 00:58:56 parents? in this chännel? 01:09:50 -!- tertu has joined. 01:19:21 -!- shikhin has quit (Read error: Connection reset by peer). 01:26:12 lol #dogecoin is bigger than #python 01:26:24 damn right 01:26:34 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 01:32:40 -!- ter2 has joined. 01:32:41 -!- tertu has quit (Disconnected by services). 01:44:50 heh, I finally found a situation where if (foo() == false) is arguably preferable to if (!foo()) 01:45:05 :O 01:47:06 if (astNode.getValue() == false) where astNode represents a Boolean literal in the syntax of some language we're compiling 01:47:22 aha! 01:48:12 it's a quoted false in a sense. one might even call it metacircular :O 01:48:54 of course having an imperatively-named "getValue" method on an object representing an AST node is awful, but that's not up to me 01:49:15 * kmc -> afk 01:54:33 the False that can be Truthed is not the True False. 01:59:22 -!- filo3sofie has changed nick to Tolstoy. 02:01:15 -!- JWinslow23 has joined. 02:01:19 ohai pplz 02:01:38 Do any of you want to hear some acapella music I made? 02:02:29 It's the second half of the Family Guy theme. 02:03:58 https://www.mediafire.com/?a7hjyi1ifocas27 02:04:07 If any of you want to listen. 02:11:32 -!- JWinslow23 has quit (Quit: Page closed). 02:14:02 -!- ter2 has quit (Ping timeout: 264 seconds). 02:15:10 -!- jhj has changed nick to trn. 02:15:36 -!- tertu has joined. 02:16:11 -!- boily has quit (Quit: POLARIZED SYNCHRONIZED PARTICULAR CHICKEN). 02:26:55 -!- Sellyme has quit (Excess Flood). 02:27:41 -!- Sellyme has joined. 02:33:24 -!- Sellyme has quit (Excess Flood). 02:35:11 -!- Sellyme has joined. 02:38:26 -!- Sorella has quit (Quit: It is tiem!). 02:39:41 -!- oerjan has joined. 02:39:51 -!- tertu has quit (Read error: Connection reset by peer). 02:40:09 -!- tertu has joined. 02:56:38 -!- tertu has quit (Ping timeout: 246 seconds). 02:58:29 -!- tertu has joined. 02:59:14 -!- ter2 has joined. 02:59:14 -!- tertu has quit (Disconnected by services). 03:06:47 -!- ter2 has quit (Ping timeout: 246 seconds). 03:08:29 -!- ter2 has joined. 03:08:33 Can you design a RPG computer game in SQL? 03:08:52 No, because I fail at any task assigned to me. 03:09:35 O, OK, then don't do it by yourself. 03:09:54 Do you know how to program in SQL, or how to design a computer RPG game, whether or not you can actually do either? 03:10:29 No, because my mind is a broad sieve. 03:10:52 can you die messily in a painful way? 03:11:02 (just checking the general state here) 03:11:34 Perhaps, with the correct tools, but, I am not dead! 03:12:06 not a zzombie, check 03:19:26 -!- ter2 has quit (Ping timeout: 264 seconds). 03:19:42 -!- ter2 has joined. 03:25:35 -!- Sprocklem has joined. 03:28:57 -!- ter2 has quit (Ping timeout: 244 seconds). 03:31:24 kmc: you watching the fireworks? 03:50:12 bitcoin fireworks? 03:50:28 `coins 03:50:39 we lost HackEgo in the Great Netsplit of 2014 03:50:44 :( 03:52:34 kmc: yeah 03:53:52 why's it crashing? mtgox finally kicked the bucket? 03:58:55 Seems like. 03:59:13 "MtGox Resigns From Bitcoin Foundation, Deletes All Tweets From Twitter Feed" 04:00:44 kmc: they also halted trading 04:00:50 and blanked out their homepage just now 04:01:03 there's also a fake-looking (but who knows) document floating around that says they lose all their coins 04:01:11 so everyone is freaking out 04:02:22 Where does one watch the fireworks? 04:02:36 ##mtgox-chat or #bitcoin if you really want noise 04:06:34 I guess this is a representation of the fireworks. http://bitcoincharts.com/charts/bitstampUSD#rg2ztgSzm1g10zm2g25zv 04:08:10 I made up some more chess variant: http://www.chessvariants.org/index/msdisplay.php?itemid=MScatschess 04:08:12 http://bitcoinity.org/markets/bitcoinbuilder/GOXBTC 04:08:17 that's a reasonable representation of some of the fireworks 04:08:35 copumpkin: heh 04:13:22 -!- ter2 has joined. 04:13:56 -!- olsner has quit (Ping timeout: 252 seconds). 04:15:14 -!- zzo38 has quit (Ping timeout: 264 seconds). 04:15:15 -!- olsner has joined. 04:16:05 -!- zzo38 has joined. 04:16:54 It was power failure 04:17:22 UPS? 04:18:58 I bought one a couple days ago. They are nice to have. 04:24:10 I have a surge protector but the battery doesn't work. 04:24:42 I could not see the stars because the street lights were still working. 04:27:24 "GOXBTC" lolol 04:27:28 discount bitcoins 04:27:39 yeah 04:27:49 good measure of current trust :) 04:29:20 copumpkin: so for things to get this way, I assume there are difficulties moving BTC in/out of Gox, as well as USD 04:29:35 because the exchange is insolvent? 04:29:37 only out 04:29:42 well yeah ok ;) 04:29:44 and yes, people speculate that they're insolvent 04:29:51 seems pretty likely at this point 04:31:21 -!- copumpkin has changed nick to daddy. 04:31:30 -!- daddy has changed nick to copumpkin. 04:31:37 Daddy? 04:33:56 -!- olsner has quit (Ping timeout: 246 seconds). 04:36:29 Do people ever get interested in non-live game streams? 04:36:36 I want to try streaming some Worm Olympics 04:37:48 We call that "Let's Play" 04:38:56 It’s a function of how interested i’m of the game itself and how entertaining your commentary is. 04:39:28 -!- olsner has joined. 04:40:38 Someone wanted to video my game too, but someone else said, it should be someone who want to injure himself with a knife, since those people should play my game instead. 04:41:23 what 04:42:44 what 04:44:07 -!- password2 has joined. 04:47:29 -!- hogeyui has quit (Ping timeout: 252 seconds). 04:48:57 -!- hogeyui has joined. 04:57:57 -!- Jafet has joined. 04:59:21 -!- olsner has quit (Ping timeout: 272 seconds). 05:01:54 Some of the functors/monads/etc used in Haskell programming are also applicable to arbitrary categories. 05:02:33 Such as, the constant functor, is compatible with any category. 05:03:13 What are some other ones which I did not know of? 05:05:03 -!- ter2 has quit (Ping timeout: 244 seconds). 05:15:59 -!- tertu has joined. 05:22:04 -!- tromp__ has quit (Remote host closed the connection). 05:22:37 -!- tromp has joined. 05:26:45 -!- tromp has quit (Ping timeout: 244 seconds). 05:30:56 -!- newsham_ has changed nick to newsham. 05:30:58 -!- olsner has joined. 05:37:37 -!- olsner has quit (Ping timeout: 244 seconds). 05:46:21 -!- chaiomanot has quit (Ping timeout: 252 seconds). 05:52:32 -!- shikhin has joined. 06:18:35 -!- password2 has quit (Ping timeout: 246 seconds). 06:20:23 -!- olsner has joined. 06:31:48 -!- Slereah has joined. 07:07:31 -!- Slereah__ has joined. 07:10:36 -!- Slereah has quit (Ping timeout: 244 seconds). 07:18:03 -!- Slereah__ has quit (Ping timeout: 272 seconds). 07:22:43 -!- FreeFull has quit. 07:46:16 David Griffiths Lecture, Techfest 2012, IIT Bombay http://youtu.be/FY076-fEZ-s 08:15:03 -!- tertu has quit (Ping timeout: 272 seconds). 08:15:11 -!- atslash has quit (Ping timeout: 244 seconds). 08:15:39 -!- atslash has joined. 08:43:57 -!- Tritonio has joined. 09:37:18 -!- conehead has quit (Quit: Computer has gone to sleep.). 09:42:47 -!- yorick has joined. 09:54:02 -!- oerjan has quit (Quit: leaving). 09:58:46 -!- Phantom_Hoover has joined. 10:00:59 -!- Sellyme has quit (Ping timeout: 256 seconds). 10:01:41 -!- Sellyme has joined. 10:12:33 In order to encode some text the following table is in use: http://sprunge.us/gESV Is there a more efficient way to do the same thing instead of reading the table and interpreting the "instructions" in the table? 10:31:14 -!- hexagon has quit (Ping timeout: 252 seconds). 10:32:32 -!- hexagon has joined. 10:47:52 zzo38: are you asking whether the table can be compressed? 10:52:01 -!- MoALTz_ has joined. 10:52:26 int-e: No, but whether the program to read the table can be made more efficient. 10:53:49 -!- MoALTz has quit (Read error: Connection reset by peer). 10:58:06 -!- Sellyme has quit (Excess Flood). 10:59:56 zzo38: I'm not sure we've got enough context here. As far as I can make out, you have to read the thing, scan for occurrences of double quotes, and put the stuff between those quotes into successive entries of an array. 11:01:11 -!- Sellyme has joined. 11:02:14 -!- MoALTz_ has quit (Quit: brb). 11:02:24 -!- MoALTz has joined. 11:02:33 (In this particular table, you can also predict the offsets of those double quotes without much effort.) 11:06:22 -!- Sorella has joined. 11:09:51 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds). 11:21:11 int-e: No, it automatically figures out the offsets. 11:21:33 And the double quotes aren't actually part of the table, nor are the spaces; they are just used to arrange it to display. 11:22:47 I'll vote for "lack of context" then. 11:25:01 Wolfram Language is scary 11:25:51 -!- boily has joined. 11:46:25 -!- shikhout has joined. 11:48:59 -!- shikhin has quit (Ping timeout: 245 seconds). 11:48:59 -!- shikhout has changed nick to shikhin. 11:59:39 -!- boily has quit (Quit: Poulet!). 12:21:30 -!- atslash has quit (Quit: This computer has gone to sleep). 12:24:50 -!- MoALTz_ has joined. 12:27:45 -!- MoALTz has quit (Ping timeout: 272 seconds). 13:05:19 -!- Tritonio1 has joined. 13:06:41 -!- Tritonio has quit (Ping timeout: 246 seconds). 13:31:01 -!- Sgeo has quit (Read error: Connection reset by peer). 13:47:03 -!- sebbu has quit (Ping timeout: 264 seconds). 13:49:56 -!- nisstyre has quit (Ping timeout: 245 seconds). 14:09:27 -!- Bike has quit (Read error: Operation timed out). 14:10:55 -!- password2 has joined. 14:16:49 -!- Bike has joined. 14:18:06 -!- nisstyre has joined. 14:27:16 -!- tertu has joined. 14:30:16 -!- Bike_ has joined. 14:33:50 -!- Bike has quit (Ping timeout: 264 seconds). 14:40:16 -!- sebbu has joined. 14:40:49 -!- sebbu has quit (Changing host). 14:40:49 -!- sebbu has joined. 14:41:07 -!- Phantom_Hoover has joined. 14:41:13 hahaha omg mtgox is down 14:41:18 it's happening, finally 14:46:38 Phantom_Hoover: look at the page source 14:48:50 -!- Sprocklem has quit (Ping timeout: 264 seconds). 14:48:56 is acq short for 'acquirement' or something 14:49:16 acquisition 14:49:19 of course 14:49:19 right 14:49:48 apparently they disabled withdrawals some time before this happened though (/r/bitcoin is *hilarious* right now) 14:51:02 yes, that was a while ago 14:51:31 soon is probably a good time to buy BTC, by the way 14:56:51 assuming it'll go up again 14:57:41 i guess the ecosystem might've moved away from mtgox enough to absorb the shock if it's been that dire for that long, though 14:58:09 yes, mtgox had fiat problems much before it had btc problems 14:58:30 I don't think it makes sense for it to crash permanently because of this, but maybe people are panicky enough for it to 14:59:02 like, anyone with BTC in mtgox was already worried they might not really have that cash any more by this point? 14:59:12 yeah 14:59:31 oh well, there goes my dream of watching bitcoin burn 15:05:12 wow even in these dark times /r/bitcoin continues to MEANWHILE: http://www.reddit.com/r/Bitcoin/comments/1yutdk/we_are_witnessing_the_failure_of_a_company_the/ 15:25:47 maybe they'll reopen the magic the gathering online exchange 15:26:04 -!- JZTech101 has quit (Quit: Now what?). 15:26:20 (that seemed like a sound business to me ... ;-) ) 15:31:10 ooh, xkcd ... "webring" ... that brings back memories. 15:38:09 god, remember when what-if was interesting? 15:39:25 when it wasn't just a bunch of dry calculations to establish whether or not there are enough elephants to make an interplanetary burger chain 15:48:42 -!- Sprocklem has joined. 15:56:38 -!- oerjan has joined. 16:24:38 -!- Bike_ has changed nick to Bike. 16:27:03 -!- password2 has quit (Ping timeout: 244 seconds). 16:32:13 -!- Tritonio1 has quit (Ping timeout: 272 seconds). 16:33:02 Phantom_Hoover: this gets funnier and funnier the more i think about it 16:40:56 -!- FreeFull has joined. 16:42:25 Wait, what page source? 16:43:03 I don't see anything particularily odd in the source of mtgox.com 16:45:09 it was changed 16:45:12 it used to have a comment saying like 16:45:17 fill in mtgox acquisition announcement here 16:53:49 -!- Slereah has joined. 16:56:12 -!- herny has joined. 16:58:57 Ah 17:01:39 -!- Slereah__ has joined. 17:03:44 -!- Slereah has quit (Ping timeout: 244 seconds). 17:05:09 -!- Sprocklem has quit (Ping timeout: 272 seconds). 17:06:40 Bike: did you hear about the part where they supposedly lost hundreds of millions of dollars through shit security 17:15:10 -!- Slereah has joined. 17:16:28 -!- Tritonio has joined. 17:17:41 -!- Slereah__ has quit (Ping timeout: 244 seconds). 17:22:28 -!- MoALTz__ has joined. 17:23:36 -!- MoALTz_ has quit (Read error: Connection reset by peer). 17:33:58 -!- nooodl has joined. 17:36:03 When I asked the people who configure my DNS to make a TXT record, he said it doesn't have a field to tell you what subdomain to associate it to. 17:38:14 -!- Slereah has quit (Read error: Connection reset by peer). 17:38:33 -!- Slereah has joined. 17:46:33 -!- shikhout has joined. 17:47:30 -!- Phantom_Hoover has quit (Quit: Page closed). 17:48:34 In case it helps, it is registered with GoDaddy. 17:49:24 -!- shikhin has quit (Ping timeout: 245 seconds). 17:49:25 -!- shikhout has changed nick to shikhin. 17:53:20 -!- JWinslow23 has joined. 17:53:24 ohai pplz 17:53:26 ELECTIVE Slustio 17:53:59 \o/ 17:54:13 I do not understand. 17:54:13 No, the bot doesn't work. 17:54:26 ELECTIVE Slustio was my Captchka. 17:54:36 Then, I tested that \o/ thing. 17:54:44 Where a bot would make the rest of the body. 17:55:17 Ah. 17:55:25 Didn't that used to be active? 17:55:38 Like this: 17:55:41 \o/ 17:55:44 | 17:56:01 |\ 17:56:04 I don't even know if that is the correct syntax. 17:56:10 Eh, I didn't get it right. 17:56:18 It should be arms of some sort. 17:56:25 \\o/ 17:56:30 _o_ 17:56:36 Grrrr.... 17:56:37 I have seen that some internet services at hotels and some stuff will not work except for DNS requests, until you pay. (In some the DNS might not work either) Can we serve the files through DNS records? 17:56:47 ... 17:56:53 No idea what that is. :p 17:56:56 -!- Slereah__ has joined. 17:57:02 ohai Slereah 17:57:11 -!- Slereah has quit (Ping timeout: 246 seconds). 17:57:21 I can see that myname is on here. 17:57:22 It's a script, not a bot \o/ 17:57:27 I guess it's not a work. 17:57:47 The same guy that made the MarioLANG interpreter and BF-MarioLANG converter, right? 17:57:49 Though it hasn't always worked at the beginning of a line, anyway. 17:57:52 myname? 17:57:59 No, myndzi. 17:58:09 Close, though. 17:58:10 Because didn 17:58:17 t myname do something like that? 17:58:26 He did the interpreter, yes. 17:58:37 (Note to self: Never press enter before ending message 17:58:37 ) 17:58:42 But the \o/ script was myndzi's. 17:58:58 Ah. 18:06:26 -!- nooodl_ has joined. 18:09:21 -!- nooodl has quit (Ping timeout: 244 seconds). 18:13:31 Guys? 18:14:07 Did you know that, every 7.79 seconds, an American Saggitarius named Amelia drinks a soda? 18:15:00 i'm pretty sure i read that somewhere recently. 18:15:14 http://xkcd.com ? 18:15:27 that's a pretty good guess. 18:15:43 Coz that's where I got it from. 18:16:14 Every 42.05 seconds, someone buys "To Kill a Mockingbird". 18:16:29 Every 1.82 seconds, a cat actually kills a mockingbird. 18:17:00 XD 18:17:02 boring. 18:17:09 the thing that annoyed me about that one was that they were not ordered by frequency, so i had no idea how long to wait for some of them. 18:17:29 clearly you should parse the gif files 18:17:58 as if that could decrease annoyance. 18:18:10 Here is a table: http://www.explainxkcd.com/wiki/index.php/1331 18:21:08 -!- Tolstoy has quit (Ping timeout: 279 seconds). 18:21:32 -!- herny has quit (Quit: Page closed). 18:23:29 -!- AnotherTest has joined. 18:23:57 "Whenever you edit wikipedia, God kills a human." 18:24:53 -!- filo3sofie has joined. 18:29:12 -!- Slereah__ has quit (Read error: Connection reset by peer). 18:29:30 -!- Slereah has joined. 18:34:12 -!- MoALTz__ has quit (Quit: brb). 18:34:25 -!- MoALTz has joined. 18:36:25 -!- oerjan has quit (Quit: leaving). 18:39:23 -!- JWinslow23 has quit (Ping timeout: 245 seconds). 18:41:46 Gregor: whither HackEgo? 18:45:51 -!- tertu has quit (Ping timeout: 272 seconds). 19:05:05 -!- jose3 has joined. 19:05:19 -!- jose3 has left. 19:09:40 -!- nooodl_ has changed nick to nooodl. 19:15:49 olsner: just look at the decoding in http://www.explainxkcd.com/wiki/index.php/1331 19:16:26 olsner: I mean, come on, for more than a year now Randall doesn't write proper transcripts of his comics, but the explainxkcd community does, so look at there for anything like this 19:17:51 b_jonas: Why are you (a) repeating a link that was just pasted, and (b) to a different person than the one who asked? 19:18:08 fizzie: argh 19:18:22 I didn't see it was pasted, and yes, wrong nick 19:18:23 sorry 19:19:12 (I guess the latter is explained by oerjan sneakily sneaking out in the meanwhile.) 19:27:20 -!- password2 has joined. 19:33:26 b_jonas: now I know :) out of curiosity, what did oerjan ask? 19:34:13 olsner: < oerjan> the thing that annoyed me about that one was that they were not ordered by frequency, so i had no idea how long to wait for some of them. 19:34:17 olsner: that's what he asked about that xkcd strip 19:37:16 mmm, dogecoin explained: http://i.imgur.com/rPltYqf.gif 19:43:46 -!- Sprocklem has joined. 19:48:52 `coins 19:49:14 fungot: coins? 19:49:14 olsner: what version of stalin is that from? i don't understand 19:52:50 -!- Slereah__ has joined. 19:53:48 checking whether the C compiler works... no 19:54:13 did it still consider your environment "sane"? 19:54:22 -!- JZTech101 has joined. 19:54:50 heh 19:54:56 it's an android cross compile so i hope not 19:55:13 -!- chaiomanot has joined. 19:55:44 oh, through autotools? didn't think you could do that 19:56:02 -!- Slereah has quit (Ping timeout: 264 seconds). 19:56:25 hm? autotools supports cross compile yeah 20:01:52 -!- Slereah has joined. 20:02:31 -!- password2 has quit (Ping timeout: 244 seconds). 20:04:26 -!- Slereah__ has quit (Ping timeout: 264 seconds). 20:06:47 fontconfig was only made thread-safe last year :/ 20:12:21 -!- Sprocklem has quit (Ping timeout: 244 seconds). 20:14:46 -!- Sprocklem has joined. 20:18:07 -!- Slereah has quit (Read error: Connection reset by peer). 20:20:19 -!- nisstyre_ has joined. 20:41:11 -!- hexagon has quit (Ping timeout: 252 seconds). 20:41:33 -!- hexagon has joined. 21:15:45 -!- conehead has joined. 21:17:55 -!- tertu has joined. 21:21:51 -!- impomatic has quit (Ping timeout: 264 seconds). 21:23:22 -!- impomatic has joined. 21:24:18 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:25:10 -!- tertu has quit (Ping timeout: 244 seconds). 21:27:21 http://appleinsider.com/articles/14/02/24/steve-jobs-statue-unveiled-ahead-of-installation-at-apples-cupertino-hq 21:29:14 -!- tertu has joined. 21:29:48 -!- JZTech101 has quit (Quit: Now what?). 21:30:00 -!- JZTech101 has joined. 21:31:03 fatal: You are on a branch yet to be born 21:31:13 http://www.nature.com/news/publishers-withdraw-more-than-120-gibberish-papers-1.14763 SCIgen hasbeen busy 21:31:26 -!- kmc has set topic: fatal: You are on a branch yet to be born. 21:31:29 er 21:31:37 -!- kmc has set topic: fatal: You are on a branch yet to be born | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 21:33:28 fungot: You should try writing a paper about something. 21:33:29 fizzie: i entered nonlogic because it was quite cool. but i'm not on irc, and that's irrelevant. 21:34:30 fungot: You certainly *seem* to be on irc. 21:34:30 fizzie: that's like sooo much better than that, though rather painful and my nose is both clogged annoyingly runny. 21:34:52 Okay then. 21:36:39 clogged and runny, p. good combo 21:38:08 kmc: what were you trying to do? maybe birth the branch before somethinging it 21:38:36 just trying to fix my makefile :< 21:42:35 -!- tertu has quit (Ping timeout: 246 seconds). 21:44:56 fizzie: i like how we can't even be sure we've got all the scigen. they walk among us, unseen 21:45:40 @tell phantom_hoover shit security, bad investments in insolvent mortgages... pretty much the same, right? 21:45:40 Consider it noted. 21:46:32 kmc: have you tried bonghits 21:48:34 Do you like this chess variant (one of the forms of Shatranj Kamil)? http://www.chessvariants.org/historic.dir/tamerlane.html 21:51:20 elliott: not yet 21:51:26 i'm at work you know 21:51:37 well, if they want that makefile fixed... 21:56:07 fungot: a paper on nonlogic, eh? 21:56:08 FireFly: heh then it's not defining it they're free to argue with that. 21:59:02 -!- AnotherTest has quit (Ping timeout: 246 seconds). 22:03:18 fungot: How come you sound somehow different than the usual irc style? 22:03:18 fizzie: this would be good to write a scheme program in terms of a compiler than manual memory management 22:04:43 -!- Bike has quit (Ping timeout: 272 seconds). 22:05:18 -!- tertu has joined. 22:14:11 I asked before about strings searching, but really what I need is one that has multiple search strings, that search strings are preprocessed, and that the text to search in isn't preprocessed. I found some things about this in Wikipedia, but do you have more advice? 22:17:25 Would Commentz-Walter be better, or something else? 22:25:52 -!- Bike has joined. 22:30:32 -!- Sprocklem has quit (Ping timeout: 246 seconds). 22:35:18 -!- Zerker has joined. 22:38:34 -!- MoALTz_ has joined. 22:40:10 -!- HackEgo has joined. 22:41:07 -!- MoALTz has quit (Ping timeout: 244 seconds). 22:41:10 `coins 22:41:12 iotakercoin lahalixcoin karuacoin isccoin ><>coin lifecoin minifucoin slasscoin pasycoin etasismcoin eeblanzcoin wpcftioncitcoin owpcoin inscrecoin galcoin iricoin dhgcoin sincoin compcoin brackcoin 22:41:12 yay 22:45:00 inscrecoin 22:48:44 -!- tertu has quit (Ping timeout: 246 seconds). 22:54:08 -!- tertu has joined. 22:57:35 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 23:00:12 -!- nisstyre_ has quit (Quit: WeeChat 0.4.3). 23:02:02 -!- tertu has quit (Ping timeout: 264 seconds). 23:07:06 http://www.reddit.com/r/programming/comments/1yvczv/stephen_wolfram_introduces_the_wolfram_language/cfo7o8c 23:20:38 -!- Tritonio has quit (Ping timeout: 264 seconds). 23:23:25 -!- Sprocklem has joined. 23:27:02 I looked at Wolfram Language; now they even say, the ARM version of Mathematica is now free of charge, and even the computer costs less than using the other computer. 23:28:44 However, it is slower than the normal version. 23:33:09 zzo38: how big is the set of strings to search for? 23:34:50 FireFly: At most 96 entries, although probably smaller. 23:35:02 The exact number of strings to search for is unknown. 23:35:50 And there are probably going to be many occurences of the search strings in the text. 23:39:52 -!- nooodl has quit (Quit: Ik ga weg). 23:41:22 -!- tertu has joined. 23:41:40 FireFly: The purpose of this is for compression. 23:43:55 I was thinking maybe you could put the strings to search for in a trie and step down the trie for each character you match.. 23:46:15 Maybe it would. I would need to be sufficiently fast, as the amount of text to search in is probably going to be very large though. 23:46:58 -!- shikhout has joined. 23:47:14 Welcome backego 23:47:57 The character codes only go up to 163, if that helps at all, although many of the codes aren't used. (There are actually some other character codes but they are ignored for purposes of compression.) 23:48:14 -!- tertu has quit (Ping timeout: 246 seconds). 23:49:33 -!- Sgeo has joined. 23:49:49 -!- shikhin has quit (Ping timeout: 245 seconds). 23:49:50 -!- shikhout has changed nick to shikhin. 23:51:31 -!- boily has joined. 23:53:55 https://github.com/torvalds/linux/blob/d158fc7f36a25e19791d25a55da5623399a2644f/fs/ext4/resize.c#L698 23:56:29 >.< 23:57:25 I'm glad that Rust allows debug-printing of any value, even though this breaks encapsulation and parametricity and makes baby jesus cry 23:57:28 it's fucking useful 23:57:55 GHC kind of has this via its "debugger" feature 23:59:59 @quote desert 23:59:59 EvilTerran says: We were somewhere around Barstow, on the edge of the desert, when the phantom types began to take hold.