00:07:41 -!- J_Arcane has quit (Ping timeout: 276 seconds). 00:27:11 <\oren\> hmm I didn't change anything 00:27:14 <\oren\> argh 00:27:57 <\oren\> I guess microsoft has saddled us with chramatic abberations 00:30:52 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 00:32:07 -!- tjt263 has quit (Quit: sleep). 00:36:57 <\oren\> oh for the love of god. apparently there is more or less blurriness depending on the foregorund and background colors. 00:38:25 -!- hppavilion[1] has joined. 00:40:34 <\oren\> in particular, on black, you can mitigate the blur of white by tinting it with green, which because a pixel is RGB, appears to "centre" the pixels. 00:40:51 <\oren\> while red and blue cause things to be drawn way too wide 00:45:38 \oren\: aka subpixel rendering 00:46:39 is gasp widely supported? I knew of that but never understood how it works 00:49:37 -!- hppavilion[2] has joined. 00:52:32 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 00:52:36 -!- hppavilion[2] has changed nick to hppavilion[1]. 00:53:08 <\oren\> lifthrasiir: yeah. I was hoping to disable subpixels for my font using the gasp but it doesn't seem like it does anything 00:54:12 I thought EBDT is more direct way to do that 00:54:19 thinking about including them to Unison 00:54:50 <\oren\> EBDT doesn't seem to be supported either. putting it in doesn't do anything. 00:55:22 If a language were made to modify its own syntax at runtime 00:55:23 huh. 00:55:27 a) How would it accomplish that 00:55:37 b) How would it be implemented 00:55:43 <\oren\> I think they hardcoded particular legacy CJK fonts to use bitmaps, but everything else ignores them 00:56:01 hppavilion[1]: some concrete examples: Perl 6 and Seed7 00:56:09 lifthrasiir: Yeah. 00:56:12 they represent two major ways to do that 00:56:12 But those are complicated 00:56:30 well, and in some aspects, TeX :p 00:58:00 I think also http://iolanguage.org might, maybe... unless I'm wrong. 00:58:48 zgrep: I didn't include Lisp and Io because they retain the basic lexical structure 00:59:59 lifthrasiir: How do /you/ think syntax definition should be done? 01:00:15 Like, what would make for a good language with it? 01:00:42 hppavilion[1]: I would define reasonable extension points in the grammar first and use an additional (fixed) syntax to extend the grammar. 01:00:44 -!- XorSwap has joined. 01:00:54 OK... 01:00:57 i.e. it won't allow arbitrary composition and/or modification 01:01:17 -!- atslash has quit (Quit: Leaving). 01:01:35 Perl 6 goes much beyond that I think, but frankly speaking I'm not even sure what Perl 6 is going to be 01:01:41 lifthrasiir: I'm asking because I'm making a language called Gouda, which is basically Mascarpone but readable :) 01:02:14 http://esolangs.org/wiki/Mascarpone 01:02:18 heh, didn't know that 01:02:19 lifthrasiir: Ahah. 01:10:24 I should make another effort to understand Perl 6 01:58:16 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 02:13:50 -!- hppavilion[1] has joined. 02:20:57 -!- boily has joined. 02:25:36 -!- adu has joined. 02:34:29 `wisdom 02:34:33 thé/Thé is an oddly-spelled hot beverage popular in the Commonwealth. 02:35:07 indeed, we are part of the Commonwealth. strange but true. 02:35:37 I like me some pu'er. 02:41:18 -!- andrew has joined. 02:45:59 [wiki] [[Special:Log/newusers]] create * Irino * New user account 02:48:07 [wiki] [[Trumpscript]] N https://esolangs.org/w/index.php?oldid=46213 * Irino * (+26) Redirected page to [[TrumpScript]] 02:55:23 [wiki] [[TrumpScript]] N https://esolangs.org/w/index.php?oldid=46214 * Irino * (+549) Creation 02:56:53 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=46215&oldid=46184 * Irino * (+18) Added TrumpScript 02:58:14 [wiki] [[EsoKit]] https://esolangs.org/w/index.php?diff=46216&oldid=46154 * Hppavilion1 * (+236) Added simplegui 03:00:19 -!- boily has quit (Quit: CUPBOARD CHICKEN). 03:00:23 Hm... 03:00:30 What should I do for esokit.ek.io? 03:00:38 I'm going through EsoKit and actually filling it out 03:02:59 what is it 03:03:15 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:04:55 vanila: EsoKit? 03:05:02 An esoteric abstract library 03:05:17 Designed to work for nearly any language, even esoteric ones 03:05:33 In fact, even if your language does nothing but input and print to the stderr, it's still designed to work 03:05:48 (character-by-character input, that is) 03:07:52 -!- XorSwap has quit (Quit: Leaving). 03:22:53 <\oren\> Oh, i'm having problems now... I read "trumpscript" and immediatley though it was based on playing cards. 03:23:07 <\oren\> it's baed on donald trump instead. 03:23:30 O, do you play bridge (or whist) cards? 03:28:52 <\oren\> I used to play bridge online in the days of windows 2000 03:34:56 What if we made a Cellular Automaton usable for serious programming? 03:34:57 xD 03:35:04 Not even Turing could do that. 03:47:35 -!- hppavilion[2] has joined. 03:51:22 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 03:52:03 hppavilion[2], any connection to PSOX? 03:52:31 Sgeo: Entirely inspired. Practically a complete ripoff, really 03:52:35 But a bit more general 03:52:39 -!- hppavilion[2] has changed nick to hppavilion[1]. 03:52:54 Who is this hppavilion[2] you speak of? I have never heard of him 03:53:01 Sgeo: On the wiki, if you haven't read it 03:53:20 Sgeo: Also, it does eso intrinsically (it is designed to be strange anyway) 03:53:34 hppavilion[1], I'll take a look, cool 03:55:08 re TrumpScript: "There are no import statements allowed. All code has to be home-grown and Amerian made. 03:55:08 " 03:55:14 I think that's a typo 03:55:59 -!- mauris has quit (Ping timeout: 264 seconds). 04:00:33 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 04:58:46 -!- vanila has quit (Quit: Leaving). 05:07:07 "AG1 will be Hispasat's contribution to SGEO and important part of their ... AG1 is based on LUXOR bus like all SGEO satellites planned for further ..." 05:14:06 -!- hppavilion[1] has joined. 05:14:41 Sgeo: It is 05:14:52 Are there any languages below a DT? 05:15:44 Or between an FSA and a PDA 05:20:12 DT? 05:20:37 coppro: Decision Tree 05:21:02 What would it mean for a language to be... below a decision tree? 05:21:18 also between FSA and PDA? Besides the facetious answer of "regular languages plus a^nb^n", DPDAs generate a set of languages that lies strictly between regular and context-free languages 05:23:02 zgrep: More restricted 05:23:39 Representing only a subset of Decision Tree languages 05:23:44 * zgrep decides to slowly back away from the conversation where things zgrep doesn't know are explained using things zgrep doesn't know. :P 05:23:56 Would a binary (or n-ary) decision tree accomplish that? 05:24:43 not familiar with decision tree languages. What is the definition? 05:33:56 It look like to me that you can calculate infinite sums by same kind of methods whether it is convergent or divergent 05:34:12 A programming language 05:34:34 With a Recursively Enumerable grammar, as opposed to a context-free one 05:36:22 AKA C 05:36:25 ++ 05:41:39 hppavilion[1]: That's not enough to define a language class 05:41:55 hppavilion[1]: BF has an RE grammar but is TC 05:50:45 coppro: Not a language class 05:52:48 <\oren\> well what about a PDA where only one symbol can be pushed? 05:54:17 <\oren\> so you can recognize ((())) but not ({({})}) 05:55:04 hppavilion[1]: what do you mean by "below", then? 05:56:33 <\oren\> equivalently, a FSA with access to a counter with operations add 1, subract 1 and test for 0. 05:57:53 hppavilion[1]: -- 06:01:14 \oren\: http://cs.stackexchange.com/questions/7574/which-languages-are-recognized-by-one-counter-machines 06:01:21 seems to have its own name: counter automaton 06:03:03 <\oren\> theres your answer hppavilion[1]. counter automation is between fsa and pda 06:03:23 hppavilion[1]: we rank automata by their language classes 06:08:22 -!- oerjan has joined. 06:16:44 @metar ENVA 06:16:45 ENVA 180550Z 24019KT 9999 VCSH FEW018 SCT032 BKN070 01/M04 Q1006 TEMPO 1000 SHSN VV005 RMK WIND 670FT 25019G32KT 06:31:16 `? b_jonas 06:31:44 ​Ő egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek. 06:32:32 `` sed -i 's/Ő/b_jonas/' wisdom/b_jonas 06:32:35 No output. 06:32:37 `? b_jonas 06:32:38 b_jonas egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek. 06:32:52 that didn't fix ti 06:32:54 it* 06:33:05 how so? 06:33:27 it left ő and é 06:33:42 hierjan 06:33:44 the purpose wasn't to remove the accents 06:34:02 it was to change it to actually mention the keyword. 06:34:15 @metar KRNO 06:34:16 KRNO 180555Z 16013KT 10SM SCT045 BKN065 BKN090 09/M03 A3005 RMK AO2 SLP169 T00891033 10117 20089 51013 06:34:23 but maybe you *should* remove the accents 06:34:39 * oerjan swats izabera for linguistic heresy -----### 06:36:49 oerjan: a linguist i know says that accents are great 06:37:00 wait, that's linguistic hearsay 06:37:55 * oerjan waves the swatter in shachaf's general direction -----### 06:44:10 `? abstract nonsense 06:44:11 abstract nonsense? ¯\(°​_o)/¯ 06:45:14 `le/rn abstract nonsense/We would have an explanation of abstract nonsense here, but it fled into a diagram and we haven't been able to chase it. 06:45:16 Learned «abstract nonsense» 06:47:39 Abstract nonsense can be found in the first section of a category theory paper. 06:48:23 \oren\: So a belt automaton? 06:48:24 (Usually followed by introduction nonsense.) 06:49:27 `quines/c <-- . o O ( Why is quines/c an executable? They should have put the source somewhere. Oh wait... ) 06:50:21 06:50:36 This message is not properly parseable <-- Because of that arrow 06:50:48 *the quotation of 06:51:00 help i'm trapped in a fake html tag 06:51:18 oerjan: No you aren't 06:51:34 oerjan: HTML doesn't support tags with spaces in the tagname 06:51:40 ah. 06:51:41 So it's a fake tag on a /variant/ of HTML 06:51:47 good, good 06:52:06 You aren't trapped in XML, you're trapped in something even worse: Something that only looks like XML superficially 06:52:09 oerjan: I didn't think the closing tag was necessary, since that tag describes this channel pretty well. 06:52:15 No, the space is what makes that tag fake. 06:52:45 And of course would be perfectly fine HTML. It would mean something like 06:53:11 shachaf: , iirc 06:53:22 But you can't put things in the closing tag, iisrc 06:53:26 just go with kebab-case 06:53:43 i'm pretty sure is better hth 06:53:45 Good thing I didn't close the tag. 06:53:56 https://www.w3.org/html/wg/drafts/html/master/infrastructure.html#boolean-attributes 06:54:04 shachaf: So we're still trapped in the recurrent joke? 06:54:09 lifthrasiir: wat 06:54:19 Note: The values "true" and "false" are not allowed on boolean attributes. To represent a false value, the attribute has to be omitted altogether 06:55:03 I want to see a language based on XML 06:55:14 That, in addition, also has a CSS component 06:55:15 hppavilion[1]: NO YOU DON'T 06:55:25 oerjan: Yes, I do 06:55:28 ^ 06:55:29 oerjan: I meant that *is* a valid XML ending tag 06:55:46 lifthrasiir: no, i mean, wtf is kebab-case 06:55:49 Err... that ^ was meant to point at oerjan. 06:56:08 zgrep: MWAHAHAHAHAHAHAHASHAHHHAHALFHL.ifjdsfLEQWRJDkjkajs 06:56:32 ifdjaksjkgdadqwer? 06:56:33 oerjan: \w+(-\w+)* 06:56:48 the name "kebab-case" seems to be one of competing names for that convention 06:56:52 ;aklsdjf;lkajdfalka;oisejfaoisjf;fjfagfag;laksjfdoiwejfaosijefasdfj 06:57:19 hppavilion[1]: Oh, I get it. asdjk;kgdfdsdr. Makes sense. 06:57:20 oerjan: did you know "oerjan" was kebab case 06:57:25 (That was still part of me evil laugh) 06:57:38 (*my) 06:57:48 i think better kebab case would be e.g. -oerjan------### 06:58:03 i am indeed a kebab case. maybe i'll have one today. 06:59:23 also a snake case and camel case 06:59:42 lifthrasiir: What's snake case? 06:59:58 Oh, _? 07:00:12 yup 07:00:13 A programming language based on the Markov Algorithm, but generalized to be useful 07:00:14 i,i hedgehog^case 07:00:16 is kebab case a special case of snack case 07:00:23 shachaf: No. 07:00:38 Unless you count s/_/-/ as special-casing 07:00:38 `8ball is it 07:00:39 My reply is no. 07:00:45 `8ball 07:00:46 As I see it, yes. 07:00:56 Here's an idea 07:00:57 8ball settles it. hppavilion[1]'s "No." is wrong 07:01:11 Wait, no here isn't 07:01:24 domain.case 07:01:48 `ping 07:01:49 pong 07:02:39 `pong 07:02:40 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pong: not found 07:02:57 * lifthrasiir secretly wanted pung 07:03:14 lifthrasiir: Create it 07:03:28 lifthrasiir: Then "`pung" should be something funny and unrelated 07:03:37 * oerjan accidentally has his whistling turn into a vision of waltzing mathilda played slowly on a pan flute 07:03:45 now youtube 07:04:27 *-h 07:04:46 oerjan: Ah 07:04:51 I was confused by mathilds 07:04:55 *mathilda 07:05:11 ` cat bin/ping 07:05:12 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 07:05:16 Also, "has", "his", and "whistling" 07:05:18 hmm? 07:05:29 `hmm? 07:05:30 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hmm?: not found 07:05:33 :( 07:05:43 `pwd 07:05:43 ​/hackenv 07:05:47 `wtf 07:05:48 why is like wtf 07:05:54 `cat bin/wtf 07:05:54 ​#!/bin/sh \ echo "why $1 is like wtf" 07:06:05 so ping is built-in 07:06:05 `wtf I AM THE WALRUS 07:06:06 why I AM THE WALRUS is like wtf 07:06:10 I guess 07:06:14 `cat bin/ping 07:06:15 ​#!/bin/bash \ echo pong 07:06:20 WHAT 07:06:22 ah wait 07:06:29 `culprits bin/wtf 07:06:32 tswett tswett shachaf shachaf elliott elliott nitia 07:06:38 `thanks nitia 07:06:39 Thanks, nitia. Thitia. 07:06:40 okay, "` cat" was a culprit 07:06:51 `wtf the fuck 07:06:52 why the fuck is like wtf 07:06:53 should have been "`cat" 07:07:04 `` cat bin/ping 07:07:05 ​#!/bin/bash \ echo pong 07:07:13 ` cat bin/ping 07:07:14 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 07:07:15 I think `wtf or some similar command should output a randomly-selected completely batshit insane statement 07:07:20 `` (echo '#!/bin/sh'; echo pung) > bin/pong && chmod a+x bin/pong 07:07:23 No output. 07:07:25 `pong 07:07:26 ​/hackenv/bin/pong: 2: /hackenv/bin/pong: pung: not found 07:07:30 https://www.youtube.com/watch?v=4FuqnxMzaMA 47:09 07:07:32 `pong 07:07:33 ​/hackenv/bin/pong: 2: /hackenv/bin/pong: pung: not found 07:07:35 `` (echo '#!/bin/sh'; echo echo pung) > bin/pong && chmod a+x bin/pong 07:07:37 No output. 07:07:39 `pong 07:07:40 pung 07:07:45 `ping 07:07:45 pong 07:07:58 `` echo "exec $@" >> 'bin/ ' 07:07:59 `echo Hi 07:08:00 No output. 07:08:01 Hi 07:08:04 ` cat bin/ping 07:08:05 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 07:08:14 `echo "`echo I AM THE WALRUS" 07:08:15 ​"`echo I AM THE WALRUS" 07:08:21 `echo `echo I AM THE WALRUS 07:08:22 ​`echo I AM THE WALRUS 07:08:30 ... 07:08:32 :( 07:08:33 `quine 07:08:46 `` echo "echo `quine" >> quine 07:08:47 bash: -c: line 0: unexpected EOF while looking for matching ``' \ bash: -c: line 1: syntax error: unexpected end of file 07:08:48 `quine 07:08:53 Oh. 07:08:56 `` echo "echo \`quine" >> quine 07:09:05 I'm not sure if this is how HackEgo works... 07:09:07 `quine 07:09:12 I guess not. 07:09:16 `` mv quine bin/ 07:09:18 Also, "has", "his", and "whistling" <-- english grammar you fail at, hm? 07:09:30 `echo "echo Hello, World" > bin/hello-world-in-any-language && chmod a+x bin/hello-world-in-any-language 07:09:36 Did we break it? 07:09:47 Or slow it down? 07:09:50 you need `` echo ... 07:10:06 well, it's still weird that it didn't print anything 07:10:09 ​/hackenv/bin/quine: 2: cd: can't cd to /var/irclogs/_esoteric \ ls: cannot access ????-??-??.txt: No such file or directory 07:10:10 `` echo "echo Hello, World" > bin/hello-world-in-any-language && chmod a+x bin/hello-world-in-any-language 07:10:37 why are you doing that 07:10:37 wait i didn't expect that error message 07:10:40 ​/hackenv/bin/quine: 2: cd: can't cd to /var/irclogs/_esoteric \ ls: cannot access ????-??-??.txt: No such file or directory 07:10:41 mv: cannot stat `quine': No such file or directory 07:10:44 `` type echo 07:10:44 No output. 07:10:55 hmm 07:11:03 shachaf: So we can do `hello-world-in-any language and claim to have the world's largest database of Hello World programs 07:11:09 s/ /-/ 07:11:11 `ls /var/irclogs/_esoteric 07:11:15 Err... not that. 07:11:15 `` echo -n lives in: type -a echo 07:11:16 ​/hackenv/bin/quine: 2: cd: can't cd to /var/irclogs/_esoteric \ ls: cannot access ????-??-??.txt: No such file or directory 07:11:19 `ls /var/irclogs 07:11:20 lives in: type -a echo 07:11:22 echo is a shell builtin 07:11:23 ls: cannot access /var/irclogs/_esoteric: No such file or directory 07:11:24 ls: cannot access /var/irclogs: No such file or directory 07:11:26 ​"echo Hello, World" > bin/hello-world-in-any-language && chmod a+x bin/hello-world-in-any-language 07:11:26 * izabera forgot a ; 07:11:27 No output. 07:11:31 There it goes. 07:11:32 this is a disaster 07:11:32 `` echo -n echo lives in:; type -a echo 07:11:33 echo lives in:echo is a shell builtin \ echo is /bin/echo 07:11:33 -!- shachaf has left. 07:11:39 `hello-world-in-any-language C++ 07:11:39 Hello, World 07:11:53 shikhin: Better than a SNAFU. 07:11:53 `hello-world-in-any-language Spanish 07:11:54 Hello, World 07:12:03 Err... sorry, shikhin. 07:12:10 `hello-world-in-any-language The Language of the Beast 07:12:11 Oh, wow. shachaf left. :( 07:12:11 Hello, World 07:12:45 `hello-world-in-any-language Python, but encoded by Enigma with a random key 07:12:45 Hello, World 07:12:54 Get it? 07:13:29 `hello-world-in-any-language TheLanguageThatFailsForAnyInput 07:13:29 Hello, World 07:14:05 `hello-world-in-any-language An Almost-Turing-Complete Language That Is Unable To Output "Hello, World!" Without Quotes 07:14:06 Hello, World 07:14:12 No... not really. 07:14:15 ah, wait, an exclamation mark 07:14:22 `hello-world-in-any-language An Almost-Turing-Complete Language That Is Unable To Output "Hello, World" Without Quotes 07:14:23 Hello, World 07:14:25 lifthrasiir: I noticed, but didn't want to change it xD 07:14:46 hppavilion[1]: I believe the implementation has a bug 07:14:53 you need to fix that 07:14:55 lifthrasiir: I have failed. At life. 07:15:02 lifthrasiir: It's a feature 07:15:06 `cat bin/evil 07:15:07 cat "$(find evil -type f | shuf -n1)" | tr '[:lower:]' '[:upper:]' 07:15:22 How does evil work? 07:15:23 `bug 07:15:24 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bug: not found 07:15:25 `bugs 07:15:25 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bugs: not found 07:15:30 We need that command 07:15:33 so is it an extension to An Almost-Turing-Complete Language That Is Unable To Output "Hello, World" Without Quotes so that it is TC now? 07:15:54 lifthrasiir: No, it's just THE GOD OF PROGRAMMING 07:17:01 hppavilion[1]: hi 07:17:20 Would `echo "cat \"$(find bugs -type f | shuf -n1)\"" > bin/bugs` create the desired command? 07:17:28 adu: Hi! 07:18:02 I hope you don't mind my anti-esoteric attitude 07:18:12 `` (echo '#!/bin/sh'; echo 'echo Zarro Boogs Found.') > bin/bugs; chmod a+x bin/bugs 07:18:15 No output. 07:18:16 `bugs 07:18:17 Zarro Boogs Found. 07:18:37 `bugs 07:18:38 Zarro Boogs Found. 07:18:45 lifthrasiir: That is not as fun 07:18:51 lifthrasiir: Because we can't submit bug reports 07:19:01 I just think that researching esoteric functions can be done in mainstream languages 07:19:03 hmm. 07:19:18 `ls bin/fix 07:19:19 ls: cannot access bin/fix: No such file or directory 07:20:00 adu: What esoteric functions? 07:20:06 hppavilion[1]: tetration 07:20:07 Did I say something I forgot about? 07:20:11 adu: Ah. Yes, of course. 07:20:24 I never said it couldn't be 07:20:29 hppavilion[1]: I'm a tetration junkie 07:20:30 hppavilion[1]: I gave up, I cannot make that funnier 07:20:50 * adu cannot have enough of that good old tetration 07:21:00 adu: And...? 07:21:06 hppavilion[1]: Chai 07:21:32 Chai == Tea + sugar + milk + various spices 07:21:41 adu: Hyper 5 is better called "penetration" than "pentation" 07:22:04 penetration will get you bitch slaped 07:22:16 pentation will make your date go home early 07:22:19 Oh, wow. shachaf left. :( <-- some people can only take so much "messing around with HackEgo without even noticing what they're actually doing." excuse me, i need to go kick a dog or something... 07:22:23 adu: Because that makes hyper 6- "sexation"- repeated penetration 07:22:28 ^ big difference 07:22:49 oerjan: I'm probably going to feel sorry for the dog or something you're going to kick. 07:23:33 hppavilion[1]: actually sexa- is Latin, the proper prefix is Greek hexa- 07:24:02 so hyper6 is "hexation" 07:24:22 lifthrasiir: a TC language does not need to be able to output "Hello, World", with or without quotes hth 07:24:26 adu: Who cares about mixing roots? 07:24:30 I mean, hexadecimal 07:24:35 hppavilion[1]: grammar Nazis 07:24:50 adu: Godwin's Law of Grammar. You lose. 07:26:20 do you know what Nazi means? 07:27:03 * oerjan kicks hppavilion[1] since he's part of the mess up _and_ is making stupidly lewd math jokes 07:27:05 adu: It's a political party- or it used to be for the most part- form Germany. 07:27:17 oerjan: I got it from SMBFC 07:27:20 *SMBC 07:27:35 ah right. that makes it a classic, then. 07:27:37 oerjan: I thought a language is not TC when there is a computable output of the language's codomain that is unable to output however. (technically speaking outputing "Hello, World" may not be in that codomain, but well, let's assume that it is) isn't it correct? 07:27:44 NAZI = "NAtional SocIalist" 07:27:51 NASI 07:28:01 adu: I assume you want me to ask about the Z? 07:28:04 lifthrasiir: german is different 07:28:09 Oh 07:28:12 yup, pun intended 07:28:27 hppavilion[1]: no, I don't because I don't have an explaination for the Z, except that german is different 07:28:48 adu: I feel natsoc sounds much more English, in homage to ingsoc 07:29:51 the political party wasn't very radical, their platform was pretty much the same as give-stuff-to-the-little-guy politicians today 07:30:11 it was their actions that became associated with the term "Nazi" 07:30:13 lifthrasiir: all the output you need for TC is some way to encode any result. and we have a long discussion on the wiki about the quine-less language that's still TC and can output anything, but just not in the right computable way 07:32:18 adu: itym NAtional soCIalist hth 07:32:30 oerjan: hmm, you are right. the bijective function from the computable number to the "output" of the language is enough for that language to be TC. I was slightly mistaken about the possibility of automorphic bijective function (ugh). 07:34:03 oerjan: I think that's how it's spelled in german 07:35:36 well it's the only place you could get the Z from. 07:36:47 "Nationalsozialismus" 07:37:46 hmm, wait, it wasn't abbreviated in that way 07:38:15 -!- andrew has quit (Ping timeout: 255 seconds). 07:38:33 National is pronunced /natsiona:l/ or similar in German, and its first two syllables are rendered as Nazi 07:38:53 natsjona:l* 07:39:48 lifthrasiir++ for a lesson in etymology 07:40:00 TIL 07:40:15 and all of this research is due to procrastination at work 07:41:06 https://en.wikipedia.org/wiki/Nazi_Party#Etymology 07:41:16 and because hppavilion[1] asked "Who cares about mixing roots?" 07:41:56 the nazis didn't call themselves that, as it was derogatory. the section claims the word existed in that sense before the party 07:42:12 (TIL) 07:44:16 huh 07:44:19 `quine 07:44:43 * oerjan swats HackEgo -----### 07:44:49 ​/hackenv/bin/quine: 2: cd: can't cd to /var/irclogs/_esoteric \ ls: cannot access ????-??-??.txt: No such file or directory 07:45:21 `cat bin/quine 07:45:21 ​#!/bin/sh \ cd /var/irclogs/_esoteric; cat $(ls ????-??-??.txt | tail -1) | sed 's/[^>]*> //' | grep '^`' | tail -1 #Best cheating quine ever? 07:45:24 apparently you never managed to mess up the thing i was most angered by 07:46:57 i think HackEgo was so slow it performed the commands in the opposite order, so there was no file to move. 07:47:22 admittedly bin/quine is meaningless without working logs :( 07:48:35 tl;dr: you never managed to break anything i need to fix 07:49:09 `` ps aux | grep $$ 07:49:09 5000 290 0.0 0.6 19136 1584 ? S 07:49 0:00 bash -c -- ps aux | grep $$ \ 5000 294 0.0 0.3 7768 888 ? S 07:49 0:00 grep 290 07:52:18 `` sed 's/\x00/ /g' /proc/$$/cmdline 07:52:19 sed s/\x00/ /g /proc/290/cmdline 07:52:28 close to being a quine 07:54:12 `? reflection 07:54:14 cat.reflection. 07:58:03 -!- adu has quit (Quit: adu). 08:02:40 -!- mroman has joined. 08:02:44 fnerd 08:02:56 `wisdom 08:02:57 vector space/A vector space is just a module over a field. 08:03:07 `wisdom 08:03:08 unréliable/unréliable is French for «peu fiable». 08:14:41 wut 08:16:54 `wisdom 08:16:55 twhib/the world holds its breath 08:17:55 `danddreclist 74 08:17:56 danddreclist 74: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex 08:19:38 Do you like this? 08:21:59 -!- J_Arcane has joined. 08:33:24 -!- J_Arcane has quit (Ping timeout: 256 seconds). 08:51:36 `wisdom 08:51:38 supercalifragilisticexponential growth/Supercalifragilisticexponential growth leaves Graham's number in the dust. 08:51:49 `wisdom 08:51:51 gnimmargorp/"Gnimmargorp" er algeng stafsetningarvilla af "grimmargorp". 09:03:07 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 09:43:17 -!- ais523 has quit. 09:47:22 `? grimmargorp 09:47:23 ​Þór, Grimmargorpurinn hefur sloppið! Ragnarök eru nálæg! 09:59:14 -!- gniourf has joined. 10:04:45 -!- andrew has joined. 10:07:21 -!- zadock has joined. 10:14:34 -!- andrew has quit (Remote host closed the connection). 10:19:29 -!- J_Arcane has joined. 10:33:46 [wiki] [[Beatnik]] https://esolangs.org/w/index.php?diff=46217&oldid=46209 * 98.144.6.77 * (-6) /* Truth machine */ Removed final INPUT. 10:53:48 -!- J_Arcane has quit (Remote host closed the connection). 10:59:44 [wiki] [[Beatnik]] https://esolangs.org/w/index.php?diff=46218&oldid=46217 * 98.144.6.77 * (+28) /* External resources */ Added Wayback Machine crawl of broken link - curiously, the crawl I found was the ONLY crawl 11:26:59 [wiki] [[Beatnik]] https://esolangs.org/w/index.php?diff=46219&oldid=46218 * Oerjan * (-17) /* External resources */ template 11:32:11 -!- boily has joined. 11:32:43 bohily 11:34:18 `? star 11:34:24 star? ¯\(°​_o)/¯ 11:35:53 http://agda.github.io/agda-stdlib/Data.Star.html is something that I don't know what it does 11:36:15 Oh, apparently it's a reflexive transitive closure? 11:36:46 so, smallest generated equivalence relation... 11:37:33 s/generated/containing/ 11:37:49 oh wait, no symmetry 11:38:46 Smallest containing preorder? 11:39:56 oh thank god there is agatha's weasel 11:40:22 bhellørjaaaa *yaaaaawn* n. 11:40:28 11:40:54 øryawn 11:41:05 oerjan, Agatha's weasel is very useful 11:41:19 sorry, not quite awake yet. had a night out. too much sushi. 11:41:31 Taneb: well i was worried it had got lost in the confusion 11:41:35 what's an agatha weasel? 11:41:52 boily, a weasel in the possession of Agatha 11:42:05 boily: http://www.girlgeniusonline.com/comic.php second panel on her head 11:43:45 oh, this Agatha. tdh. 11:43:53 boily: it's a cuddly abomination with 8 legs and the power to detect revenants hth 11:45:00 it's also, apparently, good at teasing bears and getting away with it. 11:46:26 -!- sebbu has quit (Ping timeout: 240 seconds). 11:46:52 `? preordain 11:46:55 preordain? ¯\(°​_o)/¯ 11:47:37 * boily will catch up to all of this some day 11:47:46 `? ponder 11:47:47 ponder? ¯\(°​_o)/¯ 11:49:38 I've got a friend who's been caught up with GG since it was only a print comic 11:58:59 -!- sebbu has joined. 12:04:21 -!- mauris has joined. 12:05:57 for some strange reason I was reading the City of Toronto Act this morning. In Ontario legislation, each paragraph gets its own heading. There is a paragraph in that Act where the drafter clearly ran out of creativity as it is entitled "What the tax ratios are" 12:06:41 What are tax ratios 12:06:44 We just don't know 12:06:58 The tax ratios are. That's what they do. 12:09:16 -!- andrew has joined. 12:10:40 the actual text is elucidating 12:11:15 *"What tax ratios are" 12:11:17 The tax ratios are the ratios that the tax rate for each property class must be to the tax rate for the residential property class where the residential property class tax ratio is one. 12:13:02 -!- TieSoul has joined. 12:14:09 * boily just got a mental ankle sprain 12:15:12 boily: eLuCiDating, isn't it 12:15:19 wait that was a C not an S 12:15:25 stupid runaway pun 12:16:14 -!- TieSoul_ has joined. 12:17:47 -!- TieSoul has quit (Ping timeout: 260 seconds). 12:19:31 -!- TieSoul_ has quit (Read error: Connection reset by peer). 12:19:49 -!- TieSoul has joined. 12:20:21 -!- tjt263 has joined. 12:20:34 -!- TieSoul has quit (Read error: Connection reset by peer). 12:26:29 `wisdom 12:26:31 cake/The Enrichment Center is required to remind you that you will be baked, and then there will be cake. 12:26:38 o_O 12:26:46 fungot: You a cake too? 12:26:46 mroman: do you understand what your code do. 12:26:56 fungot: Usually, yes. 12:26:56 mroman: " exciting" might be potentially confusing to be useful. i intend to run one of the original 12:27:07 oerjan: maybe it's lussidating? 12:27:16 -!- boily has quit (Quit: TRIMMED CHICKEN). 12:30:23 -!- oerjan has quit (Quit: lussekaker). 12:40:32 -!- copumpkin has joined. 12:43:38 -!- copumpkin has quit (Client Quit). 12:44:03 -!- copumpkin has joined. 12:46:49 -!- contrapumpkin has joined. 12:49:03 -!- copumpkin has quit (Ping timeout: 260 seconds). 12:57:06 `? cube 12:57:07 Cubes come in all sizes, colors and materials, but only one shape. 12:57:14 `? dice 12:57:15 dice? ¯\(°​_o)/¯ 13:22:27 `? shape 13:22:41 shape? ¯\(°​_o)/¯ 13:22:43 `? color 13:22:46 ​Color is a phenomenon from outer space designed to drive humanity insane and bring forth the new age of Cthulhu. 13:23:12 Shape describe the shapes of things. 13:23:14 obviously 13:23:20 fungot: Are you in shape? 13:23:21 mroman: ok thx... now about what messages are in terms of actually programming guis.) 13:23:32 fungot: WM_PAINT? 13:23:33 mroman: although extra level of indirection. kawa compiles to fnord sisc, but i'm not 13:23:48 `? kawa 13:23:50 kawa? ¯\(°​_o)/¯ 13:23:57 -!- andrew has quit (Remote host closed the connection). 13:24:50 Outer Space ♥ 13:25:00 Cthulhu ♥ 13:25:12 Humanity ♥ 13:26:08 `? rectangle 13:26:11 rectangle? ¯\(°​_o)/¯ 13:39:34 -!- contrapumpkin has changed nick to copumpkin. 13:45:56 -!- bender| has joined. 14:01:22 -!- p34k has joined. 14:27:04 `? hurrdurr 14:27:06 hurrdurr? ¯\(°​_o)/¯ 14:28:59 http://hurrdurr.org is now just a redirect to http://kernel.org rather than serving a modified version of the site 14:30:19 how did it modify it before? 14:35:42 FireFly: had the title The Hurr Durr archives instead of The Kernel archives. it started out as an april's fool joke on 2015-04-01 when even kernel.org showed up that way for half a day, but later it remained only on http://hurrdurr.org with a content not often refreshed. 14:39:26 FireFly: http://archive.is/hPuNF 14:41:18 Ah 15:10:55 -!- bender| has quit (Ping timeout: 240 seconds). 15:13:01 RING THE OBELL! 15:13:32 someone ring the obell! 15:16:00 FireFly: ring the obell 15:19:38 -!- zadock has quit (Quit: Leaving). 15:20:52 `olist 15:20:54 olist: shachaf oerjan Sgeo FireFly boily nortti b_jonas 15:20:56 oh wait 15:21:03 I forgot the number.. oh well 15:21:47 it's #1019 15:22:58 I don't want to re-olist or I bet people would complain 15:23:12 -!- atslash has joined. 15:23:14 hmm, good page 16:25:16 -!- J_Arcane has joined. 17:24:43 -!- mauris_ has joined. 17:25:12 -!- Froox has quit (Quit: *bubbles away*). 17:27:41 -!- mroman has quit (Quit: Lost terminal). 17:27:47 -!- mauris has quit (Ping timeout: 264 seconds). 17:47:42 -!- Phantom_Hoover has joined. 18:34:44 -!- shachaf has joined. 18:37:23 [wiki] [[TrumpScript]] https://esolangs.org/w/index.php?diff=46220&oldid=46214 * 85.179.166.12 * (+17) 18:53:14 -!- earenndil has changed nick to Aah. 18:53:21 -!- Aah has changed nick to Ellbereth. 18:53:27 -!- Ellbereth has changed nick to Gilthonniel. 18:53:39 -!- Gilthonniel has changed nick to Glorfinndel. 18:53:45 -!- Glorfinndel has changed nick to Elronnd. 19:13:02 -!- Sgeo has quit (Ping timeout: 250 seconds). 19:16:13 -!- tjt263 has quit (Remote host closed the connection). 19:20:58 -!- tjt263 has joined. 19:22:00 -!- tjt263 has left. 19:35:05 -!- Sgeo has joined. 19:36:56 -!- hppavilion[1] has joined. 19:44:15 -!- Sgeo_ has joined. 19:47:53 -!- Sgeo has quit (Ping timeout: 265 seconds). 19:48:15 -!- atslash has quit (Ping timeout: 260 seconds). 19:48:43 -!- atslash has joined. 20:36:45 -!- vifino has quit (Ping timeout: 255 seconds). 20:40:43 -!- vifino has joined. 20:45:56 -!- shikhin has changed nick to shikijika. 20:46:06 -!- shikijika has changed nick to shikhin. 20:51:51 -!- impomatic_ has joined. 21:12:18 -!- Frooxius has joined. 21:18:43 -!- impomatic_ has quit (Quit: http://corewar.co.uk). 22:06:07 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 22:13:10 -!- hppavilion[1] has joined. 22:14:43 -!- J_Arcane_ has joined. 22:16:20 -!- J_Arcane has quit (Ping timeout: 250 seconds). 22:16:23 -!- J_Arcane_ has changed nick to J_Arcane. 22:33:03 -!- ais523 has joined. 22:35:16 -!- lleu has joined. 22:35:16 -!- lleu has quit (Changing host). 22:35:16 -!- lleu has joined. 22:47:08 [wiki] [[Call/cc]] N https://esolangs.org/w/index.php?oldid=46221 * Hppavilion1 * (+965) Created Page 22:55:07 [wiki] [[Surreal FOREVER loop]] N https://esolangs.org/w/index.php?oldid=46222 * Hppavilion1 * (+1169) Created Page 22:56:03 [wiki] [[Surreal FOREVER loop]] M https://esolangs.org/w/index.php?diff=46223&oldid=46222 * Hppavilion1 * (+0) Fixed a ling 22:56:35 *link 22:58:29 -!- boily has joined. 22:58:37 @metar CYUL 22:58:37 CYUL 182254Z 25018G27KT 12SM -SN DRSN SCT030 BKN050 OVC075 M12/M16 A2971 RMK SC3SC3AC2 SLP066 22:58:57 G27 and DRSN. and there was much rejoicing. 23:01:13 drifting snow... ah, there, gusts of wind. nice! 23:01:17 @metar lowi 23:01:17 LOWI 182250Z AUTO VRB01KT 9999 NCD M12/M13 Q1016 23:01:54 @metar EGLL 23:01:55 EGLL 182250Z AUTO 05003KT 9999 NCD M01/M04 Q1015 23:02:03 Oh no, negative degrees! 23:02:29 winter came 23:02:45 It's supposed to go away again before the end of the week. 23:02:54 Forecast for Saturday was 12, I think. 23:03:13 I like my shovel. my shovel is my friend. 23:03:15 @metar EGBB 23:03:16 EGBB 182250Z VRB02KT CAVOK M00/M00 Q1014 23:03:22 (I think I remembered that correctly?) 23:03:35 Very cowlike weather. 23:03:36 yep 23:04:15 that's a very short METAR 23:04:41 his523. moooooooooo. 23:05:55 Oh, CAVOK is obscure. "Ceiling and Visibility are OK" 23:08:19 @metar loww 23:08:20 LOWW 182250Z 20003KT 180V240 9999 BKN040 M07/M09 Q1019 R11/15//95 R16/19//95 NOSIG 23:08:37 -!- Lord_of_Life has quit (Excess Flood). 23:08:59 @uptime 23:08:59 uptime: 11d 3h 30m 25s, longest uptime: 1m 10d 23h 44m 29s 23:09:06 -!- Lord_of_Life has joined. 23:11:32 is that lambdie's uptime? 23:11:34 @uptime 23:11:34 uptime: 11d 3h 33m, longest uptime: 1m 10d 23h 44m 29s 23:11:38 oh. 23:15:04 it's more a measure of Freenode's stability than lambdabot's 23:15:58 fungot: are you stable? 23:15:59 boily: because the us is more productive/ efficient for the community wiki database file works fine on my debian box 23:16:13 fungot debian boxes, so it is stable. 23:16:13 boily: i'm writing a essay, of which information does not belong to that class 23:17:06 fungot: it's good to keep an essay free of distractions like facts; keep it to the essentials 23:17:06 int-e: that would be a little more specific? what does that expression evaluate to when l is empty. 23:17:30 fungot: bottom, as a first approximation 23:17:31 int-e: i don't look into any alternatives, we've got a *lot* of experience with s48/ scsh unfortunatly doesn't have source location, but it's stated in such an intrinsic way, i can 23:18:05 fungot: you should read up about Böhm trees 23:18:05 int-e: because threads don't print exceptions because they don't know how nscolor redcolor is implemented, so you don't need 23:20:18 hmm... color-blind exceptions... something to dream of tonight 23:24:18 What fun things could I do with GUI? 23:24:24 Preferably something eso 23:24:45 fungot's current uptime is somewhere around 27 days. 23:24:45 fizzie: how does that work in drscheme? or maybe i misunderstood your original remarks about posix....... 23:24:54 Which is pretty long for it. 23:26:40 well, esolangs are often good in terms of uptime because they run on a very limited VM 23:26:52 which means that they tend to be secure, assuming that the VM was written in an even approximately sane way (sometimes it isn't) 23:27:16 like, I can imagine there are some BF implementations where < at the start of the tape just goes and points at random memory in the bss segment 23:27:28 Yes, but fungot doesn't have any reconnection capabilities, and it tends to get "read failed" from the server every so often. 23:27:28 fizzie: the fact is that he says kela might not accept that!)) in scheme are scheme implementations with ( good). 23:28:24 fizzie: wouldn't a reconnection still violate uptime issues? 23:28:39 Mmaybe. It depends on what it's measuring. 23:29:06 Also, Kela is the national social insurance organization of Finland, I wonder what they're not accepting. 23:29:35 Ah, medical leave. 23:35:50 fungot: are you sick? :( 23:35:51 FireFly: the macro expander, 2) i can formulate it as a parameter 23:37:24 -!- mauris_ has quit (Ping timeout: 264 seconds). 23:43:59 Heh. Has some other Finn been filling fungot's head with weirdness? 23:44:00 J_Arcane: they wanted to unite to one country in the map 23:45:47 -!- boily has quit (Quit: LAYERED CHICKEN). 23:52:48 fungot: I thought Finland already was one country. 23:52:48 fizzie: sicp relies on fewer bizarre, non-standard bells whistles; there is not guarantee of a merge option either 23:53:31 Some of the irc style is from my logs of IRCnet's #douglasadams, which was mostly Finns. (Now it's just dead.) 23:55:17 -!- XorSwap has joined.