00:07:41 -!- J_Arcane has quit (Ping timeout: 276 seconds).
00:27:11 <\oren\> hmm I didn't change anything
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:46:39 <lifthrasiir> 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 <lifthrasiir> I thought EBDT is more direct way to do that
00:54:50 <\oren\> EBDT doesn't seem to be supported either. putting it in doesn't do anything.
00:55:22 <hppavilion[1]> If a language were made to modify its own syntax at runtime
00:55:43 <\oren\> I think they hardcoded particular legacy CJK fonts to use bitmaps, but everything else ignores them
00:56:01 <lifthrasiir> hppavilion[1]: some concrete examples: Perl 6 and Seed7
00:58:00 <zgrep> I think also http://iolanguage.org might, maybe... unless I'm wrong.
00:58:48 <lifthrasiir> zgrep: I didn't include Lisp and Io because they retain the basic lexical structure
00:59:59 <hppavilion[1]> lifthrasiir: How do /you/ think syntax definition should be done?
01:00:15 <hppavilion[1]> Like, what would make for a good language with it?
01:00:42 <lifthrasiir> 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:57 <lifthrasiir> i.e. it won't allow arbitrary composition and/or modification
01:01:17 -!- atslash has quit (Quit: Leaving).
01:01:35 <lifthrasiir> 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 <hppavilion[1]> lifthrasiir: I'm asking because I'm making a language called Gouda, which is basically Mascarpone but readable :)
01:02:19 <zgrep> lifthrasiir: Ahah.
01:10:24 <Sgeo> 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:33 <HackEgo> thé/Thé is an oddly-spelled hot beverage popular in the Commonwealth.
02:35:07 <boily> indeed, we are part of the Commonwealth. strange but true.
02:35:37 <boily> I like me some pu'er.
02:41:18 -!- andrew has joined.
02:45:59 <HackEgo> [wiki] [[Special:Log/newusers]] create * Irino * New user account
02:48:07 <HackEgo> [wiki] [[Trumpscript]] N https://esolangs.org/w/index.php?oldid=46213 * Irino * (+26) Redirected page to [[TrumpScript]]
02:55:23 <HackEgo> [wiki] [[TrumpScript]] N https://esolangs.org/w/index.php?oldid=46214 * Irino * (+549) Creation
02:56:53 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=46215&oldid=46184 * Irino * (+18) Added TrumpScript
02:58:14 <HackEgo> [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:38 <hppavilion[1]> I'm going through EsoKit and actually filling it out
03:03:15 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:05:17 <hppavilion[1]> Designed to work for nearly any language, even esoteric ones
03:05:33 <hppavilion[1]> In fact, even if your language does nothing but input and print to the stderr, it's still designed to work
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 <zzo38> 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 <hppavilion[1]> What if we made a Cellular Automaton usable for serious programming?
03:47:35 -!- hppavilion[2] has joined.
03:51:22 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
03:52:03 <Sgeo> hppavilion[2], any connection to PSOX?
03:52:31 <hppavilion[2]> Sgeo: Entirely inspired. Practically a complete ripoff, really
03:52:39 -!- hppavilion[2] has changed nick to hppavilion[1].
03:52:54 <hppavilion[1]> Who is this hppavilion[2] you speak of? I have never heard of him
03:53:20 <hppavilion[1]> Sgeo: Also, it does eso intrinsically (it is designed to be strange anyway)
03:53:34 <Sgeo> hppavilion[1], I'll take a look, cool
03:55:08 <Sgeo> re TrumpScript: "There are no import statements allowed. All code has to be home-grown and Amerian made.
03:55:14 <Sgeo> 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 <Sgeo> "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:21:02 <zgrep> What would it mean for a language to be... below a decision tree?
05:21:18 <coppro> 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:39 <hppavilion[1]> 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 <hppavilion[1]> Would a binary (or n-ary) decision tree accomplish that?
05:24:43 <coppro> not familiar with decision tree languages. What is the definition?
05:33:56 <zzo38> It look like to me that you can calculate infinite sums by same kind of methods whether it is convergent or divergent
05:34:34 <hppavilion[1]> With a Recursively Enumerable grammar, as opposed to a context-free one
05:41:39 <coppro> hppavilion[1]: That's not enough to define a language class
05:41:55 <coppro> hppavilion[1]: BF has an RE grammar but is TC
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 <coppro> 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 <adu> hppavilion[1]: --
06:01:14 <lifthrasiir> \oren\: http://cs.stackexchange.com/questions/7574/which-languages-are-recognized-by-one-counter-machines
06:01:21 <lifthrasiir> 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 <coppro> hppavilion[1]: we rank automata by their language classes
06:08:22 -!- oerjan has joined.
06:16:45 <lambdabot> ENVA 180550Z 24019KT 9999 VCSH FEW018 SCT032 BKN070 01/M04 Q1006 TEMPO 1000 SHSN VV005 RMK WIND 670FT 25019G32KT
06:31:44 <HackEgo> Ő egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek.
06:32:32 <oerjan> `` sed -i 's/Ő/b_jonas/' wisdom/b_jonas
06:32:38 <HackEgo> b_jonas egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek.
06:33:44 <oerjan> the purpose wasn't to remove the accents
06:34:02 <oerjan> it was to change it to actually mention the keyword.
06:34:16 <lambdabot> KRNO 180555Z 16013KT 10SM SCT045 BKN065 BKN090 09/M03 A3005 RMK AO2 SLP169 T00891033 10117 20089 51013
06:34:23 <izabera> but maybe you *should* remove the accents
06:34:39 * oerjan swats izabera for linguistic heresy -----###
06:36:49 <shachaf> oerjan: a linguist i know says that accents are great
06:37:00 <shachaf> wait, that's linguistic hearsay
06:37:55 * oerjan waves the swatter in shachaf's general direction -----###
06:44:11 <HackEgo> abstract nonsense? ¯\(°_o)/¯
06:45:14 <oerjan> `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 <HackEgo> Learned «abstract nonsense»
06:47:39 <shachaf> Abstract nonsense can be found in the first section of a category theory paper.
06:48:24 <shachaf> (Usually followed by introduction nonsense.)
06:49:27 <oerjan> <int-e> `quines/c <-- <recurrent thought pattern> . o O ( Why is quines/c an executable? They should have put the source somewhere. Oh wait... ) </recurrent thought pattern>
06:50:36 <hppavilion[1]> <hppavilion[1]> This message is not properly parseable <-- Because of that arrow
06:51:00 <oerjan> help i'm trapped in a fake html tag
06:51:34 <hppavilion[1]> oerjan: HTML doesn't support tags with spaces in the tagname
06:52:06 <hppavilion[1]> You aren't trapped in XML, you're trapped in something even worse: Something that only looks like XML superficially
06:52:09 <shachaf> oerjan: I didn't think the closing tag was necessary, since that tag describes this channel pretty well.
06:52:15 <shachaf> No, the space is what makes that tag fake.
06:52:45 <shachaf> And of course <recurrent joke> would be perfectly fine HTML. It would mean something like <recurrent joke="joke">
06:53:22 <hppavilion[1]> But you can't put things in the closing tag, iisrc
06:53:43 <oerjan> i'm pretty sure <recurrent joke="joke"> is better hth
06:53:45 <shachaf> Good thing I didn't close the tag.
06:53:56 <shachaf> https://www.w3.org/html/wg/drafts/html/master/infrastructure.html#boolean-attributes
06:54:04 <hppavilion[1]> shachaf: So we're still trapped in the recurrent joke?
06:54:19 <shachaf> 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:15 <oerjan> hppavilion[1]: NO YOU DON'T
06:55:29 <lifthrasiir> oerjan: I meant that </recurrent-thought-pattern> *is* a valid XML ending tag
06:55:46 <oerjan> lifthrasiir: no, i mean, wtf is kebab-case
06:55:49 <zgrep> Err... that ^ was meant to point at oerjan.
06:56:08 <hppavilion[1]> zgrep: MWAHAHAHAHAHAHAHASHAHHHAHALFHL.ifjdsfLEQWRJDkjkajs
06:56:32 <zgrep> ifdjaksjkgdadqwer?
06:56:48 <lifthrasiir> the name "kebab-case" seems to be one of competing names for that convention
06:56:52 <hppavilion[1]> ;aklsdjf;lkajdfalka;oisejfaoisjf;fjfagfag;laksjfdoiwejfaosijefasdfj
06:57:19 <zgrep> hppavilion[1]: Oh, I get it. asdjk;kgdfdsdr. Makes sense.
06:57:20 <shachaf> oerjan: did you know "oerjan" was kebab case
06:57:48 <shachaf> i think better kebab case would be e.g. -oerjan------###
06:58:03 <oerjan> i am indeed a kebab case. maybe i'll have one today.
07:00:13 <hppavilion[1]> A programming language based on the Markov Algorithm, but generalized to be useful
07:00:16 <shachaf> is kebab case a special case of snack case
07:00:57 <shachaf> 8ball settles it. hppavilion[1]'s "No." is wrong
07:02:40 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pong: not found
07:03:28 <hppavilion[1]> 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:05:12 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
07:05:30 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hmm?: not found
07:05:54 <HackEgo> #!/bin/sh \ echo "why $1 is like wtf"
07:06:06 <HackEgo> why I AM THE WALRUS is like wtf
07:06:32 <HackEgo> tswett tswett shachaf shachaf elliott elliott nitia
07:07:14 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
07:07:15 <hppavilion[1]> I think `wtf or some similar command should output a randomly-selected completely batshit insane statement
07:07:20 <lifthrasiir> `` (echo '#!/bin/sh'; echo pung) > bin/pong && chmod a+x bin/pong
07:07:26 <HackEgo> /hackenv/bin/pong: 2: /hackenv/bin/pong: pung: not found
07:07:30 <oerjan> https://www.youtube.com/watch?v=4FuqnxMzaMA 47:09
07:07:33 <HackEgo> /hackenv/bin/pong: 2: /hackenv/bin/pong: pung: not found
07:07:35 <lifthrasiir> `` (echo '#!/bin/sh'; echo echo pung) > bin/pong && chmod a+x bin/pong
07:07:58 <zgrep> `` echo "exec $@" >> 'bin/ '
07:08:05 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
07:08:46 <zgrep> `` echo "echo `quine" >> quine
07:08:47 <HackEgo> bash: -c: line 0: unexpected EOF while looking for matching ``' \ bash: -c: line 1: syntax error: unexpected end of file
07:08:56 <zgrep> `` echo "echo \`quine" >> quine
07:09:05 <zgrep> I'm not sure if this is how HackEgo works...
07:09:18 <oerjan> <hppavilion[1]> Also, "has", "his", and "whistling" <-- english grammar you fail at, hm?
07:09:30 <hppavilion[1]> `echo "echo Hello, World" > bin/hello-world-in-any-language && chmod a+x bin/hello-world-in-any-language
07:10:06 <izabera> well, it's still weird that it didn't print anything
07:10:09 <HackEgo> /hackenv/bin/quine: 2: cd: can't cd to /var/irclogs/_esoteric \ ls: cannot access ????-??-??.txt: No such file or directory
07:10:10 <hppavilion[1]> `` echo "echo Hello, World" > bin/hello-world-in-any-language && chmod a+x bin/hello-world-in-any-language
07:10:37 <izabera> wait i didn't expect that error message
07:10:40 <HackEgo> /hackenv/bin/quine: 2: cd: can't cd to /var/irclogs/_esoteric \ ls: cannot access ????-??-??.txt: No such file or directory
07:10:41 <HackEgo> mv: cannot stat `quine': No such file or directory
07:11:03 <hppavilion[1]> shachaf: So we can do `hello-world-in-any language <languagename> and claim to have the world's largest database of Hello World programs
07:11:11 <zgrep> `ls /var/irclogs/_esoteric
07:11:15 <izabera> `` echo -n lives in: type -a echo
07:11:16 <HackEgo> /hackenv/bin/quine: 2: cd: can't cd to /var/irclogs/_esoteric \ ls: cannot access ????-??-??.txt: No such file or directory
07:11:23 <HackEgo> ls: cannot access /var/irclogs/_esoteric: No such file or directory
07:11:24 <HackEgo> ls: cannot access /var/irclogs: No such file or directory
07:11:26 <HackEgo> "echo Hello, World" > bin/hello-world-in-any-language && chmod a+x bin/hello-world-in-any-language
07:11:32 <izabera> `` echo -n echo lives in:; type -a echo
07:11:33 <HackEgo> echo lives in:echo is a shell builtin \ echo is /bin/echo
07:11:33 -!- shachaf has left.
07:11:53 <zgrep> shikhin: Better than a SNAFU.
07:12:03 <zgrep> Err... sorry, shikhin.
07:12:10 <hppavilion[1]> `hello-world-in-any-language The Language of the Beast
07:12:11 <zgrep> Oh, wow. shachaf left. :(
07:12:45 <hppavilion[1]> `hello-world-in-any-language Python, but encoded by Enigma with a random key
07:13:29 <hppavilion[1]> `hello-world-in-any-language TheLanguageThatFailsForAnyInput
07:14:05 <lifthrasiir> `hello-world-in-any-language An Almost-Turing-Complete Language That Is Unable To Output "Hello, World!" Without Quotes
07:14:22 <lifthrasiir> `hello-world-in-any-language An Almost-Turing-Complete Language That Is Unable To Output "Hello, World" Without Quotes
07:14:25 <hppavilion[1]> lifthrasiir: I noticed, but didn't want to change it xD
07:14:46 <lifthrasiir> hppavilion[1]: I believe the implementation has a bug
07:15:07 <HackEgo> cat "$(find evil -type f | shuf -n1)" | tr '[:lower:]' '[:upper:]'
07:15:24 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bug: not found
07:15:25 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bugs: not found
07:15:33 <lifthrasiir> 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:17:01 <adu> hppavilion[1]: hi
07:17:20 <hppavilion[1]> Would `echo "cat \"$(find bugs -type f | shuf -n1)\"" > bin/bugs` create the desired command?
07:18:02 <adu> I hope you don't mind my anti-esoteric attitude
07:18:12 <lifthrasiir> `` (echo '#!/bin/sh'; echo 'echo Zarro Boogs Found.') > bin/bugs; chmod a+x bin/bugs
07:19:01 <adu> I just think that researching esoteric functions can be done in mainstream languages
07:19:19 <HackEgo> ls: cannot access bin/fix: No such file or directory
07:20:06 <adu> hppavilion[1]: tetration
07:20:29 <adu> hppavilion[1]: I'm a tetration junkie
07:20:30 <lifthrasiir> hppavilion[1]: I gave up, I cannot make that funnier
07:20:50 * adu cannot have enough of that good old tetration
07:21:06 <adu> hppavilion[1]: Chai
07:21:32 <adu> Chai == Tea + sugar + milk + various spices
07:21:41 <hppavilion[1]> adu: Hyper 5 is better called "penetration" than "pentation"
07:22:04 <adu> penetration will get you bitch slaped
07:22:16 <adu> pentation will make your date go home early
07:22:19 <oerjan> <zgrep> 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 <hppavilion[1]> adu: Because that makes hyper 6- "sexation"- repeated penetration
07:22:28 <adu> ^ big difference
07:22:49 <zgrep> oerjan: I'm probably going to feel sorry for the dog or something you're going to kick.
07:23:33 <adu> hppavilion[1]: actually sexa- is Latin, the proper prefix is Greek hexa-
07:24:02 <adu> so hyper6 is "hexation"
07:24:22 <oerjan> lifthrasiir: a TC language does not need to be able to output "Hello, World", with or without quotes hth
07:24:35 <adu> hppavilion[1]: grammar Nazis
07:26:20 <adu> 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 <hppavilion[1]> adu: It's a political party- or it used to be for the most part- form Germany.
07:27:35 <oerjan> ah right. that makes it a classic, then.
07:27:37 <lifthrasiir> 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 <adu> NAZI = "NAtional SocIalist"
07:28:04 <adu> lifthrasiir: german is different
07:28:27 <adu> hppavilion[1]: no, I don't because I don't have an explaination for the Z, except that german is different
07:28:48 <lifthrasiir> adu: I feel natsoc sounds much more English, in homage to ingsoc
07:29:51 <adu> 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 <adu> it was their actions that became associated with the term "Nazi"
07:30:13 <oerjan> 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 <oerjan> adu: itym NAtional soCIalist hth
07:32:30 <lifthrasiir> 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 <adu> oerjan: I think that's how it's spelled in german
07:35:36 <oerjan> well it's the only place you could get the Z from.
07:37:46 <lifthrasiir> hmm, wait, it wasn't abbreviated in that way
07:38:15 -!- andrew has quit (Ping timeout: 255 seconds).
07:38:33 <lifthrasiir> National is pronunced /natsiona:l/ or similar in German, and its first two syllables are rendered as Nazi
07:39:48 <adu> lifthrasiir++ for a lesson in etymology
07:40:15 <lifthrasiir> and all of this research is due to procrastination at work
07:41:06 <oerjan> https://en.wikipedia.org/wiki/Nazi_Party#Etymology
07:41:16 <adu> and because hppavilion[1] asked "Who cares about mixing roots?"
07:41:56 <oerjan> the nazis didn't call themselves that, as it was derogatory. the section claims the word existed in that sense before the party
07:44:43 * oerjan swats HackEgo -----###
07:44:49 <HackEgo> /hackenv/bin/quine: 2: cd: can't cd to /var/irclogs/_esoteric \ ls: cannot access ????-??-??.txt: No such file or directory
07:45:21 <HackEgo> #!/bin/sh \ cd /var/irclogs/_esoteric; cat $(ls ????-??-??.txt | tail -1) | sed 's/[^>]*> //' | grep '^`' | tail -1 #Best cheating quine ever?
07:45:24 <oerjan> apparently you never managed to mess up the thing i was most angered by
07:46:57 <oerjan> i think HackEgo was so slow it performed the commands in the opposite order, so there was no file to move.
07:47:22 <oerjan> admittedly bin/quine is meaningless without working logs :(
07:48:35 <oerjan> tl;dr: you never managed to break anything i need to fix
07:49:09 <HackEgo> 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:19 <HackEgo> sed s/\x00/ /g /proc/290/cmdline
07:58:03 -!- adu has quit (Quit: adu).
08:02:40 -!- mroman has joined.
08:02:57 <HackEgo> vector space/A vector space is just a module over a field.
08:03:08 <HackEgo> unréliable/unréliable is French for «peu fiable».
08:16:55 <HackEgo> twhib/the world holds its breath
08:17:56 <HackEgo> danddreclist 74: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex
08:21:59 -!- J_Arcane has joined.
08:33:24 -!- J_Arcane has quit (Ping timeout: 256 seconds).
08:51:38 <HackEgo> supercalifragilisticexponential growth/Supercalifragilisticexponential growth leaves Graham's number in the dust.
08:51:51 <HackEgo> 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:23 <HackEgo> Þó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 <HackEgo> [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 <HackEgo> [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 <HackEgo> [wiki] [[Beatnik]] https://esolangs.org/w/index.php?diff=46219&oldid=46218 * Oerjan * (-17) /* External resources */ template
11:32:11 -!- boily has joined.
11:35:53 <Taneb> http://agda.github.io/agda-stdlib/Data.Star.html is something that I don't know what it does
11:36:15 <Taneb> Oh, apparently it's a reflexive transitive closure?
11:36:46 <oerjan> so, smallest generated equivalence relation...
11:37:33 <oerjan> s/generated/containing/
11:38:46 <Taneb> Smallest containing preorder?
11:39:56 <oerjan> oh thank god there is agatha's weasel
11:40:22 <boily> bhellørjaaaa *yaaaaawn* n.
11:40:28 <oerjan> </sentences better without context>
11:41:05 <Taneb> oerjan, Agatha's weasel is very useful
11:41:19 <boily> sorry, not quite awake yet. had a night out. too much sushi.
11:41:31 <oerjan> Taneb: well i was worried it had got lost in the confusion
11:41:35 <boily> what's an agatha weasel?
11:41:52 <Taneb> boily, a weasel in the possession of Agatha
11:42:05 <oerjan> boily: http://www.girlgeniusonline.com/comic.php second panel on her head
11:43:45 <boily> oh, this Agatha. tdh.
11:43:53 <oerjan> boily: it's a cuddly abomination with 8 legs and the power to detect revenants hth
11:45:00 <oerjan> it's also, apparently, good at teasing bears and getting away with it.
11:46:26 -!- sebbu has quit (Ping timeout: 240 seconds).
11:47:37 * boily will catch up to all of this some day
11:49:38 <Taneb> 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 <coppro> 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 <Taneb> What are tax ratios
12:06:44 <Taneb> We just don't know
12:06:58 <boily> The tax ratios are. That's what they do.
12:09:16 -!- andrew has joined.
12:10:40 <coppro> the actual text is elucidating
12:11:15 <coppro> *"What tax ratios are"
12:11:17 <coppro> 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 <oerjan> boily: eLuCiDating, isn't it
12:15:19 <oerjan> wait that was a C not an S
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:31 <HackEgo> cake/The Enrichment Center is required to remind you that you will be baked, and then there will be cake.
12:26:46 <mroman> fungot: You a cake too?
12:26:46 <fungot> mroman: do you understand what your code do.
12:26:56 <fungot> mroman: " exciting" might be potentially confusing to be useful. i intend to run one of the original
12:27:07 <boily> 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:07 <HackEgo> Cubes come in all sizes, colors and materials, but only one shape.
13:22:46 <HackEgo> Color is a phenomenon from outer space designed to drive humanity insane and bring forth the new age of Cthulhu.
13:23:12 <mroman> Shape describe the shapes of things.
13:23:20 <mroman> fungot: Are you in shape?
13:23:21 <fungot> mroman: ok thx... now about what messages are in terms of actually programming guis.)
13:23:33 <fungot> mroman: although extra level of indirection. kawa compiles to fnord sisc, but i'm not
13:23:57 -!- andrew has quit (Remote host closed the connection).
13:39:34 -!- contrapumpkin has changed nick to copumpkin.
13:45:56 -!- bender| has joined.
14:01:22 -!- p34k has joined.
14:28:59 <b_jonas> http://hurrdurr.org is now just a redirect to http://kernel.org rather than serving a modified version of the site
14:30:19 <FireFly> how did it modify it before?
14:35:42 <b_jonas> 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 <b_jonas> FireFly: http://archive.is/hPuNF
15:10:55 -!- bender| has quit (Ping timeout: 240 seconds).
15:19:38 -!- zadock has quit (Quit: Leaving).
15:20:54 <HackEgo> olist: shachaf oerjan Sgeo FireFly boily nortti b_jonas
15:21:03 <FireFly> I forgot the number.. oh well
15:22:58 <FireFly> I don't want to re-olist or I bet people would complain
15:23:12 -!- atslash has joined.
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 <HackEgo> [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 <HackEgo> [wiki] [[Call/cc]] N https://esolangs.org/w/index.php?oldid=46221 * Hppavilion1 * (+965) Created Page
22:55:07 <HackEgo> [wiki] [[Surreal FOREVER loop]] N https://esolangs.org/w/index.php?oldid=46222 * Hppavilion1 * (+1169) Created Page
22:56:03 <HackEgo> [wiki] [[Surreal FOREVER loop]] M https://esolangs.org/w/index.php?diff=46223&oldid=46222 * Hppavilion1 * (+0) Fixed a ling
22:58:29 -!- boily has joined.
22:58:37 <lambdabot> CYUL 182254Z 25018G27KT 12SM -SN DRSN SCT030 BKN050 OVC075 M12/M16 A2971 RMK SC3SC3AC2 SLP066
22:58:57 <boily> G27 and DRSN. and there was much rejoicing.
23:01:13 <int-e> drifting snow... ah, there, gusts of wind. nice!
23:01:17 <lambdabot> LOWI 182250Z AUTO VRB01KT 9999 NCD M12/M13 Q1016
23:01:55 <lambdabot> EGLL 182250Z AUTO 05003KT 9999 NCD M01/M04 Q1015
23:02:03 <fizzie> Oh no, negative degrees!
23:02:45 <fizzie> It's supposed to go away again before the end of the week.
23:02:54 <fizzie> Forecast for Saturday was 12, I think.
23:03:13 <boily> I like my shovel. my shovel is my friend.
23:03:16 <lambdabot> EGBB 182250Z VRB02KT CAVOK M00/M00 Q1014
23:03:22 <ais523> (I think I remembered that correctly?)
23:04:15 <ais523> that's a very short METAR
23:04:41 <boily> his523. moooooooooo.
23:05:55 <int-e> Oh, CAVOK is obscure. "Ceiling and Visibility are OK"
23:08:20 <lambdabot> 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 <lambdabot> uptime: 11d 3h 30m 25s, longest uptime: 1m 10d 23h 44m 29s
23:09:06 -!- Lord_of_Life has joined.
23:11:32 <boily> is that lambdie's uptime?
23:11:34 <lambdabot> uptime: 11d 3h 33m, longest uptime: 1m 10d 23h 44m 29s
23:15:04 <int-e> it's more a measure of Freenode's stability than lambdabot's
23:15:58 <boily> fungot: are you stable?
23:15:59 <fungot> boily: because the us is more productive/ efficient for the community wiki database file works fine on my debian box
23:16:13 <boily> fungot debian boxes, so it is stable.
23:16:13 <fungot> boily: i'm writing a essay, of which information does not belong to that class
23:17:06 <int-e> fungot: it's good to keep an essay free of distractions like facts; keep it to the essentials
23:17:06 <fungot> int-e: that would be a little more specific? what does that expression evaluate to when l is empty.
23:17:30 <int-e> fungot: bottom, as a first approximation
23:17:31 <fungot> 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 <int-e> fungot: you should read up about Böhm trees
23:18:05 <fungot> 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 <int-e> hmm... color-blind exceptions... something to dream of tonight
23:24:45 <fizzie> fungot's current uptime is somewhere around 27 days.
23:24:45 <fungot> fizzie: how does that work in drscheme? or maybe i misunderstood your original remarks about posix.......
23:24:54 <fizzie> Which is pretty long for it.
23:26:40 <ais523> well, esolangs are often good in terms of uptime because they run on a very limited VM
23:26:52 <ais523> 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 <ais523> 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 <fizzie> 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 <fungot> fizzie: the fact is that he says kela might not accept that!)) in scheme are scheme implementations with ( good).
23:28:24 <ais523> fizzie: wouldn't a reconnection still violate uptime issues?
23:28:39 <fizzie> Mmaybe. It depends on what it's measuring.
23:29:06 <fizzie> Also, Kela is the national social insurance organization of Finland, I wonder what they're not accepting.
23:35:51 <fungot> 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 <J_Arcane> Heh. Has some other Finn been filling fungot's head with weirdness?
23:44:00 <fungot> J_Arcane: they wanted to unite to one country in the map
23:45:47 -!- boily has quit (Quit: LAYERED CHICKEN).
23:52:48 <fizzie> fungot: I thought Finland already was one country.
23:52:48 <fungot> fizzie: sicp relies on fewer bizarre, non-standard bells whistles; there is not guarantee of a merge option either
23:53:31 <fizzie> 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.