00:01:21 ? 00:02:05 I expect it should be OK to do so 00:02:30 OK... 00:04:59 How do I denote else in Table? 00:05:06 I'll just use Else, I guess 00:07:37 [wiki] [[Table]] http://esolangs.org/w/index.php?diff=43238&oldid=43044 * Hppavilion1 * (+111) Added arithmetic library 00:07:46 I didn't need else 00:07:50 :P 00:08:29 [wiki] [[Table]] http://esolangs.org/w/index.php?diff=43239&oldid=43238 * Hppavilion1 * (-1) Fixed comment 00:11:29 [wiki] [[Table]] http://esolangs.org/w/index.php?diff=43240&oldid=43239 * Hppavilion1 * (+70) Fixed addition to use predecessor, added multiplication 00:13:18 [wiki] [[Table]] http://esolangs.org/w/index.php?diff=43241&oldid=43240 * Hppavilion1 * (+109) 00:15:05 well, kinda works 00:15:29 I know :/ 00:15:41 hmm 00:15:47 What'd be the proper way to reference the arguments for a function in Table? 00:15:49 I was gonna create something like pfil 00:15:52 well... 00:16:11 there arent any functions in Table, so there are no arguments and that is why it isnt turing complete 00:16:23 Oh 00:16:44 I thought that the setup in the first table program was functions 00:16:59 Like, after defining "and" you could use and in a following function 00:17:29 hmm... 00:17:35 -!- ZombieAlive has joined. 00:17:44 I had the idea of making a function version, but itd be a lot like pfil 00:18:15 I think that you already have functions in the current one 00:18:22 Or could very easily 00:20:03 I think Table could become a really useful language 00:20:23 I'm tempted to move my interpreter over to The Glorious Republic 00:20:40 true 00:20:53 It's esoteric more like Haskell than like Brainfuck 00:21:02 yeah 00:21:18 maybe I could make a derivative and call it Function or Data or something 00:21:27 Or T++ 00:21:31 Table++ 00:21:34 yeah 00:22:00 Do you know python? 00:22:23 not really 00:22:27 Oh :/ 00:23:11 So should we start on S(Table)? 00:23:15 I like that name 00:23:19 Successor(Table) 00:23:37 Ooh 00:23:41 You could call it Peano 00:25:04 Yes? No? 00:27:56 haha 00:27:56 I like that name 00:28:06 cant we just call it Function? 00:28:20 Haskell isn't called Functions 00:28:37 And Table is more about Tables than about functions 00:28:58 -!- ZombieAlive has quit (Remote host closed the connection). 00:29:21 -!- ZombieAlive has joined. 00:30:03 And I see whatever we call this Table derivative as an actual, used language 00:30:24 And Peano is an AWESOME name 00:31:25 AND it sounds like a name for a language people actually use :P 00:31:49 Hi 00:31:59 Hi! 00:32:14 Welcome! 00:34:07 Hellooooo 00:34:24 Hi! 00:38:58 So 00:45:04 So 00:46:51 maybe... 00:47:07 naah 00:47:21 :,( 00:47:32 But it's such a good name... 00:47:36 Oh well 00:47:55 What do you suggest? And "Function" is a bad name 00:48:17 Too generic 00:49:20 its not the name thats bothering me 00:49:23 its... 00:49:46 The fact that Peano had nothing to do with it? 00:49:52 Makes sense 00:49:53 I agree 00:50:05 no no no 00:50:19 Oh 00:50:22 Then what is it? 00:51:33 ugh 00:51:34 nothing 00:51:46 :/ 00:51:54 What should it be called? 00:52:11 pfil 00:52:20 But it insn't imperative 00:52:38 We're discussing the Table derivative, right? 00:52:54 ugh 00:53:02 I dont want to make it 00:53:10 its too...idk...not unique 00:53:21 Oh :/ 00:53:27 I'm the one implementing Table 00:53:34 And it's pretty awesome 00:53:47 Similar to haskell only as far as python is similar to java 00:57:03 ...he...hehe... 00:57:10 ? 00:57:21 what about PRINTASKSWITCHINPUTCASEXGOTOACASEYGOTOBELSEGOTOC? 00:58:01 You already made that one 00:59:57 ik 01:00:02 I want you to take a look at it 01:00:27 I particularly like folder 01:01:14 You want me to implement PRINTASKSWITCHINPUTCASEXGOTOACASEYGOTOBELSEGOTOC? 01:06:12 I'm going to take that as a yes 01:07:24 Do I have to make it so programs can look like PRINTASKSWITCHINPUTCASEXGOTOACASEYGOTOBELSEGOTOC or can I split by spaces? 01:08:13 look at the article 01:08:34 http://esolangs.org/wiki/PRINTASKSWITCHINPUTCASEXGOTOACASEYGOTOBELSEGOTOC 01:08:40 I read it 01:08:59 But do scripts have to be able to look like PRINTASKSWITCHINPUTCASEXGOTOACASEYGOTOBELSEGOTOC 01:09:18 you didnt read the article did you 01:09:24 I did 01:14:13 Can I make a slight modification that stays inline with the language? 01:14:19 Variables can only be one letter 01:14:31 MOAR obfuscation 01:14:41 It doesn't have to be that way 01:14:48 But it'd be easier for me to implement 01:16:11 -!- boily has joined. 01:17:20 variables... exist in PRINTASKSWITCHINPUTCASEXGOTOACASEYGOTOBELSEGOTOC? 01:17:31 read the article again 01:18:03 Oh 01:18:27 `wisdom 01:18:38 friendship/friendship wisdom 01:18:43 `wisdom 01:18:44 doodad/Doodads are just duoids in the category of endofunctors. 01:21:06 -!- Herbalist has joined. 01:21:11 -!- zzo38 has quit (Remote host closed the connection). 01:22:21 rdhellococ. helloppavilion1. shellochaf. 01:22:40 wasn't friendship supposed to be something about singing graphs, la la la ♪? 01:24:22 where is there a channel where I can talk about constructed human language (Esperanto for example) 01:24:44 there's at least this one hth 01:25:13 do you conlang? 01:28:42 kinda 01:45:27 δ 01:45:45 -!- Patashu has quit (Ping timeout: 256 seconds). 01:46:00 `? δ 01:46:01 ​δ? ¯\(°​_o)/¯ 01:46:07 -!- Patashu has joined. 01:46:08 rdococ: δ? 01:46:09 `? delta 01:46:10 delta? ¯\(°​_o)/¯ 01:46:15 `? difference 01:46:16 difference? ¯\(°​_o)/¯ 01:46:22 `? derivative 01:46:23 derivative? ¯\(°​_o)/¯ 01:46:24 ... 01:46:28 `? slope 01:46:29 slope? ¯\(°​_o)/¯ 01:46:32 `? tangent 01:46:33 tangent? ¯\(°​_o)/¯ 01:46:33 oe m gee 01:46:38 `? sine 01:46:39 sine? ¯\(°​_o)/¯ 01:46:44 Dear god it's a nightmare 01:46:53 δ 01:47:11 hppavilion1: what is twh? 01:47:35 `learn sine sin(e) =0.410781290502908695476009492018360591888306970393415345304571... 01:47:42 Learned 'sine': sine sin(e) =0.410781290502908695476009492018360591888306970393415345304571... 01:47:50 `sine 01:47:50 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: sine: not found 01:47:53 `? sine 01:47:54 sine sin(e) =0.410781290502908695476009492018360591888306970393415345304571... 01:49:04 YES! 01:49:11 I FINISHED MY PRINTASKSWITCHINPUTCASEXGOTOACASEYGOTOBELSEGOTOC LEXER! 01:49:48 ♪ ding ♪ this is a public service announcement. please note that updates to the Wisdom will resume on... Monday... June... Twenty... Two Thousand Fifteen... at the earliest. thanks for your understanding. d'autres messages suivront. 01:51:05 IN ONLY 56 LINES OF CODE (I <3 PYTHON!)! 01:51:32 -!- Tod-Autojoined has changed nick to TodPunk. 01:53:50 ↓→↑ 01:55:12 hppavilion1: python's quite nice indeed. 01:55:20 rdococ: you are being unicodish hth. 01:55:50 ? 01:55:53 unicodish? 01:56:12 Well there's unicode 01:56:15 And you're using it 01:56:21 Therefor you are being unicodish 01:56:31 I've got the lexer done 01:56:32 captain obvious → me 02:00:39 -!- hppavilion1 has quit (Ping timeout: 246 seconds). 02:00:44 or, 02:01:11 delta conlang. ∆me = -∆you 02:04:49 -!- Wallacoloo has quit (Quit: Leaving.). 02:11:16 -!- nys has quit (Quit: quit). 02:11:59 -!- hppavilion1 has joined. 02:12:06 I jsut restarted my browser 02:12:11 If you said anything I missed it 02:12:13 rdococ 02:16:18 Hello? 02:16:35 got tummyache... ow... 02:17:41 :,( 02:18:38 Is PARI strictly bound to SWITCH VAR CASE VAL GOTO LINE... syntax? 02:18:43 Or can you nest switches? 02:18:54 (please say no please say no please say no) 02:19:12 no 02:19:39 Great 02:20:31 And does the program crash if it fails to find an appropriate case? 02:21:16 no, there's a 'ELSE GOTO LINE' at the end of each instruction so 02:21:21 I know 02:21:27 But I assumed that wasn't required 02:21:37 So that's necessary or the program is invalid? 02:21:38 hmm... well... 02:21:57 I guess so? 02:22:10 OK 02:22:16 That complicates things a little 02:22:18 But that's fine 02:22:39 I meant thats neccessary 02:22:42 necessary* 02:22:47 I know 02:22:55 That's what complicates things 02:23:04 really? 02:23:07 Ensuring that it ends with a valid else statement 02:23:15 k 02:23:23 Not by _much_ 02:30:32 Here's another thing to work on 02:30:40 Esoteric Markup Languages 02:32:15 rdococ: You there? 02:34:18 I made one called TTML (teletype markup lanuge) it's on the wiki 02:35:02 Awesome 02:35:47 Though not quite what I wanted 02:37:24 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:38:34 -!- ZombieAlive has quit (Remote host closed the connection). 02:38:42 Another one that I want to write: 02:38:45 HTPL 02:38:50 HyperText Programming Language 02:39:03 Since HTML is often mistaken for a programming language, why not make it one? 02:39:04 :P 02:41:53 -!- Herbalist has quit (Ping timeout: 276 seconds). 02:58:47 -!- Herbalist has joined. 03:00:09 -!- hppavilion1 has quit (Ping timeout: 246 seconds). 03:05:57 -!- boily has quit (Quit: PRINTED CHICKEN). 03:24:35 -!- Sgeo has quit (Read error: Connection reset by peer). 03:25:01 -!- Sgeo has joined. 03:43:36 -!- hilquias has joined. 03:51:24 -!- Wallacoloo has joined. 04:04:26 -!- Wright_ has joined. 04:04:26 -!- Wright has quit (Read error: Connection reset by peer). 04:48:43 -!- oerjan has joined. 05:19:21 -!- Wright_ has quit (Ping timeout: 255 seconds). 05:35:43 -!- Sgeo has quit (Read error: Connection reset by peer). 05:36:39 -!- Sgeo has joined. 05:45:07 `culprits wisdom/eurovision 05:45:25 oerjan elliott Bike FreeFull oerjan 05:45:46 `url wisdom/eurovision 05:45:49 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/eurovision 05:47:19 `` hg log -remove wisdom/eurovision | paste 05:47:22 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.26702 \ abort: unknown revision 'emove'! 05:47:35 `` hg log --remove wisdom/eurovision | paste 05:47:39 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.27643 05:49:50 * oerjan suddenly wonders how HackEgo's do-everything-twice workflow interacts with paste 05:50:09 does it create two files, only one of which gets committed? 05:51:44 `? sine 05:51:45 sine sin(e) =0.410781290502908695476009492018360591888306970393415345304571... 05:51:54 `rm wisdom/sine 05:51:56 No output. 05:52:45 * oerjan has limited patience with people who cannot use `learn correctly. 05:52:52 or `le/rn, for that matter. 06:03:20 `learn A ridicule is a tiny particle composed of bad jokes. 06:03:22 Learned 'ridicule': A ridicule is a tiny particle composed of bad jokes. 06:43:28 [wiki] [[Talk:Darmok]] http://esolangs.org/w/index.php?diff=43242&oldid=43233 * Oerjan * (+267) Sorry 06:44:31 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=43243&oldid=43229 * Oerjan * (-1) /* D */ Ho hum 06:51:27 -!- J_A_Work has joined. 06:52:59 -!- Walpurgisnacht has joined. 06:54:04 The last bug? 06:54:07 In what 06:57:25 -!- J_A_Work has quit (Quit: J_A_Work). 07:00:03 -!- Edit has joined. 07:00:03 -!- Walpurgisnacht has quit (Read error: Connection reset by peer). 07:00:39 Gah disconnects 07:03:24 -!- Edit has quit (Client Quit). 07:03:39 -!- Walpurgisnacht has joined. 07:03:56 Walpurgisnacht: in his program 07:04:05 Ah I see 07:04:16 I'm having internet troubles 07:05:47 the internet: nothing but trouble since 1982 07:06:24 Haha 07:06:30 Indeed. 07:09:07 -!- lleu has quit (Quit: That's what she said). 07:09:15 I was 4 in 1982 so I wouldn't know exactly 07:18:13 Racket 6.2 released 07:24:39 There are two types of people: 1) Those, who start their indices with 1 1) Those, who start their indices with 0. 07:25:20 -!- password2 has joined. 07:27:04 y u no laugh 07:27:06 it's funny 07:27:19 -.- you're a bunch of unfunny nerds 07:27:56 * oerjan throws a cream pie at izabera 07:28:13 i needed it 07:28:31 because (0) that jokes is _so_ old (2) i was browsing something else 07:28:35 *joke 07:29:05 *that kind of 07:29:11 There are only two hard things in Computer Science: cache invalidation and naming things. 07:29:17 There are two hard things in computer science: cache invalidation, naming things, and off-by-one errors. 07:29:44 if you don't laugh, i'll keep going 07:30:12 next will be jokes about the binary system 07:30:35 there are three hard things in computer science: cache invalidation, naming things, off-by-one errors, and ruthless efficiency. 07:30:58 ok this means war 07:31:48 * oerjan suddenly notices izabera's nick looks suspiciously spanish. what have i done? 07:31:54 what 07:31:58 -!- Herbalist has quit (Ping timeout: 256 seconds). 07:32:01 it doesn't 07:32:10 it look japaneseish 07:32:13 looks* 07:32:28 spanish, i say. 07:32:38 you don't even speak spanish 07:32:44 i do 07:32:46 toro 07:32:48 tortilla 07:32:54 oh actually google thinks it's basque, means aunt. 07:33:09 but that's still mostly in spain, for now. 07:33:33 izabera is how you write isabella in katakana 07:33:52 yeah i see that if i force google translate to try with japanese 07:36:07 * oerjan realizes his "ruthless efficiency" was off-by-one, it should have been "an almost fanatical devotion to the pope" 07:55:45 The naming-things thing? We need a better name for that. 08:01:06 Jafet: the verbinator hth 08:12:19 -!- J_A_Work has joined. 08:16:56 -!- J_A_Work has quit (Ping timeout: 264 seconds). 08:22:33 -!- hilquias has quit (Remote host closed the connection). 08:32:09 -!- Walpurgisnacht has quit (Remote host closed the connection). 08:35:12 -!- hilquias has joined. 08:59:25 -!- password2 has quit (Ping timeout: 245 seconds). 09:15:19 -!- rdococ has quit (Quit: Leaving.). 09:27:07 Good morning 09:27:47 -!- rdococ has joined. 09:30:55 good day, sir 09:33:55 umm...hi...? 09:35:47 I'm going to be working with Apache Thrift very soon, so I need to work out what Apache Thrift is 09:35:54 -!- gamemanj has joined. 09:36:55 what is it? 09:38:45 It's a sort of layer for communicating between two different programming languages 09:38:57 hehe, someone asks a question innocently, to which someone else replies that it's complicated and there are entire books written on research about just that one question. that's always funny. 09:39:19 It has a universal way of defining data types 09:39:27 ...? 09:39:28 ("universal", it supports around 20 languages) 09:39:37 oh...umm...okay? 09:39:52 So you can write your datatype declarations in Thrift and it generates C, Java, Haskell, whatever 09:40:05 http://thrift.apache.org/ 09:40:31 ooh 09:40:48 Taneb: ah, I have those kinds of things. serializers that are supposed to serialize and deserialize any kind of data, or universal wrappers that are supposed to wrap any function or class to call from another language. I hate them. 09:41:23 b_jonas, any particular reason? 09:41:42 or, just use a single language for it all 09:42:27 I think the specifics of how the data is used have to be taken into account, and save/load functions and foreign wrappers should be written partly by hand, and even if you use some general framework for it, you should use lots of annotations about specifics for them so you can control all the details. 09:43:01 I just don't think the universal serializers are a good idea, because different languages have very different ideas about how data should be represented to be usable well. 09:43:24 the PFIL article is empty... 09:43:52 rdococ, using a single language is often undesirable, different languages are better for different things 09:44:49 Plus also, those serialized representation languages like json and all the more complicated ones almost never seem to be able to represent both character strings and byte arrays, even though I think both of those are important. And many of them don't even have sensible ways to represent numbers. 09:45:05 And that's even before you get into automatic serialization of data structures into them. 09:45:37 b_jonas, yes, it is a little problematic like that (your first point), but I think that often things like this are a quick solution and that is all that is needed 09:45:44 And thrift seems to do numbers nicely :) 09:46:03 Taneb: yes, exactly, which is why automatically wrapping between them is useless. If you try to force a common data representation and function call system on multiple languages, you LOSE most of the important advantages of the different languages in first place. 09:47:05 Taneb: those wrapper stuffs works when someone invents a supposedly "revolutionary new programming language" that's actually just C or java or ruby with slightly different syntax, and then is lazy to port libraries to it, so wraps the corresponding C or java or ruby libraries to it in a straightforward way, which just proves that his language doesn't really do anything new. 09:48:13 b_jonas, Thrift seems quite nice and not failing the failures you seem to find common, but I am just learning it and do not have much experience in this area so I cannot really explain satisfactorily 09:48:33 Taneb: yes, numbers aren't _always_ bad, numbers are actually probably a case where you can make wrapping possible, because there's only like a few dozen useful ways to represent numbers in both languages, so you can write conversion to each of the at most few hundred pairs of them that is ever useful. 09:49:25 b_jonas: welcome to the channel for revolutionary new programming language design and deployment 09:49:41 Jafet: yes, but they aren't even always esoteric 09:50:01 as in, sometimes the intention is to build a practical language 09:50:05 Although Thrift was originally designed for Facebook's internal needs so has the features they wanted and has good support for the languages they were using at the time 09:51:12 -!- gamemanj has quit (Ping timeout: 250 seconds). 09:51:47 Taneb: well, designing the system for a particular well-defined use case is at least a plus. If you have a particular need for wrappers or serializers or frameworks, sure, go on. But don't expect me to believe that it's some sort of universal silver bullet for a very general task. 09:52:10 b_jonas, I didn't intend to 09:53:57 -!- gamemanj has joined. 09:54:23 "for a very general task" said every programming language ever 09:54:57 Silver bullets, ideal for shooting one's foot 09:55:29 Jafet: huh? why would I do that, I'm not specifically vulnerable to silver, so an ordinary bullet would work. 09:56:57 Would be a waste of silver, too. 09:57:43 yeah use a dirt bullet instead 09:58:24 (because there's no reason to shoot b_jonas) 09:58:49 (yeah, why not shoot everyone else too?) 09:59:24 (why shoot anyone?) 09:59:47 (why not?) 10:00:17 -!- password2 has joined. 10:00:33 I would advocate against shooting everyone 10:00:48 why would you? 10:01:16 Taneb: Seconded. 10:01:33 rdococ, it tends to annoy a lot of people 10:01:47 Who might try and shoot you first or throw you in jail or something 10:01:48 true... 10:02:11 It hurts them, too. 10:02:11 -!- lleu has joined. 10:02:12 lol... 10:02:36 what, you think I didn't know that? why would I shoot anybody? I never said I wanted to... 10:03:19 -!- oerjan has quit (Quit: Not shooting people, the new up-and-coming trend). 10:03:50 hahahaha 10:04:11 Trend? 10:04:26 -!- impomatic_ has quit (Quit: http://corewar.co.uk). 10:09:16 fashion 10:18:38 these spammers should learn some Hungarian. they send machine-translated scam messages (mostly email account related phishing) that have terrible machine translated text 10:19:18 When shooting people becomes fashionable... the world will be mad... 10:19:51 well, feminism is already fashionable, and I dont like that 10:20:10 I absolutely hate feminism for claiming to be equal, yet only solving one gender's problems 10:20:40 -!- Wallacoloo has quit (Remote host closed the connection). 10:21:48 meanwhile, the airline is sending me ads to buy extras for the airplane tickets I bought, with crazy text like “Do you have everything prepared for your journey?” I don't, duh, because it's still months away, I'm not in a hurry. 10:22:10 why would I buy stuff now when I can do it later as I decide on the details? 10:22:22 I'm visiting Sweden in August 10:32:14 -!- YokeOfIdea has quit (Read error: Connection reset by peer). 10:42:30 -!- Herbalist has joined. 10:49:19 -!- Herbalist has quit (Read error: Connection reset by peer). 10:50:11 -!- Herbalist has joined. 10:53:27 just to be clear, when Americans say “Eastern time”, that means the USA/New York time zone, the one that's -04:00 in the summer, right? 11:00:39 google it 11:00:55 I think so 11:03:02 rdococ: I did better, I checked timeanddate.com , but "Eastern time" is so ambiguous and used for like five timezones that I can never be sure 11:03:19 "Eastern time (North America)" would be fine, but I'm reading a note that says "Eastern time" only 11:03:34 and it's from either an American or a Canadian 11:06:26 -!- YokeOfIdea has joined. 11:07:35 write back to them asking to clarify 11:09:00 rdococ: no, I'll look up the same info from other sources instead 11:09:16 it's not a one-one-one meeting request, but a public event 11:09:34 -!- Patashu has quit (Ping timeout: 256 seconds). 11:10:13 -!- Patashu has joined. 11:20:32 b_jonas, thinking about it, I think EST refers specifically to GMT-5 11:20:59 Although Eastern Time... 11:21:03 Aaaah, this is ambiguous 11:21:08 It's either GMT-5 or -4 11:21:12 I'd show up early and bring a book 11:22:44 it's clearly in the summer, as in very soon, so it's summer time 11:23:59 oh wait, north america has a few territories that don't use DST at all, right? 11:24:44 -!- Phantom_Hoover has joined. 11:52:59 -!- nys has joined. 12:06:12 [wiki] [[Special:Log/newusers]] create * Asterisks * New user account 12:07:51 [wiki] [[Joke language list]] http://esolangs.org/w/index.php?diff=43244&oldid=43187 * Asterisks * (+4) /* General languages */ 12:10:19 [wiki] [[Joke language list]] http://esolangs.org/w/index.php?diff=43245&oldid=43244 * Asterisks * (+36) /* General languages */ 12:12:40 [wiki] [[*]] N http://esolangs.org/w/index.php?oldid=43246 * Asterisks * (+161) Simply Asterisks 12:13:16 [wiki] [[*]] http://esolangs.org/w/index.php?diff=43247&oldid=43246 * Asterisks * (+6) 12:39:20 -!- zadock has joined. 12:57:53 -!- J_Arcane has quit (Ping timeout: 255 seconds). 13:06:53 -!- Herbalist has quit (Ping timeout: 255 seconds). 13:25:00 -!- zadock has quit (Ping timeout: 244 seconds). 13:31:42 -!- Lorenzo64 has joined. 13:33:38 -!- boily has joined. 13:46:24 -!- lleu has quit (Read error: Connection reset by peer). 13:47:31 -!- lleu has joined. 13:51:59 -!- Herbalist has joined. 13:55:29 -!- Patashu has quit (Ping timeout: 244 seconds). 13:56:16 -!- scoofy has joined. 13:56:34 @massages-loud 13:56:34 You don't have any messages 14:00:01 hi 14:04:49 anybody know how newtypes were represented in haskell before System FC? >.> 14:13:14 -!- heroux has joined. 14:13:35 er, in GHC i mean 14:14:06 I don't know. 14:14:09 unsafeCoerce? 14:15:12 -!- hjulle has joined. 14:21:45 -!- Lorenzo64 has quit (Read error: Connection reset by peer). 14:38:33 `? unsafeCoerce 14:38:43 unsafeCoerce? ¯\(°​_o)/¯ 14:38:58 `wisdom 14:38:59 monad/Monads are just monoids in the category of endofunctors. 14:39:03 `wisdom 14:39:04 taneb/Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, and cube root of five genders. (See also: tanebventions) 14:39:49 @quote copumpkin terminal 14:39:49 copumpkin says: a monad is just a lax functor from a terminal bicategory, duh. fuck that monoid in category of endofunctors shit 14:40:23 nys: dunno, as newtypes are mostly the same as strict data (which I think haskell compilers have anyway), except for some deriving rules, I just assumed they're always represented as strict data 14:45:39 `wisdom 14:45:40 cake/The Enrichment Center is required to remind you that you will be baked, and then there will be cake. 14:45:49 `wisdom 14:45:50 m–rdalsjökull/M–rdalsjökull is a draconic volcano harbouring the secret KATL base. 14:46:03 that was a weird one... 14:46:15 @metar KATL 14:46:15 KATL 201421Z 25009G15KT 10SM BKN023 28/22 A3007 RMK AO2 14:46:23 @metar CYQB 14:46:23 CYQB 201400Z 00000KT 30SM FEW050 BKN240 16/07 A3010 RMK CU1CI5 CU TR SLP192 14:46:30 yup. 28 is draconic enough. 14:48:05 `wisdom 14:48:06 funpun/funpuns fceø fbz fryyrev naq pbfcynlf Arcrgn Yrvwba ba jrrxraqf. 14:48:15 `words 14:48:17 ashapprea 14:48:17 b_jonas: i thought strict data needed an actual container to match on? 14:48:20 `words 10 14:48:21 vastre prophy dispel shiberwher sphospi loro lutterin rome jdgeme commetalome 14:48:39 nys: hmm… I dunno 14:48:56 nys: if it's strict data, would it have a container? wouldn't it be represented as just a struct of its members? 14:49:10 or does that not work well with the runtime system for passing it to functions? 14:49:11 yeah that's what i mean 14:49:22 i don't think newtypes are actually contained within anything 14:49:54 sure, but if it has no extras, just _one_ member, then what difference does that effectively have at runtime from holding that single value without a container? 14:50:30 I think the runtime system has to be able to handle non-boxed values, and pass them to functions, anyway 14:50:43 because it's necessary for other optimizations, such as unboxed numbers 14:50:58 but if you want a real answer, ask on #haskell or #ghc or something 14:51:10 because I don't know haskell enough 14:51:14 or ask oren here or something 14:51:34 or the other haskell guy, there's a lot of them here for some reason, it's as if they thought Haskell was… 14:52:17 -!- Wright has joined. 14:52:56 Yes, we think that Haskell is a practical, accessible, serious and effective programming language 14:53:52 Maybe we need more weird DSLs, like the reverse state transformer monad... 14:54:41 well it certainly has a good serious non-esoteric compiler at least 14:57:18 IIRC a newtype specifically means that there is no wrapper: The runtime representation is exactly the same as the contained type, and the constructor and projection become identity functions. 14:57:59 That's the intent, but the Report hardly talks about runtime representations enough to specify it precisely. 14:58:02 Not exactly: they may still have different typeclass dictionaries. 14:59:12 Typeclass dictionaries are separate objects. 15:01:43 -!- Herbalist has quit (Read error: Connection reset by peer). 15:03:32 -!- Herbalist has joined. 15:10:57 -!- Herbalist has quit (Ping timeout: 252 seconds). 15:16:24 goodness sake 15:16:35 I want to make a language called Polynomial but it already exists 15:17:09 :O 15:17:11 I have an idea 15:17:48 -!- Herbalist has joined. 15:18:22 you have an idea? 15:18:32 a program p is a function that takes input i and returns program q and output o. 15:19:02 so in a video game program, when you take one step to the right, you get transferred to another program created on the fly in which you're one step to the right. 15:19:30 wait... isnt that just an FSA??? 15:20:30 idk anymore 15:23:57 It could be like a FSA except with infinite states 15:24:02 yeah 15:24:05 Depending on how the programs are constructed 15:24:09 well 15:24:15 Which could make it any number of complexities 15:24:16 I had the idea that programs were formulae 15:24:47 so a program in my idea would have to be a formula that returns output and another formula (that returns output and another formula which returns ... and so on) 15:26:21 or, programs could just map a single input to a single output for ease 15:27:28 -!- Wallacoloo has joined. 15:37:10 x is cat function 15:37:18 x^2 is square cat function 15:38:58 "square cat" 15:43:25 what is a square cat 15:43:44 if you put in 8, square cat says 64. 15:43:56 what if you put in 'nutella' 15:44:05 oh... umm... 15:44:09 You get vegemite, scoofy 15:44:45 10000, duh, number of calories in a tablespoon of nutella squared. 15:45:00 -!- boily has quit (Quit: CONGLOMERATE CHICKEN). 15:45:17 Only if you use the call-by-caloric-value evaluation strategy 15:46:25 true 15:47:01 x^3 is cube cat... 15:48:24 What about x^7 + 2x^4 + x^3 - x - 2? 15:49:39 rdococ: cat? but aren't functions actually birds? 15:50:25 b_jonas, functions which take functions as arguments and emit functions are 15:50:35 I suspect these are different 15:50:44 aren't all functions like that, in that universe? 15:50:59 as in, numbers are represented by birds too 15:51:02 Yes 15:51:07 or by the name of birds at least 15:51:10 Therefore some birds are in fact cats 15:52:44 This must be what they mean by polymorphism 15:53:01 yeah, but cats are a more violent representation of birds. birds take the argument in the form of a call with the other bird's name, whereas cats _eat_ birds 15:53:18 I think cats aren't birds, but they're a different way to represent some birds 15:53:38 and cats usually don't eat other cats 15:53:50 `cat canary 15:54:10 toot 15:54:17 Some birds eat birds 15:55:34 but cats eat birds 15:56:10 yes, and cats also eat rats or canned food made of birds 15:56:11 rdococ: so far, your programming language is simply the collection of all polynomials. 15:57:43 yes 15:57:47 Hmm. Is there a polynomial function in the ring of integers modulo 10, which takes on the value 1 at 0, and 0 at all other inputs? 15:58:04 The polynomial (1 - x)(2 - x)(3 - x)...(9 - x) doesn't work. 15:58:27 That one's 0 at 0 despite not having (0 - x) as an obvious factor. 15:59:05 yes, just use interpolation duh 15:59:15 tswett: what? no it's not 15:59:21 oh 15:59:25 ring of integers modulo 10 15:59:28 sorry 16:00:43 you can approximate it - and any other periodical function like sine, cosine, etcetera 16:02:02 tswett, it needs a constant factor of 1 16:14:02 It only exists for prime moduli (and then, it seems that the only polynomial is (n-1)x^(n-1)). 16:42:46 ... 16:44:13 -!- password2 has quit (Remote host closed the connection). 16:48:15 -!- Wallacoloo has quit (Quit: Leaving.). 16:50:18 `wisdom 16:50:26 funciton/A funciton is the number of burgers to eat when I get one. 16:50:35 `wisdom 16:50:37 el camino real/There is no royal road to analytic geometry. 16:51:03 Is there a royal road to other parts of mathematics? 16:51:22 http://thedoghousediaries.com/ would be better without the third panel 16:51:56 I guess there should be a 'camino real' entry and a symlink from 'el camino real' for consistency. 16:53:02 `wisdom 16:53:03 moon/The Moon is an unprovable celestial object that is not very retroreflectorey. 16:53:17 Taneb: I don't think there's a royal road to any sort of geometry. 16:53:30 Taneb: But analytic geometry deals with the reals, presumably. 16:54:25 b_jonas: i don't get it hth 16:54:52 Oh, apparently Antiques Roadshow is a television show. Maybe I would get it if I watched the show. 16:55:41 shachaf: no the tv show is irrelevant I think. or maybe that's what would make the third panel funny, I don't know. 16:56:10 I've heared of such tv shows (and even seen a few ten minutes of one). 16:56:27 `wisdom 16:56:28 arrow/Arrows are just strong monads in the category of profunctors. 16:56:33 `wisdom 16:56:34 c#/C Pound is Java's good twin. 16:57:23 `stupidity 16:57:24 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: stupidity: not found 16:57:54 `dumbidiotsaysnotfound 16:57:54 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dumbidiotsaysnotfound: not found 16:58:02 Please stop. 16:58:12 uh... 16:58:49 whats the difference between you saying `wisdom all the time and me saying stuff beginning with ` all the time? 16:59:35 Well, you already know the results of your things, which is an error. Every time I say `wisdom we get a new entry (though I probably do overdo it). 16:59:43 Also the things you said were mean and insulting. 16:59:53 wow, I knew David Madore was very good in writing his blog articles to explain his thoughts well, but this long coherent sentence is brilliant. 17:00:11 uh... sorry, didn't know a bot had feelings... sarcasm.end; 17:00:35 Maybe you just need to wise up a little bit. 17:00:41 it's a long sentence with a complicated nested composed structure, but it manages to hold together perfectly parseable in first try with very few extra glue particulars. 17:01:08 “D'autant plus que ce n'était pas tellement le résultat du calcul qui m'intéressait, et dont je suis totalement certain qu'il est connu depuis Klein, Cayley, Clebsch ou, au pire, Segre, et qu'il figure dans quantité de livres ou d'articles, mais d'y arriver moi-même, et de façon systématique, sans essayer de « deviner » le résultat (qui, a posteriori, était éminemment devinable), bref, de vérifier que je savais mener ce calcul à bien.” 17:01:51 If I learnt to write so well, I could write my damned thesis easily. 17:02:09 He manages to do that with complicated mathematical content in a popular way too. 17:02:52 Maybe I should put more skill points in this, even though it's cross class for me. 17:03:36 Is that sentence so good that I should learn French to understand it? 17:03:38 Writing well requires a check with bonus from which attribute? Charisma? 17:03:46 shachaf: not for that sentence, no 17:04:19 b_jonas, either CHA or WIS 17:04:24 Probably CHA 17:04:31 Wis? why Wis? 17:04:42 Wis is for perception and for strength of will. 17:05:01 Ok, for more than that actually. I don't really know because it's a dump stat for me. 17:05:09 It's for knowing the right thing to do 17:05:28 Ah, that might be a good description. 17:05:32 * gamemanj doesn't understand the sentence... but the keyword "Klein" suggests a relation to mathematical spaces... 17:07:03 Taneb: it's a good description because it explains why strength of will and perception of the outside world can come together in a single attribute so well. 17:07:56 In the ring of integers modulo 10, is x^5 always equal to x? 17:08:40 Yes 17:08:46 -!- evalj has joined. 17:08:48 ] 5^~i.10 17:08:49 b_jonas: 0 1 32 243 1024 3125 7776 16807 32768 59049 17:08:52 ] 10|5^~i.10 17:08:53 b_jonas: 0 1 2 3 4 5 6 7 8 9 17:08:59 ] (i.10)-:10|5^~i.10 17:09:00 b_jonas: 1 17:09:05 tswett: yes 17:10:06 -!- nisstyre has joined. 17:10:37 So certainly not all functions are polynomial functions. 17:10:56 The number of polynomial functions is only... 10^5? 17:11:11 ] 10|4^~i.10 17:11:12 b_jonas: 0 1 6 1 6 5 6 1 6 1 17:11:36 Hey look, it's... those. 17:11:50 -!- nisstyre has quit (Changing host). 17:11:50 -!- nisstyre has joined. 17:11:57 There's a word for a number x such that x^2 = x. 17:12:11 Quadratic repricorewfwief or something 17:14:17 `quote \S+core\b 17:14:19 215) !bfjoust test (-)*10000 Score for Vorpal_test: 12.9 yay \ 216) !bfjoust test (++-)*1000000 probably will suck Score for Vorpal_test: 30.4 what \ 223) !bfjoust sm3 < Score for Deewiant_sm3: 43.4 \ 1064) are you a hardcore PC gamer Sgeo_ Want 17:14:46 !bfjoust 17:14:46 ​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ 17:15:21 `quote \S{3,}core\b 17:15:22 1064) are you a hardcore PC gamer Sgeo_ Want to be 17:25:48 aww ok 17:26:01 but what if instead we used something like fourier did? 17:26:22 3sin(3x + 2) - 3 or something 17:26:49 I don't think sin is well-defined in Z/10Z 17:27:00 ah, fourier series 17:27:22 `quote field 17:27:23 267) elliott: I doubt water memory can last for even one second in a gravitational field (or even outside of a gravitational field), but other people think they can make water memory with telephones. \ 401) Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. \ 452) Pythagoras was 17:27:31 also there are infinitely many polynomial functions because you can just keep adding terms and stuff 17:28:03 There are infinitely many polynomials but only so many polynomial functions 17:28:11 wait 17:28:15 whats the difference? 17:28:50 Some polynomials define the same function (in some rings) 17:28:58 right...... 17:29:09 As was pointed out earlier, x^5 = x in Z/10Z 17:29:32 In fact, there are only 10^10 functions from Z/10Z to Z/10Z 17:30:01 what is Z/10Z? 17:30:08 -!- oerjan has joined. 17:30:30 uh integers modulo 10 I think? 17:30:40 aah 17:30:43 nortti, it is a notation for a group isomorphic to integers modulo 10 17:30:51 Or ring, even 17:30:55 did I say I wanted this Z/10Z stuff? 17:31:17 rdococ, no, I was thinking of a conversation which happened in between 17:31:18 Sorry 17:33:06 oh ok 17:34:31 So yeah, disregard what I said then (although it may be interesting in its own right) 17:45:30 !bfjoust fracko >([-]----->)*40000 17:45:33 ​Score for tswett_fracko: 8.0 17:46:49 I don't think the jousting field is that long. 17:47:05 Nobody knows for sure. 17:50:46 So I imagine the hill just keeps the top 48 or something. 17:52:21 nobody knows what for sure? 17:53:05 oerjan, how long the jousting field is 17:53:11 Maybe it's three miles 17:53:34 i suppose, in an abstract theoretical way 17:53:56 I hear that it's infinitely long, but only on one side 17:54:53 this is rubbish, clearly once you pass the flags you fall off onto the turtle the field sits on hth 17:55:33 Hmm, competitive turtles 17:55:41 `wisdom 17:55:42 lmt/lmt is insufficiently mad for this channel. 17:55:56 @seen lmt 17:55:57 lM7 17:56:02 wat 17:56:11 @seen oerjan 17:56:11 0erJ4n 17:56:23 i think int-e must have disabled it again 17:56:31 @leet now it's this 17:56:31 No\/\/ i+'$ 7HIs 17:57:05 `cat wisdom/bfjoust 17:57:05 bfjoust is a spamming tool for #esoteric. 17:57:31 anyway i recall he came by sometime in the last months 17:57:42 `wisdom 17:57:43 pdf/PDF stands for Pretty Depressing Format. 17:57:46 `? bfjoust 17:57:47 bfjoust is a spamming tool for #esoteric. 17:58:19 I suppose a competitive turtle game would proceed like lightcycle racing 17:58:24 For every collection of turtles, there is a turtle not in the collection. 17:58:34 For example, consider the collection of all turtles. 17:58:39 There is a turtle not in that collection. 17:58:56 i find your proof incomplete hth 17:59:08 That wasn't a proof. 18:01:07 `wisdom 18:01:08 goat/Goats are drunk 24/7, ask Solain for details. 18:01:10 dammit accidentally typed an n into a tatham puzzle 18:01:21 All right, so I see that my bfjoust program isn't very effective. 18:01:27 wtf doesn't it allow undo past n 18:01:42 (not that that helps with q, which should be eviscerated) 18:02:04 Something something open source 18:02:49 it's such a stupid thing to do that it must be willfully designed. 18:03:17 and stubbornly kept. 18:03:19 I remember the days when firefox mapped ^Q to quit 18:03:56 (on most keyboards, it's next to ^W) 18:04:21 qwerty 18:04:25 Ctrl-Q is still quit. 18:08:21 What's tatham> 18:08:25 I mean, what's tatham? 18:09:07 Not by default. On linux, firefox gets the ^Q binding from desktop settings. 18:10:03 tswett: http://www.chiark.greenend.org.uk/~sgtatham/puzzles/ 18:20:23 http://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/map.html - with this one, I find myself relatively frequently depending on the fact that there's only one consistent coloring. 18:20:57 "If this region had this color, then this region would be bordered by only two other colors, but that's impossible because there would be two consistent colorings then." 18:22:52 tswett: i don't recall ever needing that. 18:23:04 it might be a shortcut, though. 18:23:26 some puzzles have an option to turn off uniqueness, maybe that does. 18:23:59 admittedly map isn't one of my favorites so i usually don't play it that long 18:24:08 Theoretically, it's never needed. 18:26:45 .oO( https://en.wikipedia.org/wiki/Valiant-Vazirani_theorem ) 18:28:11 Where did this .oO( ) thing come from 18:28:31 i think int-e is the main perpetrator 18:30:28 * oerjan seems to have forgotten the tricks to doing map puzzles again 18:35:56 "Place a tent next to each tree." Well, that sounds easy. 18:36:14 it's not too hard 18:36:29 well sometimes 18:36:58 ₒ∘°˚ᴼ(would you prefer this?) 18:37:59 ski is also a perpetrator 18:38:06 I think it means rougly the same as I,I 18:38:37 Jafet, I am just confused by its sudden appearance a few weeks ago 18:40:30 `log \.oO 18:40:31 ​/hackenv/bin/log: 2: cd: can't cd to /var/irclogs/_esoteric \ grep: ????-??-??.txt: No such file or directory 19:03:26 According to my logs, it's been around for longer. I can't find a line where int-e uses it, though. 19:09:29 Jafet: try with extra spaces 19:10:10 Ah, that nails the perp. 19:10:20 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=43248&oldid=43109 * Jabutosama * (+242) /* Ideas for Names */ 19:12:07 Hey, how is the score of a program on EgoBot's bfjoust hill determined? 19:12:24 It's not obvious how "score" and "points" are related. 19:18:31 !bfjoust stupid_bad (>[>>>>[+]])*40000 19:18:33 ​Score for tswett_stupid_bad: 4.7 19:19:38 !help bfjoust 19:19:38 ​Sorry, I have no help for bfjoust! 19:19:40 !help 19:19:41 oerjan: I do !zjoust; see http://zem.fi/bfjoust/ for more information. 19:19:41 ​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 19:19:53 !help languages 19:19:53 ​languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. 19:20:10 hmph there might not be any obvious pointer to information 19:20:24 it's presumably on a github somewhere. 19:20:28 fyb? 19:21:03 fukyorbrane or something like that 19:21:21 brainfuck derived game 19:21:32 well hm 19:21:43 a different one 19:22:29 tswett: from what i recall EgoBot's point -> score updating isn't stateless, unlike zemhill's. 19:23:02 i.e. scores are adjusted from the points somehow, but based on the already existing scores. 19:23:22 and in a way such that submission order matters. 19:23:49 (i think the adjustment is linear or something similarly simple.) 19:24:51 zemhill, meanwhile, uses a matrix eigenvector calculation that takes all hill pairing results into account simultaneously. 19:25:19 bfjoust is serious business 19:26:01 zemhill's implementation used to have a serious bug which fizzie may or may not have managed to fix, though. 19:26:16 (stemming from the matrix library used.) 19:26:55 myname: well the only people who manage to get on the hills these days are those who treat it as such. 19:28:11 Eigenvector scoring (aka PageRank) isn't that serious. 19:28:39 is being on the hill is a valid point on a cv? 19:29:05 I don't think you want staying on the hill to be part of your employment 19:29:13 Then again, who knows. 19:29:59 [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=43249&oldid=43248 * Jabutosama * (+81) /* Joke/Silly Ideas */ 19:30:08 not part of it, but i do think it's quite the achievement 19:30:14 myname: Maybe if framed as "Defensive Programming"... 19:30:35 !bfjoust best_program_imaginable (>+[[-.]])*40000 19:30:37 ​Score for tswett_best_program_imaginable: 7.4 19:32:25 What if your jouster isn't defensive 19:32:37 !zjoust tswett_best_program_imaginable (>+[[-.]])*40000 19:32:38 Nonsense. 19:32:59 (I guess a rusher can be described as "agile") 19:33:13 hm maybe zemhill is actually broken. 19:35:17 Huh, ais523_growth2 and ais523_preparation are apparently really good. 19:35:59 Wait, ais523_preparation beats *every* program besides ais523_growth2? 19:43:54 that's ais523 for you. 19:45:40 Sounds like ais523 is good at bfjoust. 19:45:59 But is ais523 good at figuring out how "AA/INI/ZZ/IVI/V" is notation for the trefoil knot? 19:46:31 That is, after all, the only thing truly worth figuring out. 19:47:24 And 42 is the answer, right? 19:47:34 As it happens, no. 19:48:31 Here, have some equations. 19:48:53 "the only thing truly worth figuring out." is relative... 19:49:31 A/N = A. N/Z = II. IA/NI = AI/IZ. AI/IV = I. Uh, what was that last one. 19:49:47 Eh, the last one is clear enough. 19:49:56 Then add associativity and identity and there you go. 19:50:02 Oh, and the symmetric versions of those rules. 19:50:08 Can't forget those. 19:50:26 -!- J_Arcane has joined. 19:50:54 See, we already have enough here to prove that A/IAI/IVI/V = AA/VV. 19:51:03 Ha ha, A/IAI/IVI/V. What a funny expression. 19:56:02 Hmm. Is there a polynomial function in the ring of integers modulo 10, which takes on the value 1 at 0, and 0 at all other inputs? <-- i don't think so. because 10 = 2*5, you can quotient down to Z/2Z, so if it's odd at 0, it must be odd at all other even coordinates. 19:56:19 `wisdom 19:56:26 morphism/A morphism is just a natural transformation between two functors on 1. 19:56:58 good point 19:57:21 how many wisdoms containing the word "functor" are there? 19:57:48 `` rgrep -il functor wisdom | wc -l 19:57:58 10 19:58:45 nice 19:59:29 `` rgrep -il categor wisdom | wc -l 19:59:41 23 19:59:42 `` egrep -ril '(is|are) just' wisdom | wc -l 19:59:47 34 19:59:54 :D 20:00:12 i'd like a list of all of these 20:01:05 -!- rdococ has quit (Read error: Connection reset by peer). 20:02:18 -!- gamemanj has quit (Ping timeout: 244 seconds). 20:04:38 -!- Warrigal has joined. 20:05:11 -!- perrier_ has joined. 20:05:14 it's the weretswett! 20:05:35 -!- jix_ has joined. 20:05:38 i do like the idea of fyb 20:06:01 `` grep -Erwim1 '(is|are) just' wisdom | wc -l 20:06:03 34 20:06:12 -!- heroux_ has joined. 20:06:14 is that a ruder version of syb twh 20:06:33 -!- notfowl has joined. 20:07:54 Sounds like a useful language already 20:11:48 -!- quintopi1 has joined. 20:11:51 I don't think sin is well-defined in Z/10Z <-- you'd want to use group characters instead. 20:12:04 oerjan, I don't know characters! 20:12:11 (I will by Christmas, hopefully) 20:12:15 `? character 20:12:24 character? ¯\(°​_o)/¯ 20:12:24 now what 20:12:53 -!- evalj has quit (*.net *.split). 20:12:56 -!- heroux has quit (*.net *.split). 20:12:56 -!- jix has quit (*.net *.split). 20:12:59 -!- perrier has quit (*.net *.split). 20:12:59 -!- fowl has quit (*.net *.split). 20:12:59 -!- quintopia has quit (*.net *.split). 20:12:59 -!- ocharles_ has quit (*.net *.split). 20:12:59 -!- villasukka has quit (*.net *.split). 20:12:59 -!- tswett has quit (*.net *.split). 20:13:07 -!- heroux_ has changed nick to heroux. 20:13:15 `learn A character is just a homomorphism to the group of complex numbers of modulus 1. 20:13:20 Learned 'character': A character is just a homomorphism to the group of complex numbers of modulus 1. 20:13:55 -!- notfowl has changed nick to fowl. 20:16:21 -!- oerjan has quit (Quit: Nite). 20:19:28 /win 23 20:19:32 Grf 20:19:58 alt+d is much better 20:20:15 Not bound. 20:20:23 bind it 20:20:34 -!- ocharles_ has joined. 20:20:41 i have bound all the way to alt+m 20:20:46 -!- staffehn_ has joined. 20:22:48 -!- hilquias has quit (Remote host closed the connection). 20:22:49 -!- villasukka has joined. 20:23:03 -!- notfowl has joined. 20:26:13 -!- qlkzy_ has joined. 20:26:36 -!- izabera_ has joined. 20:28:20 -!- fowl has quit (*.net *.split). 20:28:20 -!- skarn has quit (*.net *.split). 20:28:20 -!- Melvar has quit (*.net *.split). 20:28:20 -!- staffehn has quit (*.net *.split). 20:28:20 -!- supay has quit (*.net *.split). 20:28:20 -!- qlkzy has quit (*.net *.split). 20:28:20 -!- izabera has quit (*.net *.split). 20:34:06 -!- supay has joined. 20:34:48 -!- supay has quit (Client Quit). 20:35:49 -!- root has joined. 20:36:14 -!- root has changed nick to Guest56152. 20:36:16 oh crap, am I already in the channel? 20:36:30 -!- Melvar has joined. 20:37:18 -!- int-e_ has joined. 20:37:27 -!- Guest56152 has changed nick to oren2. 20:37:49 damn I should have logged out at home before I came up here 20:37:51 -!- digitalc1ld has joined. 20:38:07 -!- shikhout has joined. 20:38:15 -!- Sprocklem_ has joined. 20:38:39 or maybe configured the NAT 20:40:12 -!- diginet_ has joined. 20:41:11 -!- kenj0 has joined. 20:42:26 -!- atriq has joined. 20:43:53 -!- Taneb has quit (Disconnected by services). 20:43:57 -!- atriq has changed nick to Taneb. 20:46:12 -!- skarn has joined. 20:46:46 -!- zemhill__ has quit (*.net *.split). 20:46:46 -!- Sprocklem has quit (*.net *.split). 20:46:46 -!- ethiraric has quit (*.net *.split). 20:46:46 -!- fungot has quit (*.net *.split). 20:46:46 -!- fractal has quit (*.net *.split). 20:46:46 -!- mbrcknl has quit (*.net *.split). 20:46:46 -!- glowcoil has quit (*.net *.split). 20:46:46 -!- shikhin has quit (*.net *.split). 20:46:46 -!- digitalcold has quit (*.net *.split). 20:46:46 -!- diginet has quit (*.net *.split). 20:46:46 -!- int-e has quit (*.net *.split). 20:46:46 -!- v4s has quit (*.net *.split). 20:47:24 -!- ethiraric has joined. 20:47:45 Where the heck is that story I remember? I can never find anything in this book. I should try to understand it more, but it's difficult. 20:48:39 -!- gde33|2 has joined. 20:49:40 -!- MoALTz_ has joined. 20:49:43 -!- diginet_ has quit (Quit: diginet has quit!). 20:50:01 -!- diginet has joined. 20:50:24 -!- zemhill__ has joined. 20:51:02 -!- gde33 has quit (Ping timeout: 255 seconds). 20:51:59 -!- oren_ has joined. 20:52:09 -!- mroman_ has joined. 20:52:21 -!- jix has joined. 20:52:38 -!- heroux_ has joined. 20:52:41 -!- MoALTz has quit (Ping timeout: 255 seconds). 20:54:08 -!- glowcoil has joined. 20:55:38 -!- shikhin has joined. 20:56:06 -!- mbrcknl has joined. 20:57:20 -!- skarn has quit (*.net *.split). 20:57:46 -!- Taneb has quit (*.net *.split). 20:57:47 -!- kenj0 has quit (*.net *.split). 20:57:47 -!- ocharles_ has quit (*.net *.split). 20:57:47 -!- heroux has quit (*.net *.split). 20:57:47 -!- jix_ has quit (*.net *.split). 20:57:47 -!- HackEgo has quit (*.net *.split). 20:57:47 -!- oren has quit (*.net *.split). 20:57:47 -!- edwardk has quit (*.net *.split). 20:57:47 -!- Lymia has quit (*.net *.split). 20:57:47 -!- mroman has quit (*.net *.split). 20:57:47 -!- heroux_ has changed nick to heroux. 20:58:28 -!- HackEgo has joined. 20:58:38 -!- perrier__ has joined. 20:59:33 -!- quintopia has joined. 20:59:52 -!- shikhout has quit (Ping timeout: 244 seconds). 20:59:55 -!- perrier_ has quit (Ping timeout: 244 seconds). 20:59:55 -!- Herbalist has quit (Ping timeout: 244 seconds). 20:59:55 -!- Froox has quit (Ping timeout: 244 seconds). 20:59:55 -!- quintopi1 has quit (Ping timeout: 244 seconds). 20:59:58 -!- pdxleif has quit (Ping timeout: 244 seconds). 21:00:11 -!- FireFly has quit (Ping timeout: 244 seconds). 21:00:37 -!- Froo has joined. 21:00:51 -!- int-e_ has changed nick to int-e. 21:01:40 -!- Herbalist has joined. 21:01:55 -!- FireFly has joined. 21:03:18 -!- pdxleif has joined. 21:03:54 -!- Lymia has joined. 21:06:10 @tell oerjan Indeed, I've disabled @seen because I suspect it of leaking memory. 21:06:10 Consider it noted. 21:06:17 -!- Taneb has joined. 21:10:54 -!- MoALTz__ has joined. 21:11:43 -!- fractal has joined. 21:12:15 -!- mbrcknl_ has joined. 21:13:27 -!- int-e_ has joined. 21:13:36 -!- heroux_ has joined. 21:13:42 -!- int-e has quit (Disconnected by services). 21:13:45 -!- v4s has joined. 21:13:50 -!- int-e_ has changed nick to int-e. 21:14:00 . o O ( So Taneb doesn't like my way of thinking?! Pity... ) 21:14:05 :P 21:14:09 -!- digitalcold has joined. 21:14:15 -!- mbrcknl has quit (Ping timeout: 264 seconds). 21:14:32 -!- mbrcknl_ has changed nick to mbrcknl. 21:14:56 -!- contrapumpkin has joined. 21:16:02 -!- MDream has joined. 21:18:10 -!- skarn has joined. 21:18:13 -!- shikhout has joined. 21:18:21 -!- Deewiant has quit (Ping timeout: 264 seconds). 21:18:21 -!- digitalc1ld has quit (Ping timeout: 264 seconds). 21:18:21 -!- copumpkin has quit (Ping timeout: 264 seconds). 21:18:24 -!- MoALTz_ has quit (Ping timeout: 264 seconds). 21:18:27 -!- heroux has quit (Ping timeout: 264 seconds). 21:18:42 -!- shikhin has quit (Ping timeout: 264 seconds). 21:18:42 -!- heroux_ has changed nick to heroux. 21:19:48 -!- MDude has joined. 21:20:13 -!- Deewiant has joined. 21:20:14 -!- Froox has joined. 21:24:18 -!- kline has quit (Ping timeout: 255 seconds). 21:24:53 -!- yiyus_ has joined. 21:25:50 -!- kline has joined. 21:29:02 -!- Froo has quit (Ping timeout: 255 seconds). 21:29:03 -!- MDream has quit (Ping timeout: 255 seconds). 21:30:00 -!- yiyus has quit (Ping timeout: 255 seconds). 21:30:19 -!- mtve- has joined. 21:31:21 -!- mhi^_ has joined. 21:31:44 -!- Wallacoloo has joined. 21:32:17 -!- myndzl has joined. 21:36:02 -!- myndzi has quit (Ping timeout: 255 seconds). 21:36:04 -!- mhi^ has quit (Ping timeout: 255 seconds). 21:36:10 -!- mtve has quit (Ping timeout: 255 seconds). 21:37:37 -!- notfowl has changed nick to fowl. 21:44:39 -!- sebbu2 has joined. 21:44:39 -!- sebbu2 has quit (Changing host). 21:44:39 -!- sebbu2 has joined. 21:45:08 -!- sebbu has quit (Ping timeout: 246 seconds). 21:47:49 -!- zemhill__ has quit (*.net *.split). 21:48:52 -!- izabera_ has changed nick to izabera. 21:52:16 -!- zemhill__ has joined. 22:37:22 https://github.com/xoreaxeaxeax/movfuscator 22:46:48 -!- Patashu has joined. 22:57:31 -!- Sprocklem_ has changed nick to Sprocklem. 22:58:32 -!- gamemanj has joined. 23:02:31 -!- ZombieAlive has joined. 23:08:04 -!- boily has joined. 23:28:47 -!- APic\spl1t has joined. 23:30:43 -!- APic\splat has quit (Ping timeout: 246 seconds). 23:42:25 -!- Wallacoloo has quit (Ping timeout: 246 seconds). 23:59:16 -!- ocharles_ has joined.