00:09:15 -!- Bike has quit (Ping timeout: 260 seconds). 00:15:11 -!- Bike has joined. 00:24:10 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 00:31:14 -!- doesthiswork has joined. 00:39:06 "my novella about a sentient SMT solver addicted to bitcoin gambling" fuck, i'd read that 00:40:24 -!- Phantom_Hoover has joined. 00:40:53 satisfiability modulo politics. hmm. 00:57:57 wow uruguay has straight up legalized weed today 00:58:24 oh nice they went through with that 00:58:41 good place to grow it too 00:59:03 -!- nooodl_ has quit (Ping timeout: 246 seconds). 00:59:41 -!- augur_ has quit (Ping timeout: 272 seconds). 01:02:05 `? mroman 01:02:07 He's a nobody. Move along. 01:02:16 `? mroman_ 01:02:18 mroman_? ¯\(°​_o)/¯ 01:04:37 -!- Sprocklem has joined. 01:06:47 doesthiswork: ah, is it? cool 01:10:10 i don't know very much about cannabis cultivation 01:10:21 `? kmc 01:10:23 kmc ran the International Devious Code Contest of 2013 01:10:26 >_> 01:10:45 i watched a video about it, which was more interesting for the engineering that goes into a covert grow room than for the actual agriculture part 01:11:05 it's like other plants it likes water and sun 01:11:12 good to know 01:11:57 `run sed -i '2s!sed.*!lowercase | sed '\''s/^(a|the) //;s/[Ss]\? .*//'\'')' bin/learn 01:11:57 I'm going to school for an actual degree in agriculture and I took a weed science class 01:11:58 sed: -e expression #1, char 55: unterminated `s' command 01:12:16 `run sed -i '2s!sed.*!lowercase | sed '\''s/^(a|the) //;s/[Ss]\? .*//'\'')!' bin/learn 01:12:19 No output. 01:12:37 `learn The natives are restless. 01:12:41 I knew that. 01:12:44 `? native 01:12:46 native? ¯\(°​_o)/¯ 01:12:54 ...apparently not. 01:13:00 `? the 01:13:02 the? ¯\(°​_o)/¯ 01:13:04 -!- augur has joined. 01:13:05 `? The 01:13:07 The? ¯\(°​_o)/¯ 01:13:10 sux 01:13:10 `? The natives 01:13:12 The natives? ¯\(°​_o)/¯ 01:14:56 `revert 01:14:57 Done. 01:16:09 @tell gregor the repository browser ignored one of my `reverts. 01:16:09 Consider it noted. 01:16:22 `run ls wisdom/*native* 01:16:24 ls: cannot access wisdom/*native*: No such file or directory 01:17:04 hm since it's not removed in the repository, i have a hunch it will come back on the next change. 01:17:24 "Who's looking forward to @rubyconfuruguay? :)" c.c 01:17:24 c.c.c 01:17:24 c.c 01:17:26 :D 01:17:28 wb myndzi 01:17:56 c.c 01:17:58 c.c 01:18:00 ah right uruguay also got gay marriage back in august 01:18:02 c.c 01:18:09 kmc: myndzi has to account for their name 01:18:22 ah yes 01:20:33 `run sed -i '2s!sed.*!sed '\''s/^`\\(a|the\\) //;s/[Ss]\? .*//'\'')!' bin/learn 01:20:37 No output. 01:21:25 wait what 01:21:29 `revert 01:21:31 Done. 01:21:43 `run sed -i '2s!sed.*!sed '\''s/^\\(a|the\\) //;s/[Ss]\? .*//'\'')!' bin/learn 01:21:47 No output. 01:22:09 `learn The natives are restless. 01:22:11 I knew that. 01:22:35 is that sed inside a sed command 01:22:40 `? natives 01:22:42 natives? ¯\(°​_o)/¯ 01:22:46 nice 01:22:46 Bike: yes hth 01:22:53 `run ls wisdom/*native* 01:22:54 wisdom/the natives are restless. 01:23:00 beaut 01:23:17 `rm wisdom/the natives are restless. 01:23:20 No output. 01:24:43 i thought sed allowed separating commands by ; 01:25:29 -!- Sprocklem has quit (Quit: Leaving). 01:25:45 `run echo 'the natives are restless.' | sed 's/^\(a|the\) //;s/[Ss]? .*//' 01:25:47 the natives are restless. 01:25:47 -!- Sprocklem has joined. 01:25:57 `run echo 'the natives are restless.' | sed 's/^\(a|the\) //' 01:25:59 the natives are restless. 01:26:04 oh hm 01:26:23 `run echo 'the natives are restless.' | sed 's/^\(a\|the\) //' 01:26:24 natives are restless. 01:26:34 `run echo 'the natives are restless.' | sed 's/^\(a\|the\) //;s/[Ss]? .*//' 01:26:36 natives are restless. 01:26:46 `run echo 'the natives are restless.' | sed 's/^\(a\|the\) //; s/[Ss]? .*//' 01:26:48 natives are restless. 01:26:58 `run echo 'the natives are restless.' | sed 's/^\(a\|the\) //; s/s\? .*//' 01:27:00 native 01:27:22 ic. forgot two escape the backslash too. 01:27:50 `run sed -i '2s!sed.*!sed '\''s/^\\(a\\|the\\) //;s/s\\? .*//'\'')!' bin/learn 01:27:53 No output. 01:28:10 `learn The natives are restless, also armed with sed. 01:28:15 I knew that. 01:28:18 `? native 01:28:20 The natives are restless, also armed with sed. 01:28:23 yay! 01:28:53 `run ls wisdom/*native* 01:28:54 wisdom/native 01:34:02 -!- doesthiswork has quit (Quit: Leaving.). 01:34:56 -!- Sgeo has joined. 02:18:49 -!- tromp has joined. 02:24:21 -!- yorick has quit (Remote host closed the connection). 02:37:16 -!- Sorella has quit (Remote host closed the connection). 02:37:18 http://dubblebaby.blogspot.ca/2012/09/buttgu.html 02:51:24 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 03:07:50 -!- prooftechnique has joined. 03:08:12 `? danddreclist 03:08:14 http://zzo38computer.org/dnd/recording/level20.tex (the precompiled .dvi is also available) 03:08:51 prooftechnique: Are you involved in that? 03:09:01 In what now? 03:09:18 zzo38's Dungeons and Dragons game. 03:09:27 See .tex file above. 03:09:30 hm last i paid attention there was just zzo38 and the gm 03:09:30 I am not, but I'd probably be interested :D 03:09:46 There's a character named Also. 03:09:51 prooftechnique's username is Also. 03:09:54 checkmate?? 03:09:56 oh right 03:10:02 I'm CAUGHT 03:10:13 i guess the evidence is indisputable 03:11:10 My favorite character that I invented for D&D was a thief called Reggie 03:11:25 When asked "Short for Reginald", he responded "No, long for Reg" 03:13:02 -!- copumpkin has joined. 03:15:11 -!- SingingBoyo has joined. 03:16:49 -!- Bike has quit (Ping timeout: 252 seconds). 03:20:45 -!- pikhq has quit (Ping timeout: 252 seconds). 03:22:54 -!- pikhq has joined. 03:23:25 -!- Bike has joined. 03:23:34 prooftechnique: the first time played, we started off with some default characters that the DM made up so we could get right into the mechanics. Mine was an elf with the auto-generated name "Varna" which I decided should be pronounced like "Lola" and that is what she was called for the rest of that campaign :D 03:24:10 Haha. Nice 03:25:59 I wish more mail clients supported integrated GPG stuff 03:26:23 I'm not way into Apple Mail, but I like it better than Thunderbird, and those are pretty much the options :| 03:27:33 HMMM 03:27:43 i wonder if there is a way to integrate GPG into vmail 03:28:26 https://github.com/danchoi/vmail/issues/140 03:28:29 guess not 03:29:42 -!- nisstyre has joined. 03:43:00 > do '!' 03:43:02 '!' 03:56:32 -!- tromp has quit (Remote host closed the connection). 03:57:05 -!- tromp has joined. 04:01:39 -!- tromp has quit (Ping timeout: 260 seconds). 04:09:21 -!- tromp has joined. 04:21:07 -!- nycs has joined. 04:21:07 -!- Tod-Autojoined has joined. 04:24:51 -!- pikhq has quit (Ping timeout: 245 seconds). 04:24:52 -!- Tod-Autojoined2 has quit (Read error: Connection reset by peer). 04:24:53 -!- heroux has quit (Ping timeout: 264 seconds). 04:24:53 -!- `^_^v has quit (Ping timeout: 264 seconds). 04:25:44 -!- pikhq has joined. 04:26:24 -!- heroux has joined. 04:39:00 I am shocked, SHOCKED, by The Onion's Kelly... the latest cartoon doesn't have flies surrounding the person burning the US flag 04:40:04 it's satire. savvy readers know to draw in the flies. 04:40:30 also, he's already dead, as is right and proper 04:40:51 the big fish eat the little ones 04:53:08 -!- nisstyre has quit (Read error: Connection reset by peer). 04:54:33 -!- nisstyre has joined. 05:01:57 -!- pikhq has quit (Ping timeout: 252 seconds). 05:02:20 -!- pikhq has joined. 05:12:21 -!- conehead has quit (Quit: Computer has gone to sleep.). 05:13:03 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 05:35:26 -!- tromp has quit (Remote host closed the connection). 05:36:14 -!- doesthiswork has joined. 05:39:35 -!- oklopol has joined. 05:42:45 -!- Sprocklem has quit (Ping timeout: 252 seconds). 05:45:28 -!- Bike_ has joined. 05:45:29 -!- Bike has quit (Quit: Reconnecting). 05:45:46 -!- Bike_ has changed nick to Bike. 05:49:45 -!- ruddy has quit (Ping timeout: 240 seconds). 05:56:10 linux is trademarked right 05:56:31 yes http://www.linuxfoundation.org/programs/legal/trademark/faq 05:56:47 ok cool 05:56:52 Linux™ 05:57:21 «I am making T-shirts, mugs, etc. for sale, and I want to include the "Linux" on them. Do I need a sublicense?» «No, this is generally considered fair use.» huh 05:57:43 kmc: yeah i'm wondering how justified in writing that to be silly i am. the answer it seems is "it's fine i guess, nobody likes your stupid jokes anyway" 05:58:24 t-shirt of Linux humping Mickey Mouse on top of the Enjoy Coca-Cola sign 05:58:49 i don't usually think of linux as a humping entity 05:58:58 the penguin maybe, but not linux itself 05:59:06 ("i think of the penguin humping things a lot") 05:59:58 class Tux extends IHumpable 06:00:08 :o 06:00:34 man if #esoteric had a code of conduct I would have to enforce it against myself on a daily basis -_- 06:01:01 do codes of conduct usually prohibit talking about humping (not sure if this is a serious question) 06:01:16 It Depends 06:01:39 gasp 06:03:34 `pastelogs 8=+D 06:04:23 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.29661 06:10:18 fungot: i think you will like today's xkcd 06:10:18 oerjan: i'm fixing my code of ethics is vacationing at famed schroon lake in upstate new york because fnord pronounce " an" 06:10:33 fungot: oh wait, xkcd what-if, i mean 06:10:34 oerjan: bash can't write a literal function or a macro engine... had no concurrent in his time that it's handling a message. don't believe the separator itself is of much importance 06:16:42 the hemp, hops, and hackberries diet 06:39:15 -!- oerjan has quit (Quit: leaving). 06:41:44 two guys leaving academia :'( 06:42:05 life so cruel 06:43:05 too much hemp? 06:44:42 doubt it 06:44:56 not enough hemp? 06:45:54 perhaps!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 06:46:10 why does xkcd man occasionally use metric and occasionally retardic? 06:46:22 wouldn't consistency be nicer 06:46:39 'retardic' is a shitty insult, also we call that America Sickness 06:47:06 it's not an insult, i just didn't remember the name 06:47:13 footic? 06:47:29 'imperial' 06:47:32 oh right 06:47:37 standard units :p 06:48:05 * shachaf sighs 06:48:45 the US fluid ounce differs from the imperial fluid ounce 06:48:47 hth 06:49:09 oh no 06:49:15 http://en.wikipedia.org/wiki/File:MetricImperialUSCustomaryUnits.jpg 06:49:32 http://en.wikipedia.org/wiki/Comparison_of_the_imperial_and_US_customary_measurement_systems 06:49:56 it's ♫ the worst ♫ 06:51:06 usually randall does a good job of converting between the various units for everyone's sake 06:51:23 but favors customary due to his mostly american audience 06:52:40 certainly favors metric 06:53:31 maybe i just don't see the imperial version if there's a metric version too 06:55:49 anyone here an expert on writing research statements 06:55:57 "Also, member function pointers may be up to four times larger than regular pointers. The compiler may need to store the address of the function body, the offset to the correct base (multiple inheritance), the index of another offset in the vtable (virtual inheritance), and maybe even the offset of the vtable inside the object itself (for forward declared types)." 06:58:11 hooray 07:00:03 -!- Slereah has joined. 07:03:13 "There's no way a return value from a toilet can harm you unless you apply the value to your body." 07:03:53 what 07:04:08 are you an op in #toilet now 07:04:36 Some quote from some random person's dream 07:05:38 He dreams of poop 07:07:17 shachaf: is there a case where you actually need all four of those 07:07:39 kmc: i am not sure 07:35:56 -!- Bike has quit (Read error: Connection reset by peer). 07:36:13 -!- Bike has joined. 07:53:11 -!- KingOfKarlsruhe has joined. 08:09:38 -!- Timwi has joined. 08:29:26 -!- pikhq has quit (Ping timeout: 245 seconds). 08:30:37 -!- pikhq has joined. 09:11:05 -!- FreeFull has quit. 09:18:31 -!- tertu has quit (Read error: Connection reset by peer). 09:33:47 -!- nooodl_ has joined. 09:47:59 `quote toilet 09:48:02 104) alise: mainly it's the fact it blows so hard i cannot avoid hitting the walls of the thing, which completely goes against my basic public toilet hygiene principles \ 380) * Sgeo mutters about broken toilets #toilet is useless is #toilet even a thing I'm looking for help with toilets \ 381) Dear eHow: Pl 09:48:44 what 09:55:05 -!- doesthiswork has quit (Quit: Leaving.). 09:57:02 Take it to #esoteric-toilets, maybe? 09:57:59 there should be a language named toilet 10:04:54 -!- nisstyre has quit (Quit: Leaving). 10:14:12 i was climbing a fence in my dream (sideways, to get over a spontaneous waterfall) and realized (still in the dream) that what i did actually proved that climbing fences is NP-complete. 10:14:17 but i'm not so sure anymore. 10:14:47 Oo 10:15:44 oklopol, I can climb fences in polynomial time 10:16:19 :D 10:16:31 so i guess we can combine our findings to get P = NP 10:16:51 only if his climbing is deterministic 10:17:00 i'm sure it is, Taneb is basically a robot 10:17:59 oklopol: okay, now reduce fence climbing to 3sat 10:18:21 well my dream said so 10:18:39 and everyone knows dreams have access to quantum stuff etc 10:19:02 that reminds me of the esolang that is implemented but not known 10:19:49 -!- carado has joined. 11:06:52 -!- SingingBoyo has quit (Ping timeout: 246 seconds). 11:18:56 -!- Slereah_ has joined. 11:20:18 -!- Slereah has quit (Ping timeout: 265 seconds). 11:27:18 -!- doesthiswork has joined. 12:49:41 -!- FireFly has quit (Ping timeout: 248 seconds). 12:51:06 -!- doesthiswork has quit (Quit: Leaving.). 12:56:02 -!- Effilry has joined. 13:04:58 -!- boily has joined. 13:05:00 -!- metasepia has joined. 13:06:55 -!- Sgeo has quit (Read error: Connection reset by peer). 13:14:45 boily: pfcuttle added you to wisdom has a nice ring to it. 13:15:22 (I'm checking yesterday's e-mail) 13:23:34 good lockpicking-is-hard morning! 13:23:40 int-e: heh ^^ 13:23:55 @messages-loúd 13:23:55 oerjan said 14h 15m 21s ago: I will remain sane and spiritually pure. <-- and self-deluded, naturally. 13:24:10 @tell oerjan bleh! 13:24:11 Consider it noted. 13:34:49 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 25.0.1/20131112160018]). 13:39:20 -!- LinearInterpol has joined. 13:41:00 -!- Phantom_Hoover has joined. 13:47:17 -!- RJones has joined. 13:51:26 the PDF in the topic is amazing. 13:52:01 `relcome RJones 13:52:03 ​RJones: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 13:52:06 RJones: thanks :D 13:52:12 hehe. 13:52:17 `relcome LinearInterpol 13:52:19 ​LinearInterpol: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 13:52:22 Same person. :D 13:52:24 ... 13:52:40 one's on a VM. 13:52:57 Been following esolang for a while yet I've never joined the IRC.. 13:54:07 "Everyone in here is mad." 14:04:47 -!- tromp has joined. 14:10:17 `? mad 14:10:20 ​"But I don't want to go among mad people," Alice remarked. "Oh, you can't help that," said the Cat: "we're all mad here. I'm mad. You're mad." "How do you know I'm mad?" said Alice. "You must be," said the Cat, "or you wouldn't have come here." 14:10:39 apparently I'm mad, then. 14:10:42 so true 14:28:14 -!- Phantom__Hoover has joined. 14:29:41 -!- Phantom___Hoover has joined. 14:30:00 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 14:31:03 -!- LinearInterpol has quit (Read error: Connection reset by peer). 14:31:29 -!- LinearInterpol has joined. 14:31:35 lol. 14:32:55 -!- Phantom__Hoover has quit (Ping timeout: 245 seconds). 14:35:46 -!- tromp has quit (Remote host closed the connection). 14:36:18 -!- tromp has joined. 14:40:30 -!- tromp has quit (Ping timeout: 246 seconds). 14:42:27 -!- mrhmouse has joined. 14:44:08 -!- ruddy has joined. 14:48:16 I have a crazy idea but I have to think about it before I determine it's impossible. 14:52:01 ~yi 14:52:01 Your divination: "Treading" to "Treading" 14:52:24 b_jonas: wrt the Divinatory Tools, your idea is... possibly possible. 14:52:59 boily: let's ask a magic 8-ball 14:53:16 a crazy idea huh. 14:53:20 do we have a bot that can roll the magic 8-ball on this channel, or should I do it on another channel 14:53:23 ? 14:53:23 `ball 14:53:25 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ball: not found 14:53:28 `8-ball 14:53:29 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: 8-ball: not found 14:55:22 what be this crazy idea that you have, b_jonas 14:55:35 -!- nycs has changed nick to `^_^v. 14:56:26 `run ^.^ bin/^.^ 14:56:28 ​#!/bin/sh \ cat $@ 14:56:48 `run ^.^ bin/wow 14:56:50 ​#!/bin/sh \ welcome "$@" | rev | tr \)\( \(\) 14:57:27 `wow wow? 14:57:29 ​(.ten.lad.cri no ciretose# yrt ,aciretose fo dnik rehto eht roF) .>egaP_niaM/ikiw/gro.sgnalose//:ptth< :ikiw ruo tuo kcehc ,noitamrofni erom roF !tnemyolped dna ngised egaugnal gnimmargorp ciretose rof buh lanoitanretni eht ot emocleW :?wow 14:57:31 -!- FreeFull has joined. 15:00:25 `run cat bin/shachaf1sum 15:00:26 ​#!/bin/bash \ sha1sum "$@" | tr a-z n-za-m 15:00:32 ouch. 15:03:54 `shachaf1sum wisdom/shachaf 15:03:56 sha1sum: wisdom/shachaf : No such file or directory 15:04:20 `shachaf1sum wisdom/wikipedia 15:04:22 sha1sum: wisdom/wikipedia: No such file or directory 15:04:25 Hmm 15:04:35 FreeFull: try the full path? 15:04:42 `pwd 15:04:43 ​/hackenv 15:04:47 there aren't any wisdomian shachafes? 15:04:52 `? shachaf 15:04:54 shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. 15:04:59 I asked 8-ball from perlbot in another channel, and it said indeed my crazy idea is impossible 15:05:03 The filename might be capitalised weirdly 15:05:04 great 15:05:07 What is your idea. 15:05:08 `shachaf1sum /hackenv/wisdom/shachaf 15:05:10 p3rn6r3803427n499ps0qnnn1674r74qs85839r9 /unpxrai/jvfqbz/funpuns 15:05:10 dare I ask. 15:05:18 funpuns :o 15:05:28 That's shachaf's secret identity 15:05:34 holy fungot. 15:05:34 boily: if yes, what?) t 15:05:50 fungot: yes, shachaf, tr. you're missing a letter. 15:05:50 boily: e2 links are evil." 15:05:56 fungot: what's an e2? 15:05:57 boily: an esolang based off of befunge simcity??? 15:06:04 ... 15:06:20 * boily falls down from his chair in complete stupefaction 15:06:30 ...huh. 15:06:30 We need more cellular automaton esolangs 15:06:35 ^ 15:06:59 imagine. a befunge simcity. it'd be glorious. 15:07:09 that'd be horrifying. 15:07:27 How about an intersection between brainfuck and some turing-complete 1D cellular automaton? Not sure it'd work well 15:07:38 Or maybe unefunge 15:07:52 I'm doing something similar to that. 15:08:49 -!- tromp has joined. 15:09:08 I wouldn't call the languages I've seen that call themselves "cellular automata esolangs" actual cellular automata. 15:09:22 RJones: horrifying? don't you Realise the Potential? the Splines that could be Reticulated? 15:09:38 we must start immediately. 15:10:38 I'm developing an agent-based esolang with a control language similar to brainfuck. 15:10:51 writing the implementation in C. 15:11:37 http://i.imgur.com/r2gXChY.png is p. accurate. 15:12:41 fizzie: I concur. 15:15:09 -!- doesthiswork has joined. 15:15:19 noitdoesn't 15:17:53 yestitdoes 15:17:56 s/st/s/ 15:26:27 -!- RJones has quit (Quit: Lost terminal). 15:31:28 -!- Phantom___Hoover has quit (Ping timeout: 246 seconds). 15:33:06 -!- FireFly has joined. 15:33:09 -!- FireFly has quit (Changing host). 15:33:09 -!- FireFly has joined. 15:33:49 -!- Effilry has quit (Quit: WeeChat 0.4.2). 15:40:13 -!- tromp has quit (Ping timeout: 246 seconds). 15:44:36 -!- yorick has joined. 15:59:31 -!- CADD has joined. 16:02:05 -!- CADD has quit (Client Quit). 16:02:32 -!- CADD has joined. 16:02:47 `unicode BLUE BOOK 16:02:49 Unknown character. 16:03:03 * boily six-point-trees HackEgo 16:07:59 loving the wisdom compendium 16:09:49 `run python --version 16:09:50 Python 2.7 16:10:11 `run python3 --version 16:10:13 bash: python3: command not found 16:10:29 -!- Chillectual has joined. 16:10:52 Chillectual: not gonna welcome you a third time, you vile nickchanger! 16:12:26 not my fault this friggin' client sucks! :( 16:12:43 -!- LinearInterpol has quit (Ping timeout: 265 seconds). 16:12:56 Chillectual: use irssi attain enlightenment 16:13:24 Chillectual: disregard irssi acquire weechat. 16:13:51 boily: how is weechat? ive heard people like it 16:13:59 i guess i should give it a try.. 16:16:21 interesting, weechat has a guile plugin.. 16:16:55 -!- Chillectual has quit (Ping timeout: 250 seconds). 16:17:00 CADD: weechat has interesting plugins, such as a relay → http://cormier.github.io/glowing-bear/ 16:17:52 -!- RJones has joined. 16:18:15 boily: neat, im happy with curses though. :D 16:21:01 whew. 16:21:18 -!- CADD has quit (Quit: Lost terminal). 16:22:15 -!- RJones has quit (Client Quit). 16:23:53 -!- RJones has joined. 16:28:03 -!- Sprocklem has joined. 16:29:18 -!- ^v has joined. 16:35:03 boily: Last I looked at Python and Unicode, not even Python 3 had UCS-4 builds enabled by default, so no non-BMP characters there. 16:35:45 `run python -c 'import sys; print sys.maxunicode' 16:35:46 65535 16:36:11 (The Python 2.7.3 build on this Debian seems to print the proper 1114111 for that.) 16:37:24 fizzie: Python 3.3 is based on UCD 6.1, and 3.4 will have UCD 6.3. 16:37:59 -!- tromp has joined. 16:38:06 boily: Which doesn't help at all if it's still a UCS-2 build. 16:38:15 right. 16:39:21 Though maybe they've finally changed the default, or at least distributions have, who knows. 16:39:38 (Both 2 and 3 seem to be UCS-4 builds on this thing.) 16:40:17 -!- CADD has joined. 16:40:17 -!- CADD has quit (Client Quit). 16:40:49 -!- Tod-Autojoined has quit (Quit: This is me, signing off. Probably rebooting or something.). 16:43:00 fizzie: on my install, 'BLUE BOOK' fails on 2.7.6, but works on 3.3.3. 16:43:29 Yes, they do have different versions of the character database as well. 16:43:59 `run python -c 'import antigravity' 16:44:00 (But that's a separate issue from the maximum allowed codepoint value in a unicode/str (for 2/3) object.) 16:44:02 ​ \ Configuration file "/etc/lynx-cur/lynx.cfg" is not available. 16:44:11 hehehe. 16:46:01 -!- CADD has joined. 16:46:52 -!- CADD has quit (Client Quit). 16:47:15 -!- CADD has joined. 16:48:40 -!- conehead has joined. 16:59:42 -!- carado has quit (Ping timeout: 252 seconds). 17:05:45 -!- muskrat has joined. 17:10:25 -!- tromp has quit (Ping timeout: 245 seconds). 17:10:48 -!- pikhq has quit (Ping timeout: 260 seconds). 17:14:11 -!- carado has joined. 17:18:32 -!- pikhq has joined. 17:21:41 -!- conehead has quit (Quit: Computer has gone to sleep.). 17:22:39 -!- conehead has joined. 17:24:07 -!- RJones has quit (Remote host closed the connection). 17:24:40 -!- TodPunk has joined. 17:37:44 -!- Phantom___Hoover has joined. 17:39:10 -!- muskrat has quit (Ping timeout: 245 seconds). 17:39:16 -!- tromp has joined. 17:39:31 -!- augur has quit (Remote host closed the connection). 17:39:57 -!- augur has joined. 17:40:03 hi boily 17:40:13 why are you pythoning 17:40:37 -!- Koen__ has joined. 17:41:37 -!- prooftechnique has quit. 17:41:38 -!- Koen__ has quit (Read error: Connection reset by peer). 17:41:43 -!- Koen___ has joined. 17:42:56 hello 17:43:25 -!- tromp has quit (Ping timeout: 246 seconds). 17:44:36 -!- augur has quit (Ping timeout: 246 seconds). 17:46:02 hi quintopia 17:46:24 quintopia: pythoning what? I python for my job, for myself, for others... Python is the Universal Harmonic Language! 17:46:34 Koen___: bon après-midi! long time no see! 17:46:43 very long time 17:47:04 i'm considering pythoning a universal esoteric ide 17:47:12 i just installed ttk 17:47:28 I haven't used my computer since november 18th 17:48:55 :O 18:01:12 -!- RJones has joined. 18:03:22 -!- Koen___ has quit (Quit: Koen___). 18:05:07 he'll be back some time in January... 18:07:49 so 18:07:56 what do you think 18:12:36 I think it's a good idea. 2D editing is a must. 18:12:59 (and befunge syntax highlighting. I am naïf, and still believe it to be possible.) 18:13:32 -!- augur has joined. 18:13:33 well the idea is just a framework which loads different UIs and interpreters specific to each language 18:13:48 so "2d editing" would be supplied by the befunge editor for instance 18:14:01 and you could have multiple tabs open with different languages 18:14:24 each running its own plugged-in UI 18:14:42 and communication between the tabs, with data exchanged from esolang to esolang :D 18:16:26 -!- RJones has quit (Remote host closed the connection). 18:21:11 boily: you mean piping? 18:21:33 -!- prooftechnique has joined. 18:22:00 i suppose it's possible to redirect output. i'll be catching it to display it in the window anyway 18:22:39 but for interpreters that do visual output, like SELECT. or Gammaplex, I couldn't really do anything with that info 18:24:00 -!- RJones has joined. 18:32:02 -!- Phantom___Hoover has quit (Ping timeout: 264 seconds). 18:32:43 fungot: do you python? 18:32:43 olsner: here is my error with the fnord of the language are dragging its level of suck there in years 18:33:05 fungot is a bot, ain't he. 18:33:05 RJones: mine isn't for offroad. fnord is perfect! :) gay fnord fnord choir had visited once 18:33:18 interesting story. 18:33:35 markov chain? 18:33:54 `quote research 18:33:56 14) Finally I have found some actually useful purpose for it. \ 138) It's like mathematicians, where the next step up from "trivial" is "open research question". "Nope... No...This problem can't be done AT ALL. This one--maybe, but only with two yaks and a sherp 18:34:49 hah. 18:35:56 I'm not sure, but I think it referred to something related to the text generation stuff 18:36:15 -!- Bike has quit (Ping timeout: 245 seconds). 18:36:22 fungot: prove P == NP. 18:36:23 RJones: i need that optimization anyway. at times i'm feverish and hardly able to open " com1", not " id" tag attribute is supposed to 18:37:04 fungot: give me the fourier transform of a sinusoidal wave. 18:37:05 RJones: why did saunalahti raise their prices. which prices were raised? ( fnord) 18:37:14 fungot: prove P /= NP, as the Random Number God intended it to be. 18:37:15 boily: the zfc foundation of mathematics does so. there's no complicated magical trickery going on here; scheme's semantics are even simpler than using bison/ flex, this will produce errors but the program was 18:37:31 RJones: see, you have to ask fungot True Questions. 18:37:31 boily: easiest way for me to understand. :p i hope it dies. :p ( copyright should expire soon.) what library is this? 18:38:15 -!- Bike has joined. 18:38:57 lol. 18:39:08 fungot: 1 2 + ? 18:39:08 RJones: and associate memory regions to it. 18:39:13 exactly. 18:40:14 -!- RJones has quit (Remote host closed the connection). 18:40:14 -!- tromp has joined. 18:44:03 -!- Sprocklem has quit (Ping timeout: 264 seconds). 18:45:14 -!- tromp has quit (Ping timeout: 264 seconds). 18:59:46 -!- Timwi has quit. 19:01:20 -!- Sprocklem has joined. 19:06:26 @tell RJones It's generating text out of n-gram models (mostly) built with https://github.com/vsiivola/variKN 19:06:26 Consider it noted. 19:08:03 is variKN the research you mentioned? 19:11:33 -!- Phantom___Hoover has joined. 19:11:49 does the zfc foundation support mathematicians in need? 19:13:48 No, they cook the famous Zermelo Fried Chicken 19:14:14 omnomnom 19:14:26 ~duck zermelo 19:14:26 Ernst Friedrich Ferdinand Zermelo (18711953) was a German logician and mathematician, whose work has major implications for the foundations of mathematics. 19:17:37 I know, I know. 19:19:25 delicious fried logical chicken... 19:20:24 With lemma sauce 19:20:30 -!- Sprocklem has quit (Ping timeout: 246 seconds). 19:20:58 olsner: Yes. 19:21:56 @tell RJones (As you can easily deduce from lines 125-169 of https://github.com/fis/fungot/blob/master/fungot.b98 of course.) 19:21:56 fizzie: what's srfi-1? 19:21:57 Consider it noted. 19:22:17 fungot: It's mostly list utilities. 19:22:17 fizzie: no, you invoke it after evaluating it in the original sentence is not an argument, is not a 19:22:30 fungot: I'm pretty sure it is. 19:22:30 fizzie: i need food, but it's hard to combine the functionality of. and it looks like 19:22:45 fungot: How do you even eat? It makes no sense. 19:22:45 fizzie: there is also hochdeutsch. i suggest that you try to formalize what " flow of execution is what " load" is all you care about 19:23:03 Brahms’ Hungarian Dance #5 on the Bellowphone http://youtu.be/9B-lIVEm0As 19:24:14 ion: the *Majestic* Bellowphone 19:24:34 So it turns out 19:24:37 You guys were right 19:24:44 We are doing MIPS for the assembly class! 19:24:58 I guess MIPS really does stand for MIPS Is Popular in School 19:25:45 «Il est des nôtres... il fait du MIPS comme les autres! ♪» 19:26:27 The professor is all like "Nobody does CISC processors nowadays!" 19:26:29 And then >my face when basically all computers are CISC 19:26:30 Ah, but are you doing MIPS with SPIM or MIPS with MARS or MIPS with ? 19:26:33 oh, this is even nicet than the P = NP proofs. http://arxiv.org/abs/1203.0494 19:26:52 *nicer 19:27:11 (I haven't looked inside yet) 19:27:16 You can have all the fancy concepts you want, but that's not gonna stop Intel from doing backward compatibility to the 70's 19:27:20 Also I have no idea 19:27:23 How do I telll 19:28:12 I would assume they'd tell you a recommended setup, at least before any homework exercises. 19:28:32 don't worry too much about doing a whole course in an architecture you'll never see again though 19:28:38 you can still learn something :) 19:29:26 -!- Slereah has joined. 19:29:28 [20:28:40] Currently we are doing it on paper 19:29:28 [20:28:46] Because he is That Kind of teacher 19:29:38 Anyway, there are probably more ARMs than Intels out there? That's got RISC right in the name. 19:29:50 Dunno 19:29:59 At least all the school computers are Intel 19:30:07 Sure, but all phones are ARM. 19:30:10 Which makes his impassionate speeches about RISC amusing 19:30:20 Yeah but we're not doing homework on phones 19:31:32 Also he told us that the big assembly project, we won't be able to cheat with compilers, because it will be in KERNEL MODE 19:31:34 Or something 19:31:36 which is neat 19:31:45 -!- pikhq has quit (Ping timeout: 246 seconds). 19:31:58 I am a bit sick of people telling me "The OS takes care of that!" whenever I ask an assembly thing 19:32:02 Fuck the OS! 19:32:02 -!- Slereah_ has quit (Ping timeout: 264 seconds). 19:32:20 Kind of a curious statement, though, since most KERNEL MODE code in the world is probably written by a compiler. 19:32:36 Well he didn't say kernel mode 19:32:36 Linux is pretty much all C, and so on. 19:32:45 It was pretty vague statements 19:32:51 fizzie: you're forgetting the turtles. 19:33:07 But basically it will be some project where we won't be able to just compile it from C 19:33:14 At least not easily I guess? 19:33:37 -!- pikhq has joined. 19:33:39 but fuck it, I will just code it directly in fucking MIPS 19:33:50 That is much more fun than doing bash scripts 19:34:35 Yeah, you can pretty much always compile it from C if you just try hard enough. At least in the hello.c way. 19:34:38 `cat hello.c 19:34:39 const char main[] = "AXAYAZA[A\\ATX-pppp-0```- ///P^VTXH10XP4>40PZ414>P_\x0f\x05XATASARAQAP\xc3Hello, world!\n"; 19:35:00 Whaaat 19:35:29 `run gcc -o /tmp/x hello.c && /tmp/x; rm /tmp/x 19:35:31 Hello, world! 19:35:49 I guess I forgot the funny-warning flag. 19:35:50 `run gcc -Wall -o /tmp/x hello.c && /tmp/x; rm /tmp/x 19:35:53 hello.c:1: warning: ‘main’ is usually a function \ Hello, world! 19:36:07 By the way, I am wondering 19:36:19 What happens when the computer just doesn't do shit 19:36:24 wtf 19:36:28 how does that even work 19:36:38 Does it just loop idly by until there's an interrupt? 19:36:54 Like what is sent to the processor 19:36:58 it could do that, but usually there's a way to sleep until the next interrupt 19:37:40 and then there's a million different ways to sleep saving various amounts of power at the cost of latency when waking up again 19:38:22 Let's say the sleepiest sleep without turning off the computer 19:38:44 wait, people can sleep without running computers? 19:39:23 Before I moved out, the computer was in my room and there was like 4 hard drives and I left it running at night 19:39:29 It takes some getting used to the noise 19:39:34 Also BLUE LIGHT 19:39:40 which is the in-place sorting algorithm that iteratively swaps the nth element with the nth smallest element? 19:39:48 Slereah: nothing tape can't fix 19:40:12 quintopia: selection sort? 19:40:20 http://www.youtube.com/watch?v=kPRA0W1kECg 19:40:24 Try finding it here! 19:40:41 Bogosort is really the best musician 19:40:43 Well 19:40:47 It's like doop doop doop 19:40:52 Now I have to write an Interpreter for Pinkcode 19:41:03 and then let's see about balancing stuff 19:41:33 myname: I'd say it works because of apathetic linkers that don't care about types. (Though I'm not entirely sure how the code ends up in an executable segment of the executable.) 19:41:53 there are things going on in my ears... 19:42:57 -!- tromp has joined. 19:43:21 myname: yes that's it thanks 19:43:44 Are gnomes mining your earwax 19:44:11 Oh, I guess maybe .rodata ends up in the same r-x ELF segment since that way it only needs to have headers for r-x .text + .rodata and rw- for .data. 19:45:38 (Well, that's how it works, then.) 19:45:49 Slereah: I lost my love for Bogosort. https://en.wikipedia.org/wiki/Stooge_sort is my new hero. 19:46:39 Slereah: sorted gnomes are making boop boop boops in my ears. 19:47:30 * int-e puts a NaN gnome in the array and waits for the inevitable mayhem. 19:48:54 my ears are incompatible with euro NaN gnomes. 19:49:28 Don't you have IEEEars? 19:49:51 I didn't renew my subscription. 19:50:22 * boily mapoles fizzie for the horrible pun. 19:52:51 -!- Sprocklem has joined. 19:59:57 ~metar CYUL 20:00:02 CYUL 111900Z 25015KT 15SM VCSH FEW025 BKN060 BKN090 OVC150 M06/M13 A3004 RMK SC2SC3AC2AC1 SLP174 20:01:13 VCSH? it's minus 6! it can't be SHing! 20:03:03 boily: SHing? 20:03:50 mrhmouse: SHower. 20:04:04 (the VC is ViCinity.) 20:04:07 The Majestic Bellowphone would be perfect for P.D.Q. Bach. 20:10:36 -!- Chillectual has joined. 20:11:52 -!- Chillectual has changed nick to LinearInterpol. 20:12:13 Chelloctual. HellinearInterpollo. RJonellos. 20:12:29 yello. 20:15:00 hi 20:15:22 HellinearInterpolo. lol. 20:17:42 ~metar Ph'nglui mglw'nafh Cthulhu R'lyeh wgah'nagl fhtagn 20:17:43 --- Station not found! 20:18:00 ...lol. 20:18:07 klingon? 20:18:23 welsh! 20:18:41 can't blame me, they kind of look the same. 20:18:44 latin alphabet and all. 20:18:45 LinearInterpol: Klingon. Ouch. The Old Ones will be sure to smite you for that one. 20:18:55 :P 20:19:46 don't worry, I'm one of the elders of the internet. 20:23:00 -!- nisstyre has joined. 20:23:28 `ello LinearInterpol 20:23:30 LinearInterpellol 20:23:37 nailed it 20:23:38 boooring 20:23:40 yep. 20:24:02 `ello FireFly 20:24:04 FireFlello 20:24:16 Hellolsner 20:24:49 LinearInterpol: you're an elder? are you as old as cpressey? what are your approximate coördinates, and body weigh? 20:25:58 doubt I'm as old as cpressey. 20:26:54 1.5e8km from the sun, direction: varying. 20:27:36 3,000/Cthulu/Hell 20:29:37 * boily keeps his precious mapole away from the Burning LinearInterpol 20:29:46 what's mapole? 20:29:49 hah. 20:30:04 olsner: it's a maple pole. very useful for thwacking people over :D 20:32:31 a thwackamacallit? 20:35:05 -!- MindlessDrone has joined. 20:35:26 `echo 'A mapole is a thwackamacallit built from maple according to the Canadian standards.' >wisdom/mapole 20:35:27 ​'A mapole is a thwackamacallit built from maple according to the Canadian standards.' >wisdom/mapole 20:35:33 `run echo 'A mapole is a thwackamacallit built from maple according to the Canadian standards.' >wisdom/mapole 20:35:36 No output. 20:36:16 `run echo 'A mapole is a thwackamacallit built from maple according to Canadian standards.' >wisdom/mapole 20:36:20 No output. 20:37:05 `run cat wisdon/mapole 20:37:07 cat: wisdon/mapole: No such file or directory 20:37:52 `? mapole 20:37:54 A mapole is a thwackamacallit built from maple according to Canadian standards. 20:38:44 I wonder.. 20:40:00 that's a secure bot. 20:40:10 -!- Phantom___Hoover has quit (Ping timeout: 246 seconds). 20:40:43 LinearInterpol: don't worry, you're not the first nor the last to try and hack HackEgo. Gregor did a nice job on it. 20:41:03 you usually don't see a bot with access to a shell. 20:41:29 more like it is a shell. 20:41:41 no shit? 20:41:42 huh. 20:42:06 well technically it's a bot.. What's it written in? 20:42:10 intercal? :P 20:42:25 it's... kinda complicated. 20:42:37 It's user-mode linux in a virtual instance bla bla bla 20:42:43 wow. 20:42:47 if you want an esoteric bot there's fungot. Fungot, refreshments, please. 20:42:47 Bike: that was a long time in the shower...' paste about then? 20:42:48 `help 20:42:49 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/ 20:42:50 Hah, that's cool. 20:42:51 `uname 20:42:52 Linux 20:42:55 `uname -a 20:42:56 Linux umlbox 3.7.0-umlbox #1 Wed Feb 13 23:30:40 UTC 2013 x86_64 GNU/Linux 20:43:09 umlbox. 20:43:09 lol. 20:43:27 ^prefixes 20:43:27 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, jconn ) , blsqbot ! 20:43:32 LinearInterpol: have fun! 20:43:39 wow. nice. 20:43:49 > "lambdabot also answers to >" 20:43:50 "lambdabot also answers to >" 20:44:11 :t "and sometimes even to :" 20:44:12 [Char] 20:44:25 > fix fix 20:44:26 Occurs check: cannot construct the infinite type: a0 = a0 -> a0 20:44:26 Expected type: (a0 -> a0) -> a0 -> a0 20:44:26 Actual type: (a0 -> a0) -> a0 20:44:28 how is hackego secured against anything? 20:44:35 lambdabot: help 20:44:48 ah, that didn't seem to work 20:44:50 well, it's under like nine levels of virtualization or something, for one 20:44:51 myname: I don't think it is. It's still vulnerable to e.g. fork bombs 20:45:21 `run :(){ :|:& };: 20:45:23 No output. 20:45:30 `echo still alive? 20:45:32 still alive? 20:45:37 Secure 20:45:49 That.. is secure. 20:45:58 `run perl -e "fork while fork" & 20:46:00 Hm. Maybe Gregor fixed it? I remember not too long ago we demonstrated that it is vulnerable to fork bombs. 20:46:01 No output. 20:46:06 `echo and yet? 20:46:07 and yet? 20:46:18 LinearInterpol: with the bunch of kind of sort of people you can find on this chännel, it better be secure. 20:46:29 damn straight. 20:47:19 well, i think we pretty quickly stop seeing the point of gaining control of some random umlbox with an internet whitelist bla 20:47:30 I wonder if either of UML or virtualization is "more secure", or if it just comes down to not putting bugs in the implementation(s) 20:48:00 IT'S SNOWING! 20:48:13 LinearInterpol: where are you (approximately)? 20:48:34 Maine. 20:48:41 nearest airport? 20:48:56 funny. 20:49:28 you won't be metarred, then, you vile person you. 20:49:50 metarred? 20:50:06 ~metar CYUL 20:50:06 CYUL 112000Z 26016KT 15SM FEW030 BKN055 BKN090 BKN150 M06/M14 A3005 RMK SC1SC4AC1AC1 SLP177 20:50:24 ..wut. 20:50:45 oh. 20:50:47 pure Essence of Weather, distilled for pilots and other geeks. 20:50:52 OH. 20:51:00 Wow I was not aware of this. 20:51:03 weather, distilled into gibberish 20:51:27 nearest airport is, I think bangor airport. 20:51:42 ~metar KBGR 20:51:42 KBGR 111953Z 28005KT 10SM BKN050 BKN070 M03/M12 A3000 RMK AO2 SLP164 T10281122 20:51:53 How do I read that? 20:52:06 each "field" has to mean something. 20:52:16 each field means something. 20:52:33 are you sure? would you notice if one of them didn't? 20:52:47 ... 20:53:20 111953Z... 20:53:30 Bangor International Airport, report issued today at 7:53pm UTC, 5 knt westerly winds, 10 mi ground visibility, broken clouds at 5000'... 20:53:30 1953 UTC 11 December 2013. 20:53:49 28005k.. 20:53:52 *kt. 20:54:32 broken clouds at 7000', -3 °C with dew point at -12 °C, QFE at 30.00 inHg, something I forgot, QNH at 1016.4 hPA, another thing I forgot. 20:55:04 QFE: air pressure calibrated at airfield's altitude, QNH: air pressure calibrated at mean sea level. 20:55:28 yes, units are different. inches of mercury, and hectopascal. 20:55:41 inches of mercury... 20:55:52 that's terrible. just horrible. 20:55:55 ~metar EGNT 20:55:55 EGNT 112050Z 17007KT 150V210 CAVOK 03/02 Q1020 20:57:06 Where's the temperature help 20:57:14 huh, wow. 20:57:19 this is actually awesome. 20:57:29 Taneb: maybe the 3/2? 20:57:30 learning how to read it now. this'll come in handy. 20:57:31 Taneb: +3 °C, +2 °C. it's the slash group. 20:57:37 Ooooh 20:57:39 hellll yea 20:57:43 temperature/dewpoint? 20:57:46 is this the "ICAO" airport codes? 20:57:46 olsner: yes. 20:57:56 `quote metar 20:57:58 994) metar lead to canada, more metar and cows 20:58:14 Bike: yes. there are some suggestions made in this fine chännel that I should add support for IATA codes also. 20:58:25 ~metar KPUW 20:58:26 KPUW 112053Z AUTO 11012KT 10SM CLR M01/M07 A3037 RMK AO2 SLP314 T10111067 57008 20:58:33 why is it cold everywhere 20:58:42 LinearInterpol: it comes handy in times of Snowstorms. you'll see runway conditions too. 20:58:56 I'm not a pilot but this is hella useful. 20:59:13 Bike: because global warming. 20:59:18 ^ 20:59:19 damn 20:59:43 ~metar KMLB 20:59:43 KMLB 112053Z 06007KT 10SM BKN080 26/20 A3017 RMK AO2 SLP214 T02610200 56009 21:00:06 the problem is that i'm reading these like radio codes which is totally different nerdy shit 21:00:39 melbourne is not exactly west of the mississip 21:01:13 all USA airports are K???, irregardless of the missississippi. 21:01:20 fuck. 21:01:42 (with radios w means east, generally) 21:02:01 except when it means West. there are some notable exceptions around the Great Lakes. 21:02:11 rite 21:04:56 ~metar CYVR 21:04:56 CYVR 112000Z 11003KT 15SM FEW045 SCT110 OVC130 03/M00 A3034 RMK SC1AC2AC5 SLP273 21:05:00 what is west normally if w is east? 21:05:00 ~metar CYYC 21:05:01 CYYC 112000Z 26015G22KT 40SM FEW160 BKN220 01/M09 A2990 RMK AC2CI4 ACC ASOCTD VIRGA SW SLP192 21:05:08 ~metar CYOW 21:05:09 CYOW 112000Z 29015KT 15SM BKN055 BKN070 M09/M16 A3008 RMK SC5AC2 SLP193 21:05:13 ~metar CYUL 21:05:14 CYUL 112000Z 26016KT 15SM FEW030 BKN055 BKN090 BKN150 M06/M14 A3005 RMK SC1SC4AC1AC1 SLP177 21:05:34 olsner: k. 21:24:30 -!- Slereah has quit (Read error: Connection reset by peer). 21:24:49 -!- Slereah has joined. 21:25:33 Why k/w? 21:26:48 also why isn't it colder?? 21:26:54 ~metar ESSA 21:26:55 ESSA 112120Z 25014KT 9999 OVC007 06/05 Q1018 R01L/29//95 R08/29//95 R01R/29//95 NOSIG 21:27:11 ~metar VHHH 21:27:11 VHHH 112100Z 05016KT 6000 FEW025 SCT030 16/08 Q1016 NOSIG 21:27:23 hot. 21:27:30 it's Hong Kong. 21:28:20 ~metar WSSS 21:28:20 WSSS 112100Z VRB02KT 6000 FEW016 BKN300 25/25 Q1007 NOSIG 21:28:23 ~metar ESKN 21:28:23 ESKN 112120Z 27011KT 9999 BKN008 07/06 Q1020 R26/290095 21:29:11 time to go buy a practice lock. 21:29:24 -!- boily has quit (Quit: FEEL THE BINDING OF THE CHICKEN). 21:29:27 -!- metasepia has quit (Remote host closed the connection). 21:30:02 ruddy: any wisdom for us this fine evening? 21:30:04 ​wisdom `ls `? `ls yeah, that's fine `run ls -d wisdom `run /bin/ls -d wisdom wisdom of the day 21:30:23 ruddy: not terribly helpful 21:30:24 ​terribly noisy and doesn't sound i'm although i mips is terribly common for php, i'm not did you know that well member pointer 21:39:00 FireFly: I'm afraid if you seek wisdom from ruddy, your search will be a long one 21:39:04 ​wisdom `ls `? wisdom `ls how maybe i'm sorry, mrhmouse, i'm afraid `ls 21:39:17 http://sfbay.craigslist.org/sfc/cpg/4238295054.html "2 Chemists, need programmer... When completed, the world will never look at air in the same way." 21:39:19 ruddy: you should be afraid; we're going to replace you 21:39:22 ​they'll because if iunno if we're that's we're starting from scratch and then just replace oh. 21:39:53 kmc: that was way more exciting before i read the whole thing. 21:43:09 -!- ais523 has joined. 21:43:17 -!- ais523 has quit (Changing host). 21:43:17 -!- ais523 has joined. 21:44:12 So, the programmer needs to program the GUI we have developed in C# using MS Visual Studio 2013 Express and SQL Express 2012 21:44:25 I see your point bike 21:45:39 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:51:40 Nighty night ruddy; I'm reclaiming your disk space. 21:51:41 ​nighty er, night nighty night it's just night night again, mrhmouse. good night 21:51:48 -!- ruddy has quit (Remote host closed the connection). 21:53:11 -!- nisstyre has left ("Leaving"). 21:53:37 -!- tromp has quit (Ping timeout: 250 seconds). 21:55:19 -!- Slereah has quit (Ping timeout: 272 seconds). 22:08:34 -!- ais523 has quit (Remote host closed the connection). 22:08:50 -!- ais523 has joined. 22:18:23 -!- muskrat has joined. 22:19:08 -!- conehead has quit (Quit: Computer has gone to sleep.). 22:20:29 -!- muskrat has changed nick to 16WABPJ69. 22:20:30 -!- muskrat has joined. 22:21:39 -!- muskrat has quit (Ping timeout: 260 seconds). 22:22:37 -!- 16WABPJ69 has changed nick to muskrat. 22:23:02 -!- Sprocklem has quit (Ping timeout: 264 seconds). 22:27:08 std::rt::io::native::file::FileDesc::new(1).write("Hello, world!\n".as_bytes()) 22:28:18 i want to see the symbol name 22:29:15 kmc: that "as_bytes()" looks ugly to e, it should take an encoding parameter 22:30:47 ==ais523 22:31:09 yeah 22:31:15 *ugly to me 22:31:17 unfortunately the fact that str is utf8 is more than an implementation detail in Rust 22:31:25 in fact a lot of the methods operate on byte indices :/ 22:31:46 Well, operating on byte indices doesn't necessarily mean UTF-8. 22:32:55 I can sort-of understand a language as low-level as Rust intentionally not bothering doing Unicode correclty 22:32:57 *correctly 22:33:05 but I think it should make a decision as to whether to do it or not 22:35:01 -!- Taneb has quit (Quit: Leaving). 22:37:53 -!- SingingBoyo has joined. 22:41:00 i'm not that happy with the way str works either 22:41:19 but I'm not sure it counts as doing Unicode incorrectly, either 22:41:41 this discussion came up on Reddit recently 22:41:45 Rust does enforce that every str is valid UTF-8 22:41:53 I decided that the only library I've seen that does Unicode correctly is ncursesw 22:42:01 which represents strings as "list of set of codepoint" 22:42:09 -!- nooodl has joined. 22:42:10 so as to get the character boundaries correct 22:42:19 enforcing that a string is UTF-8 is one thing 22:42:20 -!- nooodl has left. 22:42:25 but UTF-8 just encodes codepoints 22:42:32 and characters can be multiple codepoints 22:42:37 I hear Perl does Unicode correctly, maybe. 22:43:10 It's probably moot in the case of ncursesw, simply because the terminals it talks to probably don't handle the cases where that matters. 22:43:19 shachaf: Perl's closest of any language I know, but even it doesn't handle combining characters correctly without help from a separate library 22:43:34 pikhq: well IIRC xterm can handle up to 4 combining characters on each graphic character 22:44:19 I,I represent strings as sequences of equivalence classes of sequences of codepoints 22:44:27 -!- Sorella has joined. 22:44:42 And naive users of wcwidth should get at least vaguely *close*. 22:45:00 Or the more useful wcswidth. 22:45:03 -!- Sorella has quit (Changing host). 22:45:03 -!- Sorella has joined. 22:45:15 ais523: representing everything in terms of character clusters (base char + 0 or more combining chars) is what you want for maanging character-cell terminals, yeah, but I wouldn't say it's the one correct way to view Unicode 22:45:33 (wcwidth tells you the width of a wchar_t in terms of terminal cells, wcswidth a wchar_t*) 22:45:53 it's not sufficient for proportional width font shaping 22:46:03 I'm not sure, but I assume the combining chars have a width of 0. 22:46:06 where you can have a many-many relationship between character clusters and glyphs 22:46:09 they do pikhq 22:46:13 note to self, switch to pictograms 22:46:41 K, so a program using those would get about as close to "correct" as you can manage with a terminal. 22:47:26 Sucks for complex scripts though. 22:47:36 what about fullwidth characters and other things 22:47:53 shachaf: A fullwidth character has a width of 2. 22:48:00 anyway, there are few situations in which manipulating Unicode strings is useful 22:48:19 in the ones where it is, such as regexing, and wordwrapping, you want to avoid cutting strings between a character and a combining character 22:48:37 But otherwise aren't particularly concerned about the semantics. 22:54:36 -!- augur has quit (Remote host closed the connection). 22:55:09 -!- augur has joined. 22:56:34 -!- mrhmouse has quit (Quit: Leaving.). 22:59:16 -!- augur has quit (Ping timeout: 240 seconds). 23:02:13 -!- SBoyo has joined. 23:05:03 -!- SingingBoyo has quit (Ping timeout: 260 seconds). 23:05:04 -!- elliott has quit (Ping timeout: 260 seconds). 23:08:54 -!- lambdabot has quit (Read error: Connection reset by peer). 23:09:29 -!- elliott has joined. 23:09:42 -!- conehead has joined. 23:12:38 -!- prooftechnique has quit. 23:13:19 -!- lambdabot has joined. 23:23:00 -!- oerjan has joined. 23:24:08 Darn what's the Winslow doing in a Girl Genius Online comic?! (Though I guess it's not the first time ...) 23:25:34 wait, today? 23:26:14 -!- tertu has joined. 23:26:14 well indeed, i think it was in the very first comic 23:27:17 you're right 23:28:14 might be the same kids, heh. 23:28:34 @messages-lard 23:28:34 boily said 10h 4m 23s ago: bleh! 23:29:23 -!- Bike has quit (Ping timeout: 252 seconds). 23:31:29 of course afair the original winslow belongs to the foglio kids^Wexperiments. 23:35:10 wow. https://en.wikipedia.org/w/index.php?title=The_Winslow&action=historysubmit&diff=585606594&oldid=568281150 23:35:52 people are quick on the internet 23:36:52 -!- Phantom___Hoover has joined. 23:37:10 And there are so many of them. 23:37:21 The result occasionally feels like magic. 23:38:20 -!- Bike has joined. 23:42:30 i didn't really expect wikipedia to have an undeleted article on it, thought. 23:42:32 *-t 23:58:29 @tell oklopol i'd expect fence climbing to be at most a graph reachability problem, which means it's in NL. and if all the climbing is reversible, just L. 23:58:29 Consider it noted.