00:01:22 -!- Froox has quit (Ping timeout: 240 seconds).
00:02:58 -!- Froo has quit (Ping timeout: 255 seconds).
00:03:58 -!- Frooxius has joined.
00:05:01 -!- Froox has joined.
00:05:56 -!- Froo has joined.
00:08:56 -!- Frooxius has quit (Ping timeout: 272 seconds).
00:09:47 -!- Froox has quit (Ping timeout: 264 seconds).
00:13:04 -!- ^v has quit (Read error: Connection reset by peer).
00:13:32 <oren> Now I want to use these in my next assignment. "Let 🍩 (x) be the proposition that x is a donut..."
00:13:39 -!- ^v has joined.
00:27:04 <HackEgo> U+1F369 DOUGHNUT \ UTF-8: f0 9f 8d a9 UTF-16BE: d83cdf69 Decimal: 🍩 \ 🍩 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
00:35:17 -!- L8D has quit (Ping timeout: 246 seconds).
01:04:19 -!- GeekDude has joined.
01:06:35 <oerjan> grmble no confirmation whether my yafgc comment was posted/sent to moderation or summarily refused (i included both an Ø and a url, although to the same site)
01:07:00 -!- Froox has joined.
01:08:40 <oerjan> oh well if it doesn't go through then they don't deserve my wisdom anyway.
01:10:59 -!- Froo has quit (Ping timeout: 264 seconds).
01:11:29 -!- Froox has quit (Ping timeout: 245 seconds).
01:20:15 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:20:37 -!- Frooxius has joined.
01:21:24 -!- Froox has joined.
01:21:57 -!- ProofTechnique has quit (Ping timeout: 245 seconds).
01:24:52 -!- Frooxius has quit (Ping timeout: 245 seconds).
01:31:03 -!- kapil___ has joined.
01:49:14 -!- zzo38 has joined.
01:53:33 -!- password2 has joined.
02:03:04 -!- Froo has joined.
02:04:12 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
02:06:32 -!- Froox has quit (Ping timeout: 245 seconds).
02:07:35 -!- Froo has quit (Ping timeout: 256 seconds).
02:18:08 -!- L8D has joined.
02:20:49 -!- password2 has quit (Ping timeout: 264 seconds).
02:22:14 -!- Frooxius has joined.
02:23:20 -!- Froox has joined.
02:26:17 -!- idris-bot has quit (Ping timeout: 256 seconds).
02:27:35 -!- Melvar has quit (Ping timeout: 246 seconds).
02:27:38 -!- Frooxius has quit (Ping timeout: 272 seconds).
02:41:39 <oren> a triangle is a quadrilateral with two identical vertices
02:44:24 <oren> however, a quadrilateral is NOT a pair of triangles with two vertices in common
02:45:39 <oren> Why? because the other two points also need to be guaranteed to be on opposite sides of the line formed by the two common vertices
02:56:26 <oren> nevermind, I'mma figure out my newest language idea instead. So, suppose you have some stateful code with local variables, inside a subroutine called foo. I propose a construct where, when calling foo, the return value is not merely a value, but is a dictionary of all the local state variables of foo.
03:03:48 -!- callforjudgement has joined.
03:06:52 -!- elliott__ has joined.
03:07:10 -!- int-e_ has joined.
03:07:34 -!- ski_ has joined.
03:09:03 -!- yorick_ has joined.
03:09:17 -!- j-bot has quit (Ping timeout: 245 seconds).
03:09:19 -!- ais523 has quit (Read error: Connection reset by peer).
03:09:20 -!- int-e has quit (Ping timeout: 245 seconds).
03:09:20 -!- ski has quit (Ping timeout: 245 seconds).
03:09:21 -!- elliott has quit (Ping timeout: 240 seconds).
03:09:27 -!- callforjudgement has changed nick to ais523.
03:09:27 -!- yorick has quit (Ping timeout: 245 seconds).
03:11:58 -!- Froox has quit (Ping timeout: 272 seconds).
03:15:47 -!- ProofTechnique has joined.
03:17:28 -!- password2 has joined.
03:24:29 -!- kcm1700_ has quit (Ping timeout: 252 seconds).
03:27:56 -!- Melvar has joined.
03:44:37 -!- idris-bot has joined.
03:57:22 -!- password2 has quit (Ping timeout: 245 seconds).
03:59:19 -!- oerjan has quit (Quit: Nt).
04:05:20 -!- Frooxius has joined.
04:48:16 -!- FreeFull has quit (Ping timeout: 255 seconds).
04:49:26 -!- Frooxius has quit (Quit: *bubbles away*).
05:33:28 -!- Patashu has joined.
05:37:04 -!- Patashu_ has joined.
05:37:04 -!- Patashu has quit (Disconnected by services).
05:41:18 -!- Patashu has joined.
05:41:43 -!- Frooxius has joined.
05:44:27 -!- Patashu_ has quit (Ping timeout: 245 seconds).
05:46:33 -!- Patashu has quit (Disconnected by services).
05:46:33 -!- Patashu_ has joined.
05:49:58 -!- Patashu has joined.
05:52:59 -!- Patashu_ has quit (Ping timeout: 252 seconds).
05:57:18 -!- Patashu has quit (Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
06:00:02 -!- Frooxius has quit (Ping timeout: 246 seconds).
06:19:44 -!- j-bot has joined.
06:20:24 -!- j-bot has quit (Remote host closed the connection).
06:20:34 -!- j-bot has joined.
06:21:02 -!- j-bot has quit (Remote host closed the connection).
06:21:26 -!- j-bot has joined.
07:08:18 -!- L8D has quit (Ping timeout: 265 seconds).
07:40:28 -!- Phantom_Hoover has joined.
08:12:34 -!- hjulle has joined.
08:14:02 -!- int-e_ has changed nick to int-e.
08:26:52 -!- boily has joined.
09:00:12 -!- bb010g has quit (Quit: Connection closed for inactivity).
09:04:32 -!- ProofTechnique has quit (Ping timeout: 246 seconds).
09:15:24 <Taneb> ...next year I'll have a module in what is essentially Eodermdrome++
09:22:51 -!- boily has quit (Quit: BICUBIC CHICKEN).
09:31:17 <Taneb> http://www.cs.york.ac.uk/undergraduate/modules/grat.html
09:31:49 <f|`-`|f> I should probably start being alive to understand
09:33:07 <ais523> the "description" and "aims" are the same, except that the "aims" starts with a couple of bullet points that aren't in the "description"
09:35:03 <ais523> also, Firefox's new search box is so much worse than the old one
09:35:16 <ais523> for someone like me who uses site-specific search a lot
09:35:30 <f|`-`|f> I don't know how to site-specific
09:35:43 <f|`-`|f> isn't that `site:<<site>>`
09:35:55 <ais523> no, that's using Google or the like to search one site
09:36:03 <ais523> I mean, searching sites using the site's own search engine
09:36:12 <ais523> e.g. I can set the Firefox dropdown box to search Esolang, or Wikipedia, or the like
09:36:22 <ais523> except I used to be able to select the search engine first, then search
09:36:48 <ais523> now, I have to enter the search query first, then click on the search engine, and pressing return will always search the default search engine (which can only be changed through configuration)
09:38:24 -!- ProofTechnique has joined.
09:48:02 <ais523> `unicode LOWERCASE GREEK LETTER THETA
09:48:20 <ais523> `unicode LOWERCASE GREEK THETA
09:48:29 <ais523> `unicode SMALL GREEK LETTER THETA
09:48:39 <HackEgo> U+0398 GREEK CAPITAL LETTER THETA \ UTF-8: ce 98 UTF-16BE: 0398 Decimal: Θ \ Θ (θ) \ Lowercase: U+03B8 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ \ U+03B8 GREEK SMALL LETTER THETA \ UTF-8: ce b8 UTF-16BE: 03b8 Decimal: θ \ θ (Θ) \ Uppercase: U+0398 \ Category: Ll (Letter, Lowercase) \ Bidi: L (Left-to-Right) \
09:49:28 <ais523> `unicode GREEK SMALL LETTER TAU
09:53:31 -!- L8D has joined.
09:58:34 -!- L8D has quit (Ping timeout: 244 seconds).
10:15:15 -!- ais523 has quit.
10:34:22 -!- FreeFull has joined.
10:53:09 -!- FreeFull has quit (Ping timeout: 245 seconds).
11:03:42 -!- ski_ has changed nick to ski.
11:16:51 -!- yorick_ has changed nick to yorick.
11:18:12 <Taneb> fnordbot, how are you doing?
11:18:13 <fnordbot> Taneb: respects." " who said that?" " try to explain to her to know that in to the reader's digest. glad you could make it a paying proposition. he had no discernible mongoloid characteristics, and the only vestiges left in mr l prosser was," he was saying, " magrathea is a myth, a fairy story, it's what parents tell their kids at school nicknamed him ix, which in the language. " at a wild guess, i'd be all." " i just don't say
11:19:03 <Taneb> When I'm not panicking about this coursework that's in for tomorrow, I shall learn J!
11:22:35 <int-e> Oh I need to learn Plankalkül.
11:24:03 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds).
11:26:28 -!- FreeFull has joined.
11:27:51 -!- GeekDude has joined.
11:32:57 -!- bb010g has joined.
11:58:55 -!- oren has quit (Ping timeout: 255 seconds).
12:11:45 -!- Tritonio has joined.
12:14:09 -!- ais523 has joined.
12:15:51 -!- oren has joined.
12:18:51 -!- `^_^v has joined.
12:34:38 -!- ^v has quit (Read error: Connection reset by peer).
12:35:03 -!- ^v has joined.
12:54:39 -!- oren has quit (Quit: Lost terminal).
13:18:42 <Taneb> http://m.bbc.co.uk/news/entertainment-arts-31858156 :((((
13:30:09 -!- bb010g has quit (Quit: Connection closed for inactivity).
13:31:28 -!- L8D has joined.
13:33:10 -!- int-e has set topic: RIP Terry Pratchett | I'm a fungot trapped in a house with Internet but no one there to connect me | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/.
13:35:42 -!- L8D has quit (Ping timeout: 245 seconds).
13:41:52 <Taneb> He has been my favourite author for quite a long time now, it is so sad to know that he is not around any more
13:49:06 -!- ais523 has quit.
13:56:30 -!- AndoDaan has joined.
13:59:22 <int-e> Hmm, who else died... Sam Simon?
14:00:16 <int-e> Oh, that was a long time ago.
14:00:26 <Taneb> That was like last week
14:00:42 <int-e> a bit over two weeks
14:01:01 <int-e> oh wait. 13 days. stupid february
14:01:28 <int-e> a lot of people have died in the meantime.
14:03:00 <AndoDaan> How many people will mourn your passing do you think?
14:05:44 <AndoDaan> That not too bad. Close family and a best friend?
14:07:07 <int-e> Maybe 10, but yeah, close family and perhaps a colleague or two.
14:09:05 <int-e> And I guess (can I say hope without sounding like an asshole?) that I'll survive most of that close family, so the number may become smaller.
14:10:34 <int-e> AndoDaan: to be fair, I didn't hear of any notable death between Leonard Nimoy and Sam Simon, but the latter seemed significant enough.
14:10:51 <Jafet> Live a life such that your death will be celebrated by millions
14:11:25 -!- AndoDaan_ has joined.
14:11:52 -!- AndoDaan has quit (Ping timeout: 240 seconds).
14:12:44 <AndoDaan_> int-e, we got lucky with Ford surviving.
14:13:39 <AndoDaan_> "Be Hitler" sage advice from Jafet
14:13:56 -!- AndoDaan_ has changed nick to AndoDaan.
14:16:36 <Jafet> Nah, that's going a bit too far. You shouldn't kill yourself just because you want to be celebrated right now.
14:17:05 -!- AndoDaan_ has joined.
14:19:46 -!- AndoDaan has quit (Ping timeout: 255 seconds).
14:19:53 -!- AndoDaan_ has changed nick to AndoDaan.
14:27:26 <zzo38> Did you download the new Famicompo?
14:35:14 -!- ^v^v has joined.
14:38:17 -!- ^v has quit (Ping timeout: 265 seconds).
14:38:17 -!- Melvar` has joined.
14:39:15 -!- idris-bot has quit (Ping timeout: 265 seconds).
14:40:28 -!- Melvar has quit (Ping timeout: 255 seconds).
14:44:55 -!- Fleur has joined.
15:01:29 <HackEgo> [wiki] [[Clip]] http://esolangs.org/w/index.php?diff=42113&oldid=42108 * Ypnypn * (+0) /* Constants */
15:01:41 -!- Melvar` has changed nick to Melvar.
15:02:05 -!- idris-bot has joined.
15:19:24 -!- MoALTz__ has quit (Quit: Leaving).
15:19:45 -!- MoALTz has joined.
15:32:59 -!- Koen_ has joined.
15:56:42 -!- arjanb has joined.
16:20:42 -!- nycs has joined.
16:21:27 -!- `^_^v has quit (Ping timeout: 252 seconds).
16:46:32 -!- augur has quit (Ping timeout: 246 seconds).
16:52:42 -!- nycs has changed nick to `^_^v.
17:04:14 -!- `^_^v has quit (Quit: This computer has gone to sleep).
17:06:42 -!- AndoDaan has quit (Ping timeout: 252 seconds).
17:08:58 -!- L8D has joined.
17:10:12 -!- `^_^v has joined.
17:13:00 -!- Frooxius has joined.
17:13:18 -!- L8D has quit (Ping timeout: 252 seconds).
17:36:40 -!- nortti has changed nick to LouisNapoleon.
17:36:54 -!- LouisNapoleon has changed nick to nortti.
17:38:55 -!- erdic has quit (Ping timeout: 244 seconds).
17:39:17 -!- erdic has joined.
17:42:14 -!- augur has joined.
17:56:07 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?").
18:10:57 -!- bb010g has joined.
18:13:32 -!- Lymia has quit (Remote host closed the connection).
18:13:58 -!- Lymia has joined.
18:14:42 -!- AndoDaan has joined.
18:17:01 -!- arjanb has quit (Ping timeout: 246 seconds).
18:24:23 -!- naturalog has quit (Ping timeout: 244 seconds).
18:26:31 -!- L8D has joined.
18:26:51 -!- `^_^v has quit (Quit: This computer has gone to sleep).
18:30:29 -!- `^_^v has joined.
18:32:52 -!- ProofTechnique has quit (Ping timeout: 240 seconds).
18:37:15 -!- j-bot has quit (Remote host closed the connection).
18:37:24 -!- j-bot has joined.
18:37:52 -!- AnotherTest has joined.
18:42:32 -!- ^v^v has quit (Read error: Connection reset by peer).
18:42:56 -!- ^v^v has joined.
18:44:24 -!- heroux has quit (Ping timeout: 245 seconds).
18:46:09 -!- naturalo1 has joined.
18:47:27 -!- heroux has joined.
18:47:57 -!- Lymia has quit (Remote host closed the connection).
18:48:39 -!- Lymia has joined.
18:48:54 -!- naturalo1 has changed nick to naturalog.
18:50:06 <zzo38> Apparently the IO monad was actually invented in 1965.
19:08:08 -!- ProofTechnique has joined.
19:09:10 -!- oren has joined.
19:14:09 <oren> Everything was invented about 1960 something.
19:14:38 <oren> Nothing ever actually happened prior to 1961
19:14:55 -!- michael12 has joined.
19:15:32 <HackEgo> 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 irc.dal.net.)
19:15:57 <HackEgo> 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 irc.dal.net.)
19:16:12 <AndoDaan> I doing well, thank you. Yourself?
19:16:57 <int-e> We're from the Internet. :P
19:17:12 <oren> canada = internet
19:17:18 <zzo38> int-e: Are you sure?
19:17:47 <int-e> zzo38: I think so...
19:18:00 <AndoDaan> "but i can speak some english"
19:18:20 <AndoDaan> Did I get that right. Can I speak Turkish?
19:20:24 -!- michael12 has changed nick to turkishpizza.
19:20:58 <int-e> all this nick polymorphism makes me dizzy
19:21:47 -!- turkishpizza has changed nick to ardaturan.
19:22:10 -!- ardaturan has changed nick to kivanctatlitug.
19:23:06 -!- kivanctatlitug has changed nick to mayk.
19:23:11 -!- mayk has quit (Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )).
19:23:38 -!- L8D has quit (Ping timeout: 246 seconds).
19:36:33 -!- L8D has joined.
19:36:49 <AndoDaan> Nope, can't think of anything clever.
19:37:45 -!- Froox has joined.
19:40:39 -!- Frooxius has quit (Ping timeout: 245 seconds).
19:41:44 -!- Frooxius has joined.
19:42:25 -!- Froox has quit (Ping timeout: 264 seconds).
19:42:46 -!- Froox has joined.
19:43:50 -!- Froo has joined.
19:46:01 -!- Frooxius has quit (Ping timeout: 244 seconds).
19:46:29 -!- Frooxius has joined.
19:47:34 -!- Froox has quit (Ping timeout: 244 seconds).
19:48:05 -!- Froo has quit (Ping timeout: 244 seconds).
19:48:39 -!- boily has joined.
19:51:03 -!- CrazyM4n has joined.
19:58:02 -!- `^_^v has quit (Quit: This computer has gone to sleep).
20:06:20 -!- L8D has quit (Ping timeout: 246 seconds).
20:13:07 -!- L8D has joined.
20:29:52 -!- AnotherTest has quit (Ping timeout: 240 seconds).
20:32:44 -!- oren has quit (Ping timeout: 245 seconds).
20:36:00 -!- CrazyM4n has quit (Remote host closed the connection).
20:39:02 -!- CrazyM4n has joined.
20:39:40 -!- adu has joined.
20:42:15 -!- CrazyM4n has quit (Remote host closed the connection).
20:43:15 -!- Frooxius has quit (Quit: *bubbles away*).
20:45:30 -!- CrazyM4n has joined.
20:47:21 -!- oerjan has joined.
20:56:13 -!- L8D has quit (Ping timeout: 264 seconds).
20:56:23 -!- Fleur has quit (Read error: Connection reset by peer).
21:00:09 -!- bb010g has quit (Quit: Connection closed for inactivity).
21:01:44 -!- Phantom_Hoover has joined.
21:16:38 -!- L8D has joined.
21:25:48 -!- Frooxius has joined.
21:26:13 -!- AndoDaan has quit (Ping timeout: 265 seconds).
21:31:49 -!- CrazyM4n has quit (Remote host closed the connection).
21:50:24 -!- bb010g has joined.
21:53:49 -!- L8D has quit (Ping timeout: 250 seconds).
22:03:44 -!- Tritonio has quit (Ping timeout: 272 seconds).
22:06:51 -!- Tritonio has joined.
22:14:53 -!- adu has quit (Quit: adu).
22:22:03 -!- L8D has joined.
22:46:01 -!- L8D has quit (Ping timeout: 255 seconds).
23:01:00 -!- L8D has joined.
23:03:59 -!- dianne has quit (Ping timeout: 245 seconds).
23:05:55 -!- dianne has joined.
23:30:04 -!- boily has quit (Quit: EPOXIED CHICKEN).
23:30:12 -!- L8D has quit (Ping timeout: 264 seconds).
23:34:17 -!- oren has joined.
23:40:40 <oren> I have invented a system for representing time of day, called "global color time". For example, right now it is Red 100
23:41:13 <oren> in three hours it will be purple 40
23:43:29 <oren> the six colors of the color wheel are assigned 240 minutes each
23:53:15 <oren> Since there's no "first" color on a color wheel, there is no need for time zones in this system
23:54:14 <Zuu> well, there kindof is, since noon is different time in different zones
23:55:26 <oren> Right but people in Toronto can just remember that noon in Toronto is blue 115
23:55:35 <Zuu> its just, the zone info is needed to figure out what time of day, the actual color is, rather than figuring out what time corresponds to what time of day in a different zone
23:55:46 <oren> er, that's not right, but you see wheat i mean
23:55:52 <Zuu> That's no different than just using plain numbers
23:56:11 <Zuu> just map all the colors to sequential numbers, bam
23:56:27 <Zuu> the color aspect solves nothing :P
23:56:34 <oren> But see, here there is no need to have different nubmers in different places
23:56:57 <Zuu> say red is 1
23:56:59 <oren> red 116 is red 116 throughout the whole earth
23:57:27 <Zuu> then 1 italy is noon, while 1 in spain is afternoon
23:57:35 <Zuu> same difference
23:58:01 <Zuu> the entire color thing is pointless :>
23:58:12 <Zuu> it's a needless obfuscation
23:58:25 <oren> but the sequential numbers give one time zone, britain to be exact, precedence
23:58:27 <zzo38> Maybe, although, we still have names of months, days of weeks, and astrological signs.
23:58:48 <Zuu> oren: MAP RED TO 1
23:59:00 <Zuu> use your scheme saying one instead of red!
23:59:15 <zzo38> Red is also the lowest frequency of colors compared to blue.
23:59:28 <Zuu> the colors are pointless
23:59:46 <Zuu> in any case, the timezone info cannot be ignored
23:59:56 <Zuu> colors, numbers, anything