00:05:58 -!- hppavilion[1] has joined. 00:08:38 -!- mihow_ has joined. 00:10:05 -!- mihow has quit (Ping timeout: 260 seconds). 00:10:06 -!- mihow_ has changed nick to mihow. 00:22:58 -!- bb010g has joined. 00:33:01 -!- boily has joined. 00:44:01 `wisdom 00:44:02 hello/hello hello hello, what's all this then? 00:44:09 `wisdom 00:44:14 `wisdom 00:44:15 hellochaf. 00:44:16 `host google.com 00:44:17 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: host: not found 00:44:17 ugh 00:44:19 `wisdom 00:44:21 vector space/A vector space is just a module over a field. 00:44:21 `wisdom 00:44:22 madness/madness lies thataway. 00:44:25 `ping google.com 00:44:25 pong 00:44:33 `curl google.com 00:44:33 Failed to connect to socket 2. \ \ curl: (52) Empty reply from server 00:44:35 `botsnack 00:44:36 ​>:-D 00:44:42 `ls 00:44:43 ​:-( \ (* \ bdsmreclist \ bin \ butwhatifichangesomething \ canary \ cat \ close \ *) \ Complaints.mp3 \ :-D \ dog \ emoticons \ etc \ evil \ factor \ good \ ibin \ interps \ le \ lib \ paste \ quines \ quotes \ share \ src \ wisdom \ wisdom.pdf 00:45:03 I'm kinda surprised that the Pascal comment is still there. 00:45:51 bohily. straight into my top ten list of serendipitous one-letter misreadings goes http://www.nhm.ac.uk/natureplus/blogs/behind-the-scenes/2014/03/26/how-a-seaweed-scientist-helped-win-the-war?fromGateway=true 00:45:58 `cat Complaints.mp3 00:45:58 Complaints file lacks file extension making it look like a directory. Which is confusing \ The above complaint looks like an error message, but it's actually a complaint \ now the former complaints make no sense because the complaints file was moved \ The complaints above are not using periods properly. 00:47:20 oerjan: where is the rest of the list twh 00:48:50 which list 00:49:02 the top ten list that you referred to in your previous line of irc 00:49:08 oh. 00:49:14 UNDER CONSTRUCTION 00:49:43 http://www.textfiles.com/underconstruction/ 00:49:49 `` grep -i pascal wisdom/* 00:49:53 grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory \ Binary file wisdom/reflection matches 00:50:06 `` grep -i pascal quotes 00:50:07 No output. 00:50:14 tswett: WHAT ARE YOU TALKING ABOUT 00:50:24 oh. 00:51:40 `run echo "All of the complaints are about the complaints file itself." >> Complaints.mp3 00:51:42 No output. 00:52:10 tswett: that's not how you file a complaint hth 00:52:20 `file bin/complain 00:52:21 bin/complain: ASCII text 00:52:26 `complain Some people don't use the right command for filing complaints. 00:52:28 Complaint filed. Thank you. 00:52:28 `cat bin/complain 00:52:29 print_args_or_input "$@" >> Complaints.mp3; echo Complaint filed. Thank you. 00:52:42 `run type print_args_or_input 00:52:43 print_args_or_input is /hackenv/bin/print_args_or_input 00:52:47 `type type 00:52:47 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: type: not found 00:53:01 oerjan: do you file complaints with `file complaints twh 00:53:16 NO 00:53:37 /topic children each children each children 00:53:54 wat 00:53:57 all men in each men ♪ 00:54:16 It's a quote from this expression I came up with. 00:54:29 The Quendle expression for getting all of Bob's great-grandchildren: 00:54:38 People[name="Bob"].children each children each children 00:54:48 is this some of what happened when the logs were down 00:55:19 Here's an idea 00:55:43 the logs downed? 00:55:44 A series of extremely focused and limited DSLs, all following a general pattern, to teach people about different facets of programming 00:55:51 boily: *drowned 00:56:01 I think that's an interesting idea. 00:56:02 Someone immersed the hard drive in water for too long 00:56:04 Nearly 00:56:13 tswett: Yay! 00:56:38 Now I can test out my new parsing software! 00:57:15 parsing is fun! 00:57:19 Yay! 00:57:35 hppavellon[1]. to down: to be unavailable. to drown: to also be unavailable. 00:57:56 boily: What should I call my project of parsers? 00:58:19 hmm... projarsers? parsect? 00:58:26 xD 00:58:31 boily: The DSL project 00:58:48 For learning about different facets of programming, etc. 00:58:50 Don't ask me. It took me, like, a couple of hours to figure out what to call my query language. 00:58:52 -!- jaboja64 has joined. 00:59:00 Have I told you guys about my query language? Let me give you an example query. 00:59:09 tswett: You just have to choose 1 letter. That's all it takes. 00:59:13 _QL 00:59:25 tswellott. did you call it languery? 00:59:29 This query is for getting all of the great-grandchildren of the person named Bob. The language is called Quendle. 00:59:34 People[name="Bob"].children each children each children 00:59:40 tswett: Oh. You just sent that xD 00:59:53 At 15:54:37, my time 01:00:53 your time is weird hth 01:01:02 boily: tdnh 01:01:09 tdtooh. 01:02:04 Très Douce Ton Oubliette Œuvrée d'Hippopotames? 01:02:15 boily: ... 01:02:16 No. 01:03:08 -!- jaboja has quit (Ping timeout: 272 seconds). 01:03:33 hppavilion[1]: are you in... UTC? 01:03:51 tswett: I'm in Alaska 01:04:00 Ah, right. Wrong direction. 01:04:15 The UTC would have been 23:54:37. 01:04:17 So you're halfway between me and UTC? 01:04:24 Yup. 01:04:28 Cool 01:04:42 What types of languages do I have to add to my facets-of-programming thing? 01:04:44 @localtime tswett 01:04:45 Local time for tswett is Thu Dec 17 01:04:45 2015 01:05:00 Ah, I'm wrong again. 01:05:20 We're outside DST right now, so I'm in UTC-5, not UTC-4. 01:05:30 Probably, at least Markup, Stylesheet, Imperative, Functional, Logic, and Query 01:06:05 Spoken 01:06:46 -!- tromp_ has joined. 01:07:19 Taneb: Probably not. 01:08:12 I mean, that's why we're all speaking English, right? Because it's an esoteric spoken language, and hence on topic in here? 01:08:34 Anyway, goodnight 01:08:39 bonne tanuitb! 01:08:58 what would be considered the esotericest conlang? 01:09:33 arguably any of the artsy ones 01:11:43 natural languages, and regular programming languages exist to make *something* easier for *someone*. but "art" conlangs, like esolangs, exist just because they're neat 01:12:18 yauris 01:12:38 hi shachaf~ 01:12:54 boily: ohh, Ithkuil is obviously the esotericest 01:13:11 i hope you don't know about it because then you get to learn about it 01:13:56 Both nominal and verbal formatives are inflected to one of the possible 3 stems, 3 patterns, 2 designations (formal or informal), 9 configurations, 4 affiliations, 4 perspectives, 6 extensions, 2 foci, 4 contexts, 2 essences, and 81 cases; formatives also can take on some of the 153 affixes, which are further qualified into one of 9 degrees. 01:14:17 [wiki] [[Folders]] http://esolangs.org/w/index.php?diff=45901&oldid=45879 * Rottytooth * (+1917) /* Instructions */ add pure folders syntax 01:14:59 bonsauris! 01:15:07 [wiki] [[Folders]] M http://esolangs.org/w/index.php?diff=45902&oldid=45901 * Rottytooth * (+1) /* Commands */ 01:15:10 yes, I know about ithkuil :D 01:15:32 have you ever read http://www.newyorker.com/magazine/2012/12/24/utopian-for-beginners ? 01:15:33 mauris: are there any secrets for constructing minimal acyclic DFAs? 01:15:43 Perhaps we shoudl create LolCode 2 01:15:55 A TRUE esolang born from the failure that was LolCode 01:16:34 [wiki] [[Special:Log/upload]] upload * Rottytooth * uploaded "[[File:PureFolders HelloWorld.png]]": Folders Hello World not using folder names 01:16:58 shachaf: i think i can answer your question with a "yes" but that's only because i googled it :[ RIP the illusion that i am some kind of automata expert 01:17:16 well if you found it via a quick google search then it's hardly a secret, is it 01:17:17 hppavilion[1]: as long as there are diæresises in it, I'm fine ^^ 01:17:34 No clue what that is 01:17:53 shachaf: true 01:18:18 [wiki] [[Folders]] http://esolangs.org/w/index.php?diff=45904&oldid=45902 * Rottytooth * (+35) /* Examples */ added second Hello World 01:18:30 mauris: didn't you teach people about automata? 01:18:49 (otoh: if there was a secret way and i knew it, i wouldn't tell you!!) 01:19:04 [wiki] [[Folders]] http://esolangs.org/w/index.php?diff=45905&oldid=45904 * Rottytooth * (+5) /* Hello World */ fixed image 01:19:09 well i'd keep the secret so it'd still be secret 01:19:30 nah, not really; i helped out with some practical stuff and wrote a bunch of exam questions for the people actually teaching the course 01:19:51 Now I need to figure out how to make an esoteric lolcode 01:20:07 i didn't venture far out of Hopcroft's book (and we never even finished it, boo) 01:20:07 anyway how should i construct a minimal acyclic dfa 01:20:18 and is it really much better than a prefix tree anyway 01:20:29 [wiki] [[Special:Log/upload]] overwrite * Rottytooth * uploaded a new version of "[[File:PureFolders HelloWorld.png]]": Folders Hello World not using folder names 01:20:33 also is there a radix tree version 01:20:47 it looks like reading this thingy carefully http://www.aclweb.org/anthology/J00-1002 is a popular solution 01:21:13 [wiki] [[Folders]] M http://esolangs.org/w/index.php?diff=45907&oldid=45905 * Rottytooth * (-1) /* Instructions */ 01:21:14 i can't believe people use "for ... rof" in pseudocode examples, oh my goddd 01:22:24 -!- tjt263 has joined. 01:22:36 func ... cnuf is a new one 01:23:08 yesss adorable 01:23:28 for..end for is so much better 01:23:37 Especially when you can do for..end for if cond 01:24:01 i need this paper to end with its own title in reverse 01:24:24 Ah 01:24:33 also here is a juicy secret: 01:24:59 I don't see it 01:25:01 i like this \usepackage{mathpazo} look so much more than the default latex look 01:25:03 All I see is a blank line 01:25:21 xD 01:25:38 i don't see it nearly often enough!! computer modern is so boring and palatino is so readable ;_; 01:26:04 i assume mathpazo is a variant of gazpacho 01:27:24 is there a standard measure of how far off a DAG is from a tree? 01:27:42 for example if you turned the dag into a tree by duplicating a bunch of nodes, how many nodes would you need to add 01:28:03 mauris: stop being me. I always use \userpackage[sc]{mathpazo} (and \linespread{1.05}). 01:28:09 s/rp/p/ 01:28:38 boily: haha, excellent 01:29:37 -!- tromp_ has quit (Remote host closed the connection). 01:29:41 re the Wisdom PDF. it uses that, along with Vietnamese and Greek oddities. 01:29:44 i'm not picky about linespread. i do, however, dislike the \parindent style of marking paragraph starts, and end up replacing it with vertical spacing most of the time i make documents for myself, oops 01:30:30 heretic. 01:30:53 (apparently that's a big "don't" in the world of, i dunno, writing papers in latex? but that's how everyone does it! and it's so easy on my eyes) 01:31:07 (everyone as in. web pages) 01:31:32 [wiki] [[Folders]] http://esolangs.org/w/index.php?diff=45908&oldid=45907 * Rottytooth * (+588) FoldersOS 01:31:40 it is totally heresy though 01:33:10 further latexpinions: \usepackage{cmbright} actually looks decent! there's something weirdly relaxing about sans-serif equations. and AMS Euler looks fffff horrible bad 01:34:11 that's like, your typeset opinion, dude. 01:34:13 i mean https://upload.wikimedia.org/wikipedia/commons/thumb/0/01/AMS_Euler_sample_math.svg/800px-AMS_Euler_sample_math.svg.png <--- look at that "i sin y", jeez 01:37:01 it's jarring. 01:37:17 -!- triggerwarning has joined. 01:39:37 `relcome triggerwarning 01:39:39 ​triggerwarning: 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 EFnet or DALnet.) 01:41:03 [wiki] [[Special:Log/upload]] overwrite * Rottytooth * uploaded a new version of "[[File:PureFolders HelloWorld.png]]": Reverted to version as of 01:16, 17 December 2015 01:43:53 [wiki] [[Folders]] http://esolangs.org/w/index.php?diff=45910&oldid=45908 * Rottytooth * (+3) /* Hello World */ 01:44:13 `coins 01:44:16 ​odtizurcoin wolrcoin archwacoin arbabticlcoin camcoin musiancoin backcoin befuchcoin oafedouccoin fracticcoin boozlecoin purecoin um-32coin sortcoin revicoin concoin calcoin 1221coin dumbergineecoin thisccoin 01:44:30 ah, nothing like a paragraphful of colours. 01:44:37 <\oren\> good eedning 01:46:05 \bonsoiren\. 01:46:18 [wiki] [[Folders]] http://esolangs.org/w/index.php?diff=45911&oldid=45910 * Rottytooth * (+5) /* Hello World */ 01:46:31 <\oren\> shacello 01:46:54 <\oren\> maurhis 01:47:09 <\oren\> bholay 01:47:13 mauris: hmmm 01:47:26 It's interesting, I can't decide if I like it though 01:48:10 [wiki] [[Folders]] http://esolangs.org/w/index.php?diff=45912&oldid=45911 * Rottytooth * (-7) /* Hello World */ 01:49:08 Fontwise, my go-to serif font is Linux Libertine 01:49:38 Although the font used in the wisdom pdf is quite nice 01:50:35 mauris: I think I prefer spacing over indent to separate paragraphs too, but I've slowly grown used to indent 01:51:03 `` dc -e \[ 01:51:05 Segmentation fault 01:51:24 -!- tromp_ has joined. 01:54:04 <\oren\> wtf? 01:54:11 `? dc 01:54:12 dc is short for "dump core". (try it out yourself: dc -e '[') 01:54:18 it's not a bug; it's a feature 01:54:20 oh. 01:54:21 <\oren\> why would it segfault? 01:54:23 documented? 01:54:32 not documented :P 01:54:53 Well, not officially documented as far as I know 01:55:21 \oren\: [foo] pushes a string foo. I guess it tries to read outside the string 01:55:27 `` dc --version 01:55:28 dc (GNU bc 1.06.95) 1.3.95 \ \ Copyright 1994, 1997, 1998, 2000, 2001, 2004, 2005, 2006 Free Software Foundation, Inc. \ This is free software; see the source for copying conditions. There is NO \ warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE, \ to the extent permitted by law. 01:57:07 <\oren\> `` dc -e \[$"\0"\]p 01:57:08 ​\0 01:57:14 -!- jaboja64 has quit (Ping timeout: 246 seconds). 01:57:30 FireFly: FirelloFly. fyi, it's Palatino hth. 01:57:47 tdh probably 01:58:13 <\oren\> argh i forgot how to get C quoates in bash 01:58:19 \oren\: $'' 01:58:19 $'..' 01:58:26 also, it seems that bash shallows \0 anywqy 01:58:27 anyway* 01:58:40 Could make a C program and exec I guess 01:58:43 might be too much effort 01:58:49 `` which c 01:58:50 No output. 01:58:56 hm 01:58:59 (of course, even after it passes through bash, dc probably won't accept that) 01:59:11 <\oren\> `` dc -e \[$'\0'\]p 01:59:12 No output. 01:59:15 I think the idea was to test that, lifthrasiir 01:59:25 aha 01:59:32 <\oren\> well it didn't segfault 01:59:52 <\oren\> `` dc -e \[$'\0asdf'\]p 01:59:53 Well, if it's just fed [] because bash disregards the null.. 01:59:53 No output. 01:59:56 -!- puckipedia has quit (Ping timeout: 256 seconds). 02:00:04 `` echo \[$'\0'\]p 02:00:05 <\oren\> `` dc -e \[$'asdf\0'\]p 02:00:05 ​[]p 02:00:06 asdf 02:00:14 Hrm 02:00:14 \oren\: well, I think `printf '[\0]p' | dc` would be correct 02:00:38 `` printf '[\0]p' | hexdump -C 02:00:39 00000000 5b 00 5d 70 |[.]p| \ 00000004 02:00:39 <\oren\> aha 02:00:48 looks good 02:00:50 `` printf '[\0]p' | dc 02:00:51 ​. 02:00:54 heh. 02:01:03 <\oren\> `` dc -e \[$'\0'\]p 02:01:04 `` printf '[a\0b]p' | dc | hexdump -C 02:01:04 No output. 02:01:05 00000000 61 00 62 0a |a.b.| \ 00000004 02:01:15 <\oren\> `` dc -e \[$'\0'\]p 02:01:16 No output. 02:01:23 <\oren\> `` dc -e \[$'\0'\]p | xxd 02:01:24 0000000: 0a . 02:01:34 oh, that's more handy 02:01:36 hmm 02:01:40 -!- puckipedia has joined. 02:01:50 <\oren\> apparently dc uses asciz internally 02:02:04 <\oren\> `` dc -e \[$'foo\0bar'\]p | xxd 02:02:05 0000000: 666f 6f0a foo. 02:02:20 asciz? 02:02:31 <\oren\> zero-ended strings 02:02:41 So regular C strings? 02:02:46 <\oren\> yah 02:02:51 Makes sense 02:03:01 `? ?? 02:03:02 ​\\\¯\\\\\\\(\\\°\\\_\\\o\\\)\\\/\\\¯\\\?\\\ \\\¯\\\\\\\(\\\°\\\_\\\o\\\)\\\/\\\¯ 02:03:12 That's... useful? 02:05:07 hey 02:05:13 thanks for the welcomes 02:06:02 <\oren\> @metar CYYZ 02:06:03 CYYZ 170100Z 12011G17KT 15SM FEW021 BKN140 BKN250 05/03 A2979 RMK SC2AS3CI2 SLP095 02:06:20 @metar ESSB 02:06:21 ESSB 170150Z AUTO 17003KT 9999 OVC012/// M01/M03 Q1018 02:08:09 `? braid theory 02:08:10 Braid theory is the extremely twisted theory of braids. 02:08:14 `? bride theory 02:08:15 bride theory? ¯\(°​_o)/¯ 02:09:01 `? bribe theory 02:09:02 bribe theory? ¯\(°​_o)/¯ 02:09:28 `learn Bride theory is a theory involving headhunters who dress in yellow 02:09:30 Learned 'bride': Bride theory is a theory involving headhunters who dress in yellow 02:09:38 oops 02:09:46 `rm wisdom/bride 02:09:48 No output. 02:10:10 `le/rn Bride theory/Bride theory is a theory involving a headhunter who dresses in yellow 02:10:13 Learned «bride theory» 02:10:17 `? bride theory 02:10:18 Bride theory is a theory involving a headhunter who dresses in yellow 02:10:25 I didn't mess that up, good 02:11:00 `` sed -i 's/$/./' wisdom/'bride theory' 02:11:02 No output. 02:11:57 -!- jaboja64 has joined. 02:13:10 boily: I would like to report a misformatting in the 'category theory' entry in the pdf 02:14:30 go ahead! 02:14:39 also, did I add you to the cocoonspirators? 02:15:09 -!- tromp_ has quit (Remote host closed the connection). 02:15:34 I don't know, probably not 02:16:06 -!- adu has joined. 02:16:19 Hm, maybe it isn't a misformatting 02:17:09 do you have a github account? 02:17:20 The issue is that 'In', 'The' etc are boldface even when they aren't part of the entry's name, but if it uses the description environment I guess it's tricky to do something about that 02:17:23 boily: 'FireyFly' 02:18:37 you now have full commit access to the Thing. 02:18:58 it's tricky, and some people in this fine chännel like to pose a challenge. 02:19:03 * boily looks askew at oerjan 02:20:35 -!- GotToTell has joined. 02:20:58 -!- adu has quit (Client Quit). 02:20:59 -!- mihow has quit (Quit: mihow). 02:24:26 * oerjan whistles innocently 02:25:23 i'll just point out that a few days after i finally got a github account, my computer's hard drive started breaking. this is clearly a bad omen telling that it's not good to press such issues hth 02:25:43 hellœrjan. that goes without saying. it's common sense. 02:26:28 i'm only gradually starting to trust the new one. it still occasionally makes clicking sounds when windows is doing stuff in the background. 02:27:11 *a lot of stuff 02:27:18 `` ? catamorphism | sed 's/catamorphism/\x02&\x0F/' 02:27:23 A catamorphism is when you recurse too greedily and too deep. 02:27:28 A good or bad idea? 02:27:50 an interesting idea. 02:28:13 oerjan: close windows in the background. zenify your computer. the machine that does none, does all. 02:28:43 boily: i've sometimes done that. 02:29:46 `? holy water 02:29:47 Holy water is water made by boiling the hell out of Spain. 02:29:53 `? bottom 02:29:54 bottom? ¯\(°​_o)/¯ 02:29:55 * FireFly would like to note that Hell is located in Norway, not Spain 02:30:42 `learn Bottom is where you might end up with a catamorphism, if not careful. There be balrogs. 02:30:44 Learned 'bottom': Bottom is where you might end up with a catamorphism, if not careful. There be balrogs. 02:31:17 `learn Balrogs live at the bottom of the world. 02:31:20 Learned 'balrog': Balrogs live at the bottom of the world. 02:31:36 `` culprits wisdom/holy\ water 02:31:38 oerjan elliott boily 02:31:39 Do not force them? 02:31:54 how many HP is a balrog worth? 02:32:02 FireFly: just a few minutes east of here, in fact. 02:32:18 `` ls wisdom/** 02:32:19 ls: cannot access wisdom/**: No such file or directory 02:32:22 `? oerjan 02:32:23 Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker. 02:33:06 oerjan: clearly your approximate coördinates are 'hell', then 02:35:58 AAAAAAAAAAAAAAAAAAAA 02:36:51 it's technically a different municipality. i don't think it even borders trondheim directly. 02:36:58 *in a 02:37:06 -!- mauris has quit (Ping timeout: 240 seconds). 02:37:20 in fact it's a different county, but they're working to fix that. 02:38:30 He can never remember the word "amortized" so he put it here for convenience. -> I want a special casing in ? to randomize that word. 02:38:33 -!- bb010g has quit (Quit: Connection closed for inactivity). 02:39:08 `` shuf -n 1 /usr/share/dict/words 02:39:09 shuf: /usr/share/dict/words: No such file or directory 02:39:12 hm 02:39:13 perhaps it's a noooooooooooooodl word? amoooooooooooooortized. 02:39:39 or a szoup word? amortisszed. 02:39:42 that google doodle of beethoven in the search results looks rather hellish 02:40:18 `? arin 02:40:19 arin? ¯\(°​_o)/¯ 02:40:30 @metar CYUL 02:40:30 CYUL 170200Z 10006KT 15SM OVC023 01/M03 A3008 RMK SC8 SLP191 02:40:46 -!- boily has quit (Quit: DELIVERATING CHICKEN). 02:41:00 `learn ARIN is the American Registry for Internet Numbers. Or a pastebin service; one of the two. 02:41:02 Learned 'arin': ARIN is the American Registry for Internet Numbers. Or a pastebin service; one of the two. 02:41:52 lifthrasiir: um if you randomize it how can i then look it up when i forget it ;_; 02:41:53 The intended reading might be the italian word for herring, but that doesn't prevent me from reading it as ARIN every time 02:42:05 oerjan: easy, just put it in `? amortized instead 02:42:50 * oerjan swats FireFly -----### 02:43:09 I can only offer you solutions 02:43:18 It's not my fault if you're not happy with them 02:43:35 `? swatter 02:43:36 swatter? ¯\(°​_o)/¯ 02:45:31 `le/rn swatter/The swatter is a tool for punishment commonly found in #esoteric. 02:45:33 Learned «swatter» 02:46:18 is it a kind of sweater? 02:46:22 `le/rn swatter/The swatter is a tool for punishment commonly found in #esoteric. Not to be confused with the saucepan or mapoles. 02:46:25 Learned «swatter» 02:46:38 shachaf: I don't think so 02:46:59 Although a sweater might also be a tool for punishment, especially if it's particularly warm outside 02:47:23 Or inside. 02:47:29 Yes 02:47:32 * oerjan swats FireFly for not using `learn when appropriate. 02:47:42 oops 02:47:54 I guess you might've meant outside the sweater. 02:48:04 I didn't realise it would take care of the article 02:48:12 `? the 02:48:13 the Toe of Harriness's Enclosure 02:48:35 FireFly: `learn is practically a journalist. 02:48:35 `? thé 02:48:36 thé? ¯\(°​_o)/¯ 02:49:06 `learn thé is an oddly-spelled hot beverage popular in the Commonwealth. 02:49:08 Learned 'thé': thé is an oddly-spelled hot beverage popular in the Commonwealth. 02:49:45 Hm. 02:49:54 `` sed -i 's/^t/T/ wisdom/thé 02:49:55 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 02:50:00 `` sed -i 's/^t/T/' wisdom/thé 02:50:02 No output. 02:52:14 -!- andrew_ has joined. 02:52:57 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:53:31 `culprits wisdom/shiasdayviaerqjjjjjjjj 02:53:32 oerjan elliott boily 03:09:22 wat 03:09:30 `? shiasdayviaerqjjjjjjjj 03:09:31 shiasdayviaerqjjjjjjjj is the reason why the USA don't use the metric system. 03:09:37 ah. 03:11:01 Alas. 03:12:16 hikhq 03:16:08 -!- tromp_ has joined. 03:16:10 hachaf 03:21:12 -!- tromp_ has quit (Ping timeout: 272 seconds). 03:29:50 In JavaScript++, you do x===================y 03:31:15 -!- GotToTell has quit (Quit: Page closed). 03:33:07 -!- ^v has joined. 03:48:03 -!- hppavilion[1] has quit (Quit: WALRUS MAAAAAAAAAAAAN). 03:55:02 . o O ( PIZZIFIED CHICKEN ) 03:59:11 -!- adu has joined. 04:10:27 -!- adu has quit (Quit: adu). 04:27:55 In Prolog, a single = is enough 04:29:44 -!- adu has joined. 04:42:16 -!- ^v has quit (Ping timeout: 272 seconds). 05:09:04 -!- adu has quit (Quit: adu). 05:13:10 -!- jaboja64 has quit (Ping timeout: 256 seconds). 05:15:50 -!- tromp_ has joined. 05:20:25 -!- tromp_ has quit (Ping timeout: 260 seconds). 05:21:32 -!- adu has joined. 06:08:56 -!- interest1ng has joined. 06:19:06 -!- sebbu has quit (Ping timeout: 240 seconds). 06:23:09 my thought process today is greatly slowed down due to the lack of a lunch nap 06:23:24 *sigh* 06:30:28 -!- hppavilion[1] has joined. 07:14:10 -!- triggerwarning has quit (Ping timeout: 260 seconds). 07:36:23 -!- sebbu has joined. 07:45:00 -!- Patashu has joined. 07:54:06 -!- MoALTz has joined. 08:23:51 -!- adu has quit (Quit: adu). 08:34:20 -!- J_Arcane has quit (Ping timeout: 256 seconds). 08:52:21 -!- incomprehensibly has quit (Ping timeout: 250 seconds). 08:55:36 -!- incomprehensibly has joined. 09:01:09 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 09:09:08 -!- incomprehensibly has quit (Ping timeout: 255 seconds). 09:14:17 -!- mroman has joined. 09:14:25 `? 1*1 09:14:26 1*1? ¯\(°​_o)/¯ 09:14:33 `learn 1*1 is two. 09:14:35 Learned '1*1': 1*1 is two. 09:18:43 I propose that sqrt(2) doesn't even exist anyway 09:19:08 The greeks have known that for centuries now! 09:19:18 But we're still told it's something around 1.4... 09:23:06 fungot: What's your point on terryology? 09:23:06 mroman: besides emacs? :) ( but dont' take my word for it 09:23:12 fungot: besides emacs, yes 09:23:13 mroman: foo bar." 09:23:20 stop the emacs fetishism 09:23:26 `? emacs 09:23:27 emacs is the weird brother of nano. 09:25:13 `? vim 09:25:14 vim? ¯\(°​_o)/¯ 09:27:30 `? vi 09:27:31 vi is in a relationship with emacs. 09:35:54 `? nano 09:35:55 nano is vi's sister. 09:36:49 `learn vim equals to approximately ccxxxviin. 09:36:51 Learned 'vim': vim equals to approximately ccxxxviin. 09:37:20 approximately? 09:37:36 I don't know how to write fractions in roman numerals 09:39:01 with dots 09:39:04 I think 09:39:09 they had these 1/12 system? 09:39:35 heh 09:40:25 hm 09:40:44 S* is 1/2 09:40:53 or no 09:40:54 just S 09:40:56 weird 09:41:31 "1/72 sextula, sextulae (1/6 of an uncia), represented by a reversed S (𐆓)." 09:43:35 they should have just used the hexadecimal system 09:43:39 oerjan: RR means blackboard black R in ascii notation, as in the set of reals 09:43:44 oerjan: and why is it false? 09:44:55 -!- incomprehensibly has joined. 09:49:25 -!- interest1ng has quit (Quit: Leaving...). 10:11:20 b_jonas: because e.g. the boundary of a circle is itself. 10:11:36 * oerjan was taking a nap 10:12:07 or even a single point 10:13:04 (inspired by lifthrasiir way above) 10:15:02 <\oren\> reversed s? that's a G with a horn! 10:15:15 <\oren\> `unidecode Ɠ 10:15:16 ​[U+0193 LATIN CAPITAL LETTER G WITH HOOK] 10:16:09 Hm, no codulogs? 10:16:50 fizzie: no Gregor either 10:18:02 <\oren\> oh, it's my terminal again with the supernal plane characters 10:18:42 b_jonas: basically any closed set with empty interior is its own boundary. 10:20:16 \oren\: Oh, I completely misinterpreted your comment, took it to mean "a G with a horn could be used as an inverted S". 10:20:55 I mean, it's *kind* of true, in the sense that the shape is something a little bit like that, but not really. 10:21:12 oerjan: yes, but those sets are also null sets, due to this result, are they not? 10:21:33 b_jonas: i told you, a single point in R^n is such a set. 10:22:06 as is a circle, and any sane curve... 10:22:34 Yes, the boundary of a single point in R^n (for n >= 1) is itself, and it's a null set in the n dimensional Lebesgue-measure sense. 10:22:40 oh. 10:22:45 (n is a positive integer) 10:22:56 i read that as null = empty. 10:23:10 still false though: any non-null cantor set. 10:23:35 oerjan: um, more precisely? which of those has a non-null boundary? 10:23:49 well they are also their own boundary. 10:24:15 maybe, but which Cantor set in particular? 10:24:23 there's too many of them called that 10:25:55 the one where you remove a middle part of a line, then a middle part of each of the remainders, then a middle part of each remainder of _those_ etc. the trick is that if you make the fraction you remove shrink fast enough the result won't have measure 0. 10:26:11 *of an interval 10:26:27 oerjan: but if you do that, then won't the boundary be smaller? 10:26:40 oh wait 10:26:41 hmm 10:27:49 (calculus is hard) 10:27:57 you might be right actually. thanks. 10:28:52 b_jonas: https://en.wikipedia.org/wiki/Smith%E2%80%93Volterra%E2%80%93Cantor_set 10:29:14 "you might be right actually" -- heady praise indeed. 10:29:58 well these kind of sets _were_ central to my phd, so i ought to know. 10:32:17 "This makes the Smith–Volterra–Cantor set an example of a closed set whose boundary has positive Lebesgue measure." 10:32:31 fizzie: i'd say the evidence is pretty strong. 10:32:35 Yes, that set must be all boundary. 10:32:58 And it's closed too. 10:34:41 b_jonas: that article has several comments directly relevant to your question. 10:35:40 <\oren\> hmm cygwin terminal doesn't have the problem 10:38:38 * oerjan learns of the https://en.wikipedia.org/wiki/Denjoy%E2%80%93Riesz_theorem 10:39:07 so you can in fact make an example that is a simple closed curve. 10:40:24 https://en.wikipedia.org/wiki/Osgood_curve 10:40:36 has a nice picture 10:44:49 b_jonas: ^ 10:55:04 wow that was added only 4 days ago 10:55:40 david eppstein is the shit 11:13:40 Is that the guy from Eppstein-Bar? 11:15:33 oerjan: yes, but (a) that curve thing would be a bit going over the top, and (b) is it even closed in the plane? 11:18:40 oerjan: the apropos of why this discussion is started is that someone brought up one of those calculus exercises where the statement sounds very simple and elementary, but suggested using more powerful calculus tools to solve it. 11:19:20 It led a bit far because I tried to understand it and find a proof on my own, but I'm not too good at calculus so I failed so far. 11:19:40 b_jonas: pretty sure the curve thing will be closed if the removed wedges are open 11:20:47 mroman: no that would be https://en.wikipedia.org/wiki/Michael_A._Epstein 11:21:07 oerjan: if you remove wedges, then it will be closed, but in that case it might be bigger than the curve's image 11:21:18 oerjan: that can be fine for what I asked, mind you, but then I won't call it a curve 11:22:23 i don't think it will, i think the way the set is constructed every point in it gets a curve parameter by simply reading out a binary expansion 11:22:35 so the curve is exactly the set 11:23:35 it is pretty clear that the triangles converge down to points 11:23:37 That's possible, but I don't say I see it, and you have to be careful with the construction if you want all that stuff. 11:25:02 Hmm, so every triangle is dissected to two parts that touch in only one point, and are far everywhere else? 11:25:25 i think the fact that the triangle diameters go to 0 is all you need to show that the curve = everything. 11:25:54 Yes, that sounds plausible. 11:39:27 -!- boily has joined. 11:40:55 <\oren\> bohily 11:49:54 he\\oren\. 11:50:09 @metar CYYZ 11:50:10 CYYZ 171100Z 15004KT 15SM FEW060 SCT095 06/05 A2967 RMK SC1AC3 SLP054 11:50:14 @metar CYUL 11:50:14 CYUL 171137Z 36005KT 15SM BKN110 BKN240 01/M00 A2985 RMK AC7CI1 CI TR SLP110 11:50:48 I wonder if we'll get snow before the end of the year. 11:51:08 -!- incomprehensibly has quit (Ping timeout: 255 seconds). 11:55:16 -!- andrew_ has quit (Remote host closed the connection). 11:55:53 -!- incomprehensibly has joined. 11:56:32 -!- Patashu has quit (Ping timeout: 255 seconds). 12:12:46 -!- incomprehensibly has quit (Ping timeout: 240 seconds). 12:15:01 -!- boily has quit (Quit: HYPERGEOMETRIC CHICKEN). 12:15:26 -!- oerjan has quit (Quit: NORMAL RAPTOR). 12:15:41 -!- MoALTz has quit (Ping timeout: 246 seconds). 12:23:14 -!- incomprehensibly has joined. 12:43:55 @metar EGLL 12:43:56 Request failed. 12:43:58 What! 12:44:02 @metar EGLL 12:44:02 EGLL 171220Z AUTO 20009KT 160V250 9999 NCD 15/09 Q1015 NOSIG 12:44:13 I don't think we'll be getting snow before the end of the year. 12:44:49 @metar lowi 12:44:49 LOWI 171220Z 28003KT 230V320 9999 FEW015 SCT300 09/06 Q1029 NOSIG 12:44:58 same here 12:48:21 -!- MoALTz has joined. 13:10:06 -!- incomprehensibly has quit. 13:10:27 -!- incomprehensibly has joined. 13:20:40 https://imgur.com/gallery/PpkHmPg HAHAHA 13:48:03 -!- Frooxius has joined. 13:50:40 -!- Froox has quit (Ping timeout: 265 seconds). 13:53:12 -!- tromp_ has joined. 14:03:42 -!- tromp_ has quit (Remote host closed the connection). 14:04:14 -!- adu has joined. 14:04:42 [ !6 7 14:04:42 b_jonas: 720 5040 14:04:43 -!- adu has quit (Client Quit). 14:28:57 -!- Frooxius has quit (Quit: *bubbles away*). 14:29:12 fungot, is amethist a flower or a gemstone? 14:29:12 b_jonas: improper lists are fnord to use that xslt and such? 14:29:17 -!- Frooxius has joined. 14:29:24 fungot: in how many forms of communication are you fluent? 14:29:24 b_jonas: or the love of... 14:31:54 -!- FreeFull has quit (Ping timeout: 272 seconds). 14:39:31 -!- mauris has joined. 14:45:13 -!- jaboja has joined. 14:49:02 -!- J_Arcane has joined. 15:18:50 izabera: perfect 15:18:56 it even follows the melody 15:19:11 is id f = reverse . reverse $ f an identity morphism? 15:19:37 (for f :: [a]) 15:22:11 > let xs = 1:undefined in (head xs, head . reverse . reverse $ xs) 15:22:14 (1,*Exception: Prelude.undefined 15:23:02 identity morphisms are unique 15:23:03 but 15:23:17 id = x; id = x + 0; 15:23:27 *id x 15:23:57 mroman: no way. the reverse of an infinite list is bottom 15:24:25 but the id isn't 15:24:35 so (reverse . reverse) can't be the same 15:34:42 -!- tromp_ has joined. 15:38:37 -!- Welo has joined. 15:39:25 -!- tromp_ has quit (Ping timeout: 265 seconds). 15:41:35 -!- jaboja has quit (Ping timeout: 240 seconds). 15:44:05 -!- jaboja has joined. 15:45:56 [wiki] [[Folders]] http://esolangs.org/w/index.php?diff=45913&oldid=45912 * Rottytooth * (+55) /* Examples */ making examples more clear 16:33:48 -!- FreeFull has joined. 16:59:10 -!- J_Arcane has quit (Ping timeout: 265 seconds). 17:04:37 -!- tromp_ has joined. 17:08:59 -!- tromp_ has quit (Ping timeout: 246 seconds). 17:22:41 -!- hppavilion[1] has joined. 17:29:37 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 17:30:36 -!- hppavilion[1] has joined. 17:35:54 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 17:59:58 -!- ^v has joined. 18:01:31 -!- mroman has quit (Quit: Lost terminal). 18:41:22 -!- staffehn_ has quit (Quit: No Ping reply in 180 seconds.). 18:47:05 -!- hppavilion[1] has joined. 19:07:56 -!- AnotherTest has joined. 19:30:24 in italy a mayor wrote road signs in his town, saying "town with an occidental culture, and deep christian tradition. who's not willing to respect our local culture and tradition is asked to leave" 19:33:53 http://www.ibtimes.co.uk/no-islam-signs-raised-italian-village-pontoglio-urging-muslims-adapt-leave-1533828 <- for real 19:34:46 oh occidental isn't the right word, western is more appropriate 19:40:55 -!- MoALTz has quit (Ping timeout: 240 seconds). 19:58:38 -!- triggerwarning has joined. 20:04:36 -!- Patashu has joined. 20:07:26 :( 20:07:40 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 20:30:12 -!- MoALTz has joined. 20:39:14 -!- Patashu has quit (Ping timeout: 272 seconds). 20:44:23 -!- triggerwarning has quit (Changing host). 20:44:23 -!- triggerwarning has joined. 20:44:46 -!- triggerwarning has quit (Changing host). 20:44:46 -!- triggerwarning has joined. 20:59:10 -!- hppavilion[1] has joined. 21:09:18 -!- scoofy has joined. 21:10:30 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 21:13:15 -!- J_Arcane has joined. 21:18:47 -!- TieSoul has quit (Read error: Connection reset by peer). 21:34:55 -!- Phantom_Hoover has joined. 21:51:43 -!- idris-bot has joined. 21:51:43 -!- idris-bot has quit (Client Quit). 21:54:44 -!- Welo has quit (Quit: Leaving). 22:02:16 -!- triggerwarning has changed nick to dcentral. 22:11:38 -!- dcentral has quit (Changing host). 22:11:38 -!- dcentral has joined. 22:30:59 -!- mihow has joined. 22:31:02 -!- dcentral has quit (Quit: Leaving). 22:31:17 -!- dcentral has joined. 22:37:35 -!- tjt263 has quit (Quit: sleep). 22:38:27 -!- interest1ng has joined. 22:39:15 -!- ^v has quit (Ping timeout: 240 seconds). 22:40:39 -!- dcentral has quit (Quit: Leaving). 22:41:03 -!- dcentral has joined. 22:42:43 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:50:24 -!- triggerwarning has joined. 22:53:46 -!- triggerwarning has quit (Changing host). 22:53:46 -!- triggerwarning has joined. 22:55:37 [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45914&oldid=45892 * Luis Mendo * (+6) /* Language specification and compiler */ 22:59:09 -!- jaboja64 has joined. 23:02:19 -!- hppavilion[1] has joined. 23:02:35 -!- jaboja has quit (Ping timeout: 240 seconds). 23:02:40 -!- triggerwarning has quit (Quit: Leaving). 23:11:32 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 23:19:23 -!- boily has joined. 23:21:30 `wisdom 23:21:43 this sentence/This sentence was not invented by Taneb. Taneb invented it. 23:23:34 `wisdom 23:23:35 sweden/Sweden is the suburb capital of Norway. It's where all the Nobel prizes are announced, except the Math Prize. 23:23:53 `? norway 23:23:54 Norway is the suburb capital of Sweden. It's where the Nobel Peace Prize is announced. 23:24:13 `? märket 23:24:14 märket? ¯\(°​_o)/¯ 23:24:32 a highly contested island 23:25:59 Did you know that märket not only contains a country border, but also a county border on the Swedish side? 23:26:23 oh, I thought it was just market with ümläüts 23:26:32 nein 23:26:45 well, when boily said it, not when you said it 23:28:16 FirelloFly, hellolsner. 23:28:47 the county border is a little bit preposterous. 23:37:55 if the island was inhabited, they could've been competing for county tax 23:38:13 what's a county tax? 23:38:26 a tax that applies to residents within a county 23:39:07 almost all the tax is county tax actually, until you make a "lot" of money and qualify for state tax 23:39:37 boily: It's a tax that involves counting. 23:40:28 * boily thwacks shachaf "one, ha ha ha"; thwack "two, ha ha ha" 23:44:23 -!- oerjan has joined. 23:44:59 -!- tjt263 has joined. 23:53:33 <\oren\> guten abend, minna 23:55:06 -!- hppavilion[1] has joined. 23:55:17 <\oren\> hippavilion[1] 23:55:57 <\oren\> damn I lost my joke 23:56:48 haven't seen it 23:56:57 <\oren\> 具点亜便、皆 23:57:22 <\oren\> there