00:01:16 kmc: What were you doing with it? 00:02:42 monoids monoids monoids 00:02:46 so easy i can hardly stand it 00:02:48 elliott, look i'm not going to let you off with not watching farscape 00:03:09 farscape is on my list man 00:03:13 also I've seen like 3 epsiodes 00:03:16 don't shoot me 00:03:19 I am a fearful english pansy 00:04:23 3 episodes?? the second 2 are so naff! 00:04:37 I think they were like half way through 00:04:41 and that's a fact and that's a fact and that's a fact and that's a fact 00:04:42 or the last ones or something 00:05:03 oh my god you can't just watch halfway through! 00:05:13 and that's a fact 00:05:35 Sgeo: hi 00:05:39 Phantom_Hoover: it was on tv ok 00:05:42 Phantom_Hoover: I had nothing better to watch 00:05:58 well duh 00:06:06 elliott, hi. And that's a fact. 00:06:40 Ghost in the Shell is getting to me 00:06:50 clearly 00:06:58 it must be one of those langford things 00:06:59 hee hee. glad you're enjoying it ^^ 00:08:01 3 separate characters have said "and that's a fact" in maybe 5 (or fewer) narrative minutes. 00:08:17 wait, are you watching GitS or Brass Eye 00:08:26 Ghost in the Shell 00:08:53 hm. there should be a brass eye special set in wherever gits was. 00:08:59 `?hh shachaf 00:09:04 shahchahf sprø sohm sehllehri ahnd cohsplayhs Nehpehta Leihjohn ohn weehkehnds. 00:09:17 Could I pet a lion on weekends instead? 00:09:18 nehpehta 00:09:26 shachaf: with what 00:09:35 with his cosplay'd paw 00:09:48 Paw? 00:09:57 I thought all those people didn't have hands or any hand-alikes. 00:10:33 hands are _so_ last evolutionary stage 00:10:35 her name's Leijon, she's probably a lion. 00:12:52 are we talking about the spidermouthed one? 00:14:38 -!- epicmonkey has quit (Ping timeout: 255 seconds). 00:16:37 * Sgeo shoosh paps Phantom_Hoover 00:16:57 get off me you weirdo 00:17:34 :33 < *ac pounces on sgeo* 00:22:07 Fiora: Hey now! 00:22:25 Get your own personoid thing. 00:23:04 Shachaf is the Nepeta here, Fiora. You'll have to be Eridan. 00:23:14 no, wait, gamzee's your symbol, right 00:23:31 :33 < *ac is pawsitively upset that someone has tailken her identity* 00:24:01 bloody furriners 00:24:11 :33 < i will not be eridan!! he is supurr cr33py and makes me uncomfurtable to be near him! 00:24:33 I'm sorry, but rules are rules. 00:25:38 :33 < could you help meowt here and change them? 00:26:04 `qdbformat 00:26:05 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: qdbformat: not found 00:26:10 `? qdbformat 00:26:11 qdbformat is: message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two 00:26:38 `cat bin/? 00:26:40 ​#!/bin/sh \ topic=$(echo "$1" | tr A-Z a-z | sed "s/ *$//") \ topic1=$(echo "$topic" | sed "s/s$//") \ if [ \( "$topic" = "ngevd" \) -a \( -e wisdom/ngevd \) ]; \ then cat /dev/urandom; exit 0; \ elif [ -e "wisdom/$topic" ]; \ then cat "wisdom/$topic"; \ elif [ -e "wisdom/$topic1" ]; \ then cat "wisdom/$topic1"; \ else ec 00:27:48 `? ngevd 00:27:50 ​^՟`)l~uN>6K'a6ED W<2]1y8/!'U@ܓgǚ_4W݈>؏)jg"uw%x7Ft`.-80hG0Ź3ۚ/SU!X \ Ihn3H5nP:Yb,nMgC3Zugs-Dϔh..#@ݦ.U񃉊tէbVO+bT<&e?FPhK˄*KڶBW6IT*ӫ"-Ќ~co)~ 00:27:56 pretty colors 00:27:58 `?hh ngevd 00:27:59 ​1;|?:O4CzA \ {69oW[W4v6)Ϝx.b6 imo a bihg improhvehmehnt 00:29:16 Fiora: What person-thing does *that* typing quirk make me? 00:31:38 `run sed -i 's/ exit 0;//' bin/'?' 00:31:49 No output. 00:31:56 `cat bin/? 00:31:57 ​#!/bin/sh \ topic=$(echo "$1" | tr A-Z a-z | sed "s/ *$//") \ topic1=$(echo "$topic" | sed "s/s$//") \ if [ \( "$topic" = "ngevd" \) -a \( -e wisdom/ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "wisdom/$topic" ]; \ then cat "wisdom/$topic"; \ elif [ -e "wisdom/$topic1" ]; \ then cat "wisdom/$topic1"; \ else echo "$1? 00:32:09 `? ngevd 00:32:10 ​upU%V.MU65HY)JV9-F#E].aF.M4(..|9 00:32:26 shachaf: ? @_@ 00:32:51 Fiora: as in, what troll talks with all the h's. 00:33:03 thahnk you Bihke 00:33:12 nhp 00:33:23 `?hh Bike 00:33:25 Hs? I just see a bunch of random noise 00:33:26 Bihke ihs frohm Luhxehmbouhrg. 00:33:29 `?hh Fiora 00:33:31 Fiohra ihs frohm sohme ihslahnd sohmewhehre. She juhst doehsn't wahnt to be bohthehrehd, ahs she wohrks ouht hehr dohmihnahtiohn plahn ahs ihmmohrtahl queehn ohf the drahgohns. 00:33:34 `wehlcohme Fiora 00:33:34 oh... 00:33:36 Fiohra: Wehlcohme to the ihntehrnahtiohnahl huhb fohr ehsohtehrihc prohgrahmmihng lahnguahge dehsihgn ahnd dehployhmehnt! Fohr mohre ihnfohrmahtiohn, chehck ouht ouhr wihki: http://ehsohlahngs.ohrg/wihki/Maihn_Pahge. (Fohr the ohthehr kihnd ohf ehsohtehrihca, try #ehsohtehrihc ohn ihrc.dahl.neht.) 00:33:44 ihmmohrtahl 00:36:41 FUHS RHOH-DHAH 00:37:34 `?hh Jafet 00:37:36 Jahfeht? ¯\(°_o)/¯ 00:37:43 `? jafet 00:37:45 What's going on? 00:37:46 jafet? ¯\(°_o)/¯ 00:38:30 `? funpuns 00:38:31 funpuns? ¯\(°_o)/¯ 00:49:32 -!- carado has quit (Ping timeout: 246 seconds). 00:52:16 Gah GHCi 6.12.1 00:52:18 :( 00:55:51 gwat? 00:57:12 Glahsghow Hashkehl 00:58:22 ohkay 01:01:40 I read about the SQLite file format of columns, and of ALTER TABLE ... ADD COLUMN ... command which can add a column but with various restrictions, and not affecting the data already in the table, but if you add a row where the rightmost columns will have the constant default values will it omit them? 01:42:05 -!- Ahhrc_Koehhn has quit (Quit: Ahhrc_Koehhn). 01:50:45 -!- augur has quit (Remote host closed the connection). 01:51:20 -!- augur has joined. 01:52:51 -!- derk_ has left. 01:55:35 -!- augur has quit (Ping timeout: 256 seconds). 01:56:31 How can you even run PRAGMA commands in SQLite before the database is created? 01:58:23 -!- augur has joined. 02:00:12 -!- augur has quit (Remote host closed the connection). 02:00:25 -!- Frooxius has joined. 02:00:32 Is the Facebook Hacker's Cup thing likely to look good on resumes even if I don't get first place? 02:00:46 -!- augur has joined. 02:00:55 -!- augur has quit (Read error: Connection reset by peer). 02:09:03 i would put it on, if you reached any level above "also ran" 02:09:21 i mean I don't know if there are rounds or divisions or whatever but placing at any level sounds pretty good 02:09:44 There are sponges that eat crustaceans. 02:09:51 however you shouldn't include it if it's taking up space that could be used to list more relevant or impressive stuff 02:10:01 remember, the resume is an advertisement about you, designed to get you a phone call 02:10:33 it doesn't need to be comprehensive 02:11:27 i would say that any significant work or software project experience beats coding competitions 02:11:43 the code you write for competitions is usually not good code, maintainable code, readable code 02:11:52 and it's not the same kind of code an employer wants you to write 02:13:26 also in my current view of programming and hacker culture, i have a pretty negative view of coding competitions 02:13:32 but i've done them in the past and enjoyed them so *shrug* 02:14:33 lately i've been enjoying a lot of games where there are levels and you try to beat the next level but you're not directly playing against other people 02:14:37 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 02:15:22 -!- Phantom_Hoover has joined. 02:19:33 These competitions look interesting: http://azspcs.net/ 02:20:29 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:20:29 i do love the IOCCC though and I do want to run my own devious code contest 02:20:38 i'm not sure how to square that with my other statement 02:22:03 (The current competition is, apparently, an open problem.) 02:22:04 what about the underhanded thing? 02:22:09 what about it 02:22:27 in terms of devious code contests I guess 02:22:37 you mean http://underhanded.xcott.com/ ? 02:22:43 it's neat 02:22:48 it's dead for 3 years :/ 02:22:54 also what I want to run would be a lot more open ended 02:23:22 rather than a specific task I would just be interested to see code (in any language) that appears to straightforwardly do one thing but actually does a different devious thing 02:23:26 there are a few IOCCC entries like that too 02:23:59 that sounds fun 02:24:35 The underhanded C contest probably hit a bit too close to home. 02:25:21 while C may be the king of unintended security holes, I think every language has its own unique & interesting ways to hide behavior 02:26:12 Writing underhanded code contest entries is a lot like making CTF levels, I suppose. 02:26:15 Opening the contest to multiple languages and genres will make judging hard 02:26:30 yes 02:27:53 shachaf: some CTF levels anyway 02:28:11 i'm not that interested in an 'underhanded' program which is just, like, a HTTP server with a buffer overflow 02:28:16 i can already find plenty of those 02:28:36 Sure. 02:28:54 I'm thinking of the more specialized ones. 02:30:09 Actually, not many CTF levels I've seen have been particularly "obviously correct". 02:30:14 I'm imagining, like, an image processing program that reads an image, but actually executes part of the image as code when reading it 02:30:21 by sneakily smashing its own stack or something 02:30:27 It's more that they've had obvious bugs but the trick was how to exploit those bugs. 02:30:40 shachaf: yeah, it varies 02:31:17 the one using negative chars to index an array was non-obvious, to me, but maybe this is a vuln class that most other people know about 02:32:44 i also like code that looks safe but is actually dangerous due to compiler optimizations 02:33:46 Fiora: that's easy, just require the image processing program to read metafile 02:34:27 (A metafile image consists of a sequence of Windows GDI function calls.) 02:34:38 haha brilliant 02:34:42 wow, does it really 02:36:05 "Essentially, a WMF file stores a list of function calls that have to be issued to the Windows Graphics Device Interface (GDI) layer to display an image on screen." 02:37:26 -!- oerjan has quit (Quit: leaving). 02:37:52 windows never meta file it didn't like 02:47:00 monoids monoids monoids monoids monoids 02:47:05 the easiest thing in the world 02:47:11 I wanted to use SQLite amalgamation but maybe it doesn't work; I want to use the following options: SQLITE_OMIT_AUTHORIZATION SQLITE_OMIT_BLOB_LITERAL SQLITE_OMIT_DEPRECATED SQLITE_OMIT_EXPLAIN SQLITE_OMIT_FLOATING_POINT SQLITE_OMIT_INTEGRITY_CHECK SQLITE_OMIT_TRACE SQLITE_OMIT_UTF16 SQLITE_OMIT_UNICODE 02:47:25 However, there is already the problem, since there is no SQLITE_OMIT_UNICODE. 02:47:28 SQLITE_OMIT_DATABASE 02:47:51 zzo38: You shouldn't omit Unicode. 02:48:53 SQLITE_OMIT_FRAME_POINTER 02:49:44 `?hh sqlite 02:49:46 sqlihte? ¯\(°_o)/¯ 02:49:47 `?hh kmc 02:49:48 kmc? ¯\(°_o)/¯ 02:50:33 `learn kmc ran the Internation Devious Code Contest of 2013 02:50:36 I knew that. 02:50:39 `learn kmc ran the International Devious Code Contest of 2013 02:50:40 http://noctis-aeterna.tumblr.com/post/41490130158/ heh, dailywtfish thing on my dash 02:50:43 I knew that. 02:50:57 shachaf: But I want to omit Unicode because I am not using those functions and just want length to be the C strlen function instead, and so on. 02:51:08 zzo38: You should use Unicode. 02:51:56 Fiora: What's the "æterna" thing? 02:52:22 um, just a person I follow 02:52:33 I thought that was you. 02:52:54 fioraaeterna.tumblr.com/ 02:53:05 Yes. The common theme is "æterna". 02:53:11 that is a total coincidence 02:53:15 Oh. 02:53:16 she is the only person I follow with that 02:53:21 (I can't resist turning "ae" into "æ".) 02:53:29 I'm too lazy to even try typing that >.> 02:53:34 It's just AltGr-z 02:53:54 altgr? 02:54:16 its the angry version of the alt key 02:54:26 It's the German version, actually. 02:54:37 germans are angry 02:54:45 Fiora: Set your keyboard layout to "altgr-intl" or something. 02:54:53 It's the future. 02:55:26 alt-z just makes a z 02:55:27 You can type important words like "hellørjan" with ease! 02:55:27 But I don't want it with Unicode. I want it to treat it as C strings, without having to check every byte to see how to calculate length and so on. 02:55:45 Just use UCS-2.625 02:55:51 Fiora: altgr is right alt in certain keyboard layouts, like us international (but apparently not yours) 02:56:03 right alt just does the same 02:56:18 What is UCS-2.625? 02:56:19 I heard that if your right alt key isn't AltGr, it makes you racist. 02:56:26 yes, because you have a different keyboard layout 02:56:37 default american layouts often don't have altgr. 02:56:37 zzo38: Storing 3 21-bit Unicode code points in one 64-bit word. 02:56:52 um, I don't know what my main layout is but the alternate one is a japanese IME 02:57:08 Are you using X11? 02:57:15 It's probably just "US" or something on Windows. 02:57:15 ummmm I'm using windows 02:57:32 You can switch pretty easily with the control panel, especially if you've done it before for japanese. 02:57:52 Oh. 02:58:00 I'm not sure Windows has the right layout by default? 02:58:11 windows usually uses some boring american one, yeah. 02:58:17 shachaf: But I want to diable Unicode entirely. (So that, UTF-8 text could still be stored in the database, but the program ignores it, and those fields may be used by other programs though.) 02:58:21 instead of the slightly less boring american one that is US-international. 02:58:48 zzo38: Just store things as binary blobs. 02:59:00 US-international with deadkeys is evil!!!!!!!!!!!!! 02:59:30 shachaf: Well yes, I could store them as blob formats but then it isn't used with SQL strings and null-terminated strings and so on. 03:00:59 Anyways, UTF-8 can be up to 36-bits (even though Unicode is only 21-bits), in case 21-bits is not enough. 03:02:32 Actually if 0xFF is also defined then maybe you can have more than 36-bits 03:04:10 But if you don't use Unicode, how can I use Chinese text? 03:06:15 This specific program I am making is not meant for Chinese text, as it wouldn't be useful in what I am making. (You can still store Chinese text in the database, though, if you want to use the same database with other programs.) 03:09:00 -!- WeThePeople has joined. 03:11:40 In some other programs I may make, you might want to use Chinese texts and so on, though. So, in a later version of TeXnicard I plan to add an option for UTF-8, but only decoding into 32-bit numbers (even beyond range of Unicode), ignoring everything else about Unicode and requiring the template file to have stuff to deal with the ones you are using. 03:24:19 でも、中国語のテキストがとても必要な事！ 03:24:43 是非大切さが最高！ 03:25:04 それ日本語やんけｗ 03:25:29 zzo38: Why do you hate the Chinese? That's racist. 03:25:40 "w" 03:25:43 うん。俺中国語分からん。 03:25:52 Bike: Japanese "lol". 03:25:52 同じく。 03:25:59 wwwwwwwwwwww 03:26:06 っるっせｗ 03:26:06 Precisely. 03:30:29 Lumpio-: I don't hate the Chinese. 03:30:40 wu america 03:33:52 -!- Nisstyre-laptop has joined. 03:41:32 Naruto treats copying an opponents moves exactly as a good thing. But in Go, there are ways to defeat an opponent who attempts that 03:42:17 You're reading naruto? 03:42:51 Watching 03:42:56 oh 03:43:04 From the start? 03:43:53 yes 03:44:48 I watched it when it came out, and man it was sslooooowww 03:45:40 It's like, "Episode 14: Clash on the Bridge!! Exciting Battle!!!" and the episode consists of characters surrounded by mist, not being able to see anything, and contemplating their next strategy out loud for 23 minutes. 03:46:29 That's the thing that bothers me, the continuous contemplation and exposition out loud, in front of enemies, wasting time 03:46:47 (As in, the enemy should be killing them. Or if the enemy is talking, they should be killing the enemy) 03:47:01 But they can't kill anyone if it's not their turn. Never played a JRPG? 03:48:05 -!- Bike_ has joined. 03:48:48 Anyways when you get bored of that, get some deep and philosophical anime meant for adults like K-on 03:48:59 sgeo, it's almost like they have an animation budget. 03:50:02 -!- Bike has quit (Ping timeout: 245 seconds). 03:52:01 -!- WeThePeople has quit (Quit: Leaving). 03:52:03 almost like their target audience ?????? ?????? 03:52:19 `?hh monqy 03:52:21 The friehndshihp mohnqy ihs ahn ahnciehnt Chihnehse myhstehry; ahsk ihtihduhs21 fohr dehtaihls. 03:52:24 hi shachaf 03:52:30 oh no are you disapproving 03:52:41 so many anime I need to watch 03:52:47 Haven't heard of K-on 03:52:57 ( ﾟ∀ﾟ) 03:52:58 it's a deep philisophical audience for adults 03:53:27 audience/anime 03:53:29 The sooner you learn to direct your interests only towards cute girls doing cute things the better 03:53:29 woops woops 03:53:35 It's a show about {4,5} moe high school girls acting cute while taking part in a _____ club 03:53:46 Yes and tea and cake 03:53:48 * Fiora loves how many anime she just described 03:53:52 philosophy club philosophy club 03:53:58 who's the fifth WHO'S THE FIFTH 03:54:06 ...azusa? 03:54:08 eh 03:54:11 whoa 03:54:13 monqy: can you tell me a story about {4,5} monoids 03:54:21 Suzumiya Haruhi has all of that except there are boys too 03:54:23 they talk about sartre and nietzsche and stuff 03:54:42 i want a god that stays dead, not plays dead 03:55:12 shachaf: no 03:55:30 i hate monoids!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 03:55:47 Truly good shows do away with unneeded male characters altogether 03:55:48 :O 03:56:12 how about the unneeded female characters too 03:56:14 Truly good shows do away with both unneeded male and female characters 03:56:15 unneeded pets 03:56:20 I mean, if they're unneeded, who needs 'em? 03:56:24 unneeded farm animals 03:56:26 "if u get my meening" 03:56:26 unneeded zoo animals 03:56:29 unneeded wild animals 03:56:34 unneeded plants? 03:56:41 unneeded fungi????? 03:56:47 fungi are fun 03:56:51 That just reminds me of the Japanese evacuation of Manchuria. 03:56:53 -!- Bike_ has changed nick to Bike. 03:57:21 Lumpio-: but if they did that, there'd be none left to be generic useless protagonists! 03:57:22 the truly good show is one you experience when detached from the binds of conciousness 03:57:32 Who needs protagonists when we can have slice of life 03:57:47 If there's a male protagonist it's probably a lame light novel/eroge adaptation 03:57:49 Does Suzumiya Haruhi count as slice of life? 03:57:55 It can get a bit slice-of-life-y at times 03:57:56 Don't think it does no 03:58:15 I mean there's like, a plot 03:58:18 It's mainly a light novel adaptation that's somewhat less bad than the usuals 03:58:19 And twists 03:58:36 Well it's a relatively "old" light novel adaptation so 03:58:41 And the same episode seven times! 03:58:42 Fiora: What's novel about it? 03:58:44 The shit they've been putting out for the last five years defies understanding 03:58:52 shachaf: is that a pun ~_~ 03:58:53 Bike: I thought it was eight 03:58:58 Then again I never watched that. 03:59:05 Lumpio-: jphinano.wordpress.com/2012/02/29/all-light-novels-are-the-same/ you'd like this post XD 03:59:06 Fiora: Every single thing I say in IRC is a pun. 03:59:13 Lumpio-: "important" 03:59:14 Most of them are so well-hidden you never catch on. 03:59:34 shachaf: is that a pun 03:59:45 monqy: "maybe" 03:59:46 oh, light novel title time? 04:00:09 shachaf: do you understand this "animes" thing, do you have a pun about it 04:00:15 https://twitter.com/ln_title_bot 04:00:27 Lumpio-: OMG 04:00:45 monqy: yes but "its advanced" 04:00:49 wait. are those actual titles? 04:00:54 yes 04:00:57 oh my god 04:00:58 that is wonderful 04:01:07 The links are cover pictures. 04:01:09 monqy: you might have to level up before you can "get" it 04:01:16 "The little sister is a dragon and the older brother is prematurely balding" i dunno, this seems pretty good 04:01:26 Also if you google any of the Japanese titles you'll see they're available on Amazon. 04:01:42 haha 04:01:45 "I've become a character in an otome game" 04:02:02 悪に堕ちたら美少女まみれで大勝利!! | Who cares if I'm the bad guy? Fuck yeah, I got bitches | http://minus.com/lrgyzxBOicuL 04:02:04 "The ultimate girlfriend has black hair and glasses" I really don't think that narrows it down much mr. MC 04:02:05 This translation is the best 04:02:10 http://i3.minus.com/ibvxzBUsgG1IfP.jpg Where the fuck is the balding? 04:02:12 these titles are bad 04:02:19 These translations are inspired. 04:02:28 Bike: Can't you see the guy holding onto his wig? 04:02:31 Bike: i think he's covering it 04:02:47 Uh what kind of cover is it if the title isn't completely superfluous?? 04:03:00 Isn't it like, a standard LN thing now to have titles that have nearly nothing to do with the content? 04:03:15 It's also standard to make the titles ridiculously long sentences instead of real titles 04:03:15 i'm not well versed on this ln nonsense but it sounds bad 04:03:27 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer). 04:03:34 oh this one has a girl in bondage on the cover 04:03:47 Like, in English, not "Generic little sister", but "It turned out that my little sister is generic, or so I've heard" 04:04:09 monqy: A "light novel" is basically a relatively easy to read novel. Generally the target audience is teenagers and young adults. 04:04:11 again, that actually seems like it could be pretty good 04:04:23 Also they've got pictures. 04:04:23 Some of them are quite good. A ton of them are crappy. 04:04:25 Maybe some kind of PKD-ish thing about a guy discovering his little sister is a clone. 04:04:29 Light novels are like young adult novels, often with some pictures and stuff 04:04:30 So you only need to actually read a fraction of the pages. 04:04:36 And you have to wonder whether the narrator is actually just delusional. 04:04:41 That's not a defining attribute, but yes, many of them have illustrations. 04:04:50 hypothesis: about 13% of japanese culture is actually pkd with more porn 04:04:50 but in recent years there's been a massive flood of terrible light novels 04:05:03 which seem to all be some combination of a little sister fetish and harems 04:05:12 possibly aiming at anime adaptations (???) 04:05:14 little sister harems??? it could happen 04:05:19 beat me to it 04:05:21 ahaha 04:05:25 you know it'll happen 04:05:26 Quite likely. Little sister harem anime is a thing. 04:05:29 Lumpio-: jphinano.wordpress.com/2012/07/09/just-as-expected-my-light-novel-list-wasnt-wrong-after-all/ 04:05:30 :P 04:05:44 " My little sister attracts other women and I am suffering" this should be about magnets. 04:05:47 it already exists probably, but not in the true sense of the word 'harem' ;P 04:05:47 And "being done before" doesn't stop anime from happening. 04:06:00 myndzi: "harem anime" doesn't really, so. 04:06:09 i'm just saying 04:06:12 someone could crank it up to 11 04:06:21 "Anubis! This is how I became the strongest death worm" and this could be about a mongolian death worm trying to make his way in a world that treats him as a cryptid. 04:06:23 "I cannot explain why my girlfriend has ears and a tail" the cover of the book has a girl with neither [animal] ears or a tail 04:06:29 "Little Sister Factory" D: 04:06:32 imo we should have more anime about caliphate infighting? 04:06:38 Bike: YES 04:06:44 Fiora: maybe that's why he can't explain it 04:06:50 lol 04:06:54 she's obviously shy 04:06:56 and hiding them 04:06:58 the closest thing i know is Otoyomegatari which isn't really close at all 04:07:02 no he's just delusional 04:07:06 central asia ftw 04:07:13 a delusion is fine too 04:07:25 http://i1.minus.com/ibekVQokOfX3Pw.jpg Um hello, no death worms?? 04:07:32 I like "Anuvis", however. Good romanization. 04:07:56 It's... The only accurate one from the kana. 04:07:58 Actually, how was that pronounced in Ancient Egypt, I wonder. Do we even know much about Egyptian vocals? Did they write rhyming poetry? 04:08:08 monqy: should i read "death note" 04:08:13 maybe they're death worms that can transform into little girls 04:08:15 or uh 04:08:17 It's actually "anuvisu" there. (anuùīsu) 04:08:20 little girls that can transform into death worms 04:08:23 "Anubis" is probably hilariously inaccurate itself, given Europe's history with well everything. 04:08:32 monqy: no, the first one is better. 04:08:33 shachaf: idk if you want 04:08:54 "Shotgun Detective", now here's an anime 04:09:00 Bike: i was also thinking maybe that girl is eating the death worms, but they're radioactive death worms so 04:09:01 yes! 04:09:09 http://i5.minus.com/iYCtfBznaBzBP.jpg wow fuck nevermind 04:09:14 :( 04:09:20 looks anime alright 04:09:24 put some clothes on lady 04:09:41 > anime about searching for shotguns 04:09:43 Not in scope: `anime'Not in scope: `about'Not in scope: `searching'Not in s... 04:09:45 escher light novels http://minus.com/l20WYOO1tvaBa 04:09:50 how do you fuck up "Shotgun Detective"? All you need is a detective with a shotgun, and you have gold. Did you learn nothing from Shotgun Ninja?! 04:09:52 where's that guy's uhh 04:09:54 detective stuff 04:10:03 like magnifying glass, goofy hat, bubble pipe 04:10:10 No, no, he's modern. 04:10:14 It's all in the trenchcoat. 04:10:14 Who needs those when you have a shotgun 04:10:26 Fiora: still like the sulfufic acid there 04:11:18 Bike: That's the illustrator's name. 04:11:28 Fuck! 04:11:30 you can use a shotgun as a pipe 04:11:31 in a pinch 04:11:48 But can you use one as a magnifying glass or goofy hat 04:12:00 YOU MAY LIKE TO KNOW THAT SELFLOADING KARBIN OF SIMONOV TYPE IS COMPLETE SISTEMA FOR SMOKE DOPE, IN ADDITION TO RIFLE FOR KILL ENEMIES OF PARTY. 04:12:02 A shotgun would make for a pretty goofy hat. 04:12:04 maybe it transforms 04:12:27 Bike: my headcanon is that it's really what the artist used to bend her spine line that 04:12:31 *like that 04:12:56 i think there are more practical concerns at play there 04:13:00 I don't think acid would help there. 04:13:02 like attracting young male readers 04:13:05 Well, not that kind of acid, anyway. 04:13:16 you could like, eat through bone with it? I dunno 04:13:23 maybe she's dead 04:13:35 Then it would have to be formaldehyde 04:13:45 once the book's written she's not needed so they off her 04:13:51 pose her all pretty for the covershot 04:13:55 bam instant hit 04:14:00 it's so easy to make this bullshit into mildly interesting premises, fuck 04:14:22 " Schroedinger's Cat-Ears Girl" 04:14:54 Fiora: http://i4.minus.com/irp3jEbulk07z.jpg thinking this might deserve an escher girls submission 04:15:04 her hips just kind of evaporated 04:15:10 ....wow 04:15:23 they somehow avoided the temptation to show even more of her upper body though 04:16:36 "MummyPoko! ~One day, I awoke as a Mongolian Death Worm.~" 04:17:00 maybe they killed her but they killed her a bit too hard and when they reconstructed her her butt was in the wrong place, woops 04:17:21 deadlines, budgets, it'll have to do 04:17:56 http://i7.minus.com/ibk8GEDK3vjCgZ.jpg Oh, hey, they put up that one ABe illustrated. 04:18:20 negative happy chainsaw edge? 04:18:21 Negative happy! Chainsaw edge 04:18:23 yes. 04:18:58 Yeah, it's by the same guy as Welcome to the NHK, if you've heard of that. 's about crazy people 04:19:07 oh 04:19:15 I can't remember the guy's name 04:19:28 NHK wasn't a light novel though was it, it was liek a proper book 04:19:38 it looks Lainish? 04:19:51 Fiora: like i said, abe. 04:19:56 oh riiiight he's... yeah 04:20:01 * Fiora bad with names @_@ 04:20:05 http://en.wikipedia.org/wiki/File:NHKlightnovel.JPG he did NHK too. 04:20:14 ABe I can remember because it's three letters and he writes it dumb. 04:20:15 hum. 04:20:40 So how long until my misaki comes to save me .__. 04:20:57 you read NHK really weirdly 04:21:11 I never read it. 04:21:24 oh. well, she's fucking crazy. 04:21:27 spoilers! 04:21:30 And my brain filtered out the bad parts 04:21:35 orly ¬u¬ 04:21:36 all of it? 04:21:47 I did listen to some guy's lecture about the book at a convention though. 04:22:00 They must've toned it down a *lot* for the manga and even more for the animated adaptation 04:22:08 some guy's lecture 04:22:11 Yeah, they cut out all the cocaine. 04:22:16 And the CP 04:22:18 And the and the. 04:22:24 right. 04:22:28 `list 04:22:29 Taneb atriq Ngevd Fiora nortti Sgeo alot 04:22:29 A lot anyways. 04:22:41 "The perverted gentleman with a ten-meter diameter" ok, i'm done after this, nothing can beat this 04:23:01 what 04:23:04 where 04:23:26 nope. done. 04:24:02 半径十メートルの変態紳士 04:24:04 huh. 04:24:06 It exists. 04:24:45 *Although* that probably was never published. Just appeared in the list of finalists for a competition or something. 04:25:05 ...also to be exact that's a ten-meter radius not a diameter ¬u¬ 04:26:28 Yeah, I was wondering about that. 04:27:13 But it does sound much better in English the other way 04:27:47 -!- Nisstyre-laptop has joined. 04:28:39 `?hh object 04:28:41 Ahn ohbjehct ihs juhst sohmehthihng ihn a cahtehgohry. 04:29:13 Shouldn't that say "an object is just an object in a category of objects" or something? 04:33:19 good point 04:34:13 monqy: imo it was a pretty bad point 04:34:23 that was the joke 04:34:28 i said "good point" but i meant "bad point" 04:34:40 wait 04:34:50 sometimes you say one thing but mean another thing 04:34:56 no 04:35:01 is the joke that yes 04:35:04 yes 04:35:06 *no 04:35:09 *woops 04:35:32 "caught in ur own web of lies" 04:35:49 monqy: Have I ever made a good point? :-( 04:35:59 idk maybe 04:36:57 what about the time when i was all like 04:37:00 :·( 04:38:03 "I'll show you how to be a nerd if you go out with me!" still cannot even this twitter 04:38:39 "George's father tries to promote COBOL at SF startups. Kramer accidentally joins the R7RS working group." 04:40:23 are there any words that rhyme with monoid 04:40:25 or monoids 04:40:26 toroid 04:40:34 mongoloid 04:40:43 steroid 04:40:47 cycloid! 04:41:26 marvin the paranoid monoid 04:42:07 I don't think any of these are rhymes. :-( 04:51:50 @quote stereoid 04:51:51 No quotes match. 04:52:05 `quote monoid 04:52:06 No output. 04:52:19 `run > bin/quonoid echo quote monoid; chmod +x bin/quonoid 04:52:22 No output. 05:00:41 -!- Nisstyre_ has joined. 05:02:01 -!- Nisstyre has quit (Ping timeout: 256 seconds). 05:05:01 -!- WeThePeople has joined. 05:18:28 How many times are things going to be re-explained in this series? (Naruto) 05:18:35 `?hh naruto 05:18:36 nahruhto? ¯\(°_o)/¯ 05:19:40 `run ls wisdom | shuf 05:19:42 brainfuck \ ais523 \ oregon \ ehird \ fungot \ mad \ coppro \ monad \ d-module \ heck \ phantom__________hoover \ monoids \ homestuck \ lifthrasiir \ ievan \ wiki \ wisdom \ parsley \ coffee \ pizza \ footnote 8 \ taneb \ bike \ atrix \ banach-tarski \ you \ intercal \ boily \ lens \ phantom___hoover \ hexham \ irc \ ø \ helsinki \ devious \ kalli 05:19:54 shachaf: gyaaaaa! 05:20:05 `?hh pizza 05:20:06 Pihzza ihs a kihnd ohf rhuhbahrb pie mahde wihthouht rhuhbahrb. 05:20:14 `?hh irc 05:20:15 ihrc ihs uhsehlehss. 05:20:43 `?hh heck 05:20:45 Hehck ihs whehre you ehnd uhp ihf you dohn't behliehve ihn Gohsh. 05:20:55 `?hh homestuck 05:20:56 Hohmehstuhck ihs a cuhlt rehlihgiohn fohr dihsahffehctehd teehns. Gahmzee drihvehs the buhs. 05:21:51 `?hh helsinki 05:21:52 Hehlsihnki ihs the cahpihtahl ohf Fihnlahnd. Ihts maihn suhbuhrb ihs Hehxhahm, Nohrthuhmbehrlahnd. 05:21:55 `run ls wisdom | shuf 05:21:56 lifthrasiir \ burma \ välkommen \ atriq \ ievan \ irc \ bonvenon \ structural subtyping \ phantom___hoover \ cyberiad \ scotland \ oklopol \ gaszpacho \ d-module \ the us \ misspellings of croissant \ devious \ quote \ you \ gaspacho \ the them \ hagb4rd \ ☃ \ norway \ ngevd \ egobot \ footnote 8 \ pietbot \ flagpole \ fungot \ itidus19 \ coppro 05:22:02 lifthrasiir: Sorry! 05:22:07 `?hh pietbot 05:22:10 Piehtboht ihs the ohnly thihng thaht cahn dehfeaht fuhngoht. 05:22:14 `?hh the us 05:22:16 The UhS ihs the couhntry ohppohsehd to the THEhM. 05:30:25 jlul 05:30:28 Do you know if foreign keys referencing other files are allowed in SQLite? 05:30:46 maybe the regex should be two regexes 05:30:50 one for each case 05:30:55 upper and lower 05:31:08 so the US becomes UHS and THEM becomes THEHM 05:31:31 What do uS and Us turn into? 05:32:16 `? fungot 05:32:16 Bike: the best acid? where is it? 05:32:17 fungot cannot be stopped by that sword alone. 05:32:24 Whatever you think of Naruto, the music is good 05:32:42 fungot: kmc would be the person to ask 05:32:42 shachaf: that paper ( clinger's) has a very precise meaning in c or even c++' useless 05:32:49 kmc: (Where is it?) 05:40:18 haha 05:40:19 i do not know 05:42:46 What about just good acid? 05:43:03 nope 05:43:08 i mean i know some people who might know 05:43:10 but i do not know 05:43:23 acid is not, how you say, efficient market commodity 05:45:57 :-( 05:45:59 What about hydrochloric acid? 05:49:26 `addquote Bike: the best acid? where is it? 05:49:27 kmc: what are flow info and scope id). if police is sent to irc" without realizing other stuff is fixed :)) 05:49:30 939) Bike: the best acid? where is it? 05:49:41 fungot: you have to tell me if you're a cop 05:49:42 kmc: he left, never to any other. green tabasco sauce and fnord. they work " well enough" and abysmal more like " wow, cool, you can try 05:50:30 fungot! 05:50:31 kmc: it seems to have stabilized at fnord iterations and isn't really assignment, it gives you a 3d woman 05:50:52 fungot… 05:50:53 kmc: try reading the appropriate documentation, fez??? for the lower-case alphabet bit? 05:51:01 yeah, fez, what the hell 05:51:26 good style 05:51:28 is this irc 05:51:29 ^style 05:51:29 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 05:51:36 fungot: good style 05:51:36 shachaf: advice 11903 for edw: i am gavino. 05:51:51 fungot: good advice 05:51:52 shachaf: then you'll get to that collapse point fnord the z3 was the tc one. native speakers. 05:54:54 fungot: hi monqy 05:54:55 shachaf: well, i was mostly fighting with this encoding stuff fnord was never published in english, i can't say, on the fly then outputs it 05:54:59 hi shachaf 05:55:05 monqy: hi fungot 05:55:06 shachaf: or did i just wipe everything outside of /proc, should you happen to feel coherent right now? just experimenting with my graph version, stacks and numbers are very different 06:01:51 -!- augur has joined. 06:02:18 -!- augur has quit (Read error: Connection reset by peer). 06:02:42 -!- augur has joined. 06:16:14 http://en.wikipedia.org/wiki/Space_elevator_safety 06:16:33 "Also, if you get killed, everything is lost" 06:16:45 I guess the Narutoverse hasn't heard of having a bus factor of >1 06:16:58 Have they heard of monoids? 06:16:58 ...then again, neither have some software projects, including VP 06:17:15 1?hh narutoverse 06:17:24 `?hh narutoverse 06:17:25 nahruhtohvehrse? ¯\(°_o)/¯ 06:17:40 `learn narutoverse is a place where they haven't heard of having a bus factor of >1. 06:17:44 I knew that. 06:19:19 `?hh naruto 06:19:21 nahruhto? ¯\(°_o)/¯ 06:19:25 Sgeo: who is naruto 06:20:06 `run sed -e 's/$/ Sgeo drives the bus./' wisdom/narutoverse 06:20:07 narutoverse is a place where they haven't heard of having a bus factor of >1. Sgeo drives the bus. 06:20:20 `run sed -ie 's/$/ Sgeo drives the bus./' wisdom/narutoverse 06:20:20 Jafet++ 06:20:23 No output. 06:20:28 Like the shorter and more familiar strings of stringed musical instruments, the cable of a space elevator has a natural resonant frequency. 06:23:45 `?hh space elevator 06:23:47 spahce ehlehvahtohr? ¯\(°_o)/¯ 06:24:48 `?hh chicago 06:24:50 chihcahgo? ¯\(°_o)/¯ 06:24:52 fungot elevator 06:24:53 kmc: right. a minor third has a ratio of fnord :d 06:24:57 fungot: what's chicago like 06:24:57 shachaf: i support riastradh's requests for more parens as well. to prove the compliance 06:25:07 `run echo "Like the shorter and more familiar strings of stringed musical instruments, the cable of a space elevator has a natural resonant frequency." >"wisdom/space elevator" 06:25:10 No output. 06:25:16 `?hh space elevator 06:25:18 Lihke the shohrtehr ahnd mohre fahmihliahr strihngs ohf strihngehd muhsihcahl ihnstruhmehnts, the cahble ohf a spahce ehlehvahtohr hahs a nahtuhrahl rehsohnahnt frehquehncy. 06:25:23 Yes, good. 06:28:01 shachaf did you get the crypto puzzles yet 06:28:33 No, I haven't sent an email. 06:29:06 I guess they're "that good" 07:00:43 -!- WeThePeople has quit (Quit: Leaving). 08:35:41 -!- nkg has joined. 08:36:27 -!- nkg has quit (Client Quit). 08:45:26 -!- azaq23 has joined. 08:46:35 -!- Sgeo has quit (Read error: Connection reset by peer). 08:46:51 -!- Sgeo has joined. 08:49:17 Does Parsec assume a single correct unique parsing? 09:16:14 * Sgeo manages to do what he needs without Parsec 09:17:00 was it an interesting thing 09:18:21 meh 09:18:35 Well, it was difficult for me, so I guess that's interesting? 09:18:42 no 09:19:07 did you write a parser by hand 09:25:43 monqy: Are covariant proxies useful? 09:26:02 i don't know 09:26:09 I don't either. 09:26:17 I can't think of any use for them off-hand. 09:27:28 -!- epicmonkey has joined. 09:28:06 -!- Taneb has joined. 09:29:41 -!- Bike has quit (Quit: dead). 09:34:31 monqy, yes 09:34:56 you know there's a reason why parsy things exist right 09:35:00 it's because writing parsers by hand is dumb 09:36:23 monqy: what if i want a streaming parser!! 09:36:38 get someone to write a parsy thing for those, then use that 09:36:52 I tried to use Parsec but it ate my memory 09:36:54 monqy: please write a parsy thing for those 09:37:10 Sgeo: did you make a memory leaking infinite loop 09:37:11 Also I don't know if the specs even had a unique parsing 09:38:37 As a matter of fact there is not. 09:38:46 There are strings that can validly be parsed multiple ways. 09:39:03 oh no!!! 09:39:39 -!- aloril has quit (Ping timeout: 244 seconds). 09:39:55 does your hand-written parser assume a single correct unique parsing ? 09:40:05 Sgeo: can i recommend monoids 09:40:07 i love them 09:40:14 monqy, no it doesn't. 09:40:18 :0 09:40:35 ps what does it mean to "assume" a single correct unique parsing 09:42:30 -!- oklopol has joined. 09:56:43 -!- aloril has joined. 09:59:37 -!- Sgeo has quit (Read error: Connection reset by peer). 10:00:19 -!- impomatic has quit (Ping timeout: 244 seconds). 10:00:25 -!- Sgeo has joined. 10:00:38 GHCi is not very easy to interrupt when you do something dumb 10:03:28 Sgeo: I think you are correct. 10:10:07 I made some changes to the SQLite command shell. Now there is the command .virtual to create an empty virtual table module so that you can create virtual tables for use with other programs, and .extract command to extract blob data from SELECT statements to an external file, and the blobfile(...) function to read an external file. 10:15:36 -!- zzo38 has quit (Remote host closed the connection). 10:20:15 -!- carado has joined. 10:22:59 -!- Nisstyre-laptop has quit (Ping timeout: 252 seconds). 10:31:32 -!- monqy has quit (Quit: hello). 10:37:42 -!- Phantom_Hoover has joined. 11:50:03 -!- Arc_Koen has joined. 12:09:39 -!- sirdancealot7 has joined. 12:49:18 -!- aloril has quit (Ping timeout: 245 seconds). 13:05:42 -!- aloril has joined. 13:33:43 `?hh zzo38 13:33:48 zzo38 ihs noht ahctuahlly the nehxt vehrsiohn ohf fuhngoht, muhch ahs iht may seehm. 13:33:57 fungot: hi fuhngoht 13:33:58 shachaf: i mean, he has the materials with which to fiddle now? great! it is a top-level or body form, or so 13:34:07 fungot: or so 13:34:07 shachaf: i cannot possibly fathom why one would want to do ( source foo) or something 13:34:16 -!- oerjan has joined. 13:34:19 i cannot either, fungot. i cannot either 13:34:19 shachaf: the decryption part isn't correct, is unhelpful, i guess. ( but i guess it could be a movie :-s 13:34:26 helloerjan 13:34:38 g'dachaf 13:34:55 Oh, that's good. "g'dachaf". 13:35:01 ^rot13 g'dachaf 13:35:01 t'qnpuns 13:35:06 `wehlcohme oerjan 13:35:07 oehrjahn: Wehlcohme to the ihntehrnahtiohnahl huhb fohr ehsohtehrihc prohgrahmmihng lahnguahge dehsihgn ahnd dehployhmehnt! Fohr mohre ihnfohrmahtiohn, chehck ouht ouhr wihki: http://ehsohlahngs.ohrg/wihki/Maihn_Pahge. (Fohr the ohthehr kihnd ohf ehsohtehrihca, try #ehsohtehrihc ohn ihrc.dahl.neht.) 13:35:27 `run wehlcohme oerjan | sed s/dahl/dal/g # for you 13:35:28 oehrjahn: Wehlcohme to the ihntehrnahtiohnahl huhb fohr ehsohtehrihc prohgrahmmihng lahnguahge dehsihgn ahnd dehployhmehnt! Fohr mohre ihnfohrmahtiohn, chehck ouht ouhr wihki: http://ehsohlahngs.ohrg/wihki/Maihn_Pahge. (Fohr the ohthehr kihnd ohf ehsohtehrihca, try #ehsohtehrihc ohn ihrc.dal.neht.) 13:35:30 thahnk you 13:37:33 However, there is already the problem, since there is no SQLITE_OMIT_UNICODE. <-- once again, zzo38 is thwarted in his attempt to avoid unicode 13:38:12 zzo thirty hate :'( 13:50:29 I could probably tell the time by what's on my Tumblr dashboard 13:51:01 Time to log out of Tumblr? 13:51:12 Log... out? 13:51:41 It's Adventure Time with hints of Team Fortress 2 and Homestuck 13:51:51 http://www.tumblr.com/logout 13:51:52 hth 13:52:25 There's always http://www.tumblr.com/account/delete if you're serious about logging out 13:55:00 You monster. 13:57:53 It's the only cure to the thing. 13:58:59 Maybe some kind of PKD-ish thing about a guy discovering his little sister is a clone. <-- polycystic kidney disease is no laughing matter. 14:01:14 * oerjan thinks philip k. dick may fit better. 14:14:14 -!- ais523 has joined. 14:26:35 !bf +++++[-] 14:26:45 `bf +++++[-]. 14:26:47 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bf: not found 14:26:57 Woah 14:27:11 Is the GBP based on a banknote standard 14:30:27 great british paper 14:31:33 horray \o/ 14:31:58 im tire 14:32:10 elliott: so you're on a roll? 14:32:10 `? elliott 14:32:12 elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? 14:32:39 `learn elliott is tire 14:32:43 I knew that. 14:32:46 `revert 14:32:49 Done. 14:33:09 `run echo " He is also tire." >>wisdom/elliott 14:33:13 No output. 14:33:21 `? elliott 14:33:23 elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? \ He is also tire. 14:33:26 oops 14:33:28 are you suggesting the other information was useful 14:34:07 `run sed -i -e 1N -e 's/\n//' wisdom/elliott 14:34:10 No output. 14:34:13 `? elliott 14:34:14 elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? He is also tire. 14:35:22 `run echo test | sed -e 's/te/o/;s/st/k/' 14:35:24 ok 14:36:38 `run yes | head -10 14:36:39 y \ y \ y \ y \ y \ y \ y \ y \ y \ y 14:37:15 `run yes | head -10 | sed -e '1,$N;s/\n//' 14:37:16 yy \ yy \ yy \ yy \ yy 14:37:19 hmph 14:37:50 Can I use regex to replace matched brackets? 14:37:57 [...[...]..] 14:38:07 no 14:38:11 except yes if perl 14:38:13 It would have to replace the inner brackets first. 14:38:40 ok. 14:38:47 maybe I don't need that. 14:39:03 nope. 14:39:05 \o 14:41:12 -!- yxynaxen has joined. 14:41:58 `welcome yxynaxen 14:42:00 yxynaxen: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 14:42:12 -!- yxynaxen has left. 14:45:43 hi bye 14:46:21 wrong kind of esoteric, I guess 14:49:44 olsner: hi bye 14:50:08 http://codepad.org/mWNt1mGS 14:50:18 That wasn't even that difficult. 14:50:38 elliott: hi bye 14:50:41 oerjan: hello again! 14:51:21 goætmida 14:52:29 well 14:52:44 now I just need . and , too 14:54:44 writing bf in regexps may be a little hard. 14:55:23 elliott: PCRE can also match brackets in regexps 14:55:33 it's not identical to perl regexp, but it does include the necessary features 14:55:53 I'm not sure if Perl knew what they'd created when they added (??{}) 14:56:07 the documentation said that they were adding the feature to see what happened 14:56:20 and then when they realised people were using it to write recursive regexps, they added an explicit recursion operator 14:56:28 PCRE doesn't have (??{}), but it does have the recursion operator 14:56:52 I'm gonna actually learn what a D-module is 14:57:24 I wonder how populated the dalnet #esoteric is 14:57:30 and how much of its traffic we're responsible for 14:57:31 A ring is like something with addition and multiplication 14:57:42 I've been working with semirings a lot 14:57:46 a semiring has addition and multiplication 14:57:57 a ring has subtraction and division too (apart from division by 0) 14:58:29 Oh, okay 14:58:46 * oerjan swats ais523 -----### 14:58:51 NO DIVISION 14:59:08 A ring of differential operators would be a ring where the numbers are differential operators, right? 14:59:30 oerjan: I think it has multiplicative inverses, right? 14:59:38 no. that's a division ring. 14:59:39 multiplicative inverness 14:59:42 ah, OK 14:59:49 I only work with semirings 14:59:56 none of this subtraction nonsense 15:00:25 Taneb: except they don't call them numbers afaik. 15:00:49 Sssh 15:01:16 `? Inverness 15:01:18 Inverness? ¯\(°_o)/¯ 15:01:27 Taneb: the technical term is "thingies" 15:01:41 `learn Inverness is a city in Scotland. The ring road isn't multiplicative. 15:01:44 I knew that. 15:03:03 "elements", if you must. 15:03:34 `? ring 15:03:36 ring? ¯\(°_o)/¯ 15:04:04 `echo "Addition, subtraction and multiplication have a certain ring to them." >wisdom/ring 15:04:05 ​"Addition, subtraction and multiplication have a certain ring to them." >wisdom/ring 15:04:08 `run echo "Addition, subtraction and multiplication have a certain ring to them." >wisdom/ring 15:04:11 No output. 15:04:21 `? ring 15:04:22 Addition, subtraction and multiplication have a certain ring to them. 15:04:32 `bf_textgen hello 15:04:33 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bf_textgen: not found 15:04:41 hm. 15:04:45 `bfgen hello 15:04:46 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bfgen: not found 15:04:52 `bf_txtgen hello 15:04:53 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bf_txtgen: not found 15:04:57 oh hm 15:05:00 !bf_txtgen hello 15:05:04 ​56 ++++++++[>+++++++++++++>+>><<<<-]>.---.+++++++..+++.>++. [241] 15:06:58 `run echo "There are two kinds of fields. Those where you can divide (except by zero), and those where you can conquer." >wisdom/field 15:07:01 No output. 15:07:46 I'm not quite sure how wisdom ended up full of abstract mathematical concepts 15:07:47 but I approve 15:08:26 241 cells? 15:08:30 or what is that number 15:08:49 probably number of execution steps. 15:09:08 >><< 15:09:18 there are only 5 cells. 15:09:22 I wonder how much better a bf_txtgen you could make 15:09:27 well then I have some nasty bug :( 15:09:33 !bf_txtgen a 15:09:35 ​39 ++++++++[>++++++++++++>+>><<<<-]>+.>++. [90] 15:09:40 also, what the shortest string is that it's undecidable what the shortest program to output it is 15:10:03 ais523, I think that's undecidable 15:10:23 Taneb: yeah, I guess it is, but it still /exists/, despite being undecidable 15:10:36 also, it's not necessarily undecidable, it's just not necessarily decidable 15:11:31 ah, there we go. 15:11:31 My gut is telling me that any string you can write down, the problem of shortest program to output it is decidable, although perhaps difficult to automate 15:12:25 The number in []s is IIRC the generation number. 15:12:43 Related to the algorithm used. 15:12:51 Taneb: my get tells me your gut needs recalibration. 15:12:55 *gut 15:13:18 Taneb: see kolgomorov complexity. 15:13:36 Taneb: also "decidable but difficult to automate" is kind of incoherent... 15:14:04 My gut isn't very good at this 15:14:22 Taneb: I disagree, I'd be surprised if it were more than, say, 510 characters (the length of an IRC line) 15:14:25 and may well be a lot shorter 15:14:37 http://esolangs.org/wiki/Burlesque#Brainfuck_Interpreter 15:14:44 I must have been bored today :) 15:14:59 The thing about kolgomorov complexity is that you can only get an upper bound 15:15:03 It's useful anyway 15:15:03 hmm, what happened to that halting analysis of BF programs we were going to do? 15:15:12 I forget what the purpose was 15:15:24 oh, we were trying to find the shortest BF program s.t. we didn't know whether it halted or not 15:15:31 yeah, that sounds like an interesting problem 15:15:38 by way of exhaustive search with a partial halting checker, and solving the ones it couldn't by hand, until we got stock 15:15:41 *stuck 15:15:48 elliott: that's how Wolfram found the 2,3 machine 15:16:00 oh, cool 15:16:07 not in terms of a halting checker, but in terms of finding a pattern that his program couldn't predict 15:16:12 ais523: I bet you actually mean "someone Wolfram knew" though :P 15:16:12 How far did you get? 15:16:15 FreeFull: we didn't 15:16:17 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 15:16:25 elliott: that's the sort of thing he usually did himself, actually 15:16:29 just massive brute force searches 15:16:35 he left proofs up to other people, though 15:16:50 ais523: people like Alex Smith 15:17:02 -!- Phantom_Hoover has joined. 15:17:05 (possibly for the best: one of the only proofs I think he did himself is both very short, and incorrect) 15:17:14 (I managed to fix it, but didn't write the fix down) 15:17:22 * FreeFull looks at the 2,3 machine universality proof 15:17:47 FreeFull: imo that proof is lame and the author stinks 15:17:56 good thing they're not in #esoteric 15:18:40 I've concluded that the proof is definitely correct, but there's quite some valid debate about what it actually proves 15:19:04 and don't want to resubmit it to the journal until I've figured out what it is I'm trying to prove 15:19:13 * ais523 mentions http://esolangs.org/wiki/1cnis 15:19:24 but I'm not convinced it actually solves the problem, for two different reasons 15:19:58 ais523: oh, did they give up on accepting it? 15:21:09 no 15:21:25 they're still trying to get me to correct for their feedback and resubmit 15:21:35 I want a paper that will satisfy other people too, though, rather than just them 15:22:19 he'll get it fixed just after implementing feather, don't you worry 15:22:46 * oerjan feels mean 15:24:15 oerjan: I think that's GreyKnight's job now. 15:25:06 mroman, try writing a brainfuck interpreter in Fueue 15:27:50 oerjan: you can blame the wolfram people for killing my motivation to work on it 15:27:53 by being too pushy 15:28:30 ah. then i entirely sympathize. 15:31:53 fueue 15:31:58 is not in the wiki 15:32:16 mroman 15:32:24 is not very good at wiki searches 15:32:51 mroman, did you search for Feueu? 15:33:08 Because that doesn't exist and I use to make that mistake every time, and I created Fueue 15:33:14 http://esolangs.org/wiki/Fueue 15:33:20 nope 15:33:24 yeah, first time 15:33:32 I wrote the URL without even checking to see what the article was called 15:33:33 seriously 15:33:36 the fuck? 15:33:42 it's not particularly unguessable 15:33:48 did you search Wikipedia by mistake/ 15:34:01 oh 15:34:04 yeah 15:34:07 maybe he seached ehsolahngs.ohrg 15:34:11 i'm little bit legasthenic. 15:34:16 so I searched for fuefue 15:34:17 *+h 15:35:30 Taneb: If you write one in underload. 15:35:39 ah, stalemate. 15:35:58 (it's actually hypothetically possible to write a BF interpreter in Fueue) 15:36:16 (although ridiculously difficult) 15:36:24 (Underload lacks the IO capabilities 15:36:26 ) 15:37:12 No biggy. 15:37:31 Just put IO somewhere. 15:38:03 oerjan: well come to qwerty.com 15:38:13 elwat 15:38:29 oh i meant to address that to ais523 15:38:32 sorry 15:38:36 ais523: well come to qwerty.com 15:38:59 elliott: why do you want me to "come to" a domain name? 15:39:07 normally I'd assume HTTP, but the way that's worded implies it isn't 15:39:09 IRC? 15:39:39 ais523: I was just well coming you! 15:40:00 elliott: oh, I see 15:40:38 you're complaining about a typo/bad grammar on a website, without sufficient context to make the fact you're doing that clear 15:40:54 * oerjan sees no well come on qwerty.com 15:41:06 ais523: wrong again, sorry :( 15:41:21 in fact I did not even know what content was hosted on qwerty.com when I sent that line 15:41:26 well then I'm going to ignore you 15:41:27 though curiosity got the better of me shortly after 15:41:34 ais523: ok :( 15:41:40 ais523: i'll miss you 15:41:42 not /ignore 15:41:50 just, not care about what you said, because I don't understand it 15:41:58 hmm, apparently there's number keypad training 15:42:00 that sounds like a convenient superpower 15:42:32 Careless Man 15:43:07 I wonder if there's a thriving community of people developing alternative numpad layouts somewhere 15:46:49 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 15:53:05 Are pointers torsors? 15:54:39 wat. 15:54:58 I'm fairly sure I made none of those words up 15:55:21 http://ro-che.info/articles/2013-01-08-torsors.html 15:55:59 oh that sense. then yes. 15:56:09 * oerjan already has seen that article. 15:56:21 ignoring out of bounds errors. 15:57:10 and not being allowed to subtract pointers from different arrays. 15:57:38 "yes except, no" 15:58:17 that is, pointers are torsors if you treat all of memory as one byte array with wrapping semantics for the addresses. 15:58:36 Yay 15:58:41 -!- Phantom_Hoover has joined. 15:58:45 Potentially useful for someone who isn't me! 16:01:13 does the memory layout of core war fit? only relative addressing iirc. 16:01:45 I don't know core war well enough to tell you 16:02:04 although i guess that means they _only_ store differences, and have no actual pointers as first class values 16:02:39 anyway -> 16:02:46 -!- oerjan has quit (Quit: leaving). 16:03:54 -!- Taneb has quit (Remote host closed the connection). 16:04:20 -!- Taneb has joined. 16:05:58 -!- aloril has quit (Ping timeout: 245 seconds). 16:18:32 -!- aloril has joined. 16:20:29 @tell kmc http://i.imgur.com/Iyl5fm3.jpg 16:20:29 Consider it noted. 16:22:14 -!- copumpkin has quit (Ping timeout: 252 seconds). 16:22:45 -!- copumpkin has joined. 16:41:23 -!- sebbu has quit (Ping timeout: 245 seconds). 16:41:34 "But as mathematicians and security agents made their way to New Jersey, a number of people began to smell something fishy" 16:42:01 -!- azaq23 has quit (Ping timeout: 256 seconds). 16:42:01 Taneb: source? 16:42:47 The music of Primes by Marcus du Sautoy 16:43:15 That bit came from a description of an April Fool's prank that went horribly, horribly right 16:47:37 Enrico Bombieri claimed a physicist had solved the Reimann Hypothesis and everyone believed him 16:53:28 Aaargh, I just read "nomadic" as "monadic" and got really confused for a second 16:54:39 Oh wow. 16:54:53 Oliver Smoot ended up being chairman of both ANSI and ISO. 16:55:44 simultaneously? 16:55:51 No, consecutively. 16:57:29 Was he the guy with the bridge? 16:58:31 Yes. 17:04:49 -!- sebbu has joined. 17:17:09 @messages 17:17:09 elliott said 56m 40s ago: http://i.imgur.com/Iyl5fm3.jpg 17:17:30 elliott: yeah wtf 17:17:43 you're welcome 17:17:56 I like "Klout has created Page Rank for people" 17:18:02 well... done? 17:18:03 `quote 17:18:05 755) (help why are german) i play the german version of crawl i 17:18:38 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 17:19:16 it's getting harder to make fun of this stuff, when I say "bro down and crush code" i thought it was a ridiculous overexaggeration 17:19:30 that said, the sign is from 2 years ago 17:19:43 and they were roundly ridiculed for it then too 17:19:50 well what is time 17:19:54 imo: an illusion 17:19:58 taking away the moments that make up the dull day 17:20:03 -!- aloril has quit (Ping timeout: 276 seconds). 17:20:08 isn't it "ticking" 17:20:15 -!- Vorpal has joined. 17:20:20 elliott, I think it's more like a burrito 17:20:32 If you have too much of time you get ill 17:20:37 But damn it felt good 17:21:13 You only get out what you put in, unless your time was made by someone else, which isn't as fun 17:23:02 burritos don't work like that! 17:28:59 elliott: maybe 17:32:19 -!- aloril has joined. 17:32:52 ais523, am I thinking of tacos? 17:34:49 elliott: maybe it's unfair to make fun of klout 2 years after they apologized, but on the other hand it does please me that the reputation damage from these things is long lasting 17:37:27 wait 17:37:30 what was the apology 17:37:43 "we're sorry we put out ads that made us look like idiots" 17:38:02 kmc: isn't there a more fundamental problem in the form of the fact that klout is also inherently such bullshit 17:38:11 and therefore deserving of mockery regardless of their recruiting practices anyway! 17:39:52 oh wait was it because they used the black power fist 17:40:01 Phantom_Hoover: i assume it was something along the lines of "sorry for putting out a terrible sexist ~brogrammer~ recruitment ad" except less sincere 17:40:45 Er, that really doesn't seem like the sort of thing for which a company would issue a direct apology. 17:41:03 Unless there was a really massive outcry, in which case they might do a "sorry you were offended". 17:41:10 lmgtfy 17:41:20 well 17:41:21 17:19:30 that said, the sign is from 2 years ago 17:41:21 17:19:43 and they were roundly ridiculed for it then too 17:41:31 http://corp.klout.com/blog/2013/01/moving-past-brogramming/ hm a new post 17:41:31 i assume there was at least some kind of outcry involved in that 17:41:35 i guess because it's going around again 17:42:05 Phantom_Hoover: anyway yes "sorry you were offended" is what I meant by "except less sincere" 17:42:05 Right but like I said, ridicule doesn't really make for apologies. 17:42:08 SORRY YOU MISINTERPRETED ME 17:43:28 the say the company is 30% women now, but I would be curious to know about engineering / technical roles 17:44:35 anyway i can't find the original apology so sorry 17:44:51 "Kloutlaws" 17:44:54 "Kloutlaws" 17:44:56 "Kloutlaws" 17:44:57 "Kloutlaws" 17:45:00 yeah 17:45:50 -!- aloril has quit (Ping timeout: 244 seconds). 17:50:05 anyway maybe if klout did anything of value I would not mock them 17:50:20 though this is my first time I have mocked klout I think!!! a first time for everything 17:50:43 -!- sebbu has quit (Ping timeout: 260 seconds). 17:52:59 -!- zzo38 has joined. 17:55:43 i would still mock them for that poster 17:56:34 i've said it before but: startup hackers are allegric to professionalism for the same reason nerds are allergic to sports 17:56:43 backlash against a (real or perceived) past aggressor 18:00:02 don't worry kmc, we don't expect you to avoid saying something you've said before 18:00:07 good 18:00:13 i like repetition, it is so easy 18:01:56 -!- sebbu has joined. 18:01:56 -!- sebbu has quit (Changing host). 18:01:56 -!- sebbu has joined. 18:02:54 -!- aloril has joined. 18:03:08 -!- variable has changed nick to trout. 18:15:14 -!- Bike has joined. 18:28:06 -!- AnotherTest has joined. 18:39:30 " My gut is telling me that any string you can write down, the problem of shortest program to output it is decidable, although perhaps difficult to automate" obviously yes 18:39:50 probably most of them aren't provable in your favorite logic though 18:42:01 ais523: maybe you could prove your machine is p complete? 18:45:53 -!- gadis has joined. 18:51:43 Okay, so I fiddled a bit with RRDtool. This is very much work-in-progress, but here's a sneak preview: http://zem.fi/esostats/ 18:51:43 -!- gadis has quit (Read error: Connection reset by peer). 18:51:51 (And off to the sauna. ->) 18:52:12 also what exactly did cook prove? 18:52:16 for 110 18:53:01 universalislaijelijrlijtylijy or something? 18:53:02 "idk" 18:54:04 fizzie: apparently "z" had a spike of popularity in 2005 18:54:15 and "q"s popularity has been steadily increasing over the years 18:54:15 yeah and o had one near 2003 18:54:25 with a spike in sep/oct last year 18:54:28 *sept? 18:54:35 who knows 18:55:30 i don't get it, there are clear mathematical definitions for when a set is computationally hard, and then people write these insanely complicated constructions and don't bother to check what they actually prove 18:55:49 -!- sebbu2 has joined. 18:55:49 -!- sebbu2 has quit (Changing host). 18:55:49 -!- sebbu2 has joined. 18:55:51 oklopol: in what context? 18:55:58 estoeric languages or CS generally? 18:57:39 in the context that i just scrolled through the paper that "proves rule 110 is universal", and there is not a single theorem. presumably it does explain what exactly is proven in the text though, i should probably at least read the intro. 18:58:00 -!- sebbu has quit (Ping timeout: 256 seconds). 19:00:01 oklopol: have you read ais' paper 19:00:03 oklopol: hmm, I'm not sure; the problem is the 2,3 machine takes ever expanding memory to accomplish anything (and this is trivially easily provable) 19:00:18 i have not 19:00:23 oklopol: imo read it 19:01:02 i have many things i should read 19:01:04 :/ 19:02:06 -!- Nisstyre-laptop has joined. 19:02:28 -!- sebbu2 has changed nick to sebbu. 19:02:37 oklopol: it's short! 19:02:41 won't you have fun 19:02:53 yeah i can't really find what cook's paper proves 19:05:14 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 19:05:29 "So one undecidable question is, 'Will the following glider ever appear?'" 19:06:02 -!- Phantom_Hoover has joined. 19:06:03 the fuck is that supposed to mean? 19:07:39 is the rule 110 proof one of those with a computable but non-repeating initial state? 19:08:01 who knows 19:08:14 kmc: I think that's just ais523's 19:08:27 is the proof still being suppressed by the mathematica secret police? 19:08:42 http://www.complex-systems.com/pdf/15-1-1.pdf 19:08:52 if you can make sense out of that, do tell 19:09:30 http://www.cs.may.ie/~tnaughton/abc/download/dw15.pdf here's p completeness, which actually means somethin 19:09:31 g 19:13:03 kmc: the rule 110 initial state is repeating 19:13:11 although not repeating zeros, it's quite a complex repeating pattern 19:14:41 repeating in what sense? 19:15:01 eventually periodic in both direction, that is, of the form ...uuuvwww...? 19:15:04 *directions 19:15:06 yeah, uuuvwww 19:15:30 -!- Taneb has quit (Quit: Leaving). 19:15:42 so given u, v, w, u', v', w', it is undecidable whether ..uuuvwww... eventually evolves into ...u'u'u'v'w'w'w'...? 19:15:58 is that what they prove 19:21:38 oklopol: CS academia is stupid 19:22:09 oklopol: well, the programmer's point of view is "you're simulating the execution of another program, and anything on that program can be mapped onto this one" 19:22:18 I think what you do is you define an easily observable halt state 19:22:27 and prove it's undecidable whether that is reached 19:22:40 for the rule 110 automaton, it would be of the form "the sequence q doesn't appear anywhere on the tape" 19:22:58 the halt state works much more neatly for the 2,3 machine, we use a half-infinite tape 19:23:01 falling off the end = halt state 19:26:49 prove it's undecidable whether that is reached from what? 19:27:17 cellular automata have infinite configurations 19:28:19 i agree that from a terrible writer's point of view, it's enough to write the construction, as everyone who reads every last detail of it will know what it does or does not prove. 19:30:32 (which is not what you said, the agreeing was just a common assholing technique) 19:31:20 oklopol: actually, I think what you do is, you prove that that configuration is reached if and only if you're encoding a TM that halts into the initial tape 19:31:37 at least that's what I did 19:34:10 and that is fine and well once you actually say what kind of initial tapes you have 19:34:31 say, eventually periodic points. 19:34:47 (the ...uuuvwww... kind) 19:35:28 oklopol: actually what I was working on before I stopped for the 2,3 proof was a precise definition of what sort of initial tape I had 19:37:41 i have no qualms with you, i have qualms with cook who seems to have a clear problem he has solved but doesn't explain what. you have trouble figuring out what you can solve, that's not laziness, that just means math is being a bitch. 19:38:07 oklopol: anyway I didn't resubmit the paper because of that 19:38:20 specifically, my situation is that I'm pretty certain I've proved something, just am not sure what 19:38:48 yeah 19:41:18 re the topic, is goat-time like space-time except with goats instead of space? 19:41:28 is 1cnis enough for your proof? 19:41:58 also are you familiar with substitutions and their fixed points, because i'm wondering if 1cnis has something to do with those 19:52:24 oklopol: I don't know if 1cnis is enough 19:52:35 that's what I've been "trying to establish" for well over a year now 19:58:05 the problem is generating nested loops 19:59:10 -!- Taneb has joined. 19:59:52 -!- ogrom has quit (Quit: Left). 20:07:29 -!- oerjan has joined. 20:14:19 -!- ogrom has joined. 20:14:30 -!- mekeor has joined. 20:18:04 have you looked at fixed points of substitutions? 20:19:07 (i have little knowledge about their computational properties) 20:19:22 oklopol: not really 20:20:46 they are infinite sequences with a finite description and some sort of nested things. 20:21:06 1cnis is pretty much like that 20:22:39 yeah that's why i asked 20:22:57 but i was too lazy to read 1cnis's description for now, perhaps later 20:44:05 -!- evincar has joined. 20:45:39 -!- DHeadshot has joined. 20:45:42 -!- DHeadshot has quit (Remote host closed the connection). 20:45:50 http://www.thebands.biz/article/simcity-mayor-under-fire-for-excessive-use-of-eminent-domain/ 20:46:18 -!- DHeadshot has joined. 20:48:17 Does anyone know who this guy was that didn't use an actual IRC client but used telnet instead? I remember being told about this by someone. 20:48:49 zzo38? 20:48:50 that's annoying because you have to respond to PINGs 20:48:56 he sort of has a client 20:49:00 it's written in php and outputs in coloured raw irc format 20:49:21 kmc: I imagine it is 20:55:53 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer). 20:56:30 -!- Nisstyre-laptop has joined. 20:56:35 AnotherTest: I can IRC through telnet/netcat just fine 20:56:43 I normally don't, sometimes I do it when I need a second connection, or just to show off 20:57:31 it's really not very hard at all 20:57:41 it's like all these old protocols, they were designed to be done by hand I think 20:57:54 as well as via clients 20:58:16 Yes, for sure. I guess you could even make the PING replies to automagically 20:58:43 AnotherTest: that's pretty much what zzo38's client does 20:58:53 the other thing you want is a separate echo area for where you're typing 20:59:02 it's very distracted for other peoples' lines to appear in the middle of yours 20:59:11 err, distracting 21:00:23 Actually, writing an IRC client isn't very hard 21:00:27 not hard at all 21:00:47 Anyway, I was just wondering 21:01:02 because some people where asking why anyone would do it 21:01:16 (and who would überhaubt do it) 21:04:53 What my client does is if it receives anything, it deletes what you have typed, outputs what it receives, and then puts your input back onto the screen so that you can continue. 21:12:49 zzo38? <-- i think Gregor also tried it? 21:13:35 I wrote a raw IRC client. 21:13:38 help I just arranged to speak with someone about a job and only now noticed that it's on the other side of the country 21:13:44 I still use it now and then. 21:13:48 (The job, that is. Not where I'd be speaking. It would be a phone conversation) 21:13:58 Sgeo: Enjoy the move. 21:14:20 Gregor, not necessarily going to move unless it's a really good offer 21:14:34 Even then.. I feel uneasy with that 21:14:42 Why? 21:15:08 Sgeo: aren't you basically pining for an opportunity to become more independent? 21:15:14 Gregor: Is it the one called "rawirc"? I have seen that one, although it lacked some things 21:15:42 I'm not pining for an opportunity to put a very large distance between me and all of my friends 21:15:47 And between me and my girlfriend 21:16:24 oh. i keep forgetting people have rl friends. carry on then. 21:16:47 (ok i have one, i think) 21:16:50 zzo38: Yup. 21:17:04 Sgeo: Can you work remotely and come in to the brick-and-meatsuit office occasionally? 21:17:10 oerjan: I have IRL friends. I live thousands of miles from them. 21:17:20 "Brick-and-meatsuit" 21:17:21 Wow. 21:17:24 Gregor: fancy 21:17:36 evincar, I guess that would be a thing for discussion 21:17:43 -!- SirCmpwn has quit (Excess Flood). 21:17:56 Except for "All positions are at our Menlo Park, CA location." 21:17:57 Gregor: lady gaga is their suit designer. 21:18:08 Oh. :( 21:18:10 That country. 21:18:25 Well, I moved from New Hampshire to California for a job. 21:18:30 And am away from my girlfriend. 21:18:32 So... 21:18:40 ...wouldn't recommend it. 21:18:50 Sgeo: maybe you'll meet edison's ghost 21:19:06 This company seems amazing though https://www.transcriptic.com/ 21:19:32 Hey look bootstrap. 21:19:36 https://www.transcriptic.com/about/jobs 21:20:51 Looks pretty neat. 21:20:56 -!- SirCmpwn has joined. 21:21:07 Yes, rawirc has no macros, filters, settings, etc; many things it doesn't do, so it seems not a very good IRC client to me 21:22:09 -!- monqy has joined. 21:24:20 As I recall, it was more an interesting exercise than anything else. 21:24:37 -!- AnotherTest has quit (Quit: Leaving.). 21:26:17 (It doesn't entirely help that I don't know how I feel about my gf) 21:26:39 Yay let's start ranting about my personal problems in #esoteric publically logged again 21:27:04 I'll just note that long-distance relationships kinda suck. 21:27:29 Not that that should stop you, *but* just accept it'll be a bit of suckitude you have to deal with. 21:27:45 I feel weird about the idea of staying here if my only reason for doing so was her, especially since I'm still not sure I feel that strongly 21:27:58 I don't want to make this sort of decision 21:28:19 Except for "All positions are at our Menlo Park, CA location." // You're complaining about potentially moving to MENLO PARK??? 21:28:44 Wait, what's so great about Menlo Park in particular? 21:28:52 Nothing, but it's the bay area. 21:29:46 So, nothing great about Menlo Park in particular, but it's in the right region of California? K. 21:36:14 -!- Taneb has changed nick to TAaneEb. 21:36:46 -!- TAaneEb has changed nick to Taneb. 21:37:42 -!- Taneb has quit (Remote host closed the connection). 21:40:04 What's so great about the bay area? 21:40:41 It's programmer Mecca. :P 21:42:48 Just found an airline price fare comparer thingy 21:43:13 It apparently works by popups 21:43:22 google.com/flights 21:44:09 ooh ty 21:46:54 I like hipmunk.com 21:53:22 http://en.wikipedia.org/wiki/JFK:_Reloaded 21:53:29 oh dear i never realised this was from scotland 21:54:55 Menlo Park is pretty expensive to live in. 21:55:38 Phantom_Hoover: lol, that is absolutely delightful. 21:55:40 The Caltrain is okay for anything along the main backbone of the peninsula though. 21:55:44 Can't wait for the 9/11 flight simulator. 21:55:53 So you don't really need a car. 21:56:09 I'm within walking distance of work in a not-too-expensive city though. 21:56:11 (Burlingame) 21:56:13 -!- ogrom has quit (Quit: Left). 21:56:21 Though though though. 21:57:32 Also does it make sense to implement sum types in terms of union and product? 21:57:41 It's not like I have a "real" interview yet 21:57:55 It's just a phone call to talk about my background 21:58:52 evincar: a struct with a tag and a union is more or less the usual implementation, no? 21:59:14 oerjan: Yeah just making sure it didn't sound stupid when put in writing. 22:00:44 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 22:00:48 But I dunno if the tag is really a value or type or what. 22:01:06 Compile-time value. 22:01:23 I mean when it comes to e.g. totality checking. 22:01:37 I don't like how in Haskell I can't make an ad-hoc subset of a sum type. 22:02:44 -!- Phantom_Hoover has joined. 22:03:00 -!- WeThePeople has joined. 22:03:27 E.g. data ABC = A | B | C; a x = case x of { A -> "a"; _ -> bc x }; bc x = case x of { B -> "b"; C -> "c" } 22:04:42 bc :: ABC -> String but should :: (B | C) -> String 22:05:19 Supersets I'm not as sure about. 22:05:28 Because it implies you can mix constructors from different data types. 22:05:32 I did once think of a kind of type system which would allow such things, as well as some other things 22:05:33 Or that data types are entirely ad-hoc. 22:05:45 Which I'm pretty sure is not decidably inferable. 22:05:48 But probably checkable. 22:05:53 evincar: i am talking about C structs. i think if you want to express a sum type in a _type safe_ way without building it in as a primitive, then you need dependent typing. 22:05:56 But is different and might not be suitable for all of the same things, and I also don't know if it work. 22:06:19 oerjan: (forall r. (a -> r) -> (b -> r) -> r) ~ Either a b 22:06:23 or are we disallowing rank-2? 22:06:34 elliott: oh hm i guess 22:06:47 that's just your standard church encoding I think 22:06:57 (forall r. (a -> b -> r) -> r) gets you (a,b) 22:06:58 evincar: ok so elliott's method works. 22:07:17 I have no idea the context, by the way. 22:07:35 elliott: but safely typing the actual struct memory layout you would use in C requires dependent typing, i think. 22:07:41 Working on a language. Considering implementing sums in terms of unions & products. 22:07:47 oerjan: right 22:08:21 oerjan: well, not quite, actually. I think GADTs are enough 22:08:34 So pseudocode Maybe a = Nothing \/ (Just, a) 22:08:38 evincar: do you mean c unions or are you actually putting something analogous to c unions in your language 22:08:43 Menlo Park? fuck the south bay 22:08:49 that's like 30 miles from a real city 22:09:05 oerjan: data Union a b c where { L :: a -> Union a b a; R :: b -> Union a b b } -- assume a tag-free runtime representation of this type 22:09:22 monqy: I mean union types in the type-theory sense. 22:09:32 "Sir, do you know how fast you were going?" "Um, 97?" "*whew*, that's a relief. Radar gun's working. Thanks for your cooperation." 22:09:33 evincar: what 22:09:39 oerjan: data Tag a b c where { TagL :: Tag a b a; TagR :: TagR a b b } 22:09:45 In particular idempotent: a \/ a = a 22:09:53 oerjan: data Either a b where { Either :: Tag a b c -> Union a b c -> Either a b } 22:09:56 oerjan: or such 22:10:01 elliott: Yes what. 22:10:02 Sgeo: south bay is suburban sprawl, don't make the mistake of thinking that anything in the "SF bay area" is like SF 22:10:16 evincar: what do you mean by type theory union and how does it differ from a sum type 22:10:21 evincar: btw i think ocaml has at least one way of treating sum types so that you can do subsets 22:10:47 i thought a union type was, like, untagged sum... 22:10:53 elliott: Sums are disjoint. I can differentiate the Ints in data AB = A Int | B Int 22:10:56 elliott: union and intersection types are a "thing" 22:11:00 right 22:11:09 But could not differentiate them in Int \/ Int because they are the same. 22:11:09 set theory all up in this 22:11:21 monqy: yes I know... 22:11:21 elliott: but imo it's an incredibly dumb dumb dumb foundation 22:11:22 If you treat types as sets which you sorta can. 22:11:25 monqy: does evincar know 22:11:35 It seems really problematic. :( 22:11:37 why's it dumb? 22:11:42 Bike: have you seen them 22:11:48 elliott: What does that say? Either is a constructor that takes a Tag and an Union? 22:11:54 FreeFull: yes 22:12:01 Is that a specialisation, or a general statement? 22:12:04 as for "programmer mecca" it's also the epicenter of the worst excesses of hacker culture, an environment which rewards these things rather than providing a reality check 22:12:04 monqy: in C I guess 22:12:05 and it uses GADT type magic to tie the tag's value and the union's branch together 22:12:09 so you can store Union without a tag 22:12:23 (this won't happen in practice, but it provides a /typing/ for this C-style sum type construction mechanism) 22:12:33 oh wait. 22:12:37 oerjan: Either can be simplified vastly of course 22:12:46 oerjan: data Either a b where { Either :: Tag a b c -> c -> Either a b } 22:12:57 there you *do* get the effectively "unboxed" representation. 22:13:17 elliott: What does c represent? The choice between element a and b? 22:13:51 if you use TagL, then c is fixed to a 22:13:56 if you use TagR, then c is fixed to b 22:13:58 so yes, effectively 22:14:02 Either is an existential type there 22:14:26 And both TagL and TagR are Tag? 22:14:34 are Tag howso? 22:14:37 TagL :: Tag a b a 22:14:40 TagR :: Tag a b b 22:14:40 I see 22:15:22 So would an example usage be Either TagL "something" 22:16:18 Even without this thing, I still feel weird for gf related reasons 22:16:26 Pretty sure she loves me much more than I like her 22:16:35 -!- Taneb has joined. 22:16:52 woops 22:16:54 Sgeo, wow the wording in that sentence... 22:18:00 Yay more Sgeo's personal life 22:19:13 You're making progress! 22:19:23 elliott: What happens if both a and b are the same type? 22:19:39 Also I should not be discussing my life in a publically logged channel 22:19:45 FreeFull: TagL :: Tag Int Int Int; TagR :: Tag Int Int Int 22:19:47 It seems like nothing in particular happens. 22:20:03 oerjan: oh I guess Tag is sort of a sum type :P 22:20:07 Sgeo, especially one in which your name, university and general area are known. 22:20:20 oerjan: but runtime-wise, it's just Bool. 22:20:38 as opposed to (Either a b) which has the actual value 22:20:42 Wait, they're both constructors. Nevermind 22:21:35 Either TagL x = Left x; Either TagR x = Right x or something 22:23:52 yes 22:24:38 -!- saijanai_ has quit (Quit: saijanai_). 22:27:17 elliott: pretty 22:27:28 oerjan: ty 22:30:13 so in principle you could probably split any adt and maybe gadt into gadt parts where each part was essentially a tag (no arguments to constructors) or a product (only one constructor for the gadt) 22:32:03 pretty lame principle imo 22:32:18 monqy: whats lame about it 22:32:41 oerjan: well, you can turn into any gadt into a possibly-existential type given type equality 22:32:45 (value or constraint level) 22:32:51 so it should work for pretty much anything 22:33:22 oerjan: in fact I think my Tag type may be enough to do anything you want 22:35:20 elliott: i dont really know how to describe it........maybe its just a bad ol gut feeling 22:35:44 /last covariant 22:35:47 Er. 22:35:52 Well, I guess I said it in here too. 22:36:10 monqy: well we have a "use-case" 22:36:17 i.e. compiling down to C structs/unions 22:41:03 `addquote well what is time imo: an illusion [...] elliott, I think it's more like a burrito If you have too much of time you get ill But damn it felt good You only get out what you put in, unless your time was made by someone else, which isn't as fun burritos don't work like that! 22:41:07 940) well what is time imo: an illusion [...] elliott, I think it's more like a burrito If you have too much of time you get ill But damn it felt good You only get out what you put in, unless your time was made by someone else, which isn't as fun burritos don't work like that! 22:41:13 oerjan: oh, that reminds me 22:41:29 we managed to get the line ", as time itself is only an abstract approximation" into our most recent paper 22:41:37 actually my supervisor wrote it and probably didn't realise how profound it sounded 22:41:59 excellent 22:42:07 not sure if it'll be accepted 22:42:52 `?hh thyme 22:42:54 thyhme? ¯\(°_o)/¯ 22:42:57 `?hh oregon 22:42:59 Ohrehgohn ihs the hohme ohf Ohrehgahno. Grehgohr uhsehd to tahke cahre ohf the cohlohr schehme, buht thehn he lehft. 22:43:11 `learn Thyme itself is only an abstract approximation of oregano. 22:43:15 I knew that. 22:43:25 that won't be funny out of context 22:43:41 it's not particularly funny even in context 22:43:55 shachaf: Did you see the h-peak in http://zem.fi/esostats/charfreq_h.html there? 22:44:52 Oh, fizzie++ 22:44:57 …we have a page dedicated to how often the letter h is used? 22:45:04 also, what causd it? 22:45:07 or don't we know? 22:45:24 ais523: All the bin/?hh bin/h etc. mess yesterday, I'm pretty sure. 22:45:31 We have a page for every letter, apparently. 22:45:32 -!- carado has quit (Remote host closed the connection). 22:45:38 fizzie: I missed that 22:45:41 and somehow I'm glad I missed it 22:45:45 The other letters would feel bad if only h had a page. 22:45:56 `?hh ais523 22:45:57 There's also been a spike in the usage of HackEgo 22:45:57 ais523: ITYM "mihssehd" HTH HAND 22:45:57 Ahgehnt "Iä" Smihth ihs ahn ahliehn wihth a strahnge ahllehrgy to ahviahn bohdy cohvehrihng, whihch he ihs tryihng to rehtroahctihvehly prehvehnt frohm ehvehr ehvohlvihng. 22:46:45 does that just add an "h" after every vowel? 22:46:50 http://zem.fi/esostats/charfreq_ø.html doesn't exist, it's outrageous! 22:46:55 -!- carado has joined. 22:47:05 ais523: Between (approximately) every vowel-consonant pair. 22:47:05 ais523, in the middle of every vowel-consonant pair 22:47:30 right 22:47:36 almost the same except when you have multiple vowels in a row 22:47:44 nice spike in http://zem.fi/esostats/charfreq_q.html 22:47:56 i mentioned that spike 22:47:58 i dont understand it 22:48:01 What happened in early october 22:48:04 hhuhhuhuhhuhhuhuhhuhhuhuhhuhhuhuhhuhhuhuhhuhhuhuhhuhhuhuhhuhhuhu 22:48:26 I was thinking about ten's complement arithmetic, and what it would mean to have something like :5:382.3 where the part between :: repeats forever 22:48:29 hmm… do BF Joust program names cause spikes in the stats? 22:48:35 they probably cause spikes in "j" 22:48:43 qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq q qqq qq 22:48:45 elliott: could that have been one of those days when you spammed q a lot 22:48:46 FreeFull: 10-adic? 22:48:51 That may have been it 22:49:01 monqy: i don't spam it that much 22:49:02 qqqqqqqqqqqqq 22:49:07 just sometimes when the urge strikes me 22:49:09 the qs start flowing 22:49:10 `pastelogs qqqqqqqqq 22:49:12 http://zem.fi/esostats/charfreq_x.html 22:49:15 I wonder what a good name would be for the quantity you need to add to get zero 22:49:21 FreeFull: You could get that kind of number by reversing the digits in a rational? 22:49:26 I'm almost tempted to look up logs for the x spikes. 22:49:27 Is that a meaningful operation? 22:49:32 For example, 0 - :3: = :6:7 22:49:32 http://codu.org/logs/log/_esoteric/2012-10-14 22:49:41 No output. 22:49:45 FreeFull: are you not describing 10-adic arithmetic 22:49:45 `pastelogs qqqqqqqqq 22:49:51 That's where the q-spike comes from 22:50:02 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.6327 22:50:07 :0:384 is a standard positive number, :9:374 can be thought to describe a negative number 22:50:16 Taneb: Can you look up the x spikes? 22:50:20 02:02:06: whitespacer: i think elliott wants something from you 22:50:20 02:02:08: -!- ais523 changed the modes of #esoteric: +m 22:50:20 02:02:19: -!- ais523 changed the modes of #esoteric: -m 22:50:20 02:02:26: it's like when a baby cries but it's elliott and q 22:50:20 I have no idea what :5:43 is, but you can still do arithmetic with it just fine 22:50:29 02:02:44: and you don't know if the baby wants food or diapers or what 22:50:29 shachaf: There's a lot of fungot underload stuff with 'x's in them in 2012-10-25. 22:50:30 fizzie: in a repl fashion by specifying the language mzscheme use the except form. get the pdf at http://www.unmutual.info/ documentation/ sicp.pdf, the html version is pretty slow 22:50:35 no, seriously, don't reinvent p-adics, they're right there. 22:50:36 http://codu.org/logs/log/_esoteric/2012-10-25 22:50:36 if I +m the channel 22:50:41 either I'm trying to stop a botloop 22:50:43 The october x-spike 22:50:49 or something really badly is happening 22:51:02 punctuation marks might be more interesting, actually 22:51:03 oh 22:51:04 it was the navi guy 22:51:08 because they tend to reflect esolang syntax 22:51:09 http://codu.org/logs/log/_esoteric/2012-04-28 22:51:10 i agree ais523, something really bad happened that day 22:51:14 The april x-spike 22:51:16 navi guy joined the channel 22:51:34 ELLIOT SHUT THE FUCK UP 22:52:07 im here when desperate measures must be taken 22:52:08 elliott: which day was that? 22:52:12 involving lots of letters 22:52:15 adjacent to one another 22:52:21 Bike: Isn't p-adics for prime bases only 22:52:22 ais523: 2012-10-14 apparently 22:52:30 btw, how annoyed are you when people misspell your name? 22:52:57 oerjan helps, elliott 22:53:01 End of http://codu.org/logs/log/_esoteric/2012-09-02 22:53:08 FreeFull: doing it with non-primes doesn't work as well but is still what you are describing 22:53:11 ais523: um 22:53:13 ais523: i am kind of used to it 22:53:21 hmm 22:53:27 with a name with multiple plausible spellings 22:53:31 you'd think people would just look at the nick 22:53:35 I thought "Elliott" was the normal spelling? 22:53:40 02:44:46: -!- naviISGOD has joined #esoteric. 22:53:40 02:44:49: navi navi navi 22:53:41 02:44:55: hey listen 22:53:44 it's quite rare for other people to misspell ais523 22:53:47 "Eךןםא" ןד איק מםרצשך דפקךךןמעץ 22:53:50 Ahem. 22:53:51 aiz523 22:53:54 (I misspell it all the time, but I normally correct it before sending) 22:53:54 "Eliot" is the normal spelling. 22:54:00 (my most common misspelling is ais532) 22:54:16 ais523: To be fair you have a NUMBER at the end of your nick. 22:54:25 A number. Who does that? Does that even count as spelling? 22:54:29 Maybe it's miscounting. 22:54:36 who was it who refused to take me seriously as long as I had a number at the end of my nick 22:54:41 I was once booked into a hotel under the name of "Random" 22:54:43 but treated me perfectly fine when I changed to scarf? 22:54:46 -!- ais523 has changed nick to scarf. 22:54:47 ais523, I don't typo your nick because I always type ai 22:54:49 The world? 22:54:50 I should do this more often 22:54:50 Ngrams shows Elliott and Elliot roughly equal. 22:54:53 hi scarf 22:54:54 Bike: I was just thinking about it randomly 22:54:55 Eliot is an outlier because of T. S. 22:54:57 scarf, ^ 22:55:06 Why did you use to have a number at the end of your nick? 22:55:08 Vorpal: yeah, but when I'm typing my own nick, I'm not there so it doesn't tab-complete 22:55:16 FreeFull: just sayin, if the material's already there you can use it. 22:55:17 shachaf: randomly assigned username 22:55:17 `run echo "No-one was ever called Elliot." 22:55:19 No-one was ever called Elliot. 22:55:24 evincar: T. S. Eliot was the best el+iot+, though. 22:55:30 `run echo "No-one was ever called Elliot." > wisdom/elliot 22:55:33 No output. 22:55:37 scarf, oh okay? In xchat I can tab complete my own nick, pretty sure it ends up last if there are multiple possibilities though 22:55:37 `? elliot 22:55:39 No-one was ever called Elliot. 22:55:50 can't test, I'm the only one with v 22:55:52 Vorpal: yeah but I can't when I'm not there 22:55:58 scarf, hm 22:56:03 `run sed -i s/-/\ / wisdom/elliot 22:56:06 No output. 22:56:06 like, when I'm joining a channel in webchat 22:56:09 err, a server 22:56:14 how can I tab-complete the nick then? 22:56:18 scarf, true 22:56:23 -!- Taneb has changed nick to VorTaneb. 22:56:27 it's like trying to tab-complete in mkdir, I don't create directories often but when I do I try to tab-complete all the time 22:56:28 Vorpal, you can test now 22:56:30 and get annoyed when it doesn't work 22:56:35 test 22:56:47 -!- VorTaneb has changed nick to Taneb. 22:56:49 VorTaneb, well okay it still completes to last spoken 22:56:52 that is kind of stupid 22:57:05 so after my line "test" it went to me instead 22:57:08 `?hh Vorpal 22:57:10 Vohrpahl ihs reahlly bohrihng. Sehriouhsly, you hahve no ihdea. 22:57:17 Is that really true, Vorpal? 22:57:25 shachaf, no it is a lie 22:57:27 `?hh Taneb 22:57:29 Tahnehb ihs noht ehlliohtt, no mahttehr who you ahsk. He ahlso ihsn't a rahbbi ahlthouhgh he hahs prehtehndehd ihn the pahst. (see ahlso: d-mohduhlehs) 22:57:30 I think you and elliott just have a "disagreement". 22:57:40 `?hh shachaf 22:57:42 shahchahf sprø sohm sehllehri ahnd cohsplayhs Nehpehta Leihjohn ohn weehkehnds. 22:57:43 `?hh d-modules 22:57:45 D-mohduhlehs ahre juhst mohduhlehs ohvehr the rihng ohf dihffehrehntiahl ohpehrahtohrs. Tahnehb ihnvehntehd thehm. 22:57:57 `? d-modules 22:57:58 D-modules are just modules over the ring of differential operators. Taneb invented them. 22:58:03 heh 22:58:06 good job inventing d-modules Taneb 22:58:21 what use are they 22:58:25 maybe you can work your way up to c-modules and eventually a-modules?? 22:58:41 Taneb is even listed at https://en.wikipedia.org/wiki/D-modules 22:58:48 Taneb: inventing mathematical constructs isn't hard, the problem is finding uses for them 22:58:50 shachaf, shouldn't the goal be s-modules? 22:59:05 btw I never understood why S-rank was better than A-rank in games 22:59:06 I'm trying to remember which nick I used when I wanted to get accidentally nickpinged a lot 22:59:09 to me, it makes no sense 22:59:10 was it "this"? or is that taken? 22:59:16 right, that one isn't taken 22:59:20 -!- scarf has changed nick to this. 22:59:31 They're useful in the Reimann-Hilbert correspondence 23:00:07 this: Why do you care whether that's taken? 23:00:13 this, can you explain that btw? Why S-rank in a game is above A-rank 23:00:17 YOu're this, not that. 23:00:18 shachaf: because I don't like using other people's nicks without their permissions 23:00:29 Vorpal: because if you need a rank above A, you have to call it something 23:00:35 and @ would be excessively geeky 23:00:37 so people just went with S 23:00:38 fair enough 23:00:42 Vorpal, I always assumed it stood for "Special" 23:00:43 this: Sure, so you should ask whether this is taken. 23:00:45 some games use a star instead 23:00:50 this, why not just make A the top rank instead? 23:01:00 and shift everything down by one 23:01:05 Taneb, hm, I guess so 23:01:12 Vorpal: for the same reason that giving a game a review score below 8 means you hate it 23:01:16 even if it's, like, 7.9 23:01:53 7.̅9 23:02:04 this, I generally ignore any sort of scoring, it is mostly useless compared to reading the review. Unless it is something like 2/10 or such 23:02:09 ...7777.9 23:02:19 Bike: p-adics are the devil 23:02:21 OK, my client is pinging me on every join/part 23:02:34 don't say that sort of thing about freefull! 23:02:38 this, the score system of game reviews is utterly silly 23:02:38 apparently, "… has joined this channel" pings you if your nick happens to be one of the words in the interface message 23:02:49 lol 23:02:53 this, sounds like a bug 23:02:55 this makes some sense 23:04:17 haha 23:04:48 S-rank S-bahn 23:05:12 hellogan 23:07:58 hichaf 23:09:33 haha, this day of navi 23:09:43 Arc_Koen invented a BF derivative that maps all the commands to the same keyword 23:09:51 this seems better than most BF derivatives :) 23:10:36 Are they differentiated by position or something? 23:10:49 Vorpal: huh, you apparently own "join" 23:10:59 this, correct 23:11:10 hm idea, a score system where the scores go 1-7, 8, 9, 9.1, 9.2 - 9.9, 9.91 - 9.99, etc. 23:11:21 Vorpal: someone just /nicked to it in another channel and went "hey, it's registered" 23:11:25 this, and my irc client does not highlight on join or part messages 23:11:30 and I checked, and thought "huh, I know the person who registered that" 23:12:11 i.e. you can have as many 9 digits as you want, but then at most one other 23:12:24 log scores eh 23:12:42 oerjan: a little like TeX version numbers, except with 10 rather than pi 23:13:47 this, btw I turned off highlights except on the form of ^Vorpal[,:] in #NetHack 23:14:02 other than that I don't get many spurious highlights 23:14:04 Vorpal: because people talk about you a lot? 23:14:08 oh, #nethack, not #esoteric 23:14:10 that makes more sense 23:14:25 this, yeah they even named a weapon after me in nethack! 23:14:28 XD 23:14:35 there's a speedrunner with your name 23:14:39 I get a little confused sometimes 23:14:41 oh? 23:14:46 no clue who that is 23:19:11 i preferred it more when you were anmaster... 23:19:55 AnMaster? No! Not Markov! 23:20:17 Taneb: huh, I tried to see an anagram in that 23:20:19 but there isn't one 23:20:31 i suspect a fungot quote 23:20:31 oerjan: why don't i continue this... emacs thing... with scheme buffer 23:20:38 fungot: not you too :( 23:20:38 this: try another classic. htdp is much easier to compile 23:20:47 `quote anmaster no 23:20:48 `quote anmaster 23:20:51 4) that's where I got it rocket launch facility gift shop \ 65) I'm 100% of what sort of magic was involved in it \ 89) fungot!*@* added to ignore list. AnMaster: i'd find that a bit annoying to wait for an ack. \ 104) AnMaster: intercal-72 c-intercal clc-intercal j-intercal yes all v 23:20:52 579) Ngevd:. i'm so kind, even to assholes! anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov anmaster no not markov 23:21:13 ah, that one 23:21:55 Why am I dismayed by a commercial for Yugioh anime even though I am a fan of (i forget the name) no Go? 23:22:47 yugioh anime characters are cheating 23:23:00 it's always amusing to see them do something in the anime and people try to stat the anime effects of the cards 23:23:11 i preferred it more when you were anmaster... <-- why? 23:23:31 less generic 23:23:41 well, okay that is true 23:23:46 but it was a bit of a silly nick too 23:24:19 Phantom_Hoover: anyway yes "sorry you were offended" is what I meant by "except less sincere" <-- i'd suggest "we would like to apologize to anyone who were reminded of previous traumatic experiences by our advertisement." 23:24:56 my code was crushed once :( 23:26:34 crush tactic 23:26:37 so easy 23:26:54 coq out and crush proofs 23:27:45 -!- WeThePeople has quit (Quit: Leaving). 23:28:01 monqy: do you use crush 23:28:05 i think i used crush once and then felt dirty 23:28:17 crush is really slow 23:28:24 i have better ways to do things now 23:28:40 have you Transcended the Crush monqy 23:28:47 sure 23:28:56 theres nothing to feel dirty about using crush tho 23:29:29 iirc it's ugly i forget why 23:29:43 well i guess i just mostly hate tactics in general 23:30:34 elliott, what is "Crush" in this context? 23:30:40 the crush tactic 23:31:06 I see 23:31:47 what does it do? 23:32:00 crush 23:32:10 general purpose "solves easy stuff" coq tactic 23:32:39 have you Transcended the Easy Stuff monqy 23:32:48 sure 23:33:09 even monoids 23:33:18 perhaps it can just tell you what tactics you should have used instead 23:33:21 and then you can replace it with those 23:33:42 that's kind of missing the "point" of tactic proofs as i see them 23:34:22 the "point" is to be ugly stateful write-only messes :( 23:34:29 nope 23:34:44 the accidental point 23:34:56 if it's write-only it's a bad tactic proof 23:35:08 all the best proofs are read-only 23:35:13 unfortunately no one has managed to write them 23:35:19 imo the whole structure of the tactics system encourages such write-only proofs 23:35:28 the internals are ugly too 23:35:29 it can solve monoids eh 23:35:35 internals as in how the tactics are actually written 23:35:43 shachaf: I like to write proofs in such a way that you can understand how they work 23:36:04 but people keep telling me to turn them round into the version that just comes out of nowhere 23:36:07 ugh whatever i dont feel like arguing this. i hate tactics too but there's ways to make them palatable 23:36:12 my advice is to read them backwards, they often make more sense that way 23:36:21 this: Don't listen to people! 23:36:53 shachaf: but I want them to accept my papers :( 23:37:22 I'll accept your papers instead if you like. 23:38:03 yeah, wouldn't have quite the sort of academic clout I need :( 23:38:40 shachaf journal of shachaf 23:38:57 the conference proceedings of SIGCHAF 23:39:13 this: are you saying i'm not clouty enough for you :'( 23:39:16 a conference about ways to dodge MANPADS would actually be kind of cool 23:39:28 hehe 23:39:31 monqy: sure you can write palatable C code too 23:39:39 doesn't mean it doesn't encourage unpalatable code by its structure 23:39:43 when you said "dodge" i thought first of like a guy trying to jump out of the way 23:39:46 elliott: sure 23:39:58 defensive martial arts training against shoulder-launched anti-aircraft missiles 23:40:38 that would look cool as hell and also you would die but it would still look cool 23:40:54 unfortunately it mostly makes me remember burning people failing to jump out of their tanks 23:41:27 -!- Taneb has quit (Quit: Leaving). 23:42:43 http://www.youtube.com/watch?v=vljapydLfGQ yeah here we go 23:45:18 -!- this has changed nick to scarf. 23:45:20 -!- mekeor has quit (Quit: too late to apologize). 23:46:31 Bike, was that on the news or reddit or something 23:47:21 uh, i wouldn't know? it's posted by somebody evidently collecting syria videos 23:47:34 http://www.youtube.com/verify_controversy?next_url=/watch%3Fv%3DvljapydLfGQ 23:47:36 verify controversy 23:47:44 controversy verified 23:47:47 well i got linked to it by a friend about an hour ago 23:47:51 weird 23:47:59 these things do tend to spread around, though 23:48:10 What you say, a link spread on the Internet? 23:48:17 no way 23:51:41 -!- carado has quit (Ping timeout: 246 seconds). 23:52:00 you, too, can be part of the next-gen social warfare revolution!! 23:52:14 I've seen Link spread on the Internet. 23:52:24 social warfare 23:52:37 is that like when the IDF pays people to tweet nice things about them 23:53:05 That's just regular warfare. 23:53:08 or when i have to avoid reading the comments in broken english about how anti-assad people are subhuman, yes 23:55:16 (the guy in charge of the IDF social outreach though, god) 23:56:13 i'd've expected god to hold a more senior post, frankly 23:57:00 heh, it's funny because you deliberately misinterpreted my use of an interjection as an identifying name of the subject of the previous clause. 23:57:25 heh, it's clever because you explained the joke 23:57:33 it's funny because it's not 23:57:51 anyway i'm just sayin' the dude dresses up in blackface and that shit ain't fly, it ain't fly at all. 23:57:59 haha wow 23:58:01 pretty fly for a white guy 23:58:18 "Obama style" was i think what he said along with it 23:58:38 though i think blackface being ultra offensive is something of a US-specific thing 23:58:44 i mean it's not great anywhere but 23:58:53 no, it was offensive when the bbc did it in the 60s too 23:59:08 The BBC did it in the 60s? 23:59:35 It's principally a US thing for it to be offensive, yes. 23:59:54 Yay, history.