00:00:20 rdochelloc. 00:05:59 -!- Marcela_- has left. 00:11:49 -!- hppavilion1 has joined. 00:12:58 -!- Marcela_- has joined. 00:14:36 In state news today: "Unnamed village in Bristol Bay region sees HIV outbreak" 00:14:43 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 @massages-lud 00:14:49 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 fizzie said 11h 15m 21s ago: http://sprunge.us/FIcQ 00:14:49 fizzie said 11h 15m 10s ago: (Old data.) 00:15:25 hppavellon1, fizziello, hellambdie! 00:18:05 boily: Sieg Boil! 00:18:20 (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:18:45 FP? 00:19:18 Funpun, the customary unit for a thwack; previously a shachaf, but he kept being pinged. 00:19:36 Though, I suppose in this case it's more of a Hantentagoffer 00:19:38 `? boily 00:19:40 “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 I believe the usual boilrthello is ahoily. 00:19:54 I know 00:19:58 I was looking for something new 00:20:13 -!- oerjan has joined. 00:20:31 you can always combine a "bon matin", "bonjour" and/or "bonsoir". they mesh well in a cromulent fashion. 00:20:39 bonsœirjan. 00:20:47 hellœrjan. I recently moved my ø key to altgr+u and altgr+o is now œ 00:20:49 `slwd boily//s#, and#, a thwack doctor&# 00:20:53 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:21:34 A thwocktor 00:22:09 Thwhoctor if the Thwoctor is also a Whovian 00:24:52 `wisdom 00:24:53 jander//Jander was murdered, or deactivated permanently, depending on which side you ask. 00:25:28 hppavilion1: you should try the Canadien Multilingue Standard layout. very good! 00:33:02 -!- ruffles has joined. 00:36:01 `relcome ruffles 00:36:06 ruffles: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 00:37:39 hey 00:37:52 idk what esoteric laguages are tbh joined outa curiosity :v 00:38:35 -!- ThatOtherPerson has quit (Ping timeout: 240 seconds). 00:39:03 the wiki is there for discovering them! there's also us in this channel. 00:39:42 you can even peruse the PDF in the topic for some... uh... clarifications about things that tend to happen here. 00:39:56 can u gimme a one sentence abt-page 00:40:33 ruffles: Salvador Dali: Programmer Edition 00:41:10 ty 00:42:19 that's strangely accurate. 00:43:30 ruffles: if you want, there are a few well known classics to read about: brainfuck, befunge, intercal, underload, malbolge, aubergine... 00:46:41 gobood evenilyng 00:46:56 hippavilion1 00:47:10 what is the goal tho 00:47:33 like what esoteric nature seeks to be aroused by esoteric programs? 00:47:43 @messages- 00:47:43 int-e said 9h 23m 56s ago: Indeed I did. 00:47:43 int-e said 7h 59m 38s ago: have you encountered the game called "CLOP"? 00:49:15 ruffles: esoteric programming is exploring the limits of computation and program form. it's a kind of poetry with constrained writing. 00:49:46 like sacred geometry code? 00:50:14 it can be anything you want. except a brainfuck derivative. shun the brainfuck derivative. 00:50:32 lmao k 00:51:13 @ask int-e ARGH! 00:51:13 Consider it noted. 00:51:29 oerjan: i played enough of this game to see that it's designed to thwart people like me 00:51:58 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 yay i got back on all feet again 00:52:42 omg lets convince machines that sacrificing humans will save their souls 00:52:53 oerjan: all feet? how many do you have? 00:53:39 four 00:53:50 well, Clop does 00:54:05 what's a clop? is it like qwop with a horse? 00:54:14 precisely! 00:54:21 well, looks like it. 00:54:30 ruffles: that is generally frowned upon. 00:54:53 fungot: your soul is already saved, don't listen to him! 00:54:54 oerjan: riastradh has the power to make sure 00:54:54 oerjan: oh hm. I can't clop. it appears that I may have uninstalled flash... 00:54:55 heh k 00:55:15 but srsly tho 00:55:18 like westworld? 00:55:38 still no. I like the body that's me. 00:55:42 i wonder if the internet has natural selection 00:55:49 tru same 00:59:42 `wisdom 00:59:44 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 argh the horse turned lame. this wasn't fun. 01:00:41 ruffles: all selection on the internet is artifical hth 01:01:15 ikno thats why i didnt ask that 01:01:32 oerjan: i told you hth 01:01:33 *+i 01:01:40 when i see program vs program then il kno 01:02:04 -!- Sprocklem has joined. 01:02:12 shachaf: i'm not necessarily a person like you. i assume you too tried with just h and k? 01:02:34 just two of them at any rate 01:02:42 ruffles: oh. then you want to look at bfjoust 01:02:44 don't remember which 01:02:49 !help 01:02:49 oerjan: I do !zjoust; see http://zem.fi/bfjoust/ for more information. 01:03:36 !zjoust >>>>>>>>>([-]>[+]>)*-1 01:03:36 oerjan: "!zjoust progname code". See http://zem.fi/bfjoust/ for documentation. 01:03:46 !zjoust lame_horse >>>>>>>>>([-]>[+]>)*-1 01:03:46 oerjan.lame_horse: points -7.81, score 13.39, rank 34/47 01:03:58 hm that's far too high 01:04:22 i suppose the scoring may still not have rebalanced 01:05:32 ruffles: see also codewar 01:05:52 !zjoust rehydrated_shiitake >[[-.]>] 01:05:52 boily.rehydrated_shiitake: points -32.62, score 4.85, rank 47/47 01:05:56 hm. 01:05:59 uuuh. 01:06:02 that's real bad. 01:06:17 shachaf: well h and k got me to the first stone obstacle. 01:06:48 cant use brwoser rn 01:07:01 but wats codewar? 01:07:27 @metar EGLL 01:07:27 EGLL 140050Z AUTO 30005KT 9999 NCD 01/M02 Q1018 NOSIG 01:07:36 I forgot to do that when it was snowing earlier today. 01:07:38 ruffles: it's a game where people make programs to fight each other 01:07:47 @metar ENVA 01:07:47 ENVA 140050Z VRB02KT 9999 -SN FEW004 SCT015 BKN038 00/M00 Q0992 RMK WIND 670FT 33005KT 01:07:54 snow here too 01:08:11 i guess it's more interesting in london 01:08:53 @metar CYUL 01:08:54 CYUL 140100Z 31008KT 15SM SKC M12/M21 A3077 RMK SLP425 01:09:11 oerjan: cow. 01:09:31 G0T M1LK? 01:09:58 -!- Akaibu has joined. 01:11:14 ruffles: what are your approximative geographic coördinates and body weigh? 01:11:28 . o O ( REPETIVE CHICKEN ) 01:14:11 why tho 01:14:45 today's Drive comic is hilarious but you have to know the characters 01:15:16 ruffles: it's the The Question. everybody gets asked it. 01:16:20 im inclined to ask the nature of the request tho 01:17:04 ruffles: well it started way back when someone asked about the center of mass of the channel... 01:17:20 of mass? 01:17:24 explain 01:17:32 that's a physics concept. 01:17:53 but anyway, to calculate it we need people's coordinates and body weigh. 01:18:03 boily: HOW'S CALCULATION GOING 01:18:30 * oerjan waiting for boily's patented sweat drop smiley 01:18:57 -!- ThatOtherPerson has joined. 01:19:28 >_>'... 01:19:41 thank you. 01:19:45 :v 01:20:26 im tryna practice to see if i can read ppls mind through their thoughts 01:20:39 iherently its like an energetic keylogger 01:20:52 `? esoteric 01:20:54 This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet. 01:21:12 thanks saw that earlier :v 01:21:14 u a bot? 01:21:19 HackEgo is 01:21:21 nvm 01:21:27 yea exactly 01:21:34 ik ik the topic 01:21:47 still, was curious abt the programmable aspects of it 01:21:56 maybe algorythms for divination 01:23:10 `8ball Are algorithms for divination a good idea? 01:23:12 It is decidedly so. 01:23:30 lmao 01:23:51 should i get off the chan then? 01:23:56 idk wat i can contribute tbh 01:24:03 but it was on autojoin soo 01:24:08 `8ball will my life be improved if i follow 8ball's advice? 01:24:09 It is decidedly so. 01:24:13 i love freenode its so diverse 01:24:38 fungot: are you more accurate than a puny 8 ball? 01:24:38 boily: and some say that i screwed up on that 01:24:55 fungot: yes, but what do you think? 01:24:55 oerjan: do what you think. ( mit scheme) 01:25:04 ^8ball did we have this command? 01:25:04 Yes. 01:25:13 -!- ffj-bot has quit (Remote host closed the connection). 01:25:18 fungot: Thanks. 01:25:18 fizzie: the reason that the pascal syntax was chosen, i think. i could paint it, but it'd be nice 01:25:25 . o O ( did fizzie test that first? ) 01:25:26 -!- ffj-bot has joined. 01:25:34 oerjan: No, I like to live dangerously. 01:25:41 ah. 01:25:45 (Well, that's not true. But this time I didn't.) 01:28:57 ruffles: well mysticism and that sort of thing are rarely discussed here, but many kind of mathematical/logical nerd topics are. 01:29:27 ahh i see 01:29:27 (most people who state any kind of belief here are atheists or close to it.) 01:33:03 I consider myself panendeist, but yes probably most are atheist 01:38:57 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 Hey y'all. The wikipedia page for binary lambda calculus has been deleted: https://en.wikipedia.org/wiki/Binary_lambda_calculus 02:00:46 Perhaps someone with a better understanding of wikipedia than I could fix that? 02:01:02 The reasons do not seem sufficient: https://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletion/Binary_lambda_calculus 02:01:18 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 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 only finding actual references providing the notability criterion can reverse that decision, and since no one did... 02:12:56 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 Doesn't seem like they looked for any reason to keep it.. sorta stupid IMO 02:14:36 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 dingbat: many esolangs themselves have been deleted over the years. 02:15:46 Yeah unfortunately the talk page wasn't archived by wayback machine 02:16:19 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 (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:39:00 oerjan: I never do 02:39:08 oerjan: And also, yeah, worse too. 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 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 It is not but it is a music program. 07:17:37 (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:18 `? coffee 13:43:36 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 `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 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:54:34 `? tea 13:54:38 tea? ¯\(°_o)/¯ 13:58:11 `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 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 `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 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:00 mmm tea 14:34:43 . o O ( The shakrad world ) 14:37:32 @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:37:32 Consider it noted. 14:38:18 @tell oerjan (CLOP came up as a related video) 14:38:18 Consider it noted. 14:57:33 -!- Akaibu has quit (Quit: Connection closed for inactivity). 15:09:42 . 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:10:14 ħełłø everyßøđy 17:11:00 ß is not β 17:12:31 wħy wøułđ I wæŋŧ iŧ ŧø ße β? ß łøøĸs łiĸe b æŋywæy 17:14:52 łøł 17:24:45 pronouncing that is awkward with all the /ŋ/ and /ø/ and things 17:25:06 ßome people ßeem to think it iß 17:25:22 * FireFly . o O ( foß software ) 17:29:59 . o O ( at least rdococ didn't use В ) 17:36:38 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:38:56 wtf is UTCE 17:40:22 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:28 hi 19:39:51 So... AGDQ TAS block is next. 19:47:39 hi Vorpal 19:52:22 shachaf: hi 19:52:42 shachaf: watching AGDQ? I assume ais is, whereever he is, he was way into TASes iirc 19:55:57 I haven't been. 20:09:30 Oh, it's AGDQ? 20:09:37 Didn't realize at all. 20:16:09 fizzie: TAS segment right now 20:19:01 Yeah. I don't know if I'm finding this Gradius run all that interesting. 20:21:10 true 20:21:24 fizzie: very extravagant though 20:22:18 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 that it goes through xbox input controller emulation 20:28:29 -!- boily has joined. 20:32:31 wow, streaming video to a SNES? 20:33:45 rather low FPS, but still 20:35:28 at which point does a sequence of still frames become a video? 20:35:40 boily: good question 20:35:53 still impressed they can do that to a SNES 20:37:54 oh come on, this is now how I wanted to watch the portal TAS 20:37:59 not* 20:39:15 -!- DHeadshot has quit (Ping timeout: 240 seconds). 20:41:28 Vorpal: It's not like you could follow what's happening anyway. 20:41:35 (I've watched a few of them.) 20:41:37 -!- Marcela_- has joined. 20:41:45 fizzie: well, okay 20:42:14 fizzie: I would be interested in TASes of PC games though, though I guess portal could be on a console 20:42:27 Wouldn't it desync a lot? 20:42:35 Due to variable performance of PCs 20:43:47 http://tasvideos.org/Movies-Windows-Stars-Moons.html has a few. 20:43:54 I think mostly done with http://tasvideos.org/EmulatorResources/Hourglass.html 20:44:42 no mouse input? How does that work 20:44:59 with most games I mean 20:46:48 -!- Marcela_- has left. 20:48:55 I see they're making the most out of this streaming video thing. 20:48:57 Okay, this is cool and all, but they keep going on the same basic thing, streaming low quality video to a SNES 20:49:06 fizzie: yeah.... 20:49:30 I would rather see something new 20:52:04 Well, the explanation bit was nice. 20:52:15 Hadn't realized it was the other two games doing the sound. 20:53:31 yeah 20:57:18 ooh twitch plays x for some x 20:57:34 Assuming they can get it working. 20:58:25 well, the emotes cover everything 20:59:25 and the twitch chat is insane in the games done quick channel as usual 20:59:31 more than usual now though 20:59:36 I usually just close it. 20:59:39 indeed 20:59:56 fizzie: but on tablet at least it is always open by default when you open a channel 21:00:06 So I see a few seconds of it 21:00:11 I think that's true on a browser as well. 21:00:22 Possibly, this laptop can't handle twitch. Too old 21:00:45 I probably need to get a new one soon 21:02:43 As usual, the full AGDQ schedule is just SO LONG. 21:02:54 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 Maybe I'll wait until someone posts a "best things to watch" thing. 21:03:22 I usually just watch what sounds interesting on their youtube channel after 21:03:31 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 you have a cat stream? 21:03:54 "My" as in "the one I watch". 21:03:58 and it has an active chat? 21:03:59 oh 21:04:23 fizzie: what is a cat stream? a web cam mounted on a cat? 21:04:33 A web cam pointed at cats. 21:04:36 https://www.youtube.com/watch?v=feE5rkgnt6c 21:04:42 the other would be cooler 21:04:56 It's a person who volunteers for a no-kill cat shelter. 21:05:21 So they usually have a set of kittens up until they're old enough to be adopted away. 21:05:42 24h? 21:06:07 Yes, though cats being cats, often they're just sleeping. 21:06:25 fair enough 21:06:50 Kittens probably sleep less than adult cats, though. 21:06:58 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 also that is a lot of stuff for giveaway at ADGQ now 21:07:41 It's an easy substitute for having a cat around. 21:08:42 ooh and DS 3 next, that sounds interesting 21:08:54 Wonder what platform they will speed run it on 21:10:24 probably not PC, I assume you want a console, to get lower frame rate, making frame perfect tricks easier 21:10:40 on the other hand, loading time would be better on PC 21:15:00 probably going to sleep though, and watch the replay of that instead 21:27:56 -!- Marcela_- has joined. 21:30:43 Okay, this is cool and all, but they keep going on the same basic thing, streaming low quality video to a SNES 21:30:49 they were doing it for effect 21:31:48 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:36:43 the uneducated masses 21:37:31 Phantom_Hoover: still impressive that they can make the SNES do that 21:37:44 yeah 21:38:05 though that they made two NES do the audio explains some of that 21:39:27 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 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 It's like upscaled standard definition 21:41:52 and I'm watching on source quality on twitch 21:42:32 idk 21:43:03 I noticed quite a few production quality issues over the past week. Bad audio mixing mostly before though 21:47:18 good night 21:50:12 -!- augur has joined. 22:03:04 -!- Sprocklem has joined. 22:05:12 -!- hppavilion1 has joined. 22:08:00 `wisdom 22:08:17 u//u monad? 22:08:25 `rm wisdom/u 22:08:30 No output. 22:09:14 `wisdom 22:09:17 article//An article is something that `learn can understand. 22:09:39 `wisdom 22:09:41 ¯\(°_o)/¯//¯\(°_o)/¯ is a misspelling of ¯\(°_o)/¯ 22:09:43 `wisdom 22:09:44 deewiant//Deewiant is the world expert on Befunge conformance testing. 22:09:52 `wisdom 22:09:53 supermarionation//supermarionation is another name for the mushroom kingdom. 22:10:18 `slwd supermarionation//ss^\ssSs 22:10:21 supermarionation//Supermarionation is another name for the mushroom kingdom. 22:10:25 `wisdom 22:10:26 toe//The TOE is the Toe of Everything, from which our universe sprang. 22:11:08 . o O ( if the toe is everything, what are the other four? ) 22:11:10 `wisdom 22:11:12 maybe//Maybe a is Just a or Nothing 22:11:15 `wisdom 22:11:17 monomorphism//A monomorphism is just an epimorphism in the opposite category. 22:11:26 `wisdom 22:11:27 codoctor//P⚭Q ∧ P ∈ 𝔻𝕣 → Q ∈ 𝔻𝕣* 22:12:33 . o O ( I still haven't typeset that one... ) 22:12:36 `wisdom 22:12:37 isomorphism//Isomorphism is isomorphic to Phantom_Hoover up to isomorphism. 22:19:34 -!- Marcela_- has left. 22:47:41 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 The upper bound is \summ{i=1}{s}{n^i}, but I'm pretty sure it can get shorter 22:49:04 Oh, wait 22:49:47 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 I think I saw an answer to this, in the context of decimal digits and all strings of length 4. 22:59:05 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 https://en.wikipedia.org/wiki/De_Bruijn_sequence 23:03:58 mixukmDe Bruijn sequences are too good 23:04:03 Er. 23:05:23 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:28 `wisdom 23:35:45 tsh//tsh sounds horrendous 23:43:08 `wisdom 23:43:13 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 monads are easy, once you build up upon functor and applicative. 23:44:54 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).