00:00:02 <hppavilion[1]> Wow. I can feel the bullshit oozing out of http://www.biscmi.org/wp-content/uploads/2015/05/Miller2001.pdf
00:00:58 <hppavilion[1]> "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 <hppavilion[1]> 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:08:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
00:17:37 <oerjan> whatever else nonsense hagb4rd says, he _is_ right that i check out many newcomers to see if they're him.
00:18:13 <oerjan> perhaps a bit too much. i don't think Etaoin was very likely, anyway.
00:48:06 <quintopia> 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 <boily> maybe *I* am hagb4rd!
01:00:16 * boily shudders at the thought
01:01:05 -!- Frooxius has quit (Ping timeout: 244 seconds).
01:02:38 -!- augur has joined.
01:03:07 <quintopia> boily: your secret is safe with no one!
01:03:31 <quintopia> did you ever see that thing: http://www.bouldertherapist.com/html/humor/MentalHealthHumor/panexa/panexa.html
01:04:36 <quintopia> oh...wait...oerjan is hagb4rd! sneaky.
01:16:04 <quintopia> i wonder where boily and oerjan went
01:16:25 <lambdabot> (Integral a, Applicative f, Choice p) => p a (f a) -> p String (f String)
01:24:28 -!- xkapastel has joined.
01:24:45 <boily> quintopia: requinthellopia! I was on the phone with various persons of familial interest.
01:24:51 <boily> `relcome xkapastel
01:24:55 <HackEgo> xkapastel: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
01:25:14 <xkapastel> HackEgo celebrating pride week, i see
01:26:36 <quintopia> 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 <quintopia> anyway, if you don't like rainbows xkapastel
01:27:14 <HackEgo> xkapastel: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (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 <quintopia> i am watching this channel and one other
01:29:45 <HackEgo> XkApAsTeL: wElCoMe tO ThE InTeRnAtIoNaL HuB FoR EsOtErIc pRoGrAmMiNg lAnGuAgE DeSiGn aNd dEpLoYmEnT! fOr mOrE InFoRmAtIoN, cHeCk oUt oUr wIkI: <HtTp://eSoLaNgS.OrG/>. (FoR ThE OtHeR KiNd oF EsOtErIcA, tRy #EsOtErIc oN EfNeT Or dAlNeT.)
01:32:15 <boily> re PANEXA: I think I'm not a squirrel, so I should be fine.
01:36:36 <quintopia> have you ever seen a pregnant woman? there are side effects for those who are aware of the concept of pregnancy
01:37:21 <boily> solipsism precludes having seen pregnant women hth
01:38:20 <quintopia> 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 <quintopia> i'm trying to figure out what to label it on the customs form
01:39:04 <quintopia> you think they'll let "soda" pass?
01:39:25 <boily> it's carbonated, it's in a bottle, therefore it's a duck.
01:40:19 <quintopia> i don't think the type of container is essential to duckitude
01:40:45 <quintopia> (shipping animals internationally is definitely not allowed though)
01:41:17 <boily> shipping animal products either...
01:41:41 <boily> one day, one day I'll be able to enjoy strömming...
01:43:17 <quintopia> shipping liquids is surely okay though?
01:43:27 <quintopia> i've done it before, but i'm not sure whether i was open about it
01:47:37 -!- hppavilion[1] has joined.
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 <hppavilion[1]> https://en.wikipedia.org/wiki/Fictional_planets_of_the_Solar_System#Trans-Neptunian_planets should list "Pluto"
02:06:20 <quintopia> TIL: Gordon Freeman is named for Freeman Dyson
02:09:37 <FreeFull> hppavilion[1]: Pluto is a real body though
02:10:14 <FreeFull> It was classified as a planet before, now it's classified as a dwarf planet
02:10:25 <FreeFull> Just because its classification changed doens't make it fictional
02:11:20 <hppavilion[1]> 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 <shachaf> boily: digital dentistry? you must have thing fingers hth
02:21:04 <oerjan> . o O ( boily is edward scissorhands )
02:25:20 <oerjan> wait, how have i not noticed that intensional and intentional are different words
02:25:40 <oerjan> ...i suppose they would be identical in norwegian
02:25:50 <shachaf> 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 <oerjan> (assuming you don't know, norwegian tends to convert all the latin suffixes -{s,t,ss}ion into -sjon
02:31:36 <shachaf> oerjan: is that conversion intenssional?
02:32:48 <oerjan> i don't think you can have -ssion except after a vowel, anyway, hth
02:33:09 <oerjan> oh and -xion -> -ksjon
02:33:50 <shachaf> `` grep '[^aeiou]ssion' share/dict-words
02:34:05 <HackEgo> 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 <shachaf> `slwd oerjan//s#ssion#sjon#
02:34:37 <HackEgo> 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 <oerjan> that's indeed a norwegian word.
02:35:41 <oerjan> i think it's rarely used in that context though.
02:37:22 <shachaf> `` grep '[aeiou]ssion' share/dict-words
02:37:25 <HackEgo> 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 <shachaf> `slwd oerjan//s#rd#rd commisjoner#
02:37:33 <HackEgo> 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:44 <oerjan> hate something with a passion ~ hate noe intenst, i think.
02:38:10 <shachaf> presumably "noe" is "noel" spelled with no el
02:38:45 <oerjan> commissioner = kommisjonær hth
02:39:01 <shachaf> `slwd oerjan//s#commisjoner#kommisjonær#
02:39:05 <HackEgo> 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 <oerjan> or the norwegian word for something
02:39:24 <shachaf> i thought you new norwegian
02:41:33 <oerjan> or possibly "kommisær". "There is some confusion between commissioners and commissaries, because other European languages use the same word for both."
02:43:39 <oerjan> ...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 <coppro> a commissary is someone in charge of materiel, iirc
02:50:38 <coppro> 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 <oerjan> hm i think long open reddit tabs leak my cpu...
03:38:39 <\oren\> remeber to pkill -9 chrome regularly
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 <oerjan> 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 <izabera> 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 <pikhq> Clients terminate the list of headers with "\r\n\r\n".
07:18:52 <pikhq> (i.e. a blank line after the headers)
07:18:59 <pikhq> Content in the request, if any, follows.
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: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 <hppavilion[1]> 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:08:02 -!- sebbu has quit (Quit: reboot).
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: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: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:46 <^v> <^v> hppavilion[1], multiple cameras?
08:49:46 <^v> <hppavilion[1]> ^v: *sigh* no
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 <hppavilion[1]> ^v: Your reference to phishing puts you on the FBI watchlist; we'll need to collect a fine
08:57:07 <hppavilion[1]> ^v: Please send USD$5,200 to BTC:1JrY2sCDAQuRPdqshZFxfiuQ32Uexmc6so
08:58:53 -!- sebbu has joined.
08:59:40 -!- Destructible has joined.
08:59:59 <^v> Destructible, hello
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:40 <^v> the language is based on my name
09:04:22 <Destructible> so, the main distinguishing feature of this lang is twofold
09:04:59 <Destructible> Variables are functions. Variable/functions are numbers
09:05:43 <Destructible> Variable values cannot be accessed: There are no conditionals, or accessing of values.
09:06:28 <^v> hppavilion[1] is going to copy a brainfuck derivative
09:08:25 <Destructible> so, every program is a base seven number, however it uses specific characters for each digit: +, for example
09:08:58 <Destructible> 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:10:00 <^v> unintuitive, but not limiting
09:10:47 <Destructible> 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:13:16 <Destructible> This language is one of the most reflective lanugages
09:13:48 <Destructible> Functions are not declared, they are assumed to exist at all times, and are simply modified
09:14:49 <Destructible> Oh, I just had an idea for how to implement a conditional substitution.
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:50 <HackEgo> [U+3370 IDEOGRAPHIC TELEGRAPH SYMBOL FOR HOUR TWENTY-FOUR]
09:42:49 <b_jonas> @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:44:03 <b_jonas> This channel is silent now because all the Brits are in the voting rooms, right?
09:44:28 <b_jonas> (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:58:01 -!- Destructible has quit (Quit: Page closed).
09:58:22 -!- Destructible has joined.
10:05:58 -!- xkapastel has quit (Quit: Connection closed for inactivity).
10:13:28 -!- Destructible has quit (Quit: Page closed).
10:19:49 <Cale> `? new albumen
10:20:06 <Cale> `thanks thanks
10:20:21 <nortti> `run cat $(which thanks)
10:20:22 -!- Phantom_Hoover has joined.
10:20:23 <HackEgo> #!/usr/bin/perl -CSDA \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Thanks, $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/Th/; } else { s/^./T/; } print "$_.";
10:40:47 -!- MoALTz has quit (Quit: Leaving).
10:41:26 <HackEgo> file="bin/$1"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done
10:42:40 <fungot> Thanks, banks. Thanks.
10:42:48 <fungot> >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 <shachaf> i was going to use stylist to insult someone by calling them a pig
10:42:57 <shachaf> which i guess is a popular insult
10:43:14 <shachaf> but then i didn't want to insult anyone
10:43:44 <fizzie> All the trains are being wonky. :/
10:44:03 <shachaf> you know who wants to hear about wonky trains
10:44:34 <Taneb> fizzie, yeah, apparently the underground flooded?
10:44:39 <fizzie> "Poor weather in the south of England is causing disruption to South West Trains services. Passengers are advised not to travel."
10:44:58 <fizzie> Taneb: I haven't even gotten that far yet.
10:45:36 <Taneb> Luckily a) I am not planning to travel today, and b) I'm very much not in the south of England
10:46:05 <b_jonas> `8-ball Is the underground flooded?
10:46:10 <b_jonas> `8-ball Have you voted yet?
10:46:11 <shachaf> Except I'm planning to travel to San Francisco today.
10:46:23 <Taneb> shachaf, well, I'm not in the south of England, and you're not in the south of England
10:46:24 <shachaf> fizzie: What kind of flour do I use?
10:46:34 <shachaf> Taneb: let's call the whole thing of
10:46:59 <fizzie> District line from the Wimbledon direction would've been my fallback option for these trains, but apparently that's indeed flooded.
10:47:01 <Taneb> shachaf, I'll call it off when I find someone who says potato like that
10:47:38 <shachaf> b_jonas: What protein content?
10:49:30 <shachaf> «Flours between 90 and 160 W are called "weak flours".»
10:49:38 <shachaf> I never considered the wattage of my flour before.
10:50:26 -!- Destructible has joined.
10:51:09 -!- MoALTz has joined.
10:51:19 <lambdabot> 0. SamB: A way to get multiple results from a google search
10:51:19 <lambdabot> 1. dons: improve formatting of @dict
10:51:19 <lambdabot> 3. lispy: don't let lambdabot's prettyprinter split the sequence @foo across lines
10:51:19 <lambdabot> 4. TheHunter: priviledged users should get priviledged listcommands.
10:55:56 <Cale> ;___; such nostalgia
10:55:59 <int-e> that list must be a decade old
10:56:17 <lambdabot> 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 <lambdabot> 8. dcoutts: implement @cool list, as a clone of the @todo(-add) commands
10:56:17 <lambdabot> 9. dons: there's some bug in the 'when i left' code of @seen
10:56:46 <lambdabot> unexpected end of input: expecting number, "d" or "("
10:57:24 <Cale> haha, good eye
10:57:34 <int-e> I know the parse error :)
10:57:51 -!- Destructible has quit (Quit: Page closed).
11:02:51 -!- Koen_ has joined.
11:06:51 <b_jonas> `bardsworthlist 2016-06-23
11:06:54 <HackEgo> bardsworthlist 2016-06-23: b_jonas
11:13:06 <HackEgo> bardsworthlist is update notification for the Bardsworth webcomic. http://www.bardsworth.com/
11:13:27 <hppavilion[1]> 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 <hppavilion[1]> BREAKING: Lazy computer scientists prove that P ≈ NP
11:58:10 -!- Destructible has joined.
12:01:51 -!- copumpkin has joined.
12:01:59 <b_jonas> Is it slightly after 23:00 UTC that the voting stations close and exit poll results will be published?
12:02:10 <fizzie> I thought they weren't doing any exit polls for this.
12:02:47 <boily> hppapproximativellon[1]!
12:03:04 <boily> b_jellonas! which voting stations?
12:03:09 <b_jonas> fizzie: what? why would they ever NOT do exit polls
12:03:11 <fizzie> And I think it's 21:00 UTC? At least it's 22:00 BST, and BST is UTC+1.
12:03:20 <b_jonas> boily: the last ones for the Britain EU referendum today
12:03:33 <b_jonas> oh right, it should be 21:00 UTC
12:03:54 <fizzie> 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 <boily> if the UK leaves, will Taneb be able to join this chännel?
12:11:00 <Destructible> I think that my new idea for an esolang will be good. Would you like me to describe it?
12:11:11 <b_jonas> That means I'll find out the result tomorrow.
12:11:27 <Yurume_> boily : as long as this channel keeps the strait of Dover
12:12:14 <boily> Yurumello_. that is unconditional. Dover is us!
12:12:18 <boily> Destructible: describe away!
12:12:22 <b_jonas> 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 <Destructible> 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 <boily> Yurume_: have I ever asked you the The Question?
12:14:22 <hppavilion[1]> Are there any problems that are /literally/ unsolvable on CCs but not on QCs?
12:14:55 <Yurume_> boily : is that The Question?
12:15:20 <Destructible> A program in this esolang consists of a sequence of 7 characters. Other characters are syntax errors. These characters are: [space], |, _, +, -, *, ^, @.
12:16:09 <Destructible> 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 <boily> Yurume_: no, the The Question is: what are your approximative geographic coördinates and body weigh?
12:16:50 <Yurume_> have I said that I am an alter ego of lifthrasiir?
12:17:41 <b_jonas> Destructible: you realize those are eight characters, right/
12:18:24 <Koen__> 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 <Destructible> I did it wrong because of the way numbers are represented
12:19:19 <boily> Yurume_: AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAURGH!
12:19:34 <Destructible> Space is a nop. this is used as the default values of digits.
12:20:26 <Destructible> | causes all code until the next | to be considered as a function name. This function becomes the active function
12:20:27 <Yurume_> boily : (mobile bouncer to be exact. this nick is also what I use for moznet)
12:21:02 <Yurume_> boily : a mobile bouncer to be exact
12:21:02 <Destructible> Active function simply allows commands that affect the active function to work on it. It does not run the function
12:21:12 <Yurume_> and I use this nick in moznet
12:22:48 <Destructible> _ causes all code until the next _ to be interpreted as a number in base seven . the next command is executed this many times.
12:24:53 <boily> 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 <Destructible> 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 <Koen__> speaking about nicks, the nick Koen is register on freenode
12:26:24 <Koen__> I need to change my name
12:28:16 <Destructible> * 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 <Destructible> ^ turns all code until the next ^ into a number, and removes the corresponding digit from the actuve function
12:29:23 <Destructible> clarification: * inserts into the active function
12:30:48 <Destructible> 0 = [null] 1 = " " 2 = "+" 3 = "-" 4 = "@" 5 = "|"/"_" 6 = "^"/"*" 7 = "*"/"_" 8 = " " 15 = "+ " 57 = " "
12:30:59 <Destructible> Part of the info is encoded into the amount of digits
12:32:13 <Destructible> I submitted a comic to a site, and they uploaded it! (The community contributes all the comics)
12:38:34 -!- Etaoin has joined.
12:39:28 <Destructible> I just got my comic uploaded to a comic site (where the community contributes)
12:40:01 <hppavilion[1]> 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 <hppavilion[1]> And then forget everything but a single detail about the video?
12:40:21 <Etaoin> yeeeaah that sounds nasty
12:42:06 <Etaoin> there's probably another etaoin :(
12:42:22 <Etaoin> I just stole this username for now
12:43:25 <Etaoin> 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 <Etaoin> nvm I found it https://esolangs.org/wiki/Quantum_brainfuck
12:44:28 <Destructible> The comic site is "Square root of minus garfield". It consists of garfield edits
12:46:16 <b_jonas> 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:48:14 <Destructible> would you like a link to my comic, that got uploaded?
12:48:59 <b_jonas> Etaoin: quantum is just a popular buzzword that people try to invoke
12:49:16 <Destructible> http://www.mezzacotta.net/garfield/?comic=2590
12:50:21 <Etaoin> these are way too abstract for me :D
12:50:57 <Etaoin> all of them on the website
12:53:03 <Destructible> If they are too abstract, there is always the memes. T̨H̕ey ͡n͢ever ̶go͟ ͘away
12:53:14 <Destructible> T͌͒̆ͤ͜H̴ͭ͂̿̚ȅͨ ̵ͩͩ̈͌̉̔̆m͆̊ͣ̿͒̇ͭėͣ̈́m͢eͭ̽ͧ̏͒͑҉s̓ ̷ͨ͆̿wͣ̃͢i͞l̨ͪ͊́ͥl̷̅̈́̋ ̷n̷ͤ̀͛̒̇̆̅evͣ͛̉͂͏e͐̾rͣ͌͐͆ͫ̄ ̋́͢l͑e̷̅ͯä͆̏͛͞vͫ͗̂̐̚ȅ̃ͣͪ̌̚̚
12:54:16 <Destructible> T͕̫̟̬̠̘ͅh͙͎̹̳͉̘ͯ̊̔̚è̹͓ͩ ̟̞̭͑͌̊̃ͪ͟p̄̈́ͥͥͨͣu̜̬͈̻͇ͥ͌ͅd̲̊̇̾̋͑͘d̻̻͉̱̟̯̜i̸̝̭ͤ̑ͨ͌ͣn̜̗͔̠̂ͦͦͨ͆͛̀g̴͖̠̮͔̭͌̔̂ ̹ͦ́͋͠p̌̄̽̊̽o̶̝̅͋ͮp̤͔͚̥̿ͤͥͫs̹̹̏ ͤ̂ͭ̔̽̽a̻͚͐̄̒ͫ̆r̛͍̭͍̬̖̬̆ͣ̉e̯̩̜̠ Ę̶̸̛̮̦̞͈͚͇̙̤͚̰͉̥͖̔ͥ̀̈͞ͅt̸͐̆ͮ̉̃҉̨̦̜̱̠̮̟̜̳̯̦͎͟ę̴̹͓͕̝̜̖̦͐̍ͭͦ̋͌͑̒͊ͣ͜
12:54:34 <Destructible> TÌÌÍÌÌÍÍ®ÌÍ«ÌÍ¡ÍÍ̵ÍÌ»ÌÌÌHÌÍÍ®ÍÍÍÌÍÍÍ«ÌÌ¿Ìͦͣ̾ÌÌ·ÍÍÌ©Í
Í̩̬ÍÌÌ̲̩̣Í̼ÍÌ̼ÌEÌÌÌÌ
ÌÍ©Í£ÍÍÌÍÍÍͯÌÍÍÌÍÌÍÍ̤̼̯Ì̹ ÌÍͯ̾ͦ̾ͨͥÌÍ¥ÍÍ̢̮̣ÌÍÍPÌÌÍÍͮͥÌÌ̲̹ÌÌ Ì¼ÍÍÌÍÌÌÌ»Í
Ì«UͦÍÌͦͤÌÌ̶ÍĮ̶̤̻̤̪́Í̳Í
̲Ì̪̣Í̬̦̬DͦÍͣͤÌÌÌÍ©ÌÌÌͤͤÍͨͫÌ̸̡̡̬Í̼̻̰̻ÍÌ̤ÍÌ̤̼DÍÌÍ¥ÍÍÌ¿ÌÌÌÌÌÍ̶ÌÍÍ̤Í
Ì«ÌÌÍIÌÍ©ÌͦÌ
12:55:03 <Destructible> T̵̨̈́ͤ́̏́̾̇̚͏̗̠̙̹̖̺͇̮͈̣̠̩̼H̸̷͍̰̣̤̲̩̩̗̗̲̺̬̩̜̟ͯͧ̉̓̔̍̄ͩ͛̑ͣͨ̓͂ͧ́̚͝ͅḛ̴̛̪̭ͬͫ̿ͤ̇͛̂̿̑̾̀̆̄̚̕͟ÿ̵̧̬̫̭́̍̑ͦ̇̾̎͗ͅ ̷̴̱̪̪̭͕̝͓̩̠̝̪̬̼̯̩̻̭ͨ͒̐͐̋ͦ͆ͩͤ̈́̽̔ͤ͋̊ͭ̕ͅͅĉ̨̼͕͔͉̖̹̰̠̫̭̞̼̤ͯ͂̎͗ͪ̌͐̑̂͌ͬͥ̄o̵̢̹̗̮̰̣̜̊ͥ͐̈̒͐̃ͧ̄m̷̡̬̦͕̙͕͇̜͓̤̮̺̦ͪ͂͋̒͋̅ͧͨͣ͛̓ͬ͗ͭ̈́̏͝ͅ
12:56:19 <Destructible> PÍ̸̱ÍÍÌ®Ì̹̮ÌÍ
ÍÍU̵ÍÒÌ´ÍÌÍÍ̹̼Ì̬̳̬ÍÍÍÍÍDÌ¢ÍÍÍÍÍÌÍD̶ÍÍ̲ÍÌỊ̲́ÌÍ̤ÍÌ¥ÍÌÍÌ®Ì ÍIÌ¡ÍÍ̡̲Í̥̩ÌNÌ¢Í̱̺ÍÌ̳̳ÍÍḬ̺̼̲́ÌÍÍÌÌ̲GÌÍÍÍ̥̼̰ÍÌÌ«Í̪̺̥ÍÍÍÌ±Í Í̶Ì̲ÍÍÍ̦Í̯̰̫̹̱P̶ÒÍ¡ÒÍÍ̫̹̮ÍÌǪ̶̶͡ÌḬ̩̺̯̮̣́Í̼Ì̯P̨ÍÌ̪Ì̼ÍÍ
Ì®ÍÍ
ÍÌ®ÍSÍÍÌ´Ǫ̀ÌÌÍÍÍ̪̲ÍÍ̱̱ÍÌ̳ÍÍ.Ì´ÍÍÌÍÌÌ̩̩̬ÍÍ ÍÍ¡Ì¡Ì©Í̪ÌŢ̢Í
12:56:58 <Destructible> 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:14:51 -!- Destructible has quit (Quit: Page closed).
13:20:25 <Etaoin> cos'(x) is -sin(x) tho
13:20:44 <Etaoin> it's a nice little pattern akin to exponentiating i
13:21:41 -!- Koen_ has joined.
13:22:26 <Etaoin> 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 <Etaoin> always thought it was a neat similarity
13:24:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
13:24:33 <Etaoin> 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 <fizzie> It's all because of circles.
14:19:02 -!- Koen_ has joined.
14:19:34 <izabera> 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 <oerjan> hm bitcoin bubble bursting
15:24:00 -!- spiette has joined.
15:25:18 <fizzie> A big balloon was popped here a while ago.
15:25:55 <fizzie> (Apparently the ceiling has some pointy bits.)
15:26:02 <int-e> 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 <quintopia> oerjan: dammit. couldnt it wait one more day?
15:51:44 <oerjan> were you going to sell
15:53:10 <quintopia> i was going to make a purchase. i had just barely enougb. now i have not enough.
15:54:34 <b_jonas> quintopia: don't worry, your GBP will also be worth either much more or much less than now tomorrow evening.
15:54:41 <b_jonas> so the bitcoin isn't the only thing that changes
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 <b_jonas> quintopia: the EUR holdings will also change somewhat, I think
16:09:31 <fizzie> There were people at the train stations wanting me to vote in a certain way.
16:09:47 <fizzie> 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 <fizzie> "EU referendum day live: Police called over conspiracy theory about voting with pens"
16:11:38 <fizzie> "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 <coppro> I've seen a properly implemented election process
16:12:19 <coppro> there are multiple sets of eyes on the entire contents of the ballot box from the moment it's opened
16:12:32 <coppro> and the box itself is in plain sight throughtout the day
16:15:09 <\oren\> When do the results get tallied on TV?
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 <Phantom_Hoover> 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 <fizzie> \oren\: They said the result's likely known at around 6-7am Friday local time.
16:19:33 <coppro> the official final result
16:19:46 <fizzie> It's going to start dribbling in before that, of course.
16:19:49 <coppro> the outcome may be clear earlier based on incoming polls
16:20:49 <fizzie> 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 <Phantom_Hoover> you can just scribble out a cross written in pen and put a cross in the other box
16:21:14 <Phantom_Hoover> 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 <Phantom_Hoover> 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:12 <fizzie> 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:49 <fizzie> http://static.liljat.fi/uploads/2012/10/melissa-mantyla-endorses-lilja-tamminen-finnish-ballot-helsinki-municipal-elections.jpg <- looks like that.
16:22:55 <coppro> that wouldn't fly here in canada
16:23:04 <coppro> in canada you can do anything you want as long as you mark in exactly one of the circles
16:23:10 <coppro> any markings in multiple circles invalidate it
16:23:21 <coppro> it was counted as a valid vote
16:23:55 <fizzie> I believe they're very picky back in Finland, I think many extra things like doodling on the card would invalidate a vote.
16:24:08 <coppro> Phantom_Hoover: you can go back to the DRO and ask for a new ballot
16:24:30 <coppro> 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:38 <coppro> you can only do that once though iirc
16:25:00 <Phantom_Hoover> 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 <coppro> Phantom_Hoover: in theory that can happen here
16:25:18 <coppro> in practice it's pretty rare since the rules are generally quite clear
16:26:40 <fizzie> 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 <fizzie> 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 <fizzie> 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 <fizzie> 1) There's more than one ballot, or something else in addition to the ballot in the envelope.
16:28:52 <fizzie> 2) There's any markings in the *envelope*.
16:29:11 <fizzie> 3) The ballot is some other piece of paper than the one printed by the government.
16:29:18 <fizzie> 4) The stamp is missing.
16:29:39 <Taneb> 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 <fizzie> 5) The candidate number isn't clear enough to unambiguously say who it meant.
16:30:22 <fizzie> 6) The ballot has the voter's name on it, or a recognizable mark, or "other irrelevant markings".
16:30:33 <fizzie> 7) The candidate number isn't valid.
16:31:00 <fizzie> 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 <Taneb> 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 <fizzie> 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 <Phantom_Hoover> Taneb, was that not a unique identifying mark for you?
16:34:07 <Taneb> 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 <quintopia> @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:59 <b_jonas> wait what? what would you normally vote with, if not pens?
16:35:18 <Phantom_Hoover> Taneb, but could you not argue that in that situation that they still clearly expressed a preference?
16:35:54 <Taneb> Phantom_Hoover, not, like, when I was 15
16:36:08 <Taneb> And I won the election by a landslide anyway
16:36:12 <b_jonas> "<Phantom_Hoover> 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 <b_jonas> 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 <b_jonas> and that's even written clearly in the instructions hung on the wall in election places.
16:37:35 <Taneb> Phantom_Hoover, also, like, I'm really not an assertive chap
16:37:39 <Taneb> I'd be terrible in politics
16:37:49 <b_jonas> and they always give you ballpoint pens, not pencils.
16:37:57 <Phantom_Hoover> 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 <b_jonas> "<coppro> 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 <b_jonas> "<coppro> Phantom_Hoover: you can go back to the DRO and ask for a new ballot" => this, yes
16:42:23 <izabera> can someone explain me why this is useful?
16:42:26 <izabera> # 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 <Taneb> @tell boily if the UK leaves I have a backup plan
16:42:55 <izabera> redefining pipe to use socketpair + shutdown x2 + fchmod x2
16:43:31 <izabera> there was no comment around that in the source
16:44:47 <b_jonas> 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 <b_jonas> izabera: if the buffer is too small, that could cause too many process switches when large data is sent.
16:45:23 <b_jonas> izabera: this is no longer a problem (on Linux), because these days Linux uses a larger buffer for a pipe
16:45:45 <b_jonas> izabera: Windows 7 uses a small buffer by default but they have an OS-specific way to change that.
16:46:49 <b_jonas> izabera: the fchmod looks pretty stupid though
16:46:56 <Phantom_Hoover> Taneb, does it involve fucking off to the netherlands?
16:47:16 <izabera> afaik the author is david korn
16:48:24 <b_jonas> izabera: sure, I'm just saying
16:50:58 <HackEgo> procrastination//The Procrastination is destined to rule the world... right after watching this last funny cat clip on youtube.
16:50:59 <HackEgo> Wisdoom is realizing just too late how you could have avoided your demise.
16:52:39 <HackEgo> wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø?
16:52:43 <HackEgo> wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø?
16:52:46 <HackEgo> wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø?
16:52:51 <HackEgo> auto//Auto is the German word for car.
16:52:56 <HackEgo> superexponential growth//Superexponential growth? SUPEREXPONENTIAL GROWTH?! HOLY CRAP!!!
16:53:00 <HackEgo> Char is a prominent component of charcoal.
16:53:01 <HackEgo> log//I think you might mean !logs
16:53:11 <HackEgo> enrichment centre//The Enrichment Center regrets to inform you that this next test is impossible.
16:57:56 <quintopia> I have this superexponential growth under my armpit
16:58:13 <\oren\> Stupid Expensify is malfunctioning
17:06:00 <fizzie> If a tree falls in a forest, does it create a log? </philosophy>
17:06:27 <oerjan> <b_jonas> @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 <quintopia> fizzie: does it fall publicly in the channel?
17:07:13 <HackEgo> #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:20:05 -!- oerjan has quit (Quit: Later).
17:25:45 <Taneb> Phantom_Hoover, basically, yeah
17:29:29 <izabera> i need an address where it's possible to write without damaging the system, but outside my address space
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: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 <fizzie> 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 <int-e> rolling on, laughing furiously
18:30:20 <Taneb> Red, Orange, Lleyow, Flue
18:30:25 <Taneb> Colours of the rainbow
18:31:39 <int-e> but without color codes?
18:31:55 <shachaf> uh oh, Taneb's tanebventing again
18:32:16 <Taneb> Nah, I'm on holiday
18:34:33 <HackEgo> nitia is the inventor of all things. The BBC invented her.
18:34:42 <HackEgo> The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets and tiny elfs. Taneb invented it.
18:35:52 <HackEgo> phantom_______hoover//It doesn't get any better than this.
18:36:04 <HackEgo> certainly//We don't know what certainly is for sure, but at least it isn't a functor.
18:36:12 <HackEgo> 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:31 <HackEgo> persistence//Taneb invented persistence long ago, and it's been around ever since.
18:36:37 <HackEgo> fentimans//fentimans is a delicious beverage out from Hexham, that can be paired with a fresh fternooner for a nutritive midday snack.
18:37:32 <HackEgo> 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:14 <HackEgo> 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:29 <HackEgo> Canada is Big Scotland. Like, you know, very big.
18:38:53 <\oren\> I still think Canada should join the EU
18:39:13 <fizzie> I think Australia should join the EU.
18:39:15 <shachaf> Scotland should leave the UK and join the EU.
18:39:19 <fizzie> With Eurovision, they're already halfway there.
18:39:41 <Taneb> fizzie, if the UK stays in, Australia joins, and I do my backup plan anyway...
18:39:45 <Taneb> 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 <int-e> only if you get rid of Quebec
18:40:23 <int-e> One France is enough for the EU.
18:41:00 <\oren\> Quebec might separate after being inspired by Britain
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).
19:00:25 <Taneb> \oren\, I believe there is a similar campaign for London, England
19:01:16 <b_jonas> oerjan: was it truncated like that or something?
19:02:29 <b_jonas> \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 <b_jonas> \oren\: that letter is present in the book
19:08:53 <b_jonas> \oren\: it's still missing in the latin transcription of the cyphered block on http://www.orenwatson.be/verne.htm
19:13:43 <b_jonas> \oren\: good. I also suggest that you include the French translation form the novel
19:17:02 -!- augur has joined.
19:19:14 -!- Koen_ has joined.
19:32:08 <HackEgo> 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:48:13 <\oren\> > math::e**(math::pi*math::i)
19:48:14 <lambdabot> <hint>:1:24: parse error on input ‘::’
19:49:39 <\oren\> > Fractional.e(Fractional.pi)
19:49:41 <lambdabot> Not in scope: ‘Fractional.e’Not in scope: ‘Fractional.pi’
19:51:57 -!- S1 has joined.
19:53:36 <lambdabot> <hint>:1:19: parse error on input ‘)’
19:53:39 <lambdabot> 0.9271380752254357 :+ 1.1941162626914863
19:54:06 <\oren\> > (exp(1)**pi)**(0:+1)
19:54:58 <\oren\> ever heard of precedence rules Haskell!?!?@?
19:55:45 <shachaf> ** is infixr, so a**b**c = a**(b**c)
19:56:15 <shachaf> 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: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 <shachaf> It has exp, which is what you're doing anyway.
19:58:35 <shachaf> > exp (pi * (0 :+ 1)) :: Complex CReal
19:58:55 <b_jonas> shachaf: do you mean exp (0 :+ pi)
19:59:42 <shachaf> 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:38 <lambdabot> Expecting one more argument to ‘Real’
20:00:38 <lambdabot> Expected a type, but ‘Real’ has kind ‘* -> Constraint’
20:00:38 <lambdabot> In an expression type signature: Real
20:00:44 <lambdabot> Couldn't match expected type ‘CReal’
20:00:45 <lambdabot> In the first argument of ‘exp’, namely ‘(0 :+ pi)’
20:00:54 <\oren\> > exp(0:+pi) :: Complex
20:00:56 <lambdabot> Expecting one more argument to ‘Complex’
20:00:56 <lambdabot> Expected a type, but ‘Complex’ has kind ‘* -> *’
20:00:56 <lambdabot> In an expression type signature: Complex
20:01:08 <\oren\> > exp(0:+pi) :: Complex Double
20:01:15 <\oren\> > exp(0:+pi) :: Complex CReal
20:01:32 <shachaf> It was using floating point values by default.
20:04:02 <izabera> i need help with a linux thingy
20:04:38 <izabera> http://lxr.free-electrons.com/source/net/socket.c#L1584 this is the getpeername() syscall
20:05:09 <izabera> it calls move_addr_to_user()
20:05:14 <izabera> which is here http://lxr.free-electrons.com/source/net/socket.c#L216
20:06:03 -!- jaboja has joined.
20:06:12 <izabera> move_addr_to_user checks if it can write to the sockaddr* and returns -EFAULT if it can't
20:06:42 <izabera> but it doesn't check if it can write to the socklen_t* argument in getpeername()
20:07:05 <izabera> it's in line 240: return __put_user(klen, ulen);
20:08:21 <izabera> i tried to test if this can write outside my address space, but i can't
20:08:32 <izabera> and it's probably my test that's not working
20:08:44 <b_jonas> izabera: doesn't the __put_user macro check that?
20:09:15 <izabera> click on it and you can see its definition
20:09:28 <b_jonas> izabera: how about the get_user function in line 223 then?
20:10:34 -!- spiette has joined.
20:11:16 <b_jonas> izabera: right, but it gets the value from user space, so the field is already known to be at least readable
20:11:33 <b_jonas> the get_user ensures it's in user-space
20:12:17 <b_jonas> izabera: and __put_user ensures it's writable
20:12:21 <b_jonas> together the two should be enough
20:23:34 -!- jaboja has quit (Ping timeout: 244 seconds).
20:32:41 <izabera> 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 <b_jonas> 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 <izabera> it never checks if it's in that process' address space
21:12:07 <b_jonas> izabera: there's only one process mapped at a time, even in kernel mode
21:12:13 <b_jonas> it doesn't have to check which process
21:13:14 <izabera> so what happens if i pass an address that's in userspace but not where i can write?
21:14:00 <b_jonas> izabera: then the read will succeed, but the write will fail, and so the syscall will give you an EFAULT
21:15:11 <b_jonas> 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 <izabera> oh it is returning efault now
21:16:26 <izabera> i don't know what i did before but it returned 0
21:22:06 <fizzie> A man was at the railway station shouting how many minutes until the polls close. They're certainly very enthusiastic.
21:24:40 <b_jonas> 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:42:26 <\oren\> Oh Boris is at the polling station
21:42:45 <fizzie> Did he take one of his bikes to get there?
21:43:12 <\oren\> I dunno, he was with some woman
21:45:18 <fizzie> Do they have tandem Boris bikes? I guess not.
21:45:36 <fizzie> "Mayor of London under fire for £500 tandem Boris Bike royal wedding gift"
21:46:11 -!- incomprehensibly has joined.
21:46:40 <fungot> \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/
21:47:28 <fizzie> This is less of a celebration without the other rows.
21:48:59 <\oren\> wat happen to the bot that added legs?
21:49:56 <HackEgo> myndzi used to keep us all on our feet.
21:50:08 <int-e> `culprits wisdom/myndzi
21:50:09 -!- adu has joined.
21:50:25 <HackEgo> oerjan oerjan oerjan elliott Bike FreeFull oerjan
21:52:26 <\oren\> so he was simply a person with a custom script in his irc client?
21:55:06 <\oren\> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
21:57:03 <Taneb> fungot, are you a bot
21:57:03 <fungot> Taneb: i just found that you can actually have a process started
21:57:29 <int-e> fungot is semisentient too
21:57:29 <fungot> int-e: question is, what are the puzzles? i'm not sure how
21:57:39 <int-e> eerily so, sometimes
21:57:45 <shachaf> 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:36 <HackEgo> JX7P: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (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:53 <fungot> 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 <b_jonas> computed come froms are better
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> boily: and this is not a primitive name in: atom?? gdbm-ci? null? list)...
23:46:38 <lambdabot> 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 <lambdabot> Taneb said 7h 4m 11s ago: if the UK leaves I have a backup plan
23:47:02 <boily> @tell quintopia Montreal and Quebec are perfectly fine hth
23:47:48 <boily> @ask Taneb so you're moving to Canada?
23:48:02 <Taneb> @tell boily No, the Netherlands
23:49:11 -!- asie has joined.
23:50:16 <boily> Tanelle. that's not Canada hth
23:52:21 <Taneb> boily, I'm almost eligible for Dutch nationality
23:52:44 <Taneb> And I don't want to go from University of York to York University
23:53:10 <boily> Dutch Nationality Exam: [ ] Do you speak Dutch [ ] Can you bike [ ] Black licorice tastes good
23:54:24 <shachaf> "ngevd" is dutch for "taneb", right?
23:55:03 <shachaf> Taneb: I thought you were going to move to the United States.
23:55:34 <shachaf> So you could buy some health insurance.
23:55:50 <Taneb> shachaf, I think I already have health insurance
23:56:04 <Taneb> boily, No, Sort of, In Moderation
23:56:55 <shachaf> Taneb: You probably didn't pay enough for it, though.
23:59:00 <oerjan> boily: maya (grmbl, you almost got me there)