00:00:02 Wow. I can feel the bullshit oozing out of http://www.biscmi.org/wp-content/uploads/2015/05/Miller2001.pdf 00:00:58 "This woman broke laws [the examples given are attempted murder and arson], but their husbands had been beating them so we should completely ignore the offense- even if arresting them would be in the interest of public safety" 00:02:04 When a crime has been committed, determining if it was reasonable is to be deferred to the court- police are not supposed to judge morality in situations where a law has been obviously broken 00:02:34 -!- oerjan has joined. 00:04:42 hellørjan 00:08:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 00:11:09 helloily 00:17:18 helloily 00:17:32 quinthellopia. 00:17:37 whatever else nonsense hagb4rd says, he _is_ right that i check out many newcomers to see if they're him. 00:18:13 perhaps a bit too much. i don't think Etaoin was very likely, anyway. 00:48:06 maybe hagb4rd knows that because he is one of the OLDcomers who has ALWAYS used a different name 00:51:39 -!- myndzi\ has joined. 00:57:57 -!- Froox has joined. 01:00:12 maybe *I* am hagb4rd! 01:00:16 * boily shudders at the thought 01:00:31 fiendish 01:01:05 -!- Frooxius has quit (Ping timeout: 244 seconds). 01:02:38 -!- augur has joined. 01:03:07 boily: your secret is safe with no one! 01:03:14 (like most secrets) 01:03:31 did you ever see that thing: http://www.bouldertherapist.com/html/humor/MentalHealthHumor/panexa/panexa.html 01:04:36 oh...wait...oerjan is hagb4rd! sneaky. 01:16:04 i wonder where boily and oerjan went 01:16:24 :t hex 01:16:25 (Integral a, Applicative f, Choice p) => p a (f a) -> p String (f String) 01:16:33 :t (#) 01:16:34 parse error on input ‘)’ 01:16:49 :t (# ) 01:16:50 parse error on input ‘)’ 01:16:53 :t ( # ) 01:16:54 AReview t b -> b -> t 01:24:22 <\oren\> colombia 0-2 chile 01:24:28 -!- xkapastel has joined. 01:24:38 oh 01:24:45 quintopia: requinthellopia! I was on the phone with various persons of familial interest. 01:24:51 `relcome xkapastel 01:24:55 ​xkapastel: 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:25:14 HackEgo celebrating pride week, i see 01:26:36 you remember back when that whole "official channels get # and unofficial channels get ##" thing was discussed endlessly here? yeah, that would have been a great time to move to #esolang...then there would be no reason for that parenthetical. 01:27:01 anyway, if you don't like rainbows xkapastel 01:27:12 `welcome xkapastel 01:27:14 xkapastel: 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:27:46 <\oren\> are you watchong the copa america 01:28:29 i am watching this channel and one other 01:29:42 `WeLcOmE xkapastel 01:29:45 XkApAsTeL: 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:32:15 re PANEXA: I think I'm not a squirrel, so I should be fine. 01:36:36 have you ever seen a pregnant woman? there are side effects for those who are aware of the concept of pregnancy 01:37:21 solipsism precludes having seen pregnant women hth 01:38:20 it also precludes my existence. do you imagine you (as me) will send you (as you) a package containing something you experience as beer? 01:38:55 i'm trying to figure out what to label it on the customs form 01:39:04 you think they'll let "soda" pass? 01:39:25 it's carbonated, it's in a bottle, therefore it's a duck. 01:39:57 s/bottle/container/ 01:40:19 i don't think the type of container is essential to duckitude 01:40:45 (shipping animals internationally is definitely not allowed though) 01:41:17 shipping animal products either... 01:41:41 one day, one day I'll be able to enjoy strömming... 01:43:17 shipping liquids is surely okay though? 01:43:27 i've done it before, but i'm not sure whether i was open about it 01:47:37 -!- hppavilion[1] has joined. 01:49:44 i guess shipping liquid is okay. 01:50:04 time to leave 01:53:46 bon shippintopia! 01:54:42 -!- Guest12690 has quit (Ping timeout: 250 seconds). 01:55:29 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:59:39 -!- IRIXUser has joined. 02:00:02 -!- IRIXUser has changed nick to Guest51928. 02:04:54 https://en.wikipedia.org/wiki/Fictional_planets_of_the_Solar_System#Trans-Neptunian_planets should list "Pluto" 02:06:20 TIL: Gordon Freeman is named for Freeman Dyson 02:09:37 hppavilion[1]: Pluto is a real body though 02:09:56 FreeFull: Yes, but it isn't actually a planet 02:10:14 It was classified as a planet before, now it's classified as a dwarf planet 02:10:25 Just because its classification changed doens't make it fictional 02:11:20 FreeFull: Yes, but it would be fictional to refer to it as a planet 02:15:41 -!- Cale has quit (Read error: Connection reset by peer). 02:16:42 -!- Cale has joined. 02:16:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 02:18:57 -!- bender__ has joined. 02:19:02 boily: digital dentistry? you must have thing fingers hth 02:21:04 . o O ( boily is edward scissorhands ) 02:23:22 thin 02:25:20 wait, how have i not noticed that intensional and intentional are different words 02:25:40 ...i suppose they would be identical in norwegian 02:25:50 wait until you hear about extentional hth 02:28:30 -!- Cale has quit (Ping timeout: 250 seconds). 02:30:20 -!- Cale has joined. 02:30:50 (assuming you don't know, norwegian tends to convert all the latin suffixes -{s,t,ss}ion into -sjon 02:30:53 ) 02:31:36 oerjan: is that conversion intenssional? 02:31:54 MAYBE 02:32:48 i don't think you can have -ssion except after a vowel, anyway, hth 02:33:09 oh and -xion -> -ksjon 02:33:50 `` grep '[^aeiou]ssion' share/dict-words 02:33:52 No output. 02:34:03 `? oerjan 02:34:05 Your mysterious articled cackling zombie overlord emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 02:34:31 `slwd oerjan//s#ssion#sjon# 02:34:37 wisdom/oerjan//Your mysterious articled cackling zombie overlord emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 02:35:07 that's indeed a norwegian word. 02:35:41 i think it's rarely used in that context though. 02:37:22 `` grep '[aeiou]ssion' share/dict-words 02:37:25 Passion \ Passion's \ Passions \ accession \ accession's \ accessioned \ accessioning \ accessions \ admission \ admission's \ admissions \ aggression \ aggression's \ cession \ cession's \ cessions \ commission \ commission's \ commissioned \ commissioner \ commissioner's \ commissioners \ commissioning \ commissions \ compassion \ compassion's \ 02:37:31 `slwd oerjan//s#rd#rd commisjoner# 02:37:33 wisdom/oerjan//Your mysterious articled cackling zombie overlord commisjoner emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 02:37:41 by his own addmisjon 02:37:44 hate something with a passion ~ hate noe intenst, i think. 02:38:10 presumably "noe" is "noel" spelled with no el 02:38:45 commissioner = kommisjonær hth 02:38:54 shachaf: well... 02:39:01 `slwd oerjan//s#commisjoner#kommisjonær# 02:39:05 wisdom/oerjan//Your mysterious articled cackling zombie overlord kommisjonær emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a pasjon. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 02:39:06 or the norwegian word for something 02:39:19 for what, though 02:39:24 i thought you new norwegian 02:39:28 knew 02:39:31 scow 02:39:37 you win this one 02:41:33 or possibly "kommisær". "There is some confusion between commissioners and commissaries, because other European languages use the same word for both." 02:41:56 wait, *kommissær 02:43:39 ...what kind of shit wiki setup is norwegian wikipedia using, even search box suggestions don't work. 02:46:00 * oerjan isn't entirely clear on what "commissioner" means, anyhow. 02:50:27 a commissary is someone in charge of materiel, iirc 02:50:38 whereas a commissioner is someone with a commission 02:50:51 -!- iaglium has quit (Quit: Bed Time). 03:09:42 -!- boily has quit (Quit: TRANSVERSE CHICKEN). 03:20:33 -!- spiette has quit (Ping timeout: 240 seconds). 03:24:22 <\oren\> oerjan: I think of http://warhammer40k.wikia.com/wiki/Commissar 03:26:57 -!- augur has quit (Remote host closed the connection). 03:29:15 -!- myndzi\ has quit (Ping timeout: 276 seconds). 03:37:32 hm i think long open reddit tabs leak my cpu... 03:38:39 <\oren\> remeber to pkill -9 chrome regularly 03:40:10 >_> 03:40:35 * oerjan refuses to believe \oren\ hasn't noticed my mentions of using IE. 03:40:36 -!- Frooxius has joined. 03:40:48 also, it was enough to force reload the tab. 03:42:04 * oerjan supposes he may have suppressed the knowledge. 03:43:03 -!- Froox has quit (Ping timeout: 264 seconds). 04:15:48 -!- Froox has joined. 04:19:03 -!- Frooxius has quit (Ping timeout: 264 seconds). 04:24:54 -!- Koen_ has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 04:50:33 -!- hppavilion[1] has joined. 04:56:22 -!- oerjan has quit (Quit: Nite). 05:00:58 -!- Etaoin has joined. 05:07:18 -!- Etaoin has quit (Ping timeout: 250 seconds). 05:20:40 -!- augur has joined. 05:25:11 -!- augur has quit (Ping timeout: 240 seconds). 05:34:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 06:07:49 -!- Kaynato has quit (Ping timeout: 244 seconds). 06:09:29 -!- lambda-11235 has joined. 06:26:52 -!- bender__ has changed nick to bender. 06:31:48 -!- Froox has quit (Quit: *bubbles away*). 06:32:10 -!- Frooxius has joined. 06:32:49 -!- augur has joined. 07:15:06 how do http servers know when a client finished sending its headers? 07:16:36 -!- augur has quit (Read error: Connection reset by peer). 07:18:28 Clients terminate the list of headers with "\r\n\r\n". 07:18:52 (i.e. a blank line after the headers) 07:18:59 Content in the request, if any, follows. 07:19:46 thanks 07:20:38 -!- augur has joined. 07:23:59 -!- augur has quit (Excess Flood). 07:25:16 -!- augur has joined. 07:26:55 -!- hppavilion[1] has joined. 07:27:23 There are Flat Earthers and Round Earthers 07:27:33 I, for one, am a Klein Earther 07:28:56 -!- copumpkin has quit (Ping timeout: 244 seconds). 07:50:55 -!- augur has quit (Read error: Connection reset by peer). 07:51:04 -!- augur has joined. 07:54:29 -!- augur_ has joined. 07:57:50 -!- augur has quit (Ping timeout: 250 seconds). 07:59:21 If astronomers made a tool for observing the sky at all angles without a large lense, what would it be called? 08:05:12 -!- Destructible has joined. 08:05:23 hi 08:08:02 -!- sebbu has quit (Quit: reboot). 08:15:58 hello? 08:17:54 -!- augur_ has quit (Remote host closed the connection). 08:21:01 -!- Destructible has quit (Quit: Page closed). 08:31:54 -!- J_Arcane has quit (Ping timeout: 246 seconds). 08:42:29 -!- augur has joined. 08:44:20 <^v> hppavilion[1], multiple cameras? 08:44:42 ^v: *sigh* no 08:44:46 The 360 Noscope 08:44:55 <^v> a 180 degree lens? 08:44:58 <^v> not impossible 08:45:12 <^v> and doesnt necessarily have to be big 08:45:51 <^v> https://www.amazon.com/180degree-Fisheye-1080p-Angle-Camera/dp/B00LQ854AG 08:46:15 <^v> this can literally look at the sky at all angles and its tiny 08:46:49 ^v: 360 decrees 08:46:56 <^v> uhh no? 08:47:03 <^v> you would be looking at the ground and the sky 08:48:25 <^v> a 180 degree lens captures a single hemisphere, else you would be looking for a sphere camera which would require some pretty high tech optics if your requirement is not to use multiple cameras 08:49:16 ^v: Yeah 08:49:40 ^v: No rule against multiple cameras 08:49:46 <^v> <^v> hppavilion[1], multiple cameras? 08:49:46 <^v> ^v: *sigh* no 08:49:53 <^v> confused 08:49:56 ^v: Yeah, I misinterpreted that 08:50:10 ^v: I thought you were answering that as the name 08:50:22 <^v> i was kinda 08:50:35 <^v> i forgot this was #esoteric 08:50:42 <^v> why not "phisheye" 08:51:01 <^v> phish because the question is a trap 08:54:10 -!- augur has quit (Ping timeout: 250 seconds). 08:54:50 ^v: Your reference to phishing puts you on the FBI watchlist; we'll need to collect a fine 08:57:07 ^v: Please send USD$5,200 to BTC:1JrY2sCDAQuRPdqshZFxfiuQ32Uexmc6so 08:57:48 <^v> k 08:58:53 -!- sebbu has joined. 08:59:40 -!- Destructible has joined. 08:59:43 hi 08:59:59 <^v> Destructible, hello 09:00:42 I had an idea for an esoteric language 09:00:47 <^v> sure 09:02:39 I think it is a pretty good and original idea 09:02:53 <^v> what is it? (i promise i wont steal it) 09:03:08 <^v> i have a pretty original idea for one too, using only ^ and v 09:03:20 <^v> memory struture and commands consist of a binary search tree 09:03:29 <^v> ^ goes up v goes down 09:03:30 Is your name based on that 09:03:35 ? 09:03:40 <^v> the language is based on my name 09:03:47 ok 09:04:22 so, the main distinguishing feature of this lang is twofold 09:04:59 Variables are functions. Variable/functions are numbers 09:05:43 Variable values cannot be accessed: There are no conditionals, or accessing of values. 09:06:03 I can't make ^v's promise 09:06:28 <^v> hppavilion[1] is going to copy a brainfuck derivative 09:06:43 ^v: I didn't say I /would/ steal it 09:08:25 so, every program is a base seven number, however it uses specific characters for each digit: +, for example 09:08:58 The reason that it is thought of as a number, is because it can be incremented 09:09:47 <^v> so the recipe for a good esolang is 09:09:49 <^v> simple 09:10:00 <^v> unintuitive, but not limiting 09:10:47 Nothing in this language is expressly introduced for difficulty of programming, like intercal's please stuffs, or do, for example. 09:11:14 <^v> well if you make it too easy where is the fin? 09:11:16 <^v> fun* 09:11:27 I never said it was easy 09:11:52 It's still a turing tarpit 09:11:55 maybe 09:11:59 assuming its tc 09:13:16 This language is one of the most reflective lanugages 09:13:23 If it is not the most reflective 09:13:48 Functions are not declared, they are assumed to exist at all times, and are simply modified 09:14:49 Oh, I just had an idea for how to implement a conditional substitution. 09:15:27 I'll probably be back 09:15:31 -!- Destructible has quit (Quit: Page closed). 09:18:43 -!- lambda-11235 has quit (Quit: Bye). 09:19:25 -!- AnotherTest has joined. 09:38:20 `unidecode ㍰ 09:38:42 Hm, there's TIL- Today I Learned 09:38:49 But there's no THL- Today Humanity Learned 09:38:50 ​[U+3370 IDEOGRAPHIC TELEGRAPH SYMBOL FOR HOUR TWENTY-FOUR] 09:39:33 h#esotericllo 09:41:18 that's going too far -_- 09:42:07 \oren\: ping 09:42:49 @tell \oren\ in http://www.orenwatson.be/verne.htm , in the cyphered version, on the top row second block, you're missing on the top row second block, you're missing 09:42:49 Consider it noted. 09:44:03 This channel is silent now because all the Brits are in the voting rooms, right? 09:44:28 (And a third of the channel is Brittish, the other third is Finnish.) 09:45:16 -!- MoALTz has joined. 09:48:01 -!- Destructible has joined. 09:48:04 hi 09:51:13 hello 09:58:01 -!- Destructible has quit (Quit: Page closed). 09:58:22 -!- Destructible has joined. 09:58:27 hello 10:05:58 -!- xkapastel has quit (Quit: Connection closed for inactivity). 10:13:09 HI] 10:13:28 -!- Destructible has quit (Quit: Page closed). 10:18:15 `thanks Cale 10:18:21 Thanks, Cale. Thale. 10:18:33 `thanks ants 10:18:34 Thanks, ants. Thants. 10:18:52 very memes 10:19:49 `? new albumen 10:19:51 new albumen? ¯\(°​_o)/¯ 10:19:51 `thanks yanks 10:19:52 Thanks, yanks. Thyanks. 10:19:57 scow 10:20:04 `thanks banks 10:20:05 Thanks, banks. Thanks. 10:20:06 `thanks thanks 10:20:07 Thanks, thanks. Thanks. 10:20:21 `run cat $(which thanks) 10:20:22 -!- Phantom_Hoover has joined. 10:20:23 ​#!/usr/bin/perl -CSDA \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Thanks, $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/Th/; } else { s/^./T/; } print "$_."; 10:20:31 `thanks anks 10:20:32 Thanks, anks. Thanks. 10:20:58 `thanks hanks 10:20:59 Thanks, hanks. Thanks. 10:22:27 `thanks nks 10:22:29 Thanks, nks. Tks. 10:22:35 tsktsk 10:23:04 `thanks you 10:23:06 Thanks, you. Thyou. 10:23:17 er 10:40:47 -!- MoALTz has quit (Quit: Leaving). 10:41:24 `cat bin/makelist 10:41:26 file="bin/$1"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done 10:41:33 `makelist stylist 10:41:37 No output. 10:42:19 `makelist idealist 10:42:25 No output. 10:42:33 `makelist minimalist 10:42:36 No output. 10:42:37 enough lists 10:42:40 ^thanks banks 10:42:40 Thanks, banks. Thanks. 10:42:48 ^show thanks 10:42:48 >2,[>,]+15[>+6>+7>+3>+2<4-]>-6.>-.-7.+13.-3.+8.>-.>+2.<5[<]>[.>]>3+2.>.<3.<2[<]>[[-<2+>+>]+<-97[-4[-4[-6[-6[-4[>-<[-]]]]]]]>[[>]>2-11.<3[<]<.>3[.>]>3.>5][-]>]<3[[<]>2[.>]>5.>2] 10:42:52 i was going to use stylist to insult someone by calling them a pig 10:42:57 which i guess is a popular insult 10:43:14 but then i didn't want to insult anyone 10:43:34 ^show thanks. shanks. 10:43:44 All the trains are being wonky. :/ 10:43:55 oh man 10:44:03 you know who wants to hear about wonky trains 10:44:34 fizzie, yeah, apparently the underground flooded? 10:44:39 "Poor weather in the south of England is causing disruption to South West Trains services. Passengers are advised not to travel." 10:44:58 Taneb: I haven't even gotten that far yet. 10:45:09 Oh no! 10:45:36 Luckily a) I am not planning to travel today, and b) I'm very much not in the south of England 10:45:58 i'm in a similar position 10:46:05 `8-ball Is the underground flooded? 10:46:06 Most likely. 10:46:10 `8-ball Have you voted yet? 10:46:11 Except I'm planning to travel to San Francisco today. 10:46:16 You may rely on it. 10:46:23 shachaf, well, I'm not in the south of England, and you're not in the south of England 10:46:24 fizzie: What kind of flour do I use? 10:46:34 Taneb: let's call the whole thing of 10:46:44 shachaf: wheat flour 10:46:59 District line from the Wimbledon direction would've been my fallback option for these trains, but apparently that's indeed flooded. 10:47:01 shachaf, I'll call it off when I find someone who says potato like that 10:47:26 shachaf: Semi-coarse. 10:47:38 b_jonas: What protein content? 10:49:30 «Flours between 90 and 160 W are called "weak flours".» 10:49:38 I never considered the wattage of my flour before. 10:50:26 -!- Destructible has joined. 10:50:27 hi 10:51:09 -!- MoALTz has joined. 10:51:19 @todo 10:51:19 0. SamB: A way to get multiple results from a google search 10:51:19 1. dons: improve formatting of @dict 10:51:19 2. dons: write Haskell Manifesto 10:51:19 3. lispy: don't let lambdabot's prettyprinter split the sequence @foo across lines 10:51:19 4. TheHunter: priviledged users should get priviledged listcommands. 10:51:21 [43 @more lines] 10:55:56 ;___; such nostalgia 10:55:59 that list must be a decade old 10:56:17 @more 10:56:17 5. TheHunter: @type 1 :: Int 10:56:17 6. lispy: haddock gives a link from a type signature to the types. It would be nice if it also let you find functions in the given module that use a type. 10:56:17 7. dons: Implement @whatis 10:56:17 8. dcoutts: implement @cool list, as a clone of the @todo(-add) commands 10:56:17 9. dons: there's some bug in the 'when i left' code of @seen 10:56:19 [38 @more lines] 10:56:24 `? priviledge 10:56:29 priviledge? ¯\(°​_o)/¯ 10:56:46 :t 1::Int 10:56:46 @cool 10:56:46 unexpected end of input: expecting number, "d" or "(" 10:56:47 Int 10:57:06 oh. @roll 10:57:24 haha, good eye 10:57:26 1d20 10:57:26 int-e: 11 10:57:34 I know the parse error :) 10:57:51 -!- Destructible has quit (Quit: Page closed). 11:02:51 -!- Koen_ has joined. 11:06:51 `bardsworthlist 2016-06-23 11:06:54 bardsworthlist 2016-06-23: b_jonas 11:12:38 b_jonas: What's bardsworthlist for? 11:12:42 `? bardsworthlist 11:13:06 bardsworthlist is update notification for the Bardsworth webcomic. http://www.bardsworth.com/ 11:13:14 Oh 11:13:27 I was hoping it was an update notification for h4gb4rd 11:25:38 -!- Koen__ has joined. 11:27:51 -!- Koen_ has quit (Ping timeout: 240 seconds). 11:30:30 -!- boily has joined. 11:53:13 BREAKING: Lazy computer scientists prove that P ≈ NP 11:58:10 -!- Destructible has joined. 11:58:12 hi 12:01:51 -!- copumpkin has joined. 12:01:59 Is it slightly after 23:00 UTC that the voting stations close and exit poll results will be published? 12:02:10 I thought they weren't doing any exit polls for this. 12:02:47 hppapproximativellon[1]! 12:02:55 Destructibello! 12:03:04 b_jellonas! which voting stations? 12:03:07 fizziello! 12:03:09 fizzie: what? why would they ever NOT do exit polls 12:03:11 And I think it's 21:00 UTC? At least it's 22:00 BST, and BST is UTC+1. 12:03:20 boily: the last ones for the Britain EU referendum today 12:03:33 oh right, it should be 21:00 UTC 12:03:40 not 23:00 UTC 12:03:54 b_jonas: http://www.independent.co.uk/news/uk/politics/eu-referendum-exit-poll-who-has-won-remain-leave-brexit-live-updates-a7094886.html "EU referendum: Why is there no exit poll for the vote?" 12:08:06 if the UK leaves, will Taneb be able to join this chännel? 12:10:39 fizzie: I see. 12:11:00 I think that my new idea for an esolang will be good. Would you like me to describe it? 12:11:11 That means I'll find out the result tomorrow. 12:11:27 boily : as long as this channel keeps the strait of Dover 12:12:14 Yurumello_. that is unconditional. Dover is us! 12:12:18 Destructible: describe away! 12:12:22 boily: I think he will be, but he'll have to use a different server. This is *relay* chat, which means there can be a relay link between the EU and UK servers. 12:13:19 My esolang is what I think is a very original idea, or at least a collection of ideas that are a unique collection 12:14:20 Yurume_: have I ever asked you the The Question? 12:14:22 Are there any problems that are /literally/ unsolvable on CCs but not on QCs? 12:14:55 boily : is that The Question? 12:15:20 A program in this esolang consists of a sequence of 7 characters. Other characters are syntax errors. These characters are: [space], |, _, +, -, *, ^, @. 12:16:09 This forms a base seven number. The fact that it is a number is, in fact, relevant (There is a reason that it is a number, compared to other languages) 12:16:14 Yurume_: no, the The Question is: what are your approximative geographic coördinates and body weigh? 12:16:50 have I said that I am an alter ego of lifthrasiir? 12:17:41 Destructible: you realize those are eight characters, right/ 12:18:02 wait a minute 12:18:09 I did something wrong right now 12:18:10 lol 12:18:24 do you mean a sequence of characters, where the only legal characters are those seven? or do you mean the program should be seven characters long? 12:18:30 I did it wrong because of the way numbers are represented 12:18:43 anyway, it is base eight then 12:18:51 DX 12:18:57 continuing 12:19:19 Yurume_: AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAURGH! 12:19:34 Space is a nop. this is used as the default values of digits. 12:20:26 | causes all code until the next | to be considered as a function name. This function becomes the active function 12:20:27 boily : (mobile bouncer to be exact. this nick is also what I use for moznet) 12:21:02 boily : a mobile bouncer to be exact 12:21:02 Active function simply allows commands that affect the active function to work on it. It does not run the function 12:21:12 and I use this nick in moznet 12:21:22 Yurume_: right 12:22:48 _ causes all code until the next _ to be interpreted as a number in base seven . the next command is executed this many times. 12:23:04 (this is why I made the mistake) 12:23:20 + increments the current function 12:23:34 - does what you probably think 12:23:53 @ executes the current function 12:24:53 I shall depart in shame and go shower my mind with the cleansing ritual hot water and soap. my ability to distinguish alternative nicks is unacceptable! 12:25:00 -!- boily has quit (Quit: PINEAL CHICKEN). 12:25:02 once the current function is done, it will return to the digit that has the same significance as the one the function was called from, in the function it was called from (because functions are layered) 12:26:20 speaking about nicks, the nick Koen is register on freenode 12:26:24 I need to change my name 12:28:16 * turns all code until the next * into a number. It inserts a digit so that it will be this number up in signifcance. example of digit numbers: +<-3 +<-2 +<-1 -<-0 12:29:09 ^ turns all code until the next ^ into a number, and removes the corresponding digit from the actuve function 12:29:23 clarification: * inserts into the active function 12:29:41 also I made a mistake 12:29:48 It isn't actually base 7 12:30:15 it is an unorthodox numbering system 12:30:31 " +"≠"+" 12:30:47 this might explain 12:30:48 0 = [null] 1 = " " 2 = "+" 3 = "-" 4 = "@" 5 = "|"/"_" 6 = "^"/"*" 7 = "*"/"_" 8 = " " 15 = "+ " 57 = " " 12:30:59 Part of the info is encoded into the amount of digits 12:31:27 OMG 12:32:13 I submitted a comic to a site, and they uploaded it! (The community contributes all the comics) 12:38:34 -!- Etaoin has joined. 12:38:44 hi 12:38:50 ey 12:39:28 I just got my comic uploaded to a comic site (where the community contributes) 12:40:01 Don't you hate it when you watch a video and think "Huh, interesting, I'll have to look into that later" 12:40:11 And then forget everything but a single detail about the video? 12:40:21 yeeeaah that sounds nasty 12:40:27 what kind of comic? 12:41:46 Oh hai der etaoin 12:42:06 there's probably another etaoin :( 12:42:22 I just stole this username for now 12:43:25 does anyone know of a quantum turing machine programming language? as in something like brainfuck that'd run on a quantum computer/simulator 12:44:02 nvm I found it https://esolangs.org/wiki/Quantum_brainfuck 12:44:28 The comic site is "Square root of minus garfield". It consists of garfield edits 12:45:49 are you Nyperold? 12:46:16 Etaoin: note that most esolangs with "quantum" in their name or first paragraph of the description don't actually have anything to do with quantum computing 12:47:02 @b_jonas how come? 12:47:02 Unknown command, try @list 12:47:09 b_jonas, how come? 12:48:14 would you like a link to my comic, that got uploaded? 12:48:44 that'd be nice yeah 12:48:59 Etaoin: quantum is just a popular buzzword that people try to invoke 12:49:16 http://www.mezzacotta.net/garfield/?comic=2590 12:50:21 these are way too abstract for me :D 12:50:45 The comic? 12:50:57 all of them on the website 12:51:14 Yeah 12:53:03 If they are too abstract, there is always the memes. T̨H̕ey ͡n͢ever ̶go͟ ͘away 12:53:14 T͌͒̆ͤ͜H̴ͭ͂̿̚ȅͨ ̵ͩͩ̈͌̉̔̆m͆̊ͣ̿͒̇ͭėͣ̈́m͢eͭ̽ͧ̏͒͑҉s̓ ̷ͨ͆̿wͣ̃͢i͞l̨ͪ͊́ͥl̷̅̈́̋ ̷n̷ͤ̀͛̒̇̆̅evͣ͛̉͂͏e͐̾rͣ͌͐͆ͫ̄ ̋́͢l͑e̷̅ͯä͆̏͛͞vͫ͗̂̐̚ȅ̃ͣͪ̌̚̚ 12:54:16 T͕̫̟̬̠̘ͅh͙͎̹̳͉̘ͯ̊̔̚è̹͓ͩ ̟̞̭͑͌̊̃ͪ͟p̄̈́ͥͥͨͣu̜̬͈̻͇ͥ͌ͅd̲̊̇̾̋͑͘d̻̻͉̱̟̯̜i̸̝̭ͤ̑ͨ͌ͣn̜̗͔̠̂ͦͦͨ͆͛̀g̴͖̠̮͔̭͌̔̂ ̹ͦ́͋͠p̌̄̽̊̽o̶̝̅͋ͮp̤͔͚̥̿ͤͥͫs̹̹̏ ͤ̂ͭ̔̽̽a̻͚͐̄̒ͫ̆r̛͍̭͍̬̖̬̆ͣ̉e̯̩̜̠ Ę̶̸̛̮̦̞͈͚͇̙̤͚̰͉̥͖̔ͥ̀̈͞ͅt̸͐̆ͮ̉̃҉̨̦̜̱̠̮̟̜̳̯̦͎͟ę̴̹͓͕̝̜̖̦͐̍ͭͦ̋͌͑̒͊ͣ͜ 12:54:34 T̵͎̻̙̜̭̆̐͒̉̊͐ͮ̉ͫ̏͜͡͞H̷̛̩͕̩̬͖̙̗̲̩̣͚̼͈̖̼̝̔͌ͮ̈́̈́̓̏͗͒ͫ̿́ͦͣ̾́̚͝ͅE͉̞͔̭͇͖̤̼̯̞̹̓̓̔̅̆ͩͣ͑͆̂͗͛͌ͯ̀́ ̢̮̣̝͖͎̐͋ͯ̾ͦ̾ͨͥ̓ͥ͆͟P̲̹̝̠̼͇͖̞͓̞̘̻̫̏̆͂͒ͮͥ̄̕ͅŲ̶̶̤̻̤̪͍̳̲̞̪̣͚̬̦̬ͦ͛̐ͦͤ̐̊͘͞ͅD̸̡̡̬͉̼̻̰̻͎̙̤͓̖̤̼ͦ͋ͣͤ̃̄̑ͩ̌̄ͤͤ͐ͨͫ̊̚D̶̛͉̤̫̜̗͍͂̍ͥ͂͑̿̔̊̌̒̋͜͜ͅIÌ„Í©ÌšÍ¦Ì 12:55:03 T̵̨̈́ͤ́̏́̾̇̚͏̗̠̙̹̖̺͇̮͈̣̠̩̼H̸̷͍̰̣̤̲̩̩̗̗̲̺̬̩̜̟ͯͧ̉̓̔̍̄ͩ͛̑ͣͨ̓͂ͧ́̚͝ͅḛ̴̛̪̭ͬͫ̿ͤ̇͛̂̿̑̾̀̆̄̚̕͟ÿ̵̧̬̫̭́̍̑ͦ̇̾̎͗ͅ ̷̴̱̪̪̭͕̝͓̩̠̝̪̬̼̯̩̻̭ͨ͒̐͐̋ͦ͆ͩͤ̈́̽̔ͤ͋̊ͭ̕ͅͅĉ̨̼͕͔͉̖̹̰̠̫̭̞̼̤ͯ͂̎͗ͪ̌͐̑̂͌ͬͥ̄o̵̢̹̗̮̰̣̜̊ͥ͐̈̒͐̃ͧ̄m̷̡̬̦͕̙͕͇̜͓̤̮̺̦ͪ͂͋̒͋̅ͧͨͣ͛̓ͬ͗ͭ̈́̏͝ͅ 12:56:19 P̸̱͕͕̮̜̹̮̜͍͉͝ͅU̵͏҉̴͈̖͓͔̹̼̞̬̳̬͔͖͓͇͔D̢͓̭͈̀̀̀͝D̶͓̲͉̜͉̣̲̝͉̤͍̥͙̞͇̮̠͔͝Ì̡̡̲͉̥̩̘͟Ṉ̢̺͈̟̳̳͙͈͔̰̺̼̲̝͚͉̙̗̲͟G͎͓̥̼̰͎̝̫͕̪̺̥͎͎͇̱͎̕͘ ̶̛̲͍͙͇̦͇̯̰̫̹̱͞P̶҉͡҉͚͓̫̹̮͍̘Ǫ̶̶̭͔̰̩̺̯̮̣͓̼̟̯͡P̨͉̭̪̗̼͖̮͉͕̮͖ͅͅS̴͟͜҉̨̖̟͖͈͇̪̲͇͚̱̱͍̭̳͎͙.̴̛͙̞̞̩̩̬͖͓͞͞ ̡̩͍̪̙͝͡TÌ§Ì¢Í 12:56:30 wtf 12:56:51 PUDDING POPS. AUAHAAUA 12:56:58 P̵̡̞͈͕̹̒̐̀͛ͮ̿ͫͨ̑̈̿̊ͪ̈ͣ̾̎̑Ư̡̨͈͕̰̰̺̘̦̮̠̝͎̺̲ͪ̾ͨ̑ͨͫ̈́ͦ͋̈́͜͢D̵̡̻͎͙̜̖͍̩̩̩̙̫̜͊̈́ͦ̅̆̔̈ͨͮ͐̌͋̾̐̏̿ͥ̿́̀ͅD̶̛͇͈͈̹̰̬̖̝̞̻̲̦̠̳ͭͦ̄̎͛ͤ̋̅ͮ̔̈̌̓͆́ͣͩ͟Iͤͧ̽̇͠͏̶̮͍̻̻͕̞͕͞N̮͇͙̗͕͈̯̗̹͚͎̣̼̯̞̞̭̔̉͗̄̔ͭ̇̄ͯ̅ͥ͊͆̑ͦ̊͝ͅĢ̷̜̟̘͔͚̬͉̲̗̞̼̣͎̬̺͔̮̤̝͐ͥͫͫ͌͂̄ͭ̿ͩ͆̓̀̀̚͝ ̓̃ 12:57:01 -!- Destructible has quit (Quit: Page closed). 13:02:23 -!- Koen__ has quit (Remote host closed the connection). 13:05:31 -!- Destructible has joined. 13:05:35 I'm back 13:14:51 -!- Destructible has quit (Quit: Page closed). 13:16:18 Oooh, it looks like sin'(x) is the same as cos(x) 13:18:24 why put the ' there 13:20:13 derivative 13:20:25 cos'(x) is -sin(x) tho 13:20:44 it's a nice little pattern akin to exponentiating i 13:21:41 -!- Koen_ has joined. 13:22:26 sin'(x) = cos(x), cos(x)' = -sin(x), -sin'(x) = -cos(x), -cos'(x) = sin(x); similarly i^2=-1, i^3 = -i, i^4 = 1, i^5 = i 13:23:00 always thought it was a neat similarity 13:24:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 13:24:33 whichever community I join there's always a person called dingbat, it's remarkable 13:28:00 -!- Sgeo_ has quit (Ping timeout: 246 seconds). 13:33:49 -!- Etaoin has quit (Quit: Page closed). 13:36:39 -!- Koen_ has quit (Remote host closed the connection). 13:44:25 It's all because of circles. 14:19:02 -!- Koen_ has joined. 14:19:34 is it always the same dingbat? 14:35:57 -!- heroux_ has joined. 14:36:04 -!- heroux has quit (Read error: Connection reset by peer). 14:36:20 -!- heroux_ has changed nick to heroux. 14:47:54 -!- `^_^v has joined. 14:54:29 -!- Alcest has joined. 14:59:36 -!- oerjan has joined. 15:01:40 -!- Sgeo_ has joined. 15:14:02 -!- heroux_ has joined. 15:15:08 -!- heroux has quit (Ping timeout: 244 seconds). 15:15:12 -!- heroux_ has changed nick to heroux. 15:16:33 hm bitcoin bubble bursting 15:23:32 Again? 15:23:56 pop the balloons! 15:24:00 -!- spiette has joined. 15:25:18 A big balloon was popped here a while ago. 15:25:22 It made quite a bang. 15:25:55 (Apparently the ceiling has some pointy bits.) 15:26:02 oh it's approaching another halving... that may be fun to watch 15:27:18 -!- bradcomp has joined. 15:40:17 -!- iaglium has joined. 15:51:14 oerjan: dammit. couldnt it wait one more day? 15:51:44 were you going to sell 15:53:10 i was going to make a purchase. i had just barely enougb. now i have not enough. 15:53:49 :( 15:54:21 so i guess ill buy? 15:54:34 quintopia: don't worry, your GBP will also be worth either much more or much less than now tomorrow evening. 15:54:41 so the bitcoin isn't the only thing that changes 15:55:29 i have no GBP holdings 15:56:59 -!- Koen__ has joined. 15:59:02 -!- Koen_ has quit (Ping timeout: 244 seconds). 16:01:43 -!- Guest51928 has quit (Changing host). 16:01:43 -!- Guest51928 has joined. 16:01:48 -!- Guest51928 has changed nick to JX7P. 16:04:56 quintopia: the EUR holdings will also change somewhat, I think 16:09:31 There were people at the train stations wanting me to vote in a certain way. 16:09:47 One of them tried to give me an "I'm in" button. 16:10:48 -!- Koen__ has quit (Remote host closed the connection). 16:10:57 -!- bender has quit (Ping timeout: 250 seconds). 16:11:12 "EU referendum day live: Police called over conspiracy theory about voting with pens" 16:11:27 I saw that 16:11:28 it's absurd 16:11:38 "Social media claims that Remain supporters are trying to ‘rig’ the election by rubbing out votes cast in pencil led to Brexit supporter Jacqueline Jackson handing out pens at her local polling station in Chichester." 16:12:03 I've seen a properly implemented election process 16:12:19 there are multiple sets of eyes on the entire contents of the ballot box from the moment it's opened 16:12:32 and the box itself is in plain sight throughtout the day 16:15:09 <\oren\> When do the results get tallied on TV? 16:15:26 b_jonas: i have none 16:16:50 <\oren\> I have about 600 pounds in a jar somewhere 16:17:11 <\oren\> and about the same of Euros 16:17:51 <\oren\> because we never rember to change currencies at the airport 16:18:12 i took out 300 euros for a holiday just now but i suppose if brexit happens i can make a profit on them 16:19:23 \oren\: They said the result's likely known at around 6-7am Friday local time. 16:19:33 the official final result 16:19:46 It's going to start dribbling in before that, of course. 16:19:49 the outcome may be clear earlier based on incoming polls 16:19:52 my bet's on Remain 16:20:43 my favourite thing about the pencil thing is 16:20:49 I don't have a bet, but I'd like it to be that. Of course nobody's asked me, and I'm one of those people the other camp would presumably want to keep out, so. 16:21:07 you can just scribble out a cross written in pen and put a cross in the other box 16:21:14 and that'll be interpreted as a clear preference anyway 16:21:41 <\oren\> Hmm? in Canada you have to fill the entire square 16:21:51 -!- Koen_ has joined. 16:21:53 apparently in the western isles they once had a ballot with 'wank' written next to all of the candidates except for the snp one who had 'good guy' written there 16:22:03 and that was considered clear enough to be counted 16:22:12 In Finnish elections, you type in a number inside a giant circle. The polling stations have a sample sheet of how to write numbers on the wall. 16:22:31 <\oren\> Phantom_Hoover: LOL 16:22:48 Phantom_Hoover: lol 16:22:49 http://static.liljat.fi/uploads/2012/10/melissa-mantyla-endorses-lilja-tamminen-finnish-ballot-helsinki-municipal-elections.jpg <- looks like that. 16:22:55 that wouldn't fly here in canada 16:23:04 in canada you can do anything you want as long as you mark in exactly one of the circles 16:23:10 any markings in multiple circles invalidate it 16:23:16 i saw a duck once 16:23:21 it was counted as a valid vote 16:23:55 I believe they're very picky back in Finland, I think many extra things like doodling on the card would invalidate a vote. 16:23:56 ??? so you can't correct your own vote? 16:24:08 Phantom_Hoover: you can go back to the DRO and ask for a new ballot 16:24:16 ah 16:24:30 in which case the previous ballot is crossed out, marked as invalidated, and put into a separate envelope to keep it from being counted 16:24:34 and you get a new one 16:24:38 you can only do that once though iirc 16:25:00 no in the UK it's a pretty informal thing, i think basically they put all the spoilt ballots in a big pile and then the representatives of each party haggle over what gets counted for whom 16:25:10 Phantom_Hoover: in theory that can happen here 16:25:18 in practice it's pretty rare since the rules are generally quite clear 16:26:40 You can request a new ballot in Finland as well, if you screw up. The instruction booklet says they'll rip up the bad one. 16:27:01 Or possibly you do. It's in passive voice, and just says the ripping will be done so that the officials see it. 16:28:06 Ooh, there's a 7-point list in the law as to what sort of markings actually invalidate a vote. 16:28:15 <\oren\> coppro: Really? I thought you had to completely fille whichever box you wnat and do nothing in the other boxes? 16:28:29 1) There's more than one ballot, or something else in addition to the ballot in the envelope. 16:28:52 2) There's any markings in the *envelope*. 16:29:11 3) The ballot is some other piece of paper than the one printed by the government. 16:29:18 4) The stamp is missing. 16:29:39 Phantom_Hoover, that's what happened when I was involved in the youth parliament, I think on the basis that it would be similar to actual parliament 16:29:41 5) The candidate number isn't clear enough to unambiguously say who it meant. 16:30:22 6) The ballot has the voter's name on it, or a recognizable mark, or "other irrelevant markings". 16:30:33 7) The candidate number isn't valid. 16:31:00 But apparently if you do additional markings to clarify who you meant to vote for (I guess maybe the candidate name) that's okay. 16:31:06 Phantom_Hoover, I lost a vote because someone had put a tick in my box and a cross in all the other boxes 16:33:45 The way it works in Finland, you fold the ballot so that the number's not visible, bring it to the desk, the officials stamp it, then you put it in the box. It felt weird to vote here because the ballot wasn't of the folding kind. 16:33:46 Taneb, was that not a unique identifying mark for you? 16:34:07 Phantom_Hoover, no, on the basis that a cross is the recommended mark to make for the candidate you wanted to vote for 16:34:56 @tell boily the USPS website doesn't like your city or province to be spelled correctly. (maybe their system just can't represent "é") 16:34:56 Consider it noted. 16:34:59 wait what? what would you normally vote with, if not pens? 16:35:18 Taneb, but could you not argue that in that situation that they still clearly expressed a preference? 16:35:37 b_jonas, the polling stations provide pencils 16:35:54 Phantom_Hoover, not, like, when I was 15 16:36:05 Taneb, this is why you never got ahead in politics 16:36:08 And I won the election by a landslide anyway 16:36:12 " you can just scribble out a cross written in pen and put a cross in the other box / and that'll be interpreted as a clear preference anyway / apparently in the western isles they once had a ballot with 'wank' written next to all of the candidates except for the snp one who had 'good guy' written there" 16:36:59 what? we have RULES for that sort of thing. you vote by putting a cross or plus sign in any single circle. if you put marks in more than one circle, it's an invalid vote. 16:37:22 and that's even written clearly in the instructions hung on the wall in election places. 16:37:35 Phantom_Hoover, also, like, I'm really not an assertive chap 16:37:39 I'd be terrible in politics 16:37:49 and they always give you ballpoint pens, not pencils. 16:37:57 b_jonas, the rules are basically the same here but they allow for counting votes if all the interested parties agree on the interpretation 16:39:20 " there are multiple sets of eyes on the entire contents of the ballot box from the moment it's opened" => exactly, and that's necessary too, because without that, someone who can write on the slips could just void a vote by marking multiple circles (that doesn't change it to a different valid vote, but still changes the count) 16:40:44 " Phantom_Hoover: you can go back to the DRO and ask for a new ballot" => this, yes 16:42:23 can someone explain me why this is useful? 16:42:26 # define pipe(v) ((socketpair(AF_UNIX,SOCK_STREAM,0,v)<0||shutdown((v)[1],SHUT_RD)<0||fchmod((v)[1],S_IWUSR)<0||shutdown((v)[0],SHUT_WR)<0||fchmod((v)[0],S_IRUSR)<0)?(-1):0) 16:42:27 @tell boily if the UK leaves I have a backup plan 16:42:27 Consider it noted. 16:42:55 redefining pipe to use socketpair + shutdown x2 + fchmod x2 16:43:31 there was no comment around that in the source 16:44:47 izabera: I think that was for older Linux systems where a pipe had a kernel buffer with its size hard-fixed to some too small value, whereas a stream socketpair provides similar semantics and has a larger buffer by default and you can change its buffer size. 16:45:05 izabera: if the buffer is too small, that could cause too many process switches when large data is sent. 16:45:19 interesting 16:45:23 izabera: this is no longer a problem (on Linux), because these days Linux uses a larger buffer for a pipe 16:45:45 izabera: Windows 7 uses a small buffer by default but they have an OS-specific way to change that. 16:45:53 per pipe-pair that is. 16:46:49 izabera: the fchmod looks pretty stupid though 16:46:56 Taneb, does it involve fucking off to the netherlands? 16:47:04 i didn't write it 16:47:16 afaik the author is david korn 16:48:24 izabera: sure, I'm just saying 16:49:52 `wisdom 16:49:55 `? pipe 16:49:57 `wisdom 16:50:03 wisdoom 16:50:24 `? wisdoom 16:50:49 No output. 16:50:50 This is not a pipe. 16:50:58 procrastination//The Procrastination is destined to rule the world... right after watching this last funny cat clip on youtube. 16:50:59 Wisdoom is realizing just too late how you could have avoided your demise. 16:52:37 `? wisdom 16:52:39 wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 16:52:41 `? wisdom 16:52:43 wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 16:52:44 `? wisdom 16:52:46 wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 16:52:46 oh 16:52:48 `wisdom 16:52:51 auto//Auto is the German word for car. 16:52:54 `wisdom 16:52:56 superexponential growth//Superexponential growth? SUPEREXPONENTIAL GROWTH?! HOLY CRAP!!! 16:52:57 `? char 16:52:59 `wisdom 16:53:00 Char is a prominent component of charcoal. 16:53:01 log//I think you might mean !logs 16:53:09 `wisdom 16:53:11 enrichment centre//The Enrichment Center regrets to inform you that this next test is impossible. 16:57:56 I have this superexponential growth under my armpit 16:58:13 <\oren\> Stupid Expensify is malfunctioning 17:06:00 If a tree falls in a forest, does it create a log? 17:06:27 @tell \oren\ in http://www.orenwatson.be/verne.htm , in the cyphered version, on the top row second block, you're missing on the top row second block, you're missing <-- i'm sure that cleared things up. 17:06:59 fizzie: does it fall publicly in the channel? 17:07:12 `? #esoteric 17:07:13 ​#esoteric is the only channel that doesn't exist. After monqy left it became slightly off-centër. It's about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. May contain crude drawings of nuts. 17:09:20 -!- Frooxius has quit (Quit: *bubbles away*). 17:09:36 -!- Frooxius has joined. 17:17:38 `? priviledge 17:17:40 priviledge? ¯\(°​_o)/¯ 17:20:05 -!- oerjan has quit (Quit: Later). 17:25:45 Phantom_Hoover, basically, yeah 17:29:29 i need an address where it's possible to write without damaging the system, but outside my address space 17:33:43 <\oren\> on what platform? 17:33:54 linux 17:33:59 x86_64 17:38:09 <\oren\> From user mode, writing anywhere in kernel space won't damage the system. 17:38:48 <\oren\> you'll get a segfault (damaging your own process) but the rest of the system won't be affected 17:39:24 <\oren\> for example, 0xFFFFFFFFFFFFFFFF is an adress in kernel space 17:41:11 good thanks 17:43:02 -!- Kaynato has joined. 17:47:49 -!- Koen__ has joined. 17:50:07 -!- Koen_ has quit (Ping timeout: 244 seconds). 18:21:23 <\oren\> Apparently ROFL is obsolete, superseded by ROLF 18:21:56 Rolling on the laughing floor? 18:27:45 <\oren\> I think they changed the order so you can pronounce it in one syllable 18:29:11 rolling on, laughing furiously 18:30:20 Red, Orange, Lleyow, Flue 18:30:25 Colours of the rainbow 18:31:39 but without color codes? 18:31:55 uh oh, Taneb's tanebventing again 18:32:16 Nah, I'm on holiday 18:33:43 but still venting 18:34:29 `? nitia 18:34:33 nitia is the inventor of all things. The BBC invented her. 18:34:40 `? bbc 18:34:42 The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets and tiny elfs. Taneb invented it. 18:35:07 <\oren\> `? breadbox 18:35:08 breadbox? ¯\(°​_o)/¯ 18:35:10 `? invention 18:35:11 invention? ¯\(°​_o)/¯ 18:35:27 <\oren\> `? kernel 18:35:28 kernel? ¯\(°​_o)/¯ 18:35:36 <\oren\> `wisdom 18:35:38 blank// 18:35:42 <\oren\> `wisdom 18:35:43 fnord//? ¯\(°​_o)/¯ 18:35:50 <\oren\> `wisdom 18:35:52 phantom_______hoover//It doesn't get any better than this. 18:36:00 <\oren\> `wisdom 18:36:04 certainly//We don't know what certainly is for sure, but at least it isn't a functor. 18:36:11 <\oren\> `wisdom 18:36:12 russia//Russia is a country so huge it manages to be so near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it. 18:36:29 <\oren\> `wisdom 18:36:31 persistence//Taneb invented persistence long ago, and it's been around ever since. 18:36:36 <\oren\> `wisdom 18:36:37 fentimans//fentimans is a delicious beverage out from Hexham, that can be paired with a fresh fternooner for a nutritive midday snack. 18:37:30 `? japan 18:37:32 Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's many fewer miles from Vietnam than Finland is. 18:38:12 <\oren\> `? finland 18:38:14 Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus. 18:38:27 <\oren\> `? canada 18:38:29 Canada is Big Scotland. Like, you know, very big. 18:38:53 <\oren\> I still think Canada should join the EU 18:39:13 I think Australia should join the EU. 18:39:15 Scotland should leave the UK and join the EU. 18:39:19 With Eurovision, they're already halfway there. 18:39:41 fizzie, if the UK stays in, Australia joins, and I do my backup plan anyway... 18:39:45 I'll be three EU citizens 18:39:49 <\oren\> Maybe after Brexit they'll let us join as a more polite version of Britain 18:40:14 only if you get rid of Quebec 18:40:23 One France is enough for the EU. 18:40:34 int-e, Wallonia? 18:41:00 <\oren\> Quebec might separate after being inspired by Britain 18:41:05 <\oren\> or Scotland 18:44:46 <\oren\> Or maybe I'll start a revolution to make Toronto an independent City-state 18:45:10 <\oren\> the rest of ontario would heartily support us 18:45:23 -!- Koen__ has quit (Remote host closed the connection). 18:59:23 \oren\: eh what? 19:00:25 \oren\, I believe there is a similar campaign for London, England 19:01:16 oerjan: was it truncated like that or something? 19:02:29 \oren\: anyway, http://www.orenwatson.be/verne.htm has a bug: in the cyphered part, top row middle block " ᛅᛋᛣᚢᛅᛚ " is wrong, iw should be " ᛅᛋᛣᛅᚢᛅᛚ " so that the E of "descende" is included; 19:04:39 \oren\: that letter is present in the book 19:06:46 <\oren\> Fixed 19:08:53 \oren\: it's still missing in the latin transcription of the cyphered block on http://www.orenwatson.be/verne.htm 19:09:53 <\oren\> fixed that 19:13:43 \oren\: good. I also suggest that you include the French translation form the novel 19:13:52 for completeness 19:17:02 -!- augur has joined. 19:19:14 -!- Koen_ has joined. 19:20:46 <\oren\> ok. 19:32:05 `? taneb 19:32:08 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 with dodgy SHIFT KEys, cube root of eight genders, and above average, not too voluminous, but calm eyebrows. (See also: tanebventions) 19:32:37 > 8**(1/3) 19:32:39 2.0 19:47:10 <\oren\> > e**(pi*i) 19:47:12 e**(pi * i) 19:47:22 <\oren\> boo 19:48:13 <\oren\> > math::e**(math::pi*math::i) 19:48:14 :1:24: parse error on input ‘::’ 19:48:19 <\oren\> argh 19:49:39 <\oren\> > Fractional.e(Fractional.pi) 19:49:41 Not in scope: ‘Fractional.e’Not in scope: ‘Fractional.pi’ 19:50:40 <\oren\> > pi 19:50:42 3.141592653589793 19:50:45 <\oren\> > e 19:50:46 e 19:50:55 <\oren\> > exp(pi) 19:50:57 23.140692632779267 19:51:01 <\oren\> > exp(pi*i) 19:51:03 exp (pi * i) 19:51:47 <\oren\> > exp(pi*(0:+1)) 19:51:49 (-1.0) :+ 1.2246467991473532e-16 19:51:57 -!- S1 has joined. 19:52:05 <\oren\> Uh... 19:52:54 <\oren\> > exp(1)**(pi*(0:+1)) 19:52:55 (-1.0) :+ 1.2246467991473532e-16 19:53:35 <\oren\> > exp(1)**pi**(0:+1)) 19:53:36 :1:19: parse error on input ‘)’ 19:53:38 <\oren\> > exp(1)**pi**(0:+1) 19:53:39 0.9271380752254357 :+ 1.1941162626914863 19:54:06 <\oren\> > (exp(1)**pi)**(0:+1) 19:54:08 (-1.0) :+ 1.2246467991473532e-16 19:54:12 <\oren\> ARGH 19:54:58 <\oren\> ever heard of precedence rules Haskell!?!?@? 19:55:34 What's the issue? 19:55:45 ** is infixr, so a**b**c = a**(b**c) 19:55:48 Which is what you want. 19:56:15 also function application is written "f x", not "f(x)" hth 19:56:24 <\oren\> It's not doing euler right 19:57:09 <\oren\> > (exp 1)**(pi*(0:+1)) 19:57:11 (-1.0) :+ 1.2246467991473532e-16 19:57:19 That looks right to me. 19:57:20 -!- impomatic has joined. 19:57:36 <\oren\> also it doesn't have i or e as constants 19:57:47 -!- spiette has quit (Ping timeout: 260 seconds). 19:58:00 It has exp, which is what you're doing anyway. 19:58:35 > exp (pi * (0 :+ 1)) :: Complex CReal 19:58:36 (-1.0) :+ 0.0 19:58:55 shachaf: do you mean exp (0 :+ pi) 19:58:57 <\oren\> WAT 19:59:26 b_jonas: that works too 19:59:42 i was just copying \'s expression from above hth 19:59:46 <\oren\> Was it doesng integers not reals by default or something? 20:00:17 <\oren\> > (exp (0:+pi)) 20:00:18 (-1.0) :+ 1.2246467991473532e-16 20:00:36 <\oren\> > exp(0:+pi) :: Real 20:00:38 Expecting one more argument to ‘Real’ 20:00:38 Expected a type, but ‘Real’ has kind ‘* -> Constraint’ 20:00:38 In an expression type signature: Real 20:00:43 <\oren\> > exp(0:+pi) :: CReal 20:00:44 Couldn't match expected type ‘CReal’ 20:00:45 with actual type ‘Complex Double’ 20:00:45 In the first argument of ‘exp’, namely ‘(0 :+ pi)’ 20:00:54 <\oren\> > exp(0:+pi) :: Complex 20:00:56 Expecting one more argument to ‘Complex’ 20:00:56 Expected a type, but ‘Complex’ has kind ‘* -> *’ 20:00:56 In an expression type signature: Complex 20:01:08 <\oren\> > exp(0:+pi) :: Complex Double 20:01:09 (-1.0) :+ 1.2246467991473532e-16 20:01:15 <\oren\> > exp(0:+pi) :: Complex CReal 20:01:17 (-1.0) :+ 0.0 20:01:32 It was using floating point values by default. 20:01:54 <\oren\> What is a Creal? 20:02:03 <\oren\> @hoogle CReal 20:02:05 No results found 20:02:12 <\oren\> WAT 20:02:59 `? CReal 20:03:05 CReal? ¯\(°​_o)/¯ 20:03:09 @kind CReal 20:03:11 * 20:04:02 i need help with a linux thingy 20:04:38 http://lxr.free-electrons.com/source/net/socket.c#L1584 this is the getpeername() syscall 20:05:09 it calls move_addr_to_user() 20:05:14 which is here http://lxr.free-electrons.com/source/net/socket.c#L216 20:06:03 -!- jaboja has joined. 20:06:12 move_addr_to_user checks if it can write to the sockaddr* and returns -EFAULT if it can't 20:06:42 but it doesn't check if it can write to the socklen_t* argument in getpeername() 20:07:05 it's in line 240: return __put_user(klen, ulen); 20:07:29 <\oren\> #define fasle false 20:07:41 what's that 20:08:21 i tried to test if this can write outside my address space, but i can't 20:08:32 and it's probably my test that's not working 20:08:44 izabera: doesn't the __put_user macro check that? 20:08:46 or function 20:08:50 whichever 20:08:51 nope 20:09:15 click on it and you can see its definition 20:09:28 izabera: how about the get_user function in line 223 then? 20:10:34 -!- spiette has joined. 20:10:40 that's getting the value 20:11:10 oh i see what you mean 20:11:16 izabera: right, but it gets the value from user space, so the field is already known to be at least readable 20:11:33 the get_user ensures it's in user-space 20:12:17 izabera: and __put_user ensures it's writable 20:12:21 together the two should be enough 20:23:34 -!- jaboja has quit (Ping timeout: 244 seconds). 20:32:41 i've been looking at get_user for a while and i don't see where it checks if it can access that 21:09:34 izabera: it has to check that the address is in user space, not kernel space, which is just a single comparison with a very fixed address (the linear address space is partitioned that way on Linux), then after that, it has to check if the address is readable _for the kernel_. 21:11:49 it never checks if it's in that process' address space 21:12:06 correct? 21:12:07 izabera: there's only one process mapped at a time, even in kernel mode 21:12:13 it doesn't have to check which process 21:12:17 ok 21:13:14 so what happens if i pass an address that's in userspace but not where i can write? 21:14:00 izabera: then the read will succeed, but the write will fail, and so the syscall will give you an EFAULT 21:15:11 izabera: both for the read and write, after checking if it's in the user half of the address space, the kernel normally has to just attempt the memory read or write, and it will get a fault if it fails, which fault it might handle (eg. by loading from a swap device) or it might be a hard error, in the latter case the syscall will give EFAULT. 21:15:20 -!- jaboja has joined. 21:16:11 oh it is returning efault now 21:16:26 i don't know what i did before but it returned 0 21:22:06 A man was at the railway station shouting how many minutes until the polls close. They're certainly very enthusiastic. 21:24:40 fizzie: yes, only 35 minutes now, so be quick and vote, everyone! 21:27:31 -!- JX7P has quit (*.net *.split). 21:27:31 -!- atehwa has quit (*.net *.split). 21:27:32 -!- catern has quit (*.net *.split). 21:27:32 -!- rodgort has quit (*.net *.split). 21:27:32 -!- shikhin has quit (*.net *.split). 21:27:32 -!- staffehn has quit (*.net *.split). 21:27:32 -!- Lymia has quit (*.net *.split). 21:27:32 -!- carado has quit (*.net *.split). 21:27:32 -!- quintopia has quit (*.net *.split). 21:27:41 -!- quintopia has joined. 21:27:43 -!- shikhin has joined. 21:28:08 -!- IRIXUser has joined. 21:28:14 -!- rodgort has joined. 21:28:31 -!- IRIXUser has changed nick to Guest78438. 21:29:09 -!- staffehn has joined. 21:29:31 -!- carado has joined. 21:30:10 -!- Lymia has joined. 21:30:32 -!- incomprehensibly has quit (Ping timeout: 258 seconds). 21:30:45 -!- catern has joined. 21:31:41 -!- ocharles has quit (Ping timeout: 258 seconds). 21:33:41 -!- atehwa has joined. 21:39:39 -!- ocharles has joined. 21:41:02 <\oren\> 18 minutes left?!?@? 21:42:26 <\oren\> Oh Boris is at the polling station 21:42:45 Did he take one of his bikes to get there? 21:43:12 <\oren\> I dunno, he was with some woman 21:45:18 Do they have tandem Boris bikes? I guess not. 21:45:36 "Mayor of London under fire for £500 tandem Boris Bike royal wedding gift" 21:45:40 I stand corrected. 21:46:11 -!- incomprehensibly has joined. 21:46:40 ^celebrate 21:46:40 \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/ 21:47:28 This is less of a celebration without the other rows. 21:48:59 <\oren\> wat happen to the bot that added legs? 21:49:26 myndzi isn't a bot 21:49:31 `? myndzi 21:49:56 myndzi used to keep us all on our feet. 21:50:02 hah 21:50:08 `culprits wisdom/myndzi 21:50:09 -!- adu has joined. 21:50:25 oerjan oerjan oerjan elliott Bike FreeFull oerjan 21:50:48 <\oren\> shachaf: WAT 21:52:26 <\oren\> so he was simply a person with a custom script in his irc client? 21:53:19 Who isn't ;-) 21:55:06 <\oren\> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA 21:56:42 <\oren\> The bots are a lie! 21:57:03 fungot, are you a bot 21:57:03 Taneb: i just found that you can actually have a process started 21:57:29 fungot is semisentient too 21:57:29 int-e: question is, what are the puzzles? i'm not sure how 21:57:39 eerily so, sometimes 21:57:45 int-e: you should add me to the lambdabot admin list twh 21:57:48 -!- Guest78438 has quit (Changing host). 21:57:48 -!- Guest78438 has joined. 21:57:51 -!- Guest78438 has changed nick to JX7P. 22:09:31 <\oren\> `relcome JX7P 22:09:36 ​JX7P: 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.) 22:16:37 -!- S1 has quit (Quit: S1). 22:23:20 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:25:08 -!- `^_^v has joined. 22:26:00 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:26:04 -!- adu has quit (Quit: adu). 22:49:25 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:18:52 fungot, you're back! 23:18:53 b_jonas: r5rs gives some guidelines as to what a child with down syndrome could understand. i'm interested about it fnord ahead :) negative array indexes and computed gotos 23:19:10 computed come froms are better 23:19:13 `? come from 23:19:15 come from? ¯\(°​_o)/¯ 23:29:58 -!- bradcomp has quit (Quit: Page closed). 23:33:52 -!- jaboja has quit (Ping timeout: 272 seconds). 23:34:40 -!- boily has joined. 23:45:06 -!- oerjan has joined. 23:45:09 -!- jaboja has joined. 23:45:54 -!- asie has quit (Ping timeout: 272 seconds). 23:46:31 fungot: nostril. 23:46:31 boily: and this is not a primitive name in: atom?? gdbm-ci? null? list)... 23:46:38 @massages-loud 23:46:38 quintopia said 7h 11m 41s ago: the USPS website doesn't like your city or province to be spelled correctly. (maybe their system just can't represent "é") 23:46:38 Taneb said 7h 4m 11s ago: if the UK leaves I have a backup plan 23:47:02 @tell quintopia Montreal and Quebec are perfectly fine hth 23:47:02 Consider it noted. 23:47:48 @ask Taneb so you're moving to Canada? 23:47:48 Consider it noted. 23:48:02 @tell boily No, the Netherlands 23:48:02 Consider it noted. 23:49:11 -!- asie has joined. 23:50:16 Tanelle. that's not Canada hth 23:50:19 yá'át'ééhoily 23:50:34 navajo? 23:51:05 ma'loerjan ak'ab 23:52:21 boily, I'm almost eligible for Dutch nationality 23:52:44 And I don't want to go from University of York to York University 23:53:10 Dutch Nationality Exam: [ ] Do you speak Dutch [ ] Can you bike [ ] Black licorice tastes good 23:54:24 "ngevd" is dutch for "taneb", right? 23:55:03 Taneb: I thought you were going to move to the United States. 23:55:34 So you could buy some health insurance. 23:55:50 shachaf, I think I already have health insurance 23:56:04 boily, No, Sort of, In Moderation 23:56:55 Taneb: You probably didn't pay enough for it, though. 23:56:58 You get what you pay for. 23:59:00 boily: maya (grmbl, you almost got me there)