←2012-04-17 2012-04-18 2012-04-19→ ↑2012 ↑all
00:05:03 <noor_> hey guys give me the crumb trail for "electric sleep" kjh^ (8) ~chances are not good
00:08:39 <noor_> does brain fuck even exist I am skeptical.
00:27:53 <calamari> noor_: http://www.muppetlabs.com/~breadbox/bf/
00:38:11 <noor_> HMM, n how do you type half of a y??
00:39:47 <kmc> noor_ is already a strong contender for the Employee of the Month Award
00:43:31 -!- Nisstyre has quit (Ping timeout: 276 seconds).
00:44:03 <noor_> great I'll spend the next week figuring out how to make pointers to pointers time well spent
00:45:14 -!- noor_ has quit (Quit: noor_).
00:58:05 -!- Nisstyre has joined.
01:21:33 <Sgeo> monqy, UPDATE
01:21:39 <monqy> hi Sgeo
01:21:45 <Sgeo> hi monqy
01:21:49 <monqy> isn't shachaf on the update list too?
01:21:52 <monqy> shachaf, UPDATE
01:22:26 <shachaf> monqy :'(
01:22:42 <shachaf> monqy: iMMNRM notao on the a upadate taltist!!!!
01:23:11 <monqy> Sgeo: I'll translate for you
01:23:15 <monqy> Sgeo: I speak shachafese
01:23:27 <monqy> Sgeo: he said "yes thank you monqy I love being on the update list"
01:23:36 <shachaf> :'(
01:23:47 <monqy> Sgeo: "hi monqy"
01:23:57 <shachaf> monqy: DID YOU KNOW: In Hebrew, "shachefet" means "tuberculosis"?
01:24:05 <shachaf> It also means "shachaf disease".
01:24:10 <shachaf> "shachaf" means "seagull".
01:24:41 <monqy> i ddindnt know
01:24:44 <monqy> thanks shachaf
01:24:46 <monqy> now i know
01:24:51 -!- augur has joined.
01:25:06 <shachaf> Sgeo: In shachafese that meant "take shachaf off the update list Sgeo"
01:25:50 <Sgeo> shachaf's update list status: Quantum superposition of "on the update list" and "off the update list"
01:26:05 <shachaf> aonfff hte uapl tels tislt?!?!
01:26:37 <Sgeo> monqy, translation?
01:27:15 <monqy> "I misspoke. I really want to be on the update list and not off it at all. Do not trust the shachaf that says he wants to be off the list. My one true desire is to be updated at whatever cost necessary."
01:27:31 <monqy> shachafese is a peculiar language indeed
01:28:06 <shachaf> noostOOPP no udaptests aplWASE!!
01:29:04 * Sgeo puts shachaf on the update list for updates regarding shachaf's status on various update lists.
01:29:25 <Sgeo> shachaf, UPDATE: You have been added to the update list for updates regarding shachaf's status on various update lists.
01:30:10 <shachaf> Sgeo: I think your logic is inconsistent or something if you don't have an infinite hierarchy of update lists.
01:30:10 <monqy> 18:28:06 < shachaf> noostOOPP no udaptests aplWASE!!
01:30:21 <monqy> "I am greatful for your updates, kind sir Sgeo."
01:30:37 <shachaf> ihaithieeeeiahtahAHTTAE MonqeyeQY!:'(
01:31:08 <Sgeo> shachaf, well, I think that update list also talks of updates to that very update list. But if you want to be on an infinite hierarchy of update lists, I can make it so...
01:31:10 <monqy> "thank you monqy for your translations and helping Sgeo understand my desires. hi monqy."
01:31:29 <shachaf> monqy: I WOULD NEVER SAY "hi monqy."!
01:33:34 <monqy> Sgeo: I wish to be on the update list of updates of update lists that do not contain updates of themselves.
01:34:41 <Sgeo> All conceivable update lists or all existent update lists? I've been assuming those are two separate things, and if we stick with existent update lists, there's no problem
01:34:46 <Sgeo> I think
01:35:36 <monqy> but what happens when it starts existing
01:36:56 <Sgeo> Nothing paradoxical, I ... think
01:37:07 <shachaf> does monqy exist
01:37:14 <shachaf> monqy: hia re you ruapdate LIST??
01:37:46 <monqy> Sgeo: does it or does it not contain updates about itself?
01:38:15 <monqy> shachaf: yes, I too am glad to be on Sgeo's update lists.
01:39:06 <Sgeo> monqy, aargh derp
01:46:51 -!- Nisstyre has quit (Quit: Leaving).
02:22:21 -!- Nisstyre has joined.
03:41:37 -!- Patashu has quit (Ping timeout: 276 seconds).
03:45:00 -!- Patashu has joined.
04:06:08 <shachaf> thank you monqy for your translations and helping Sgeo understand my desires. hi monqy.
04:10:14 <monqy> hello
04:13:24 -!- asiekierka has joined.
04:21:10 -!- asiekierka has quit (Remote host closed the connection).
04:22:29 <shachaf> monqy: can oaaaarwndo fnsfnanfnPEHI ModEIM noOLDFONP*#YRP(!Y#R!!!!!!!
04:22:37 <monqy> yes
04:23:11 <shachaf> @telliott hi
04:23:12 <lambdabot> Unknown command, try @list
04:23:59 <shachaf> monqy: is shachafese = best language
04:24:10 <monqy> yes
04:57:00 -!- asiekierka_ has joined.
04:57:17 -!- asiekierka_ has changed nick to asiekierka.
05:07:26 <Sgeo> ....did Conservapedia just cite a cult?
05:08:56 <Sgeo> http://conservapedia.com/Premarital_sex
05:09:04 <Sgeo> Links to http://www.unification.org/the_blessing.html
05:09:15 <Sgeo> Which talks about Reverend Moon
05:10:22 <Sgeo> Um, well, I read something claiming the Unification Church is a "cult"
05:16:20 <kmc> trolled
05:53:33 <Sgeo> ?
05:53:59 <kmc> you're reading conservapedia
05:54:02 <kmc> therefore you have been trolled
05:54:34 <Sgeo> lol
05:54:43 <Sgeo> I am starting to use lol a bit excessively.
06:14:05 <calamari> nobody cares tho
06:15:13 <calamari> (go ahead and lol)
06:16:20 <monqy> dont lol
06:16:22 <monqy> :|
06:16:47 <shachaf> monqy: how predictable !
06:16:53 <monqy> shachaf: hi
06:17:04 <shachaf> monqy: hi
06:17:33 <kmc> hi shachaf
06:18:18 <shachaf> kmc: Good day.
06:18:27 <kmc> saying "lol" is fine
06:18:34 <shachaf> Have you seen the paper that's going around about negative and fractional types?
06:18:40 <shachaf> I haven't read it yet. :-(
06:18:42 <kmc> it's not even on my list of disliked words
06:18:43 <kmc> shachaf: no
06:19:02 <shachaf> http://www.cs.indiana.edu/~sabry/papers/rational.pdf
06:19:22 <shachaf> monqy: I'm hungry, what do I do. :-(
06:19:38 <shachaf> I ate so much food today, how can I be hungry?
06:19:50 <monqy> you could eat more food
06:20:41 <shachaf> monqy: how :(
06:20:49 <monqy> with your mouth
06:20:50 <monqy> and the food
06:21:59 <shachaf> hlep
06:50:19 <Sgeo> monqy, shachaf UPDATE
06:50:55 <shachaf> Sgeo: Please take me off the update list.
06:51:52 <Sgeo> shachaf, UPDATE! shachaf is off of an UPDATE list
06:52:33 <shachaf> Sgeo: Please take me off all the update lists.
06:53:12 <Sgeo> shachaf, I have no control of your computer, if you don't want to receive updated versions of stuff from your distro, that is your problem.
06:58:26 -!- cswords_ has joined.
07:09:04 -!- cswords_ has quit (Ping timeout: 260 seconds).
07:17:36 -!- monqy has quit (Quit: hello).
07:24:02 <oklopol> lk
08:23:33 -!- calamari has quit (Quit: Leaving).
08:40:02 <pikhq_> I am awake. Why am I awake.
08:58:49 -!- cheater__ has quit (Ping timeout: 276 seconds).
09:00:08 -!- cheater__ has joined.
09:57:17 <shachaf> kmc: Did you know about 〔〕?
10:05:20 -!- cheater_ has joined.
10:07:54 <kmc> no, cool
10:08:28 -!- cheater__ has quit (Ping timeout: 272 seconds).
10:13:50 <kmc>
10:14:26 <shachaf> What's that?
10:14:48 <kmc> yes
10:15:01 <shachaf> I can't see it. :-(
10:15:12 <shachaf> http://www.fileformat.info/info/unicode/char/3037/index.htm
10:15:29 <shachaf> kmc: You should use ״ for quotation marks.
10:27:35 -!- Phantom_Hoover has joined.
10:58:59 <Phantom_Hoover> > sqrt 60000000
10:58:59 <lambdabot> 7745.966692414834
11:16:05 -!- KingOfKarlsruhe has joined.
11:55:50 <RocketJSquirrel> http://www.ioccc.org/years.html#2011_richards BEHOLD
12:03:40 -!- KingOfKarlsruhe has quit (Quit: ChatZilla [Firefox 11.0/20120312181643]).
12:38:51 -!- nortti has joined.
12:41:30 -!- augur has quit (Remote host closed the connection).
12:45:40 -!- cheater_ has quit (Ping timeout: 276 seconds).
13:09:51 -!- derdon has joined.
13:14:16 -!- nortti has quit (Quit: leaving).
13:15:52 -!- augur has joined.
13:20:43 -!- augur has quit (Remote host closed the connection).
13:31:19 -!- augur has joined.
13:40:07 -!- augur has quit (Remote host closed the connection).
13:55:53 -!- augur has joined.
13:55:56 -!- augur has quit (Remote host closed the connection).
14:02:31 -!- davidavo has joined.
14:08:24 <RocketJSquirrel> `welcome davidavo
14:08:34 <HackEgo> davidavo: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page
14:16:10 -!- asiekierka has quit (Remote host closed the connection).
14:26:28 -!- augur has joined.
14:30:22 -!- lol7715 has joined.
14:30:39 <lol7715> !bf +[-.+[->+<]>+]
14:30:40 <EgoBot> No output.
14:38:35 -!- itidus20 has quit (Quit: Leaving).
14:45:18 -!- Madoka-Kaname has quit (Ping timeout: 265 seconds).
14:48:43 -!- tzxn3 has quit (Ping timeout: 244 seconds).
14:55:09 -!- lol7715_ has joined.
14:56:47 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .).
14:57:34 -!- lol7715 has quit (Ping timeout: 252 seconds).
15:00:33 -!- tzxn3 has joined.
15:07:18 -!- Madoka-Kaname has joined.
15:10:29 -!- glogbackup has quit (Remote host closed the connection).
15:15:02 -!- cheater has joined.
15:16:26 -!- Ngevd has joined.
15:16:47 <Ngevd> Hello!
15:18:38 <Ngevd> IDEA OF THE DAY:
15:18:44 <Ngevd> Befunge minimilization
15:20:26 <Ngevd> SECOND IDEA OF THE DAY:
15:21:10 <Ngevd> Wait...
15:22:05 <Ngevd> There is no second idea
15:22:10 <Ngevd> Also, there is no audience
15:22:49 <fizzie> That's just what they want you to think.
15:23:19 <RocketJSquirrel> Do you mean a general-purpose befunge minimizer?
15:23:46 <Ngevd> I mean a Fungoid with as few instructions as possible while remaining Turing-complete
15:36:20 -!- augur has quit (Remote host closed the connection).
15:38:56 -!- Ngevd has quit (Quit: Goodbye).
15:40:56 -!- augur has joined.
15:51:07 -!- augur has quit (Remote host closed the connection).
15:55:09 -!- augur has joined.
15:55:19 -!- Madoka-Kaname has quit (Ping timeout: 264 seconds).
15:57:51 -!- augur has quit (Remote host closed the connection).
16:01:13 -!- lol7715_ has quit (Quit: leaving).
16:02:43 -!- MoALTz_ has joined.
16:04:40 -!- augur has joined.
16:05:12 -!- MoALTz has quit (Ping timeout: 252 seconds).
16:05:12 -!- KingOfKarlsruhe has joined.
16:11:34 <RocketJSquirrel> <Ngevd> I mean a Fungoid with as few instructions as possible while remaining Turing-complete // so, 2L/1L
16:19:11 -!- asiekierka_ has joined.
16:25:20 <KingOfKarlsruhe> omg i've found an haskell example in my new c++11 book -.-
16:25:39 <KingOfKarlsruhe> i should throw it away ^^
16:25:45 <RocketJSquirrel> That's the spirit!
16:35:18 -!- elliott_ has joined.
16:35:41 <elliott_> stupid autojoin
16:35:44 -!- elliott_ has changed nick to Guest40495.
16:35:47 <Guest40495> fizzie: kick pikhq
16:35:48 -!- Guest40495 has quit (Remote host closed the connection).
16:39:02 * RocketJSquirrel wonders how KingOfKarlsruhe pronounces "Haskell" ...
16:39:29 <KingOfKarlsruhe> RocketJSquirrel: and why?
16:39:56 <RocketJSquirrel> Aye gov'na', ah found an 'askow exampuw in my new book!
16:40:09 <RocketJSquirrel> (Because "an Haskell" is why)
16:41:25 <KingOfKarlsruhe> oh ok, my mistake ^^
16:43:15 <KingOfKarlsruhe> btw, is it right that the germans are the most task oriented culture in the world?
16:44:28 <RocketJSquirrel> A) That's not a mistake, in some accents you drop the 'h' and in that case it's considered correct to use "an". That's why I was curious.
16:44:55 <RocketJSquirrel> B) I think many people would agree with this, but I don't know if it's "right", it's more like a stereotype which may or may not have basis in reality.
16:46:34 <KingOfKarlsruhe> very interesting ^^
16:50:08 -!- ais523 has joined.
16:52:21 <KingOfKarlsruhe> RocketJSquirrel: in france you would say 'askell, because they do not pronounce the 'h'
16:53:02 <RocketJSquirrel> KingOfKarlsruhe: Given the sheer absurd number of French people currently working for my advisor, yes, I am aware ;)
17:02:23 <KingOfKarlsruhe> and i also bought this book http://landoflisp.com/
17:02:33 -!- asiekierka__ has joined.
17:02:39 -!- asiekierka__ has quit (Remote host closed the connection).
17:15:18 -!- glogbackup has joined.
17:16:34 <RocketJSquirrel> glogbackup: Stop thinking that Codu is down!
17:16:37 <RocketJSquirrel> *Codu goes down*
17:17:45 -!- glogbackup has quit (Read error: Connection reset by peer).
17:20:18 <RocketJSquirrel> lol
17:27:15 -!- KingOfKarlsruhe has quit (Quit: ChatZilla [Firefox 11.0/20120312181643]).
17:30:35 <quintopia> hi RocketJSquirrel
17:30:55 -!- nortti has joined.
17:31:06 <RocketJSquirrel> Hi land of fives.
17:31:20 <quintopia> how do you know it isn't land of apples?
17:32:03 -!- lament has joined.
17:32:12 <RocketJSquirrel> Um ... because quin- = five? ^^
17:32:17 <quintopia> but
17:32:21 <quintopia> quince = apple!
17:32:25 -!- ChanServ has set channel mode: +o lament.
17:32:34 -!- lament has kicked pikhq_ pikhq_.
17:32:40 <quintopia> hey
17:32:42 <RocketJSquirrel> I thought a quince was a kind of pear ...
17:32:43 -!- lament has left.
17:32:44 <quintopia> didnt see that one coming
17:32:56 <quintopia> well, i guess elliott is back today
17:33:18 <RocketJSquirrel> Oh, apparently it's neither, it's something related to both.
17:33:28 <quintopia> RocketJSquirrel: i thought that quince was a category of fruits which contained apple
17:33:46 <Phantom_Hoover> Apples have 5-fold symmetry, so maybe that's involved?
17:34:01 <RocketJSquirrel> "The quince (play /ˈkwɪns/), or Cydonia oblonga, is the sole member of the genus Cydonia and native to warm-temperate southwest Asia in the Caucasus region. It is a small, deciduous tree, growing 5–8 m tall and 4–6 m wide, related to apples and pears."
17:34:04 <RocketJSquirrel> According to Wikipedia.
17:34:18 <quintopia> sounds delicious
17:34:38 <RocketJSquirrel> Anyway, the point is, land of fives.
17:34:39 <Phantom_Hoover> Quince jelly is very nice with meat (I can't remember which meat).
17:34:49 <quintopia> lamb?
17:34:51 <RocketJSquirrel> Rat.
17:34:57 <quintopia> dog
17:35:04 <RocketJSquirrel> Cockroach.
17:35:16 <quintopia> i don't remember the rest of the chinese zodiac
17:35:19 <quintopia> tiger's in there somewhere
17:35:25 <Phantom_Hoover> Preeetty sure cockroaches don't have meat
17:35:36 <RocketJSquirrel> Phantom_Hoover: Preeeeeeeeeeetty sure any muscle tissue is considered meat.
17:36:18 <Phantom_Hoover> Yeah, but insects are a pretty long way away from most things we eat.
17:36:30 <RocketJSquirrel> So?
17:36:32 <Phantom_Hoover> Who says their muscle tissue is close to meat?
17:36:33 <RocketJSquirrel> Wait, no
17:36:35 <RocketJSquirrel> No they're not.
17:36:45 <RocketJSquirrel> Insects aren't so distantly related from crustaceons (sp)
17:36:55 <Phantom_Hoover> Crustaceons.
17:37:12 <RocketJSquirrel> *Crustaceans, according to Wikipedia ;)
17:37:21 <Phantom_Hoover> I know.
17:37:31 <RocketJSquirrel> Oh, you were mocking me >_<
17:37:46 <Phantom_Hoover> Hmm, crustacean musculature might have evolved independently? I'd need to dissect a beetle really.
17:39:46 -!- pikhq_ has joined.
17:40:17 <pikhq_> Maybe now elliott will get the sand out of his vagina.
17:40:38 <quintopia> it seems likely
17:40:41 <quintopia> of course
17:40:47 <quintopia> he would have anyway at some point
17:40:56 -!- asiekierka_ has quit (Remote host closed the connection).
17:47:38 -!- elliott has joined.
17:48:02 <elliott> pikhq_: I think we've all learned a valuable lesson today.
17:48:06 <elliott> (My valuable lesson was about Hebrew.)
17:48:19 -!- elliottasdf has joined.
17:48:19 <elliottasdf> Excellent.
17:48:19 <elliottasdf> pikhq_: I hope you have learned your lesson.
17:48:30 <elliottasdf> I like how this client has massive lag.
17:48:34 <elliottasdf> But the other client doesn't.
17:48:38 -!- elliottasdf has quit (Remote host closed the connection).
17:48:42 <pikhq_> elliott: Le no.
17:48:47 <Phantom_Hoover> What was my valuable lesson.
17:49:54 -!- elliott has left ("Leaving").
17:52:49 <quintopia> my valuable lesson was about machin-like functions. where "today" is loosely defined as "any time after midnight local time this date"
17:54:45 <nortti> my valuable lesson was checking which compiler you are using to compile Linux From Scratch (I used ARMv5 cross compiler)
17:55:06 <RocketJSquirrel> my valuable lesson was that friendship is magic. Your faithful student, Twilight Sparkle.
17:55:40 -!- nortti has quit (Quit: leaving).
18:21:19 -!- itidus21 has joined.
18:28:53 -!- oerjan has joined.
18:35:24 -!- calamari has joined.
18:48:24 <itidus21> my valuable lesson was (collected in haste just now from la fontaine) that possession is only in usage.
18:49:50 <ais523> hmm, sufficiently advanced technology is indistinguishable from friendship?
18:52:01 <itidus21> my previous view was more about the ability to defend a thing (unless i had read this fable before)
18:57:36 -!- cswords has joined.
18:58:39 -!- cswords_ has joined.
19:02:40 -!- cswords has quit (Ping timeout: 252 seconds).
19:02:43 <oerjan> in today's iwc annotation: dmm _almost_ admits to reading terry pratchett
19:04:38 <oerjan> i suppose that's not funny unless you've been following the iwc forum for years
19:05:40 <ais523> indeed
19:07:01 -!- zzo38 has joined.
19:09:22 -!- Ngevd has joined.
19:09:24 -!- nortti has joined.
19:09:48 <Ngevd> Hello!
19:10:10 <nortti> hi
19:10:51 <Ngevd> I'm going to talk about why I suggested Glass as a featured language
19:11:17 <Ngevd> Firstly, it is undoubtably esoteric
19:11:54 <nortti> Just watched James Cameron's Titanic. Now I'll just have to watch Atlantic from the 20's, Nazi version and the Night to remember from 50's
19:13:44 <Ngevd> Its paradigm is hard to understand, and is unlike virtually every other language
19:14:16 <olsner> nortti: have they made *other* movies about titanic??
19:14:21 <Ngevd> Titanic 2
19:14:35 <Ngevd> (actually exists)
19:14:57 <Ngevd> Secondly, it is featureful
19:16:00 <Ngevd> Its built-in classes define a wide range of functions that would be difficult to define in, say, brainfuck, Unlambda or ///
19:16:44 <Phantom_Hoover> I choose to read that as a property of Titanic 2.
19:16:44 <Ngevd> This un-tarpitiness is rare in esolangs, the only other language that I can think of with as wide range of features would be Befunge
19:17:49 <Ngevd> Rant-shifting, a common skill in Hexham, is unheard of north of the border.#
19:18:30 <nortti> but about the real titanic there are Atlantic (No mention of Titanic because legal troubles with White Star Lines), Titanic (Nazi version), Night to remember and Titanic (James Cameron's version)
19:19:08 <Ngevd> Thirdly, the article is well-written, describes the language fully, and features numerous examples.
19:20:05 -!- MoALTz__ has joined.
19:20:15 <nortti> postfix notation is not unintuitive
19:20:23 <oerjan> Ngevd: you better make sure elliott logreads this :P
19:20:34 <Phantom_Hoover> WTF is Ngevd even going on about.
19:20:52 <Ngevd> Titanic 2.
19:21:05 <Ngevd> It's a straight-to-video "sequel" to the Titanic
19:21:15 <Phantom_Hoover> BRB, inventing language.
19:21:23 <Ngevd> With the tag line "100 years later, lightning strikes twice"
19:21:40 <Ngevd> oerjan, oh, I will.
19:22:17 <Ngevd> oerjan, can you discuss why you have nominated Deadfish?
19:22:28 <oerjan> elliott asked me to :P
19:22:41 <oerjan> and then i forgot to remind him properly on april 1 :(
19:23:08 <Ngevd> (I think it's quite a good suggestion- it's probably the most implemented esolang other than maybe brainfuck)
19:23:28 -!- MoALTz_ has quit (Ping timeout: 276 seconds).
19:24:11 <oerjan> Phantom_Hoover: titanic, the programming language which always ends in disaster?
19:24:39 <Phantom_Hoover> ...Yes.
19:24:53 <Ngevd> Phantom_Hoover, when you have returned from inventing language, would you discuss your nomination of Eodermdrone?
19:25:34 <Phantom_Hoover> It's just a really cool, original concept?
19:25:45 <Ngevd> Yay!
19:25:51 <Phantom_Hoover> Also the fact that nobody's written an interpreter has to give it at least /some/ credit.
19:26:03 <Ngevd> Yeah, I quite like the suggestion
19:26:46 <Ngevd> In terms of implementability, it's like Befunge but WORSE
19:28:53 <Ngevd> Wasn't there talk of oklopol or someone writing an inefficient interpreter?
19:29:11 <oklopol> not me afaik
19:29:23 <oklopol> or wait, for what?
19:29:30 <olsner> oklopol: the wiki says there are rumors of you doing that
19:29:31 <oklopol> yeah i implemented eodermdrome
19:29:34 <oklopol> it's trivial
19:30:13 <oklopol> and no, i haven't done it efficiently
19:30:29 <oklopol> i thought you were talking about deadfish for some reason
19:30:45 <Ngevd> deadfish is the opposite of eodermdrome
19:31:06 <oklopol> eodermdrome is great, so i suppose deadfish sucks ass
19:31:17 -!- cswords has joined.
19:31:17 -!- derdon has quit (Remote host closed the connection).
19:32:22 <nortti> object oriented deadfish
19:32:35 <nortti> are you fucking kidding me?
19:32:57 <Ngevd> I am neither fucking nor kidding you
19:33:52 -!- cswords_ has quit (Ping timeout: 276 seconds).
19:34:15 <zzo38> Is it possible to define join for Yoneda without using fmap?
19:34:35 <Ngevd> Yoneda?
19:36:14 <oerjan> it's category theory, just outside my range
19:36:28 -!- cswords has quit (Ping timeout: 276 seconds).
19:36:29 <zzo38> newtype Yoneda f a = Yoneda { runYoneda :: forall b. (a -> b) -> f b }
19:36:48 <zzo38> This is Yoneda lemma; Yoneda f is essentially like f, but it is Functor even if f isn't
19:38:19 <Ngevd> So... join would be :: Yoneda f (Yoneda f a) -> Yoneda f a
19:38:49 <nortti> "The language defined by the
19:39:14 <Ngevd> Could you do runYoneda id?
19:39:30 <nortti> "The language defined by the Revised Revised Revised Revised Revised Report on the Algorithmic Language Scheme"
19:39:30 <zzo38> Ngevd: Yes. It can, if f is Monad, it already has join so it can be defined; I am just wanting to see if it can be defined using the join of f but without using the fmap of f
19:40:20 <Ngevd> Okay
19:43:28 <Ngevd> Hmm
19:44:11 <nortti> It is actually a shame that Deadfish i doesn't have a conditional execution instruction
19:44:39 <zzo38> nortti: Then invent the variant which includes condition, if you want it
19:46:51 -!- augur has quit (Remote host closed the connection).
19:55:14 <Ngevd> Hang on, we are using f's join
20:02:02 <Ngevd> From someone who doesn't know the first thing about Category theory, I don't think you can
20:05:24 <zzo38> Can you define pure and liftPair on Yoneda without using f's fmap, but using f's pure and liftPair?
20:05:56 <Ngevd> Me, personally?
20:05:58 <Ngevd> Probably not
20:06:07 <zzo38> I don't mean you personally
20:07:04 <Ngevd> pure a = Yoneda (\f -> pure (f a)) ?
20:07:20 <zzo38> Yes, I know that already
20:07:50 <Ngevd> Does that use the fmap?
20:08:03 <zzo38> That one doesn't use the fmap
20:08:09 <Ngevd> (I'm not sure why I'm answering, I haven't a clue what I'm doing)
20:08:16 <Ngevd> (What's liftPair?)
20:08:47 <zzo38> liftPair = uncurry (liftA2 (,))
20:11:01 -!- zaphar has joined.
20:17:04 -!- zaphar has quit (Quit: Leaving).
20:24:13 <zzo38> There seems not to be
20:28:49 -!- MoALTz__ has quit (Quit: brb).
20:29:41 -!- MoALTz has joined.
20:49:47 -!- cswords has joined.
20:49:47 -!- oerjan has quit (Quit: Lost terminal).
20:56:34 -!- oerjan has joined.
21:18:55 -!- hagb4rd has joined.
21:19:01 -!- Ngevd has quit (Read error: Connection reset by peer).
21:19:05 -!- Ngevd has joined.
21:27:08 -!- Ngevd has quit (Read error: Connection reset by peer).
21:31:56 <zzo38> I changed TeXnicard to make "twelfth" instead of "twelvth" now. It was only an error in the template file, and is not a part of the program itself.
21:34:03 <shachaf> zzo38: Do you send cheques to people who find bugs in TeXnicard?
21:34:09 -!- Madoka-Kaname has joined.
21:34:09 -!- Madoka-Kaname has quit (Changing host).
21:34:09 -!- Madoka-Kaname has joined.
21:36:01 -!- Ngevd has joined.
21:39:37 <zzo38> shachaf: No.
21:40:31 <zzo38> But possibly after a lot of bugs are found and fixed, the program then works OK, and is used much, then after that, if I have secure cheques, I might be able to do so.
21:41:32 -!- Ngevd has quit (Read error: Connection reset by peer).
21:41:50 -!- Ngevd has joined.
21:42:14 <nortti> How had could it be to maintain Linux 2.4 by myself
21:43:11 <Ngevd> As hard as you make it
21:44:20 <nortti> It just feels so strange that it is no longer maintained
21:45:18 <pikhq_> Though there is still a RHEL version using it.
21:45:19 <olsner> why would you want to stay on 2.4?
21:47:10 <nortti> pikhq_: it wad end of lifed recently
21:47:53 <nortti> olsner: It is small and works great on my server (pc from 1994)
21:48:37 <Ngevd> nortti, wow, there's an approximately 5.6 chance that PC is older than me!
21:48:43 <Ngevd> * 5/6
21:49:35 <olsner> people born in 1994 can be on IRC now? :S
21:49:43 <pikhq_> nortti: Nope, RHEL 3's end of extended life cycle is 2014.
21:49:58 <nortti> oh
21:50:19 <nortti> olsner: I was born in 1997
21:50:38 <pikhq_> olsner: People born in 1994 are graduating from high school.
21:51:49 <Ngevd> @ping
21:51:49 <lambdabot> pong
21:52:44 <nortti> Ngevd: my relative bought it in July
21:53:04 -!- atrapado has quit (Quit: Abandonando).
21:53:35 <oerjan> @gnip
21:53:35 <lambdabot> Unknown command, try @list
21:55:30 -!- Ngevd has quit (Read error: Connection reset by peer).
21:56:00 -!- oerjan has quit (Quit: Lost terminal).
21:57:51 -!- oerjan has joined.
21:59:06 -!- Ngevd has joined.
22:07:12 -!- augur has joined.
22:08:10 <nortti> "I provoke everyone to find a more mundane job than the maintenance of the 2.4 kernel... (the maintenace of 2.0 does not count as an answer...)"
22:10:00 -!- augur has quit (Remote host closed the connection).
22:18:06 -!- nortti has quit (Quit: nortti).
22:28:19 -!- augur has joined.
22:30:41 -!- oerjan has quit (Remote host closed the connection).
22:35:42 -!- glogbackup has joined.
22:37:08 -!- Ngevd has quit (Read error: Connection reset by peer).
22:39:44 -!- Ngevd has joined.
22:40:25 -!- Slereah has quit (Ping timeout: 260 seconds).
22:41:24 * Phantom_Hoover -> sleep
22:41:25 -!- Phantom_Hoover has quit (Quit: Leaving).
22:52:39 -!- Ngevd has quit (Read error: Connection reset by peer).
22:54:04 -!- ais523 has quit (Remote host closed the connection).
22:55:01 -!- aw1231 has joined.
22:58:36 -!- Ngevd has joined.
23:01:02 -!- Ngevd has quit (Read error: Connection reset by peer).
23:01:58 -!- pikhq has joined.
23:02:10 -!- pikhq_ has quit (Ping timeout: 265 seconds).
23:03:28 <tswett> Is "Vettla" a plausible Finnish surname?
23:05:29 <fizzie> Not very. There are none in the national name registry. Though admittedly it's more plausible than, say, "Zrqworzph".
23:05:47 -!- Ngevd has joined.
23:07:15 -!- RocketJSquirrel has set topic: I was trying to make a clever Finnish topic using Google Translate, but I couldn't make anything that it didn't translate back into gibberish | http://codu.org/logs/_esoteric/.
23:07:24 <tswett> Is "ttl" a legal consonant cluster?
23:09:34 <fizzie> It does not appear in my /usr/share/dict/finnish, except as part of "Seattle" and three inflections of it.
23:10:12 <Ngevd> cattle
23:11:12 <fizzie> Ngevd: Finnish was the context.
23:11:41 -!- aw1231 has quit (Ping timeout: 245 seconds).
23:12:25 <fizzie> In fact there are very few matches for 'tt[^aeiouyäö]' at all. "Seattle", "http" and various things containing the word "attribuutti".
23:13:08 -!- elliott has joined.
23:13:21 * elliott considers the justice sufficient, disregarding the lesson unlearned.
23:13:24 <fizzie> "ltt" and such are fine, though.
23:14:05 <elliott> There's a better word than "disregarding" there.
23:14:07 <elliott> But I can't think of it.
23:14:31 -!- Ngevd has quit (Ping timeout: 252 seconds).
23:15:17 <RocketJSquirrel> Someone Finnish: What's Finnish for "This channel has been annexed by Finland."
23:15:49 <elliott> channela annexikuo suomi aatapi
23:16:07 <elliott> sorry, *annekkikuo
23:16:07 <RocketJSquirrel> elliott: Seems legit.
23:16:14 <elliott> (there is no "x" in Finnish)
23:16:56 <elliott> RocketJSquirrel: Come on, what's the better word than "disregarding" there?
23:17:00 <elliott> It's "notwithstanding" except the opposite.
23:17:15 <elliott> Wait, maybe it *is* "notwithstanding".
23:17:31 <RocketJSquirrel> Uh, yes, notwithstanding or despite.
23:18:28 <elliott> Right.
23:19:05 <elliott> @tell ais523 I figured out why www.ja.net has that silly cookie notice -- that recent law requiring it. (bt.com has one too.)
23:19:05 <lambdabot> Consider it noted.
23:21:25 <fizzie> "Suomi on ottanut haltuunsa tämän kanavan", if you don't mind the "Finland has annexed this channel" variant, and I'm not sure if that's the best word for "annex". ("anneksoida" would be the foreign-word-but-Finnished thing; it is used.)
23:21:41 <elliott> fizzie: Dude, your grammar is all wrong.
23:22:00 <elliott> fizzie: "suomi" always occurs as the second-last word in a clause, thus "channela annekkikuo suomi aatapi".
23:22:14 -!- RocketJSquirrel has set topic: Suomi on ottanut haltuunsa tämän kanavan | http://codu.org/logs/_esoteric/.
23:22:37 <elliott> And you have the previously-possesive tense "kanavan"; the pure imperfect hypothetical future-present tense is "aatapi".
23:22:57 <elliott> (Yes, possesive.)
23:23:13 <elliott> Starting to think that fizzie doesn't actually know any Finnish.
23:23:17 <elliott> fizzie: How do you say "today" in Finnish?
23:26:36 <fizzie> I'd like to say kaksikymmentäneljätuntiaikakausitämänhetkinen, but I'm too tired to play along.
23:28:08 <elliott> fizzie: Okay, I guess you do know Finnish.
23:28:23 <elliott> fizzie: You should use that in everyday conversation sometime.
23:28:25 <elliott> It'd be fun.
23:29:12 <shachaf> hi elliott
23:30:45 <shachaf> hi monqy :'(
23:30:58 <shachaf> hi Keegan
23:31:32 -!- Patashu has joined.
23:31:42 <shachaf> `welcome Patashu
23:31:47 <HackEgo> Patashu: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page
23:33:39 -!- monqy has joined.
23:33:48 <kmc> hi shachaf
23:34:00 <shachaf> kmc: Oh, hi to you too.
23:34:04 -!- sebbu2 has joined.
23:34:51 <elliott> Hi kmc.
23:35:07 <kmc> hi elliot
23:35:08 <kmc> helliott
23:35:44 <shachaf> kmc: Works better with "hello".
23:35:54 <kmc> hellelliott
23:36:19 -!- calamari_ has joined.
23:40:53 -!- calamari has quit (*.net *.split).
23:40:53 -!- coppro has quit (*.net *.split).
23:40:53 -!- sebbu has quit (*.net *.split).
23:46:50 <elliott> kmc: That's me.
23:46:54 <elliott> Hell "Metal" Elliott.
23:51:50 -!- coppro has joined.
←2012-04-17 2012-04-18 2012-04-19→ ↑2012 ↑all