< 1431649645 130444 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :If J is pronounced Y in Norway, does that mean the EU is the JJ? < 1431649669 362142 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Juropian Junjon < 1431649700 429730 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no hth < 1431649733 622341 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ORin: don't listen to shachaf it's just phonetics < 1431649849 76283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ORin: no hth < 1431649914 760240 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ORin: beware the shachafagreeing Norwegian. he's an evil twin hth < 1431649945 104581 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :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? < 1431649960 761299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :europe has uncountably many languages hth < 1431649980 672255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's [eː ʉː] hth < 1431650007 670611 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :[y ø]. < 1431650012 809832 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric < 1431650018 336946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which are incidentally the same as the letters E and U hth < 1431650034 590635 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1431650071 37689 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Ô Canada... Terre de nos aïeux... Ton front est ceint... De fleurons glorieux ♪ < 1431650333 682379 :notfowl!Elite14005@gateway/shell/elitebnc/x-lmqawnfprqloefmt PRIVMSG #esoteric :Does the EU have an anthem < 1431650365 606174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :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 œʉ. < 1431650372 98397 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*to be < 1431650378 899403 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :notfowl: Yes. < 1431650414 854218 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :It is the Oe an die Freude. < 1431650419 224412 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :*Ode < 1431650437 848895 :notfowl!Elite14005@gateway/shell/elitebnc/x-lmqawnfprqloefmt PRIVMSG #esoteric :Weird < 1431650487 673973 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or maybe the southerners actually _do_ pronounce it that way hm < 1431650551 80919 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :So the lyrics are in german < 1431650564 420617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure that the eu anthem is usually sung rather than played, unless you're listening to the whole beethoven symphony... < 1431650572 920589 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :It officially has no lyrics. < 1431650600 505877 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :The Ode an die Freude, as an independent work, typically doesn't have lyrics... < 1431650639 819665 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION 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. < 1431650666 29826 :solid_whiskey!~teakey@23.27.206.118 QUIT :Remote host closed the connection < 1431650705 772818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pikhq: that's really rather weird given that the lyrics are a famous poem... < 1431650745 946236 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :~Freude schoener Goetterfunken tochter aus Elysium! < 1431650760 688366 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*Tochter < 1431650803 875115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :some day i might actually manage to learn the whole of it. < 1431650837 842782 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Maybe they didn't want to use lyrics because of linguistic neutrality or some such nonsense < 1431650856 645825 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ORin: that version has a disturbing lack of diæreses. < 1431650934 268758 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ORin: sounds plausible actually < 1431651005 983134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the eu has too damn many languages to cycle through all of them, anyway < 1431651038 903046 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and no one would be able to sing the czech part hth htt < 1431651047 253250 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :there should be a cyclical European Languages Quine. < 1431651065 955121 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :as long as the Czech part has no ř, everything's fine. < 1431651107 967379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: strč prst skrz krk hth < 1431651172 395994 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :this one is good up until the hth hth < 1431651192 454187 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(yes, I know it's not Czech. still tried to pronounce it as a word.) < 1431651206 316768 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: you know the r needs to be rolled right? < 1431651265 666245 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ah [CENSORED]. < 1431651284 351837 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oh well. there goes my poor attempt at Czech. < 1431651322 354818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :'s ok you're not alone < 1431651506 786140 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :https://www.dropbox.com/s/6egsfotxtd14txt/czechth.ogg?dl=0 < 1431651642 794423 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric < 1431652109 795095 :teakey_!~teakey@23.27.206.118 JOIN :#esoteric < 1431652185 695167 :solid_whiskey!~teakey@23.27.206.118 QUIT :Ping timeout: 246 seconds < 1431652377 252010 :teakey_!~teakey@23.27.206.118 QUIT :Remote host closed the connection < 1431652984 41554 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1431653083 489683 :boily!~alexandre@96.127.201.149 QUIT :Quit: HERPETOLOGICAL CHICKEN < 1431653431 547527 :teakey_!~teakey@23.27.206.118 JOIN :#esoteric < 1431654626 700012 :zen2!~zen@li526-174.members.linode.com JOIN :#esoteric < 1431654739 684536 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1431655956 657090 :teakey_!~teakey@23.27.206.118 NICK :solid_whiskey < 1431656230 822334 :solid_whiskey!~teakey@23.27.206.118 QUIT :Read error: Connection reset by peer < 1431657095 995320 :ORin!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca QUIT :Quit: leaving < 1431658302 144944 :bb010g!uid21050@gateway/web/irccloud.com/x-kvgdmwzshunrpyfn JOIN :#esoteric < 1431662171 298017 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1431662266 950284 :notfowl!Elite14005@gateway/shell/elitebnc/x-lmqawnfprqloefmt NICK :fowl < 1431665408 44253 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca JOIN :#esoteric < 1431665561 317721 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric ::-D<- what does this show as? < 1431665582 849705 :fowl!Elite14005@gateway/shell/elitebnc/x-lmqawnfprqloefmt PRIVMSG #esoteric :: - D < - < 1431665684 894309 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :`unidecode :P < 1431665685 497842 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+003A COLON] [U+0050 LATIN CAPITAL LETTER P] < 1431665697 585236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode 🎲💧 < 1431665698 429640 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+1F3B2 GAME DIE \ UTF-8: f0 9f 8e b2 UTF-16BE: d83cdfb2 Decimal: 🎲 \ 🎲 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) \ \ U+1F4A7 DROPLET \ UTF-8: f0 9f 92 a7 UTF-16BE: d83ddca7 Decimal: 💧 \ 💧 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) < 1431665737 915338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :THANKS EMOJIC 8BALL < 1431665889 499043 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :AAAAAA this damn beep speaker beeps everyitme I press a wrong buttion < 1431665895 990074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i sense that bang has had enough cake for a while < 1431665921 33442 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: fiendish < 1431665940 725086 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :How does the beep speaker work anyway can I disable the driver for it? < 1431665942 791807 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good afternørjan < 1431665951 865167 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shamorning < 1431665959 278437 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it true that "ørjan" has emphasis on both syllables < 1431665962 127933 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :rmmod or some crap? < 1431665977 162201 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo play bureaucracy hth < 1431665991 465123 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's a great game because every time you type a command it doesn't understand, your blood pressure goes up < 1431665996 414900 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and when it goes up too much you die < 1431666034 752753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it has a pitch accent that may sound that way, although the stress is still on the first. < 1431666045 936540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm < 1431666051 114590 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Yeah! rmmod pcspkr work like a charm < 1431666154 967335 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :(Although maybe disabling the dirver for it is a little too extreme a solution.) < 1431666278 177800 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell int-e oooh dreen < 1431666278 298373 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1431666648 878325 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Hmm there doesn't seem to be any better way (which would alow only some programs to beep). < 1431666791 684473 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :Either it's beeping on, or beepin off < 1431666824 628308 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PRIVMSG #esoteric :what the beep < 1431666955 328840 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1431667006 96530 :oren!~oren@TOROON0949W-LP130-01-1242511869.dsl.bell.ca PART :#esoteric < 1431667413 891134 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1431667458 224025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell int-e see http://www.girlgeniusonline.com/comic.php?date=20140618 hth < 1431667458 261484 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1431668634 194196 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 252 seconds < 1431670193 154390 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1431671417 643702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@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 < 1431671417 644615 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1431673764 934366 :KnightArm0!~quassel@200.109.209.88 JOIN :#esoteric < 1431674015 453129 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive QUIT :Ping timeout: 272 seconds < 1431674242 818646 :KnightArm0!~quassel@200.109.209.88 QUIT :Read error: Connection reset by peer < 1431674311 882686 :KnightArm0!~quassel@200.109.209.88 JOIN :#esoteric < 1431674394 159412 :ZombieAlive!~N3cr0naV@unaffiliated/zombiealive JOIN :#esoteric < 1431674860 501272 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1431675270 729959 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1431675589 649295 :lleu!~gnomebad@unaffiliated/lleu QUIT :Ping timeout: 264 seconds < 1431675708 58718 :KnightArm0!~quassel@200.109.209.88 QUIT :Quit: http://quassel-irc.org - Chat comfortably. Anywhere. < 1431675739 988281 :KnightArm0!~quassel@200.109.209.88 JOIN :#esoteric < 1431676174 535620 :solid_whiskey!~teakey@23.27.206.118 JOIN :#esoteric < 1431676834 982084 :KnightArm0!~quassel@200.109.209.88 QUIT :Remote host closed the connection < 1431676856 724969 :KnightArm0!~quassel@200.109.209.88 JOIN :#esoteric < 1431676903 435197 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 272 seconds < 1431677109 866069 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1431677182 645580 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 256 seconds < 1431677366 24542 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1431677490 107397 :KnightArm0!~quassel@200.109.209.88 QUIT :Remote host closed the connection < 1431677493 957902 :KnightArm0_!~quassel@200.109.209.88 JOIN :#esoteric < 1431677755 881848 :hilquias!~user@unaffiliated/hilquias QUIT :Ping timeout: 258 seconds < 1431677794 991856 :tromp__!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1431677843 507509 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1431678306 883054 :KnightArm0_!~quassel@200.109.209.88 QUIT :Remote host closed the connection < 1431678630 921964 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1431679314 503430 :solid_whiskey!~teakey@23.27.206.118 QUIT :Ping timeout: 244 seconds < 1431679407 455748 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: good morning. < 1431679407 976769 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :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. < 1431680111 663053 :solid_whiskey!~teakey@180.175.253.108 JOIN :#esoteric < 1431680150 582624 :solid_whiskey!~teakey@180.175.253.108 QUIT :Max SendQ exceeded < 1431680177 571097 :solid_whiskey!~teakey@180.175.253.108 JOIN :#esoteric < 1431680205 568964 :solid_whiskey!~teakey@180.175.253.108 QUIT :Max SendQ exceeded < 1431680247 487839 :solid_whiskey!~teakey@180.175.253.108 JOIN :#esoteric < 1431680258 511204 :rodgort!~rodgort@105.ip-167-114-152.net QUIT :Ping timeout: 248 seconds < 1431680290 277787 :solid_whiskey!~teakey@180.175.253.108 QUIT :Max SendQ exceeded < 1431680315 571742 :solid_whiskey!~teakey@180.175.253.108 JOIN :#esoteric < 1431680344 571607 :solid_whiskey!~teakey@180.175.253.108 QUIT :Max SendQ exceeded < 1431680370 321872 :solid_whiskey!~teakey@180.175.253.108 JOIN :#esoteric < 1431680389 379598 :solid_whiskey!~teakey@180.175.253.108 QUIT :Max SendQ exceeded < 1431680420 695171 :solid_whiskey!~teakey@180.175.253.108 JOIN :#esoteric < 1431680575 550126 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^8ball < 1431680575 602989 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :No. < 1431680931 363642 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 272 seconds < 1431681024 597533 :rodgort!~rodgort@105.ip-167-114-152.net JOIN :#esoteric < 1431682040 495218 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi QUIT :Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406] < 1431682564 284105 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi JOIN :#esoteric < 1431684389 801972 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No emoji there. < 1431684811 696476 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah < 1431684815 489523 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :we need emoji8ball < 1431684856 381680 :impomatic_!~digital_w@31.185.153.201 JOIN :#esoteric < 1431685465 434824 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1431686108 778509 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Unlambda as a Racket #lang https://github.com/jkominek/unlambda < 1431686245 638758 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what's that hash doing there... < 1431686294 627595 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :You mean the hashtag symbol? < 1431686308 319574 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I can only see a number sign < 1431686576 670875 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: I just hate seeing those things on IRC. < 1431686619 984427 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(or anywhere else for that matter, including twitter) < 1431686623 959492 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :IRC should support a mode where any message with a channel name in it is sent to that channel < 1431686634 868955 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... < 1431686637 977472 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no. < 1431686805 747205 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION mapoles Jafet < 1431686893 351281 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Anyway, I believe #lang is racket syntax to set the language mode. (If I'm wrong, hopefully someone in #lang will point that out.) < 1431687002 326930 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :#I #still #believe #it's #a #very #bad #idea #hashtaghash < 1431687166 609980 :impomatic_!~digital_w@31.185.153.201 QUIT :Quit: http://corewar.co.uk < 1431687269 54519 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@tell oerjan Well at least that explains the Dreen lurking below the train monks' fortress. < 1431687269 55658 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1431687298 48677 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@tell oerjan Or rather, it makes it less random. < 1431687298 169138 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1431687526 992305 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1431687527 522275 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYUL 151000Z 24004KT 30SM OVC250 08/01 A3027 RMK CI8 CONTRAILS SLP252 < 1431687531 165196 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar ENVA < 1431687531 838513 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ENVA 151050Z 30007KT 260V340 9999 SCT050 08/M02 Q1016 NOSIG RMK WIND 670FT 30010KT < 1431687566 218781 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I tend to view everything after a # as a comment until the end of line. < 1431689191 278152 :boily!~alexandre@96.127.201.149 QUIT :Quit: SUBDUCTIVE CHICKEN < 1431689296 15673 :clog!~nef@bespin.org QUIT :Ping timeout: 265 seconds < 1431691938 635257 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1431692652 215348 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1431693474 694393 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: What is your plan for handling refugees? < 1431693475 455176 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :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 < 1431693517 484094 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :fungot: Can you summarize that? < 1431693517 604708 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :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. < 1431693537 649893 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 252 seconds < 1431693812 930599 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Does HTTP2 have built-in CSRF protections? < 1431693859 295215 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or browsers could actually do that themselves by using an X- header of some sort < 1431693901 706190 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what's a "CSRF"? < 1431693917 96845 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :cross site request forgery < 1431693940 855073 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a type of a web-attack < 1431693991 622001 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. tricking somebody into clicking on a link like uhm... http://example.com/deleteEverything.php < 1431693997 930808 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which then deletes everything < 1431694024 769933 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which works because browsers will send the login cookie no matter if you really wanted to click on that or not < 1431694035 718439 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42925&oldid=42924 5* 0350.207.43.222 5* (-1) 10 < 1431694036 324279 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh yes, the javascript stuff. I don't know how all that works. < 1431694053 400718 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It works without javascript as well. < 1431694060 790451 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, there are variants < 1431694074 65785 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :see wikipedia < 1431694074 882978 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42926&oldid=42925 5* 0350.207.43.222 5* (-1) 10/* Truth-machine */ Golfed out one further character < 1431694090 140664 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman_: yeah, but javascript can also send POST requests < 1431694094 41232 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yup < 1431694157 210724 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:SuperJedi22414]]4 10 02http://esolangs.org/w/index.php?diff=42927&oldid=42326 5* 03SuperJedi224 5* (-5) 10 < 1431694271 404288 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I think for XMLHttpRequests browsers will send an origin header < 1431694302 255937 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42928&oldid=42926 5* 03SuperJedi224 5* (+30) 10/* Example programs */ < 1431694338 969153 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1431694453 825403 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42929&oldid=42928 5* 03SuperJedi224 5* (+0) 10/* Calculate square of input */ Updated < 1431694456 102521 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :technically if I read that draft correctly < 1431694464 717991 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you could rely solely on checking the origin header < 1431694522 571774 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it isn't an official header yet at IANA? < 1431694544 611392 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or is it? < 1431694620 454174 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1431694666 648151 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :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? < 1431694692 416507 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm quite sure in the first part, but not about the rest. < 1431694728 839235 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net JOIN :#esoteric < 1431694754 998091 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42930&oldid=42929 5* 03SuperJedi224 5* (+0) 10/* Hello, world! */ < 1431694847 694905 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Microscript14]]4 10 02http://esolangs.org/w/index.php?diff=42931&oldid=42930 5* 03SuperJedi224 5* (-1) 10/* Truth-machine */ < 1431694898 459648 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :int-e: It's not a hashtag, it's Racket notation. < 1431694912 30765 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Racket files start with a #lang declaration that indicates what language it is. < 1431694943 415037 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :#lang racket, for instance, or #lang heresy or #lang unlambda, or whatever. < 1431694988 392818 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1431695239 243901 :solid_whiskey!~teakey@180.175.253.108 QUIT :Ping timeout: 255 seconds < 1431695459 214695 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b_jonas: that's called the "double submit" method < 1431695475 363923 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you have a cookie with a secret values and all requests need to include the same value in a hidden field < 1431695482 713737 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :then you check if the two values match < 1431695511 169762 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which would require an attacker to guess the cookie value < 1431695517 32688 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or somehow obtain it < 1431695523 936646 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(i.e. through XSS, sniffing or whatever means) < 1431695688 664204 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07CalScript14]]4 10 02http://esolangs.org/w/index.php?diff=42932&oldid=42773 5* 03Vriskanon 5* (+2606) 10*Work in progress * Added tables for how the commands work. < 1431695689 630035 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :J_Arcane: ok. < 1431695788 730931 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :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. < 1431695852 249007 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :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. < 1431695893 976192 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I can link to details.) < 1431696115 971530 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :b_jonas: that depends on the web-application. < 1431696145 989903 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there's nothing that prohibits a webapp from modifying stuff even if it's a GET request :) < 1431696546 935758 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07CalScript14]]4 M10 02http://esolangs.org/w/index.php?diff=42933&oldid=42932 5* 03Vriskanon 5* (+1349) 10/* Commands */ Added the HEE commands - Tape Manipulation < 1431696591 744021 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman_: sure, nothing that prohibits it, it's just usually a bad idea < 1431696603 387355 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :not necessarily < 1431696619 318 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :usually. < 1431696622 899732 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :it's up to you < 1431696640 653971 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and by "modify", I mean modify semantically, not just, say, modify the access logs. < 1431696774 115135 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1431696863 718615 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :sure < 1431697025 454533 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :technically nothing prevents you from using a GET /mypage/command/modify/whatever/super_secret_has_verification_code/ to modify something < 1431697056 235022 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu PRIVMSG #esoteric :it's up to your http server what he does with GET requests :) < 1431697246 970052 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07CalScript14]]4 10 02http://esolangs.org/w/index.php?diff=42934&oldid=42933 5* 03Vriskanon 5* (+1513) 10/* Commands */ Added the HOO commands - Stack and Tape Interaction < 1431697628 659425 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :technically fungot < 1431697629 746358 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :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 < 1431697637 721041 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^style fnord < 1431697637 810955 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Not found. < 1431697640 616201 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::( < 1431697826 655729 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07CalScript14]]4 10 02http://esolangs.org/w/index.php?diff=42935&oldid=42934 5* 03Vriskanon 5* (+3236) 10Added a list of all commands < 1431697850 485981 :KnightArm0!~quassel@200.109.209.88 JOIN :#esoteric < 1431698450 270948 :spatterworthy!187bcd2d@gateway/web/freenode/ip.24.123.205.45 JOIN :#esoteric < 1431698491 713886 :KnightArm0!~quassel@200.109.209.88 QUIT :Read error: Connection reset by peer < 1431698518 730233 :KnightArm0!~quassel@200.109.209.88 JOIN :#esoteric < 1431698788 407668 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1431699784 435800 :KnightArm0!~quassel@200.109.209.88 QUIT :Read error: Connection reset by peer < 1431699897 414029 :KnightArm0!~quassel@200.109.209.88 JOIN :#esoteric < 1431700272 506121 :doesthiswork!~Adium@71-20-42-132.war.clearwire-wmx.net QUIT :Quit: Leaving. < 1431701381 209650 :spatterworthy!187bcd2d@gateway/web/freenode/ip.24.123.205.45 QUIT :Quit: Page closed < 1431701669 554251 :KnightArm0!~quassel@200.109.209.88 QUIT :Read error: Connection reset by peer < 1431702004 732755 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1431702318 826879 :hilquias!~user@unaffiliated/hilquias JOIN :#esoteric < 1431704576 746687 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 256 seconds < 1431704603 381469 :zzo38!~zzo38@24-207-56-9.eastlink.ca JOIN :#esoteric < 1431704861 18256 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1431705340 828676 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1431706143 912049 :hilquias`!~user@187.58.102.170 JOIN :#esoteric < 1431706238 701963 :hilquias!~user@unaffiliated/hilquias QUIT :Ping timeout: 272 seconds < 1431707419 674996 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Timeline of esoteric programming includes even dates in the future and stuff outside of time. < 1431707473 510389 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :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 < 1431708386 801506 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How can I download page 549 and 550 of Penrose's "Road to Reality" book? < 1431709182 660629 :bb010g!uid21050@gateway/web/irccloud.com/x-kvgdmwzshunrpyfn QUIT :Quit: Connection closed for inactivity < 1431709528 623326 :Weloxux!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving < 1431710079 467497 :Froo!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Quit: *bubbles away* < 1431710840 505286 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1431711056 942052 :variable!~variable@freebsd/developer/variable NICK :trout < 1431711123 549714 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :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, < 1431711296 522697 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :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 ??< < 1431711316 440877 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :? < 1431711642 206650 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :How will it then know what error messages to display in that case instead? < 1431711681 408041 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yes, that's why it's difficult, and I'm not sure it's possible (at least in some cases) < 1431711707 300736 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe sometimes it has to backtrack and reparse stuff as if it didn't recognize ??< at all < 1431711718 40216 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if the messages would give away too much otherwise < 1431712199 840872 :Frooxius!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431712220 542960 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It could remember and then "implicitly close the loop" before further parsing and displaying error messages? < 1431712258 200260 :Froox!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net JOIN :#esoteric < 1431712373 99453 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you could steal ed's error message < 1431712388 544596 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's pretty good at not giving away information < 1431712479 178869 :Frooxius!~Frooxius@199-241-202-205.PUBLIC.monkeybrains.net QUIT :Ping timeout: 252 seconds < 1431712890 262966 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Many parsers are based on not backtracking < 1431713477 34733 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1431713643 710919 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 264 seconds < 1431713650 158626 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh my, are we actually designing a programming language < 1431713965 408307 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :quick, give me 8 random symbols *ducks* < 1431714196 818844 :hilquias`!~user@187.58.102.170 QUIT :Remote host closed the connection < 1431714364 444758 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`` tr -cd '[:print:]' 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/ < 1431731978 139195 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi oerjan < 1431732009 295310 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaften < 1431732018 234590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1431732082 339979 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what's the helproblem? < 1431732324 798567 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is that an abbreviation for "afternoon" or something < 1431732329 597021 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"shachaf often"? < 1431732331 385780 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :who knows < 1431732351 616703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, it's a norwegian word for evening hth < 1431732502 966280 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1431732601 145020 :heroux!sandroco@gateway/shell/insomnia247/x-ftvwkolyowrydrwh QUIT :Ping timeout: 256 seconds < 1431732734 443295 :heroux!sandroco@gateway/shell/insomnia247/x-ljtfjyjlkptuxyrc JOIN :#esoteric < 1431732772 296070 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :surprisingly, tdh < 1431733160 701136 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :ACTION is far more sleepy feeling than is reasonable. < 1431733200 581621 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION tests if pikhq is actually asleep already < 1431733215 375219 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :ACTION is not. < 1431733227 674933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION wonders how pikhq can be sure < 1431733232 457773 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b PRIVMSG #esoteric :ACTION cannot < 1431733514 204365 :bb010g!uid21050@gateway/web/irccloud.com/x-kwjkqoxcpglnhwwn JOIN :#esoteric < 1431733738 27244 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I tend to view everything after a <-- hm? < 1431733771 154630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ask mroman_ I tend to view everything after a <-- hm? < 1431733771 274949 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1431733935 803997 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :this kinder egg toy is the best I've gotten in years < 1431733967 896582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Boyer-Moore" is the name of both a string search algorithm and a theorem prover? < 1431733970 901945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tdnh < 1431733972 18197 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :it's a kikass tiny motorcycle with a gyroscope so when it's going fast it syas balanced < 1431734089 514098 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :I can only find the string search algorithm < 1431734377 900034 :orin!~root@nrba3-2.onlink.net PRIVMSG #esoteric :@metar CYYB < 1431734377 994113 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYYB 152300Z 16007KT 15SM OVC040 12/08 A3003 RMK SC8 SLP178