\e 23:53:40 <kmc> i don't know what this escape code is called 23:53:54 <kmc> it's not the one used by xterm to set the window title 23:54:01 <kmc> it's not in the xterm escape codes file 23:57:05 <zzo38> Is there ROM chips having a second address/data bus?

00:02:15 `pastelogs free.*applicative 00:02:54 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.23349 00:04:23 -!- Jafet has joined. 00:05:04 `pastelogs free.*applicative 00:05:19 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.937 00:05:32 Why did you do that twice? 00:23:40 for some reason the first link didn't load 00:24:57 zzo38: iirc that looks good 00:26:05 oerjan: But it doesn't work. It compiles but it won't give the correct answer. 00:26:19 oh? 00:26:54 well iirc x > y iff there exists something in l >= y or something in r <= x 00:27:19 which seems equivalent to what you wrote 00:29:13 zzo38: what's your counterexample? 00:30:51 O, nevermind it is working OK. The problem was the wrong addition. 00:30:56 ah 00:32:15 The other problem was multiplication not being defined. 00:32:20 But it works now. 00:34:04 -!- zzo38 has quit (Remote host closed the connection). 00:37:43 -!- ais523 has quit. 00:48:42 -!- Jafet has quit (Quit: Leaving.). 01:09:44 :t (<**>) 01:09:45 forall (f :: * -> *) a b. (Applicative f) => f a -> f (a -> b) -> f b 01:10:15 @yarrrr 01:10:15 Har de har har! 01:18:14 -!- impomatic has left. 01:57:51 -!- itidus21 has changed nick to halflife2. 01:59:35 -!- halflife2 has changed nick to itidus21. 02:16:02 Is it a bad sign that there's a wifi network called "Wecanseeyounaked"? 02:18:13 nah, they can see everyone naked 02:18:43 that's a cool superpower 02:21:50 There's also a "Booblies". 02:22:00 I suppose it's some kind of a combination of boobies and lies. 02:30:57 -!- zzo38 has joined. 03:06:40 -!- DHeadshot has joined. 03:17:14 kmc: Curse your name not being actually kmc. 03:17:40 I saw "Keegan McAllister" posting about taralli in my RSS reader, thought you should know about it, and then put two and two together. 03:17:58 What was the answer? 03:17:59 slavek kmc, the famous czech computer scientist 03:18:55 disclaimer: m may not actually be a vowel in czech. l and r are, however. 03:22:26 How are l and r pronounced in Czech? 03:23:25 :D 03:25:51 well, usually normally, it's just that they can carry a syllable 03:27:42 Strč prst skrz krk <- tongue twister 03:33:14 pikhq: ooc, why did you think of telling me about it 03:33:19 is it because i mentioned toroidal desktop here before? 03:33:28 kmc: Yes. 03:33:54 kmc: The thought was "Oh, that'd probably be much nicer for him than his current setup." 03:34:13 indeed it is ;) 03:34:53 URL? 03:35:08 http://mainisusuallyafunction.blogspot.com/2012/09/taralli-screen-edge-pointer-wrapping.html 03:35:25 Thanks 03:40:21 * ion tried it. You lose the display’s four sweet spots. 03:41:44 meaning the points which are easy to hit? 03:45:38 yeah i also thought a toroidal screen would make the edges harder to hit... 03:46:02 yeah, it does 03:46:28 but i think it's worth it, especially on a desktop 5000 pixels wide 03:48:58 i don't need to hit edges that often 03:49:31 i mainly use the mouse for clicking stuff on web pages 03:49:42 and copy-pasting text 03:50:03 the stuff at the edges of the screen -- scroll bars and the browser tab bar -- i have keyboard shortcuts for 03:51:26 i'm trying out Vimium now :) 03:52:26 -!- DH____ has joined. 03:52:39 I tried a (also synergy-driven) wrapping desktop once, with a desktop 4544 pixels wide, but somehow could never (well, in the day or two I had it) learn to take the short way around. 03:52:47 -!- DHeadshot has quit (Read error: Connection reset by peer). 03:56:45 -!- DH____ has quit (Read error: Connection reset by peer). 03:56:49 -!- DHeadshot has joined. 04:01:54 -!- DHeadshot has quit (Ping timeout: 276 seconds). 04:06:03 -!- FreeFull has quit (Ping timeout: 272 seconds). 04:13:35 -!- MoALTz has joined. 04:45:59 @Horse_ebooks tweet: "Awaken The Unused 98% Of Your Infinite" 04:46:00 Unknown command, try @list 04:46:13 I think I'm fine with the 2% of my infinite that I'm actually using. 04:46:26 OKAY 04:46:31 I mean, it's still perfectly nice and infinite. 04:46:45 2% of infinity is quite impressive still. 04:46:59 yeah caring about the difference is a cardinal sin 04:47:55 -!- aloril has quit (Ping timeout: 244 seconds). 04:48:35 -!- tswett has quit (Changing host). 04:48:35 -!- tswett has joined. 04:54:20 womp womp 05:02:22 -!- aloril has joined. 05:10:44 -!- lambdabot has quit (Ping timeout: 248 seconds). 05:15:35 -!- lambdabot has joined. 05:29:03 -!- Jafet has joined. 06:03:05 2% of infinite is still infinite (but depending on what kind of infinite number systems is being used, it might be less). 06:13:26 I can only assume that tswett learned of horse_ebooks because Hussie. 06:18:42 zzo38: So we punned. 06:21:12 -!- oerjan has quit (Quit: Good night). 06:35:45 What is a good simple pseudorandom number generator... 06:35:47 zzo38: if the PRNG doesn't have to be very secure, just use a LFSR 06:39:37 -!- ais523 has joined. 06:39:37 -!- ais523 has quit (Changing host). 06:39:37 -!- ais523 has joined. 07:12:44 The Finalize monad must have a use in category theory in general? 07:19:54 -!- Eladith has joined. 07:43:30 -!- ais523 has quit. 07:43:46 -!- ais523 has joined. 07:45:41 -!- augur has quit (Remote host closed the connection). 07:47:39 -!- augur has joined. 07:55:00 -!- copumpkin has quit (Ping timeout: 248 seconds). 07:55:33 -!- copumpkin has joined. 08:00:42 -!- elliott has joined. 08:01:06 kmc: Isn't it kind of bad that taralli breaks the well-known consequence of Fitts's Law, in that it removes the ideal locations of the edges and esp. corners of the screen? 08:13:08 I have some idea: I once read somewhere someone had a computer program on punched cards and the customs agent took some of the cards. My idea is program (or programming language) that you can shuffle the cards and take out up to 10% and the program still works. 08:16:25 Oh, I didn't see taralli. 08:16:41 * shachaf will try it. 08:16:57 whoa, dude, this is weird. 08:20:23 It segfaults if you don't run it under X. :-( 08:23:27 soundnfury: But can this PRNG be used for easily shuffling a deck of cards, and are most permutations possible? 08:24:36 -!- zzo38 has quit (Quit: !). 08:26:11 -!- nooga has joined. 08:31:20 One could use arcfour-N to generate permutations 08:34:59 -!- elliott has left ("Leaving"). 08:49:01 -!- ais523_ has joined. 08:49:05 -!- ais523 has quit (Read error: Connection reset by peer). 08:49:18 -!- ais523_ has changed nick to ais523. 09:08:24 -!- kinoSi has quit (Read error: Connection reset by peer). 09:08:52 -!- kinoSi has joined. 09:23:54 kmc: Are you sure you should check event.xcookie.type == GenericEvent? 09:23:59 (As opposed to event.type.) 09:42:17 -!- ais523 has quit (Ping timeout: 268 seconds). 09:48:01 kmc: Is there a reason you do all the work to check for a RawMotion event? As far as I can tell the program gets no other events, and doing extra wrapping probably isn't harmful anyway. 09:58:35 -!- KingOfKarlsruhe has joined. 10:15:36 zzo: theres 2 possible approaches i can think of.. one is to say order doesn't matter... another is to have a means of re-sorting the cards when necessary 10:17:02 the part about being able to remove 10% of the cards sounds more tricky 11:04:28 -!- Arc_Koen has joined. 11:21:23 -!- ais523 has joined. 11:33:57 -!- mig22 has joined. 11:49:17 @ask elliott 04:41 shachaf: Okay, so you want Nothing returned when neither modifies either to indicated that the compound didn't modify anything. 11:49:17 Consider it noted. 11:49:26 @ask elliott (It made perfect sense in context!) 11:49:26 Consider it noted. 11:55:47 -!- Phantom_Hoover has joined. 12:01:17 Anarchy's beginning to look more like a real language now 12:01:27 even though all I'm doing is tweaking the spec to avoid warts 12:04:09 -!- DHeadshot has joined. 12:07:20 -!- MoALTz has quit (Quit: Leaving). 12:10:15 and writing the grammar to type correctly 12:14:07 one interesting feature that came about is that functions have something of a "natural parameter order" 12:14:31 e.g. strchr needle haystack has a somewhat cleaner implementation than strchr haystack needle 12:26:12 -!- MoALTz has joined. 12:53:47 -!- Sgeo has quit (Quit: Leaving). 12:54:26 -!- Sgeo has joined. 13:04:40 Sgeo: quite indirectly, yeah. 13:04:52 horse_ebooks via Robert J! Lake via Solatrus via the Bandcamp page. 13:18:09 > 4180 * 24 13:18:10 100320 13:30:18 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 13:49:43 -!- copumpkin has joined. 13:51:56 -!- mig22 has quit (Quit: mig22). 14:00:36 -!- quintopi1 has joined. 14:08:14 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 15.0.1/20120905151427]). 14:09:58 -!- quintopi1 has quit (Quit: Lost terminal). 14:09:58 -!- quintopia has quit (Quit: Lost terminal). 14:10:18 -!- quintopia has joined. 14:23:04 -!- quintopia has quit (Ping timeout: 260 seconds). 14:23:17 -!- atriq has joined. 14:31:22 -!- quintopia has joined. 14:34:40 -!- ais523 has quit (Read error: Connection reset by peer). 14:34:45 -!- ais523_ has joined. 14:35:08 -!- ais523_ has changed nick to ais523. 14:59:58 -!- augur has quit (Remote host closed the connection). 15:01:06 -!- FreeFull has joined. 15:01:16 -!- augur has joined. 15:01:52 -!- DHeadshot has quit (Read error: Connection reset by peer). 15:02:08 -!- DHeadshot has joined. 15:05:30 -!- augur has quit (Ping timeout: 246 seconds). 15:15:03 -!- kmc has quit (Quit: Lost terminal). 15:23:17 I swear, on any other programming website 15:23:33 That which a Truth-machine is designed to showcase would be a given 15:28:35 ??? 15:30:19 -!- atriq has quit (Remote host closed the connection). 15:31:05 -!- kmc has joined. 15:35:23 -!- Phantom__Hoover has joined. 15:37:23 -!- augur has joined. 15:38:19 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 15:56:23 uh, it's not possible to write a truth-machine in Chef? 15:56:54 apparently output is only possible once the program has terminated... which it doesn't in case of an infinite loop 16:02:24 -!- ais523_ has joined. 16:02:53 -!- ais523 has quit (Disconnected by services). 16:02:55 -!- ais523_ has changed nick to ais523. 16:37:02 -!- KingOfKarlsruhe has joined. 16:37:18 -!- atriq has joined. 16:39:08 Phantom__Hoover, Truth-machine 16:40:14 atriq: what did you mean "That which a Truth-machine is designed to showcase would be a given"? 16:40:25 Probably 16:56:03 -!- ogrom has joined. 17:11:22 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 15.0.1/20120905151427]). 17:12:26 -!- Vorpal has joined. 17:15:02 -!- KingOfKarlsruhe has joined. 17:16:42 -!- ais523_ has joined. 17:17:32 -!- ais523 has quit (Ping timeout: 245 seconds). 17:17:56 -!- ais523_ has changed nick to ais523. 17:19:21 -!- zzo38 has joined. 17:19:28 -!- itidus21 has quit (Quit: Leaving). 17:26:36 -!- hagb4rd has joined. 17:28:34 -!- ais523_ has joined. 17:32:27 -!- ais523 has quit (Ping timeout: 276 seconds). 17:34:25 -!- zzo38 has quit (Remote host closed the connection). 17:35:13 -!- ogrom has quit (Quit: begone). 17:48:59 -!- ais523_ has quit (Ping timeout: 260 seconds). 17:50:08 oh my, they made the intro theme worse in season 3 17:50:18 olsner, to what? 17:50:20 Red Dwarf? 17:50:23 Sgeo: enterprise 17:50:34 There was a season 3? 17:50:35 THEY HAVE? 17:52:00 they added some cheesy backing track, I suppose they intended to make it "fuller" or something but it sounds more like they found the make-a-beat button on the keyboard 17:55:56 -!- augur has quit (Remote host closed the connection). 17:59:37 -!- Zuu has quit (Ping timeout: 260 seconds). 17:59:40 -!- augur has joined. 18:05:08 -!- Zuu has joined. 18:22:29 -!- FreeFull has quit (Ping timeout: 260 seconds). 18:41:20 They also changed the theme tune to Thomas the Tank Engine, fwiw 18:41:24 Also they made it CGI 18:43:23 I don't remember enterprise ever switching to the Thomes the Tank Engine theme 18:47:34 -!- oerjan has joined. 18:51:42 @ask elliott (It made perfect sense in context!) <-- if you say so. 18:53:32 I wonder if I watched thomas the tank engine in english when I was a kid or if it was translated ... can't remember what it was called in swedish though 18:53:50 I watched it in English 18:54:12 that's amazing 18:54:23 I also watched it in England 18:54:45 I think the latter rather accounts for the former 18:55:16 it's "lokomotivet thomas" in norwegian, anyway 18:55:22 In Finnish, the show is called Tuomas-veturi. 18:56:34 hexham = helsinki, by a symmetry which switches finnish and english. 18:57:18 Hexham also has a very poor to nonexistent underground/light railway 18:57:38 shocking 18:58:21 "underground railway" makes me think of a subculture of railway enthusiasts running an illegal private railway 18:59:19 i used to like london, back when it was underground 19:03:40 -!- itidus21 has joined. 19:06:39 oerjan: I never watched it at all. 19:08:28 shocking 19:08:33 (i'm not sure if i have) 19:09:52 shocking 19:10:01 i watched some on youtube this year 19:10:19 What did you make of it? 19:10:43 well i was aware of it before... but... 19:11:19 i guess i'm not all that fond of the political philosophies espoused by any shows about workers having to work 19:11:52 uhhhh... 19:12:36 the point is it has ringo, it has trains, and it has cool landscapes 19:13:03 And what do you think of El Nombre? 19:13:03 and perhaps a world first, anthropomorphic trains 19:13:14 I remember reading a thing about how Thomas the Tank Engine espoused the Blairite work ethic 19:13:28 Except I was really young at the time and I was more confused than anything else. 19:13:38 It's based on a book! It's very pre-Blair! 19:13:46 Phantom__Hoover: thats good... i didnt just imagine it! 19:14:09 -!- Nisstyre has joined. 19:15:13 It had 7 or 8 books before Tony Blair was born! 19:15:30 The Blairite work eithic espoused Thomas the Tank Engine 19:15:56 oh darn 19:16:03 *ethic 19:16:32 for some reason i read blair as thatcher 19:17:25 -!- Nisstyre has quit (Excess Flood). 19:17:47 anyway though.. i always say stupid things like that... 19:17:56 but i like thomas the tank engine 19:18:28 or do i ... 19:18:57 anyway... a show which is good is the live action animated version of the wind in the willows 19:19:29 i like these anthropomorphic animal based shows 19:20:33 is today's http://www.mezzacotta.net/garfield/ nothing more than a typo correction? 19:21:35 next up: günther the gas chamber 19:22:15 *-h, maybe. 19:22:25 with h 19:22:27 --- 19:22:36 wat 19:22:38 shit my macro 19:22:52 ---## 19:22:57 -!- Nisstyre has joined. 19:23:44 apparently it can be either 19:24:32 -!- Nisstyre has quit (Read error: Connection reset by peer). 19:25:52 oerjan: seen kmc 19:26:05 shachaf: occasionally 19:26:21 oerjan: You're not a very useful bot. :-( 19:26:27 you don't say 19:26:35 I don't? 19:26:37 my specialty is puns, not information 19:26:43 Oh. 19:26:46 Can I have a pun? 19:26:53 eek 19:27:10 -!- zzo38 has joined. 19:27:10 No, that's no good either. :-( 19:27:18 zzo38: Tell me a pun. 19:27:27 i'm just too puny 19:27:27 shachaf: No. 19:27:28 fresh baked puns can't be just served up 19:27:52 oerjan: Want to hear the best joke in the world? 19:27:57 If a category has more than one final object, or more than one initial object, are they isomorphic? 19:27:59 okay 19:28:01 Q: Where does a general keep his armies? 19:28:15 A: In his sleevies! 19:28:27 zzo38: that's not a pun 19:28:33 oerjan: I know. 19:28:35 also, yes. 19:28:43 I already said no I won't tell you a pun, please. 19:29:34 because there is exactly one morphism each way, and their compositions must be the identities 19:29:58 Yes that is what I thought. 19:30:32 even when category theory is all worked out, our descendants will evolve new levels of conciousness with which they must solve greater and greater riddles.... and the accomplishments of humans in what we currently call 2012 won't seem very helpful except in a retro kind of way 19:32:09 no very helpful except in a retro kind of way you say 19:32:36 "oh look, they used their bodies to think. how quaint" 19:32:48 i keep getting this feeling that itidus21 says things that _might_ be true, but which there's nearly no evidence for 19:32:52 -!- atriq has quit (Quit: Leaving). 19:33:11 -!- atriq has joined. 19:33:19 everyting i thought i'messed. my body is working the things out 19:33:44 things that might be true in the same sense that random sentences from fungot might be true? 19:33:44 without any active control of my mind 19:33:45 olsner: my understanding is an fsa two counters ( bignums), rationals or complex numbers? ( credit card numbers?) 19:33:58 i every smile i thought of was a fake smile 19:34:00 olsner: maybe slightly more coherent 19:34:02 oerjan: i just see my random posts as a kind of venting i can't help myself but blurt out... 19:34:10 oerjan: yeah 19:34:14 i think its tied in with the anxiety thing 19:34:39 shachaf: btw heard it before 19:34:40 -!- augur has quit (Remote host closed the connection). 19:35:02 hagb4rd: none of thats true etc.. 19:35:04 oerjan: Doesn't stop it from being the best joke in the world! 19:35:16 oerjan: Though, you know: The beauty of the pun is in the Oy of the beholder. 19:35:38 sorry i misread 19:35:52 okay if there is nothing between true and false it is not true 19:35:58 indeed 19:36:32 itidus21: regarding category theory, i have this feeling there is a whole world of things going on in algebraic geometry that are immensely powerful yet so abstract that i could never hope to understand them. and i have a math doctorate! 19:36:33 basically i am trying to avoid thinking about things myself 19:36:33 thats y i don't like digital media :P 19:36:52 so any idea that things will ever be all worked out is naive, i think 19:36:55 its all due to anxiety 19:37:05 (even without considering godel and turing) 19:37:11 its the same reason i cant sit there and read a book..... 19:37:27 i cant even sit there and think 19:37:27 This Togliatti surface is an algebraic surface of degree five: https://en.wikipedia.org/wiki/File:Togliatti_surface.png 19:38:03 I can't just sit there and read a book, or sit there and think, either; to read much of a book I prefer to lie down. 19:38:12 so rather than think about things, i just blurt them out 19:38:14 For thinking it is various; sometimes walking around 19:38:26 Sometimes I am lying down or sleeping 19:38:33 Sometimes sit down. 19:39:28 yea 19:39:48 seen zzo38 seen 19:40:47 Sometimes by writing. 19:41:04 When I am think about things by writing it is often not clear to anyone else, what it is for. 19:42:26 I like to think by writing 19:42:42 when I try to think by thinking I usually only achieve the illusion of thinking 19:42:48 hmm 19:43:04 absent-mindedness is concentration on sth else 19:43:15 -!- augur has joined. 19:43:26 meditation is supposed to be able to help you think by thinking 19:43:39 i think 19:43:57 wait..don't we have to stop thinking during such a session? 19:44:05 i mean im not a guru 19:44:11 in today's episode of Enterprise: vulcan zombies 19:44:13 neither am i 19:44:14 itidus21, do we call them chairs because we sit on them, or do we sit on them because they are called chairs? 19:44:42 We call them chairs because that is the word for them, I think. Isn't it? 19:44:55 they chairs are chairs as long as we _think_ of them as chairs and not tables 19:44:59 atriq: we sit on chairs mostly to conform with social conventions 19:45:05 or fireplaces 19:45:28 but then the question turns to why social conventions converge on chairs 19:45:36 we sit on chairs because our floors are improperly heated 19:45:41 its not really social.. its just functional 19:46:05 to avoid chaos everyone has to agree what is a chair 19:46:17 -!- augur has quit (Remote host closed the connection). 19:46:23 let's play #esoteric-chairs 19:47:42 i actually did put "some" thought into this once, 19:47:58 just not enough to matter 19:48:20 into the definition of chair? 19:48:33 i don't know what to quite call it 19:48:44 no.. into the hell of a chair! 19:48:57 * itidus21 looks quizzical. 19:49:13 when the doors of perception are cleansed everythings appears to man as it is infinite 19:49:21 i can throw a few more words in to show how the ideas were forming to me 19:49:24 which is less then 1 i guess 19:49:43 psychogeography.. i was wondering what that infact was... parkour.. drifters.. 19:50:15 and from my bookmarks i see the words derive and flaneur 19:51:44 i didnt quite figure out whatever it was i was trying to figure out 19:51:53 hmm, combining parkour and flaneur sounds interesting 19:54:11 i.e. a slow walking kind of parkour, I imagine it would be very fluid and graceful and involve monocles 19:56:05 That sounds hilarious 19:56:10 Pythonesque, almost 19:56:30 "The flâneur and the traceur (a parkour practitioner) both have their origins in Paris. In the nineteenth century the flâneur walked the city in order to experience it and over 150 years later traceurs in the Parisian suburbs found new ways of moving through the very same spaces." 19:56:32 I'm just imagine people in monocles slowly walking up a wall and down the other side 19:56:38 the time for the flaneurtraceur is nigh 19:57:55 pure joy 20:01:28 walking the walls up and down is a small time. but no clue where to get a monocle at this time 20:02:04 Buy a cheap pair of glasses and snap them in two 20:02:10 And tie a cord to it 20:02:15 i was hopping around wiki at that time 20:03:58 the general question, applied back to chairs i guess was, if you choose to ignore knowing that such things are chairs and you can sit on them, are there new ways you can define the environment and the ways you move around it 20:04:56 and that sentence was quite long winded 20:04:58 the point is: you would surely place your ass on it to sit down, even without knowing it is a chair 20:05:16 so we don't have to agree to it beeing a chair 20:05:35 its not a social convention 20:05:48 but a social convention wp 20:06:14 would be not to piss on a grave 20:06:19 for example 20:06:38 ok heres a specific example. in a restaurant its not ok to sit on the table 20:06:53 (although some gravestones would make perfect toilets) 20:07:10 thats a social convention yes 20:07:20 and if i can trust tv which i can't, if a woman sits on your desk she is flirting 20:07:25 but o dont think this leads us anywhere 20:07:42 well the table could be a chair.... 20:07:47 but no way leads any where 20:07:56 one way is the way with heart 20:08:00 the other is not 20:08:38 although both lead nowhere 20:08:47 ;) 20:09:28 i guess that the table is there for a reason too 20:09:35 i was forgetting that 20:10:20 if you're looking for things not having any purpose: y don't take a i-pad 20:10:32 :p 20:10:48 okay..you can sit on it 20:12:09 another thought i had was whether theres things humans can do which we just havent thought of 20:13:44 on a certain scale the body is mostly muscles and bones, and.. presumably each joint gets used regularly 20:14:15 so it seems unlikely that there is much more we can do with it 20:14:37 we can get some banana 20:14:41 i think parkour does challenge this a bit 20:15:19 and some circus performers can do some amazing things 20:16:48 brachiation! 20:18:42 and then theres the fun which can be had with machines 20:22:27 roller skates, skateboards, pogosticks, bicycles, unicycles, stilts, grappling hooks, segways, elevators, escalators 20:22:30 The plural of ski is either ski or skis. Frequently the plural is erroneously written �skiis,� owing no doubt to the fact that the double �i� occurs in skiing, the present participial form. 20:22:37 basically there are professions whose _job_ it is to find out such things, which means it's unlikely to have been ignored for not looking... 20:24:02 hm in norwegian the plural is ski, although it's not a neuter noun (which would have made it regular.) 20:24:38 i had to google it cos skis just seems so weird 20:26:41 this is all atriq's fault for asking me a question about chairs 20:26:51 Of the 8 esolangs I have created 20:26:56 4 are imperative 20:27:00 3 are functional 20:27:10 And the remaining 1 is string-rewriting 20:27:15 And not actually that esoteric 20:27:39 I'd say it's about as esoteric as Thue 20:29:24 oerjan: for me, the interest is not in actually moving about in the environment, but in video gaming 20:30:13 Fueue and Real Fast Nora's Hair Salon 3: Shear Disaster Download are my two favourite esolangs I have created 20:30:57 itidus21: but then why restrict to what can be done with a body? >:) 20:32:24 maybe because of piracy is killing intellectual property rights 20:32:50 I'm not sure if anyone's talking at eachother or if we're just talking 20:34:29 well real fast nora's hair salon 3 sounds interesting 20:35:10 It's a functional programming language with the same motivation as BIT 20:35:53 I should probably find food to eat 20:36:00 Rather than pretending that food is optional 20:36:40 -!- augur has joined. 20:37:01 as an example.. (better math notation skills would be handy here.. ) given (x,y) then (x(succ),y) and (x(pred),y) mean walking right and left respectively 20:37:05 do i have this right? :D 20:37:50 I think so 20:37:58 It doesn't handle collisions at all, though 20:38:01 so.. the verb walking 20:38:05 And assumes distances are discrete 20:38:42 is hard to avoid in a video game 20:39:38 it look so elegant expressed that way though ... 20:40:16 for some reason 20:41:01 i guess its the same as (x+1,y) and (x-1,y) 20:41:02 (x,y) -> (x++, y), (x--, y) 20:43:33 Well, it's goodnight from me! 20:43:36 Goodnight! 20:43:37 -!- atriq has quit (Quit: Leaving). 20:44:00 oerjan: i have thought about this a bit 20:44:17 @ itidus21: but then why restrict to what can be done with a body? >:) 20:44:42 if only i did something eh 20:46:33 -!- Nisstyre-laptop has joined. 20:50:57 specifically, the question of why things in a computer are modelled upon things in real life 20:52:56 looking at some windows apps, many things have an analogy to real life.. notepad, calculator, paint(like a canvas), folders, 20:55:02 i guess that is because if they wouldn't reflect the (actual state of) ideas of this world, we weren't even able to realize and abstract their patterns 20:55:55 i guess that just like how given (x,y) -> (x+c,y) where c != 0 inevitably coincides with walking... an array of values displayed as colours whereby we can change the values of those colours inevitably coincides with a canvas 20:57:07 fwiw i don't really know what the -> there means :D 20:57:09 but thats ok 20:57:28 i know its something to do with it being a function 20:57:54 > (\(x,y) -> (x+c,y)) (a,b) 20:57:55 (a + c,b) 20:59:05 :o 20:59:27 your game is almost done 21:00:41 everything big starts small 21:00:48 even the universe..so they say 21:02:32 * Arc_Koen adds to the "things to do when I have enough savings to buy a time machine" : check if the universe was really small at some point 21:05:57 How can anyone have enough savings to buy a time machine, if the price is infinite? 21:07:29 since my thought process isnt always clear, whats fascinating to me about such things is that, given a coordinate, any change to the coordinate is motion, any absence of changes to the coordinate is stasis 21:07:34 I don't know, but I expect my future self to come with a solution and bring it to me 21:08:10 i cant quite explain why such things are puzzling to me 21:08:16 -!- Nisstyre-laptop has quit (Remote host closed the connection). 21:08:38 except that it involves no work on my part to make changes to coordinates mean motion 21:09:04 -!- kinoSi has quit (Read error: Connection reset by peer). 21:09:32 -!- kinoSi has joined. 21:09:32 Arc_Koen: just be careful not to accidentally become the small thing the universe grew from 21:10:22 well *that* would be rewarding 21:10:41 perhaps, but also likely fatal 21:11:24 well that would be a much more ironical way of dying than, say, a cancer or a car accident 21:11:28 and it takes no work on my part to make changes to an array of color values mean painting on a canvas 21:12:09 like, "you used a self-generation time travel paradox to invent a time machine, and then the same paradox happened to create the universe (by killing you)" 21:13:00 so.. coordinates and color values are ways of treating numbers.... but i don't know what that means 21:13:04 besides, if that's what happened and I don't fulfill my destiny, then isn't there a risk that the universe suddenly cease to exist? 21:13:19 i think thats where the work comes in 21:13:38 defining coordinates and colours 21:14:05 > type coordinates = int * int 21:14:06 : parse error on input `type' 21:14:12 :( 21:15:01 humm 21:15:23 perhaps the only universes which exist are those in which such an extremely unlikely paradox happened. 21:15:27 no, as its part you cannot dispatch this monad 21:15:30 * Arc_Koen adds to the "things to do when I have enough savings to buy a time machine" : check if the universe was really small at some point 21:15:52 Finding that out is equivalent to checking if it's finite at all. 21:16:04 (It probably isn't.) 21:16:44 oh, you mean like some kind of "until you look at it it's much more complex"ish quantum thing? 21:17:08 i'd imagine that if the proliferating universes theory is correct, then each sub-universe, being created by one particular incident, is likely finite 21:17:23 well at least its much more simple until the mathematics look at it 21:17:30 proliferating? as in breeding? 21:18:23 yeah. 21:18:39 maybe and if the universe is goin all possible ways any time.. a vast amount of universes exits.. yes all of them 21:18:45 one theory is that every black hole created in this universe creates a new one in its singularity 21:19:23 (although because of time dilation, the new one is past the end of ours 21:19:25 ) 21:20:37 and then there's something else about universes created by colliding branes 21:20:46 so given two octets, i can mean a coordinate (x,y) with 65536 unique positions, or a very small canvas with 256 unique colours per pixel, or i can mean two ascii text characters.. 21:21:17 that would be kind of depressing. instead of having a god or something of the like above us, we might have spawned between two molecules of a bottle of beer from a bigger universe :( 21:21:21 and these all seem to be total functions (of course i am rambling and i dont know what the words im using really quite mean) 21:22:13 one theory is that every black hole created in this universe creates a new one in its singularity <-- yes like that one. singularity goes a long way ;) 21:22:20 * oerjan wonders how beer got mentioned in this 21:24:44 itidus21: everything is encoded as something else, until you reach bits, and then you get to build those out of physical components, which are "encoded" with quantum particles. 21:24:44 I mean, when I look at the landscape aroung my house and how it is very different in the day and in the night, but always so beautiful, and all that is caused by a star in the sky... that's how I like my universe 21:25:39 and encoding things as something else is the basic trick to proving languages turing-complete... 21:25:45 trying to check out this stellarium app (you may know it) i realized how fast the we're turning on earth. had some hard time to focus on beteigeuze while not paused 21:26:26 oh yeah they had this question "what would happen if the earth stopped spinning all of a sudden" 21:26:34 never had a chance to use a real telescope 21:27:58 i think nothing much immediately; then our magnetic field would disappear; then our atmosphere. 21:27:59 but i will go and get one, after i've studied the sky virtually for some time 21:28:28 oerjan: I think the conclusion was "everything would get sublimated, including the earth's mantel" 21:28:37 wat 21:28:52 the magnetic sphere is created by the fluid (turning) part of the core.. thats true 21:29:17