00:01:23 -!- Slereah has joined. 00:01:31 \note{Why does Kjugobe's note have a reference to a footnote in this book?} 00:02:46 -!- Slereah_ has quit (Ping timeout: 252 seconds). 00:07:38 My D&D character (Iuckqlwviv Kjugobe) wrote a note while in prison. In the recording, I added a footnote reference in the note text, and it is a reference to a footnote in the recording book (not in the Kjugobe's note itself!). The footnote says "Why does Kjugobe's note have a reference to a footnote in this book?" 00:13:32 (Beware, bad joke ahead) 00:13:33 NOTECEPTION 00:19:12 What does "NOTECEPTION" mean? 00:27:28 -!- pikhq has quit (Ping timeout: 240 seconds). 00:27:40 -!- pikhq has joined. 00:34:55 Do you like this kind of books writing? 00:35:49 zzo38: noteception is a horrible joke referencing the movie Inception 00:35:54 which features nested dreaming. 00:37:36 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 00:37:46 Yes I have seen that movie. And I thought of a few things relating to the book called Godel, Escher, Bach. I thought someone on the team that made that movie had read that book but the other people said it didn't. And then I looked it up and found that I was correct, I think it was the people who wrote the music for that movie 00:51:25 -!- Libster` has joined. 00:58:45 `welcome Libster` 00:58:49 Libster`: 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 01:05:00 -!- copumpkin has joined. 01:05:28 -!- myndzi\ has quit. 01:05:37 -!- myndzi has joined. 01:22:46 Does it mean anything when the ascendant is square to the midheaven (meaning they are 90 degrees apart)? I know it means the descendant and antiheaven and midheaven and ascendant are all 90 degrees (or 180 degrees) apart from each other. And it occurs at 13:10 today in my local timezone and local area. And at 01:08 tomorrow (twice per day). 01:22:53 Tomorrow it is at 13:06 01:23:15 The day after at 13:02 01:30:42 -!- Jafet1 has joined. 01:32:00 -!- Jafet has quit (Ping timeout: 244 seconds). 01:39:09 -!- tiffany has joined. 01:39:41 -!- tiffany has left. 01:44:12 -!- Jafet1 has quit (Quit: Leaving.). 01:49:36 hmm, something that comes to mind... would being able to have multiple things call a function and returning possibly different values for each caller be a good thing or a bad thing? 01:50:12 GreaseMonkey: In what context? What program are you trying to write? 01:50:29 not all that sure 01:51:09 let's say you have a bank vault system 01:51:22 actually zzo38, are you familiar with functional programming languages? 01:55:05 GreaseMonkey: Yes I am familiar with functional programming 01:55:11 tbqh i'm not entirely sure how this would work 01:57:37 GreaseMonkey: perl allows things of that nature. 01:57:48 and i don't mean "return foo, bar" 01:57:58 In pure functional programming such as Haskell and whatever, no function should ever return different results when given the same parameters, although a macro might do so (Haskell doesn't have macros, though) 01:58:03 i mean having multiple things calling a function from different "ports" 01:58:14 or soemthing liek that 01:58:23 GreaseMonkey: wat 01:58:28 and stuff dealing with those would get different return values 01:58:39 GreaseMonkey: Could you make parameters? I think Haskell can do something like that with classes, and Perl can probably do that too, in a different way 01:58:40 depending on which end they went in 01:59:26 Because Haskell program can return different thing depending on the types by defining the instance for each type. And in Perl, I think you can define in terms of scalar or vector or numeric or boolean context, or whatever 01:59:29 e.g. funct spi_a(msg_a) spi_b(msg_b) { touch(msg_b); return(spi_b) msg_a; return(spi_a) msg_b; } 01:59:50 GreaseMonkey: O, now I understand what you mean. 02:00:16 thread A: r = msg_a("bacon"); \ thread B: r = msg_b("cheese"); 02:00:26 well, context A and context B, that is 02:00:35 OK now I think I understand better. 02:02:38 i'm just not sure how that would work in the grand scheme of things or why you would even bother aside from a few rare cases 02:02:53 I don't know quite how that would work either. 02:03:27 it might be useful for functional programming, though, but i think you could just create ports of some form 02:03:41 heck, spew an infinite list even 02:03:55 actually i don't think that would make much sense 02:04:07 in the context of I/O 02:04:39 Can you describe exactly how your example program is going to work? 02:05:09 hmm, actually it's doable in OO 02:05:14 i think my idea needs refining :/ 02:05:43 i might be thinking of a case where you'd use call/cc 02:05:49 Describe what output you are expecting. Is "msg_a" the name of the function call or the parameter? 02:06:07 parameter 02:06:55 Then what does r = msg_a("bacon"); mean? 02:07:42 Are "spi_a" and "spi_b" two names for the same function? 02:07:59 two interfaces to the same function, yielding two potentially different results 02:08:20 i might be thinking of "yield", as opposed to "call/cc" 02:08:56 argh dammit 02:11:42 -!- oerjan has quit (Quit: Good night). 02:33:01 -!- calamari has joined. 02:33:58 And in which programming language(s) do you attempt to make something like that? 02:41:40 it'd have to be a custom job 02:47:22 Many programming languages have yield and call/cc. Can you give any better examples including expected output of what you are trying to make? 02:51:55 no i can't , sorry 02:52:47 Or at least a better description of what you are trying to make (even if you don't have examples)? 03:12:20 GreaseMonkey: I'm guessing perl contexts doesn't really count as this concept? 03:22:06 -!- rakesh has joined. 03:22:12 hi 03:22:15 who i sthis 03:22:17 i am the god 03:22:47 -!- pikhq has quit (Ping timeout: 240 seconds). 03:22:52 -!- pikhq_ has joined. 03:23:15 -!- rakesh has quit (Read error: Connection reset by peer). 03:38:21 -!- Rakesh has joined. 03:46:12 -!- Rakesh has quit (Remote host closed the connection). 04:00:27 -!- Hgg has joined. 04:10:55 -!- Hgg has quit (Remote host closed the connection). 04:18:39 -!- Slereah has quit (Ping timeout: 252 seconds). 04:19:05 -!- Slereah_ has joined. 04:22:14 -!- hagb4rd has quit (Read error: Connection reset by peer). 04:22:50 -!- hagb4rd has joined. 04:25:14 -!- Libster` has quit (Quit: Page closed). 04:48:14 -!- augur has joined. 05:27:36 -!- MDude has changed nick to MSleep. 05:37:30 -!- kwertii has quit (Quit: bye). 06:22:27 Is it possible to check which functions in a Haskell program are getting stuck and causing infinite loops if running in GHCi? 06:24:07 -!- Jafet has joined. 06:27:36 -!- Jafet1 has joined. 06:28:27 -!- Jafet has quit (Ping timeout: 252 seconds). 06:39:34 -!- Klisz has quit (Quit: You are now graced with my absence.). 06:43:23 OK, I managed to correct it. I still don't know how to do that but I did something else instead, such as forcing show of things in error messages to check which are being evaluated, and making IO actions that show things and then result in errors. 06:44:50 Now this code works: createDVI "test.dvi" 1000 dviUnitsTeX >>= shipOut . Page (pageNum 1) [((0, 0), Rule 100000 200000)] >>= finishDVI 06:47:26 -!- Jafet1 has changed nick to Jafet. 06:48:48 -!- hagb4rd2 has joined. 06:49:27 -!- hagb4rd has quit (Ping timeout: 240 seconds). 06:59:13 And of course this is also the example of a way to use this DVI program. You can make multiple pages in the same way. Because createDVI results in (IO DocStat) and shipOut is (Page -> IO DocStat) and the third constructor to Page is DocStat, and finishDVI is (DocStat -> IO ()) so you can chain it together whatever you want it to do so. 06:59:50 (It is a different DocStat value every time; and they must be sequenced correctly otherwise you will get an invalid output) 07:02:41 s/third constructor to Page/third field of constructor Page/ 07:04:37 Does this seem reasonable way to make the program, to you? 07:06:25 if only alonzo church would have anticipated the computer terminal... 07:06:54 itidus20: What do you think it would be if he did so? 07:07:07 i just plucked his name at random 07:07:19 Why? 07:07:21 basically if any of these early guys had anticipated the "hello world" 07:08:00 hmm.. maybe i'm not fully understanding the reality though 07:08:13 what output did babbage's machines use? 07:08:55 We have esoteric programming so that you can make up stuff whatever we try to do so. Make up some with unusual outputs to see experiment on these things 07:09:30 I don't know what the output is. 07:09:37 i should really read up on this instead of using #esoteric as a manpage 07:39:18 -!- monqy has quit (Quit: hello). 07:46:10 -!- calamari has quit (Quit: Leaving). 07:46:23 -!- Ngevd has joined. 08:02:49 -!- zzo38 has quit (Remote host closed the connection). 08:04:33 -!- Ngevd has quit (Ping timeout: 244 seconds). 08:26:58 -!- Ngevd has joined. 08:38:59 -!- Ngevd has quit (Ping timeout: 252 seconds). 09:16:07 -!- Deewiant has quit (Ping timeout: 240 seconds). 09:22:25 -!- Deewiant has joined. 09:24:42 -!- hagb4rd has joined. 09:26:56 -!- hagb4rd2 has quit (Ping timeout: 240 seconds). 10:31:57 -!- mujuw has joined. 10:33:30 ... 10:34:38 -!- mujuw has left. 11:07:25 whee, beat the freeware version of mesh falling hero 11:07:26 now to orde rit 11:17:46 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 11:53:53 -!- TeruFSX_ has joined. 11:56:17 -!- TeruFSX has quit (Ping timeout: 255 seconds). 12:06:32 -!- GreaseMonkey has quit (Quit: The Other Game). 12:13:42 -!- copumpkin has quit (Ping timeout: 248 seconds). 12:14:08 -!- copumpkin has joined. 12:49:46 -!- mtve has quit (Ping timeout: 244 seconds). 13:11:42 -!- oerjan has joined. 13:14:56 i am the god <-- darn wouldn't you know i missed him 13:15:07 I HAD SO MANY QUESTIONS 13:15:16 also a punch in the face 13:15:53 or eldritch tentacles, whatever 13:16:04 -!- Phantom_Hoover has joined. 13:16:13 Facetacles. 13:45:39 @hoogle t a -> (a, t a) 13:45:40 Data.IntMap deleteFindMax :: IntMap a -> (a, IntMap a) 13:45:40 Data.IntMap deleteFindMin :: IntMap a -> (a, IntMap a) 13:45:41 Data.Graph.Inductive.Internal.Queue queueGet :: Queue a -> (a, Queue a) 13:46:58 @hoogle leftView 13:46:59 No results found 13:47:05 @hoogle lView 13:47:05 Graphics.Rendering.OpenGL.GL.Colors lightModelLocalViewer :: StateVar Capability 13:47:05 Graphics.Rendering.OpenGL.GL.CoordTrans Modelview :: GLsizei -> MatrixMode 13:47:11 @hoogle viewL 13:47:12 Data.Sequence data ViewL a 13:47:12 Data.Sequence viewl :: Seq a -> ViewL a 13:47:25 that one is also sort of related 13:47:52 except it has its own data type rather than a tuple, with an empty option 13:49:27 :t uncons 13:49:29 Not in scope: `uncons' 13:49:42 :t unicorns 13:49:43 Not in scope: `unicorns' 13:49:46 :( 13:50:05 > let uncons (a:b) = (a,b) in map uncons [1,2,3,4] 13:50:07 No instance for (GHC.Num.Num [t]) 13:50:07 arising from a use of `e_11234' at oh right. 13:50:25 > let uncons (a:b) = (a,b) in map uncons (tails [1,2,3,4]) 13:50:27 [(1,[2,3,4]),(2,[3,4]),(3,[4]),(4,[]),*Exception: :3:4-23: Non... 13:52:26 @hoogle [Maybe a] -> [a] 13:52:27 Data.Maybe catMaybes :: [Maybe a] -> [a] 13:52:27 Data.Maybe maybeToList :: Maybe a -> [a] 13:52:28 Prelude sequence :: Monad m => [m a] -> m [a] 13:52:56 > let uncons [] = Nothing; uncons (a:b) = Just (a,b) in map uncons . catMaybes $ tails [1,2,3,4] 13:52:58 Couldn't match expected type `Data.Maybe.Maybe [t]' 13:52:58 against inferre... 13:52:59 er 13:53:08 > let uncons [] = Nothing; uncons (a:b) = Just (a,b) in catMaybes . map uncons $ tails [1,2,3,4] 13:53:11 [(1,[2,3,4]),(2,[3,4]),(3,[4]),(4,[])] 13:54:31 :t uncurry 13:54:32 forall a b c. (a -> b -> c) -> (a, b) -> c 13:54:38 doh 13:55:18 > let uncons [] = Nothing; uncons = uncurry (:) in undefined -uh, can you do this? 13:55:19 : parse error on input `,' 13:55:28 > let uncons [] = Nothing; uncons = uncurry (:) in undefined --uh, can you do this? 13:55:29 Equations for `uncons' have different numbers of arguments 13:55:29 ... 13:55:32 nope 13:55:38 sanity restored 13:56:00 and besides it wouldn't work even with the right number 13:56:15 > uncurry (:) [1,2,4] 13:56:17 Couldn't match expected type `(a, [a])' 13:56:17 against inferred type `[a1]' 13:56:30 oh, right 13:56:32 :t curry 13:56:33 forall a b c. ((a, b) -> c) -> a -> b -> c 13:56:50 yeah nevermind :P 13:57:01 :t head &&& tail 13:57:03 forall c. [c] -> (c, [c]) 13:57:27 > head &&& tail $ [] 13:57:28 (*Exception: Prelude.head: empty list 13:57:44 :t (|||) 13:57:46 forall (a :: * -> * -> *) b d c. (ArrowChoice a) => a b d -> a c d -> a (Either b c) d 13:58:32 @hoogle [a] -> Maybe [a] 13:58:33 Prelude cycle :: [a] -> [a] 13:58:33 Data.List cycle :: [a] -> [a] 13:58:33 Prelude init :: [a] -> [a] 13:58:45 er, yeah. 14:01:13 :t Just 14:01:14 forall a. a -> Maybe a 14:01:52 not quite what I was looking for, but it doesn't matter. 14:02:43 what you're looking for has no short formulation, i think 14:02:59 f [] = Nothing; f a = Just a 14:03:03 oerjan: whachu talkin' 'bout? 14:03:04 toNonEmpty :: [a] -> Maybe (NonEmpty a), but doesn't seem to be in lambdabot's Everything You Could Ever Need. 14:03:31 oh that... 14:16:18 > let mfilter p ma = do a <- ma; if p a then return a else mzero in map (mfilter (not . null) . Just) [[], [1,2,3]] -- mfilter copied from Control.Monad 14:16:20 [Nothing,Just [1,2,3]] 14:16:53 :t mfilter 14:16:54 Not in scope: `mfilter' 14:17:02 I don't know what's up with that. 14:17:04 :t filterM 14:17:06 forall a (m :: * -> *). (Monad m) => (a -> m Bool) -> [a] -> m [a] 14:17:17 That's like right next to it, at least based on some hackage-reading. 14:18:00 probably a very recent addition 14:18:39 New in base-4.3.0.0, evidently. 14:19:23 three finals on the same day. looking forward to it. 14:21:02 Deewiant: I keep forgetting this stuff, did you actually finish that AI course last year? I'd suppose. (It's going to be lectured now for the last time, in spring 2012.) 14:21:36 Yes, I did. 14:21:47 Never mind, then. 14:22:31 I don't usually get as far as submitting a final project report without also going to the exam and passing it :-) 14:23:34 I didn't really remember whether that happened, either. But every year there's a nonzero number of people from both the "exam done, project not" and "project done, exam not" groups. 14:51:29 -!- Zuu has quit (Ping timeout: 240 seconds). 14:56:27 -!- mtve has joined. 15:09:12 -!- Sgeo|web has joined. 15:16:39 -!- oerjan has quit (Quit: leaving). 15:22:50 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 15:47:21 -!- copumpkin has joined. 16:04:47 -!- Sgeo|web has quit (Ping timeout: 265 seconds). 16:09:09 ?oeis 1 2 3 4 16:09:24 @oeis 1 912 499592 43582348726987 2398859982734987 16:09:25 Plugin `oeis' failed with: thread killed 16:09:26 Sequence not found. 16:09:44 @oeis 1 2 3 4 16:10:00 Plugin `oeis' failed with: thread killed 16:19:14 Aww. 16:19:22 That looks like the bestest pluggin' plugin. 16:32:12 @oeis 1 2 3 4 16:32:28 The natural numbers. Also called the whole numbers, the counting numbers or ... 16:32:28 [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,... 16:32:45 @vixen Slow day? 16:32:46 Certainly in the next 50 years we shall see a woman president, perhaps sooner than you think. A woman can and should be able to do any political job that a man can do. 16:35:05 -!- cheater has joined. 16:36:42 -!- Klisz has joined. 16:36:54 @vixen is back! 16:36:55 I can take it. The tougher it gets, the cooler I get. 16:37:11 @vixen seems cool 16:37:12 Voters quickly forget what a man says. 16:37:18 @vixen I think that violates one of the gas laws... 16:37:19 Any lady who is first lady likes being first lady. I don't care what they say, they like it. 16:37:43 @vixen You seem a little more... political of late. 16:37:44 Scrubbing floors and emptying bedpans has as much dignity as the Presidency. 16:38:36 @vixen u mad? 16:38:37 Don't try to take on a new personality; it doesn't work. 16:38:39 @vixen But what about a president who scrubs floors and empties bedpans? 16:38:40 I can see clearly now... that I was wrong in not acting more decisively and more forthrightly in dealing with Watergate. 16:38:51 .. 16:39:18 @vixen Vixengate? 16:39:19 I can see clearly now... that I was wrong in not acting more decisively and more forthrightly in dealing with Watergate. 16:40:43 @vixen Oh dear god this is amazing. 16:40:44 Voters quickly forget what a man says. 16:42:38 @vixen My, that's a surprisingly small quotes database you have there. 16:42:39 I don't know anything that builds the will to win better than competitive sports. 17:01:46 -!- DCliche has joined. 17:03:30 nixon only said fifteen things in his life 17:03:33 what is there to do 17:03:35 -!- monqy has joined. 17:04:41 -!- Klisz has quit (Ping timeout: 240 seconds). 17:05:49 -!- DCliche has changed nick to Klisz. 17:09:08 -!- cheater has quit (Ping timeout: 244 seconds). 17:10:59 fungot: What do you think about that @vixen thing? 17:11:00 fizzie: the shadow-haunted landscapes of fnord, and lot no. fnord, " the amulet that damned thing" the very apex of happy domestic fnord whilst small kittens become objects to adore, fnord, 17:14:27 fungot: Tell me a beautiful love sonnet. 17:14:27 Gregor: considerable number would believe him. he it is who shall fnord our return and sing of the days to come when fauns and dryads and satyrs, suggested the fnord of that unpleasantly undulating column on the far-off ipswich road. 17:15:11 fungot: I'm really getting quite tired of your fnording fnords. 17:15:11 Gregor: after many eons men came to the land of lomar, and the stealthy whirring and flapping of those accursed fnord closer and closer to a grasp of the secret laboratory. i speak of wests decadence, but must add that some were incised and fnord from the air. 17:17:15 Yeah, that particular style has a bit too many of them. 17:18:47 I derive amusement from seeing the words that aren't fnords but likely would be in other styles, like "undulating" 17:20:34 Deewiant: It only appears three times in the source material, so it's not too far from being a fnord. 17:20:49 -!- MSleep has changed nick to MDude. 17:22:03 -!- cheater has joined. 17:22:42 why are there fnords in multiple styles? 17:23:13 does it insert a fnord wherever it can't find another passage with that word to hook up to? 17:23:27 It doesn't work quite like that. 17:23:31 -!- Sgeo|web has joined. 17:23:36 It's a n-gram model, not a "keep quoting and jump around" model. 17:23:40 No one else got it either, so it's tied. 17:24:06 Anyhoo, the older training script mapped all occurs-only-once words into a special "UNK" token, and fungot renders that token as "fnord" when converting back from token indices to words. 17:24:06 fizzie: the doom that was one day to be there. confused memories mixed themselves with his mathematics, though the twilight of morning. 17:29:21 ^style 17:29:21 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft* nethack pa qwantz sms speeches ss wp youtube 17:30:38 fuck my spacebar 17:34:09 -!- Sgeo|web has quit (Quit: Page closed). 17:35:26 -!- Klisz has changed nick to SherlockVanHelsi. 17:35:37 -!- SherlockVanHelsi has changed nick to Klisz. 17:39:50 i woder if /\/\I keyoard is just shit.... 17:40:11 I wonder whether you're missing the 'Y' key, or just don't know how to spell "my" ... 17:41:01 or if i rattle /\/\y keyoards too /\/\u(h while (lea|\| i |\| g....oy \/ey 17:41:40 6 keys te/\/\p re/\/\o\/ed while ............. |3 l a h 17:41:41 | 17:41:41 >\ 17:42:13 ^style qwantz 17:42:14 Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011) 17:42:19 fungot, speak. 17:42:19 Phantom_Hoover: a lot! god, just forget how to talk! i just forgot that when i said she was dead before.'" 17:43:30 testing sigh ok its good enough 17:43:40 i absolutely hate removing my spacebar 17:43:57 its a godawful thing 17:44:41 Dood, that's like music to my ears (re fung-ot) 17:45:03 "A lot! God, just forget how to talk! Oh, I just forgot that \ when I said she was deaaaaaad befoooooooooooore!" 17:45:42 i tend to rattle my kb around a lot when cleaning.. im not sure if it damages it much that way 17:46:05 its probably a bad idea 17:53:28 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 18:04:02 I am magic mans' 18:20:50 -!- Phantom_Hoover has joined. 18:25:05 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 18:42:08 -!- Phantom_Hoover has joined. 18:56:58 -!- sebbu2 has joined. 18:56:58 -!- sebbu2 has quit (Changing host). 18:56:58 -!- sebbu2 has joined. 18:59:35 -!- sebbu has quit (Ping timeout: 248 seconds). 19:18:08 -!- SgeoN1 has joined. 19:18:53 kallisti, update 19:19:37 ZOMG 19:19:59 kallisti, should I stop updating you? 19:22:49 -!- derdon has joined. 19:28:12 SgeoN1: nah 19:38:49 AT LAST THE GOAT OF INEVITABILITY BLEATS 19:40:03 -!- GreaseMonkey has joined. 19:40:31 -!- kallisti has quit (Ping timeout: 252 seconds). 19:54:24 -!- SgeoN1 has quit (Quit: Bye). 20:14:10 -!- shadwick has joined. 20:16:00 -!- Gregor has set topic: #esoteric is a second-generation, outside–in, pull-based, multiple-stakeholder, multiple-scale, high-automation, agile methodology. It describes a cycle of interactions with well-defined outputs, resulting in the delivery of working, tested software that matters. | Everyone in #esoteric is ẌTREME | http://codu.org/logs/_esoteric/. 20:19:01 -!- elliott has joined. 20:19:03 21:45:41: Maybe I'll just start talking about @ whenever anyone disagrees with me on reddit. <-- and then you can exchange strategy tips with Zephir_AWT 20:19:04 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 20:19:05 21:45:55: sorry, he's Zephir_Banned now 20:19:07 21:46:10: or was that Zephir_Banned2 20:19:10 the aether wave theory guy? 20:19:45 -!- oerjan has joined. 20:20:10 21:45:41: Maybe I'll just start talking about @ whenever anyone disagrees with me on reddit. <-- and then you can exchange strategy tips with Zephir_AWT 20:20:10 21:45:55: sorry, he's Zephir_Banned now 20:20:10 21:46:10: or was that Zephir_Banned2 20:20:10 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 20:20:10 the aether wave theory guy? 20:20:35 yeah 20:20:58 oerjan: is there any actual evidence he's a different person to the originator of the theory? :) 20:22:17 -!- ais523 has joined. 20:22:38 elliott: i thought nearly everyone assumed they were the same... 20:22:46 oh, ok 20:23:00 i see the wiki is now completely unusable 20:23:09 ais523: can you disable registration? 20:23:18 i guess not 20:23:30 No, only graue can do that. 20:23:53 oerjan: that's a terrible imitation of ais523's style 20:24:19 sorry 20:24:40 03:22:06: -!- rakesh has joined #esoteric. 20:24:40 03:22:12: hi 20:24:40 03:22:15: who i sthis 20:24:40 03:22:17: i am the god 20:24:41 well, I would have said basically that, just in different words 20:24:45 satan here, sup 20:25:23 ais523: I don't suppose you can... stop new page creation? 20:25:26 no 20:25:36 nor can I even tell when a user registers, without polling the user list 20:25:42 *sigh* 20:25:54 elliott: right, the only aspects of his style i _tried_ to imitate, i remembered wrong :P 20:26:04 oerjan: heh, which were that? 20:26:17 capitalization and punctuation 20:26:19 07:06:25: if only alonzo church would have anticipated the computer terminal... 20:26:19 07:06:54: itidus20: What do you think it would be if he did so? 20:26:19 07:07:07: i just plucked his name at random 20:26:19 :D 20:26:26 turns out his is identical to mine there 20:28:23 well, /I/ can get a decent view of Recent Changes, even if nobody else can ("hide my edits") 20:28:35 if only the marquis de sade would have anticipated hospital romance novels 20:29:18 ais523: um apart from all the spambot edits 20:29:23 that you haven't got to yet. 20:29:31 (yes, there's none now, but you're not on 24/7) 20:29:39 `addquote if only the marquis de sade would have anticipated hospital romance novels 20:29:45 well, I can delete them all in a couple of minutes 20:29:47 747) if only the marquis de sade would have anticipated hospital romance novels 20:29:57 spambots are really good for getting me to memorise the keyboard shortcuts of all applicable programs 20:30:11 elliott: hey without context? 20:30:22 oerjan: well ok 20:30:24 `delquote 747 20:30:27 *poof* if only the marquis de sade would have anticipated hospital romance novels 20:30:39 `addquote if only alonzo church would have anticipated the computer terminal... itidus20: What do you think it would be if he did so? i just plucked his name at random [...] if only the marquis de sade would have anticipated hospital romance novels 20:30:42 747) if only alonzo church would have anticipated the computer terminal... itidus20: What do you think it would be if he did so? i just plucked his name at random [...] if only the marquis de sade would have anticipated hospital romance novels 20:31:19 i was thinking that, there is this great divide between a computers internal mathematics and calculations, and it's input output systems.. 20:31:42 probably i'm thinking on useless tangents again 20:31:46 IO doesn't actually exist, it's just an illusion created by humans 20:31:55 hmm 20:32:29 not to be offensive, but that kind of statement always depends on some undefined meaning of existence 20:33:14 itidus20: haskell is partly about making that divide more explicit 20:33:44 ais523: your comment it seems to hint at ancient ideas of the percieved vs the actual 20:33:52 perhaps 20:34:11 I'm still unconvinced anything actually exists, it seems more complex than the alternative where nothing exists 20:34:33 theres about million books on the subject 20:34:51 ais523: well the thing is that only one of those alternatives can simulate the other 20:35:12 aha, but the version with nothing doesn't /have/ to simulate the version with something 20:35:16 itidus20, or are they illusory books? 20:36:09 ais523: except you have to explain your own experiences... 20:36:43 not really; if nothing exists, then there's no need to explain anything 20:37:26 ais523: you can't just contradict yourself and say that you don't have to explain the contradiction because [conclusion] 20:37:33 ais523, but /something/ manifestly exists, for appropriate values of 'exists', 'something', 'manifestly' and, in fact, 'but'. 20:38:05 elliott: if nothing exists, neither does the need to explain away contradictions 20:38:13 what I'm saying is that there'd be loads of contradictions, but they wouldn't matter 20:38:31 ais523: you _are_ just trolling, right? 20:38:36 do you really think the universe is self-consistent? and do you know much about how difficult it is for systems to be self-consistent 20:38:36 hmmm 20:38:38 elliott: I'm not entirely sure 20:38:40 logic doesn't work that way. (even if you say it doesn't matter if it doesn't work that way.) 20:38:52 I think it seems unlikely that the universe is based on logic 20:39:04 an illusion exists as an illuision rather than what it purported to be 20:39:16 ais523: the universe isn't a set of axioms, so the question is incoherent 20:39:30 like, the rope exists.. the illusion of the snake exists :P 20:39:38 hmm, quite possibly 20:39:55 i dunno 20:40:03 this is how i hurt my brain 20:40:06 elliott: anyway, these sorts of thoughts, despite being probably nonsensical, is how I escaped from my depression recently 20:41:33 too much logic causes depression, i think 20:41:43 ya 20:42:00 @vixen 20:42:01 I reject the cynical view that politics is a dirty business. 20:42:06 -!- elliott has left ("Leaving"). 20:42:13 @vixen 20:42:14 The presidency has many problems, but boredom is the least of them. 20:42:24 bye elliotte 20:44:01 `log cake 20:44:28 2011-11-17.txt:03:56:38: CakeProphet: no it's more like "let's look more like the conservatives because they keep winning" :P 20:45:09 `log crossaint 20:45:15 2011-09-15.txt:22:44:52: 2011-09-15.txt:22:44:48: `log crossaint 20:45:29 `log doohickey 20:45:36 2010-06-29.txt:23:59:09: "rom the Earth perspective, Martian software is just another strange, mutually incompatible doohickey. Welcome aboard! Alas, our mudball is already ornamented with many such curios. They stick quite well." 20:45:57 `log croissant 20:46:02 2011-08-09.txt:20:41:27: *croissants 20:46:09 hahahhaah 20:46:26 even olsner couldn't spell it 20:46:33 `log bagel 20:46:35 -!- Zuu has joined. 20:46:39 2010-03-03.txt:03:37:30: This is America -- the country of the pizza bagel. 20:50:20 -!- sebbu2 has changed nick to sebbu. 20:52:41 Pagel. 20:54:30 i must conclude that my usual grocery chain store this year has a campaign to gradually exterminate from their assortment any products that i actually use 20:54:52 you may think this paranoid, but the evidence is gradually becoming overwhelming. 20:59:06 -!- Ngevd has joined. 20:59:47 -!- elliott has joined. 21:00:07 Hello! 21:00:12