00:00:39 <lambdabot> boily asked 11h 46m 17s ago: hellørjan. are you getting more?
00:01:06 <oerjan> boily: no, but i've bought an extra box of coffee-flavored chocolate beans
00:03:18 <oerjan> aka https://scontent.cdninstagram.com/t51.2885-15/e15/14712378_363636503979945_8154970686859771904_n.jpg
00:04:14 <oerjan> (although the packaging was different this time, they're having this thing where they're recycling old versions for their anniversary)
00:04:47 <int-e> 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 <int-e> boily: (but it means that I have to redo large parts of the formalization)
00:06:22 -!- augur has joined.
00:06:33 <oerjan> 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 <boily> int-ello! that scary proof?
00:08:16 <int-e> boily: that scary proof: http://downthetypehole.de/paste/So5kdG0C
00:09:27 -!- tromp has quit (Ping timeout: 240 seconds).
00:12:08 <int-e> 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 <boily> int-e: that's what I said. is the abstraction effective?
00:59:36 -!- tromp has joined.
00:59:46 <oerjan> @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.
01:02:53 <oerjan> @tell wob_jonas Unless, I guess, the formalism doesn't support reasoning fully with monoid equations.
01:04:05 -!- tromp has quit (Ping timeout: 260 seconds).
01:04:44 <HackEgo> 11311:2018-01-09 <Tanëb> learn friend is a portmaneau of fritter and rend \ 5596:2015-06-16 <shachäf> rm wisdom/friend \ 3622:2013-09-03 <oerjän> mv wisdom/friend{s,}
01:05:00 <oerjan> . o O ( reminder to self: never ask Taneb to friend me )
01:05:21 <oerjan> `slwd friend//s,mane,mante,
01:05:23 <HackEgo> friend//friend is a portmanteau of fritter and rend
01:06:11 <HackEgo> 3622:2013-09-03 <oerjän> mv wisdom/friend{s,} \ 5596:2015-06-16 <shachäf> rm wisdom/friend \ 11311:2018-01-09 <Tanëb> learn friend is a portmaneau of fritter and rend \ 11314:2018-01-10 <oerjän> slwd friend//s,mane,mante,
01:06:40 <oerjan> `` hg cat -r 0 wisdom/friends
01:06:41 <HackEgo> wisdom/friends: no such file in rev e037173e0012
01:06:48 -!- sprocklem has joined.
01:06:59 <oerjan> `` hg cat -r 3622 wisdom/friend
01:07:00 <HackEgo> Friends make graphs together / La la la la
01:07:49 <oerjan> . o O ( There's probably a reference I'm not getting )
01:08:17 <shachaf> But it's scow so whatever.
01:08:58 <HackEgo> 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, <http://thedwfo.org>. \ tanebventions: food//Culinary tanebventions include automatic squirrel feeders, weet
01:09:21 <HackEgo> 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:28 <oerjan> i cannot even google the lyrics, it seems
01:09:28 <HackEgo> 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 <esowiki> [[Talk:List of ideas]] https://esolangs.org/w/index.php?diff=53797&oldid=53796 * Oerjan * (+295) unsigned + other example
01:39:39 <oerjan> boily: you'll be happy to know that i got an earworm from the link i gave you yesterday hth
01:40:02 <HackEgo> extreme irony//Extreme irony is what happens when you get a Darwin award for extreme ironing.
01:40:26 <oerjan> i hope the earworm doesn't get _that_ bad.
01:46:15 <boily> mwah ah ah. MWAH AH AH!
01:47:35 <boily> you can cleanse the worm by using that: https://youtu.be/I0JVRcJLea8 hth
01:56:48 <boily> helloochaf! you're in tokyo!?!?!??!!
01:56:52 -!- ais523 has quit (Remote host closed the connection).
01:57:29 <boily> you should visit ueno.
01:58:06 -!- ais523 has joined.
01:59:50 <boily> a buncha other things I forgot...
02:03:15 <oerjan> 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:18:07 -!- atslash has quit (Ping timeout: 248 seconds).
02:18:22 -!- atslash has joined.
02:19:02 <boily> 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 <oerjan> . o O ( disco might work better )
02:23:02 <HackEgo> 549) <oerjan> 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 <oerjan> if this were a wisdom instead of a quote, i might recently be adding theodorakis.
02:25:58 <shachaf> `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 <int-e> yay, much better: http://downthetypehole.de/paste/KXtOefuy instead of http://downthetypehole.de/paste/So5kdG0C
03:07:04 <int-e> 1 file changed, 200 insertions(+), 404 deletions(-)
03:08:14 <int-e> (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 <ais523> wow, someone added Ursala to the polygloy
03:56:34 <ais523> I think Ursala is one of my favourite languages at the practical/esolang boundary
03:56:41 <ais523> 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: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 <HackEgo> Traceback (most recent call last): \ File "/hackenv/bin/unidecode", line 4, in <module> \ 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:51 <\oren\> `unicode ̶̤̦̯͖͚͓̮͓̣̤̰͇́̕ ̴͜͏͈̭̦͙̦̯̟̗̜̼̠̦͘ ̶̶̡̢̲̱̜̹̰̻̘̪̳̫͕̙̕ ̡҉͎̦̙̰̻͉̜̝̺͚̻͇̞̺̦͓́ ̨̘̤̜̞͍̩̠̱̦̫͔̹̩͍͇̜͈́̕͞ͅͅ ̴̴̧̣͍̘̰̗̮̜̰̲̣̙̲̝͚̩̦̭̀͡ ̧̗͚̱͓̥̖͍͕̀ ̫̪͇̗̲̭̤͖̫̣͇͔͘ ͕͚͎̦͓̺̤̳̙̝͟ͅ ̸͉̫̘̩͙͖̼̣̞̞̰̼̞͕̀ ̶̗͓͎͓̦̙̭̳̻̫̥̯̱͚̦͔͍͙͟ ̶͜҉͏̞̺̙̥̦̪͇̯̳͍̬̱̰̘̺̠̀ ̀̀͞
07:20:55 <HackEgo> 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: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: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: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 <fizzie> Not exactly on-topic but at least there's maybe a nonzero component in the right direction...
15:45:19 <fizzie> 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 <int-e> fungot: how many npm packages do you depend one?
18:41:25 <fungot> int-e:... what's the point?) hardware... some day i'd like to have a point
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: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 <Slereah> you could throw it in space
20:42:38 <Slereah> it would not be a very airtight spacecraft
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:35 <\oren\> Slereah: apparently, if Nasa is letting them use their launch pad
21:08:10 <ais523> 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 <FireFly> 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 <FireFly> which is probably a bit of a non-answer
21:39:14 <FireFly> (and I guess not really declarative)
21:39:21 -!- erkin has joined.
21:40:03 <fizzie> I wonder if there's a convenient way of doing standalone TikZ.
21:40:31 <fizzie> https://tex.stackexchange.com/questions/32127/standalone-tikz-pictures suggests there isn't too much boilerplate.
21:40:47 <fizzie> Started fiddling with pic anyway though, might just go ahead with that.
21:41:50 <FireFly> 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 <fizzie> 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 <fizzie> ...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 <fizzie> 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:57:34 <boily> the do does well. do you also do?
23:00:30 <boily> maybe 1900, but I'll try.
23:01:50 -!- tromp has joined.
23:21:27 <boily> meanwhile, subtly broke a buncha packages.
23:21:40 <boily> remove ubuntu-desktop and just about everythin? eh, why not! what could go wrong...
23:23:16 <quintopia> i stayed up all night watching my favorite streamer play ddlc
23:23:28 <boily> I tried to forcefully ram a newer version of okular by “dpkg -i”ing my way through dependencies.
23:23:36 <quintopia> a bot joined the stream pretending to be monika
23:25:20 -!- tromp has quit (Remote host closed the connection).
23:25:27 <quintopia> and linked this twitter: https://mobile.twitter.com/sayori_chr_
23:29:06 <boily> meanwhile, repaired the fungot out of my system. all systems go!
23:29:06 <fungot> boily: or maybe it is best for beginners i think
23:29:35 <boily> fungot: well, beginners may want up to date apps sometimes. ubuntu and their antediluvian policies...
23:29:36 <fungot> boily: the closest i could get my dad to ask him what his programming background is.
23:29:52 <quintopia> thats working together as a space team!
23:30:06 <boily> fungot: I don't think dad ever programmed. now if you ask mom...
23:30:12 <boily> fungot: no, more like APL.
23:30:12 <fungot> boily: _that_ would be ugly. :) i'm trying to strike a balance between the gates
23:30:23 <boily> 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 <fizzie> 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).