←2015-05-14 2015-05-15 2015-05-16→ ↑2015 ↑all
00:27:25 <ORin> If J is pronounced Y in Norway, does that mean the EU is the JJ?
00:27:49 <ORin> Juropian Junjon
00:28:20 <shachaf> no hth
00:28:53 <boily> ORin: don't listen to shachaf it's just phonetics
00:30:49 <oerjan> ORin: no hth
00:31:54 <boily> ORin: beware the shachafagreeing Norwegian. he's an evil twin hth
00:32:25 <ORin> Oh. Another question. In canada we usually alternate verses of our anthem in english and french. Does the EU alternate all the languages of Europe?
00:32:40 <shachaf> europe has uncountably many languages hth
00:33:00 <oerjan> it's [eː ʉː] hth
00:33:27 <boily> [y ø].
00:33:32 -!- solid_whiskey has joined.
00:33:38 <oerjan> which are incidentally the same as the letters E and U hth
00:33:54 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:34:31 <boily> Ô Canada... Terre de nos aïeux... Ton front est ceint... De fleurons glorieux ♪
00:38:53 <notfowl> Does the EU have an anthem
00:39:25 <oerjan> now if you want the whole phrase, it would be [dɛn æʉɾʊp'eːɪskə ʉnɪ'uːn] if https://en.wikipedia.org/wiki/Norwegian_phonology is to believed but i actually don't believe the æʉ part surely it should be œʉ.
00:39:32 <oerjan> *to be
00:39:38 <pikhq> notfowl: Yes.
00:40:14 <pikhq> It is the Oe an die Freude.
00:40:19 <pikhq> *Ode
00:40:37 <notfowl> Weird
00:41:27 <oerjan> or maybe the southerners actually _do_ pronounce it that way hm
00:42:31 <ORin> So the lyrics are in german
00:42:44 <oerjan> i'm not sure that the eu anthem is usually sung rather than played, unless you're listening to the whole beethoven symphony...
00:42:52 <pikhq> It officially has no lyrics.
00:43:20 <pikhq> The Ode an die Freude, as an independent work, typically doesn't have lyrics...
00:43:59 * oerjan recalls an old norwegian children's tv series in which part of the plot was that the characters ended up having to sing it in norwegian because they were too bad at german.
00:44:26 -!- solid_whiskey has quit (Remote host closed the connection).
00:45:05 <oerjan> pikhq: that's really rather weird given that the lyrics are a famous poem...
00:45:45 <ORin> ~Freude schoener Goetterfunken tochter aus Elysium!
00:46:00 <oerjan> *Tochter
00:46:43 <oerjan> some day i might actually manage to learn the whole of it.
00:47:17 <ORin> Maybe they didn't want to use lyrics because of linguistic neutrality or some such nonsense
00:47:36 <boily> ORin: that version has a disturbing lack of diæreses.
00:48:54 <oerjan> ORin: sounds plausible actually
00:50:05 <oerjan> the eu has too damn many languages to cycle through all of them, anyway
00:50:38 <oerjan> and no one would be able to sing the czech part hth htt
00:50:47 <boily> there should be a cyclical European Languages Quine.
00:51:05 <boily> as long as the Czech part has no ř, everything's fine.
00:51:47 <oerjan> boily: strč prst skrz krk hth
00:52:52 <boily> this one is good up until the hth hth
00:53:12 <boily> (yes, I know it's not Czech. still tried to pronounce it as a word.)
00:53:26 <oerjan> boily: you know the r needs to be rolled right?
00:54:25 <boily> ah [CENSORED].
00:54:44 <boily> oh well. there goes my poor attempt at Czech.
00:55:22 <oerjan> 's ok you're not alone
00:58:26 <boily> https://www.dropbox.com/s/6egsfotxtd14txt/czechth.ogg?dl=0
01:00:42 -!- solid_whiskey has joined.
01:08:29 -!- teakey_ has joined.
01:09:45 -!- solid_whiskey has quit (Ping timeout: 246 seconds).
01:12:57 -!- teakey_ has quit (Remote host closed the connection).
01:23:04 -!- PinealGlandOptic has joined.
01:24:43 -!- boily has quit (Quit: HERPETOLOGICAL CHICKEN).
01:30:31 -!- teakey_ has joined.
01:50:26 -!- zen2 has joined.
01:52:19 -!- variable has joined.
02:12:36 -!- teakey_ has changed nick to solid_whiskey.
02:17:10 -!- solid_whiskey has quit (Read error: Connection reset by peer).
02:31:35 -!- ORin has quit (Quit: leaving).
02:51:42 -!- bb010g has joined.
03:56:11 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
03:57:46 -!- notfowl has changed nick to fowl.
04:50:08 -!- oren has joined.
04:52:41 <oren> :-D<- what does this show as?
04:53:02 <fowl> : - D < -
04:54:44 <oren> `unidecode :P
04:54:45 <HackEgo> ​[U+003A COLON] [U+0050 LATIN CAPITAL LETTER P]
04:54:57 <oerjan> `unidecode 🎲💧
04:54:58 <HackEgo> U+1F3B2 GAME DIE \ UTF-8: f0 9f 8e b2 UTF-16BE: d83cdfb2 Decimal: &#127922; \ 🎲 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F4A7 DROPLET \ UTF-8: f0 9f 92 a7 UTF-16BE: d83ddca7 Decimal: &#128167; \ 💧 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
04:55:37 <oerjan> THANKS EMOJIC 8BALL
04:58:09 <oren> AAAAAA this damn beep speaker beeps everyitme I press a wrong buttion
04:58:15 <oerjan> int-e: i sense that bang has had enough cake for a while
04:58:41 <oerjan> oren: fiendish
04:59:00 <oren> How does the beep speaker work anyway can I disable the driver for it?
04:59:02 <shachaf> good afternørjan
04:59:11 <oerjan> shamorning
04:59:19 <shachaf> is it true that "ørjan" has emphasis on both syllables
04:59:22 <oren> rmmod or some crap?
04:59:37 <shachaf> imo play bureaucracy hth
04:59:51 <shachaf> it's a great game because every time you type a command it doesn't understand, your blood pressure goes up
04:59:56 <shachaf> and when it goes up too much you die
05:00:34 <oerjan> shachaf: it has a pitch accent that may sound that way, although the stress is still on the first.
05:00:45 <shachaf> hm
05:00:51 <oren> Yeah! rmmod pcspkr work like a charm
05:02:34 <oren> (Although maybe disabling the dirver for it is a little too extreme a solution.)
05:04:38 <oerjan> @tell int-e oooh dreen
05:04:38 <lambdabot> Consider it noted.
05:10:48 <oren> Hmm there doesn't seem to be any better way (which would alow only some programs to beep).
05:13:11 <oren> Either it's beeping on, or beepin off
05:13:44 <oren> what the beep
05:15:55 -!- doesthiswork has quit (Quit: Leaving.).
05:16:46 -!- oren has left.
05:23:33 -!- adu has joined.
05:24:18 <oerjan> @tell int-e see http://www.girlgeniusonline.com/comic.php?date=20140618 hth
05:24:18 <lambdabot> Consider it noted.
05:43:54 -!- variable has quit (Ping timeout: 252 seconds).
06:09:53 -!- hilquias has joined.
06:30:17 <oerjan> @tell int-e This makes me wonder if this one was actually wrong, quoting orders, or had a much longer perspective http://www.girlgeniusonline.com/comic.php?date=20121029
06:30:17 <lambdabot> Consider it noted.
07:09:24 -!- KnightArm0 has joined.
07:13:35 -!- ZombieAlive has quit (Ping timeout: 272 seconds).
07:17:22 -!- KnightArm0 has quit (Read error: Connection reset by peer).
07:18:31 -!- KnightArm0 has joined.
07:19:54 -!- ZombieAlive has joined.
07:27:40 -!- oerjan has quit (Quit: Nite).
07:34:30 -!- lleu has joined.
07:39:49 -!- lleu has quit (Ping timeout: 264 seconds).
07:41:48 -!- KnightArm0 has quit (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.).
07:42:19 -!- KnightArm0 has joined.
07:49:34 -!- solid_whiskey has joined.
08:00:34 -!- KnightArm0 has quit (Remote host closed the connection).
08:00:56 -!- KnightArm0 has joined.
08:01:43 -!- fractal has quit (Ping timeout: 272 seconds).
08:05:09 -!- Tod-Autojoined has joined.
08:06:22 -!- TodPunk has quit (Ping timeout: 256 seconds).
08:09:26 -!- adu has quit (Quit: adu).
08:11:30 -!- KnightArm0 has quit (Remote host closed the connection).
08:11:33 -!- KnightArm0_ has joined.
08:15:55 -!- hilquias has quit (Ping timeout: 258 seconds).
08:16:34 -!- tromp__ has quit (Read error: Connection reset by peer).
08:17:23 -!- tromp_ has joined.
08:25:06 -!- KnightArm0_ has quit (Remote host closed the connection).
08:30:30 -!- Patashu has joined.
08:41:54 -!- solid_whiskey has quit (Ping timeout: 244 seconds).
08:43:27 <mroman_> fungot: good morning.
08:43:27 <fungot> mroman_: once again, the commission, which is the separation of powers, to defend himself, to ensure that our rights, which the high level meetings with the ambassadors of southern african countries in reducing sexually-transmitted diseases, affect poor countries much more than just the quantity of employment.
08:55:11 -!- solid_whiskey has joined.
08:55:50 -!- solid_whiskey has quit (Max SendQ exceeded).
08:56:17 -!- solid_whiskey has joined.
08:56:45 -!- solid_whiskey has quit (Max SendQ exceeded).
08:57:27 -!- solid_whiskey has joined.
08:57:38 -!- rodgort has quit (Ping timeout: 248 seconds).
08:58:10 -!- solid_whiskey has quit (Max SendQ exceeded).
08:58:35 -!- solid_whiskey has joined.
08:59:04 -!- solid_whiskey has quit (Max SendQ exceeded).
08:59:30 -!- solid_whiskey has joined.
08:59:49 -!- solid_whiskey has quit (Max SendQ exceeded).
09:00:20 -!- solid_whiskey has joined.
09:02:55 <mroman_> ^8ball
09:02:55 <fungot> No.
09:08:51 -!- PinealGlandOptic has quit (Ping timeout: 272 seconds).
09:10:24 -!- rodgort has joined.
09:27:20 -!- J_Arcane has quit (Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406]).
09:36:04 -!- J_Arcane has joined.
10:06:29 <fizzie> No emoji there.
10:13:31 <mroman_> yeah
10:13:35 <mroman_> we need emoji8ball
10:14:16 -!- impomatic_ has joined.
10:24:25 -!- boily has joined.
10:35:08 <J_Arcane> Unlambda as a Racket #lang https://github.com/jkominek/unlambda
10:37:25 <int-e> what's that hash doing there...
10:38:14 <Jafet> You mean the hashtag symbol?
10:38:28 <mroman_> I can only see a number sign
10:42:56 <int-e> Jafet: I just hate seeing those things on IRC.
10:43:39 <int-e> (or anywhere else for that matter, including twitter)
10:43:43 <Jafet> IRC should support a mode where any message with a channel name in it is sent to that channel
10:43:54 <int-e> ...
10:43:57 <int-e> no.
10:46:45 * boily mapoles Jafet
10:48:13 <Jafet> Anyway, I believe #lang is racket syntax to set the language mode. (If I'm wrong, hopefully someone in #lang will point that out.)
10:50:02 <boily> #I #still #believe #it's #a #very #bad #idea #hashtaghash
10:52:46 -!- impomatic_ has quit (Quit: http://corewar.co.uk).
10:54:29 <int-e> @tell oerjan Well at least that explains the Dreen lurking below the train monks' fortress.
10:54:29 <lambdabot> Consider it noted.
10:54:58 <int-e> @tell oerjan Or rather, it makes it less random.
10:54:58 <lambdabot> Consider it noted.
10:58:46 <boily> @metar CYUL
10:58:47 <lambdabot> CYUL 151000Z 24004KT 30SM OVC250 08/01 A3027 RMK CI8 CONTRAILS SLP252
10:58:51 <boily> @metar ENVA
10:58:51 <lambdabot> ENVA 151050Z 30007KT 260V340 9999 SCT050 08/M02 Q1016 NOSIG RMK WIND 670FT 30010KT
10:59:26 <mroman_> I tend to view everything after a # as a comment until the end of line.
11:26:31 -!- boily has quit (Quit: SUBDUCTIVE CHICKEN).
11:28:16 -!- clog has quit (Ping timeout: 265 seconds).
12:12:18 -!- AnotherTest has joined.
12:24:12 -!- lleu has joined.
12:37:54 <mroman_> fungot: What is your plan for handling refugees?
12:37:55 <fungot> mroman_: mr president, the commission wishes to foster rural development by supporting traditional cultivation and production methods. research shows that older people can also remain in the sector would be as absurd as its opposite: the autarkic thinking which would abolish all free trade? does not the european parliament has committed itself to contributing to the overall political objective, however desirable it might be hel
12:38:37 <mroman_> fungot: Can you summarize that?
12:38:37 <fungot> mroman_: mr president, i too have tabled and which has somewhat hindered meps from participating on a broad political debate can be launched on the matter.
12:38:57 -!- AnotherTest has quit (Ping timeout: 252 seconds).
12:43:32 <mroman_> Does HTTP2 have built-in CSRF protections?
12:44:19 <mroman_> or browsers could actually do that themselves by using an X- header of some sort
12:45:01 <b_jonas> what's a "CSRF"?
12:45:17 <mroman_> cross site request forgery
12:45:40 <mroman_> a type of a web-attack
12:46:31 <mroman_> i.e. tricking somebody into clicking on a link like uhm... http://example.com/deleteEverything.php
12:46:37 <mroman_> which then deletes everything
12:47:04 <mroman_> which works because browsers will send the login cookie no matter if you really wanted to click on that or not
12:47:15 <HackEgo> [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=42925&oldid=42924 * * (-1)
12:47:16 <b_jonas> oh yes, the javascript stuff. I don't know how all that works.
12:47:33 <mroman_> It works without javascript as well.
12:47:40 <b_jonas> yes, there are variants
12:47:54 <mroman_> <a href="http://vuln.com/logout.ph">see wikipedia</a>
12:47:54 <HackEgo> [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=42926&oldid=42925 * * (-1) /* Truth-machine */ Golfed out one further character
12:48:10 <b_jonas> mroman_: yeah, but javascript can also send POST requests
12:48:14 <mroman_> yup
12:49:17 <HackEgo> [wiki] [[User:SuperJedi224]] http://esolangs.org/w/index.php?diff=42927&oldid=42326 * SuperJedi224 * (-5)
12:51:11 <mroman_> I think for XMLHttpRequests browsers will send an origin header
12:51:42 <HackEgo> [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=42928&oldid=42926 * SuperJedi224 * (+30) /* Example programs */
12:52:18 <mroman_> hm
12:54:13 <HackEgo> [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=42929&oldid=42928 * SuperJedi224 * (+0) /* Calculate square of input */ Updated
12:54:16 <mroman_> technically if I read that draft correctly
12:54:24 <mroman_> you could rely solely on checking the origin header
12:55:22 <mroman_> but it isn't an official header yet at IANA?
12:55:44 <mroman_> or is it?
12:57:00 -!- Patashu has quit (Ping timeout: 240 seconds).
12:57:46 <b_jonas> mroman_: doessn't it work like this: all non-pure operations shall use POST method or similar, not the GET method; POST forms or similar javascript on a site could add some value depending on your session cookie and unguessable otherwise in the POST parameters; and POST handlers should check whether that value is valid?
12:58:12 <b_jonas> I'm quite sure in the first part, but not about the rest.
12:58:48 -!- doesthiswork has joined.
12:59:14 <HackEgo> [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=42930&oldid=42929 * SuperJedi224 * (+0) /* Hello, world! */
13:00:47 <HackEgo> [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=42931&oldid=42930 * SuperJedi224 * (-1) /* Truth-machine */
13:01:38 <J_Arcane> int-e: It's not a hashtag, it's Racket notation.
13:01:52 <J_Arcane> Racket files start with a #lang declaration that indicates what language it is.
13:02:23 <J_Arcane> #lang racket, for instance, or #lang heresy or #lang unlambda, or whatever.
13:03:08 -!- Tod-Autojoined has changed nick to TodPunk.
13:07:19 -!- solid_whiskey has quit (Ping timeout: 255 seconds).
13:10:59 <mroman_> b_jonas: that's called the "double submit" method
13:11:15 <mroman_> you have a cookie with a secret values and all requests need to include the same value in a hidden field
13:11:22 <mroman_> then you check if the two values match
13:11:51 <mroman_> which would require an attacker to guess the cookie value
13:11:57 <mroman_> or somehow obtain it
13:12:03 <mroman_> (i.e. through XSS, sniffing or whatever means)
13:14:48 <HackEgo> [wiki] [[CalScript]] http://esolangs.org/w/index.php?diff=42932&oldid=42773 * Vriskanon * (+2606) *Work in progress * Added tables for how the commands work.
13:14:49 <int-e> J_Arcane: ok.
13:16:28 <b_jonas> mroman_: yes, something like that, but it's only POST requests that need to include it. hmm... I should try this when I experiment with toy web-based stuff.
13:17:32 <b_jonas> mroman_: I know the mediawiki API does this exactly: you can query a token which is tied to your login (and maybe your password too), and you have to include that token in all requests that edit a page or do other write operations.
13:18:13 <b_jonas> (I can link to details.)
13:21:55 <mroman_> b_jonas: that depends on the web-application.
13:22:25 <mroman_> there's nothing that prohibits a webapp from modifying stuff even if it's a GET request :)
13:29:06 <HackEgo> [wiki] [[CalScript]] M http://esolangs.org/w/index.php?diff=42933&oldid=42932 * Vriskanon * (+1349) /* Commands */ Added the HEE commands - Tape Manipulation
13:29:51 <b_jonas> mroman_: sure, nothing that prohibits it, it's just usually a bad idea
13:30:03 <scoofy> not necessarily
13:30:19 <b_jonas> usually.
13:30:22 <scoofy> it's up to you
13:30:40 <b_jonas> and by "modify", I mean modify semantically, not just, say, modify the access logs.
13:32:54 -!- `^_^v has joined.
13:34:23 <mroman_> sure
13:37:05 <scoofy> technically nothing prevents you from using a GET /mypage/command/modify/whatever/super_secret_has_verification_code/ to modify something
13:37:36 <scoofy> it's up to your http server what he does with GET requests :)
13:40:46 <HackEgo> [wiki] [[CalScript]] http://esolangs.org/w/index.php?diff=42934&oldid=42933 * Vriskanon * (+1513) /* Commands */ Added the HOO commands - Stack and Tape Interaction
13:47:08 <mroman_> technically fungot
13:47:09 <fungot> mroman_: mr president, i should therefore like to thank mr gargani, mr swoboda and mr clegg, representatives of a transnational character, such as the czech republic, drawn up by mr caudron: ' it's demagoguery') ( de) mr president, while welcoming mr fnord report concerns the communication on the implementation by the european development funds in the process. a second important point is being taken in by referenda year upon ye
13:47:17 <mroman_> ^style fnord
13:47:17 <fungot> Not found.
13:47:20 <mroman_> :(
13:50:26 <HackEgo> [wiki] [[CalScript]] http://esolangs.org/w/index.php?diff=42935&oldid=42934 * Vriskanon * (+3236) Added a list of all commands
13:50:50 -!- KnightArm0 has joined.
14:00:50 -!- spatterworthy has joined.
14:01:31 -!- KnightArm0 has quit (Read error: Connection reset by peer).
14:01:58 -!- KnightArm0 has joined.
14:06:28 -!- GeekDude has joined.
14:23:04 -!- KnightArm0 has quit (Read error: Connection reset by peer).
14:24:57 -!- KnightArm0 has joined.
14:31:12 -!- doesthiswork has quit (Quit: Leaving.).
14:49:41 -!- spatterworthy has quit (Quit: Page closed).
14:54:29 -!- KnightArm0 has quit (Read error: Connection reset by peer).
15:00:04 -!- AnotherTest has joined.
15:05:18 -!- hilquias has joined.
15:42:56 -!- AnotherTest has quit (Ping timeout: 256 seconds).
15:43:23 -!- zzo38 has joined.
15:47:41 -!- Weloxux has joined.
15:55:40 -!- variable has joined.
16:09:03 -!- hilquias` has joined.
16:10:38 -!- hilquias has quit (Ping timeout: 272 seconds).
16:30:19 <zzo38> Timeline of esoteric programming includes even dates in the future and stuff outside of time.
16:31:13 <zzo38> This file http://zzo38computer.org/dnd/recording/level20.trope says that many of the tropes are straight but I am not so sure that is quite correct therefore let's fix it please
16:46:26 <zzo38> How can I download page 549 and 550 of Penrose's "Road to Reality" book?
16:59:42 -!- bb010g has quit (Quit: Connection closed for inactivity).
17:05:28 -!- Weloxux has quit (Quit: Leaving).
17:14:39 -!- Froo has quit (Quit: *bubbles away*).
17:27:20 -!- Phantom_Hoover has joined.
17:30:56 -!- variable has changed nick to trout.
17:32:03 <b_jonas> How difficult do you think it is to make a parser that lies that it doesn't know some particular construction of the language it parses? For example, imagine a C parser that claims not to support trigraphs, so if you open a function body with ??< it gives an error,
17:34:56 <b_jonas> but it actually knows that that trigraph means { and continues parsing as if you gave { and gives correct error messages for inside the loop body; however, if you forget to close that loop body, it will disguise that knowledge and won't say "unmatched } for the { at line 18" or "unmatched ??> for the ??< at line 18" to pretend it didn't recognize the ??<
17:35:16 <b_jonas> ?
17:40:42 <zzo38> How will it then know what error messages to display in that case instead?
17:41:21 <b_jonas> zzo38: yes, that's why it's difficult, and I'm not sure it's possible (at least in some cases)
17:41:47 <b_jonas> maybe sometimes it has to backtrack and reparse stuff as if it didn't recognize ??< at all
17:41:58 <b_jonas> if the messages would give away too much otherwise
17:49:59 -!- Frooxius has joined.
17:50:20 <zzo38> It could remember and then "implicitly close the loop" before further parsing and displaying error messages?
17:50:58 -!- Froox has joined.
17:52:53 <int-e> you could steal ed's error message
17:53:08 <int-e> that's pretty good at not giving away information
17:54:39 -!- Frooxius has quit (Ping timeout: 252 seconds).
18:01:30 <zzo38> Many parsers are based on not backtracking
18:11:17 -!- nycs has joined.
18:14:03 -!- `^_^v has quit (Ping timeout: 264 seconds).
18:14:10 <Jafet> Oh my, are we actually designing a programming language
18:19:25 <int-e> quick, give me 8 random symbols *ducks*
18:23:16 -!- hilquias` has quit (Remote host closed the connection).
18:26:04 <Jafet> `` tr -cd '[:print:]' </dev/random | head -c 8
18:26:34 <HackEgo> No output.
18:26:50 -!- clog has joined.
18:29:16 -!- nycs has quit (Quit: This computer has gone to sleep).
18:32:58 -!- xeb_ has joined.
18:33:05 -!- xeb_ has quit (Read error: Connection reset by peer).
18:35:09 -!- `^_^v has joined.
18:58:12 -!- Tritonio has joined.
18:59:50 -!- oren has joined.
19:05:08 <oren> Why are people on Jeopardy so stupid
19:05:54 -!- PinealGlandOptic has joined.
19:06:51 <zzo38> Probably because a lot of people in general are so stupid
19:08:41 -!- fractal has joined.
19:08:49 -!- trout has quit (Ping timeout: 250 seconds).
19:09:45 -!- zadock has joined.
19:11:35 <oren> switching to puppy linux overall has been a good experience
19:11:50 <fowl> Puppy is the shiz
19:14:42 <oren> It takes WAY less memory than xubuntu
19:15:09 <oren> Although that may also be because of using seamonkey instead of firefox
19:28:01 -!- zadock has quit (Quit: Leaving).
19:46:35 -!- ZombieAlive has quit (Remote host closed the connection).
19:47:29 -!- oren has quit (Ping timeout: 276 seconds).
19:57:12 -!- PinealGlandOptic has quit (Ping timeout: 265 seconds).
20:02:26 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
20:09:26 -!- idris-bot has quit (Quit: Terminated).
20:09:40 -!- idris-bot has joined.
20:12:44 <Taneb> Is every non-zero rational a product of integer powers of primes?
20:14:26 <izabera> Taneb: 2/3
20:14:35 <izabera> wait
20:14:37 <izabera> wrong example
20:14:51 <izabera> let's not comment on that
20:15:22 <Taneb> :PPP
20:15:27 <myname> i guess so
20:16:08 <myname> for each x/y you can make prime factors for x and y
20:16:58 <Taneb> Then can I think of the non-zero rationals as an infinite-dimensional module over the integers
20:17:17 <Taneb> With + being multiplication and scalar multiplication being multiplying all the powers
20:17:23 <Taneb> And the 0 vector being 1?
20:18:06 <Taneb> Yeah, scalar multiplication is exponentiation
20:19:37 <Melvar> Is that not only the strictly positive rationals?
20:21:08 <Taneb> Hmm, yeah, I think it is
20:25:15 <Taneb> Even so, this seems like a weird result to me
20:25:27 -!- atrapado has joined.
20:27:28 -!- AnotherTest has joined.
20:31:33 -!- `^_^v has quit (Quit: This computer has gone to sleep).
20:33:01 -!- `^_^v has joined.
20:40:02 -!- `^_^v has quit (Quit: This computer has gone to sleep).
20:40:37 -!- `^_^v has joined.
20:44:02 -!- spatterworthy has joined.
20:46:30 -!- AnotherTest has quit (Ping timeout: 265 seconds).
21:01:34 <zzo38> Now I invented a "macro:" (pseudo) URI scheme; it isn't quite a proper URI scheme as it would only then be used a macro processor uses them to replace stuff and then the real data does not containing any such macro: URIs.
21:16:41 -!- WrenchTurner has joined.
21:18:02 -!- WrenchTurner has quit (Client Quit).
21:21:22 -!- `^_^v has quit (Quit: This computer has gone to sleep).
21:26:02 -!- PinealGlandOptic has joined.
21:51:37 -!- hilquias has joined.
22:05:36 <Phantom_Hoover> Taneb
22:05:42 <Phantom_Hoover> are you going to azeem's flute recital
22:05:48 <Taneb> I am not currently planning to
22:07:19 <Taneb> It's a bit like that guy who did a kickstarter to make potato salad, isn't it?
22:08:51 <Taneb> Like, it got a little bit of attention, then just started getting attention because it was getting attention
22:09:05 <Taneb> I wish Azeem and the other performers all the best, but I do not play to attend
22:09:18 <Taneb> Least of all because it's in California, which is a long way away from York
22:10:14 <Phantom_Hoover> Taneb, so are you just going to have a quiet day in, maybe a cheeky nando's
22:10:31 <Taneb> Well, see, the first issue with me having a cheeky nando's is that I am not a fan of chicken
22:11:24 <Taneb> And I have a linear algebra exam on Tuesday, I was planning on revising for that
22:13:07 <Phantom_Hoover> it was pretty inconsiderate of azeem to schedule his flute recital in the middle of the exams
22:14:23 <Taneb> I think somehow I will find it in myself to forgive him
22:14:33 <Taneb> Especially as I plan to watch the Eurovision Song Contest
22:14:37 <Taneb> Which is also during exams
22:14:58 <Phantom_Hoover> is it too late for azeem to enter...?
22:15:10 <Taneb> Yes
22:15:23 <Taneb> Also I do not believe he is a resident of any country eligible
22:15:26 <Taneb> Not even Australia
22:15:51 <Phantom_Hoover> i think this is a cause that needs fighting for
22:16:48 <Taneb> Perhaps. It is however not my cause.
22:18:36 -!- Herbalist has joined.
22:18:48 <Taneb> My cause is getting 100% in linear algebra and groups, rings, and fields
22:18:58 <Taneb> And a good grade in computability and complexity
22:19:09 <Phantom_Hoover> are you being that guy taneb
22:19:16 <Phantom_Hoover> are you being that guy who tries to get 100%
22:19:25 <Phantom_Hoover> don't be that guy taneb
22:19:27 <Taneb> I believe I am
22:19:33 <Taneb> It is my calling
22:21:36 <Phantom_Hoover> taneeeeb
22:21:41 <Taneb> I did pretty well in Introduction to Group Theory back in January but I lost like two marks
22:21:47 <Taneb> So I am trying harder for these exams
22:22:08 <Phantom_Hoover> do you guys just have really easy exams or are you pushing really hard on being that guy
22:22:08 <Taneb> Also I may have failed Introduction to Artificial Intelligence so I want to bring my grade up somehow
22:22:19 <Taneb> I just knew group theory already
22:22:31 <Taneb> Like, I did maybe 2 hours of revision
22:23:17 <Phantom_Hoover> i was in about the same situation for our intro to abstract algebra and i only got 92%
22:24:02 <Taneb> I messed up the vectors and matrices stuff on my equivalent
22:25:09 <Taneb> Got like 85% or something
22:26:03 <Phantom_Hoover> you said you lost two marks??
22:26:20 <Taneb> That was in Introduction to Group Theory
22:26:35 <Taneb> Completely different
22:26:38 <Taneb> I got 96% in that
22:27:03 -!- spatterworthy has quit (Ping timeout: 246 seconds).
22:27:34 <Phantom_Hoover> well ok
22:27:59 <Taneb> The one I got 86% in (just looked it up) had a bit of basic group theory but also linear algebra and set theory and some other stuff that I have forgotten
22:28:00 <Sgeo> help I'm arguing with someone who thinks Python's behavior here is wrong and should be error or warning:
22:28:01 <Sgeo> In [1]: "a".split("a")
22:28:01 <Sgeo> Out[1]: ['', '']
22:28:03 <Phantom_Hoover> mid 90s is reasonable for a really easy module but if you're actually getting 100% you're trying too hard
22:28:18 <Taneb> I have never got 100%
22:28:25 <Phantom_Hoover> well exactly!
22:28:32 <Taneb> I could have in Intro to Group Theory if I had actually tried, though
22:28:54 <Taneb> I only lost marks because I forgot the Fundamental Theorem of Group Homomorphisms even existed
22:29:48 <Phantom_Hoover> that sounds like something so obvious only a twat would call it a Fundamental Theorem
22:31:05 <Phantom_Hoover> oh it's just an overcomplicated first isomorphism theorem
22:31:55 <Taneb> Quite possibly
22:35:31 <HackEgo> [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=42936&oldid=42931 * * (+51) /* Example programs */
22:40:56 -!- drdanmaku has joined.
22:47:37 -!- root__ has joined.
22:48:45 <Taneb> I think I will sleep now
22:48:48 <Taneb> Goodnight, Phantom_Hoover
22:48:54 <Phantom_Hoover> :/
22:49:40 <root__> I'm back
22:49:50 <root__> wait what the hell why am I root
22:49:57 -!- root__ has changed nick to orin.
22:51:34 <orin> See this is why irssi shouldn't use your username as your nick by default. Everyone will end up being root____ or guest________
22:51:56 <drdanmaku> you use irssi as root?
22:52:23 <orin> I'm using puppy linux, the only user is root
22:52:33 <orin> so eyah
22:53:26 <zen2> I doubt that. It's generally bad practice to run stuff as root that doesn't need to be run as root
22:53:39 <zen2> to the "Everyone will end up being root___"
22:54:16 <orin> I guess most linux distros do use the user acount system
22:54:46 <zen2> I'm not familar with puppy but it really should have a way..
22:54:48 <orin> I always thought on a single user sytem it get in the way more often then not
22:56:29 <orin> anyway I think it does have a way, but meh, only I use this computer so...
22:58:23 <orin> So I'm taking the BOFH's example
23:01:05 <orin> http://www.theregister.co.uk/2006/02/24/bofh_2006_episode_8/
23:01:09 -!- variable has joined.
23:02:34 <HackEgo> [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=42937&oldid=42936 * SuperJedi224 * (+34)
23:04:51 -!- adu has joined.
23:06:38 -!- oerjan has joined.
23:08:50 -!- variable has changed nick to constant.
23:09:14 <oerjan> variable is constantly changing
23:09:18 <oerjan> @messages-
23:09:18 <lambdabot> int-e said 12h 14m 50s ago: Well at least that explains the Dreen lurking below the train monks' fortress.
23:09:18 <lambdabot> int-e said 12h 14m 21s ago: Or rather, it makes it less random.
23:16:57 -!- adu has quit (Quit: adu).
23:17:20 <orin> good evoerjaning!
23:18:46 <oerjan> hellorin
23:19:36 -!- oerjan has set topic: <fungot> oerjan: i've gotten to the metacircular evaluation chapter? | The portmannel | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ | http://esolangs.org/.
23:19:38 <shachaf> hi oerjan
23:20:09 <oerjan> shachaften
23:20:18 <shachaf> help
23:21:22 <oerjan> what's the helproblem?
23:25:24 <shachaf> is that an abbreviation for "afternoon" or something
23:25:29 <shachaf> "shachaf often"?
23:25:31 <shachaf> who knows
23:25:51 <oerjan> no, it's a norwegian word for evening hth
23:28:22 -!- atrapado has quit (Quit: Leaving).
23:30:01 -!- heroux has quit (Ping timeout: 256 seconds).
23:32:14 -!- heroux has joined.
23:32:52 <shachaf> surprisingly, tdh
23:39:20 * pikhq is far more sleepy feeling than is reasonable.
23:40:00 * oerjan tests if pikhq is actually asleep already
23:40:15 * pikhq is not.
23:40:27 * oerjan wonders how pikhq can be sure
23:40:32 * pikhq cannot
23:45:14 -!- bb010g has joined.
23:48:58 <oerjan> <mroman_> I tend to view everything after a <-- hm?
23:49:31 <oerjan> @ask mroman_ <mroman_> I tend to view everything after a <-- hm?
23:49:31 <lambdabot> Consider it noted.
23:52:15 <orin> this kinder egg toy is the best I've gotten in years
23:52:47 <shachaf> "Boyer-Moore" is the name of both a string search algorithm and a theorem prover?
23:52:50 <shachaf> tdnh
23:52:52 <orin> it's a kikass tiny motorcycle with a gyroscope so when it's going fast it syas balanced
23:54:49 <orin> I can only find the string search algorithm
23:59:37 <orin> @metar CYYB
23:59:37 <lambdabot> CYYB 152300Z 16007KT 15SM OVC040 12/08 A3003 RMK SC8 SLP178
←2015-05-14 2015-05-15 2015-05-16→ ↑2015 ↑all