00:02:41 "Buckle up, boys. This jump leads to space, and that's really high." 00:09:23 So there's no treaty, is there? 00:09:32 Oh 00:09:34 Now there is 00:09:47 there are many treaties, Roujo 00:10:41 Yeah, I was thinking of the Hexham one 00:10:44 btw i may have confused Taneb with the topic. Which ones? of you {is,are} in Lachine again? 00:10:49 I am 00:11:22 Well, I live there. I'm at my parents' now =P 00:15:30 are hexham, lachine and helsinki in a line 00:17:00 -!- Koen_ has quit (Quit: Koen_). 00:19:49 in some topology, maybe 00:23:59 itym "metric" 00:24:21 is a metric sufficient for lines 00:25:43 oerjan: what sounds better: "topology" or "metric" 00:25:45 well, geodesics 00:25:45 i rest my case. 00:26:36 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 while metric is enough to define lines as geodesics. 00:27:39 sounds like a boring problem 00:29:52 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 i'm seeing a lot of words here that aren't "topology" 00:32:09 ...whatever, you're just joking anyway. 00:32:24 yes 00:33:37 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 oerjan: I haven't seen you say hth for a while... Is there a treaty for that too? 00:56:46 no, there's an irssi script 00:56:54 What 00:57:03 elliott wrote it 00:57:13 It prevents you from saying it? =P 00:57:27 oerjan is one of those weird people that needs computers to stop him from doing simple things, sometimes. 00:57:29 maybe it puts it at the end of all his lines 00:57:30 it censors hth from the end of lines. 00:57:36 Nice =P 00:59:16 When you said there was a script, I assumed it was on his end 00:59:26 À la "you get a kick if you say it" 01:01:05 ...don't give him ideas. 01:01:36 @tell elliott I have an idea for you, but oerjan doesn't want to tell you. Just saying. 01:01:37 Consider it noted. 01:01:43 Well 01:01:45 NOOOO 01:01:47 doesn't want me* 01:02:29 @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:29 Consider it noted. 01:02:36 There we go 01:02:40 @tell lambdabot Thanks 01:02:40 Nice try ;) 01:02:41 ^^ 01:04:33 oerjan: He'll know now, hth 01:05:34 's ok i'll just threaten with turning off the script. 01:06:14 or maybe he'll kick everyone _else_ instead, because hey, i've got a script 01:06:14 ^^ 01:06:21 Yeah, that would be nice 01:06:22 Anyway 01:06:26 TIME TO GO HOME 01:08:32 WOULD YOU LIKE A KICK OUT THE DOOR 01:31:01 hi oerjan 01:31:11 evening 01:31:19 soon it will be evening 01:31:48 okay 01:35:08 hmm 01:35:10 hi kmc 01:42:12 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 23.0.1/20130814063812]). 01:42:12 The temple where my D&D character worships is probably the strangest one. (We didn't find it yet.) 01:46:35 hi shachaf 01:46:37 how's your day? 01:52:54 day seems reasonable 01:53:18 -!- carado has quit (Ping timeout: 264 seconds). 01:53:42 i ran into Blaketh 01:54:09 thaketh 01:54:25 kmc: it looks like Gracenotes and i will be in sf tomorrow?? 01:54:25 really 01:54:31 did you plan to run into him? 01:54:33 shachaf: oh, cool 01:54:35 no 01:54:43 maybe he planned to run into me but i doubt it 01:55:09 heh 01:55:15 i would not be entirely surprised 01:55:18 where were you? 01:56:11 mountain view 01:56:29 i will feed your coworker's cats soon 01:56:34 as it turns out 01:57:48 which coworker? 01:58:12 tjc 01:58:21 do you have plans tomorrow of some kind 01:58:33 maybe i could try to bring the previously-mentioned finnish throwing game 01:58:37 though it's fallen apart a bit 01:59:01 don't have plans, let's meet up and play this game 01:59:46 i'm not entirely sure whether i'll be able to bring it as it is but i can try 01:59:51 ok 02:00:26 Gracenotes: ☝ 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:09 `slist 02:57:11 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 03:01:28 -!- noooodl has quit (Quit: noooodl). 03:01:42 you've slisted multiple times in one day 03:01:45 and yet no olists 03:01:49 why the preferential treatment? 03:36:31 -!- carado has quit (Ping timeout: 264 seconds). 03:41:39 https://github.com/thomastechsoft3d/yesno/blob/master/Main.hs 03:58:47 -!- Nisstyre has joined. 04:05:53 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:27 `slist boon 05:11:28 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:40 `slist strike 07:19:44 slist strike: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 07:19:58 Hi 07:19:59 the day of the bazillion slists 07:20:02 AND NO OLISTS 07:20:43 a dark day for all of humankind 07:20:46 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:04 Whom, me? 07:21:08 Bike: Wrong. Not all of humankind lives in the same timezone. 07:21:20 a dark day for some of humankind 07:21:25 OK 07:21:26 and a dark night for the rest 07:21:39 (but night is usually dark so why mention it?) 07:21:54 Not all the rest are night 07:23:27 You are wrong! 07:24:21 Me? 07:24:22 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 You also have to stop being the third thing. 07:26:13 `addquote a dark day for all of humankind Bike: Wrong. Not all of humankind lives in the same timezone. a dark day for some of humankind OK 07:26:17 1096) a dark day for all of humankind Bike: Wrong. Not all of humankind lives in the same timezone. a dark day for some of humankind OK 07:28:26 Hmm 07:28:38 I think I prefer the second Attack on Titan theme tune to the first 07:28:39 zzo38: What's the third thing? 07:30:10 I don't know. Maybe I will know in the future, but maybe not. 07:31:13 Taneb: Do you prefer the third to the second? 07:31:27 zzo38, there is not yet a third 07:32:03 Then make one. 07:33:07 Alas, I cannot 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 Taneb: please set the addressing-people character to : instead of , thx 08:54:08 shachaf, no 08:54:24 Taneb: imo yes 08:54:29 The colons make me feel uncomfortable 09:05:43 -!- jconn has joined. 09:22:57 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:31 `relcome carado 13:35:34 ​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:46 hi 13:35:50 Heya ^^ 13:35:54 thanks for the welcome 13:36:02 You're, well, welcome 13:36:23 I’m amazed to see that this channel seems very active 13:36:25 warning: entering infinite loop 13:36:32 Well 13:36:32 Well 13:36:40 come 13:36:46 >_> 13:36:59 I'ts been quiet since 03 this morning 13:37:00 you're welcome Roujo 13:37:06 Thanks =P 13:40:48 carado: so what do we owe the pleasure to? 13:42:00 uh, I’ve liked esoteric languages for a while now, I made a probably-already-made lambda-calculus esoteric language interpreter 13:42:30 http://paste.awesom.eu/kni 13:43:45 Nice, nice 13:43:50 So you really were new ^^ 13:44:04 I tend to `relcome people without being sure if they're new or not 13:44:09 well, I’ve been idling for a while now 13:44:14 Oh 13:44:16 >_> 13:44:23 -!- nooodl has quit (Remote host closed the connection). 13:44:35 I must have been `relcome’d two or three times now :) 13:45:01 but I’ve never really spoken, only read the channel from time to time. 13:45:28 -!- nooodl has joined. 13:46:42 (mainly because I’m no that comfortable with english, being french) 13:47:35 that's okay, some very nice people are french 14:11:17 -!- conehead has joined. 14:18:18 -!- daakl has joined. 14:18:31 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 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 The program will then calculate and display the integer equation. -450 = -(10 * (10 > 12 ? 34 : 45)) 14:23:38 daakl: are you mafingre? 14:24:20 Does it matter? 14:24:29 yes, because mafingre is banned, so you would be ban evading 14:24:48 you have a very similar IP (and the same ISP) as lekrel yesterday, who ignored this question 14:24:58 but I suppose your response is basically confirmation in itself, unless you actually deny it? 14:25:11 elliott: What is a similar IP supposed to mean? 14:25:21 And same ISP? 14:25:26 what was mafingres ISP? 14:25:44 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 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 elliott: Similar to what? 14:26:29 elliott: Ok, I am in the same country with 22 million other people 14:26:33 but I'm wondering why you wouldn't just say "no". do you deny that you are mafingre? yes or no 14:26:51 elliott: I was lekrel from yesterday 14:26:59 But I do not know who mafingre is 14:27:11 ok, but do you deny that you are the same person as them? 14:27:26 And I ask "Does it matter" because you asked exactly the same question yesterday 14:27:31 As whom? 14:28:11 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 I have never even heard of a mafingre 14:29:06 First time in this channel was yesterday 14:29:29 ok. I don't really believe you, but ok. 14:30:12 so back to your question 14:30:17 Whatever floats your boat, now back on topic 14:30:51 what you said wasn't actually on-topic here, to be pedantic, but ok. 14:30:53 the hardest part in making a calculator is usually parsing the expression 14:31:09 I did my version in oCaml 14:31:12 and your program doesn't have to do that, since the expression is already parsed 14:32:29 http://pastebin.com/EaXkL3nt 14:32:49 daaki: try the opposite: a program that reads an expression like -(10 * (10 > 12 ? 34 : 45)), and computes the result 14:34:04 also your ternary actually expects five operands so it should be called pentary:p 14:34:34 for instance you can't use it to write stuff like (false ? 3 : 4) 14:34:53 or (0 ? 3 : 4) if you're using integers as booleans as it does in C 14:36:01 in which case <, >, <=, >=, = and != would be arithmetic operators which always yield 0 (for false) or 1 (for true) 14:47:29 i'm bored enough for this apparently http://codepad.org/KYMwwi5y 14:49:07 that's pretty board nooodl 14:49:11 bored 14:49:25 oops i forgot to rename it Pentary 14:49:31 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:39:31 hi boily bye boily 15:40:47 truth be told I'm bored as well 15:40:49 http://sprunge.us/REDX?ocaml 15:47:38 truth be told, you're lying 15:48:18 how so? 15:57:28 -!- zzo38 has joined. 16:01:58 Most people are 16:03:24 hi zzo38 16:10:28 Hello 16:10:36 What question now? 16:10:51 thats a metaquestion 16:11:07 so 16:11:22 why dont you play arkeon zzo38? 16:12:00 Because I don't know what that is. 16:13:50 but i've already told you about it before 16:14:13 Well, it is mainly the reason, anyways. Other reason is because I forgot. 16:14:36 that's okay. i've reminded you now. 16:16:59 nooodl: http://codepad.org/GZdBEwxq 16:17:14 No, I still don't remember. 16:19:56 zzo38: have you heard about arkeon? 16:20:03 quintopia: From you. 16:20:22 zzo38: oh okay. just making sure you don't forget. 16:21:31 That doesn't make me remember if I am unaware what that means! 16:28:42 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 Maybe that is why. I don't have Google Apps in my computer. 16:29:34 Arkeon is a fast-paced strategy game influenced by traditionnal asbtract games like Chess or Go. 16:29:37 now that sounds cool 16:29:48 Yes, I suppose it does. 16:33:05 http://en.wikipedia.org/wiki/Arkeon 16:33:30 OK I will look in Wikipedia later perhaps, not right now 16:33:47 Right now I am playing a Pokemon card game 16:40:24 -!- mnoqy has quit (Quit: hello). 16:49:31 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 is that like in morris where winning is usually easier if you *don't* capture all the opponent's pawns? 16:51:33 No, not really. 16:52:47 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 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 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 I literally work in the headquarters of a Fortune 500 company 17:01:09 That feels weird somehow. 17:04:43 -!- nooodl has quit (Remote host closed the connection). 17:04:52 Sgeo_: Are you sure? 17:05:22 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 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 Quick I need a 2009 internet joke 21:32:16 i have 2009 problems but the internet ain't one. right now, anyway. 21:33:36 chuck norris invented every internet joke. 21:58:06 -!- mzdravkov has joined. 21:58:18 -!- mzdravkov has left. 22:06:41 http://en.wikipedia.org/wiki/BANCStar_programming_language 22:06:54 from charles stross (@cstross) 22:06:56 0_0 22:06:57 my god man 22:08:05 bancstar has been discussed here before 22:09:53 oerjan: i only just saw it in his tweetstream 22:10:03 baffling that something like that exists for serious 22:11:51 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 Is there a name for this logic gate: 01,10,11=0;00=1 22:17:17 I implemented that in AW years ago calling it NAND, but I think I was wrong 22:18:53 it might be NOR 22:20:34 yeah it's NOR 22:20:56 Sgeo: "a NAND b" means "not (a and b)", so that's "either a is false or b is false" 22:21:44 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 who needs names, just use the truth signature! 22:23:24 00 = 1, 01 = 0, 10 = 0, 11 = 0 22:23:28 therefore the signature is 1000! 22:23:41 actually itd probably be better to make the signature 0001 22:25:07 augur, if you read NOR backwards, you're not going to think "Who the hell is RON" 22:25:08 NOR still proves that any logic gate can be built, right? 22:25:12 Sgeo, yes 22:25:18 NOR and NAND are both universal 22:25:35 Taneb: im pretty sure i will 22:25:41 we ARE in #esoteric, after all! 22:25:43 they're also dual to each other, so if one is the other has to be 22:25:50 its in the job description to be obnoxiously obtuse! 22:25:53 augur, here's a hint, RON stands for Re-Open Nominations 22:26:17 oerjan: thats interesting about duality 22:28:04 It doesn't prove fsm though, right? Still need a memory mechanism?? 22:28:33 what does that even mean 22:29:25 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 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 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 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 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 Can you make memory out of logic gates? 23:07:22 http://en.wikipedia.org/wiki/Static_random-access_memory ? 23:07:41 http://en.wikipedia.org/wiki/Flip-flop_(electronics) I guess 23:08:20 depends on how you're thinking of them. often when dealing with "logic gates" you're working timelessly 23:08:48 but yeah, sr latch is easy. 23:11:11 -!- takuin has joined. 23:11:36 Señor Latch 23:12:10 i thought "social revolutionary" because i'm the wurst. 23:12:49 currywurst?? 23:13:09 mmm sausage 23:14:01 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 n >= 1, i guess 23:23:54 -!- takuin has left ("Leaving"). 23:31:29 `slist 23:31:31 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 23:32:54 https://twitter.com/museumofcomm/status/374290121610108929/photo/1 23:41:57 -!- b4dh3r0 has joined. 23:46:32 the eternal `slist september 23:52:26 -!- function has changed nick to trout.