00:00:58 -!- Faris has quit (Ping timeout: 245 seconds). 00:01:44 -!- Sprocklem has quit (Ping timeout: 240 seconds). 00:04:26 -!- Bike has joined. 00:05:18 -!- JesseH has joined. 00:05:19 -!- JesseH has quit (Changing host). 00:05:19 -!- JesseH has joined. 00:13:22 -!- Fiora_ has changed nick to Fiora. 00:14:08 http://arxiv.org/abs/1310.7007v1 wheeeeee 00:23:16 -!- kmc_ has changed nick to kmc. 00:38:17 oh good look-of-disapproval came back 00:38:34 what? 00:38:38 -!- Sgeo has joined. 00:39:12 Bike: i had a temporary font issue in putty 00:39:23 probably because of windows upgrading. 00:51:17 hi 00:59:43 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:03:11 -!- Taneb has quit (Quit: Leaving). 01:13:18 -!- shikhin has joined. 01:15:25 `quote 380 01:15:26 380) * Sgeo mutters about broken toilets #toilet is useless is #toilet even a thing I'm looking for help with toilets 01:15:46 hm the formatted logs merge consecutive spaces 01:19:43 -!- realzies has quit (Ping timeout: 260 seconds). 01:25:38 -!- Faris has joined. 01:27:20 -!- Guest62574 has joined. 01:27:31 -!- Faris2 has quit (Ping timeout: 245 seconds). 01:29:45 well the homotopy group is pretty hard to compute usually (i hear), so it's of limited use even if you are a mathematician. but the first homotopy group is needed to prove things like brouwer's fixed point theorem (at least i don't know another way that's not a huge hassle). <-- you just need homology groups, which are easier. 01:31:56 -!- Koen_ has quit (Quit: Koen_). 01:32:14 @tell oklofok well the homotopy group is pretty hard to compute usually (i hear), so it's of limited use even if you are a mathematician. but the first homotopy group is needed to prove things like brouwer's fixed point theorem (at least i don't know another way that's not a huge hassle). <-- you just need homology groups, which are easier. 01:32:14 Consider it noted. 01:37:20 -!- nys has quit (Quit: quit). 01:48:01 -!- Faris2 has joined. 01:50:58 -!- Faris has quit (Ping timeout: 245 seconds). 01:52:28 -!- nooodl has quit (Ping timeout: 240 seconds). 01:53:21 -!- nisstyre has quit (Ping timeout: 245 seconds). 02:06:47 -!- nisstyre has joined. 02:07:11 -!- FreeFull_ has joined. 02:08:06 -!- Faris has joined. 02:09:09 -!- FreeFull has quit (Ping timeout: 248 seconds). 02:09:49 -!- Faris2 has quit (Ping timeout: 272 seconds). 02:12:38 -!- FreeFull_ has quit (Ping timeout: 245 seconds). 02:15:02 -!- sebbu has quit (Read error: Connection reset by peer). 02:15:21 -!- sebbu has joined. 02:15:59 -!- sebbu has quit (Changing host). 02:15:59 -!- sebbu has joined. 02:27:57 -!- nisstyre has quit (Ping timeout: 246 seconds). 02:41:15 -!- nisstyre has joined. 02:41:40 -!- Faris has quit (Ping timeout: 245 seconds). 02:59:51 -!- shikhin_ has joined. 03:01:51 -!- shikhin has quit (Ping timeout: 252 seconds). 03:10:50 -!- nisstyre has quit (Ping timeout: 240 seconds). 03:13:05 -!- Bike has quit (Ping timeout: 268 seconds). 03:16:50 -!- conehead has quit (Quit: Computer has gone to sleep.). 03:24:47 -!- nisstyre has joined. 03:27:42 -!- Sprocklem has joined. 03:32:12 -!- Bike has joined. 03:42:41 -!- Sprocklem has quit (Quit: Nettalk6 - www.ntalk.de). 03:44:48 -!- Sprocklem has joined. 03:47:33 -!- copumpkin has quit (Quit: Textual IRC Client: www.textualapp.com). 03:49:54 -!- copumpkin has joined. 03:50:01 -!- shikhin_ has quit (Ping timeout: 245 seconds). 04:17:27 oerjan: i know, but those are not as nice 04:18:02 well, they're supposedly easier to calculate than homotopy groups. 04:18:26 can brouwer's be proved with those? 04:18:27 admittedly it still takes a while to get to that point. 04:18:48 my favorite algebraic topology book starts with it, and uses homotopy 04:19:13 oklofok: only for the disk, no? the homology proof applies to arbitrary dimension. 04:19:48 assuming by first homotopy group you mean the fundamental group. 04:19:50 i do 04:20:51 the first proof of brouwer's fixpoint theorem listed on wikipedia is essentially the same as what i remember, and the step where you prove that you cannot have a retract from ball to sphere can then be done with homology. 04:21:10 brouwer and the fact S^1 is not a retract of D^2 are on page 6 04:21:23 can homology be done in 6 pages 04:21:48 but in 2d the fundamental group also works. which is not so strange since the fundamental groups and first homology groups are the same for the relevant spaces. 04:22:07 (in general, the first homology group is the abelianization of the fundamental group) 04:22:54 oklofok: no. the fundamental group version _is_ simpler for 2d. it's just not simpler any more when you increase the dimension. 04:23:06 okay 04:23:56 have you studied this stuff much? 04:24:38 i read a book on algebraic topology because one of my old personal mathematical goals was to understand a proof of the jordan-brouwer theorem. 04:24:52 did you win? 04:24:53 have you done that yet? 04:25:23 yes. also that level allows you to do the fixpoint theorem and invariance of domain approximately as easy. 04:25:40 in fact the fixpoint theorem is easier, iirc. 04:26:27 i don't have any goals i guess :( 04:27:44 also we managed to get some homology into one of our published articles on topological measures. 04:27:47 i for one intend to give a positive answer to the entscheidungsproblem‎ 04:28:01 Bike: a lofty goal, for sure 04:28:19 might require finding a way to redesign reality first. 04:28:27 was that why you had the five lemma 04:28:33 or some variant of it 04:28:36 in an article 04:28:41 oklofok: no that was a different article. 04:28:44 okay 04:28:55 that one was about dynamical systems 04:29:04 Hm? 04:29:04 we put a pretty silly homotopy result in an article 04:29:08 it just calculated some K-theoretic invariants. 04:29:19 which is related to but not the same as homology 04:29:55 (we proved that the sofic shifts are exactly the simplicial complexes up to homotopy equivalence, if you use a certain topology for the shifts) 04:30:09 fancy 04:30:38 i got a book on sofic shifts and stuff but i never actually read it properly. 04:31:11 there was a guy from the us at our uni a few weeks ago, he does k-theory and was hoping someone could help him with it 04:31:17 which one did you get? 04:31:41 http://c431376.r76.cf2.rackcdn.com/52139/fncom-07-00098-HTML/image_m/fncom-07-00098-g003.jpg i am t, destroyer of world 04:31:46 the book was by douglas lind, i think 04:32:26 so symbolic dynamics and coding i guess 04:32:51 yes i think so 04:33:14 looking at the amazon page and that's how i recall the book looking 04:33:37 lind was the guy in seattle my advisor was mainly visiting when i was there 04:33:40 iirc 04:33:41 if you know topology and automata theory, things can be done a lot easier 04:33:46 than in that book 04:33:57 heh 04:34:04 (it's not bad tho, it's my favorite book and we basically cite it in every article) 04:34:40 your advisor was skau? 04:36:14 we have this result that primitive Pisot substitutions generate subshifts which have only finitely many endomorphisms up to a power of the shift (previously known only for uniform substitutions and sturmian ones afaik) 04:36:22 yes 04:36:39 we sent this to ergodic theory and dynamical systems and the referee told us fuck you read some literature and cite my articles 04:36:46 (paraphrasing a bit) 04:37:01 so we've done some reading, and skau had some related article 04:37:07 but now i forget what... 04:37:18 anyway i bump into him a lot these days 04:37:30 that doesn't _quite_ sound like the skau i knew. but i guess he might get angry about such stuff. 04:37:42 http://arxiv.org/pdf/0807.3621.pdf 04:37:49 is that him 04:38:11 maybe not quite related results, but something i feel like i should read 04:38:12 * oerjan swats oklofok for linking directly to the pdf -----### 04:38:16 sorry 04:38:23 swat google 04:38:26 he gave it 04:38:49 i wrote "skau substitutions bratteli" in the search field 04:38:59 http://arxiv.org/abs/0807.3621 04:39:40 yeah that's pretty close to my phd work 04:39:57 it's a small world 04:40:01 and i'm sure i must have got that article at some point 04:40:14 do you know mike boyle by any chance 04:40:26 oh wait 04:40:35 off by a decade 04:40:58 :P 04:41:17 `olist 927 04:41:19 olist 927: shachaf oerjan Sgeo FireFly 04:41:20 they may have published that in a journal 10 years ago? 04:41:37 in 1999 04:41:45 http://citeseer.uark.edu:8080/citeseerx/showciting;jsessionid=30F12E707AA136586DCDA2540FD75CB4?cid=556314 04:41:47 gah why won't pdfs open in my browser any more 04:41:56 i had that problem at some point 04:41:58 oklofok: mike boyle is a name i've heard 04:42:02 i err.... don't remember what i did 04:42:13 i just don't remember in what context 04:42:20 boyle visited our university a couple weeks ago 04:43:13 the first thing he said to us was "always nice to meet people who can solve problems i can't" 04:43:27 i blushed so bad 04:43:46 -!- ^v has quit (Read error: Connection reset by peer). 04:44:09 -!- ^v has joined. 04:44:10 * oerjan recalls a number of names on that citation list 04:45:14 søren eilers and alan forrest in particular 04:45:47 Ki Hang Kim, Fred Roush <<< these guys are sort of legends 04:45:52 * oerjan recalls alan forrest arranging whisky tasting for us when he was visiting trondheim 04:46:12 never heard of those 04:46:14 Luca, Q. Zamboni <<< this guy is a visiting professor at our university 04:46:30 mathematician and ice rink maintenance inventor 04:46:30 kim and roush do (well, did) symbolic dynamics 04:47:06 i have this vague bell on luca, not sure if i'm confusing him with someone else. 04:47:31 luca is easy to confuse (we have another luca at the university for example) 04:47:38 zamboni is a bit harder 04:48:02 they may have published that in a journal 10 years ago? <-- or at least circulating preprints 04:48:29 i certainly remember durand, he was my thesis opponent 04:49:23 heh 04:50:10 do you know alessandro maass 04:52:17 i don't remember 04:53:59 i'm going to chile in a few weeks to try to get him to be my postdoc supervisor next year 05:00:10 good, good 05:08:28 -!- Sprocklem has quit (Ping timeout: 245 seconds). 05:20:20 I almost thought "The Newsroom" was "Onion News Empire" 05:20:25 I've watched an episode of the latter 05:20:32 they're basically equivalent. 05:27:42 http://www.avclub.com/articles/amazon-orders-alpha-house-betas-tumbleaf-other-sho,98322/ 05:27:43 :/ 05:27:55 Does this mean ONE won't be a thing? 05:28:18 i heard one was kind of bad anyway 05:30:58 I liked it 05:31:54 yeah I'm sad that ONE wasn't picked up 05:32:22 i watched the ONE pilot and thought it was pretty good 05:32:42 oh well then 05:33:22 and I watched the Betas pilot and though it was pretty bad & borderline offensive, but might go somewhere entertaining 05:33:43 also The Newsroom is really bad & not at all borderline offensive, and deserves to be mocked mercilessly 05:33:54 although I read that ONE was conceived independently and just looks like a parody by coincidence 05:34:06 * kmc meant "not-at-all-borderline offensive", above 05:38:49 ONE was the only pilot I watched :/ 05:39:01 I'd like to at least be able to rewatch the pilot, can't even do that 05:39:10 (At least, not legally, haven't checked non-legally) 05:39:19 i... bet you can do it non-legally 05:39:42 god, The Newsroom is so awful 05:39:48 and I feel so dirty for watching all of it 05:40:06 at least I can take comfort in the fact that I stole it all 05:40:49 I was close to buying a season of The Newsroom because I thought it was ONE 05:40:51 :/ 05:40:57 you dodged a bullet there 05:41:05 it's cool how everyone i know who watched the newsroom hated it and they also watched all of it because of reasons beyond me 05:41:32 i don't watch much television 05:41:35 in fact, i don't even own one 05:41:40 but i do own a chromecast 05:41:43 not sure what to do with it 05:41:57 sell it for scrap 05:42:00 I don't watch much TV on the TV 05:42:24 (Actually, that's a total lie, I do sometimes, just thought it's fun how most of my TV viewing isn't on a TV) 05:42:32 Bike: I'm going to make a serious effort not to start watching Season 3 05:42:34 i went to a talk about how the chromecast works, some of it is p. neat 05:42:40 godspeed kmc 05:42:54 it's not just a shitty show, it's full of socially regressive crap 05:43:25 yeah i heard about the uganda trip 05:43:25 what if it was the latter but not the former 05:43:32 that would be worse I guess 05:43:33 that's even worse imo 05:43:36 mm 05:46:35 -!- augur has quit (Remote host closed the connection). 05:55:39 what sort of socially regressive crap? 05:57:27 the white lady who goes to africa and meets a bunch of one-dimensional african characters whose lives and deaths (because africa is a homogenous place of violence) serve only to give her an Emotionally Significant Experience 05:58:56 and then when she comes back she changes her appearance and starts having more sex, and there's no way this is a legitimate choice or part of her emotional experience, it's just a cry for help so that the Sensitive Guy will come and fix her 05:59:26 this really goes much deeper than the usual "Sorkin can't write for women" or "Sorkin's female characters are bizarrely incompetent" though there's plenty of that too 06:01:25 http://www.wrongingrights.com/2013/08/time-for-a-bechdel-test-for-african-characters-some-thoughts-on-the-newsrooms-very-special-africa-episode.html on the former 06:01:36 btw an awesome blog 06:04:13 Bike: the sole reason for still watching is that the dialogue is entertainingly snappy 06:04:44 again, just what the others say 06:04:49 right 06:05:00 but you said "reasons beyond me", I think it's pretty simple really 06:05:09 the full shittiness of the plotline I described was only evident in the final episode 06:05:14 makes sense i guess. 06:05:44 the problem is that Sorkin is too much of an egomaniac to work with a writing team who can handle things like plot and characters and not being sexist 06:15:34 -!- oerjan has quit (Quit: trats/). 06:18:33 -!- ^v has quit (Quit: Ping timeout: 1337 seconds). 06:31:44 -!- asie has joined. 07:25:37 -!- augur has joined. 07:27:15 Heh, someone from the department has made a singing voice synthesis listening test, and put a youtube link to a one-hour "best vocaloid songs" mix as a "if you don't know what singing voice synthesis is" postscript in the email. 07:28:21 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 07:31:21 -!- nisstyre has quit (Ping timeout: 252 seconds). 07:55:02 Aw, the listening test itself was just simple sung notes and note sequences and not some strange jpop songs. 07:57:18 put some manbo dead behind the house p in there next time 08:00:21 That sounds kind of alternative. 08:00:50 "The YouTube account associated with this video has been terminated due to multiple third-party notifications of copyright infringement." 08:02:07 fizzie: http://www.youtube.com/watch?v=dhKIOZnPjtg 08:02:33 Yes, Google put me to http://vocaloidlist.com/songs.php?artist=Manbo-Dead-Behind-The-House-P already. 08:03:22 Good. 08:06:02 A touching story. 08:06:13 indeed 08:10:28 -!- carado has joined. 08:10:36 "Simulation of an Analog Circuit of a Wah Pedal: A Port-Hamiltonian Approach" 08:10:43 Fancy title. 08:10:52 (Possibly also: good title for a song?) 08:11:30 The Port-Hamiltonians 08:15:01 -!- carado has quit (Ping timeout: 246 seconds). 08:15:10 -!- shikhin has joined. 08:15:15 -!- carado has joined. 08:20:57 -!- shikhin has quit (Ping timeout: 272 seconds). 08:23:02 -!- shikhin has joined. 08:27:12 -!- shikhin_ has joined. 08:29:52 -!- shikhin has quit (Ping timeout: 264 seconds). 08:34:04 -!- shikhin_ has quit (Ping timeout: 264 seconds). 08:53:08 -!- shikhin has joined. 08:59:20 -!- shikhin has quit (Ping timeout: 240 seconds). 09:02:00 -!- shikhin has joined. 09:26:13 -!- MindlessDrone has joined. 10:01:26 -!- FreeFull has joined. 10:12:02 "Megabats constitute the suborder Megachiroptera, family Pteropodidae of the order Chiroptera (bats). They are also called fruit bats, --" megabats! 10:23:26 -!- shikhin_ has joined. 10:25:42 -!- shikhin has quit (Ping timeout: 252 seconds). 10:29:27 -!- Yonkie_ has changed nick to Yonkie. 10:41:00 -!- carado has quit (Quit: Leaving). 10:43:29 -!- carado has joined. 11:06:25 -!- nooodl has joined. 11:32:51 -!- Sgeo has quit (Read error: Connection reset by peer). 11:34:45 -!- shikhin_ has quit (Read error: Operation timed out). 11:50:15 -!- shikhin has joined. 11:52:11 -!- lexasi has joined. 11:54:48 -!- shikhin has quit (Read error: Connection reset by peer). 11:56:25 -!- lexasi has quit (Read error: Connection reset by peer). 12:01:16 -!- boily has joined. 12:01:24 -!- metasepia has joined. 12:10:46 -!- Dandedilia has joined. 12:10:48 -!- Koen_ has joined. 12:11:38 Guten Tag :) 12:13:25 -!- Dandedilia has quit (Client Quit). 12:15:16 * boily is sad “but, but... I wanted to good morning them...” 12:15:34 good unmorninged morning... 12:24:41 `unwelcome Dandedilia 12:24:45 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unwelcome: not found 12:37:46 -!- dddtest_00177 has joined. 12:38:13 -!- dddtest_00177 has quit (Remote host closed the connection). 12:38:13 -!- Koen_ has quit (Read error: Connection reset by peer). 12:38:25 -!- Koen_ has joined. 12:43:09 -!- Taneb has joined. 12:45:45 -!- dddtest_b6632 has joined. 12:46:19 `relcome dddtest_b6632 12:46:22 ​dddtest_b6632: 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.) 12:56:17 -!- dddtest_b6632 has quit (Remote host closed the connection). 12:56:35 -!- Taneb has quit (Quit: Page closed). 12:58:39 -!- dddtest_66d7c has joined. 13:03:22 dddtest_66d7c: hi? who are you? what do you think of eggplants? 13:09:20 -!- shikhin has joined. 13:13:34 -!- shikhin has quit (Ping timeout: 246 seconds). 13:25:59 -!- shikhin has joined. 13:31:14 -!- yorick has joined. 13:40:44 What size limits are there to redcode programs? obviously they'd have to be at most (core size)/2 13:41:13 It depends which simulator / hill you're playing for. 13:41:44 Hm, okay 13:41:59 I think pMARS has a hardwired 500 instruction limit. Most of the hills have lower limits. E.g. For CORESIZE 8000 the limit is normally 100 instructions. 13:43:56 Most successful programs tend to be between 5 and 15 instructions. Any remaining instructions are often used to create a decoy, of for a quick unrolled scan or bombing loop. 13:46:00 FireFly: are you planning to write something? 13:47:28 I'm just pondering what a core wars-like befunge-based game could look like 13:49:22 I'm not sure about befunge, but there are a couple of 2D programming games. One is similar to Core War http://corewar.co.uk/corelife 13:55:17 -!- dddtest_66d7c has quit (Remote host closed the connection). 13:55:53 -!- dddtest_3b44b has joined. 14:01:34 ~metar CYUL 14:01:34 CYUL 301300Z 24014KT 15SM FEW020 BKN070 OVC100 02/M02 A3026 RMK SC1AC7AC1 SC TR SLP250 14:01:55 strange. it's about the same temperature down around dddtest_3b44b's area as here. 14:02:03 ~metar KMCO 14:02:04 KMCO 301353Z 01007KT 10SM FEW042 SCT085 SCT250 25/19 A3025 RMK AO2 SLP240 T02500194 14:02:12 uhm. well. typo on my part. 14:02:25 ~eval (25 * 9/5) + 32 14:02:28 Error (1): 14:02:29 ~eval (25 * 9/5) + 32 14:02:31 77.0 14:02:34 -!- dddtest_3b44b has quit (Remote host closed the connection). 14:04:21 -!- sebbu has quit (Read error: Connection reset by peer). 14:04:42 -!- sebbu has joined. 14:05:25 -!- sebbu has quit (Changing host). 14:05:25 -!- sebbu has joined. 14:09:52 -!- dddtest_a0970 has joined. 14:23:20 -!- conehead has joined. 14:30:03 -!- Phantom_Hoover has joined. 14:31:41 -!- Taneb has joined. 14:32:11 -!- Slereah has quit (Ping timeout: 265 seconds). 14:40:25 -!- Faris has joined. 14:41:20 Hang on 14:41:25 I've got bread in the oven 14:41:47 Taneb is pregnant?? 14:43:19 I'm glad I remembered about that 14:43:26 I ran and it's done to perfection 14:43:40 how will you call the baby? 14:43:56 Phantom_Hoover: apparently they've been for the past nine months 14:44:59 FireFly: I think Taneb is male. probably. perhaps. maybe. hth. 14:45:11 I think so too 14:45:23 This development is most surprising 14:45:28 Taneb: how many genders do you possess? 14:45:29 boily, I'm going to name her "boily" after you 14:45:33 boily, at least 5 14:45:46 -!- Sprocklem has joined. 14:45:52 I'm flattered. and perturbed. 14:51:31 `? Taneb 14:51:33 Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards. (see also: d-modules) 14:52:11 -!- shikhin has quit (Ping timeout: 240 seconds). 14:52:21 `learn Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards, and five genders. (See also: d-modules) 14:52:26 I knew that. 14:52:36 `pastewisdom 14:52:37 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ 14:53:13 I didn't know HackEgo has `learn 14:53:25 I thought the de-facto standard way of editing factoids was via sed and cat 14:54:28 ̀learn obliterates the current wisdom, while sedding and catting and echoing do stuff. 14:54:49 Well, naturally 14:55:21 http://codu.org/projects/hackbot/fshg/index.cgi/file/2b44fd8613ec/wisdom/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d/d I think something might've gone wrong 14:57:41 -!- Faris has quit (Ping timeout: 248 seconds). 14:59:12 FireFly: that is perfectly normal, natural, andddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddddd 15:00:59 `run mkdir wisdom/e; ln -s wisdom/e/e wisdom/e; echo f >wisdom/e/f 15:01:03 mkdir: cannot create directory `wisdom/e': File exists 15:01:09 ,_, 15:01:39 oh I had the argument order to ln wrong anyway 15:03:38 “ln” is the USB of the software world. you'll get the arguments in the right order after the second swap. 15:06:03 -!- shikhin has joined. 15:10:29 Indeed 15:10:49 But then again arguably the argument order is sane since it mirrors that of `cp` 15:16:09 `? d-modules 15:16:11 D-modules are just modules over the ring of differential operators. Taneb invented them. 15:21:49 `ls wisdom 15:21:50 ​` \ `? \ _̰̆̓_̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̋_̴̝̔̉̅ͨ͞ \ ? \ ?? \ @ \ ⊥ \ ⌨ \ ☃ \ 🐐 \ ̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣͎͎͙̪̪̝̖͉̟̭̻̥̫̗̱̗͍̳̦̮̟̲̥͔̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚҉̕͜͠͠҉̡̧̛ 15:22:03 who fucked it up this time 15:22:34 what the heck happened there 15:22:52 `paste bin/ls 15:22:55 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/ls 15:23:27 -!- JWinslow23 has joined. 15:24:10 Should my Krash language have multiple cars and/or a track with turns? 15:24:18 no 15:24:21 -!- shikhin_ has joined. 15:24:33 yes. 15:24:48 why does your pancake language not have multiflipping as an operation 15:25:06 http://en.wikipedia.org/wiki/Pancake_sorting read this, there will be a test in week 1 of term 3 15:25:28 -!- shikhin has quit (Ping timeout: 240 seconds). 15:25:33 I ain't in school anymore! MWAH AH AH AH AH AH AH AH! 15:25:42 (but I still have nightmares about it) 15:26:25 `? boily 15:26:27 boily is the brother of Roujo's brother and he's monetizing the company Roujo works at, or something Canadian like that. He's also a NaniDispenser, and a Man Eating Chicken. 15:31:30 -!- dialektika has joined. 15:32:03 `relcome dialektika 15:32:06 ​dialektika: 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.) 15:32:09 -!- dialektika has quit (K-Lined). 15:32:16 excessive 15:32:53 woah. my first witness to a live k-line! 15:33:01 what did they do? 15:36:13 probably spam somewhere else 15:36:20 oh. boring. 15:38:30 -!- Phantom_Hoover has quit (Remote host closed the connection). 15:38:53 -!- shikhin_ has quit (Ping timeout: 245 seconds). 15:40:32 -!- Phantom_Hoover has joined. 15:42:54 -!- shikhin_ has joined. 15:45:15 -!- JWinslow23 has quit (Quit: Page closed). 16:02:27 -!- mikajlov has joined. 16:03:49 -!- mikajlov has quit (K-Lined). 16:15:42 -!- Slereah has joined. 16:19:15 -!- ^v has joined. 16:27:35 -!- oerjan has joined. 16:34:48 -!- augur has quit (Remote host closed the connection). 16:35:17 -!- augur has joined. 16:38:28 -!- Ixxie has joined. 16:38:54 Hey Spags 16:38:54 -!- carado has quit (Quit: Leaving). 16:38:56 sup? 16:39:06 -!- carado has joined. 16:39:41 `relcome Ixxie 16:39:43 -!- augur has quit (Ping timeout: 245 seconds). 16:39:44 ​Ixxie: 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.) 16:39:48 `help 16:39:48 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 16:40:17 `cat bin/ls 16:40:19 cat: bin/ls: No such file or directory 16:40:25 wat 16:40:52 heh 16:40:53 -!- asie has joined. 16:41:09 -!- Sprocklem has quit (Ping timeout: 248 seconds). 16:41:17 I thought this was a channel to discuss Esoteric mysticism lol 16:41:36 that Ewige Blumenkraft deceived me xD 16:42:07 the topics here tend to be deceptive more often than not 16:43:08 well deception is awesome 16:43:24 I am very novice in programming, most certainly clueless on esoteric programming 16:44:07 `undo 3886 16:44:09 patching file ls \ patching file ls 16:44:21 `ls wisdom 16:44:23 ​` \ `? \ _̰̆̓_̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̋_̴̝̔̉̅ͨ͞ \ ? \ ?? \ @ \ ⊥ \ ⌨ \ ☃ \ 🐐 \ ̸̸̼͚͇̮͕̳̞̤̜̯̪̪̱̣̠̺̹͍̩̝͚͕͓͚̙͓̪̮̟̜̣͙̪̂ͭ̎̏̔ͦ͒ͪ͌̾ͦͨ̚̚͢͢͠ͅ҉̴̢_͙̣͎͎͙̪̪̝̖͉̟̭̻̥̫̗̱̗͍̳̦̮̟̲̥͔̿̊ͣ̉ͣͪ͒̓̐͊̏ͫ̓̚̚҉̕͜͠͠҉̡̧̛ 16:44:32 ok that didn't actually help 16:44:35 `cat bin/ls 16:44:37 cat: bin/ls: No such file or directory 16:44:47 wtf 16:44:53 `cat bin/ls 16:44:54 ​#!/bin/bash \ if /bin/ls -id "$@" 2>/dev/null | grep -q ^969195 ; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try `pastewisdom instead.'; else exec -a ls /bin/ls "$@"; fi 16:45:12 `run mv bin/ls\ bin/ls 16:45:16 No output. 16:45:20 `cat bin/ls 16:45:22 ​#!/bin/bash \ if /bin/ls -id "$@" 2>/dev/null | grep -q ^969195 ; then echo 'As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try `pastewisdom instead.'; else exec -a ls /bin/ls "$@"; fi 16:45:24 -!- Sprocklem has joined. 16:45:26 `ls wisdom 16:45:28 As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try `pastewisdom instead. 16:46:06 it seems zzo38 broke that for some reason. perhaps even a good one. 16:47:06 wouldn't ls simply be outside of HackEgo's home dir? 16:47:16 Oh 16:48:01 FireFly: the default one, yes. 16:48:09 Yeah, I just noticed the purpose of bin/ls 16:48:27 I helps to actually read all the HackEgo output before writing stuff 16:49:44 -!- FreeFull_ has joined. 16:50:03 otoh it's not very useful after the nicks got shuffled off the end by the weird symbols. 16:51:34 -!- ais523 has joined. 16:52:01 -!- FreeFull has quit (Ping timeout: 268 seconds). 16:52:03 And then again it's not as annoying as `list is 16:52:30 -!- Ixxie has left. 16:54:33 -!- FreeFull_ has quit (Ping timeout: 246 seconds). 16:54:50 -!- FreeFull has joined. 16:55:34 oerjan: maybe “`ls wisdom” should point to the PDF? 16:56:09 @tell zzo38 why did you break the list that should be broken? (if you had a good reason, please disreregard this message.) 16:56:09 Consider it noted. 16:56:09 -!- cybercortex has joined. 16:56:13 -!- cybercortex has quit (Client Quit). 16:56:17 oh darn. 16:56:27 @tell zzo38 shouldn't. not should. as it should. 16:56:27 Consider it noted. 16:56:57 actually i thought the first fit. the ls _should_ be broken for wisdom. 16:57:45 @tell zzo38 well, it all depends on your point of oerjan. 16:57:45 Consider it noted. 16:57:55 @tell zzo38 (sorry for spamming.) 16:57:55 Consider it noted. 16:58:08 oerjan: there, that should make it. 16:58:36 boily: i shall amuse myself by letting you change bin/ls to point to the pdf. 16:59:00 oh hm. 17:00:25 aka "sed, the comedic farce tool" 17:00:28 -!- FreeFull has quit (Ping timeout: 240 seconds). 17:00:51 I ain't be using the sed-mower on ls. too dangerous. 17:01:20 darn. 17:01:23 but! 17:01:32 I'll trying echoing it. 17:02:09 aka "shell escaping, the comedic farce tool" 17:03:26 `run sed -i 's:`pastewisdom:https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf:' bin/ls # ought to work 17:03:28 sed: -e expression #1, char 22: unknown option to `s' 17:03:40 <.> 17:03:52 `run sed -i 's#`pastewisdom#https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf#' bin/ls # ought to work 17:03:56 No output. 17:04:00 `ls wisdom 17:04:02 As the wisdom directory contains many files named after nicks, listing it in public annoys people. Try https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf instead. 17:04:12 aurgh! 17:04:31 just as I was typing the Glorious Command, I was outfireflied. 17:04:56 * boily smacks FireFly with leaning toothpicks 17:04:56 boily: Just be comforted by the fact that you'd probably have screwed it up somehow. 17:05:09 that's besides the point. 17:05:37 * FireFly ponders whether to `revert 17:05:41 `run cat wisdom/bonvenon 17:05:42 bonvenon Bonvenon al la internacia centro por la desegno kaj ellaso de esoteraj programlingvoj! Por pli da informado, vizitu la Viki-o: http://esolangs.org/wiki/Main_Page. (Por la alia speco de esotero, iru al #esoteric sur irc.dal.net.) 17:05:55 wat 17:06:23 `run sed -i 's/bonvenon //' wisdom/bonvenon 17:06:27 No output. 17:06:36 someone doesn't understand `learn. 17:06:40 `run sed -i 's/Viki-o/Viki-on/' wisdom/bonvenon 17:06:44 No output. 17:06:52 or the accusative, for that matter 17:07:08 i suspect google did that? 17:07:10 the culprit is... me... 17:07:15 ooh 17:07:26 should it be "vizitu la Viki-on"? 17:07:28 that was my first day in #esoteric too. or second. something like that 17:07:41 Hmm 17:07:56 Koen_: um like, he changed it right there. 17:08:01 Do I risk getting changed into my Jake English cosplay now, or in an hour and three quarters? 17:08:02 Koen_: yeah. "la Viki-on" is a direct object 17:08:24 oerjan: sorry my brain filters all lines that contain too much slashes 17:08:37 s/much/many 17:09:14 say, supposing that we may hypothetically have a quenya (and/or sindarin) welcome some day in the foreseeable future, what kind of encoding should we use? 17:10:03 i note that typing "jake english" into google automatically adds "cosplay" as a suggestion 17:10:10 boily: The ConScript one? 17:10:17 http://std.dkuug.dk/JTC1/SC2/WG2/docs/n1641/n1641.htm 17:11:03 You can't use the Everson proposal directly because it has "xx"s in the codepoints. 17:11:12 (Is the ConScript just that directly mapped, though? It might be.) 17:12:35 http://www.evertype.com/standards/csur/tengwar.html sure looks pretty similar. 17:13:27 yes, but the dkuug version suggests U+1CC00..U+1CC7F, which makes more sense. 17:14:12 boily: You can't just randomly select currently unused code points. 17:14:33 beuh. if only it were that simple. 17:14:56 you realize 99.9% of everyone won't see it properly anyway. 17:15:02 boily: At least the ConScript registry lives inside the private use area and so won't be trampled by actual Unicode, and there's several fonts with Tengwar characters in the code points proposed there. 17:15:16 oerjan: That sounds like an underestimate. 17:15:46 "The following Unicode sample (which repeats the one above) is meaningful when viewed under a typeface supporting tengwar glyphs in the area defined in the ConScript tengwar proposal. Some typefaces that support this proposal are Everson Mono, Tengwar Telcontar, Constructium, Tengwar Formal Unicode, and FreeMonoTengwar --" <-- see, several. 17:18:42 -!- augur has joined. 17:19:08 boily: Alternatively, you could encode it in three different ways (Everson's original suggestion, the CSUR private-use block, and the de-facto on-top-of-ISO-8859-1 encoding), and provide three welcomes. 17:21:57 that sounds painful. exactly what is needed to assenate on newcomers. 17:22:24 𜰀 17:24:17 with webclients and suchlike, Everson's proposition should be typeset first, imho. 17:24:36 Random question: is anyone here at The University of Western Ontario? 17:24:57 (if you're using weechat, check this out → http://cormier.github.io/glowing-bear/) 17:25:18 john_metcalf: coppro is probably close. 17:25:40 john_metcalf: I'm at Waterloo 17:25:47 why ask-you? 17:26:00 -!- oerjan has quit (Quit: Waterlooo...). 17:26:23 -!- Slereah has quit (Ping timeout: 245 seconds). 17:27:14 oerjan appears to have met his Waterloo 17:28:02 -!- KingOfKarlsruhe has joined. 17:30:19 Why *don't* we have tengwar and klingon `welcome variants, by the way? 17:30:57 -!- Sprocklem has quit (Ping timeout: 272 seconds). 17:35:24 -!- conehead has quit (Quit: Computer has gone to sleep.). 17:40:10 -!- shikhin_ has changed nick to shikhin. 17:41:41 -!- ^v has quit (Read error: Connection reset by peer). 17:42:05 -!- ^v has joined. 17:47:57 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 17:49:42 -!- nisstyre has joined. 18:01:08 Since the previous one was so popular: http://www.youtube.com/watch?v=tCXR1sHfccY 18:03:24 -!- asie has joined. 18:03:42 -!- Slereah has joined. 18:05:18 fizzie: oh, another one! 18:05:29 (and a subtle “A!”) 18:06:49 boily: I think I'll make a winter one in, well, the winter. 18:07:20 Also the A! gets lit up near the end. 18:07:29 Uh, spoiler warning. 18:10:40 -!- Frooxius has quit (Read error: Connection reset by peer). 18:11:26 -!- Frooxius has joined. 18:18:31 -!- Slereah_ has joined. 18:19:06 coppro: Just I was trying to contact someone at UWO, but his email address is bouncing. 18:20:01 I've got a new email address to try now though... 18:20:33 -!- Slereah has quit (Ping timeout: 245 seconds). 18:20:41 ah ok 18:25:56 -!- Sprocklem has joined. 18:36:32 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 18:37:02 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 18:55:22 -!- shikhin_ has joined. 18:56:42 -!- shikhin has quit (Ping timeout: 246 seconds). 19:00:43 heh, i like this problem. pick a point on a side of the unit square, and then another point on a different side. what's the expected value of the distance between the two points? 19:01:02 Bike: depends on the randomization algorithm you use 19:01:57 uniform distributions. 19:02:41 -!- Taneb has quit (Quit: Leaving). 19:14:02 uniform distribution → http://www.canadianlinen.com/~/media/Images/Home%20Banner/pyyco-ca.ashx 19:15:02 oh i get it. it's a pun. since that company distributes uniforms. 19:22:25 -!- Koen_ has quit (Quit: Koen_). 19:24:29 -!- nisstyre has quit (Quit: Leaving). 19:28:30 -!- asie has joined. 19:34:04 -!- tswett_ has joined. 19:34:08 Hey guys. 19:34:21 So I'm trying to come up with an esolang consisting entirely of syntactic sugar for a Turing machine. 19:34:54 that was published in sigbovik once. 19:35:02 Was it? 19:35:14 yeah. it was called "cell" or suchlike. looked like Java. 19:35:24 Interesting. 19:37:12 I figured I'd feel my way through this esolang by writing a description of a Turing machine which lazily evaluates SKI calculus. 19:37:20 But I can't think of a great way for a Turing machine to do that. 19:37:23 Turing machines kinda suck. 19:37:51 -!- Nisstyre-laptop has joined. 19:39:28 All right, let's see. Data types will be defined using unions and cartesian products. Each data type will have to be finite, so recursion will be prohibited. 19:40:02 -!- Nisstyre-laptop has changed nick to nisstyre. 19:40:07 aha, found it. 19:40:51 A function can take values of data types and return values of data types. Functions can call each other, but not recursively. 19:41:52 Brother Jonathan Aldrich. (2010). "Holy States Can Save the World!" _Proceedings of the SIGBOVIK Conference, 2010_. pages 67-69. 19:41:56 I don't think it has a DOI :( 19:43:33 hm, i think the proceedings might actually be titled "The 9th Biarennial Workshop about Symposium on Robot Dance Party of Conference in Celebration of Harry Q. Bovik's 0x40 Birthday". 19:44:13 I kind of wish macron notation for hexadecimal were common. 19:44:25 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 0̄, 1̄, 2̄, 3̄, 4̄, 5̄. 19:44:52 Or, alternatively (and incompatibly), 0, 1, 2, 3, 4, 5, 6, 7, 0̄, 1̄, 2̄, 3̄, 4̄, 5̄, 6̄, 7̄. 19:44:52 -!- Sprocklem has quit (Ping timeout: 264 seconds). 19:47:21 Happy 0x73̄3̄0̄14̄, everyone! 19:48:58 gosh, it took me like 10 seconds to notice the little lines in this font 19:49:01 Do those use combining macrons, or are they separate dedicated codepoints for digits with macron above? 19:49:17 Those use combining macrons. 19:50:19 0, 1, 2, 3, 4, 5, 6, 7, 0̸, 1̸, 2̸, 3̸, 4̸, 5̸, 6̸, 7̸... 19:50:44 http://i.imgur.com/4UnBlTo.png it looks like this here 19:50:49 -!- conehead has joined. 19:50:52 Maybe we should be more concise and call this day 0x1̄372̄3. The number of days since January 1, 1 (counting both endpoints) in the extrapolated Gregorian calendar. 19:51:06 tswett_: I don't 19:51:34 Fiora: sweet. 19:55:15 i like the seven 19:55:17 is um is that how it's supposed to look 19:55:50 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 0ᷝ, 1ᷝ, 2ᷝ, 3ᷝ, 4ᷝ, 5ᷝ 19:56:03 (From the oft-repeated l <=> 1 font confusion.) 19:56:06 those sure are some defaultian boxes. 19:56:58 `unidecode 2ᷝ 19:57:00 ​[U+0032 DIGIT TWO] [U+1DDD COMBINING LATIN SMALL LETTER L] 19:58:02 wh... why does that exist? 19:58:50 -!- dsolonin has joined. 19:59:17 -!- FreeFull has joined. 19:59:38 There's a random sampling of combining latin letters, probably each for some specialized use. 19:59:41 http://sprunge.us/RLCG 20:00:09 But of course not the *full* set, that would be ridiculous. 20:01:11 lol they're not even contiguous, huh 20:01:27 you presumptuous indecent heretic! don't you realise that your Soul is Bound by False Assumptions, such as the Alphabetical Order of the Devil? 20:01:38 yes, i've often thought to myself, "i need a combining æ" 20:04:01 http://i.imgur.com/K13iNB3.png is what they look like for me 20:05:07 boily's look almost like katakana :-) 20:05:22 er, hiragana. 20:07:20 めイスわすちるヌ... 20:11:35 Whoa Man 20:11:45 http://asset-0.soup.io/asset/5997/1518_0c8a.jpeg 20:12:57 -!- dsolonin has quit (Read error: Connection reset by peer). 20:13:38 `unidecode めイスわすちるヌ 20:13:40 ​[U+3081 HIRAGANA LETTER ME] [U+30A4 KATAKANA LETTER I] [U+30B9 KATAKANA LETTER SU] [U+308F HIRAGANA LETTER WA] [U+3059 HIRAGANA LETTER SU] [U+3061 HIRAGANA LETTER TI] [U+308B HIRAGANA LETTER RU] [U+30CC KATAKANA LETTER NU] 20:13:48 TI? 20:14:03 Sure. I assume that's the same thing as "chi". 20:14:20 yes, but... ow... 20:14:23 So, it says "me isu wasuchiru nu" or something. 20:14:39 I kind of like the idea of using "ti" instead of "chi". 20:14:40 I... tried to match the slashed digits to the best of my ability. 20:15:12 ヌ works pretty well, but everything else is... you'd have to be on the same stuff as I am, mon... 20:15:25 (namely, oolong tea, third cup of the day.) 20:15:52 Oh dang, they do look like that. 20:17:15 エスクリボエスパニョルエンカタカナ 20:17:17 Third cup? 20:17:38 mug. ~10 oz porcelain container. tasse à café. 20:17:40 laced with mdma. 20:17:46 note to self: cut down on your tea consumption 20:17:54 メプレグントシアルギエンプエデエンテンデルエスト 20:18:12 is that Spanish??? 20:18:14 Yes. 20:18:26 you're all invited to my party 20:18:32 * boily *SMACKS* tswett_ with his mug'o'tea 20:18:32 hell ya 20:18:42 quintopia: woot! will there be cookies? 20:19:10 Wow. Google Translate translates "メプレグントシアルギエンプエデエンテンデルエスト" as "Pregnant memory client sialic Guillen Puede yen Ten del Est". 20:19:23 -!- shikhin_ has changed nick to shikhin. 20:19:40 FireFly: I shall not. tea makes me calm and serene, without any trace of violence. 20:19:54 boily: no. but there might be biscuits. 20:20:17 -!- boily has set topic: Pregnant memory client sialic Guillen Puede yen Ten del Est | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | logs: http://codu.org/logs/_esoteric/ or http://tunes.org/~nef/logs/esoteric/. 20:20:43 Hm, I should try oolong. I've grown a bit tired of earl grey anyway 20:20:55 So that's "mepureguntoshiarugienpuedeentenderuesuto", apparently. So "puregunto" must have become "pregnant", and "shiaru gien puede en ten deru esuto" became "sialic Guillen Puede yen Ten del Est". 20:21:00 And "me" must have become "memory". 20:21:26 I see. 20:23:14 ゼメポズボクデケスチオン… 20:24:30 ”Zemepozubokudekesuchion”, eh? 20:24:41 `unidecode ” 20:24:43 ​[U+201D RIGHT DOUBLE QUOTATION MARK] 20:25:07 Dang, I didn't know my quotation marks were so fancy. 20:25:52 Whelp, I'm gonna head out. See you guys. 20:25:55 -!- tswett_ has quit (Quit: Page closed). 20:27:28 more languages need the [ʒ]. that sound is sublime. 20:30:56 -!- nisstyre has quit (Quit: Leaving). 20:38:55 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:45:02 are there combining diactritics for (han)dakuten 20:45:44 no, only fancy double quotes as seen in books. 20:45:46 -!- carado has quit (Ping timeout: 246 seconds). 20:46:16 fancy double quotes? 20:46:46 the opening and closing ones, as opposed to the «"». 20:47:06 https://en.wikipedia.org/wiki/Double_quote#Typing_quotation_marks_on_a_computer_keyboard 20:47:57 『「«“‘"'"’”»」』 20:48:00 oh yeah 20:49:56 ｶﾞｷﾞｸﾞｹﾞｺﾞ ← ｺﾚﾓﾂｶﾜﾚﾙ. (wow they're actually treated as single entities?! i guess they actually are "combining") 20:50:13 oh you can still copy just a ﾞ. weird 20:51:43 そうですね 20:54:58 -!- Faris has joined. 20:56:36 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 21:01:18 You can see UAX #29 for the typically Unicodean definition of "grapheme clusters" (aka "user-perceived characters"), which are the things that "commonly behave as units in terms of mouse selection, arrow key movement, backspacing, and so on". 21:02:10 (It only includes 13 rules.) 21:02:13 -!- Faris has quit (Ping timeout: 272 seconds). 21:02:22 that's uh, different from "glyphs" and "characters", is it 21:02:42 of course it's different 21:03:00 does Unicode have a definition of "character"? 21:03:36 kmc: Something like four of them. 21:03:49 is text shaping even within scope for Unicode? that is, does it specify precisely how a sequence of e.g. Devanagari characters should appear on the screen? 21:04:16 or does it just provide the lower-level character attributes for text shaping libraries and font formats to define these things? 21:06:22 I don't know, but if it does say something about that, it's going to say it in one of the annexes, which do not always require particular things for conformance, but rather provide guidance. 21:06:28 ICU seems to have some shaping code 21:06:40 but I think http://en.wikipedia.org/wiki/HarfBuzz is what everyone uses for shaping, in the open-source world 21:07:42 Like the grapheme boundary annex, which specifies a "default" and mentions that more sophisticated implementations "can and should" be more sophisticated. 21:08:06 Anyway, a grapheme cluster is certainly different from a glyph. 21:10:31 (E.g. ligatures are often a single glyph but generally not a single grapheme cluster.) 21:10:43 -!- asie has joined. 21:11:26 -!- dddtest_a0970 has quit (Remote host closed the connection). 21:12:08 -!- dddtest_3df87 has joined. 21:13:18 https://twitter.com/ibogost/status/395659453405474816/photo/1 21:13:43 Best games 21:19:04 -!- nisstyre has joined. 21:19:53 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 21:22:58 -!- metasepia has quit (Remote host closed the connection). 21:26:15 -!- boily has quit (Quit: トマトマトマトマト). 21:32:18 http://mightygodking.com/index.php/2008/04/21/fun-from-yesterday/ 21:32:29 Buzz Aldrin Space Rainbow Tennis 21:32:43 -!- dddtest_3df87 has quit (K-Lined). 21:34:00 took me too long to realize they weren't real 21:34:37 Oh, Man, Twizzlers 21:35:41 http://en.wikipedia.org/wiki/Kool-Aid_Man#In_popular_culture v. encyclopedic 21:43:47 so... is there any esolang based on petri nets? 21:44:00 because i'd totally love that 21:45:45 -!- mrhmouse has joined. 21:52:00 ooh yeah 21:59:43 there is none? really 21:59:52 time to fix that! 22:03:57 http://slbkbs.org/the-new-ops.png 22:03:58 remember that 22:03:59 good times 22:05:53 i have many strange files in my web server directory 22:06:50 shachaf: good image 22:08:00 hahaha 22:17:21 -!- nisstyre has quit (Quit: Leaving). 22:29:01 -!- mrhmouse has quit (Quit: Leaving.). 22:41:58 -!- augur has quit (Remote host closed the connection). 22:42:34 -!- augur has joined. 22:45:00 -!- oerjan has joined. 22:46:52 -!- augur has quit (Ping timeout: 246 seconds). 22:56:29 -!- shikhin has quit (Ping timeout: 272 seconds). 22:56:54 -!- shikhin_ has joined. 23:10:01 http://www.biostars.org/p/85108/ cool, bioinformatics is now at the "mock people's operating systems" stage of programming knowhow 23:14:29 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 24.0/20130910160258]). 23:22:31 -!- Phantom_Hoover has joined. 23:38:41 -!- augur has joined.