00:02:41 <Gregor> "Buckle up, boys. This jump leads to space, and that's really high."
00:09:23 <Roujo> So there's no treaty, is there?
00:09:47 <oerjan> there are many treaties, Roujo
00:10:41 <Roujo> Yeah, I was thinking of the Hexham one
00:10:44 <oerjan> btw i may have confused Taneb with the topic. Which ones? of you {is,are} in Lachine again?
00:11:22 <Roujo> Well, I live there. I'm at my parents' now =P
00:17:00 -!- Koen_ has quit (Quit: Koen_).
00:19:49 <Bike> in some topology, maybe
00:25:43 <Bike> oerjan: what sounds better: "topology" or "metric"
00:25:45 <Bike> i rest my case.
00:26:36 <oerjan> Bike: the problem is that the usual topology on a euclidean space doesn't contain enough information to define the usual lines.
00:27:09 <oerjan> while metric is enough to define lines as geodesics.
00:27:39 <Bike> sounds like a boring problem
00:29:52 <oerjan> well, to put it differently, you can find a diffeomorphism from a sphere to itself that (by consequence of the definition) preserves the topology and maps any finite set of points you want to a great circle.
00:30:16 <Bike> i'm seeing a lot of words here that aren't "topology"
00:32:09 <oerjan> ...whatever, you're just joking anyway.
00:33:37 <oerjan> but i'll mention the old chestnut: a topologist is someone who cannot see the difference between his donut and his coffee cup.
00:56:17 <Roujo> oerjan: I haven't seen you say hth for a while... Is there a treaty for that too?
00:56:46 <oerjan> no, there's an irssi script
00:57:13 <Roujo> It prevents you from saying it? =P
00:57:27 <Bike> oerjan is one of those weird people that needs computers to stop him from doing simple things, sometimes.
00:57:30 <oerjan> it censors hth from the end of lines.
00:59:16 <Roujo> When you said there was a script, I assumed it was on his end
00:59:26 <Roujo> À la "you get a kick if you say it"
01:01:05 <oerjan> ...don't give him ideas.
01:01:36 <Roujo> @tell elliott I have an idea for you, but oerjan doesn't want to tell you. Just saying.
01:02:29 <Roujo> @tell elliott Actually, he just doesn't want me to tell you. Although my guess is that he doesn't want to tell you either.
01:02:40 <Roujo> @tell lambdabot Thanks
01:04:33 <Roujo> oerjan: He'll know now, hth
01:05:34 <oerjan> 's ok i'll just threaten with turning off the script.
01:06:14 <oerjan> or maybe he'll kick everyone _else_ instead, because hey, i've got a script
01:06:21 <Roujo> Yeah, that would be nice
01:08:32 <oerjan> WOULD YOU LIKE A KICK OUT THE DOOR
01:42:12 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 23.0.1/20130814063812]).
01:42:12 <zzo38> The temple where my D&D character worships is probably the strangest one. (We didn't find it yet.)
01:46:35 <kmc> hi shachaf
01:46:37 <kmc> how's your day?
01:53:18 -!- carado has quit (Ping timeout: 264 seconds).
01:54:25 <shachaf> kmc: it looks like Gracenotes and i will be in sf tomorrow??
01:54:31 <kmc> did you plan to run into him?
01:54:33 <kmc> shachaf: oh, cool
01:54:43 <shachaf> maybe he planned to run into me but i doubt it
01:55:15 <kmc> i would not be entirely surprised
01:55:18 <kmc> where were you?
01:56:29 <shachaf> i will feed your coworker's cats soon
01:57:48 <kmc> which coworker?
01:58:21 <shachaf> do you have plans tomorrow of some kind
01:58:33 <shachaf> maybe i could try to bring the previously-mentioned finnish throwing game
01:58:37 <shachaf> though it's fallen apart a bit
01:59:01 <kmc> don't have plans, let's meet up and play this game
01:59:46 <shachaf> i'm not entirely sure whether i'll be able to bring it as it is but i can try
02:01:05 -!- carado has joined.
02:02:02 * shachaf will vanish for a bit in a bit.
02:02:13 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
02:30:12 -!- mnoqy has joined.
02:49:47 -!- nooodl has quit (Quit: Ik ga weg).
02:50:42 -!- noooodl has joined.
02:55:18 -!- Nisstyre has quit (Quit: Leaving).
02:55:35 -!- oerjan has quit (Quit: Noyt).
02:57:11 <HackEgo> slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
03:01:28 -!- noooodl has quit (Quit: noooodl).
03:01:42 <shachaf> you've slisted multiple times in one day
03:01:49 <shachaf> why the preferential treatment?
03:36:31 -!- carado has quit (Ping timeout: 264 seconds).
03:41:39 <Sgeo> https://github.com/thomastechsoft3d/yesno/blob/master/Main.hs
03:58:47 -!- Nisstyre has joined.
04:05:53 <zzo38> Based on the information, how accurate do you think my analysis about the chances of beating the demon are?
04:57:49 -!- conehead has quit (Quit: Computer has gone to sleep.).
05:10:52 -!- atehwa has quit (Remote host closed the connection).
05:11:28 <HackEgo> slist boon: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
05:34:57 -!- doesthiswork has quit (Quit: Leaving.).
06:43:54 -!- jconn has quit (Ping timeout: 264 seconds).
06:56:05 -!- ^v has quit (Read error: Connection reset by peer).
07:06:44 -!- AnotherTest has joined.
07:10:46 -!- Taneb has joined.
07:12:38 -!- copumpkin has quit (Ping timeout: 240 seconds).
07:13:07 -!- copumpkin has joined.
07:19:44 <HackEgo> slist strike: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
07:19:59 <shachaf> the day of the bazillion slists
07:20:43 <Bike> a dark day for all of humankind
07:20:46 <zzo38> I suppose that's just the way it is today. What do you want me to do, sue you until you fix it?
07:21:08 <zzo38> Bike: Wrong. Not all of humankind lives in the same timezone.
07:21:20 <shachaf> a dark day for some of humankind
07:21:26 <shachaf> and a dark night for the rest
07:21:39 <shachaf> (but night is usually dark so why mention it?)
07:21:54 <zzo38> Not all the rest are night
07:24:22 <zzo38> There are two things you have to stop being: [1] humanist [2] never knowing what time it is during your entire lifetime
07:25:05 <zzo38> You also have to stop being the third thing.
07:26:13 <Jafet> `addquote <Bike> a dark day for all of humankind <zzo38> Bike: Wrong. Not all of humankind lives in the same timezone. <shachaf> a dark day for some of humankind <zzo38> OK
07:26:17 <HackEgo> 1096) <Bike> a dark day for all of humankind <zzo38> Bike: Wrong. Not all of humankind lives in the same timezone. <shachaf> a dark day for some of humankind <zzo38> OK
07:28:38 <Taneb> I think I prefer the second Attack on Titan theme tune to the first
07:28:39 <shachaf> zzo38: What's the third thing?
07:30:10 <zzo38> I don't know. Maybe I will know in the future, but maybe not.
07:31:13 <zzo38> Taneb: Do you prefer the third to the second?
07:31:27 <Taneb> zzo38, there is not yet a third
08:09:27 -!- epicmonkey has joined.
08:24:02 -!- SingingBoyo has joined.
08:34:54 -!- zzo38 has quit (Remote host closed the connection).
08:47:28 -!- SingingBoyo has quit (Ping timeout: 256 seconds).
08:54:03 <shachaf> Taneb: please set the addressing-people character to : instead of , thx
08:54:29 <Taneb> The colons make me feel uncomfortable
09:05:43 -!- jconn has joined.
09:22:57 <olsner> Taneb: using comma is the third thing
10:00:13 -!- Taneb has quit (Quit: Leaving).
10:31:18 -!- epicmonkey has quit (Ping timeout: 264 seconds).
10:42:25 -!- Phantom_Hoover has joined.
11:10:11 -!- nooodl has joined.
11:12:27 -!- yorick has joined.
11:16:13 -!- Sgeo_ has joined.
11:18:59 -!- nooodl has quit (Remote host closed the connection).
11:19:07 -!- Sgeo has quit (Ping timeout: 264 seconds).
11:19:22 -!- MindlessDrone has joined.
11:25:32 -!- MindlessDrone has quit (Quit: MindlessDrone).
11:30:04 -!- nooodl has joined.
11:36:01 -!- Koen_ has joined.
12:03:52 -!- aloril has quit (Ping timeout: 246 seconds).
12:17:21 -!- aloril has joined.
12:47:35 -!- Taneb has joined.
13:04:34 -!- nooodl has quit (Remote host closed the connection).
13:17:08 -!- nooodl has joined.
13:35:07 -!- carado has joined.
13:35:34 <HackEgo> carado: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
13:35:54 <carado> thanks for the welcome
13:36:02 <Roujo> You're, well, welcome
13:36:23 <carado> I’m amazed to see that this channel seems very active
13:36:25 <Koen_> warning: entering infinite loop
13:36:59 <Roujo> I'ts been quiet since 03 this morning
13:37:00 <Koen_> you're welcome Roujo
13:40:48 <Koen_> carado: so what do we owe the pleasure to?
13:42:00 <carado> uh, I’ve liked esoteric languages for a while now, I made a probably-already-made lambda-calculus esoteric language interpreter
13:42:30 <carado> http://paste.awesom.eu/kni
13:43:50 <Roujo> So you really were new ^^
13:44:04 <Roujo> I tend to `relcome people without being sure if they're new or not
13:44:09 <carado> well, I’ve been idling for a while now
13:44:23 -!- nooodl has quit (Remote host closed the connection).
13:44:35 <carado> I must have been `relcome’d two or three times now :)
13:45:01 <carado> but I’ve never really spoken, only read the channel from time to time.
13:45:28 -!- nooodl has joined.
13:46:42 <carado> (mainly because I’m no that comfortable with english, being french)
13:47:35 <Koen_> that's okay, some very nice people are french
14:11:17 -!- conehead has joined.
14:18:18 -!- daakl has joined.
14:18:31 <daakl> Can you create a program which can build, print and calculate integer equations? It must support: 1. Addition 2. Multiplication 3. Division 4. Subtraction 5. Negation 6. Ternary
14:18:50 <daakl> here's a partial example of my Ocaml solution which builds this integer equation. let ans = Unary( Negative, Multi( Value 10, Ternary(Value 10, Greater, Value 12, Value 34, Value 45)));;
14:19:08 <daakl> The program will then calculate and display the integer equation. -450 = -(10 * (10 > 12 ? 34 : 45))
14:24:29 <elliott> yes, because mafingre is banned, so you would be ban evading
14:24:48 <elliott> you have a very similar IP (and the same ISP) as lekrel yesterday, who ignored this question
14:24:58 <elliott> but I suppose your response is basically confirmation in itself, unless you actually deny it?
14:25:11 <daakl> elliott: What is a similar IP supposed to mean?
14:25:26 <daakl> what was mafingres ISP?
14:25:44 <elliott> it means that, combined with very similar behaviour (especially dodging questions about who you are), I'm pretty confident you are the same person
14:26:09 <elliott> mafingre's ISP was not identical to yours; however, it was in the same country, and you may be using some form of mobile internet from the looks of the whois result
14:26:10 <daakl> elliott: Similar to what?
14:26:29 <daakl> elliott: Ok, I am in the same country with 22 million other people
14:26:33 <elliott> but I'm wondering why you wouldn't just say "no". do you deny that you are mafingre? yes or no
14:26:51 <daakl> elliott: I was lekrel from yesterday
14:26:59 <daakl> But I do not know who mafingre is
14:27:11 <elliott> ok, but do you deny that you are the same person as them?
14:27:26 <daakl> And I ask "Does it matter" because you asked exactly the same question yesterday
14:28:11 <elliott> well, I'd generally expect someone who doesn't know who mafingre is, and isn't them, to have an easier time of sending a message like "no, I am not the same person that used the nick 'mafingre' in the past" to the channel
14:28:52 <daakl> I have never even heard of a mafingre
14:29:06 <daakl> First time in this channel was yesterday
14:29:29 <elliott> ok. I don't really believe you, but ok.
14:30:12 <Koen_> so back to your question
14:30:17 <daakl> Whatever floats your boat, now back on topic
14:30:51 <elliott> what you said wasn't actually on-topic here, to be pedantic, but ok.
14:30:53 <Koen_> the hardest part in making a calculator is usually parsing the expression
14:31:09 <daakl> I did my version in oCaml
14:31:12 <Koen_> and your program doesn't have to do that, since the expression is already parsed
14:32:29 <daakl> http://pastebin.com/EaXkL3nt
14:32:49 <Koen_> daaki: try the opposite: a program that reads an expression like -(10 * (10 > 12 ? 34 : 45)), and computes the result
14:34:04 <Koen_> also your ternary actually expects five operands so it should be called pentary:p
14:34:34 <Koen_> for instance you can't use it to write stuff like (false ? 3 : 4)
14:34:53 <Koen_> or (0 ? 3 : 4) if you're using integers as booleans as it does in C
14:36:01 <Koen_> in which case <, >, <=, >=, = and != would be arithmetic operators which always yield 0 (for false) or 1 (for true)
14:47:29 <nooodl> i'm bored enough for this apparently http://codepad.org/KYMwwi5y
14:49:07 <Koen_> that's pretty board nooodl
14:49:25 <nooodl> oops i forgot to rename it Pentary
14:49:31 <Koen_> you should go to the movies!
14:54:04 -!- Taneb has quit (Read error: Operation timed out).
14:56:19 -!- Taneb has joined.
15:34:03 -!- boily has joined.
15:37:43 -!- boily has quit (Client Quit).
15:40:47 <Koen_> truth be told I'm bored as well
15:40:49 <Koen_> http://sprunge.us/REDX?ocaml
15:57:28 -!- zzo38 has joined.
16:10:36 <zzo38> What question now?
16:12:00 <zzo38> Because I don't know what that is.
16:13:50 <quintopia> but i've already told you about it before
16:14:13 <zzo38> Well, it is mainly the reason, anyways. Other reason is because I forgot.
16:14:36 <quintopia> that's okay. i've reminded you now.
16:16:59 <Jafet> nooodl: http://codepad.org/GZdBEwxq
16:17:14 <zzo38> No, I still don't remember.
16:19:56 <quintopia> zzo38: have you heard about arkeon?
16:20:03 <zzo38> quintopia: From you.
16:20:22 <quintopia> zzo38: oh okay. just making sure you don't forget.
16:21:31 <zzo38> That doesn't make me remember if I am unaware what that means!
16:28:42 <quintopia> zzo38: https://play.google.com/store/apps/details?id=fr.hyperfiction.arkeon&hl=en&referrer=utm_source%3Dgoogle%26utm_medium%3Dorganic%26utm_term%3Darkeon
16:29:32 <zzo38> Maybe that is why. I don't have Google Apps in my computer.
16:29:34 <Koen_> Arkeon is a fast-paced strategy game influenced by traditionnal asbtract games like Chess or Go.
16:29:37 <Koen_> now that sounds cool
16:29:48 <zzo38> Yes, I suppose it does.
16:33:05 <Jafet> http://en.wikipedia.org/wiki/Arkeon
16:33:30 <zzo38> OK I will look in Wikipedia later perhaps, not right now
16:33:47 <zzo38> Right now I am playing a Pokemon card game
16:40:24 -!- mnoqy has quit (Quit: hello).
16:49:31 <zzo38> You should not necessarily knock out your opponent's cards. I sometimes win by not knocking out opponent's cards when I have a choice.
16:50:46 <Koen_> is that like in morris where winning is usually easier if you *don't* capture all the opponent's pawns?
16:52:47 <zzo38> You can win in one of three ways: * Knock out six opponent's pokemons * Leave your opponent with no cards in play * Leave your opponent with no cards in their draw pile
16:55:17 <zzo38> Sometimes opponent's cards can help you, such as powers that affect both sides, or a card that cannot attack or retreat, if it is activated they cannot do much. Also, if they already have five bench pokemons then they cannot play another one. This can be used to stall, or to gain position until you do have a better advantage to knock out opponent's cards.
16:57:56 -!- Koen_ has quit (Quit: Koen_).
16:59:10 <zzo38> If your opponent knocks out five of your cards and you knock out none of theirs, they will still lose if they run out of cards in their draw pile before they can knock out one more of your cards. (I ave won in this way before.)
17:01:05 <Sgeo_> I literally work in the headquarters of a Fortune 500 company
17:01:09 <Sgeo_> That feels weird somehow.
17:04:43 -!- nooodl has quit (Remote host closed the connection).
17:04:52 <zzo38> Sgeo_: Are you sure?
17:05:22 <Sgeo_> Sure that I work in the headquarters of a Fortune 500 company, or sure that it feels weird? I'm sure of the former, at least.
17:05:32 <Sgeo_> It probably shouldn't feel weird.
17:07:16 -!- nooodl has joined.
17:10:05 -!- daakl has quit (Ping timeout: 250 seconds).
18:18:02 -!- oerjan has joined.
18:30:05 -!- epicmonkey has joined.
18:44:48 -!- constant has changed nick to function.
18:46:03 -!- FreeFull has quit.
18:54:24 -!- Tod-Autojoined2 has quit (Quit: This is me, signing off. Probably rebooting or something.).
19:01:23 -!- AnotherTest has quit (Ping timeout: 245 seconds).
19:08:14 -!- copumpkin has quit (Remote host closed the connection).
19:23:04 -!- TodPunk has joined.
19:24:38 -!- Sgeo_ has quit (Quit: No Ping reply in 180 seconds.).
19:26:00 -!- Sgeo has joined.
19:30:10 -!- nooodl has quit (Quit: Leaving).
19:33:39 -!- augur has quit (Remote host closed the connection).
19:38:14 -!- nooodl has joined.
19:38:30 -!- jconn has quit (Ping timeout: 264 seconds).
20:10:18 -!- epicmonkey has quit (Ping timeout: 256 seconds).
20:13:44 -!- augur has joined.
20:23:42 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
20:30:05 -!- conehead has quit (Quit: Computer has gone to sleep.).
20:33:50 -!- FreeFull has joined.
21:24:30 -!- Sgeo has quit (Quit: No Ping reply in 180 seconds.).
21:24:54 -!- Sgeo has joined.
21:31:50 <Taneb> Quick I need a 2009 internet joke
21:32:16 <oerjan> i have 2009 problems but the internet ain't one. right now, anyway.
21:33:36 <Bike> chuck norris invented every internet joke.
21:58:06 -!- mzdravkov has joined.
21:58:18 -!- mzdravkov has left.
22:06:41 <augur> http://en.wikipedia.org/wiki/BANCStar_programming_language
22:06:54 <augur> from charles stross (@cstross)
22:08:05 <oerjan> bancstar has been discussed here before
22:09:53 <augur> oerjan: i only just saw it in his tweetstream
22:10:03 <augur> baffling that something like that exists for serious
22:11:51 <zzo38> See if anyone can figure out the example with only the information given.
22:13:09 -!- Koen_ has joined.
22:14:59 -!- epicmonkey has joined.
22:17:05 <Sgeo> Is there a name for this logic gate: 01,10,11=0;00=1
22:17:17 <Sgeo> I implemented that in AW years ago calling it NAND, but I think I was wrong
22:20:56 <Koen_> Sgeo: "a NAND b" means "not (a and b)", so that's "either a is false or b is false"
22:21:44 <Koen_> yours is "they're both false" and that's "not (a or b)" which is a NOR b; or you could remember it as "neither a NOR b"
22:21:50 -!- copumpkin has joined.
22:23:11 <augur> who needs names, just use the truth signature!
22:23:24 <augur> 00 = 1, 01 = 0, 10 = 0, 11 = 0
22:23:28 <augur> therefore the signature is 1000!
22:23:41 <augur> actually itd probably be better to make the signature 0001
22:25:07 <Taneb> augur, if you read NOR backwards, you're not going to think "Who the hell is RON"
22:25:08 <Sgeo> NOR still proves that any logic gate can be built, right?
22:25:18 <Taneb> NOR and NAND are both universal
22:25:35 <augur> Taneb: im pretty sure i will
22:25:41 <augur> we ARE in #esoteric, after all!
22:25:43 <oerjan> they're also dual to each other, so if one is the other has to be
22:25:50 <augur> its in the job description to be obnoxiously obtuse!
22:25:53 <Taneb> augur, here's a hint, RON stands for Re-Open Nominations
22:26:17 <augur> oerjan: thats interesting about duality
22:28:04 <Sgeo> It doesn't prove fsm though, right? Still need a memory mechanism??
22:28:33 <oerjan> what does that even mean
22:29:25 <Koen_> Sgeo: if I understand your question right, it's kind of like if you were asking "does addition prove mathematics are a finite-state machine?"
22:30:35 <Sgeo> I'm thinking about Active Worlds, and wondering what I need to do to prove that a finite-state machine can be built.
22:31:19 <Koen_> building one would be the most explicit way to prove it
22:36:21 -!- hogeyui____ has quit (Ping timeout: 248 seconds).
22:38:47 -!- epicmonkey has quit (Ping timeout: 260 seconds).
22:44:01 <Fiora> http://www.kickstarter.com/projects/mightyno9/mighty-no-9 geez this is going fast
22:49:03 -!- nooodl has quit (Ping timeout: 260 seconds).
22:51:34 -!- Taneb has quit (Quit: Leaving).
22:55:28 <Bike> Sgeo: i'm a bit scared to learn what you could think NOR universality has to do with finite state machines.
22:59:19 -!- yorick has quit (Remote host closed the connection).
23:04:58 -!- hogeyui____ has joined.
23:06:54 <Sgeo> Can you make memory out of logic gates?
23:07:22 <Fiora> http://en.wikipedia.org/wiki/Static_random-access_memory ?
23:07:41 <Fiora> http://en.wikipedia.org/wiki/Flip-flop_(electronics) I guess
23:08:20 <Bike> depends on how you're thinking of them. often when dealing with "logic gates" you're working timelessly
23:08:48 <Bike> but yeah, sr latch is easy.
23:11:11 -!- takuin has joined.
23:11:36 <kmc> Señor Latch
23:12:10 <Bike> i thought "social revolutionary" because i'm the wurst.
23:12:49 <kmc> currywurst??
23:14:01 <Bike> Sgeo: nor being universal means that you can compute any truth table (i.e. function {0,1}^n-> {0,1} for any n) with some network of NOR gates, just to be clear. says nothing about timing
23:14:55 <Bike> n >= 1, i guess
23:23:54 -!- takuin has left ("Leaving").
23:31:31 <HackEgo> slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
23:32:54 <Bike> https://twitter.com/museumofcomm/status/374290121610108929/photo/1
23:41:57 -!- b4dh3r0 has joined.
23:46:32 <oerjan> the eternal `slist september
23:52:26 -!- function has changed nick to trout.