00:05:59 -!- Marcela_- has left.
00:11:49 -!- hppavilion1 has joined.
00:12:58 -!- Marcela_- has joined.
00:14:36 <hppavilion1> In state news today: "Unnamed village in Bristol Bay region sees HIV outbreak"
00:14:43 <hppavilion1> I'm genuinely unsure whether they mean that which village in particular is not being disclosed now or that the village isn't named
00:14:49 <lambdabot> boily said 12h 1m 14s ago: hppavellon1. I try to always use a new prefix from memory, but sometimes I repeat. fizzie had compiled a list some time ago.
00:14:49 <lambdabot> fizzie said 11h 15m 21s ago: http://sprunge.us/FIcQ
00:14:49 <lambdabot> fizzie said 11h 15m 10s ago: (Old data.)
00:15:25 <boily> hppavellon1, fizziello, hellambdie!
00:18:20 <hppavilion1> (I genuinely could not think of a better porthello. I'm not even sure whether that counts)
00:18:38 * boily *THWACK* hppavilion1. -0.5 FP.
00:19:18 <boily> Funpun, the customary unit for a thwack; previously a shachaf, but he kept being pinged.
00:19:36 <hppavilion1> Though, I suppose in this case it's more of a Hantentagoffer
00:19:40 <HackEgo> “Only sane adverb” boily is monetizing a brotherhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He is also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken, a METARologist, seriously lacking in the f-word department, and a renowned Capitalist who helps keep the world boring.
00:19:50 <boily> I believe the usual boilrthello is ahoily.
00:20:13 -!- oerjan has joined.
00:20:31 <boily> you can always combine a "bon matin", "bonjour" and/or "bonsoir". they mesh well in a cromulent fashion.
00:20:47 <hppavilion1> hellœrjan. I recently moved my ø key to altgr+u and altgr+o is now œ
00:20:49 <shachaf> `slwd boily//s#, and#, a thwack doctor&#
00:20:53 <HackEgo> boily//“Only sane adverb” boily is monetizing a brotherhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He is also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken, a METARologist, seriously lacking in the f-word department, a thwack doctor, and a renowned Capitalist who helps keep the world boring.
00:21:34 * boily chirurgically thwack shachaf. 1.00 FP :D
00:22:09 <hppavilion1> Thwhoctor if the Thwoctor is also a Whovian
00:24:53 <HackEgo> jander//Jander was murdered, or deactivated permanently, depending on which side you ask.
00:25:28 <boily> hppavilion1: you should try the Canadien Multilingue Standard layout. very good!
00:33:02 -!- ruffles has joined.
00:36:06 <HackEgo> ruffles: 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.)
00:37:52 <ruffles> idk what esoteric laguages are tbh joined outa curiosity :v
00:38:35 -!- ThatOtherPerson has quit (Ping timeout: 240 seconds).
00:39:03 <boily> the wiki is there for discovering them! there's also us in this channel.
00:39:42 <boily> you can even peruse the PDF in the topic for some... uh... clarifications about things that tend to happen here.
00:39:56 <ruffles> can u gimme a one sentence abt-page
00:40:33 <hppavilion1> ruffles: Salvador Dali: Programmer Edition
00:42:19 <boily> that's strangely accurate.
00:43:30 <boily> ruffles: if you want, there are a few well known classics to read about: brainfuck, befunge, intercal, underload, malbolge, aubergine...
00:47:33 <ruffles> like what esoteric nature seeks to be aroused by esoteric programs?
00:47:43 <lambdabot> int-e said 9h 23m 56s ago: Indeed I did.
00:47:43 <lambdabot> int-e said 7h 59m 38s ago: have you encountered the game called "CLOP"?
00:49:15 <boily> ruffles: esoteric programming is exploring the limits of computation and program form. it's a kind of poetry with constrained writing.
00:49:46 <ruffles> like sacred geometry code?
00:50:14 <boily> it can be anything you want. except a brainfuck derivative. shun the brainfuck derivative.
00:51:29 <shachaf> oerjan: i played enough of this game to see that it's designed to thwart people like me
00:51:58 <boily> ruffles: some of them go the minimalist way, just to see how little we need to actually compute something. others directly include elements of painting, cooking, music or zombie summoning for an unusual cachet.
00:52:29 <oerjan> yay i got back on all feet again
00:52:42 <ruffles> omg lets convince machines that sacrificing humans will save their souls
00:52:53 <boily> oerjan: all feet? how many do you have?
00:54:05 <boily> what's a clop? is it like qwop with a horse?
00:54:30 <boily> ruffles: that is generally frowned upon.
00:54:53 <oerjan> fungot: your soul is already saved, don't listen to him!
00:54:54 <fungot> oerjan: riastradh has the power to make sure
00:54:54 <boily> oerjan: oh hm. I can't clop. it appears that I may have uninstalled flash...
00:55:38 <boily> still no. I like the body that's me.
00:55:42 <ruffles> i wonder if the internet has natural selection
00:59:44 <HackEgo> tas//TAS is a tool-assisted speedrun: a race in which participants must use quality tools such as the PHP hammer, Autoconf, and the Arkenpliers to assist them in running.
00:59:59 <oerjan> argh the horse turned lame. this wasn't fun.
01:00:41 <oerjan> ruffles: all selection on the internet is artifical hth
01:01:15 <ruffles> ikno thats why i didnt ask that
01:01:40 <ruffles> when i see program vs program then il kno
01:02:04 -!- Sprocklem has joined.
01:02:12 <oerjan> shachaf: i'm not necessarily a person like you. i assume you too tried with just h and k?
01:02:34 <shachaf> just two of them at any rate
01:02:42 <oerjan> ruffles: oh. then you want to look at bfjoust
01:02:49 <zemhill_> oerjan: I do !zjoust; see http://zem.fi/bfjoust/ for more information.
01:03:36 <oerjan> !zjoust >>>>>>>>>([-]>[+]>)*-1
01:03:36 <zemhill_> oerjan: "!zjoust progname code". See http://zem.fi/bfjoust/ for documentation.
01:03:46 <oerjan> !zjoust lame_horse >>>>>>>>>([-]>[+]>)*-1
01:03:46 <zemhill_> oerjan.lame_horse: points -7.81, score 13.39, rank 34/47
01:03:58 <oerjan> hm that's far too high
01:04:22 <oerjan> i suppose the scoring may still not have rebalanced
01:05:32 <oerjan> ruffles: see also codewar
01:05:52 <boily> !zjoust rehydrated_shiitake >[[-.]>]
01:05:52 <zemhill_> boily.rehydrated_shiitake: points -32.62, score 4.85, rank 47/47
01:06:17 <oerjan> shachaf: well h and k got me to the first stone obstacle.
01:07:27 <lambdabot> EGLL 140050Z AUTO 30005KT 9999 NCD 01/M02 Q1018 NOSIG
01:07:36 <fizzie> I forgot to do that when it was snowing earlier today.
01:07:38 <oerjan> ruffles: it's a game where people make programs to fight each other
01:07:47 <lambdabot> ENVA 140050Z VRB02KT 9999 -SN FEW004 SCT015 BKN038 00/M00 Q0992 RMK WIND 670FT 33005KT
01:08:11 <oerjan> i guess it's more interesting in london
01:08:54 <lambdabot> CYUL 140100Z 31008KT 15SM SKC M12/M21 A3077 RMK SLP425
01:09:58 -!- Akaibu has joined.
01:11:14 <boily> ruffles: what are your approximative geographic coördinates and body weigh?
01:11:28 <oerjan> . o O ( REPETIVE CHICKEN )
01:14:45 <oerjan> today's Drive comic is hilarious but you have to know the characters
01:15:16 <boily> ruffles: it's the The Question. everybody gets asked it.
01:16:20 <ruffles> im inclined to ask the nature of the request tho
01:17:04 <oerjan> ruffles: well it started way back when someone asked about the center of mass of the channel...
01:17:32 <oerjan> that's a physics concept.
01:17:53 <oerjan> but anyway, to calculate it we need people's coordinates and body weigh.
01:18:03 <oerjan> boily: HOW'S CALCULATION GOING
01:18:30 * oerjan waiting for boily's patented sweat drop smiley
01:18:57 -!- ThatOtherPerson has joined.
01:20:26 <ruffles> im tryna practice to see if i can read ppls mind through their thoughts
01:20:39 <ruffles> iherently its like an energetic keylogger
01:20:54 <HackEgo> This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet.
01:21:12 <ruffles> thanks saw that earlier :v
01:21:47 <ruffles> still, was curious abt the programmable aspects of it
01:21:56 <ruffles> maybe algorythms for divination
01:23:10 <oerjan> `8ball Are algorithms for divination a good idea?
01:23:51 <ruffles> should i get off the chan then?
01:23:56 <ruffles> idk wat i can contribute tbh
01:24:03 <ruffles> but it was on autojoin soo
01:24:08 <shachaf> `8ball will my life be improved if i follow 8ball's advice?
01:24:13 <ruffles> i love freenode its so diverse
01:24:38 <boily> fungot: are you more accurate than a puny 8 ball?
01:24:38 <fungot> boily: and some say that i screwed up on that
01:24:55 <oerjan> fungot: yes, but what do you think?
01:24:55 <fungot> oerjan: do what you think. ( mit scheme)
01:25:04 <fizzie> ^8ball did we have this command?
01:25:13 -!- ffj-bot has quit (Remote host closed the connection).
01:25:18 <fungot> fizzie: the reason that the pascal syntax was chosen, i think. i could paint it, but it'd be nice
01:25:25 <oerjan> . o O ( did fizzie test that first? )
01:25:26 -!- ffj-bot has joined.
01:25:34 <fizzie> oerjan: No, I like to live dangerously.
01:25:45 <fizzie> (Well, that's not true. But this time I didn't.)
01:28:57 <oerjan> ruffles: well mysticism and that sort of thing are rarely discussed here, but many kind of mathematical/logical nerd topics are.
01:29:27 <oerjan> (most people who state any kind of belief here are atheists or close to it.)
01:33:03 <zzo38> I consider myself panendeist, but yes probably most are atheist
01:38:57 <zzo38> But how many not atheist people is on anyways?
01:39:22 -!- ruffles has quit (Quit: Leaving).
01:51:05 -!- MDead has joined.
01:52:32 -!- MDude has quit (Ping timeout: 240 seconds).
01:52:40 -!- MDead has changed nick to MDude.
01:56:00 -!- ThatOtherPerson has quit (Ping timeout: 252 seconds).
02:00:19 <dingbat> Hey y'all. The wikipedia page for binary lambda calculus has been deleted: https://en.wikipedia.org/wiki/Binary_lambda_calculus
02:00:46 <dingbat> Perhaps someone with a better understanding of wikipedia than I could fix that?
02:01:02 <dingbat> The reasons do not seem sufficient: https://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletion/Binary_lambda_calculus
02:01:18 <dingbat> And many articles, both on Wikipedia and other sites, refer to that article
02:06:24 -!- boily has quit (Quit: DINOSAUR CHICKEN).
02:11:32 <oerjan> dingbat: 'fraid that's how wikipedia policy is. it's not notable in the sense wikipedia uses.
02:11:59 -!- |BRVXA| has changed nick to |-BRVXA-|.
02:12:37 <oerjan> only finding actual references providing the notability criterion can reverse that decision, and since no one did...
02:12:56 <dingbat> Seems like it is notable from a common sense perspective though. I mean, wiki pages for _many_ esoteric languages reference it. Oh well, not the first silly thing about Wikipedia
02:13:27 <dingbat> Doesn't seem like they looked for any reason to keep it.. sorta stupid IMO
02:14:36 <oerjan> i'd have liked to see what was in the talk page that was referred in the deletion discussion - it was deleted with the article itself.
02:15:01 <oerjan> dingbat: many esolangs themselves have been deleted over the years.
02:15:46 <dingbat> Yeah unfortunately the talk page wasn't archived by wayback machine
02:16:19 <oerjan> basically, to be safe at wikipedia they have to be given a significant mention from somewhere _outside_ the esolang community.
02:33:43 -!- Marcela_- has left.
02:38:23 -!- Sprocklem has quit (Ping timeout: 255 seconds).
02:38:43 <oerjan> <hppavilion1> (I genuinely could not think of a better porthello. <-- i think you misspelled "worse". do you occasionally consider not speaking before thinking?
02:38:52 -!- Sprocklem has joined.
02:55:00 -!- hppavilion1 has quit (Ping timeout: 256 seconds).
03:32:18 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:47:12 -!- Sprocklem has quit (Ping timeout: 240 seconds).
05:10:02 -!- doesthiswork has quit (Quit: Leaving.).
05:52:50 -!- Sprocklem has joined.
05:54:28 -!- Sprocklem has quit (Client Quit).
05:54:46 -!- Sprocklem has joined.
06:13:58 -!- hppavilion1 has joined.
06:22:58 -!- hppavilion1 has quit (Ping timeout: 256 seconds).
06:35:38 -!- Sprocklem has quit (Ping timeout: 245 seconds).
06:49:08 -!- otherbot has quit (Remote host closed the connection).
07:06:44 <zzo38> Do you think this is good? https://www.npmjs.com/package/sdlterm-mck
07:15:10 * izabera thought it was a terminal emulator written in sdl
07:16:40 <zzo38> It is not but it is a music program.
07:17:37 <zzo38> (It is somewhat like a terminal emulator which is the reason for that name, although it isn't one.)
07:25:53 -!- lezsakdomi has joined.
07:29:17 -!- doesthiswork has joined.
07:55:38 -!- augur has quit (Remote host closed the connection).
07:56:20 -!- augur has joined.
08:00:36 -!- augur has quit (Ping timeout: 240 seconds).
08:10:05 -!- doesthiswork has quit (Quit: Leaving.).
08:16:44 -!- hppavilion1 has joined.
08:22:03 -!- oerjan has quit (Quit: Nite).
08:35:10 -!- augur has joined.
10:05:41 -!- hppavilion1 has quit (Ping timeout: 256 seconds).
10:33:40 -!- abdoo has joined.
11:15:11 -!- augur has quit (Remote host closed the connection).
11:27:08 -!- augur has joined.
11:55:03 -!- idris-bot has quit (Quit: Terminated).
12:25:57 -!- TieSoul has joined.
13:01:48 -!- abdoo has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
13:15:46 -!- Phantom_Hoover has joined.
13:21:25 -!- augur has quit (Quit: Leaving...).
13:26:33 -!- augur has joined.
13:27:12 -!- boily has joined.
13:32:36 -!- TieSoul has quit (Quit: Leaving).
13:43:36 <HackEgo> Coffee is a strange hot brown liquid, often consumed, sometimes with milk and sugar. It contains chemicals considered stimulants.
13:46:51 -!- Lord_of_Life has quit (Excess Flood).
13:48:54 <boily> `learn Coffee is a strange brew. Enticing wisps of vapour catch the eye, the sould ensnared into dark vortices of flavour. Some minds mix in milk and sugar to counteract coffee's black magic.
13:49:06 <HackEgo> Relearned 'coffee': Coffee is a strange brew. Enticing wisps of vapour catch the eye, the sould ensnared into dark vortices of flavour. Some minds mix in milk and sugar to counteract coffee's black magic.
13:49:36 * boily is gulping down a bodumfull of a Kenya-Sumatra blend ^^
13:50:09 -!- Lord_of_Life has joined.
13:58:11 <boily> `learn Tea is concentrated fuel made by distillating occult herbs in a silver alambic. Americans attempted to reduce its potency by dumping some in the Ocean.
13:58:16 <HackEgo> Learned 'tea': Tea is concentrated fuel made by distillating occult herbs in a silver alambic. Americans attempted to reduce its potency by dumping some in the Ocean.
14:00:31 -!- doesthiswork has joined.
14:00:54 -!- doesthiswork has quit (Client Quit).
14:01:28 -!- spiette has quit (Ping timeout: 255 seconds).
14:02:28 <boily> `le/rn mate//Maté is a southern hemisphere shamanist beverage that opens your inner self to the Sacred World. Its enlightened users become friendly, wishing “G'day, maté!” to one another.
14:02:32 <HackEgo> Learned 'mate': Maté is a southern hemisphere shamanist beverage that opens your inner self to the Sacred World. Its enlightened users become friendly, wishing “G'day, maté!” to one another.
14:03:12 -!- boily has quit (Quit: RECTANGULAR CHICKEN).
14:13:32 -!- doesthiswork has joined.
14:20:40 -!- augur has quit (Remote host closed the connection).
14:21:13 -!- augur has joined.
14:26:03 -!- augur has quit (Ping timeout: 245 seconds).
14:28:36 -!- lezsakdomi has quit (Remote host closed the connection).
14:34:43 <int-e> . o O ( The shakrad world )
14:37:32 <int-e> @tell oerjan the funny thing is that I'm rather immune to this game. I tried QWOP but all I managed is to get off my feet. So I watched a youtube video of a speed run (and that's not even a pun!) and gave up.
14:38:18 <int-e> @tell oerjan (CLOP came up as a related video)
14:57:33 -!- Akaibu has quit (Quit: Connection closed for inactivity).
15:09:42 <int-e> . o O ( perhaps I should've written "I tried QWOP but I didn't get very far." )
15:50:19 -!- Zarutian has quit (Quit: Zarutian).
16:00:40 -!- spiette has joined.
17:12:31 <rdococ> wħy wøułđ I wæŋŧ iŧ ŧø ße β? ß łøøĸs łiĸe b æŋywæy
17:24:45 <FireFly> pronouncing that is awkward with all the /ŋ/ and /ø/ and things
17:25:06 <Jafet> ßome people ßeem to think it iß
17:29:59 <int-e> . o O ( at least rdococ didn't use В )
17:36:38 <zzo38> UTCE has a codepoint that represents either one (beta or the German ss) (this is for compatibility with PC character set), but also has the two separate ones as well (for compatibility with DEC terminals).
17:40:22 <zzo38> http://zzo38computer.org/textfile/miscellaneous/utce
17:56:49 * rdococ didn't intend it to be IPA
19:01:47 -!- DHeadshot has joined.
19:07:23 -!- Lord_of_Life has quit (Excess Flood).
19:11:09 -!- Lord_of_Life has joined.
19:21:38 -!- augur has joined.
19:26:03 -!- augur has quit (Ping timeout: 245 seconds).
19:39:51 <Vorpal> So... AGDQ TAS block is next.
19:52:42 <Vorpal> shachaf: watching AGDQ? I assume ais is, whereever he is, he was way into TASes iirc
20:09:37 <fizzie> Didn't realize at all.
20:16:09 <Vorpal> fizzie: TAS segment right now
20:19:01 <fizzie> Yeah. I don't know if I'm finding this Gradius run all that interesting.
20:21:24 <Vorpal> fizzie: very extravagant though
20:22:18 <Vorpal> fizzie: interesting that it was on the NES classic though, and the stuff they said about NES classic TAS issues in the beginning
20:22:34 <Vorpal> that it goes through xbox input controller emulation
20:28:29 -!- boily has joined.
20:32:31 <Vorpal> wow, streaming video to a SNES?
20:33:45 <Vorpal> rather low FPS, but still
20:35:28 <boily> at which point does a sequence of still frames become a video?
20:35:53 <Vorpal> still impressed they can do that to a SNES
20:37:54 <Vorpal> oh come on, this is now how I wanted to watch the portal TAS
20:39:15 -!- DHeadshot has quit (Ping timeout: 240 seconds).
20:41:28 <fizzie> Vorpal: It's not like you could follow what's happening anyway.
20:41:35 <fizzie> (I've watched a few of them.)
20:41:37 -!- Marcela_- has joined.
20:42:14 <Vorpal> fizzie: I would be interested in TASes of PC games though, though I guess portal could be on a console
20:42:27 <Vorpal> Wouldn't it desync a lot?
20:42:35 <Vorpal> Due to variable performance of PCs
20:43:47 <fizzie> http://tasvideos.org/Movies-Windows-Stars-Moons.html has a few.
20:43:54 <fizzie> I think mostly done with http://tasvideos.org/EmulatorResources/Hourglass.html
20:44:42 <Vorpal> no mouse input? How does that work
20:44:59 <Vorpal> with most games I mean
20:46:48 -!- Marcela_- has left.
20:48:55 <fizzie> I see they're making the most out of this streaming video thing.
20:48:57 <Vorpal> Okay, this is cool and all, but they keep going on the same basic thing, streaming low quality video to a SNES
20:49:30 <Vorpal> I would rather see something new
20:52:04 <fizzie> Well, the explanation bit was nice.
20:52:15 <fizzie> Hadn't realized it was the other two games doing the sound.
20:57:18 <Vorpal> ooh twitch plays x for some x
20:57:34 <fizzie> Assuming they can get it working.
20:58:25 <Vorpal> well, the emotes cover everything
20:59:25 <Vorpal> and the twitch chat is insane in the games done quick channel as usual
20:59:31 <Vorpal> more than usual now though
20:59:36 <fizzie> I usually just close it.
20:59:56 <Vorpal> fizzie: but on tablet at least it is always open by default when you open a channel
21:00:06 <Vorpal> So I see a few seconds of it
21:00:11 <fizzie> I think that's true on a browser as well.
21:00:22 <Vorpal> Possibly, this laptop can't handle twitch. Too old
21:00:45 <Vorpal> I probably need to get a new one soon
21:02:43 <fizzie> As usual, the full AGDQ schedule is just SO LONG.
21:02:54 <Vorpal> fizzie: anyway, there are surprisingly a few channels with okay chat. Mostly smaller channels that focus on very niche games. Like grand strategy games
21:02:59 <fizzie> Maybe I'll wait until someone posts a "best things to watch" thing.
21:03:22 <Vorpal> I usually just watch what sounds interesting on their youtube channel after
21:03:31 <fizzie> My cat stream has moved to YouTube, and the chat's been less watchable. (Not that I usually watched it before the move either.)
21:03:45 <Vorpal> you have a cat stream?
21:03:54 <fizzie> "My" as in "the one I watch".
21:03:58 <Vorpal> and it has an active chat?
21:04:23 <Vorpal> fizzie: what is a cat stream? a web cam mounted on a cat?
21:04:33 <fizzie> A web cam pointed at cats.
21:04:36 <fizzie> https://www.youtube.com/watch?v=feE5rkgnt6c
21:04:42 <Vorpal> the other would be cooler
21:04:56 <fizzie> It's a person who volunteers for a no-kill cat shelter.
21:05:21 <fizzie> So they usually have a set of kittens up until they're old enough to be adopted away.
21:06:07 <fizzie> Yes, though cats being cats, often they're just sleeping.
21:06:50 <fizzie> Kittens probably sleep less than adult cats, though.
21:06:58 <Vorpal> I can't even pretend to begin to understand why you or anyone else would watch that. But then I don't understand the internet's cat focus elsewhere either
21:07:38 <Vorpal> also that is a lot of stuff for giveaway at ADGQ now
21:07:41 <fizzie> It's an easy substitute for having a cat around.
21:08:42 <Vorpal> ooh and DS 3 next, that sounds interesting
21:08:54 <Vorpal> Wonder what platform they will speed run it on
21:10:24 <Vorpal> probably not PC, I assume you want a console, to get lower frame rate, making frame perfect tricks easier
21:10:40 <Vorpal> on the other hand, loading time would be better on PC
21:15:00 <Vorpal> probably going to sleep though, and watch the replay of that instead
21:27:56 -!- Marcela_- has joined.
21:30:43 <Phantom_Hoover> <Vorpal> Okay, this is cool and all, but they keep going on the same basic thing, streaming low quality video to a SNES
21:31:48 <Phantom_Hoover> like obviously people like us can quickly see that they've just turned the SNES into a video frontend but i think most of the viewers were completely awestruck by it
21:37:31 <Vorpal> Phantom_Hoover: still impressive that they can make the SNES do that
21:38:05 <Vorpal> though that they made two NES do the audio explains some of that
21:39:27 <Vorpal> I guess that and the NES classic might have taken enough time to develop they didn't have time to do anything else special
21:41:27 <Vorpal> Phantom_Hoover: what have they done to the video output of DS3 though... It says it is PC, so why on earth is the image quality so terrible, compared to the camera
21:41:43 <Vorpal> It's like upscaled standard definition
21:41:52 <Vorpal> and I'm watching on source quality on twitch
21:43:03 <Vorpal> I noticed quite a few production quality issues over the past week. Bad audio mixing mostly before though
21:50:12 -!- augur has joined.
22:03:04 -!- Sprocklem has joined.
22:05:12 -!- hppavilion1 has joined.
22:09:17 <HackEgo> article//An article is something that `learn can understand.
22:09:41 <HackEgo> ¯\(°_o)/¯//¯\(°_o)/¯ is a misspelling of ¯\(°_o)/¯
22:09:44 <HackEgo> deewiant//Deewiant is the world expert on Befunge conformance testing.
22:09:53 <HackEgo> supermarionation//supermarionation is another name for the mushroom kingdom.
22:10:18 <boily> `slwd supermarionation//ss^\ssSs
22:10:21 <HackEgo> supermarionation//Supermarionation is another name for the mushroom kingdom.
22:10:26 <HackEgo> toe//The TOE is the Toe of Everything, from which our universe sprang.
22:11:08 <boily> . o O ( if the toe is everything, what are the other four? )
22:11:12 <HackEgo> maybe//Maybe a is Just a or Nothing
22:11:17 <HackEgo> monomorphism//A monomorphism is just an epimorphism in the opposite category.
22:11:27 <HackEgo> codoctor//P⚭Q ∧ P ∈ 𝔻𝕣 → Q ∈ 𝔻𝕣*
22:12:33 <boily> . o O ( I still haven't typeset that one... )
22:12:37 <HackEgo> isomorphism//Isomorphism is isomorphic to Phantom_Hoover up to isomorphism.
22:19:34 -!- Marcela_- has left.
22:47:41 <hppavilion1> If you wanted to make a string U which contains all strings from length from 0 to s in an n-character simple alphabet as substrings, how long would U have to be?
22:48:50 <hppavilion1> The upper bound is \summ{i=1}{s}{n^i}, but I'm pretty sure it can get shorter
22:49:47 <hppavilion1> n^i is a sharper upper bound since the shorter substrings must occur in the longer ones
22:55:11 -!- Sprocklem has quit (Ping timeout: 240 seconds).
22:58:23 <fizzie> I think I saw an answer to this, in the context of decimal digits and all strings of length 4.
22:59:05 <fizzie> As in, the shortest string of digits you have to type to open a combination lock that accepts a 4-digit number.
22:59:29 <fizzie> https://en.wikipedia.org/wiki/De_Bruijn_sequence
23:03:58 <shachaf> mixukmDe Bruijn sequences are too good
23:05:23 <shachaf> Persi Diaconis used this for a p. fancy magic thing.
23:08:11 -!- Sprocklem has joined.
23:25:36 -!- Sprocklem has quit (Ping timeout: 240 seconds).
23:33:26 -!- DHeadshot has joined.
23:34:48 -!- Marcela_- has joined.
23:35:45 <HackEgo> tsh//tsh sounds horrendous
23:43:13 <HackEgo> burrito//Burritos are like Monads, according to Joe. See https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/
23:43:37 -!- Lord_of_Life has quit (Excess Flood).
23:44:00 <boily> monads are easy, once you build up upon functor and applicative.
23:44:54 <boily> burritos are delicious. there's that place near my job that serves custom burritos à la Subway. goes well with Ultra Death Sauce :D
23:46:39 -!- Lord_of_Life has joined.
23:50:47 -!- DHeadshot has quit (Quit: Download IceChat at www.icechat.net).