00:03:34 -!- Sprocklem has joined.
00:03:50 <oerjan> 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 <HackEgo> [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:34:22 <elliott> oerjan: ghc adding * :: * seems weird
00:34:30 <elliott> but I guess it's not exactly consistent in the first place
00:35:04 <Decim> What does :: do again cause I just use it to seperate numerical values
00:35:43 <oerjan> elliott: even more not exactly consistent hth
00:36:09 <Decim> Yeah so pretty much whatever im doing
00:36:15 <elliott> and simultaneously type ascription...
00:36:39 <Decim> Anyways Algorithms are hard to make
00:38:18 <Decim> 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 <Decim> http://youtu.be/dQw4w9WgXcQ
00:54:18 * boily mapoles Decim with great force
00:56:57 <boily> you outrageous villain! horrible miscreant!
00:57:10 <oerjan> yay i escaped due to boily's heroic sacrifice
00:59:44 * oerjan tosses Decim lightly aside
01:00:00 <Decim> Did I get you too?
01:00:24 <Decim> ill get you one day
01:00:40 -!- variable has changed nick to trout.
01:03:35 <boily> hellørjan. understand that the mapole application was well deserved hth
01:03:43 <boily> Decim: what can't you?
01:04:12 <lambdabot> CYUL 240000Z 25016G24KT 15SM -SHRA SCT025 OVC040 04/M00 A2964 RMK SC3SC5 SLP037
01:04:14 <Decim> A I for compiling tarballs
01:04:35 <boily> oerjan: can you believe it was snowing this morning?
01:04:51 <boily> Decim: you want artificial intelligence to compile tarballs???
01:05:41 <Decim> 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:56 <Decim> Its not that intelligent atm
01:06:10 <Decim> Its more of an Artificial Dumb
01:06:12 -!- trout has quit (Ping timeout: 276 seconds).
01:11:38 <Decim> A-S-S artificial stupid server
01:11:49 <oerjan> boily: well it was snowing here a few hours ago
01:12:31 * boily feels reassured there are Other Cold Places
01:14:04 <Decim> Can someone check the weather for Pallasgreen, Limerick
01:14:30 <Decim> I could just call my gran but she's probably asleep
01:16:32 <boily> Limerick, as in that Island over there on the Far Side of the Great Puddle?
01:17:11 <lambdabot> EINN 240100Z 13007KT 9999 SCT011 BKN035 08/06 Q1012 NOSIG
01:19:31 <boily> Weather Underground uses Tiobraid Arann as a reference. their source METAR is listed as AAXX sadly.
01:21:04 <Decim> I laughed a bit to hard there
01:21:33 <Decim> 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 <Decim> Give me something in brainfuck
01:48:43 <Decim> That's super complicated
01:53:29 <Decim> > ++++++++++++++++[>++>+++>++++>+++++>++++++>+++++++<<<<<<-]++++++++++++++++>>>++++++++.>>+.>+++.<+++++++.------.-.>-----.<++++++
01:53:30 <lambdabot> <hint>:1:1: parse error on input ‘++++++++++++++++’
01:53:38 <Decim> Those fucking liars
01:57:40 <zzo38> How much energy do you need to move everything in the universe?
01:57:46 <oerjan> 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:14 <Decim> I'm not the one who put that down
01:58:25 <Decim> My friend gave it to me
01:58:46 <oerjan> @bf ++++++++++++++++[>++>+++>++++>+++++>++++++>+++++++<<<<<<-]++++++++++++++++>>>+++
01:58:47 -!- Neber has joined.
01:58:49 <oerjan> +++++.>>+.>+++.<+++++++.------.-.>-----.<++++++
01:59:17 -!- Neber has left.
01:59:23 <oerjan> @bf ++++++++++++++++[>++>+++>++++>+++++>++++++>+++++++<<<<<<-]++++++++++++++++>>>++++++++.>>+.>+++.<+++++++.------.-.>-----.<++++++
02:00:04 <Decim> I'm just translating stuff for people and I need lambda's help
02:00:17 <Decim> Thank you misses lambda bot
02:01:26 <Decim> http://hastebin.com/raw/fexotomulu
02:03:21 <Decim> Oh god I think I broke my ring finger
02:06:49 <Decim> Have fun with that link oerjan >:|
02:08:42 <oerjan> NOT VISITING AAAAAAAAAAAAA
02:09:40 <Decim> http://hastebin.com/raw/ejipahozup its brainfuck tho
02:10:15 <Decim> Wait if lambda bot is a Mrs who's the Mr
02:10:59 <lambdabot> 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:31 <Decim> Makes me rlly salty
02:12:24 <Decim> Homosexuality didn't destroy them they just made all their fucking creations out of poisonous metals and minerals
02:12:44 <Decim> Oh noes plutonium-76 in my drinking water
02:13:03 <oerjan> i am not sure which statement is more ridiculous
02:13:21 <Decim> Or was the the Romans and all their fucking aquaducts
02:13:36 <Decim> Yeah I think it was the Romans
02:13:52 <Decim> Go about your buisness Nixon
02:14:13 <pikhq> 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:36 <Decim> Mmm that sugar tho
02:14:42 <Decim> Tastes reallll good
02:15:11 <oerjan> i don't think the romans had sugar
02:15:35 <Decim> I don't think Jesus wasn't made of bread
02:16:04 <pikhq> oerjan: Yep, they had honey but no sugar.
02:16:59 <paul2520> Decim: nice bf script earlier. well played
02:18:10 <Decim> I literally only learned bf for pun reasons only
02:20:39 <Decim> I have no use for it anywhere else
02:21:05 <Decim> None of my friends no what I'm talking about so I usually never bring it up in class
02:21:22 <Decim> Unless my IT teacher asks me then I can mess with him
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 <zzo38> How much energy do you need to move everything in the universe?
03:38:54 <pikhq> Depends. Define "move".
03:40:05 <zzo38> I mean like the force moving one object, but now I mean all objects, in the equal direction/velocity/distance as each other.
03:47:08 <pikhq> The problem is it's still poorly defined. There are not absolute coordinates in the universe.
03:47:54 <pikhq> Unfortunately the question is itself poorly defined.
03:48:07 <pikhq> Which means it can't meaningfully be answered.
03:48:25 <pikhq> "How much energy do you need to flimble the flange?" is about as answerable.
03:49:09 <pikhq> I don't think that energy is a unitless quantity.
03:49:30 <zzo38> Well, I assumed Planck units for some reason
03:49:40 <copumpkin> hey, if your question is nonsense my answer can be nonsense
03:50:10 <zzo38> 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 <pikhq> zzo38: Planck energy is still a unit. :)
03:50:43 <pikhq> copumpkin: Iya, eigo no. "Hi~"-rashii no on da ga
03:50:53 <zzo38> pikhq: Yes, I know, but I assumed that copumpkin meant 7.52 Planck units somehow
03:51:24 <zzo38> Who says you didn't do what?
03:58:58 <zzo38> What is total amount of momentum of everything in the universe moving together with a uniform velocity?
04:03:12 <zzo38> If there are a few objects that don't move, relative to any one of those
04:07:32 <pikhq> So, everything moving at the same time within the reference frame of one single object.
04:08:37 <pikhq> 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 <zzo38> 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 <zzo38> Without a calculation how do you know if it is true?
04:12:39 <zzo38> Without a calculation, how do you know if anything is true or false?
04:12:47 <pikhq> Unfortunately I do not know how to meaningfully express this in particular mathematically.
04:13:14 <pikhq> Hence I am answering the result of my intuition, not giving a particularly confident answer.
04:14:44 <zzo38> 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 <zzo38> 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 <oren> 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 <zzo38> 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 <zzo38> Such as 2^0 + 2^2 + 2^4 + 2^6 + 2^8 + 2^10 + 2^12 + ... = -1/3
04:45:57 <pikhq> Even if the universe is infinite the size of our light cone is definitely finite, so that's... not very relevant.
04:49:01 <zzo38> Where does it stop? At the big bang? Or is it curved and doesn't need to stop?
04:51:05 <pikhq> It stops at about the point of recombination, where the universe first became transparent. Approx. 378,000 years into the universe.
04:51:51 <pikhq> The light from this is a major component of the cosmic background radiation.
04:52:17 <Sgeo> http://en.wikipedia.org/wiki/List_of_duplicate_file_finders
04:52:26 <zzo38> 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 <Sgeo> I am surprised that there exists an entire Wikipedia list for this.
04:54:04 <zzo38> pikhq: But why can such things happen anyways?
04:54:56 <oren> Sgeo: the definition of a "duplicate file" varies by task
04:57:16 <oren> 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 <zzo38> 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
05:00:00 <oren> so probably each tool was invented by a programmer who had a task requiring a particualr definition of "same"
05:02:49 <oren> Hmm, the cave spider went through my fortress and off the edge of the map outside without killing anyone
05:04:38 <Jafet> https://en.wikipedia.org/wiki/List_of_lists_of_lists
05:09:19 -!- idris-bot has quit (Ping timeout: 265 seconds).
05:10:26 <oren> 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 <oren> 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 <zzo38> 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 <zzo38> I have a list of "You know you've been in Japan too long when..."
06:21:20 <izabera> 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 <zzo38> 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:25:31 <zzo38> 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 <zzo38> And to don't stop anyone from buying it if they do wish to buy it
06:35:44 <zzo38> 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:40:39 <zzo38> 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 <HackEgo> [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:57 <AndoDaan> I finally know what monads are.
07:57:09 -!- dianne has joined.
08:08:56 <zzo38> Pizza? Why are they pizza? I don't think so.
08:09:06 <AndoDaan> But I realize now that they are not functions.
08:10:22 <AndoDaan> Does that mean many things are monads?
08:11:15 <lifthrasiir> no, but I can assert that if monads are not delicious they are useless at best
08:12:28 <AndoDaan> Now you just have to define what 'delicious' is and I think we can put this problem to bed.
08:12:31 <zzo38> 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:23 * lifthrasiir has exhausted his joke budget, so is no longer functional
08:13:46 -!- zadock has joined.
08:14:02 <zzo38> AndoDaan: I suppose so, well, I know there are a few.
08:14:08 <AndoDaan> Still a good pun at the end there, lifthrasiir
08:15:46 <AndoDaan> 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 <zzo38> Monads can also be used with some mathematical stuff that isn't done with computer programming, too.
08:18:10 <AndoDaan> But more the logic-branch of mathematics, right?
08:18:28 <zzo38> It is category theory
08:22:15 <AndoDaan> Hmm. Though I think I understand them, I need a better grip on the terminology, and hard practical experience, I think.
08:27:05 <zzo38> 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 <AndoDaan> 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 <AndoDaan> Not like paradoxes and stuff, but just that "things is true now, but not then" type thingie.
08:33:55 <zzo38> 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 <AndoDaan> Bloody hell. The ancient Greeks have a lot to answer for.
08:35:56 <zzo38> 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 <AndoDaan> I know, but if they hadn't opened their mouths we'd... I don't know where I'm going with this.
08:51:12 -!- Adam_T has left.
08:54:45 -!- b_jonas has joined.
09:05:11 <shachaf> 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 <nortti> 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 <nortti> 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 <nortti> to increment, use set(EMPTY) scanr(EMPTY, 1) set(TOP). decrement likewise
13:00:34 <nortti> hmm, actually, I'm not sure if you can check what value is in the register...
13:01:37 <HackEgo> [wiki] [[Special:Log/newusers]] create * 12Me21 * New user account
13:01:54 <nortti> 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 <Sgeo> Apr 18 David Wu's program (Sharp) wins the Arimaa challenge"
13:03:05 <nortti> but I have no idea what is if the computational class for scanl, scanr(, toleft?, toright?) without the step argument
13:03:29 <HackEgo> [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:10:52 <HackEgo> [wiki] [[Talk:Befunge]] http://esolangs.org/w/index.php?diff=42738&oldid=40585 * 12Me21 * (+358) /* What about editor of Befunge programs? */
13:12:04 <HackEgo> [wiki] [[Talk:Befunge]] http://esolangs.org/w/index.php?diff=42739&oldid=42738 * 12Me21 * (+100) /* Befunge-93 really 2d */
13:17:57 <HackEgo> [wiki] [[Talk:Befunge]] http://esolangs.org/w/index.php?diff=42740&oldid=42739 * 12Me21 * (+296) /* Befunge programs? */ new section
13:18:44 <HackEgo> [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 <nortti> https://bitbucket.org/purelang/pure-lang/wiki/Rewriting
13:41:45 <HackEgo> [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 <b_jonas> 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.
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 <b_jonas> fungot: don't you just love self-documenting enum names?
14:27:02 <fungot> b_jonas: yes, that would be cool?
14:28:19 <oerjan> fungot: how gandhish of you.
14:28:19 <fungot> 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:04:47 * oerjan wonders if lucrezia actually expects klaus to accept her suggestion
16:05:04 <oerjan> or if it's negative psychology
16:05:35 <int-e> reverse psychology
16:07:19 <oerjan> also, whatever "went wrong"
16:10:04 -!- AnotherTest has quit (Ping timeout: 252 seconds).
16:13:51 <int-e> I have not looked at the comic yet.
16:15:10 <oerjan> i'm sorry, i'm out of airships to push you from hth
16:15:13 <int-e> (A long long time ago, maybe when he was dropped of an airship under Castle Wulfenbach?)
16:15:30 <oerjan> i'm pretty sure he's said it more than once.
16:15:42 <oerjan> but that was the first one, i guess.
16:16:07 <int-e> Maybe, but that's an occasion I'm fairly sure about. Mostly my memory of the comic is quite hazy.
16:16:22 <int-e> 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:35 <rdococ> 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 <myname> wouldn't that imply immutability?
18:18:57 <rdococ> you could do 'call 3 x' and then 'call 4 x', then x would refer to 4, and not 3 anymore
18:19:32 <rdococ> or x could refer to both
18:20:15 <rdococ> maybe the interpreter could determine based on context
18:20:23 <myname> how would you phrase x = x * 4?
18:21:16 <rdococ> should that cause infinite recursion?
18:21:32 <rdococ> maybe it would and you'd have to do 'call y x' 'call y*4 x'
18:22:19 <rdococ> or 'call x y' 'call y y' 'call x*4 y'
18:23:30 <rdococ> 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 <elliott> is the innovation here "language where you write assignment backwards"
18:27:35 <rdococ> reminds me of that idea of an ironic programming language
18:28:23 <rdococ> or, we could have a logic system with a three-argument operator
18:28:43 <rdococ> 'if x then y else z' would return y if x is true, but return z otherwise
18:30:48 <rdococ> not operator: if x then 0 else 1. and operator: if x then y else 0
18:31:37 <myname> well, most languages call that ?:
18:31:44 <rdococ> 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 <rdococ> NAND definition of AND is much more complicated than using IFTHENELSE
18:33:31 <rdococ> true, most languages call this x ? y : z. However, imagine a language with only that.
18:35:53 <rdococ> imagine a BF derivative with it
18:36:07 <rdococ> ...hang on, that doesn't many any sense
18:44:21 -!- AnotherTest has quit (Ping timeout: 250 seconds).
18:44:29 <FreeFull> rdococ: Those look just like "let" to me
18:44:49 <rdococ> you mean the CALL syntax?
18:45:21 <FreeFull> call x*4 x would be equivalent to let x = x*4; in Rust
18:45:38 <FreeFull> 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 <FreeFull> Any references to x before that line will still refer to the old x
18:49:13 <rdococ> 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 <FreeFull> 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 <rdococ> imagine a language in which everything is nil.
18:59:14 <zzo38> I think such thing is already in esolang wiki anyways (if I remember it correctly)
19:02:16 <rdococ> not instructions, but all objects
19:02:58 <rdococ> 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 <rdococ> nil =/= nil, unless you use assignment, say x = nil, then x == nil
19:03:42 <rdococ> does this make sense to you? it doesn't to me
19:05:02 <zzo38> It doesn't seem sensible to me either
19:05:39 <rdococ> 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 <tswett> rdococ: so what would "everything is nil" mean in that context?
20:15:29 -!- PinealGlandOptic has joined.
20:18:25 <HackEgo> [wiki] [[Special:Log/newusers]] create * MrSherlockHolmes * New user account
20:20:46 <HackEgo> [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:48:51 -!- AnotherTest has quit (Remote host closed the connection).
20:55:47 <rdococ> I'm pretty sure I know MrSherlockHolmes from Scratch.
20:56:18 <HackEgo> [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 <HackEgo> [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 <quintopia> zzo38: are you any good at TeX macros
21:25:12 <zzo38> quintopia: Yes, I have done a lot of that
21:25:16 -!- Sprocklem has quit (Ping timeout: 248 seconds).
21:25:40 <zzo38> Why are you asking about?
21:26:43 <quintopia> zzo38: would you know how to make a document print something like the bottom thing here: http://imgur.com/WtfBYz1
21:28:05 <zzo38> To do that you need to add a font containing such thing.
21:28:12 <zzo38> It has nothing to do with macros.
21:28:34 -!- fractal has quit (Ping timeout: 265 seconds).
21:30:30 <quintopia> 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 <FireFly> quintopia: interesting syntax, I like it
21:37:56 <paul2520> quintopia: that's neat. what's the source on that?
21:43:31 <HackEgo> [wiki] [[Clip]] http://esolangs.org/w/index.php?diff=42746&oldid=42176 * 168.99.197.18 * (+62) /* Constants */
21:44:44 <quintopia> 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 <zzo38> quintopia: Yes, macros can do that
21:50:00 <zzo38> 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 <quintopia> zzo38: where do i find the sources of Computer Modern?
21:52:00 <zzo38> They should be included with the TeX distribution
21:52:36 <quintopia> is this something you know how to do already? or you've never tried?
21:52:53 <zzo38> I have used METAFONT before, although not this specifically.
21:53:49 <zzo38> (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 <quintopia> zzo38: do you have any idea which mf file the sqrrt symbol might be in
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 <orin> Did you know that, unlike other repeat jobs in DF, a repeated pottery job will never run out of materials?
22:53:38 <orin> if you set "Collect Clay" "Make Clay crafts" on repeat, the dwarf will create an unlimited number of figurines, etc.
22:55:07 <orin> Yes, unless you have magma.
22:55:43 <orin> Although even if you don't, lignite veins give a crapload of coke
22:55:48 <Phantom_Hoover> and where there is magma there is unlikely to be clay, and vice versa
22:56:29 <Phantom_Hoover> 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:33 <orin> I usually embark at either a volcano or a tropical forest (that appears to be where lignite happens)
22:58:14 <orin> which makes sense in a world with no continent drift
22:59:45 <orin> In a normal map, volcanoes appear to mainly occur at the poles and in the middle of oceans
23:01:36 <orin> I have never found magma and coal in the same place though
23:02:47 <coppro> you know what I miss? lego rock raiders
23:18:29 <quintopia> http://www.reddit.com/r/funny/comments/1thhyk/the_hobbit_the_tessellation_of_smaug/
23:18:35 <oerjan> quintopia: irregular webcomic
23:20:32 <oerjan> quintopia: ok i don't get that pun...
23:27:15 <orin> Hmm... what if I simply dropped a clay floor 70 levels down to the magma level?
23:27:50 <orin> I only need a few tiles to collect clay from after all
23:34:28 -!- trout has changed nick to function.