00:01:07 <haavard> I am actually norwegian except for that swedish slice, oerjan
00:01:40 <Taneb> oerjan: my brother woke up in Norway this morning
00:01:41 <haavard> Do you also study at NTNU? (spying on your host)
00:02:10 <oerjan> haavard: not any more, just kept the club membership
00:02:15 <Taneb> (he went to sleep there last night, too)
00:02:24 <Taneb> Although a lot further south than you guys, I believe
00:03:50 <haavard> 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:04:05 <lambdabot> oerjan said 52m 35s ago: <hppavilion[1]> <WassPord> 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 <oerjan> Taneb: this means i will now have to avoid haavard like you have avoided elliott.
00:04:12 <Taneb> haavard: my brother's been staying with friends in Stavanger
00:04:43 <haavard> There you go, that's my home town ;)
00:04:52 <haavard> I didn't know being norwegian was some special perk over here, oerjan
00:05:26 <hppavilion[1]> I would think you were new because I don't recognize you, but oerjan appears to have seen you around before
00:05:41 <haavard> I am pretty new, hppavilion[1] ;)
00:06:06 <hppavilion[1]> haavard: So what projects are you currently working on?
00:06:26 <haavard> I'm writing a JIT compiler for ><>
00:07:46 <int-e> `` echo wisdom/super*
00:07:48 <HackEgo> wisdom/superexponential growth wisdom/supermarionation wisdom/supermarioperator
00:08:30 <haavard> It's a lot easier than I initially thought
00:08:34 <hppavilion[1]> `le/rn superduperexponential growth/is exponential growth on top of exponential growth
00:08:38 <HackEgo> Learned «superduperexponential growth»
00:08:45 <haavard> I'm using DynASM, which makes it a lot nicer
00:08:45 <Phantom_Hoover> they've drawn a 3-punctured sphere with big circles for the punctures
00:08:49 <HackEgo> superduperexponentialgrowth? ¯\(°_o)/¯
00:09:00 * oerjan swats hppavilion[1] -----###
00:09:04 <HackEgo> is exponential growth on top of exponential growth
00:09:19 <hppavilion[1]> `le/rn superduperexponential growth/superduperexponential growth is exponential growth on top of exponential growth
00:09:22 <HackEgo> Learned «superduperexponential growth»
00:09:54 <int-e> apparently smlist is for http://www.supermegacomics.com/
00:11:37 <haavard> Is it the game where the rules change, like wikipedia states?
00:11:43 <hppavilion[1]> I'm making a LISP-based Nomic rule handler callsed λ-Nomic
00:11:50 <HackEgo> Update notification for the webcomic Homestuck.
00:12:11 <oerjan> `le/rn supercalifragilisticexponential growth/Supercalifragilisticexponential growth leaves Graham's number in the dust.
00:12:14 <HackEgo> Learned «supercalifragilisticexponential growth»
00:12:31 <hppavilion[1]> My goal is to make a pretty website frontend and publish it on the internet
00:12:40 <hppavilion[1]> And to generally make Nomic accessible to more people
00:13:22 <int-e> `le/rn smlist/Non-update notification for the webcomic Super Mega.
00:13:54 <Taneb> Peter Naur has died :(
00:13:59 <haavard> Why is learn spelled le/rn?
00:14:17 <Taneb> hppavilion[1]: he's the N in BNF
00:14:41 <hppavilion[1]> haavard: But le/rn separates the knowledge from the... thing by / instead of space
00:14:57 <Taneb> `learn infers the head word from the text
00:15:01 <int-e> haavard: there's `learn that takes the first nontrivial word as the keyword
00:15:02 <hppavilion[1]> (the "thing" being the thing that you search for with `?)
00:15:06 <Taneb> `le/rn lets you manually specify the head word
00:15:36 <hppavilion[1]> Maybe we should update le/rn to allow backslash-escaped /s
00:15:53 <HackEgo> le/rn makes creating wisdom entries manually a thing of the past.
00:16:21 <Phantom_Hoover> here did anything come of that band gap uncomputability result or not
00:16:33 <hppavilion[1]> haavard: If you use "`learn the walrus is john lennon" it will learn "walrus"
00:16:35 <oerjan> hppavilion[1]: shachaf's suggestion is to make le//rn allow single slashes in the key
00:16:55 <oerjan> double slashes are impossible in a linux file system anyway
00:16:57 <Phantom_Hoover> 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 <int-e> but le//rn is indistinguishable from le/rn to unix?
00:17:11 <shachaf> int-e: But it can look at argv[0]
00:18:37 <hppavilion[1]> Phantom_Hoover: Convergent evolution will make it unnecessary
00:18:47 <Taneb> Phantom_Hoover: Backus died in 2007
00:18:52 <Taneb> So we just have F now
00:19:19 <hppavilion[1]> Taneb: But no one uses "form" in programming anymore!
00:19:32 <int-e> hppavilion[1]: the web is full of forms
00:19:32 <Taneb> hppavilion[1]: not even with Visual Basic?
00:19:39 <oerjan> `` sed -i 's/.\(.*\)/S\1./' wisdom/superd*
00:19:56 <hppavilion[1]> Phantom_Hoover: Ah, but everything in programming will be extensible pretty soon
00:21:02 <oerjan> hppavilion[1]: actually it will learn "walru" hth
00:21:19 <vanila> BNF is designed for clarity
00:21:23 <vanila> how will you make EBNF?
00:21:42 <hppavilion[1]> 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 <vanila> wait it lready exists, perl regex
00:22:46 <hppavilion[1]> Another idea I'm currently working on is Classical Programming
00:22:48 <oerjan> Phantom_Hoover: that band gap result says little about "real" physics, it's an idealized system in the infinite growth limit.
00:22:57 <hppavilion[1]> Not based on OO, because there aren't many objects
00:23:22 <hppavilion[1]> And classes aren't just a fancy way to hold methods and data. They're the bulk of the language
00:23:37 <Phantom_Hoover> oerjan, i expected as much, but it's still fairly interesting if you could get the result in bounded time
00:23:49 <hppavilion[1]> Problem is, I don't know what to put in classes to make them more... well... usable for my idea
00:24:39 <hppavilion[1]> Just start making shit up and work back from there!
00:28:35 <HackEgo> 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 <oerjan> `` mv wisdom/minsk{i,y}; sed -i 's/minski/Minsky/g' wisdom/mins*
00:29:12 <HackEgo> 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 <int-e> . o O ( Minsky is the capital of minsky. )
00:30:19 <oerjan> int-e: don't you mean belorussiay hth
00:30:22 <int-e> (Minsk is the capital of Belarus)
00:30:36 <int-e> oerjan: no, I was punning
00:30:58 <int-e> oerjan: I'm not sure that "to Minsky" should have a capital M.
00:31:42 <oerjan> 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:31 <oerjan> int-e: i think we should leave that decision to the native speakers.
00:32:52 <int-e> oerjan: but I do speak natively ;)
00:33:13 <oerjan> Phantom_Hoover: well, you can presumably embed an arbitrary finite computation into that switch
00:34:31 <oerjan> int-e: Wenn du es so sagst.
00:35:12 <oerjan> or are you saying you're actually (>=)bilingual
00:35:36 <int-e> no, I'm not saying that
00:36:36 <oerjan> . o O ( What is O KAY in German )
00:36:52 <int-e> Okay? In Ordnung...
00:37:52 <int-e> Nice to meet you, Mr. Nung.
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 <tadaaa> this channel is funny. i will be here more ofthen
00:55:42 <HackEgo> tadaaa: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
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 <tswett> `run culprits canary | loudly
01:27:35 <FireFly> rather silent if you ask me
01:27:51 <\oren\> why is everyone watching downtown abbey
01:27:57 <tswett> Maybe HackEgo has been spending the last minute or two inhaling.
01:28:26 <\oren\> i don't see what's so great about an abbot in the inner city
01:29:09 <tswett> `loudly BEST COMMAND EVER Y/N?
01:29:16 -!- variable has joined.
01:29:29 <HackEgo> Welcome to the international hub for esoteric pro,
01:30:26 <Elronnd> `loudly people should stop abusing me
01:30:27 <\oren\> `rainbow best camand evar
01:30:27 <HackEgo> people should stop abusing me
01:30:30 <tswett> `run echo "Did you mean: $(loudly loudly)" > wisdom/loudly
01:31:32 <tswett> Everyone, HackEgo is tired now and needs to rest.
01:31:44 -!- Froox has joined.
01:31:50 <tswett> `? misspellings of croissant
01:31:52 <HackEgo> misspellings of crosant? ¯\(°_o)/¯
01:31:56 <tswett> `? misspellings of crosant
01:31:58 <Elronnd> `loudly seriously, stop abusing me or I'll call the police for sexual harrasment
01:31:58 <HackEgo> misspellings of crosant? ¯\(°_o)/¯
01:31:59 <HackEgo> seriously, stop abusing me or I'll call the polic,
01:32:36 -!- Froo has joined.
01:34:30 <tswett> `loudly Night, everyone.
01:34:47 -!- Frooxius has quit (Ping timeout: 246 seconds).
01:35:08 <oerjan> `silently STOP SHOUTING
01:35:09 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: silently: not found
01:35:23 <oerjan> `quietly STOP SHOUTING
01:36:30 -!- Froox has quit (Ping timeout: 272 seconds).
01:42:49 -!- sebbu3 has changed nick to sebbu.
01:44:08 <shachaf> `` mv bin/{quietly,silently} # hth
02:17:55 -!- andrew has joined.
02:22:41 -!- ^^v has joined.
02:23:19 -!- jaboja has joined.
02:24:48 <oerjan> <agawa> 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 <lifthrasiir> well, a creature which is 1 million and 60 cm tall is probably not a troll
02:27:54 <oerjan> a bit large for a mountain.
02:28:05 -!- Phantom__Hoover has joined.
02:29:12 <lambdabot> KOAK 040153Z 09008KT 10SM BKN065 OVC160 11/02 A2981 RMK AO2 SLP094 T01110022
02:29:20 <shachaf> this is a much more reasonable temperature tdh
02:30:06 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
02:30:56 <oerjan> ♫ 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 <oerjan> (There lives a troll in Senja / So incredibly large / It fishes for whales at Malangsgrunn / like others fish for pollock)
02:41:08 <oerjan> 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 <lifthrasiir> http://babelstone.blogspot.com/2016/01/whats-new-in-unicode-90.html
02:43:42 <lifthrasiir> lol on the "Emoji" and "non-Emoji" headings
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:22:24 -!- kd7swh has left ("Leaving").
03:22:42 -!- jaboja has joined.
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:15 <lambdabot> 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:49 <hppavilion[1]> A language where an entire program is encoded as an arithmetical expression
04:04:28 -!- dcentral has joined.
04:06:01 <zzo38> 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 <hppavilion[1]> #esoteric's guide to Star Wars: Think about it and it will make far less sense than you can possibly imagine
04:23:49 <oerjan> i don't know, i can imagine quite a bit.
04:32:08 <Elronnd> Apparently printf is turing-complete
04:33:38 <Elronnd> I forget; I saw something on it on github at somem point
04:33:43 <Elronnd> I'll see if I can dig it up
04:35:10 <Elronnd> "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 <pikhq> Wait, is that actually working with the formal spec of printf, and not just UB?
04:40:26 <pikhq> Hmm. It's UB and fragile I think.
04:41:40 <hppavilion[1]> I'm currently making the base ruleset for an automated Nomic game :)
04:42:37 <hppavilion[1]> Specifically, the classic game using the LispRule ruleengine
04:42:42 <Elronnd> hppavilion[1]: wait, really? I never new it was possible for a well-known and used language to actually be turing-complete!
04:43:15 <deltab> http://pubs.opengroup.org/onlinepubs/009695399/functions/fprintf.html defines %n
04:43:28 <deltab> "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 <hppavilion[1]> (λ-nomic, the site/software/game that I'm making for Nomic playing, supports/will support various base games and various rule engines)
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:37:01 <hppavilion[1]> 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 <zzo38> 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 <zzo38> I hope that I have now sufficiently improved the form to make the calculation of the MD5 hash of your account.
06:43:28 <hppavilion[1]> This guy took math and used it to prove the Illuminati (facetiously) xD
06:44:22 <shachaf> zzo38: Where can I read about Variant Star?
06:44:54 <zzo38> shachaf: http://zzo38computer.org/textfile/miscellaneous/magic_card/star.var
06:45:24 <zzo38> I agree there certainly are better ways than MD5, but I have to use MD5 in this case, sorry.
06:47:16 <pikhq> MD5 is totally scow.
06:53:37 <zzo38> pikhq: Yes, I know!
06:54:30 <zzo38> But, I have to use MD5 anyways!
06:55:28 <zzo38> HTTP digest authentication requires it
06:57:43 <pikhq> Welp, there's only one real problem here: using that prevents using good password storage.
06:57:44 <zzo38> 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 <shachaf> Why are you using HTTP digest authentication?
06:58:53 <zzo38> That is to identify if you have account to post comment on my custom Magic: the Gathering cards.
06:59:47 <zzo38> 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 <pikhq> 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 <zzo38> 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 <zzo38> And even then I should use HTTP authentication, whether basic or digest, to do log in.
07:01:43 <zzo38> 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 <pikhq> I do like HTTP authentication as at least an option.
07:12:39 <shachaf> zzo38: Instead of "he" your description of Variant Star should say "he or she"
07:15:10 <zzo38> I could fix it, I just shorten it like that; many document to shorten like that commonly
07:15:38 <shachaf> Not the official rules, though.
07:16:03 <zzo38> These are not official rules; it is a variant game.
07:18:14 <zzo38> 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 <zzo38> English is a Stupid language. Did you know that?
07:33:14 -!- jaboja has joined.
07:40:09 <shachaf> Magic: The Gathering cards should probably say that.
07:40:10 <hppavilion[1]> Or, alternatively, use every possible name joined with ", or"
07:41:53 <zzo38> 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 <hppavilion[1]> zzo38: You could, of course, use "one", but then you sound like me
07:45:05 <zzo38> 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 <hppavilion[1]> Sgeo: I've defined a number #, based off of @, s.t. |#| = i
08:39:54 -!- Welo has quit (Quit: Leaving).
08:45:59 <zzo38> If | means absolute value, then, I would thought absolute value is supposed to be idenpotence
08:49:08 <shachaf> 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 <myname> hppavilion[1]: i discussed the existence of @ recently
08:51:19 <myname> you'd need to extend the reals by some dimension. quadratic polynoms would have 4 results
08:51:32 <myname> we didn't really end in a full definition
08:52:05 <zzo38> I have invented "meta-complex numbers" in the past
08:52:14 <zzo38> Possibly some other people have also invented same thing
08:52:56 <myname> what are meracomplex numbers?
08:54:29 <zzo38> For example you can have a realreal component, a realimaginary component, a imaginaryreal component, a imaginaryimaginaryimaginary component, a imaginaryimaginaryrealimaginary component, etc
08:54:58 <zzo38> They are still commutative and associative.
08:56:08 <zzo38> 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 <zzo38> 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: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 <lambdabot> 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:45:44 <b_jonas> `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 <HackEgo> 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:14 <lambdabot> LOWI 041250Z 27008KT 9999 FEW008 SCT030 BKN060 04/02 Q0994 R08/19//95 NOSIG
13:04:11 <zzo38> 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 <HackEgo> [wiki] [[Tedius]] M http://esolangs.org/w/index.php?diff=46070&oldid=33269 * LegionMammal978 * (+2) /* Cat program */
13:58:52 <lambdabot> CYYZ 041300Z 36013KT 15SM FEW030 BKN075 M15/M20 A3031 RMK SC2AC3 SLP277
14:01:41 <HackEgo> olist 1017: shachaf oerjan Sgeo FireFly boily nortti b_jonas
14:04:36 <b_jonas> `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 <HackEgo> 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:24:19 <int-e> https://xkcd.com/109/
14:27:32 <HackEgo> Learned 'winter': 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 <Taneb> 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 <int-e> aaah stupid 2048 game...
17:07:42 <quintopia> try Threes. it's much less stupid.
17:11:24 -!- FreeFull has quit (Ping timeout: 245 seconds).
17:13:00 <quintopia> it amuses me that there is a section of the Tedius page that is about making the language less tedious
17:18:34 <int-e> 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 <quintopia> 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 <ais523> hi, I'm trying to do something totally insane and could use some advice
18:15:08 <ais523> 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 <ais523> this requires that I know where in the source code the segfault happened
18:15:32 <ais523> so what I want to do is convert the segfaults into (zero-cost) exceptions that I can catch
18:15:52 <ais523> however, the obvious method, of putting throw in a signal handler, doesn't work; it acts like the exception was unhandled
18:16:10 <ais523> 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 <ais523> 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 <ais523> as usual for an unhandled exception
18:17:24 <ais523> 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 <ais523> 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:05 -!- mauris_ has joined.
18:19:27 <APic> Maybe People in ##ASM can help, even though it is off-topic there…
18:19:36 <ais523> izabera: not trivially as it's one of those compilers that works by pieceing code fragments together
18:19:43 <APic> Can You use longjmp()?
18:19:43 <ais523> let me paste you some compiled output
18:19:55 <ais523> APic: yes but I can't use setjmp()
18:20:10 <ais523> because you have to call it in advance before you know whether it's jumped to or not
18:20:46 <ais523> izabera: http://sprunge.us/jEPB
18:20:59 <ais523> 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 <ais523> 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 <izabera> i don't know what pmmn is but i see
18:26:18 -!- ^^v has joined.
18:27:23 <ais523> izabera: http://esolangs.org/wiki/Portable_Minsky_Machine_Notation
18:27:44 <ais523> I want to know how fast a non-optimizing impl can be to compare my optimizer to it
18:31:42 <APic> ais523: There is http://forum.dlang.org/thread/jjn6dj$193c$1@digitalmars.com but of course it is highly non-portable.
18:32:07 <ais523> anything along these lines can be expected to be highly nonportable, really
18:32:27 <ais523> ooh, it uses ucontext_t
18:35:46 <ais523> however it seems to rely on ebp/rbp being reliable
18:40:08 <APic> 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 <ais523> right, actually it works a bit more simply if ebp isn't pushed
18:41:00 <ais523> 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 <ais523> but I already know asm :-P
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 <olsner> huh, my desk *does* point zimbabwards
19:48:12 <fizzie> 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 <fizzie> 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:08 <ais523> 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 <ais523> you can get the address that faulted, but if you return, it'll try to read that address again
19:50:34 <ais523> which isn't so useful if what was wrong was the address itself
19:51:51 <fizzie> 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 <fizzie> 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 <fizzie> /* .. */ else if (code[0] == 0x8b && (code[1] & 0xc7) == 0x06) /* .. */
19:56:40 <ais523> oh, you actually examined the code?
19:56:56 <ais523> come to think of it, I could just write this whole program in asm
19:57:02 <ais523> it'd probably be easier
19:57:24 <fizzie> 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:26:36 <ais523> 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 <ais523> I wanted at least a working tested cat
20:27:00 <ais523> and want the possibility to change the spec in case I've missed something
20:28:36 <HackEgo> [U+FF1F FULLWIDTH QUESTION MARK]
20:29:05 <ais523> that is quite the codepoint number
20:30:15 <fizzie> That's what you get for putting the "halfwidth and fullwidth forms" block to ff00..ffef.
20:30:34 <ais523> what a weird place to put it
20:33:46 <fizzie> `` for d in 0 1 2 3 4 5 6 7; do unidecode "$(unicode $d$d$d$d)"; done
20:33:50 <HackEgo> \ [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 <fizzie> `` for d in 8 9 a b c d e f; do unidecode "$(unicode $d$d$d$d)"; done
20:34:02 <HackEgo> [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 <fizzie> Hrm. The output for the non-existing U+DDDD was far too long.
20:39:36 -!- adu has joined.
20:55:00 <ais523> 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: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 <oerjan> @tell hppavilion[1] <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:19 <oerjan> ... might get messed up.
22:56:49 <oerjan> @tell hppavilion[1] ... might get messed up.
22:57:17 * oerjan suddenly realizes lambdabot might cut that off more...
22:59:46 -!- boily has joined.
23:02:02 <Taneb> oerjan: hppavilion is, I presume, capable of logreading
23:03:06 <oerjan> but does he know that he's capable
23:03:36 <oerjan> does he know that i know that you know that he is capable
23:04:11 <boily> Tanelle, hellørjan, Tanelle, hellørjan.
23:05:56 -!- hppavilion[1] has joined.
23:06:48 <oerjan> 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:40 <shachaf> oerjan: You know that Taneb knows it? Or just that Taneb says he knows it?
23:08:09 <oerjan> 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:36 <hppavilion[1]> oerjan: Ah, by j and k I meant j from the split-complexes and k=epsilon from the duals
23:08:59 * oerjan vaguely guesses shachaf thinks "normally" is punny there, but doesn't quite see how.
23:10:06 <oerjan> hppavilion[1]: oh. well i have no idea whether that's too messed up to be a banach algebra, then.
23:10:34 <boily> what would be a good porthello for funpuns?
23:10:48 <oerjan> basically, you want it to be a ring and reals to be a subring commuting with everything, i think.
23:11:09 <boily> hppavellon[1]. is there snow where you are?
23:11:26 * oerjan swats shachaf for scowness -----###
23:13:13 <lambdabot> ENVA 042220Z 13016KT CAVOK M06/M16 Q1008 RMK WIND 670FT 15024G34KT
23:13:33 <oerjan> no snow, at the moment.
23:13:58 <lambdabot> CYUL 042300Z 32005KT 15SM FEW040 FEW240 M15/M21 A3044 RMK SC1CI1 SC TR CI TR SLP315
23:14:31 <boily> 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 <shachaf> boily: whoa whoa whoa, why would you live somewhere that cold?
23:36:59 <lambdabot> KOAK 042253Z 17008KT 9SM -RA BKN032 OVC050 14/09 A2972 RMK AO2 RAB28 SLP064 P0000 T01390094
23:39:08 <Taneb> shachaf: that's like half of the Frogs chorus of Aristophanes!
23:40:14 <shachaf> Taneb knows the croaking chorus from The Frogs of Aristophanes?
23:40:26 <Taneb> In the original Greek
23:40:59 -!- FreeFull has quit (Quit: Rebooting).
23:41:14 <Taneb> And in translation!
23:41:38 <shachaf> can you whistle all the airs from that infernal nonsense Pinafore?
23:42:01 <Taneb> But I am very well acquainted with matters mathematical!
23:42:29 <shachaf> do you have any cheerful facts about the square of the hypotenuse?
23:42:48 <Taneb> It's equal to the sum of the squares of the other two sides!
23:43:09 <Taneb> It's all about attitude, shachaf
23:43:15 <shachaf> you're not even giving an upper bound
23:43:16 <Taneb> Get to higher griound
23:43:28 <shachaf> Taneb: you never answered my question about dominance and submission, anyway
23:43:38 <Taneb> I do not remember the question
23:44:25 <shachaf> <shachaf> 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 <shachaf> in particular i was thinking of theatre
23:44:42 <Taneb> I haven't done much theatre in the past couple of years
23:44:54 <shachaf> what do you think of http://slbkbs.org/kj-ideas.txt
23:45:24 <Taneb> That is certainly a list of ideas
23:47:27 <shachaf> what's better than ideas? pooches.
23:48:01 <boily> shachaf: because the beer is good.
23:48:42 <boily> speaking of poutine, I think I'ma gonna get one.
23:48:51 <shachaf> GOOD THINGS, TOTALLY ORDERED:
23:48:53 -!- boily has quit (Quit: CRUSTACEAN CHICKEN).
23:48:54 <Taneb> I don't know anywhere to get poutine
23:48:54 -!- Sprocklem has joined.
23:49:38 -!- Sprocklem has quit (Remote host closed the connection).
23:50:14 -!- Sprocklem has joined.
23:50:57 <shachaf> Taneb: you should read that book, it's great
23:52:09 <Taneb> I will bear that in mind
23:52:41 <Taneb> Unfortunately I have exams right now
23:55:24 -!- hppavilion[1] has joined.
23:57:32 <hppavilion[1]> @tell boily There was snow here, until a few days ago. Which is weird, because Alaska.
23:58:08 <Taneb> I haven't seen it snow since 2011