00:00:26 AAAAAAAAA 00:00:58 BBBBBBBBB 00:03:34 -!- Sprocklem has joined. 00:03:50 i made a long reply to spj on the flaky trac site and forgot to copy to a safe place before submitting. 00:05:01 -!- GeekDude has joined. 00:06:00 -!- egw has quit. 00:06:31 [wiki] [[Brainfuck algorithms]] http://esolangs.org/w/index.php?diff=42735&oldid=42540 * 199.21.86.10 * (-104) /* if (x == 0) { code } */ This section was redundant with the "if (x) { code1 } else { code2 }" section and had the same solutions! 00:24:40 -!- Decim has joined. 00:25:12 -!- mitchs has joined. 00:27:13 -!- mitchs_ has quit (Ping timeout: 245 seconds). 00:31:01 Yay math whoooo 00:33:35 Where's Elliott 00:33:40 Did he die? 00:33:44 yep 00:34:10 Oh no 00:34:22 oerjan: ghc adding * :: * seems weird 00:34:30 but I guess it's not exactly consistent in the first place 00:34:58 now even more so! 00:35:04 What does :: do again cause I just use it to seperate numerical values 00:35:13 > 2 :: Rational 00:35:14 2 % 1 00:35:19 Ah 00:35:20 Same 00:35:28 oerjan: ? 00:35:43 elliott: even more not exactly consistent hth 00:35:45 Decim, it's type membership 00:36:09 Yeah so pretty much whatever im doing 00:36:15 and simultaneously type ascription... 00:36:39 Anyways Algorithms are hard to make 00:38:18 That tarball thing whoever told me to make that idk it seems pretty hard to make 00:45:47 -!- boily has joined. 00:48:54 http://youtu.be/dQw4w9WgXcQ 00:48:58 >_> 00:54:18 * boily mapoles Decim with great force 00:54:38 xD 00:54:44 I got you 00:56:57 you outrageous villain! horrible miscreant! 00:57:10 yay i escaped due to boily's heroic sacrifice 00:57:21 (was it a rickroll?) 00:58:25 * Decim chuckles 00:58:32 I needed a cheer 00:58:35 Sorry 00:59:44 * oerjan tosses Decim lightly aside 01:00:00 Did I get you too? 01:00:08 NOT YET 01:00:24 ill get you one day 01:00:27 Anyways 01:00:33 AI 01:00:40 -!- variable has changed nick to trout. 01:00:56 I cant even 01:03:35 hellørjan. understand that the mapole application was well deserved hth 01:03:43 Decim: what can't you? 01:04:11 @metar CYUL 01:04:12 CYUL 240000Z 25016G24KT 15SM -SHRA SCT025 OVC040 04/M00 A2964 RMK SC3SC5 SLP037 01:04:14 A I for compiling tarballs 01:04:35 oerjan: can you believe it was snowing this morning? 01:04:51 Decim: you want artificial intelligence to compile tarballs??? 01:05:02 I'm lazy 01:05:41 Well actually no I'm not or else I wouldn't be making artificial intelligence to compile a tarball that I could easily do in like 2 minutes 01:05:45 But I guess 01:05:56 Its not that intelligent atm 01:06:10 Its more of an Artificial Dumb 01:06:12 -!- trout has quit (Ping timeout: 276 seconds). 01:11:38 A-S-S artificial stupid server 01:11:49 boily: well it was snowing here a few hours ago 01:12:31 * boily feels reassured there are Other Cold Places 01:14:04 Can someone check the weather for Pallasgreen, Limerick 01:14:30 I could just call my gran but she's probably asleep 01:16:32 Limerick, as in that Island over there on the Far Side of the Great Puddle? 01:17:11 @metar EINN 01:17:11 EINN 240100Z 13007KT 9999 SCT011 BKN035 08/06 Q1012 NOSIG 01:19:31 Weather Underground uses Tiobraid Arann as a reference. their source METAR is listed as AAXX sadly. 01:20:56 Great puddle 01:21:04 I laughed a bit to hard there 01:21:33 Great job boily you made me laugh again 01:36:58 -!- boily has quit (Quit: RESUMED CHICKEN). 01:47:08 -!- zzo38 has joined. 01:48:36 Give me something in brainfuck 01:48:43 That's super complicated 01:53:29 > ++++++++++++++++[>++>+++>++++>+++++>++++++>+++++++<<<<<<-]++++++++++++++++>>>++++++++.>>+.>+++.<+++++++.------.-.>-----.<++++++ 01:53:30 :1:1: parse error on input ‘++++++++++++++++’ 01:53:33 ofc 01:53:38 Those fucking liars 01:53:51 its a thing 01:56:19 * Decim goes away 01:57:40 How much energy do you need to move everything in the universe? 01:57:46 Decim: you could, like, try to remember how to actually run brainfuck in this channel. (hint: there's at least four different bots that can do it.) 01:58:01 Oerjan 01:58:14 I'm not the one who put that down 01:58:25 My friend gave it to me 01:58:26 yes you are. 01:58:32 Shh my child 01:58:37 I 01:58:46 @bf ++++++++++++++++[>++>+++>++++>+++++>++++++>+++++++<<<<<<-]++++++++++++++++>>>+++ 01:58:46 Done. 01:58:47 -!- Neber has joined. 01:58:49 +++++.>>+.>+++.<+++++++.------.-.>-----.<++++++ 01:58:52 argh 01:59:05 Oerjan /0/ 01:59:12 stupid line breaking 01:59:17 -!- Neber has left. 01:59:23 @bf ++++++++++++++++[>++>+++>++++>+++++>++++++>+++++++<<<<<<-]++++++++++++++++>>>++++++++.>>+.>+++.<+++++++.------.-.>-----.<++++++ 01:59:23 Hashban 01:59:36 Lol well 02:00:04 I'm just translating stuff for people and I need lambda's help 02:00:17 Thank you misses lambda bot 02:01:26 http://hastebin.com/raw/fexotomulu 02:03:21 Oh god I think I broke my ring finger 02:06:49 Have fun with that link oerjan >:| 02:08:42 NOT VISITING AAAAAAAAAAAAA 02:09:40 http://hastebin.com/raw/ejipahozup its brainfuck tho 02:10:15 Wait if lambda bot is a Mrs who's the Mr 02:10:59 @nixon 02:10:59 I don't want to see this country to go that way. You know what happened to the Greeks. Homosexuality destroyed them. Sure, Aristotle was a homo, we all know that, so was Socrates. 02:11:13 yep, nixon all right 02:11:24 Ugh 02:11:27 That text 02:11:31 Makes me rlly salty 02:11:52 interesting reaction 02:12:24 Homosexuality didn't destroy them they just made all their fucking creations out of poisonous metals and minerals 02:12:44 Oh noes plutonium-76 in my drinking water 02:12:48 Oh well 02:13:03 i am not sure which statement is more ridiculous 02:13:21 Or was the the Romans and all their fucking aquaducts 02:13:36 Yeah I think it was the Romans 02:13:39 Nvm 02:13:52 Go about your buisness Nixon 02:14:13 Perhaps a bit worse is that they used lead(II) acetate as an artificial sweetener. 02:14:21 * Decim cough "water gate scandal" cough cough 02:14:23 No really. 02:14:29 Yeah 02:14:36 Mmm that sugar tho 02:14:42 Tastes reallll good 02:15:11 i don't think the romans had sugar 02:15:35 I don't think Jesus wasn't made of bread 02:15:40 But who knows 02:15:50 Onii-jan 02:16:04 oerjan: Yep, they had honey but no sugar. 02:16:44 Odette pls 02:16:59 Decim: nice bf script earlier. well played 02:17:07 Hue 02:17:20 I got Paul!! 02:17:26 that's 2 ppl 02:18:10 I literally only learned bf for pun reasons only 02:19:24 awesome 02:19:25 I respect that 02:19:28 so much 02:20:39 I have no use for it anywhere else 02:21:05 None of my friends no what I'm talking about so I usually never bring it up in class 02:21:22 Unless my IT teacher asks me then I can mess with him 02:21:23 Muahah 02:23:20 Gnight 02:23:27 Lads 02:25:31 -!- Decim has quit (Remote host closed the connection). 02:26:53 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 02:58:52 -!- bb010g has quit (Quit: Connection closed for inactivity). 03:07:24 -!- PinealGlandOptic has quit (Ping timeout: 244 seconds). 03:08:24 -!- PinealGlandOptic has joined. 03:09:34 -!- oerjan has quit (Quit: Ntigh). 03:14:46 How much energy do you need to move everything in the universe? 03:38:54 Depends. Define "move". 03:40:05 I mean like the force moving one object, but now I mean all objects, in the equal direction/velocity/distance as each other. 03:44:42 Is that correct? 03:47:08 The problem is it's still poorly defined. There are not absolute coordinates in the universe. 03:47:17 I know 03:47:31 That's why I ask. 03:47:54 Unfortunately the question is itself poorly defined. 03:48:07 Which means it can't meaningfully be answered. 03:48:25 "How much energy do you need to flimble the flange?" is about as answerable. 03:48:51 pikhq: exactly 7.52 03:49:04 next question? 03:49:09 I don't think that energy is a unitless quantity. 03:49:30 Well, I assumed Planck units for some reason 03:49:40 hey, if your question is nonsense my answer can be nonsense 03:49:53 copumpkin: Heeee. 03:50:07 nihongo no heeee? 03:50:10 Does it take more energy to move forward or to move everything else in the entire universe backward by the same amount, or does it come out the same, and does it matter what kind of geometry and infinity we have in our universe at all? 03:50:11 zzo38: Planck energy is still a unit. :) 03:50:43 copumpkin: Iya, eigo no. "Hi~"-rashii no on da ga 03:50:53 pikhq: Yes, I know, but I assumed that copumpkin meant 7.52 Planck units somehow 03:51:06 who says I didn't? 03:51:24 Who says you didn't do what? 03:58:58 What is total amount of momentum of everything in the universe moving together with a uniform velocity? 04:00:27 Relative to? 04:03:12 If there are a few objects that don't move, relative to any one of those 04:07:32 So, everything moving at the same time within the reference frame of one single object. 04:08:37 I... believe that is actually exactly the same as situation with a single object moving relative to the rest of the objects. 04:09:58 It does seem to me (although it may be a finite small group of objects), yes, it is, but, you have to show a calculation of it 04:12:19 Without a calculation how do you know if it is true? 04:12:39 Without a calculation, how do you know if anything is true or false? 04:12:47 Unfortunately I do not know how to meaningfully express this in particular mathematically. 04:13:14 Hence I am answering the result of my intuition, not giving a particularly confident answer. 04:14:44 It does seems to me that it must be the same, but, I cannot prove it either. But if it is then all of the momentum of everything else relative to you must add up the same thing isn't it? But if the universe is finite then I don't expect that it will add up! 04:21:24 But I'm not sure; do you notice anything about this, wrong or right or seems like wrong or good or bad or whatever? 04:24:06 -!- f|`-`|f has quit (Ping timeout: 240 seconds). 04:27:42 The concept of momentum is only known to me to be valid in the context of relatively me-sized obejcts. The entire universe is outside the context where I can confirm the accuracy or utility of theories invlving "momentum". 04:29:18 -!- CADD has quit (Remote host closed the connection). 04:30:39 -!- f|`-`|f has joined. 04:37:05 I read in one book, they said if the universe is infinite then there is infinite number of stars and the light of stars will be an infinite amount of energy and it won't be dark at the night time. But, can't a divergent series add up to a finite negative number? Is that where all of the "dark matter" is coming from? 04:45:12 Such as 2^0 + 2^2 + 2^4 + 2^6 + 2^8 + 2^10 + 2^12 + ... = -1/3 04:45:57 Even if the universe is infinite the size of our light cone is definitely finite, so that's... not very relevant. 04:49:01 Where does it stop? At the big bang? Or is it curved and doesn't need to stop? 04:51:05 It stops at about the point of recombination, where the universe first became transparent. Approx. 378,000 years into the universe. 04:51:51 The light from this is a major component of the cosmic background radiation. 04:52:17 http://en.wikipedia.org/wiki/List_of_duplicate_file_finders 04:52:26 Ah, so those are some reason that their reasoning of the universe cannot be infinite are also flawed reasoning. This is I read it in some philosophy book 04:52:28 I am surprised that there exists an entire Wikipedia list for this. 04:54:04 pikhq: But why can such things happen anyways? 04:54:56 Sgeo: the definition of a "duplicate file" varies by task 04:57:16 For finding duplicate images, for instance, I wrote a program that reads the file and renames it by a rearranged version of its average color as RGBRGB 04:58:17 You can have two different compressed files with the same contents, or two different RDF files representing isomorphic RDF graphs, or two text files one with LF and one with CRLF, or one truecolor and one indexed color picture that are the same picture, or two same files which you need duplicates of since one might be modified or on a different partition or a backup or whatever 04:58:44 right 05:00:00 so probably each tool was invented by a programmer who had a task requiring a particualr definition of "same" 05:02:49 Hmm, the cave spider went through my fortress and off the edge of the map outside without killing anyone 05:04:38 https://en.wikipedia.org/wiki/List_of_lists_of_lists 05:09:19 -!- idris-bot has quit (Ping timeout: 265 seconds). 05:10:26 Why don't we create an article named List of lists of lists that don't include themselves? 201.66.171.62 (talk) 15:04, 10 April 2011 (UTC) 05:10:53 -!- Melvar has quit (Ping timeout: 244 seconds). 05:14:27 Hold on. Although a list of lists that don't include themselves is ill defined, a list of such lists is perfectly well defined, viz. the enpty list 05:14:36 Should I add command in AmigaMML to define just intonation and command to define binary compatibility with existing .MOD/.XM files (meaning the same track number for multi songs/multi parts)? 05:56:41 -!- variable has joined. 06:10:57 -!- bb010g has joined. 06:18:54 I have a list of "You know you've been in Japan too long when..." 06:21:20 i have a list of "you know you've been playing with tautologies too long when..." but there's only one element: "...when you know you've been playing with tautologies too long." 06:21:48 -!- variable has changed nick to trout. 06:23:32 I have never been in Japan but have done some of the things listed and still do, such as, pull out your ruler to underline words, one kind of rice tastes better than another kind, recognize BGM as a meaningful genre of music, go to a book shop with the full intention to read all the interesting magazines and put them back on the shelf (except 2600 which I purchase if it is a new one) 06:24:21 that's being a cheapo 06:24:26 unrelated to japan 06:25:31 I do sometimes buy books too, but often I don't buy any; they don't care as long as I do not enter the washroom or Starbucks with unpaid merchandise 06:26:04 And to don't stop anyone from buying it if they do wish to buy it 06:35:44 I have a file in my computer titled "Book of Good Advice" which contains such things as: A knowledge of Sanskrit is of little use to a man trapped in a sewer. Carpe diem, carpe hunc librum. Don't catch fire. Dress a little better than you should, but not as well as you do. Never sit on your baby. Respect all life especially if it's ugly and slithers. The customer is usually right-handed. The best teddy bears are the live kind. 06:36:06 don't catch fire 06:36:08 ok 06:36:10 i'll try 06:40:39 DIET is a bad word. Always save a suicide pill for later instead of eating it now. Don't drink water: it is too good for you. Never dream about anyone laughing. When you smell an odorless gas, it is probably carbon monoxide. When opportunity knocks, check to see who it is. It is difficult to repair a watch while falling from an airplane. If you only do what is right, you will miss out on what is left. 07:13:12 -!- Sgeo has quit (Remote host closed the connection). 07:13:42 -!- Sgeo has joined. 07:42:21 [wiki] [[ArnoldC]] M http://esolangs.org/w/index.php?diff=42736&oldid=39379 * Vriskanon * (+10) Added stub to page. Only text is "ArnoldC is an esoteric programming language created with Scala by Lauri Hartikka. The source is available [https://github.com/lhartikk/ArnoldC here], along with tutorials and example programs." 07:48:52 -!- CADD has joined. 07:55:24 -!- dianne has quit (Ping timeout: 250 seconds). 07:55:54 -!- AndoDaan has joined. 07:56:31 I think 07:56:57 I finally know what monads are. 07:57:09 -!- dianne has joined. 08:07:14 Are you sure? 08:08:10 of course, they are pizza. 08:08:20 I'm not sure about anything. 08:08:56 Pizza? Why are they pizza? I don't think so. 08:09:06 But I realize now that they are not functions. 08:09:09 because they are obviously not burritos 08:09:40 Many things are not burritos 08:10:22 Does that mean many things are monads? 08:11:15 no, but I can assert that if monads are not delicious they are useless at best 08:12:28 Now you just have to define what 'delicious' is and I think we can put this problem to bed. 08:12:31 The way to explain working of monads is if you had used other programming languages with list comprehensions 08:12:36 -!- trout has quit (Ping timeout: 276 seconds). 08:13:07 Lisp and the likes? 08:13:23 * lifthrasiir has exhausted his joke budget, so is no longer functional 08:13:46 -!- zadock has joined. 08:14:02 AndoDaan: I suppose so, well, I know there are a few. 08:14:08 Still a good pun at the end there, lifthrasiir 08:15:46 Haskell most of all, I guess. For the longest time i was under the impression that monads were only a Haskell thing. 08:16:57 Monads can also be used with some mathematical stuff that isn't done with computer programming, too. 08:18:10 But more the logic-branch of mathematics, right? 08:18:28 It is category theory 08:22:15 Hmm. Though I think I understand them, I need a better grip on the terminology, and hard practical experience, I think. 08:27:05 In addition to monads there is comonads. Category theory is also involving functors, discrete categories, thin categories, tensor categories, forgetful functors, cartesian closed categories, etc. 08:27:55 -!- Patashu has joined. 08:29:42 Above my paygrade those. I mean I just learned that they aren't burritos! Some of those things sound fascinating, though. Forgetful functions? I know about temporal logic... 08:30:37 Not like paradoxes and stuff, but just that "things is true now, but not then" type thingie. 08:33:55 Yes I know some things about temporal logic and there are other kinds of logic too, such as linear logic, classical logic, intuitionistic logic, doxastic logic, modal logic, paraconsistent logic, and others. 08:34:56 Bloody hell. The ancient Greeks have a lot to answer for. 08:35:56 The logic of the ancient Greeks is the classical logic, which still has a lot of uses, although now there are other kinds too. 08:38:15 I know, but if they hadn't opened their mouths we'd... I don't know where I'm going with this. 08:38:15 Fungot, help a guy out. 08:38:15 Damn bot. 08:51:12 -!- Adam_T has left. 08:54:45 -!- b_jonas has joined. 09:05:11 oerjan: foiled by not copying and pasting hth 09:15:03 -!- Phantom_Hoover has joined. 09:18:52 -!- bb010g has quit (Quit: Connection closed for inactivity). 09:27:05 -!- PinealGlandOptic has quit (Ping timeout: 250 seconds). 09:39:26 -!- zadock has quit (Quit: Leaving). 10:04:02 -!- augur_ has joined. 10:04:52 -!- augur has quit (Ping timeout: 256 seconds). 10:12:12 -!- augur_ has quit (Ping timeout: 276 seconds). 10:17:05 -!- augur has joined. 10:23:25 -!- Melvar has joined. 10:24:06 -!- boily has joined. 10:54:10 -!- idris-bot has joined. 11:03:14 -!- AnotherTest has joined. 11:24:27 -!- boily has quit (Quit: LAQUERED CHICKEN). 11:25:16 -!- hjulle has joined. 11:48:35 -!- AnotherTest has quit (Ping timeout: 256 seconds). 12:33:54 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 12:34:58 -!- AnotherTest has joined. 12:51:00 -!- AndoDaan has quit (Read error: Connection reset by peer). 12:56:09 instead of moving around the tape using < and >, moving around it with scanl(x) and scanr(x). they look for the next instance of x on the tape, not counting the current cell 12:58:55 the more general version scan[rl](x, step) can be used to simulate a 3-counter machine, by having a specific symbol in the beginning of the tape, then identifiers for each of the 3 registers. going to the "top" of the register (where a numer N is stored as N "empty" and then a top marker) would be: scanl(START, 1) scanr(REG, 1) scanr(TOP, 3) 12:59:47 to increment, use set(EMPTY) scanr(EMPTY, 1) set(TOP). decrement likewise 13:00:34 hmm, actually, I'm not sure if you can check what value is in the register... 13:01:37 [wiki] [[Special:Log/newusers]] create * 12Me21 * New user account 13:01:54 maybe if you had in addition of a conditional execution of if there is an X to left/right to you, as then you could just check toleft?(EMPTY, 3), and if not, then the register has value of 0 13:02:47 "2015 13:02:47 Apr 18 David Wu's program (Sharp) wins the Arimaa challenge" 13:03:05 but I have no idea what is if the computational class for scanl, scanr(, toleft?, toright?) without the step argument 13:03:29 [wiki] [[Befunge]] M http://esolangs.org/w/index.php?diff=42737&oldid=42492 * 12Me21 * (-35) %0 does not ask the user, only /0 does. 13:05:55 w 13:06:04 -w 13:10:52 [wiki] [[Talk:Befunge]] http://esolangs.org/w/index.php?diff=42738&oldid=40585 * 12Me21 * (+358) /* What about editor of Befunge programs? */ 13:12:04 [wiki] [[Talk:Befunge]] http://esolangs.org/w/index.php?diff=42739&oldid=42738 * 12Me21 * (+100) /* Befunge-93 really 2d */ 13:17:57 [wiki] [[Talk:Befunge]] http://esolangs.org/w/index.php?diff=42740&oldid=42739 * 12Me21 * (+296) /* Befunge programs? */ new section 13:18:44 [wiki] [[Talk:Befunge]] M http://esolangs.org/w/index.php?diff=42741&oldid=42740 * 12Me21 * (+3) in 13:23:34 -!- oerjan has joined. 13:24:00 -!- erdic has quit (Ping timeout: 246 seconds). 13:29:17 -!- Patashu has quit (Ping timeout: 272 seconds). 13:39:23 -!- erdic has joined. 13:40:22 https://bitbucket.org/purelang/pure-lang/wiki/Rewriting 13:41:45 [wiki] [[Befunge]] M http://esolangs.org/w/index.php?diff=42742&oldid=42737 * 12Me21 * (-3) 0 is popped when stack is empty, unless you have a crappy interpreter 13:57:41 this is brilliant. in the windows api, if you write to a pipe and there's no reader, the write fails with the error code ERROR_NO_DATA; whereas if you read from a pipe and there's no writer, it doesn't give you eof, but instead the read fails with the error ERROR_BROKEN_PIPE. 13:57:44 I'm not making this up. 14:00:51 -!- `^_^v has joined. 14:07:45 -!- hamrove has joined. 14:15:04 -!- AnotherTest has quit (Read error: No route to host). 14:15:37 -!- AnotherTest has joined. 14:27:02 fungot: don't you just love self-documenting enum names? 14:27:02 b_jonas: yes, that would be cool? 14:28:19 fungot: how gandhish of you. 14:28:19 oerjan: i'm surprised that latter hasn't gotten more attention. :p so where's that befunge-interpreter of yours?" " well, that's the official term. your question is, does it 14:33:19 -!- SopaXT has joined. 14:38:20 -!- SopaXT has quit (Remote host closed the connection). 14:51:42 -!- bb010g has joined. 14:56:01 -!- shikhin has changed nick to wolf. 14:56:06 -!- wolf has changed nick to shikhin. 15:11:00 -!- mitchs has quit (Ping timeout: 264 seconds). 15:46:20 -!- Sprocklem has quit (Ping timeout: 255 seconds). 16:02:54 * Taneb hello 16:03:29 hi 16:04:47 * oerjan wonders if lucrezia actually expects klaus to accept her suggestion 16:05:04 or if it's negative psychology 16:05:35 reverse psychology 16:05:41 darn 16:05:56 STUPEED ENGLISH 16:07:19 also, whatever "went wrong" 16:10:04 -!- AnotherTest has quit (Ping timeout: 252 seconds). 16:13:51 I have not looked at the comic yet. 16:14:11 FOOL! 16:14:18 (direct quote) 16:14:23 FOUL! 16:14:31 (Quoting Othar) 16:15:10 i'm sorry, i'm out of airships to push you from hth 16:15:13 (A long long time ago, maybe when he was dropped of an airship under Castle Wulfenbach?) 16:15:27 off. 16:15:30 i'm pretty sure he's said it more than once. 16:15:42 but that was the first one, i guess. 16:16:07 Maybe, but that's an occasion I'm fairly sure about. Mostly my memory of the comic is quite hazy. 16:16:22 Anyway... back to unification... 16:18:34 -!- TieSoul_ has joined. 16:18:53 -!- TieSoul has quit (Read error: Connection reset by peer). 16:31:58 -!- b_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 16:31:58 -!- oren has quit (Read error: Connection reset by peer). 16:33:22 -!- ais523 has joined. 16:35:25 -!- oerjan has quit (Quit: leaving). 16:36:20 -!- AnotherTest has joined. 16:37:11 -!- orin has joined. 16:43:27 -!- ais523 has quit (Ping timeout: 240 seconds). 16:48:53 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:05:22 -!- variable has joined. 17:11:34 -!- bb010g has joined. 17:36:03 -!- MoALTz has quit (Read error: Connection reset by peer). 17:36:50 -!- MoALTz has joined. 18:11:00 -!- rdococ has joined. 18:17:05 hmm 18:17:35 imagine, a programming language in which instead of assignment 'set x to 3' you can call things by other names 'call 3 x' 18:18:19 wouldn't that imply immutability? 18:18:43 not necessarily 18:18:57 you could do 'call 3 x' and then 'call 4 x', then x would refer to 4, and not 3 anymore 18:19:32 or x could refer to both 18:19:39 or throw an exception 18:19:41 or whatever 18:20:15 maybe the interpreter could determine based on context 18:20:23 how would you phrase x = x * 4? 18:20:34 call x*4 x 18:21:15 meh 18:21:16 should that cause infinite recursion? 18:21:32 maybe it would and you'd have to do 'call y x' 'call y*4 x' 18:22:03 call x y* 18:22:19 or 'call x y' 'call y y' 'call x*4 y' 18:23:30 so y would recursively refer to itself, but since whatever y refers to wouldn't change with each iteration, it could be ignored safely 18:26:33 is the innovation here "language where you write assignment backwards" 18:27:08 uh I guess 18:27:35 reminds me of that idea of an ironic programming language 18:28:23 or, we could have a logic system with a three-argument operator 18:28:43 'if x then y else z' would return y if x is true, but return z otherwise 18:30:48 not operator: if x then 0 else 1. and operator: if x then y else 0 18:31:37 well, most languages call that ?: 18:31:44 unlike other functionally complete sets of operators, its only element can describe the behaviour of NOT, AND, and OR operators with ease. 18:32:43 NAND definition of AND is much more complicated than using IFTHENELSE 18:33:31 true, most languages call this x ? y : z. However, imagine a language with only that. 18:35:53 imagine a BF derivative with it 18:36:07 ...hang on, that doesn't many any sense 18:36:11 make* 18:44:21 -!- AnotherTest has quit (Ping timeout: 250 seconds). 18:44:29 rdococ: Those look just like "let" to me 18:44:49 you mean the CALL syntax? 18:44:52 With shadowing semantics 18:44:54 Yeah 18:45:21 call x*4 x would be equivalent to let x = x*4; in Rust 18:45:38 And the left side of = can be a pattern too, as long as it's irrefutable 18:45:42 -!- AnotherTest has joined. 18:46:01 Any references to x before that line will still refer to the old x 18:46:58 interesting 18:49:13 in my language, Harp, current program state is described by the position of the current instruction. imagine if the program state could be described by other runtime variables 18:51:04 -!- TieSoul_ has changed nick to TieSoul. 18:51:52 I think there is a language that has no mutability, just this kind of assignment 18:55:06 -!- variable has changed nick to trout. 18:55:25 imagine a language in which everything is nil. 18:57:04 Doesn't sound very useful 18:57:15 Any program would be a no-op 18:59:14 I think such thing is already in esolang wiki anyways (if I remember it correctly) 19:02:16 not instructions, but all objects 19:02:58 maybe you could say, 'x = 3' - and then 'y = 4'... they're all nil but different kinds of nil, so x isn't equal to y nor is it to 4, but it is to 3 19:03:28 nil =/= nil, unless you use assignment, say x = nil, then x == nil 19:03:42 does this make sense to you? it doesn't to me 19:05:02 It doesn't seem sensible to me either 19:05:39 maybe let's say we have literals and references. references refer to literals, like 'x = 3' would make x a reference that refers to 3 19:07:10 -!- GeekDude has quit (Ping timeout: 276 seconds). 19:10:21 -!- GeekDude has joined. 19:25:15 -!- Sprocklem has joined. 19:51:08 -!- Insipid has joined. 19:51:22 -!- Insipid has left. 19:55:36 rdococ: so what would "everything is nil" mean in that context? 19:57:18 don't know 20:15:29 -!- PinealGlandOptic has joined. 20:18:25 [wiki] [[Special:Log/newusers]] create * MrSherlockHolmes * New user account 20:20:46 [wiki] [[User:MrSherlockHolmes]] N http://esolangs.org/w/index.php?oldid=42743 * MrSherlockHolmes * (+89) Created page with "Hello! I'm [https://scratch.mit.edu/users/MrSherlockHolmes/ MrSherlockHolmes] on Scratch." 20:39:21 hmm 20:48:51 -!- AnotherTest has quit (Remote host closed the connection). 20:55:47 I'm pretty sure I know MrSherlockHolmes from Scratch. 20:56:18 [wiki] [[User talk:MrSherlockHolmes]] N http://esolangs.org/w/index.php?oldid=42744 * Rdococ * (+354) saying hi 20:56:58 -!- spatterworthy has joined. 21:20:37 [wiki] [[User talk:Rdococ]] N http://esolangs.org/w/index.php?oldid=42745 * Rdococ * (+241) /* Hi guys! */ new section 21:21:33 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 21:23:59 zzo38: are you any good at TeX macros 21:25:12 quintopia: Yes, I have done a lot of that 21:25:16 -!- Sprocklem has quit (Ping timeout: 248 seconds). 21:25:40 Why are you asking about? 21:26:43 zzo38: would you know how to make a document print something like the bottom thing here: http://imgur.com/WtfBYz1 21:28:05 To do that you need to add a font containing such thing. 21:28:12 It has nothing to do with macros. 21:28:34 -!- fractal has quit (Ping timeout: 265 seconds). 21:30:30 zzo38: aha. would macros be usable to change the number under the symbol assuming there was a font with the symbol in it? 21:36:30 quintopia: interesting syntax, I like it 21:37:56 quintopia: that's neat. what's the source on that? 21:40:41 a friend of mine 21:43:31 [wiki] [[Clip]] http://esolangs.org/w/index.php?diff=42746&oldid=42176 * 168.99.197.18 * (+62) /* Constants */ 21:44:44 FireFly, paul2520: he is planning to publish something about it soon at http://solidangl.es I'll let you know when it comes out 21:49:19 quintopia: Yes, macros can do that 21:50:00 You can look at the source codes of Computer Modern to learn how to make the font and then you can make upside-down 21:50:49 zzo38: where do i find the sources of Computer Modern? 21:52:00 They should be included with the TeX distribution 21:52:36 is this something you know how to do already? or you've never tried? 21:52:53 I have used METAFONT before, although not this specifically. 21:53:49 (The sources of Computer Modern, together with diagrams, can also be found in Computers & Typesetting volume E; although they should be on your computer too if you have TeX) 21:55:47 -!- `^_^v has quit (Ping timeout: 240 seconds). 22:05:12 zzo38: do you have any idea which mf file the sqrrt symbol might be in 22:06:01 oh nvm, it's in cm_base 22:06:05 cmbase 22:17:25 * Sgeo wonders if there's anything good about VMware Player compared to VirtualBox 22:25:24 -!- oerjan has joined. 22:34:19 -!- Patashu has joined. 22:46:46 -!- fractal has joined. 22:48:31 -!- iamevn_ has quit (Ping timeout: 272 seconds). 22:48:54 -!- iamevn has joined. 22:51:11 Did you know that, unlike other repeat jobs in DF, a repeated pottery job will never run out of materials? 22:51:49 no 22:53:14 claymoreandmore 22:53:38 if you set "Collect Clay" "Make Clay crafts" on repeat, the dwarf will create an unlimited number of figurines, etc. 22:54:31 you need fuel for the clay kiln though right 22:55:07 Yes, unless you have magma. 22:55:43 Although even if you don't, lignite veins give a crapload of coke 22:55:48 and where there is magma there is unlikely to be clay, and vice versa 22:55:52 man, lignite 22:55:57 i never fucking find it 22:56:29 back when #esoteric DF was a thing i even modded coal into metamorphic layers because i was sick of having to use charcoal on every. single. map. 22:57:10 ah hobbit pun rerun 22:57:33 I usually embark at either a volcano or a tropical forest (that appears to be where lignite happens) 22:58:14 which makes sense in a world with no continent drift 22:59:45 In a normal map, volcanoes appear to mainly occur at the poles and in the middle of oceans 23:01:36 I have never found magma and coal in the same place though 23:02:47 you know what I miss? lego rock raiders 23:17:59 oerjan: did you say hobbit pun? 23:18:29 http://www.reddit.com/r/funny/comments/1thhyk/the_hobbit_the_tessellation_of_smaug/ 23:18:35 quintopia: irregular webcomic 23:19:53 oh yeah i saw that one before 23:20:32 quintopia: ok i don't get that pun... 23:20:49 oh never mind 23:20:52 googled 23:27:15 Hmm... what if I simply dropped a clay floor 70 levels down to the magma level? 23:27:50 I only need a few tiles to collect clay from after all 23:34:28 -!- trout has changed nick to function.