00:00:39 @messages-gold 00:00:39 boily asked 11h 46m 17s ago: hellørjan. are you getting more? 00:01:06 boily: no, but i've bought an extra box of coffee-flavored chocolate beans 00:01:09 bonsœirjan! 00:01:14 ooooooh ^^ 00:03:18 aka https://scontent.cdninstagram.com/t51.2885-15/e15/14712378_363636503979945_8154970686859771904_n.jpg 00:03:41 decadent. 00:04:14 (although the packaging was different this time, they're having this thing where they're recycling old versions for their anniversary) 00:04:46 *+100th 00:04:47 boily: yay I think I have figured out how to abstract from that longish proof I showed you yesterday :) 00:04:53 -!- tromp has joined. 00:05:37 boily: (but it means that I have to redo large parts of the formalization) 00:06:22 -!- augur has joined. 00:06:33 ah https://no.wikipedia.org/wiki/Mokkab%C3%B8nner has a picture of several of them at the bottom, mine is fourth from right 00:07:44 int-ello! that scary proof? 00:08:16 boily: that scary proof: http://downthetypehole.de/paste/So5kdG0C 00:09:27 -!- tromp has quit (Ping timeout: 240 seconds). 00:12:08 boily: you may recall that you said "isn't that just a loop" and now I know how to abstract from that concept. 00:15:47 -!- jaboja has joined. 00:16:04 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 00:19:52 -!- callforjudgement has joined. 00:20:02 -!- ais523 has quit (Read error: Connection reset by peer). 00:20:05 -!- callforjudgement has changed nick to ais523. 00:29:05 int-e: that's what I said. is the abstraction effective? 00:59:36 -!- tromp has joined. 00:59:46 @tell wob_jonas I'm saying that the only rules you need are a^-1 a = a a^-1 = 1, from which abc = 1 <=> bca = 1 follows for monoids. 00:59:46 Consider it noted. 01:02:53 @tell wob_jonas Unless, I guess, the formalism doesn't support reasoning fully with monoid equations. 01:02:53 Consider it noted. 01:04:05 -!- tromp has quit (Ping timeout: 260 seconds). 01:04:35 `dowg friend 01:04:44 11311:2018-01-09 learn friend is a portmaneau of fritter and rend \ 5596:2015-06-16 rm wisdom/friend \ 3622:2013-09-03 mv wisdom/friend{s,} 01:05:00 . o O ( reminder to self: never ask Taneb to friend me ) 01:05:00 the old one was scow hth 01:05:21 `slwd friend//s,mane,mante, 01:05:23 friend//friend is a portmanteau of fritter and rend 01:06:03 `dowt friend 01:06:11 3622:2013-09-03 mv wisdom/friend{s,} \ 5596:2015-06-16 rm wisdom/friend \ 11311:2018-01-09 learn friend is a portmaneau of fritter and rend \ 11314:2018-01-10 slwd friend//s,mane,mante, 01:06:40 `` hg cat -r 0 wisdom/friends 01:06:41 wisdom/friends: no such file in rev e037173e0012 01:06:48 -!- sprocklem has joined. 01:06:59 `` hg cat -r 3622 wisdom/friend 01:07:00 Friends make graphs together / La la la la 01:07:08 La scow 01:07:49 . o O ( There's probably a reference I'm not getting ) 01:08:10 It's a lyric from a song. 01:08:17 But it's scow so whatever. 01:08:19 OKAY 01:08:52 `5 w 01:08:58 1/3:absolute value//The absolute value of a number, also known as its cosign, is its distance from zero regardless of direction. It shouldn't be negative, but Sgeo is trying to break maths. \ dwfo//DWFO is the Doctor Who Fan Orchestra, . \ tanebventions: food//Culinary tanebventions include automatic squirrel feeders, weet 01:09:19 `n 01:09:21 2/3:oflakes, mushrooms, nutella, and cognac. \ code//[11,11,11,15,15,23,12],[5,5,5,3,53,45,16,26,00,20,15,16,22,25,45,91,32,11,15,27,06,01,11,01,47,22,30,13,43,21,11,13,29,61,65,17,19,12,28,17,11,01,23,20,16,20,81,18,32,25,58,22.,1985,10.301350435,1555466973690094680980000956080767,13720946704494913791885940266665466978579582015128512190078... \ 01:09:27 `n 01:09:28 i cannot even google the lyrics, it seems 01:09:28 3/3:metasepia//metasepia knew the weather at your nearest airport, and also something about ducks. 01:24:28 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 01:35:27 [[Talk:List of ideas]] https://esolangs.org/w/index.php?diff=53797&oldid=53796 * Oerjan * (+295) unsigned + other example 01:39:39 boily: you'll be happy to know that i got an earworm from the link i gave you yesterday hth 01:40:01 `wisdom irony 01:40:02 ​extreme irony//Extreme irony is what happens when you get a Darwin award for extreme ironing. 01:40:26 i hope the earworm doesn't get _that_ bad. 01:46:15 mwah ah ah. MWAH AH AH! 01:47:35 you can cleanse the worm by using that: https://youtu.be/I0JVRcJLea8 hth 01:50:33 helloily, hell\oren\ 01:50:47 i am in tokyo 01:56:25 any jams to jam? 01:56:48 helloochaf! you're in tokyo!?!?!??!! 01:56:52 -!- ais523 has quit (Remote host closed the connection). 01:57:29 you should visit ueno. 01:58:06 -!- ais523 has joined. 01:59:39 the senso-ji. 01:59:50 a buncha other things I forgot... 02:03:15 boily: i'm not sure that cleansed anything, but we'll see. (of course now youtube is going to suggest japanese music to me...) 02:05:04 `wisdom seen 02:05:05 That's not wise. 02:12:36 `? seen 02:12:37 seen? ¯\(°​_o)/¯ 02:18:07 -!- atslash has quit (Ping timeout: 248 seconds). 02:18:22 -!- atslash has joined. 02:19:02 oerjan: slow acting ecoresponsible cleansing. don't worry, everything will be fine. and disco. 02:19:12 -!- boily has quit (Quit: FAVOURITE CHICKEN). 02:22:57 . o O ( disco might work better ) 02:23:01 `quote abba 02:23:02 549) i am sorry to disappoint you, but my musical taste is on the side abba, verdi, and celine dion. i know this may not be popular and that you would have preferred me to be a satanist. 02:23:49 if this were a wisdom instead of a quote, i might recently be adding theodorakis. 02:25:58 `le/rn oerjan's musical taste/disappointingly, oerjan's musical taste is on the side abba, verdi, and celine dion. 02:32:46 -!- jaboja has quit (Remote host closed the connection). 02:47:15 -!- tromp has joined. 02:51:35 -!- tromp has quit (Ping timeout: 240 seconds). 03:06:07 yay, much better: http://downthetypehole.de/paste/KXtOefuy instead of http://downthetypehole.de/paste/So5kdG0C 03:07:04 1 file changed, 200 insertions(+), 404 deletions(-) 03:08:14 (now 396 total, so that's a significant decrease) 03:34:04 -!- ais523 has quit (Remote host closed the connection). 03:34:16 -!- ais523 has joined. 03:41:56 -!- tromp has joined. 03:46:09 -!- tromp has quit (Ping timeout: 248 seconds). 03:55:41 wow, someone added Ursala to the polygloy 03:55:44 *polyglot 03:56:34 I think Ursala is one of my favourite languages at the practical/esolang boundary 03:56:41 although it seems that the author has by now given up and admitted it's an esolang 03:59:30 -!- tromp has joined. 04:04:20 -!- tromp has quit (Ping timeout: 260 seconds). 04:55:40 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 05:18:08 -!- tromp has joined. 05:18:41 <\oren\> 窃窒窟窮窯竜端 05:18:41 <\oren\> 符筒箇箋箸範篤簿籍籠粋粒粗粘粛粧糧糾紋紛 05:18:41 <\oren\> 紡索紫累紳紹紺絞絡継維綱網綻緊緒締緩緯緻 05:18:43 <\oren\> 縁縄縛縫繁繊繕繭繰罰罵 05:22:51 -!- tromp has quit (Ping timeout: 268 seconds). 05:28:52 -!- variable has joined. 05:36:12 -!- variable has quit (Quit: /dev/null is full). 05:41:09 -!- augur has quit (Remote host closed the connection). 05:42:01 -!- augur has joined. 05:43:36 <\oren\> https://www.youtube.com/watch?v=gjQ4xxYQyIo 05:50:27 -!- ais523 has quit (Ping timeout: 240 seconds). 05:58:37 -!- erkin has joined. 05:59:50 -!- Sgeo has quit (Read error: Connection reset by peer). 06:03:21 -!- Sgeo has joined. 06:12:57 -!- tromp has joined. 06:17:14 -!- sleffy has quit (Ping timeout: 255 seconds). 06:17:17 -!- tromp has quit (Ping timeout: 256 seconds). 06:59:46 -!- tromp has joined. 07:07:03 -!- ATMunn has quit (Ping timeout: 246 seconds). 07:09:51 -!- Bowserinator has quit (Ping timeout: 248 seconds). 07:16:22 -!- ATMunn has joined. 07:17:29 -!- Bowserinator has joined. 07:20:24 <\oren\> `unidecode ̶̤̦̯͖͚͓̮͓̣̤̰͇́̕ ̴͜͏͈̭̦͙̦̯̟̗̜̼̠̦͘ ̶̶̡̢̲̱̜̹̰̻̘̪̳̫͕̙̕ ̡҉͎̦̙̰̻͉̜̝̺͚̻͇̞̺̦͓́ ̨̘̤̜̞͍̩̠̱̦̫͔̹̩͍͇̜͈́̕͞ͅͅ ̴̴̧̣͍̘̰̗̮̜̰̲̣̙̲̝͚̩̦̭̀͡ ̧̗͚̱͓̥̖͍͕̀ ̫̪͇̗̲̭̤͖̫̣͇͔͘ ͕͚͎̦͓̺̤̳̙̝͟ͅ ̸͉̫̘̩͙͖̼̣̞̞̰̼̞͕̀ ̶̗͓͎͓̦̙̭̳̻̫̥̯̱͚̦͔͍͙͟ ̶͜҉͏̞̺̙̥̦̪͇̯̳͍̬̱̰̘̺̠̀ ̀͞ 07:20:34 Traceback (most recent call last): \ File "/hackenv/bin/unidecode", line 4, in \ s = u" ".join("[U+{0:04X} {1}]".format(ord(c), unicodedata.name(c, "DUNNO")) for c in " ".join(sys.argv[1:]).decode("utf-8")).encode("utf-8") \ File "/usr/lib/python2.7/encodings/utf_8.py", line 16, in decode \ return codecs.utf_8_decode(input, err 07:20:44 <\oren\> lol 07:20:51 <\oren\> `unicode ̶̤̦̯͖͚͓̮͓̣̤̰͇́̕ ̴͜͏͈̭̦͙̦̯̟̗̜̼̠̦͘ ̶̶̡̢̲̱̜̹̰̻̘̪̳̫͕̙̕ ̡҉͎̦̙̰̻͉̜̝̺͚̻͇̞̺̦͓́ ̨̘̤̜̞͍̩̠̱̦̫͔̹̩͍͇̜͈́̕͞ͅͅ ̴̴̧̣͍̘̰̗̮̜̰̲̣̙̲̝͚̩̦̭̀͡ ̧̗͚̱͓̥̖͍͕̀ ̫̪͇̗̲̭̤͖̫̣͇͔͘ ͕͚͎̦͓̺̤̳̙̝͟ͅ ̸͉̫̘̩͙͖̼̣̞̞̰̼̞͕̀ ̶̗͓͎͓̦̙̭̳̻̫̥̯̱͚̦͔͍͙͟ ̶͜҉͏̞̺̙̥̦̪͇̯̳͍̬̱̰̘̺̠̀ ̀̀͞ 07:20:55 Sequence ' \xcc\xb6\xcc\x95\xcd\x81\xcc\xa4\xcc\xa6\xcc\xaf\xcd\x96\xcd\x9a\xcd\x93\xcc\xae\xcd\x93\xcc\xa3\xcc\xa4\xcc\xb0\xcd\x87 \xcd\x9c\xcc\xb4\xcd\x8f\xcd\x98\xcd\x88\xcc\xad\xcc\xa6\xcd\x99\xcc\xa6\xcc\xaf\xcc\x9f\xcc\x97\xcc\x9c\xcc\xbc\xcc\xa0\xcc\xa6 \xcc\xa1\xcc\xb6\xcc\xa2\xcc\xb6\xcc\x95\xcc\xb2\xcc\xb1\xcc\x9c\xcc\xb9\xcc\xb0\xcc\xbb\ 07:21:04 <\oren\> wtf 07:29:36 -!- augur has quit (Remote host closed the connection). 07:30:14 -!- augur has joined. 07:30:53 -!- sprocklem has quit (Ping timeout: 276 seconds). 07:34:27 -!- augur has quit (Ping timeout: 240 seconds). 07:36:29 -!- tromp has quit (Remote host closed the connection). 07:42:06 -!- tromp has joined. 07:56:27 -!- tromp has quit (Remote host closed the connection). 08:02:43 -!- hppavilion[1] has joined. 08:26:29 -!- tromp has joined. 08:31:26 -!- tromp has quit (Ping timeout: 252 seconds). 08:34:29 -!- oerjan has quit (Quit: Nite). 08:39:20 -!- moei has joined. 09:09:40 -!- augur has joined. 09:11:31 -!- augur has quit (Remote host closed the connection). 09:13:26 -!- tromp has joined. 09:18:25 -!- tromp has quit (Ping timeout: 268 seconds). 09:29:35 -!- MrBusiness3 has quit (Ping timeout: 265 seconds). 09:29:40 -!- MrBusiness has joined. 09:41:17 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 09:51:33 -!- LKoen has joined. 10:05:25 @messages 10:05:25 You don't have any messages 10:52:20 shoyu tonkotsu 10:57:34 -!- tromp has joined. 11:02:23 -!- tromp has quit (Ping timeout: 248 seconds). 11:13:49 -!- honigkuchen has joined. 11:14:14 -!- honigkuchen has quit (Remote host closed the connection). 11:14:19 -!- tromp has joined. 11:28:33 -!- sdfgsdf has quit (Ping timeout: 248 seconds). 11:34:56 -!- boily has joined. 11:36:33 -!- FreeFull has quit (Ping timeout: 246 seconds). 11:37:22 -!- FreeFull has joined. 11:39:44 @massages-loud 11:39:44 You don't have any messages 11:44:23 -!- FreeFull has quit (Ping timeout: 276 seconds). 12:21:39 -!- boily has quit (Quit: PUNCTUAL CHICKEN). 12:24:34 -!- LKoen_ has joined. 12:26:00 -!- LKoen has quit (Ping timeout: 265 seconds). 13:50:42 -!- FreeFull has joined. 14:05:35 -!- int-e has left ("ILLITTARAT CHICKUN"). 14:05:36 -!- int-e has joined. 14:22:07 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 14:43:25 -!- tromp has quit (Remote host closed the connection). 15:04:23 -!- tromp has joined. 15:05:20 -!- `^_^v has joined. 15:07:54 -!- AnotherTest has joined. 15:24:18 -!- LKoen_ has quit (Remote host closed the connection). 15:45:16 Not exactly on-topic but at least there's maybe a nonzero component in the right direction... 15:45:19 What do people use for doing declarative 2D diagrams? I can think of straight-up SVG or PS (little too low-level), TikZ (nice in a (La)TeX doc, maybe less convenient standalone), the pic language (much retro), OpenSCAD (too 3D), Metapost and Asymptote (don't know enough to comment on). What else is there, and what's good? 15:47:11 -!- AnotherTest has quit (Ping timeout: 240 seconds). 15:58:36 -!- LKoen has joined. 16:02:28 -!- ais523 has joined. 16:12:06 -!- danieljabailey has quit (Read error: Connection reset by peer). 16:19:35 -!- ais523 has quit (Quit: rebooting). 16:25:21 -!- ais523 has joined. 16:25:39 -!- jaboja has joined. 16:46:36 -!- sprocklem has joined. 16:49:31 -!- erkin has joined. 17:03:17 -!- callforjudgement has joined. 17:03:21 -!- ais523 has quit (Remote host closed the connection). 17:03:33 -!- callforjudgement has changed nick to ais523. 17:05:41 -!- ATMunn has quit (Ping timeout: 255 seconds). 17:09:21 -!- Bowserinator has quit (Ping timeout: 248 seconds). 17:14:49 -!- zseri has joined. 17:15:52 -!- Bowserinator has joined. 17:17:12 -!- ATMunn has joined. 17:23:09 -!- sprocklem has quit (Ping timeout: 264 seconds). 17:23:18 -!- stevooo has joined. 17:24:41 -!- stevooo has left. 18:09:42 -!- Phantom_Hoover has joined. 18:13:33 -!- tromp has quit (Remote host closed the connection). 18:21:26 -!- LKoen has quit (Remote host closed the connection). 18:29:57 -!- garit has quit (Ping timeout: 240 seconds). 18:32:25 -!- tromp has joined. 18:41:25 fungot: how many npm packages do you depend one? 18:41:25 int-e:... what's the point?) hardware... some day i'd like to have a point 18:41:44 uhm, on. 18:42:14 -!- LKoen has joined. 18:42:45 -!- LKoen has quit (Remote host closed the connection). 18:54:46 -!- shikhin has quit (Quit: Alas.). 18:55:24 -!- shikhin has joined. 19:07:30 -!- tromp has quit (Remote host closed the connection). 19:21:54 -!- sleffy has joined. 19:22:45 oh 19:25:18 -!- garit has joined. 19:25:18 -!- garit has quit (Changing host). 19:25:18 -!- garit has joined. 19:40:51 <\oren\> falcon heavy static firing tomorrow 19:59:05 -!- tromp has joined. 19:59:09 -!- sleffy has quit (Ping timeout: 264 seconds). 20:03:55 -!- tromp has quit (Ping timeout: 260 seconds). 20:07:56 -!- erkin has quit (Read error: Connection reset by peer). 20:31:37 <\oren\> (to the extent that a tesla roadster is a "spacecraft") 20:36:15 -!- zseri has quit (Quit: Leaving). 20:42:29 you could throw it in space 20:42:38 it would not be a very airtight spacecraft 20:42:43 or very controllable 20:44:40 <\oren\> I still can't believe the madman is actually gonna do it. but i mean there are photos of it being loaded. so there is actually a car on top of a rocket, on the Apollo launch pad, right now. 20:45:09 <\oren\> static fire tomorrow... 20:45:56 <\oren\> launch at the end of the month. one of the first privately-funded interplanetary spacecraft is just a stock, road-legal car. 20:46:08 is it space legal 20:46:35 <\oren\> Slereah: apparently, if Nasa is letting them use their launch pad 21:08:10 I hope they at least have some sort of sensors on it 21:13:19 -!- staffehn_ has quit (Remote host closed the connection). 21:16:59 -!- erkin has joined. 21:18:31 -!- sleffy has joined. 21:18:57 -!- jaboja has quit (Ping timeout: 264 seconds). 21:23:50 -!- staffehn has joined. 21:34:09 -!- erkin has quit (Ping timeout: 256 seconds). 21:37:14 -!- erkin has joined. 21:37:24 -!- Mayoi has joined. 21:38:38 -!- erkin has quit (Client Quit). 21:38:38 -!- Mayoi has quit (Client Quit). 21:38:51 fizzie: I like TikZ when I want something visually pleasing, or if not I'm more likely to just do unicode art with box-drawing characters in vim honestly 21:38:57 which is probably a bit of a non-answer 21:39:14 (and I guess not really declarative) 21:39:21 -!- erkin has joined. 21:40:03 I wonder if there's a convenient way of doing standalone TikZ. 21:40:31 https://tex.stackexchange.com/questions/32127/standalone-tikz-pictures suggests there isn't too much boilerplate. 21:40:47 Started fiddling with pic anyway though, might just go ahead with that. 21:41:50 mmm.. pic would be interesting to toy with a bit 21:47:00 -!- tromp has joined. 21:51:29 -!- tromp has quit (Ping timeout: 248 seconds). 22:06:09 Having some trouble with figuring out how to define a macro that styles an arbitrary line. `define foo { line $1; }` worked fine for simple `foo(from X to Y);` stuff, but not for more complicated things, I think it's taking the , to be argument separator. 22:16:48 -!- augur has joined. 22:24:43 ...and seems that pic2plot doesn't do colors (except for the global pen color). This would've been nice to know beforehand. 22:28:34 Maybe I should've gone with Asymptote instead. 22:36:32 -!- tekken has joined. 22:36:35 -!- tekken has quit. 22:43:11 -!- tromp has joined. 22:43:36 -!- LKoen has joined. 22:43:45 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:48:25 -!- LKoen has quit (Ping timeout: 260 seconds). 22:48:41 -!- tromp has quit (Ping timeout: 276 seconds). 22:50:13 -!- boily has joined. 22:50:47 helloily 22:54:47 QUINTHELLOPIA! 22:56:58 how do 22:57:09 it's january m8 22:57:34 the do does well. do you also do? 22:57:37 yup. 22:57:49 21? 22:58:41 sure 22:58:50 at 1800? 23:00:30 maybe 1900, but I'll try. 23:01:50 -!- tromp has joined. 23:06:17 ok 23:21:27 meanwhile, subtly broke a buncha packages. 23:21:40 remove ubuntu-desktop and just about everythin? eh, why not! what could go wrong... 23:22:42 lel 23:22:48 sounds like a pain 23:23:16 i stayed up all night watching my favorite streamer play ddlc 23:23:28 I tried to forcefully ram a newer version of okular by “dpkg -i”ing my way through dependencies. 23:23:31 bad idea. 23:23:36 a bot joined the stream pretending to be monika 23:23:42 pretty hilar 23:23:42 ha ha ha ha ha :D 23:25:20 -!- tromp has quit (Remote host closed the connection). 23:25:27 and linked this twitter: https://mobile.twitter.com/sayori_chr_ 23:28:25 Ō_Ō... 23:29:06 meanwhile, repaired the fungot out of my system. all systems go! 23:29:06 boily: or maybe it is best for beginners i think 23:29:35 fungot: well, beginners may want up to date apps sometimes. ubuntu and their antediluvian policies... 23:29:36 boily: the closest i could get my dad to ask him what his programming background is. 23:29:41 hurray 23:29:52 thats working together as a space team! 23:30:06 fungot: I don't think dad ever programmed. now if you ask mom... 23:30:06 boily: so 0 and 1 23:30:12 fungot: no, more like APL. 23:30:12 boily: _that_ would be ugly. :) i'm trying to strike a balance between the gates 23:30:23 fungot: APL is ugly indeed. 23:31:51 -!- ATMunn has quit (Ping timeout: 240 seconds). 23:31:51 -!- Bowserinator has quit (Ping timeout: 240 seconds). 23:38:13 -!- tromp has joined. 23:38:20 -!- Bowserinator has joined. 23:39:54 -!- ATMunn has joined. 23:45:27 FireFly: Just to provide some closure here, decided to fall back to TikZ, at least I know a little about how to use it. 23:49:01 -!- tromp has quit (Remote host closed the connection).