00:01:07 I am actually norwegian except for that swedish slice, oerjan 00:01:19 NOOOOO 00:01:40 oerjan: my brother woke up in Norway this morning 00:01:41 Do you also study at NTNU? (spying on your host) 00:02:10 haavard: not any more, just kept the club membership 00:02:15 (he went to sleep there last night, too) 00:02:24 Although a lot further south than you guys, I believe 00:03:25 oerjan: I see 00:03:50 Taneb: there's only around 3-4 hours of driving between here and the south end of Norway tbh 00:03:53 -!- hppavilion[1] has joined. 00:03:55 Hellu 00:04:05 @messages- 00:04:05 oerjan said 52m 35s ago: I'm a big fan of 50 Cent. Or, as he's called in Zimbabwe, Four hundred million dollars. <-- you know a joke is old when it refers to a no longer existing currency hth 00:04:06 Taneb: this means i will now have to avoid haavard like you have avoided elliott. 00:04:12 haavard: my brother's been staying with friends in Stavanger 00:04:43 There you go, that's my home town ;) 00:04:52 I didn't know being norwegian was some special perk over here, oerjan 00:05:07 Hello, haavard! 00:05:17 Hi 00:05:26 I would think you were new because I don't recognize you, but oerjan appears to have seen you around before 00:05:29 Hm.. 00:05:33 haavard: oh wow 00:05:35 haavallo? 00:05:41 I am pretty new, hppavilion[1] ;) 00:05:44 At least to the channel 00:05:48 Welcome then! 00:05:53 Thanks :) 00:06:06 haavard: So what projects are you currently working on? 00:06:12 (I'm automating Nomic) 00:06:26 I'm writing a JIT compiler for ><> 00:07:42 Whoa 00:07:46 `` echo wisdom/super* 00:07:48 wisdom/superexponential growth wisdom/supermarionation wisdom/supermarioperator 00:07:53 I have never been able to write a compiler so far 00:08:27 oh my god what are these people doing 00:08:30 It's a lot easier than I initially thought 00:08:34 `le/rn superduperexponential growth/is exponential growth on top of exponential growth 00:08:38 Learned «superduperexponential growth» 00:08:43 `? superduper 00:08:44 superduper? ¯\(°​_o)/¯ 00:08:45 I'm using DynASM, which makes it a lot nicer 00:08:45 they've drawn a 3-punctured sphere with big circles for the punctures 00:08:48 `? superduperexponentialgrowth 00:08:49 superduperexponentialgrowth? ¯\(°​_o)/¯ 00:08:50 jfc 00:09:00 * oerjan swats hppavilion[1] -----### 00:09:03 `? superduperexponential growth 00:09:04 is exponential growth on top of exponential growth 00:09:19 `le/rn superduperexponential growth/superduperexponential growth is exponential growth on top of exponential growth 00:09:22 Learned «superduperexponential growth» 00:09:25 oerjan: I deserved that 00:09:54 apparently smlist is for http://www.supermegacomics.com/ 00:10:44 a learning experience 00:11:09 haavard: Have you ever heard of Nomic? 00:11:19 I just googled it 00:11:26 Ah xD 00:11:37 Is it the game where the rules change, like wikipedia states? 00:11:43 I'm making a LISP-based Nomic rule handler callsed λ-Nomic 00:11:46 haavard: Yes 00:11:49 `? slist 00:11:50 Update notification for the webcomic Homestuck. 00:12:11 `le/rn supercalifragilisticexponential growth/Supercalifragilisticexponential growth leaves Graham's number in the dust. 00:12:14 Learned «supercalifragilisticexponential growth» 00:12:31 My goal is to make a pretty website frontend and publish it on the internet 00:12:40 And to generally make Nomic accessible to more people 00:12:46 By handling it online 00:12:56 Sort of the chess.com of nomics 00:13:00 Sounds pretty cool 00:13:14 It will be, I hope :) 00:13:22 `le/rn smlist/Non-update notification for the webcomic Super Mega. 00:13:25 Learned «smlist» 00:13:54 Peter Naur has died :( 00:13:59 Why is learn spelled le/rn? 00:14:04 Taneb: I have no clue who that is 00:14:10 haavard: We also have `learn 00:14:17 hppavilion[1]: he's the N in BNF 00:14:22 Oh :( 00:14:26 87, oh well. 00:14:41 haavard: But le/rn separates the knowledge from the... thing by / instead of space 00:14:57 `learn infers the head word from the text 00:15:01 haavard: there's `learn that takes the first nontrivial word as the keyword 00:15:02 (the "thing" being the thing that you search for with `?) 00:15:06 `le/rn lets you manually specify the head word 00:15:22 Though it can't contain / 00:15:36 Maybe we should update le/rn to allow backslash-escaped /s 00:15:51 `? le/rn 00:15:53 le/rn makes creating wisdom entries manually a thing of the past. 00:15:54 Because UNIVERSALITY 00:15:56 I see.. 00:16:21 here did anything come of that band gap uncomputability result or not 00:16:33 haavard: If you use "`learn the walrus is john lennon" it will learn "walrus" 00:16:35 hppavilion[1]: shachaf's suggestion is to make le//rn allow single slashes in the key 00:16:51 oerjan: but what if you want a double backslash? 00:16:55 double slashes are impossible in a linux file system anyway 00:16:57 i thought it was p. interesting in that it seemed to possibly entail solving the halting problem in finite time, but i didn't know the physics well enough to tell 00:17:05 but le//rn is indistinguishable from le/rn to unix? 00:17:11 int-e: But it can look at argv[0] 00:18:01 `? ../cat 00:18:02 Meow~~ >^.^< 00:18:03 Peter Naur has died :( 00:18:20 how will we distinguish BNF from brainfuck now?? 00:18:26 NUUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU 00:18:28 `? bnf 00:18:31 bnf? ¯\(°​_o)/¯ 00:18:37 Phantom_Hoover: Convergent evolution will make it unnecessary 00:18:47 Phantom_Hoover: Backus died in 2007 00:18:52 So we just have F now 00:18:52 Within a few thousand years 00:19:19 Taneb: But no one uses "form" in programming anymore! 00:19:31 So really, we either have or E 00:19:32 hppavilion[1]: the web is full of forms 00:19:32 hppavilion[1]: not even with Visual Basic? 00:19:38 at least we have EF if we needed it extended 00:19:39 `` sed -i 's/.\(.*\)/S\1./' wisdom/superd* 00:19:42 No output. 00:19:56 Phantom_Hoover: Ah, but everything in programming will be extensible pretty soon 00:20:09 So it'll just be soon enough 00:20:14 extensible bugs 00:20:26 int-e: Yes! 00:20:40 We should make EBNF: Esoteric Backus-Naur Form 00:20:58 (Acronym collision intentional) 00:21:02 hppavilion[1]: actually it will learn "walru" hth 00:21:14 oerjan: Really? Woooooooooooow 00:21:19 BNF is designed for clarity 00:21:23 how will you make EBNF? 00:21:42 A form that sheds the usual ideas of "logical parsing" and "ease-of-use" to make something fun and exciting! 00:21:49 -!- jaboja has joined. 00:22:02 wait it lready exists, perl regex 00:22:10 Oh. Right. 00:22:46 Another idea I'm currently working on is Classical Programming 00:22:48 Phantom_Hoover: that band gap result says little about "real" physics, it's an idealized system in the infinite growth limit. 00:22:49 Programming based on classes 00:22:57 Not based on OO, because there aren't many objects 00:23:02 Just the classes 00:23:22 And classes aren't just a fancy way to hold methods and data. They're the bulk of the language 00:23:37 oerjan, i expected as much, but it's still fairly interesting if you could get the result in bounded time 00:23:49 Problem is, I don't know what to put in classes to make them more... well... usable for my idea 00:24:30 Oooh! I know how to accomplish it! 00:24:39 Just start making shit up and work back from there! 00:27:58 `` ls wisdom/mins* 00:28:00 wisdom/minski 00:28:34 `? minski 00:28:35 to minski on : /mɪnskiː/ To act as a minski machine on; of a program or programming language, to encode its entire state into the object as a single integer. 00:29:03 `` mv wisdom/minsk{i,y}; sed -i 's/minski/Minsky/g' wisdom/mins* 00:29:06 No output. 00:29:11 `? minsky 00:29:12 to Minsky on : /mɪnskiː/ To act as a Minsky machine on; of a program or programming language, to encode its entire state into the object as a single integer. 00:29:20 -!- tadaaa has joined. 00:29:55 . o O ( Minsky is the capital of minsky. ) 00:30:19 int-e: don't you mean belorussiay hth 00:30:22 (Minsk is the capital of Belarus) 00:30:36 oerjan: no, I was punning 00:30:58 oerjan: I'm not sure that "to Minsky" should have a capital M. 00:31:42 Phantom_Hoover: someone was mentioning in the discussion on scott aaronson's blog that one "practical" version of this is that you can have systems that look gapless up to an arbitrary size, then suddenly switch to gapped, or was it the other way around. 00:32:30 ah 00:32:31 int-e: i think we should leave that decision to the native speakers. 00:32:35 quite unremarkable then 00:32:52 oerjan: but I do speak natively ;) 00:33:13 Phantom_Hoover: well, you can presumably embed an arbitrary finite computation into that switch 00:34:31 int-e: Wenn du es so sagst. 00:35:12 or are you saying you're actually (>=)bilingual 00:35:36 no, I'm not saying that 00:35:44 Gut, gut 00:36:36 . o O ( What is O KAY in German ) 00:36:52 Okay? In Ordnung... 00:37:20 I NORD NUNG 00:37:52 Nice to meet you, Mr. Nung. 00:39:58 char ming 00:44:52 -!- vanila has quit (Quit: Leaving). 00:46:40 -!- heroux has quit (Ping timeout: 260 seconds). 00:48:22 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 00:53:04 -!- lleu has quit (Quit: That's what she said). 00:54:18 this channel is funny. i will be here more ofthen 00:55:40 `welcome tadaaa 00:55:42 tadaaa: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 01:01:31 hachaf 01:01:38 HireFly 01:03:43 -!- hppavilion[1] has joined. 01:04:00 -!- tadaaa has quit (Quit: HydraIRC -> http://www.hydrairc.com <- Would you like to know more?). 01:04:03 -!- heroux has joined. 01:11:02 -!- \oren\ has quit (Ping timeout: 250 seconds). 01:13:01 -!- \oren\ has joined. 01:18:48 -!- jaboja has quit (Ping timeout: 265 seconds). 01:26:45 `run culprits canary | loudly 01:27:35 rather silent if you ask me 01:27:47 I agree. 01:27:51 <\oren\> why is everyone watching downtown abbey 01:27:57 Maybe HackEgo has been spending the last minute or two inhaling. 01:28:06 No output. 01:28:26 <\oren\> i don't see what's so great about an abbot in the inner city 01:29:09 `loudly BEST COMMAND EVER Y/N? 01:29:11 ​BEST COMMAND EVER Y/N? 01:29:16 -!- variable has joined. 01:29:25 `run welcome | loudly 01:29:29 ​Welcome to the international hub for esoteric pro, 01:29:40 no hth 01:29:49 `? loudly 01:29:51 ​It's pretty annoying. 01:30:01 indeed 01:30:26 `loudly people should stop abusing me 01:30:27 <\oren\> `rainbow best camand evar 01:30:27 ​people should stop abusing me 01:30:30 `run echo "Did you mean: $(loudly loudly)" > wisdom/loudly 01:30:54 <\oren\> wat 01:31:09 `? loudly 01:31:30 No output. 01:31:32 No output. 01:31:32 Everyone, HackEgo is tired now and needs to rest. 01:31:32 `loudly are you dead 01:31:33 Did you mean: loudly 01:31:34 ​are you dead 01:31:44 -!- Froox has joined. 01:31:50 `? misspellings of croissant 01:31:52 misspellings of crosant? ¯\(°​_o)/¯ 01:31:56 `? misspellings of crosant 01:31:58 `loudly seriously, stop abusing me or I'll call the police for sexual harrasment 01:31:58 misspellings of crosant? ¯\(°​_o)/¯ 01:31:59 ​seriously, stop abusing me or I'll call the polic, 01:32:36 -!- Froo has joined. 01:34:30 `loudly Night, everyone. 01:34:31 ​Night, everyone. 01:34:47 -!- Frooxius has quit (Ping timeout: 246 seconds). 01:35:08 `silently STOP SHOUTING 01:35:09 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: silently: not found 01:35:15 wat 01:35:17 oh 01:35:23 `quietly STOP SHOUTING 01:35:25 ​  01:36:30 -!- Froox has quit (Ping timeout: 272 seconds). 01:42:49 -!- sebbu3 has changed nick to sebbu. 01:43:40 very quiet 01:43:43 `cat bin/quietly 01:43:44 echo " " 01:44:08 `` mv bin/{quietly,silently} # hth 01:44:11 No output. 02:00:54 `silently foo 02:00:57 ​  02:15:58 > ord '\SUB' 02:16:00 26 02:17:55 -!- andrew has joined. 02:22:41 -!- ^^v has joined. 02:23:19 -!- jaboja has joined. 02:24:48 if u are abov 1m 60 u arent a troll <-- wat 02:25:44 * oerjan grew up in a culture where trolls are assumed huge, with fairy tales telling how some mountains used to be them 02:26:49 -!- benderpc_ has joined. 02:26:50 well, a creature which is 1 million and 60 cm tall is probably not a troll 02:27:39 hm that's 10000.6 m 02:27:54 a bit large for a mountain. 02:28:05 -!- Phantom__Hoover has joined. 02:29:11 @metar KOAK 02:29:12 KOAK 040153Z 09008KT 10SM BKN065 OVC160 11/02 A2981 RMK AO2 SLP094 T01110022 02:29:20 this is a much more reasonable temperature tdh 02:30:06 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 02:30:56 ♫ Det bur ei troll i Senja ♫ så reint utruleg stort ♫ Det fiskar kval på Malangsgrunn ♫ som andre fiskar mort ♫ 02:40:20 -!- mauris has quit (Ping timeout: 255 seconds). 02:40:34 (There lives a troll in Senja / So incredibly large / It fishes for whales at Malangsgrunn / like others fish for pollock) 02:41:08 that's supposedly _small_ pollock, i couldn't find a specific english word. 02:41:59 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 02:42:16 -!- benderpc_ has changed nick to bender|pc. 02:42:59 http://babelstone.blogspot.com/2016/01/whats-new-in-unicode-90.html 02:43:42 lol on the "Emoji" and "non-Emoji" headings 02:43:54 "Not Emoji"* 02:53:18 -!- jaboja has quit (Ping timeout: 250 seconds). 02:55:53 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:56:37 -!- andrew has quit (Remote host closed the connection). 02:58:18 -!- andrew has joined. 03:09:24 -!- kd7swh has joined. 03:12:42 -!- hppavilion[1] has joined. 03:13:09 Precircumfix Operation 03:13:15 [5]6 03:13:18 What does it do? 03:22:24 -!- kd7swh has left ("Leaving"). 03:22:42 -!- jaboja has joined. 03:25:21 I don't know. 03:43:19 -!- jaboja64 has joined. 03:43:26 -!- jaboja has quit (Read error: Connection reset by peer). 03:51:36 -!- jaboja64 has quit (Read error: Connection reset by peer). 03:52:04 -!- bb010g has joined. 03:52:06 -!- boily has joined. 03:52:10 home! 03:52:14 @metar CYUL 03:52:15 CYUL 040300Z 36011G16KT 4SM -SN BKN020 OVC045 M10/M15 A2998 RMK SC6SC2 SLP155 03:52:38 -!- jaboja has joined. 03:59:10 -!- scoofy has quit (Ping timeout: 250 seconds). 04:01:21 So here's a langauge I've brought up before 04:01:49 A language where an entire program is encoded as an arithmetical expression 04:02:17 e.g. out<<"Hello, world!" 04:04:28 -!- dcentral has joined. 04:06:01 I have thought of such things before too (although not quite like that) 04:16:46 -!- boily has quit (Quit: PRESERVED CHICKEN). 04:19:41 #esoteric's guide to Star Wars: Think about it and it will make far less sense than you can possibly imagine 04:23:49 i don't know, i can imagine quite a bit. 04:32:08 Apparently printf is turing-complete 04:33:20 Elronnd: How so? 04:33:38 I forget; I saw something on it on github at somem point 04:33:43 I'll see if I can dig it up 04:34:57 Here we go 04:35:10 "a brainfuck inside printf" https://github.com/HexHive/printbf 04:35:38 -!- bender| has joined. 04:36:35 -!- bender|pc has quit (Ping timeout: 240 seconds). 04:37:07 Wait, is that actually working with the formal spec of printf, and not just UB? 04:39:20 Elronnd: Wow! And it turns out Python is TC too! 04:40:26 Hmm. It's UB and fragile I think. 04:41:40 I'm currently making the base ruleset for an automated Nomic game :) 04:42:37 Specifically, the classic game using the LispRule ruleengine 04:42:42 hppavilion[1]: wait, really? I never new it was possible for a well-known and used language to actually be turing-complete! 04:42:56 Elronnd: xD 04:43:15 http://pubs.opengroup.org/onlinepubs/009695399/functions/fprintf.html defines %n 04:43:28 "The argument shall be a pointer to an integer into which is written the number of bytes written to the output so far by this call to one of the fprintf() functions. No argument is converted." 04:43:47 (λ-nomic, the site/software/game that I'm making for Nomic playing, supports/will support various base games and various rule engines) 04:46:26 OK, the software now has a registration feature 04:46:40 Registering into a game, not into the site 04:49:48 -!- variable has quit (Quit: 1 found in /dev/zero). 04:55:13 -!- Froo has quit (Quit: *bubbles away*). 04:55:34 -!- Frooxius has joined. 05:33:15 Phew 05:33:24 I just implemented the voting mechanism 05:33:35 It is pure spaghetti 05:33:42 The italians would be proud 05:35:35 Here it is: 05:35:36 http://pastebin.com/cd1KsVJf 05:35:41 The formatting got a bit messed up 05:37:01 And now that I think about it, it isn't even complete 05:44:21 -!- oerjan has quit (Quit: Nite). 05:48:29 -!- ^v has quit (Read error: Connection reset by peer). 05:49:02 -!- jaboja has quit (Ping timeout: 260 seconds). 05:49:59 -!- idris-bot has quit (Quit: Terminated). 05:51:04 Do you like my variant formats for Magic: the Gathering (such as Variant Star and so on)? 06:05:42 -!- jaboja has joined. 06:17:56 -!- jaboja has quit (Ping timeout: 246 seconds). 06:20:51 I hope that I have now sufficiently improved the form to make the calculation of the MD5 hash of your account. 06:42:51 "My god 06:43:28 This guy took math and used it to prove the Illuminati (facetiously) xD 06:44:22 zzo38: Where can I read about Variant Star? 06:44:32 Also, md5 is scow 06:44:54 shachaf: http://zzo38computer.org/textfile/miscellaneous/magic_card/star.var 06:45:24 I agree there certainly are better ways than MD5, but I have to use MD5 in this case, sorry. 06:47:16 MD5 is totally scow. 06:51:20 https://youtu.be/DfnBW6HvNwM 06:53:37 pikhq: Yes, I know! 06:54:30 But, I have to use MD5 anyways! 06:55:28 HTTP digest authentication requires it 06:56:03 Oh! 06:57:43 Welp, there's only one real problem here: using that prevents using good password storage. 06:57:44 But you can also use "htdigest" program or any other software on your computer to make MD5 calculation, you are not required to use the HTML form that I have made up. 06:58:13 Why are you using HTTP digest authentication? 06:58:53 That is to identify if you have account to post comment on my custom Magic: the Gathering cards. 06:59:47 The file that stores the passwords is private anyways so you cannot access it. The file that stores the cards and comments is a public file though, and account information is not stored there. 06:59:47 HTTPS is probably a better solution, though digest authentication beats basic authentication if you're *not* using HTTPS at least? I guess? 07:00:32 Even if it is HTTPS, the password is still send to my computer; HTTPS only prevent it being catch in between, not at the end! 07:00:52 And even then I should use HTTP authentication, whether basic or digest, to do log in. 07:01:43 Anyways, even "curl" program support digest authentication, so you do not need to do by web browser (although it is the possibility too). 07:07:36 I do like HTTP authentication as at least an option. 07:12:39 zzo38: Instead of "he" your description of Variant Star should say "he or she" 07:15:10 I could fix it, I just shorten it like that; many document to shorten like that commonly 07:15:38 Not the official rules, though. 07:16:03 These are not official rules; it is a variant game. 07:18:14 I do not mean that woman cannot use it; even if somehow someone is neither "he" nor "she" is still usable and is not prohibited either. 07:19:05 English is a Stupid language. Did you know that? 07:19:33 I did know that. 07:20:22 OK 07:33:14 -!- jaboja has joined. 07:39:49 shachaf: No, zzo38 should say "they" 07:40:09 Magic: The Gathering cards should probably say that. 07:40:10 Or, alternatively, use every possible name joined with ", or" 07:41:53 Avoiding such things like that is why I abbreviate just as "he", which is shorter and sufficiently clear as far as I can tell 07:43:29 -!- jaboja has quit (Ping timeout: 245 seconds). 07:43:34 zzo38: You could, of course, use "one", but then you sound like me 07:45:05 Well, I wrote it and see no reason to change it. However if you would want to write things using different convention I do not complain, unless it is a stupid convention (such as listing all possible names explicitly) 08:04:18 -!- Welo has joined. 08:09:25 -!- andrew_ has joined. 08:12:39 -!- andrew has quit (Ping timeout: 245 seconds). 08:33:34 Sgeo: I've defined a number #, based off of @, s.t. |#| = i 08:33:45 What I'm wondering is if |@#| = -i 08:39:54 -!- Welo has quit (Quit: Leaving). 08:45:59 If | means absolute value, then, I would thought absolute value is supposed to be idenpotence 08:48:22 it normally is hth 08:49:08 sometimes i wonder whether oerjan will be appropriately offended at scow puns if he's not around for them 08:49:29 -!- ^^v has quit (Ping timeout: 246 seconds). 08:50:25 hppavilion[1]: i discussed the existence of @ recently 08:51:07 myname: And? 08:51:19 you'd need to extend the reals by some dimension. quadratic polynoms would have 4 results 08:51:32 we didn't really end in a full definition 08:51:37 that'd be fun 08:52:05 I have invented "meta-complex numbers" in the past 08:52:14 Possibly some other people have also invented same thing 08:52:31 zzo38: Metacomplex as in? 08:52:56 what are meracomplex numbers? 08:54:29 For example you can have a realreal component, a realimaginary component, a imaginaryreal component, a imaginaryimaginaryimaginary component, a imaginaryimaginaryrealimaginary component, etc 08:54:58 They are still commutative and associative. 08:56:08 You can represent by matrix by use of tensor multiplication of [1,0;0,1] and [0,-1;1,0] and then they can be multiplied by real numbers and added together. 08:56:27 Now do you understand it please? 09:03:55 -!- atehwa has joined. 09:05:26 -!- bender| has quit (Ping timeout: 240 seconds). 09:06:40 -!- dcentral has quit (Quit: Leaving). 09:11:20 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 09:23:45 -!- bender| has joined. 09:26:53 -!- dcentral has joined. 09:27:21 -!- dcentral has quit (Remote host closed the connection). 09:43:49 -!- bender| has quit (Changing host). 09:43:49 -!- bender| has joined. 09:47:08 -!- J_Arcane has quit (Ping timeout: 250 seconds). 09:54:29 -!- hppavilion[1] has joined. 10:09:50 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 10:11:32 -!- hppavilion[1] has joined. 10:33:30 -!- andrew_ has quit (Remote host closed the connection). 10:41:09 e**(ix) = cos(x) + sin(x)i 10:41:22 But what about if you substitute j for i? Or k? 10:46:28 -!- lleu has joined. 10:46:28 -!- lleu has quit (Changing host). 10:46:28 -!- lleu has joined. 11:02:54 -!- agawa has joined. 11:24:51 -!- boily has joined. 11:33:41 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 11:37:55 -!- agawa has quit (Ping timeout: 240 seconds). 11:48:14 -!- idris-bot has joined. 11:52:33 -!- benderpc_ has joined. 11:52:57 @metar CYUL 11:52:57 CYUL 041100Z 33003KT 15SM SKC M18/M24 A3019 RMK SLP229 11:53:35 -!- bender| has quit (Ping timeout: 240 seconds). 11:53:50 -!- boily has quit (Quit: SUBDUCTING CHICKEN). 11:55:47 -!- benderpc_ has changed nick to bender|. 12:05:06 -!- mauris has joined. 12:12:48 -!- jaboja has joined. 12:14:52 -!- jaboja has quit (Read error: Connection reset by peer). 12:16:24 -!- jaboja has joined. 12:17:39 -!- Phantom_Hoover has joined. 12:23:59 -!- mauris has quit (Ping timeout: 255 seconds). 12:29:59 -!- hppavilion[1] has joined. 12:37:26 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 12:44:26 `? snow 12:44:28 `wisdom 12:44:42 snow? ¯\(°​_o)/¯ 12:44:42 did/did: didn't 12:45:44 `learn Snow is Jesus's dandruffs, which turns the sidewalks to white as if someone broke a lot of styrofoam on it. 12:45:47 Learned 'snow': Snow is Jesus's dandruffs, which turns the sidewalks to white as if someone broke a lot of styrofoam on it. 12:58:13 @metar lowi 12:58:14 LOWI 041250Z 27008KT 9999 FEW008 SCT030 BKN060 04/02 Q0994 R08/19//95 NOSIG 13:04:11 How do I fix Firefox so that it will use the filename of the page being viewed as the default filename when saving it, rather than using the title as the default filename? 13:20:18 -!- mauris has joined. 13:21:12 -!- idris-bot has quit (Ping timeout: 250 seconds). 13:24:34 -!- Melvar has quit (Ping timeout: 272 seconds). 13:54:06 -!- Melvar has joined. 13:54:49 [wiki] [[Tedius]] M http://esolangs.org/w/index.php?diff=46070&oldid=33269 * LegionMammal978 * (+2) /* Cat program */ 13:58:51 <\oren\> @metar cyyz 13:58:52 CYYZ 041300Z 36013KT 15SM FEW030 BKN075 M15/M20 A3031 RMK SC2AC3 SLP277 13:58:57 <\oren\> AAAAAAAAA 14:01:39 `olist 1017 14:01:41 olist 1017: shachaf oerjan Sgeo FireFly boily nortti b_jonas 14:01:48 oh oops 14:02:31 ooh! 14:02:33 looking 14:04:36 `learn Snow is Jesus's dandruffs, and some suspect that he is the son of Rhaegar Targeryan. It turns the sidewalks to white as if someone broke a lot of styrofoam on it. 14:04:39 Learned 'snow': Snow is Jesus's dandruffs, and some suspect that he is the son of Rhaegar Targeryan. It turns the sidewalks to white as if someone broke a lot of styrofoam on it. 14:13:30 -!- jaboja has quit (Ping timeout: 260 seconds). 14:21:54 boo, spoilers 14:22:36 `? spoilers 14:22:37 spoilers? ¯\(°​_o)/¯ 14:24:19 https://xkcd.com/109/ 14:27:13 `? winter 14:27:14 winter? ¯\(°​_o)/¯ 14:27:21 `le/rn Winter is coming. 14:27:22 No output. 14:27:25 `? winter 14:27:26 winter? ¯\(°​_o)/¯ 14:27:28 `learn Winter is coming. 14:27:32 Learned 'winter': Winter is coming. 14:27:33 `? winter 14:27:34 Winter is coming. 15:08:38 -!- ocharles__ has quit (Changing host). 15:08:38 -!- ocharles__ has joined. 15:10:26 -!- bender| has quit (Ping timeout: 240 seconds). 15:15:10 -!- Welo has joined. 15:32:35 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 15:34:30 My exam this afternoon went well 15:38:12 -!- Phantom_Hoover has joined. 16:02:23 -!- J_Arcane has joined. 16:27:39 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 16:29:23 -!- Phantom_Hoover has joined. 16:29:53 -!- idris-bot has joined. 16:59:34 aaah stupid 2048 game... 17:07:42 try Threes. it's much less stupid. 17:11:24 -!- FreeFull has quit (Ping timeout: 245 seconds). 17:13:00 it amuses me that there is a section of the Tedius page that is about making the language less tedious 17:18:34 quintopia: I just have to fight the urge to try and reach 8192 (because it takes a long, long time to get there) 17:18:37 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:33:41 -!- Xe- has joined. 17:38:08 -!- Xe- has quit (Client Quit). 17:38:14 int-e: that number seems astronomical compared to the numbers you're able to reach in Threes 17:58:43 -!- Lord_of_- has quit (Excess Flood). 18:00:36 -!- Lord_of_Life has joined. 18:13:39 -!- ais523 has joined. 18:14:38 hi, I'm trying to do something totally insane and could use some advice 18:15:08 basically, the idea is to make the common case of an esolang interpreter faster via not doing any sort of bounds checks, and instead catching the resulting segfault (via allocating memory a page at a time) 18:15:18 this requires that I know where in the source code the segfault happened 18:15:32 so what I want to do is convert the segfaults into (zero-cost) exceptions that I can catch 18:15:52 however, the obvious method, of putting throw in a signal handler, doesn't work; it acts like the exception was unhandled 18:16:10 what do you mean? 18:16:10 and inspecting the asm at various optimization levels implies that you're not supposed to be able to throw an exception out of a signal handler into the main program 18:16:40 izabera: I mean that if I write "throw foo;" in a signal handler, inside a try block in the main program but not in the signal hander, it gets translated to terminate() 18:16:47 as usual for an unhandled exception 18:17:24 anyway, what I'd like is either a) a way to convert signals to exceptions, or b) another way to accomplish what I'm aiming for (zero-cost segfault handling) that doesn't require throwing an exception in a signal handler 18:17:42 clearly I could do it via writing the asm myself but I don't want to have to resort to that 18:18:27 -!- FreeFull has joined. 18:19:02 can you show your code? 18:19:05 -!- mauris_ has joined. 18:19:27 Maybe People in ##ASM can help, even though it is off-topic there… 18:19:36 izabera: not trivially as it's one of those compilers that works by pieceing code fragments together 18:19:43 Can You use longjmp()? 18:19:43 let me paste you some compiled output 18:19:55 APic: yes but I can't use setjmp() 18:20:10 because you have to call it in advance before you know whether it's jumped to or not 18:20:39 Oh 18:20:46 izabera: http://sprunge.us/jEPB 18:20:59 see segv_handler for the problematic bit 18:22:11 -!- mauris has quit (Ping timeout: 255 seconds). 18:22:42 -!- mauris has joined. 18:23:27 the context is that I'm trying to make a basic literal (i.e. non-optimizing) PMMN compiler that's as efficient as possible for being non-optimizing 18:23:59 -!- mauris_ has quit (Ping timeout: 255 seconds). 18:24:48 i don't know what pmmn is but i see 18:26:18 -!- ^^v has joined. 18:27:23 izabera: http://esolangs.org/wiki/Portable_Minsky_Machine_Notation 18:27:44 I want to know how fast a non-optimizing impl can be to compare my optimizer to it 18:31:42 ais523: There is http://forum.dlang.org/thread/jjn6dj$193c$1@digitalmars.com but of course it is highly non-portable. 18:31:57 * ais523 looks 18:32:07 anything along these lines can be expected to be highly nonportable, really 18:32:12 Yes 18:32:27 ooh, it uses ucontext_t 18:32:30 beautiful 18:32:41 B-) 18:35:46 however it seems to rely on ebp/rbp being reliable 18:40:08 If the Function You return to does not return further itself, i guess You can just skip messing with the Base-Pointer… 18:40:48 right, actually it works a bit more simply if ebp isn't pushed 18:40:59 *nod* 18:41:00 I think what you have to do here is to write the userspace handler in asm 18:41:49 * APic thinks so too, that is why i pointed out ##asm B-) 18:50:49 but I already know asm :-P 18:51:31 Good B-) 19:16:23 -!- sebbu has quit (Ping timeout: 264 seconds). 19:30:23 -!- sebbu has joined. 19:36:46 -!- pikhq has quit (Ping timeout: 240 seconds). 19:38:48 -!- pikhq has joined. 19:39:29 -!- agawa has joined. 19:43:24 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 19:45:10 huh, my desk *does* point zimbabwards 19:48:12 ais523: jitfunge used a stack like that. 19:48:50 -!- agawa has quit (Ping timeout: 260 seconds). 19:49:15 -!- agawa has joined. 19:49:42 ais523: Not the part about throwing exceptions, but the part without bounds checks, with a segfault handler that patched pop-like things to act as if they had just popped the last 0 out of the stack. 19:50:00 right 19:50:08 it's trying to do the segfault handler cleanly that's bothering me 19:50:17 -!- ^^v has quit (Ping timeout: 276 seconds). 19:50:23 you can get the address that faulted, but if you return, it'll try to read that address again 19:50:34 which isn't so useful if what was wrong was the address itself 19:51:51 I did it only in the version that had handcrafted code generation, because the "patch things up to look like it worked" operation is hard to figure out in the general case of arbitrary code. 19:52:27 With a finite set of generated forms, it could look at the faulting instruction and act appropriately. Didn't port this over to the LLVM-based thing. 19:56:35 /* .. */ else if (code[0] == 0x8b && (code[1] & 0xc7) == 0x06) /* .. */ 19:56:40 oh, you actually examined the code? 19:56:46 As above. 19:56:56 come to think of it, I could just write this whole program in asm 19:57:02 it'd probably be easier 19:57:24 The body of that branch is targetreg = 11-((code[1]>>3) & 0x07); and then I do ctx->uc_mcontext.gregs[targetreg] = 0; to "return" a zero. 20:16:10 -!- bb010g has joined. 20:25:33 -!- hppavilion[1] has joined. 20:25:46 Last delayed reaction of 2015! WHOO! 20:26:02 :) 20:26:36 hmm, should I just put this esolang online without implementing it and without writing programs in it to test that it works? 20:26:52 I wanted at least a working tested cat 20:27:00 and want the possibility to change the spec in case I've missed something 20:28:21 `unidecode ? 20:28:36 ​[U+FF1F FULLWIDTH QUESTION MARK] 20:29:05 that is quite the codepoint number 20:29:07 three Fs? 20:29:18 for a question mark? 20:30:15 That's what you get for putting the "halfwidth and fullwidth forms" block to ff00..ffef. 20:30:34 what a weird place to put it 20:33:46 `` for d in 0 1 2 3 4 5 6 7; do unidecode "$(unicode $d$d$d$d)"; done 20:33:50 ​ \ [U+1111 HANGUL CHOSEONG PHIEUPH] \ [U+2222 SPHERICAL ANGLE] \ [U+3333 SQUARE HUIITO] \ [U+4444 CJK UNIFIED IDEOGRAPH-4444] \ [U+5555 CJK UNIFIED IDEOGRAPH-5555] \ [U+6666 CJK UNIFIED IDEOGRAPH-6666] \ [U+7777 CJK UNIFIED IDEOGRAPH-7777] 20:33:55 `` for d in 8 9 a b c d e f; do unidecode "$(unicode $d$d$d$d)"; done 20:34:02 ​[U+8888 CJK UNIFIED IDEOGRAPH-8888] \ [U+9999 CJK UNIFIED IDEOGRAPH-9999] \ [U+AAAA TAI VIET LETTER LOW VO] \ [U+BBBB HANGUL SYLLABLE MYUC] \ [U+CCCC HANGUL SYLLABLE CEK] \ U+DDDD - No such unicode character name in database \ UTF-8: ed b7 9d UTF-16BE: dddd Decimal: � \ () \ Uppercase: U+DDDD \ Category: Cs (Other, Surrogate) \ 20:34:30 Hrm. The output for the non-existing U+DDDD was far too long. 20:39:36 -!- adu has joined. 20:54:33 ais523: what esolang? 20:55:00 quintopia: I've discussed two today; the first was PMMN; the second was me running with the "input is appended to the source" idea 20:58:47 -!- Welo has quit (Quit: Leaving). 21:03:16 -!- Phantom_Hoover has joined. 21:07:10 -!- ais523 has quit. 21:11:19 `unidecode ∖ 21:11:21 ​[U+2216 SET MINUS] 21:12:47 -!- ^^v has joined. 21:39:41 -!- agawa has quit. 22:02:49 -!- AnotherTest has joined. 22:06:12 -!- AnotherTest has quit (Client Quit). 22:06:48 -!- p34k has joined. 22:10:04 -!- adu has quit (Quit: adu). 22:11:07 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 22:21:07 -!- mauris has quit (Quit: Leaving). 22:26:45 -!- ais523 has joined. 22:38:57 -!- oerjan has joined. 22:47:16 -!- p34k has quit. 22:56:13 @tell hppavilion[1] But what about if you substitute j for i? Or k? <-- i am guessing you just substitute them in the right side too. i think the quaternions are a (real) banach algebra, which means e**(ix) works by power series as usual, and then i^2 = -1 is _probably_ all you need for the splitup, and j and k have the same property. for x real, that is. if x is some other quaternion that doesn't commute with i, j or k things ... 22:56:13 Consider it noted. 22:56:19 ... might get messed up. 22:56:49 @tell hppavilion[1] ... might get messed up. 22:56:49 Consider it noted. 22:57:17 * oerjan suddenly realizes lambdabot might cut that off more... 22:59:46 -!- boily has joined. 23:02:02 oerjan: hppavilion is, I presume, capable of logreading 23:03:06 but does he know that he's capable 23:03:36 does he know that i know that you know that he is capable 23:04:11 Tanelle, hellørjan, Tanelle, hellørjan. 23:05:32 bohilybilyho 23:05:56 -!- hppavilion[1] has joined. 23:06:48 hppavilion[1]: i wish to inform you that i know that Taneb knows that you are capable of logreading. just in case lambdabot cuts that off more. 23:07:24 oerjan: Huh? Not exactly sure what you're saying 23:07:31 Ah, there's lambdabot 23:07:40 oerjan: You know that Taneb knows it? Or just that Taneb says he knows it? 23:07:47 Or presumes it. 23:08:09 shachaf: darn you got me there. also how can be offended by a scow pun if i cannot find it even while logreadin tdnh 23:08:16 *+g 23:08:36 oerjan: Ah, by j and k I meant j from the split-complexes and k=epsilon from the duals 23:08:45 Not j and k from the quaternions or their ilk 23:08:59 * oerjan vaguely guesses shachaf thinks "normally" is punny there, but doesn't quite see how. 23:09:05 the joke is norm 23:09:08 it's not very good 23:10:06 hppavilion[1]: oh. well i have no idea whether that's too messed up to be a banach algebra, then. 23:10:31 Now I must walk home 23:10:34 what would be a good porthello for funpuns? 23:10:48 basically, you want it to be a ring and reals to be a subring commuting with everything, i think. 23:11:09 hppavellon[1]. is there snow where you are? 23:11:11 shachaf: oh. 23:11:26 * oerjan swats shachaf for scowness -----### 23:11:59 `rot13 hello 23:12:05 uryyb 23:12:33 boily: funpuryyb hth 23:12:44 tdh. 23:13:12 @metar ENVA 23:13:13 ENVA 042220Z 13016KT CAVOK M06/M16 Q1008 RMK WIND 670FT 15024G34KT 23:13:26 bit frosty. 23:13:33 no snow, at the moment. 23:13:58 @metar CYUL 23:13:58 CYUL 042300Z 32005KT 15SM FEW040 FEW240 M15/M21 A3044 RMK SC1CI1 SC TR CI TR SLP315 23:14:31 cold. I bought a 10kg bag of salt for my stairs. much fun bringing it back home by foot. 23:16:22 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 23:19:12 -!- agawa has joined. 23:36:30 -!- Sprocklem has quit (Quit: brb). 23:36:53 boily: whoa whoa whoa, why would you live somewhere that cold? 23:36:58 @metar KOAK 23:36:59 KOAK 042253Z 17008KT 9SM -RA BKN032 OVC050 14/09 A2972 RMK AO2 RAB28 SLP064 P0000 T01390094 23:39:08 shachaf: that's like half of the Frogs chorus of Aristophanes! 23:39:59 whoa whoa whoa 23:40:14 Taneb knows the croaking chorus from The Frogs of Aristophanes? 23:40:21 YEs 23:40:26 In the original Greek 23:40:59 -!- FreeFull has quit (Quit: Rebooting). 23:41:14 And in translation! 23:41:38 can you whistle all the airs from that infernal nonsense Pinafore? 23:41:48 Alas, I cannot 23:42:01 But I am very well acquainted with matters mathematical! 23:42:29 do you have any cheerful facts about the square of the hypotenuse? 23:42:48 It's equal to the sum of the squares of the other two sides! 23:42:54 that's not cheerful 23:43:00 it's dismal 23:43:09 It's all about attitude, shachaf 23:43:15 you're not even giving an upper bound 23:43:16 Get to higher griound 23:43:19 just an equality 23:43:28 Taneb: you never answered my question about dominance and submission, anyway 23:43:38 I do not remember the question 23:44:25 Taneb: so BDSM is out but how does Taneb feel about dominance and submission in non-sexual contexts twh 23:44:26 -!- FreeFull has joined. 23:44:29 in particular i was thinking of theatre 23:44:42 I haven't done much theatre in the past couple of years 23:44:54 what do you think of http://slbkbs.org/kj-ideas.txt 23:45:24 That is certainly a list of ideas 23:47:09 thanks 23:47:27 what's better than ideas? pooches. 23:48:01 shachaf: because the beer is good. 23:48:25 how's the poutine 23:48:30 better. 23:48:42 speaking of poutine, I think I'ma gonna get one. 23:48:51 GOOD THINGS, TOTALLY ORDERED: 23:48:53 -!- boily has quit (Quit: CRUSTACEAN CHICKEN). 23:48:54 I don't know anywhere to get poutine 23:48:54 -!- Sprocklem has joined. 23:48:57 oops 23:49:38 -!- Sprocklem has quit (Remote host closed the connection). 23:50:14 -!- Sprocklem has joined. 23:50:57 Taneb: you should read that book, it's great 23:52:09 I will bear that in mind 23:52:41 Unfortunately I have exams right now 23:55:24 -!- hppavilion[1] has joined. 23:57:32 @tell boily There was snow here, until a few days ago. Which is weird, because Alaska. 23:57:32 Consider it noted. 23:58:08 I haven't seen it snow since 2011