←2016-10-25 2016-10-26 2016-10-27→ ↑2016 ↑all
00:00:47 <wob_jonas> ah yes, that's a b_jonaswisdom
00:03:02 <\oren\> wait, there are people who pronounce father with an a?
00:03:40 <boily> which "a"?
00:04:13 <hppavilion[1]> boily: What about 'can'?
00:04:14 <\oren\> /fæðəɹ/. I can't even...
00:04:29 <hppavilion[1]> \oren\: If they exist, they won't for much longer.
00:04:37 <\oren\> who the hell says fæðəɹ?
00:04:51 * boily thwacks hppavilion[1]. “don't wish unexistence upon people.”
00:04:58 <hppavilion[1]> \oren\: ...did you get your nick cut?
00:05:09 <hppavilion[1]> boily: Hahahaha "wish"
00:05:12 <boily> hppavellon[1]. "can" is /kæn/ hth.
00:05:42 <hppavilion[1]> boily: And "can't" is [kænt], but apparently some people do it wrong
00:05:44 <boily> \oren\: that's quite unusual indeed.
00:06:34 <\oren\> I say all those words with a /æ/ except /fɑðəɹ/.
00:07:12 <wob_jonas> "can" is always with an /æ/. "can't" shoud be pronounecd with /ɑː/ but in most dialects it's pronounced to /æ/ which makes "can't" and "can" sound exactly the same in some cases depending on the word after it, such as in "can't do"
00:07:33 -!- DHeadshot has quit (Ping timeout: 252 seconds).
00:07:54 <boily> what was that sound record website again?
00:08:25 <\oren\> wob_jonas: except that in 'can do' it ends up being 'kən'
00:08:26 <boily> ah! clyp.it.
00:09:28 <moony> `? queuestack
00:09:29 <HackEgo> queuestack? ¯\(°​_o)/¯
00:09:35 <moony> `? moony
00:09:36 <HackEgo> moony? ¯\(°​_o)/¯
00:09:43 <moony> `? hppavilion[1]
00:09:43 <HackEgo> hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe. No es tan cluecless.
00:09:54 <moony> `? 1
00:09:55 <HackEgo> The 1 is just for disambiguation.
00:10:37 <oerjan> . o O ( does the "varies between /ɑː/ and /æ/" apply to both a's in "advance"? )
00:10:46 <hppavilion[1]> \oren\: [feɪ ðər]
00:10:48 <hppavilion[1]> hth
00:11:42 <wob_jonas> oerjan: I'm not really authority here, but I think it only applies to the second vowel, whereas the first vowel is always an unstressed schwa
00:11:52 <hppavilion[1]> \oren\: And before you say it, idnm [feɪ ðəɹ] tdnh
00:12:08 <hppavilion[1]> (twnh? twnhh?)
00:12:23 <hppavilion[1]> How does one tdh/tdnh something that hasn't happened yet?
00:12:38 <boily> oerjan: /ædvn̩s/ hth.
00:13:04 <boily> hppavilion[1]: iwhonh hth
00:14:00 <hppavilion[1]> boily: ...I can't figure it owt
00:14:02 <hppavilion[1]> *out
00:14:16 <hppavilion[1]> it would have ...?
00:14:58 <boily> It Will Help Or Not Help hth
00:15:16 <hppavilion[1]> Oh, iwh and iwnh
00:15:50 <oerjan> `learn Queuestack is when you're confused about whether something should be a queue or a stack, and end up with a complete mess. See https://xkcd.com/954/ .
00:15:53 <HackEgo> Learned 'queuestack': Queuestack is when you're confused about whether something should be a queue or a stack, and end up with a complete mess. See https://xkcd.com/954/ .
00:16:24 <wob_jonas> ah yes, I know the queuestack
00:16:33 <hppavilion[1]> Maybe twhh (that would have helped) and twnhh (that would not have helped)
00:17:24 <wob_jonas> I once made a mysterious hard to debug error in a program where I wrote a buffer that was supposed to be a queue but was actually implemented as a stack, and then the error only came up in the uncommon case when the buffer had more than one element
00:19:38 <oerjan> <boily> oerjan: /ædvn̩s/ hth. <-- tdnhaa
00:19:52 -!- wanderman has quit (Quit: Leaving).
00:20:54 <wob_jonas> oerjan: well, maybe it's stressed on the first syllable when it's an adjective but on the second syllable when it's a verb? how could I know. stranger things have happened in English.
00:22:29 <boily> oerjan: yidh ^^
00:23:33 <oerjan> dn.
00:24:19 <oerjan> wob_jonas: i don't recall that for this word.
00:24:36 <boily> d.
00:24:41 <oerjan> dn.
00:24:52 <boily> d!
00:25:03 <oerjan> atmdn.
00:25:21 <boily> fungot: atm?
00:25:21 <fungot> boily: yeah. i've seen him do all kinds of problems.
00:25:23 <wob_jonas> yes, my dictionary says it's always stressed on the second syllable
00:25:31 <boily> oerjan: OKAY.
00:25:43 <boily> wob_jonas: beuh.
00:25:49 <wob_jonas> although it only mentions the verb and the noun, not the adjective
00:25:56 <quintopia> helloily
00:26:08 <wob_jonas> ah, it does mention the adjective, in the noun heading
00:26:10 <wob_jonas> ok
00:27:48 <boily> QUINTHELLOPIA!
00:34:11 <oerjan> `? string diagrams
00:34:12 <HackEgo> string diagrams? ¯\(°​_o)/¯
00:34:52 <oerjan> `le/rn String diagram/String diagrams would be useful in category theory, except they're unreadable due to being curled up in tiny dimensions.
00:34:54 <HackEgo> Learned 'string diagram': String diagrams would be useful in category theory, except they're unreadable due to being curled up in tiny dimensions.
00:35:09 <oerjan> `le/rn String diagram/String diagrams would be useful in category theory, except they're unreadable due to being curled up in tiny dimensions. Taneb invented them anyhow.
00:35:11 <HackEgo> Relearned 'string diagram': String diagrams would be useful in category theory, except they're unreadable due to being curled up in tiny dimensions. Taneb invented them anyhow.
00:35:28 -!- augur has joined.
00:37:34 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
00:37:58 <boily> good to see Taneb is as prolific as ever.
00:40:12 <shachaf> oerjan: remember the dark ages before `le/rn? hth
00:41:05 <boily> `` ls wisdom/*brow*
00:41:07 <HackEgo> wisdom/browser \ wisdom/eyebrow
00:41:10 <boily> `? eyebrow
00:41:12 <HackEgo> Eyebrows are Taneb's most notable feature.
00:43:15 <shachaf> are Taneb's eyebrows knottable?
00:43:38 <oerjan> shachaf: we had to write wisdoms while walking through 7 feet of snow. upwards both ways!
00:43:58 <oerjan> wait
00:44:01 <oerjan> *uphill
00:44:28 <oerjan> Taneb: have you tried an eyebrow afro twh
00:44:37 <boily> `learn Eyebrows are Taneb's most notable feature. Their knots can walk uphill through seven feet of snow.
00:44:41 <HackEgo> Relearned 'eyebrow': Eyebrows are Taneb's most notable feature. Their knots can walk uphill through seven feet of snow.
00:44:47 <shachaf> Taneb is an eyebro
00:45:06 <shachaf> boily: that makes no sense tdnh
00:46:47 <oerjan> it's knot a very good pun.
00:46:57 * boily facepalms
00:47:11 <boily> I just understood the palm.
00:47:14 <boily> pun.
00:47:16 <boily> not palm.
00:47:58 * boily thwackthwackthwack shachaf. 0.76 Sh.
00:48:04 <shachaf> `revert
00:48:18 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
00:48:40 <shachaf> `` chmod 000 canary
00:48:42 <HackEgo> No output.
00:48:51 <shachaf> `doag
00:48:53 <HackEgo> 2016-10-25 <shachäf> revert \ 2016-10-25 <boil̈y> learn Eyebrows are Taneb\'s most notable feature. Their knots can walk uphill through seven feet of snow. \ 2016-10-25 <oerjän> le/rn String diagram/String diagrams would be useful in category theory, except they\'re unreadable due to being curled up in tiny dimensions. Taneb invented them anyh
00:49:31 <oerjan> Gregor doesn't seem to have applied the `revert patch yet.
00:50:03 <oerjan> shachaf: i don't think the current state of `canary is relevant to that bug.
00:50:22 <moony> `canary
00:50:22 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: canary: not found
00:50:30 <moony> `` ./canary
00:50:31 <HackEgo> ​./canary: line 1: EEP: command not found
00:50:34 <oerjan> it's a file that was created long ago, inside the .hg directory.
00:50:53 <shachaf> HackEgo is messing up my terminal
00:51:08 <oerjan> probably as a consequence of the _other_ bugs fizzie was fixing in the same patch.
00:51:09 <shachaf> How about a patch that uses instead of a zero-width space at the beginning of a line?
00:51:18 <shachaf> Er, ^O
00:51:43 <oerjan> that might indeed help.
00:52:05 <oerjan> since it's not about nickpinging, the problems with ^O don't apply there.
00:52:36 <oerjan> @you're not reacting to this, are you?
00:52:47 <oerjan> ^echo or this
00:52:47 <hppavilion[1]> "Find an algorithm that takes arbitrary love polyhedra and checks for resolutions"
00:53:17 <hppavilion[1]> s/hedra/topes/
00:53:19 <fizzie> oerjan: Yeah, my pull request is still open.
00:54:26 <oerjan> hppavilion[1]: hm what's a resolution? what prevents the obvious "everyone just join together" solution?
00:54:58 <oerjan> in other words, there needs to be disallowed pairs. or polytopes.
00:55:08 <hppavilion[1]> oerjan: s/resolution/optimal resolution/
00:55:10 <boily> there's a solution iff there's a Hamiltonian path.
00:55:34 <oerjan> boily: that would be an interesting sexual more...
00:56:40 <hppavilion[1]> A resolution (under a certain set of constraints; other constraints are perfectly valid) is a way of choosing pairs (a, b) from the digraph where a -> b AND b -> a, where each can only be used once out of all the pairs
00:57:10 <oerjan> hppavilion[1]: that doesn't sound very sensitive to polyamorists tdnh
00:57:23 <hppavilion[1]> oerjan: That's the other possible constraints which are perfectly valid
00:57:44 -!- moony has quit (Read error: Connection reset by peer).
00:57:48 <hppavilion[1]> oerjan: But this is TV and movies, where polyamory is only for comedy or porn
00:58:16 <shachaf> oerjan: i seem to remember that you were being similarly insensitive in here a while ago hth
00:58:34 <shachaf> or were you? maybe you were just saying that it was weird, and also a berkeley thing
00:58:43 <oerjan> hppavilion[1]: wait, this is a digraph? i was assuming you were at _least_ not assuming heteronormality or else it makes no sense to ... argh
00:58:54 <hppavilion[1]> oerjan: It's a digraph
00:59:03 <hppavilion[1]> oerjan: There is no heteronormativity involved
00:59:28 <hppavilion[1]> oerjan: Genders of people on the graph are irrelevant; it's assumed that somebody who is gay never has an arrow to the opposite sex
00:59:34 <oerjan> hppavilion[1]: digraph implies that the nodes are divided into two groups.
00:59:45 <hppavilion[1]> oerjan: How?
00:59:47 <oerjan> with no internal edges in the group.
01:00:01 <hppavilion[1]> oerjan: Digraphs edges can be reciprocal, can't they?
01:00:02 <oerjan> oh wait.
01:00:33 <fizzie> There's sort of two related bugs when it comes to the `revert cleanup thing; one is that it doesn't expect directories, and the other is that it descends down to the .hg directory.
01:00:37 <fizzie> Fortunately they sort-of partially cancel out, in that the only files with a ".orig" suffix in .hg can be directories (normal files get a .i suffix), and those won't get removed because they are directories.
01:01:05 <hppavilion[1]> The graph of people is genderless with an arrow a -> b iff a would be satisfied in a relationship with b
01:01:10 -!- moony has joined.
01:01:12 <moony> moo2
01:01:19 <moony> `` ./canary canary
01:01:19 <HackEgo> ​ELF............>.....'@.....@.......Ã..........@.8..@.........@.......@.@.....@.@.....ø.......ø................. ...8......8@.....8@............................................@.......@.....”½......”½........ ............à½......à½`.....à½`.....¼ ......°........ ...........ø½......ø½`.....ø½`.....à.......à.............. ..
01:01:44 <ais523> `` objdump -d canary
01:01:45 <HackEgo> ​ \ canary: file format elf64-x86-64 \ \ \ Disassembly of section .init: \ \ 00000000004016f8 <.init>: \ 4016f8:48 83 ec 08 sub $0x8,%rsp \ 4016fc:e8 43 10 00 00 callq 402744 <__sprintf_chk@plt+0xbf4> \ 401701:48 83 c4 08 add $0x8,%rsp \ 401705:c3 retq \ \ Disassembly of
01:01:49 <hppavilion[1]> oerjan: There's no rules for which a and b can have a -> b, except that a ≠ b
01:01:54 <moony> l
01:02:16 <ais523> `` objdump -d canary | paste
01:02:19 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.28713
01:02:31 <oerjan> sorry, i'm mixing up the meaning of digraph and bigraph again. wtf did they have to choose that abbreviation...
01:02:35 * moony had a ruined uffer
01:02:48 <moony> pls. buffer y
01:03:07 <hppavilion[1]> The optimality of a resolution R- represented as the set of disjoint {a, b} sets- is (by this definition, at least) |P|-2|R|, where P is the set of all people in the graph
01:03:09 <moony> how do i hardclean a weechat buffer? mine has artifacts all over
01:03:10 <shachaf> `url
01:03:11 <HackEgo> http://codu.org/projects/hackbot/fshg/
01:03:21 <moony> `` objdump -d canary | pase
01:03:22 <HackEgo> ​/hackenv/bin/`: line 4: pase: command not found
01:03:24 <moony> `` objdump -d canary | paste
01:03:27 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.9031
01:03:34 <shachaf> Are you modifying HackEgo in /msg again?
01:03:41 <shachaf> I think you've been requested not to do that.
01:03:47 <ais523> oh, I see, it has no debug symbols, so it's measuring everything relative to sprintf
01:03:47 <hppavilion[1]> (the worst possible resolution is always {}, the best possible resolution is where a happy relationship can be found for ALL people)
01:03:49 <moony> ok sorry
01:03:58 <ais523> which is the nearest thing it knows the address of
01:05:18 <ais523> you know, I have the suspicion that the canary is a copy of a standard, maybe GNU, executable
01:05:18 <ais523> `` ./canary --version
01:05:19 <HackEgo> cat (GNU coreutils) 8.13 \ Copyright (C) 2011 Free Software Foundation, Inc. \ License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>. \ This is free software: you are free to change and redistribute it. \ There is NO WARRANTY, to the extent permitted by law. \ \ Written by Torbjörn Granlund and Richard M. Stallman.
01:05:30 <ais523> well, I think that settles it :-P
01:05:32 <jeffl35> `` ./canary --help
01:05:33 <hppavilion[1]> oerjan: For polyamory, it depends on the exact properties of polyamory in this consideration, which decides how to model it (some scenarios require hyperdigraphs)
01:05:33 <HackEgo> Usage: ./canary [OPTION]... [FILE]... \ Concatenate FILE(s), or standard input, to standard output. \ \ -A, --show-all equivalent to -vET \ -b, --number-nonblank number nonempty output lines, overrides -n \ -e equivalent to -vE \ -E, --show-ends display $ at end of each line \ -n, --number
01:05:42 <shachaf> Can you take all this bot spam somewhere else?
01:05:44 <fizzie> ais523: "<moony> ` cp /bin/cat canary" settled it pretty well already.
01:06:06 <ais523> fizzie: well yes, but that's boring, I realised I could figure it out via checking the history
01:06:09 <ais523> but reverse engineering is more fun
01:06:37 <shachaf> i,i obverse engineering
01:06:40 <jeffl35> shachaf: how does it mess up your term, anyways?
01:06:54 <hppavilion[1]> Demolition is inverse engineering
01:06:58 <jeffl35> lol
01:07:19 <boily> fungot: nostril.
01:07:19 <fungot> boily: on that darthmouth page: http://en.wikipedia.org/ wiki/ fnord
01:07:35 <fizzie> Fun fact: HackEgo repo has bloated to 700 megs already.
01:08:04 <boily> fizzie: wut?
01:08:25 <moony> s/hack/fat/g
01:08:39 <hppavilion[1]> But really, how DOES polyamory work? Obviously there are exceptions, but it's one of (1) everybody in the relationship must reciprocally like everyone else (2) everybody in the relationship must note hate everyone else (which requires labeling edges) or (3) everybody has one or more sets of possible compatibility, which is the most complicated
01:08:44 <ais523> well people do silly things like downloading large files into it
01:08:46 <shachaf> `` du -sh --exclude .hg
01:08:47 <HackEgo> 240M.
01:09:01 <fizzie> Yes, I was including history.
01:09:06 <shachaf> `` du -s * | sort -rn
01:09:08 <HackEgo> 74476paste \ 54456share \ 37456src \ 30280interps \ 18036bin \ 10316lib \ 10244factor \ 5264wisdom \ 1676ply-3.8 \ 1444wdiff-latest.tar.gz \ 460wisdom.pdf \ 172ibin \ 152quotes \ 80tmflry \ 52hw \ 52canary \ 44emoticons \ 32quines \ 24good \ 24esobible \ 20tmp \ 20out \ 12misle \ 12etc \ 8le \ 8evil \ 4karma \ 4cdescs
01:09:24 <boily> is there a “git gc” for mercurial?
01:09:39 <hppavilion[1]> With (3), you get things like "I'd do it with A and B, and I'd do it with C and D, and with A and D or A and C, but I wouldn't with B and C or B and D"
01:10:42 <fizzie> There's a bunch of ten-megabyte pastes.
01:10:49 <ais523> real-life relationships are much more complicated because "I don't know whether a relationship with A would work out or not" is not only a compatibility that exists, but the most common
01:11:16 <ais523> hmm, are there any infinitely large webpages?
01:11:20 <ais523> there's got to be one by now, surely
01:11:22 * boily votes for [X] EXPUNGE ALL THE LARGE FILES!!!
01:11:23 <shachaf> Yes.
01:11:23 <hppavilion[1]> Yeah, figured...
01:11:29 <ais523> (I don't think anything in the HTTP protocol requires a web page to be finitely large)
01:11:46 <hppavilion[1]> ais523: Define "infinitely large"
01:11:50 <Yurume_____> chunked encoding.
01:11:54 <imode> so, I've created a static mirror of the c2 wiki.
01:11:54 <hppavilion[1]> ais523: Can it be lazy evaluated?
01:12:01 <imode> because ward cunningham is hell-bent on ruining it.
01:12:21 <ais523> hppavilion[1]: making an HTTP request to it causes the read half of the resulting socket to allow arbitrarily many bytes to be read from it
01:12:31 <boily> imhellode. who's ward cunningham?
01:12:42 <imode> boily: guy who made the first wiki.
01:12:46 <imode> c2.
01:12:52 <imode> or WikiWikiWeb.
01:13:19 <oerjan> `doag canary
01:13:21 <HackEgo> 2016-10-25 <moon̈y> ` cp /bin/cat canary \ 2016-10-15 <oerjän> mk canary//EEP \ 2016-10-05 <moonythedwar̈f> ` mv ls canary \ 2016-09-26 <oerjän> revert \ 2016-09-26 <oerjän> sled canary//crabbit \ 2016-09-25 <fizzïe> revert 942e964c81c1 \ 2016-09-25 <evilips̈e> ` chmod 777 / -R \ 2016-08-02 <int-̈e> ` echo -n ribbit > canary \ 2016-06-0
01:13:25 <fizzie> ais523: There's any number of things that just stream infinitely as a response of a GET request.
01:13:53 <hppavilion[1]> I feel like it's probably a law of compression algorithms that "if it's possible to make a file [series of bytes] the algorithm won't accept, you're doing it wrong"
01:14:09 <shachaf> ais523: What if it's a web page with infinite scroll that makes repeated small HTTP requests?
01:14:12 <fizzie> Including internet radio stations and such.
01:14:50 <ais523> shachaf: I'm still disappointed at the existence of AJAX, so prefer to not have to worry about its existence
01:14:51 <boily> shachaf: there was that ASCII horse page with infinite legs. can't find it :/
01:15:06 <shachaf> ais523: Oh, what alternative would you prefer?
01:15:19 <boily> FOUND! http://endless.horse/
01:15:26 <hppavilion[1]> ais523: And I assume you also exclude finite pages containing client-side scripting?
01:15:29 <ais523> shachaf: depends on what it's used for
01:15:34 <hppavilion[1]> boily: That was fast
01:15:35 <ais523> server-side HTML tree diffing would be nice
01:15:40 <imode> endless horse. lmao.
01:15:49 <ais523> as in, you make an HTTP request and say "I already have page X", and the server just sends a diff
01:15:52 <hppavilion[1]> Get down, boily
01:16:36 <ais523> this would work for most uses of AJAX, but probably not all
01:16:47 <ais523> and have the advantage that the resulting page could be linked to and navigated through correctly
01:17:47 <boily> hppavilion[1]: eh?
01:18:15 <fizzie> boily: Referring to http://www.smbc-comics.com/comic/progress is my guess.
01:18:24 <hppavilion[1]> boily: The high horse
01:18:28 <hppavilion[1]> fizzie: Yes, that too
01:18:52 -!- ais523 has quit.
01:20:22 <fizzie> boily: As for the "git gc" equiv, I don't think so -- AIUI, Mercurial uses a per-file revlog, with no concept of Git-style packfiles.
01:21:30 -!- augur has quit (Remote host closed the connection).
01:21:30 <boily> I won't. horses taste good.
01:21:34 <boily> fizzie: bummer.
01:21:37 <imode> oh god.
01:21:40 <imode> I think I took gitlab down.
01:22:32 <oerjan> `rm wisdom/canary
01:22:34 <HackEgo> No output.
01:23:11 <moony> `? canary
01:23:12 <HackEgo> canary? ¯\(°​_o)/¯
01:23:31 <moony> oerjan: ):<
01:23:51 <oerjan> moony: it was a symbolic link to the top canary, but with you making that binary that means `wisdom could spam binary content.
01:23:58 <imode> so, okay, gitlab is spitting 500 and 502s.
01:24:05 <moony> oerjan: ah
01:24:39 <shachaf> `` echo 'chirp' > canary
01:24:42 <HackEgo> No output.
01:25:00 <fizzie> Other fun facts: the most common paste is the empty paste (57 copies), while the second most common one is the paste with a single newline (32 copies).
01:25:38 <moony> `` echo "" | paste | echo "adding another one, one paste at a time"
01:25:40 <HackEgo> close failed in file object destructor: \ sys.excepthook is missing \ lost sys.stderr \ adding another one, one paste at a time
01:25:52 <shachaf> `` cd paste; du -s * | sort -rn
01:25:53 <HackEgo> 10240paste.27157 \ 10240paste.25139 \ 10240paste.2340 \ 10240paste.12841 \ 7412paste.30692 \ 4480paste.25872 \ 4480paste.16755 \ 1656paste.23201 \ 1388paste.30459 \ 668paste.14295 \ 448paste.9031 \ 448paste.28713 \ 368paste.12143 \ 336paste.29272 \ 160paste.32496 \ 160paste.13075 \ 156paste.8487 \ 156paste.6655 \ 152paste.7340 \
01:26:08 <shachaf> `url paste
01:26:09 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste
01:26:26 <tswett> fizzie: what's the most common paste that's not entirely whitespace?
01:26:34 -!- otherbot has quit (Quit: Restart requested by jeffl35: ops).
01:26:34 -!- xkapastel has joined.
01:26:38 <shachaf> `file paste/paste.27157
01:26:39 <HackEgo> paste/paste.27157: data
01:26:57 -!- otherbot has joined.
01:27:00 <shachaf> `doag paste/paste.27157
01:27:02 <HackEgo> 2016-09-25 <fizzïe> revert 942e964c81c1 \ 2016-09-25 <evilips̈e> ` chmod 777 / -R \ 2014-03-16 <oerjän> revert \ 2014-03-16 <ellioẗt> revert 1 \ 2013-02-13 <ais52̈3> revert 87c64ef250a0 \ 2013-02-13 <ais52̈3> revert 3 \ 2013-01-24 <shachäf> for f in wisdom/*; do [ "$f" == "ngevd" ] && continue; echo "$f:"; cat "$f"; echo ---; done | past
01:27:19 <shachaf> big data
01:27:42 <shachaf> fizzie is in the pocket of BIG DATA
01:27:54 <fizzie> tswett: http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.21657 of all things. Though there's only six of them.
01:28:12 <moony> -exec echo "\`ls
01:28:12 <otherbot> /bin/bash: -c: line 0: unexpected EOF while looking for matching `"'
01:28:12 <otherbot> /bin/bash: -c: line 1: syntax error: unexpected end of file
01:28:12 <otherbot> Process exited with 1
01:28:15 <moony> -exec echo "\`ls"
01:28:16 <otherbot> `ls
01:28:16 <otherbot> Process exited with 0
01:28:16 <HackEgo> bin \ canary \ cdescs \ emoticons \ esobible \ etc \ evil \ factor \ good \ hw \ ibin \ interps \ karma \ le \ lib \ misle \ out \ paste \ ply-3.8 \ quines \ quotes \ share \ src \ tmflry \ tmp \ wdiff-latest.tar.gz \ wisdom \ wisdom.pdf
01:28:23 <fizzie> Uh, actually, huh.
01:28:28 <moony> *point point*
01:28:38 <hppavilion[1]> shachaf: moony is continuously bribed by the company that manufactures pockets for clothes
01:28:46 <fizzie> That's a pretty weird command line, given those contents.
01:29:01 <shachaf> That's just the command line of the latest command.
01:29:05 <shachaf> commit
01:29:11 <fizzie> Oh, right.
01:29:16 <fizzie> I've been confused by that before.
01:29:30 <shachaf> I was confused by it a minute ago.
01:29:33 <shachaf> And also many times in the past.
01:29:36 <shachaf> It's bad UI, really.
01:30:02 <moony> hppavilion[1]: thats not me, the person you are looking for is 'pocketkillee'
01:30:05 <tswett> fizzie: the most common paste contains 300 lines of logs of #esoteric from 2011?
01:30:19 <fizzie> tswett: It's the output of "pastelogs itidus".
01:30:28 <fizzie> I guess six times people have wanted that.
01:30:40 <fizzie> `thanks file log
01:30:42 <HackEgo> Thanks, file log. Thile log.
01:30:57 <tswett> Can I just do `pastelogs on any arbitrary person?
01:31:07 <hppavilion[1]> `thanks jørge
01:31:08 <HackEgo> Thanks, jørge. The.
01:31:12 <shachaf> No, you can't do it on shachaf or Jafet
01:31:18 <fizzie> You used to be able to do `pastelogs of any arbitrary string.
01:31:30 <hppavilion[1]> `thanks zzyzx
01:31:31 <HackEgo> Thanks, zzyzx. Thyzx.
01:31:32 <fizzie> Nowadays you can't do `pastelogs of anything, or at least in a useful way.
01:31:37 <hppavilion[1]> Huh.
01:31:41 <fizzie> Because HackEgo doesn't have a copy of the logs any more.
01:31:55 <hppavilion[1]> `thanks zzyzxa
01:31:56 <HackEgo> Thanks, zzyzxa. Thyzxa.
01:32:00 <shachaf> But it still has a copy of the howgs and the dowgs
01:32:03 <hppavilion[1]> Oh, it's y
01:32:11 <fizzie> ^show thanks
01:32:11 <fungot> >2,[>,]+15[>+6>+7>+3>+2<4-]>-6.>-.-7.+13.-3.+8.>-.>+2.<5[<]>[.>]>3+2.>.<3.<2[<]>[[-<2+>+>]+<-97[-4[-4[-6[-6[-4[>-<[-]]]]]]]>[[>]>2-11.<3[<]<.>3[.>]>3.>5][-]>]<3[[<]>2[.>]>5.>2]
01:32:16 <hppavilion[1]> `thanks zzvzx
01:32:16 <HackEgo> Thanks, zzvzx. Tzvzx.
01:32:32 <hppavilion[1]> ...weird
01:32:39 <hppavilion[1]> fizzie: ...oh, is it BF?
01:32:45 <moony> -exec echo "\`echo might want to fix"
01:32:45 <otherbot> `echo might want to fix
01:32:45 <otherbot> Process exited with 0
01:32:47 <HackEgo> might want to fix
01:32:47 <fizzie> hppavilion[1]: No, just my port is.
01:32:55 <hppavilion[1]> `cat thanks
01:32:56 <fizzie> ^thanks fungot
01:32:56 <fungot> Thanks, fungot. Thungot.
01:32:56 <HackEgo> cat: thanks: No such file or directory
01:33:00 <hppavilion[1]> `which thanks
01:33:02 <HackEgo> ​/hackenv/bin/thanks
01:33:05 <fizzie> You may find HackEgo's version more readable, sure.
01:33:08 <hppavilion[1]> `` which thanks | cat
01:33:09 <HackEgo> ​/hackenv/bin/thanks
01:33:16 <hppavilion[1]> ...?
01:33:19 <fizzie> `cat bin/thanks
01:33:20 <HackEgo> ​#!/usr/bin/perl -CSDA \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Thanks, $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/Th/; } else { s/^./T/; } print "$_.";
01:33:21 <moony> lol
01:33:33 <fizzie> hppavilion[1]: Seriously, though, what did you expect from "| cat"?
01:33:34 <hppavilion[1]> Oh
01:33:40 <moony> you ruined my terminal
01:33:54 <hppavilion[1]> fizzie: ...I wanted to pipe which into cat so it would show me the contents?
01:34:05 <moony> `` cat | cat
01:34:22 <hppavilion[1]> I thought which <file> would return the name, and pipe it to cat so it would print the contents of the file with that name
01:34:23 <fizzie> hppavilion[1]: That would have been cat $(which thanks) or equiv.
01:34:27 <hppavilion[1]> Oh
01:34:35 <fizzie> If you pipe a file name into cat, you get the file name back out.
01:34:35 <HackEgo> No output.
01:34:36 <hppavilion[1]> `cat $(which thanks)
01:34:37 <HackEgo> cat: $(which thanks): No such file or directory
01:34:42 <hppavilion[1]> `` cat $(which thanks)
01:34:42 <HackEgo> cat: /hackenv/bin/thanks: No such file or directory
01:34:45 <hppavilion[1]> cat $(which thanks)
01:34:47 <hppavilion[1]> `` cat $(which thanks)
01:34:48 <HackEgo> ​#!/usr/bin/perl -CSDA \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Thanks, $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/Th/; } else { s/^./T/; } print "$_.";
01:34:50 <fizzie> More generally, if you pipe anything into cat with no arguments, you get the same thing out.
01:34:52 <hppavilion[1]> tyvm
01:34:58 <shachaf> `? cat
01:34:58 <HackEgo> Cats are cool, but should be illegal.
01:35:05 <shachaf> `dowg cat
01:35:08 <HackEgo> 2016-09-25 <fizzïe> revert 942e964c81c1 \ 2016-09-25 <evilips̈e> ` chmod 777 / -R \ 2015-08-13 <int-̈e> revert accbc9c5c7ec \ 2015-08-12 <ais52̈3> echo wisdom/* | shuf | head -n 10 | xargs rm \ 2014-03-16 <oerjän> revert \ 2014-03-16 <ellioẗt> revert 1 \ 2013-08-29 <Rouj̈o> echo Cats are cool, but should be illegal. > wisdom/cat
01:35:08 <moony> hppavilion[1]: see 'echo "hello world" | cat'
01:35:51 <hppavilion[1]> `cwt
01:35:52 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: cwt: not found
01:35:54 <hppavilion[1]> `wat
01:35:55 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wat: not found
01:36:24 <hppavilion[1]> `` echo "cat $(which $1)" > bin/wat
01:36:26 <HackEgo> No output.
01:36:33 <hppavilion[1]> `wat thanks
01:36:34 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/wat: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/wat: cannot execute: Permission denied
01:36:36 <hppavilion[1]> :(
01:36:38 <hppavilion[1]> Oh, right
01:36:43 <hppavilion[1]> `rm bin/wat
01:36:45 <HackEgo> No output.
01:37:11 -!- copumpkin has joined.
01:37:25 * moony pumpkins copumpkin
01:37:38 <fizzie> I like the diaeresis in "int-̈e".
01:37:45 <fizzie> It's like a tiny face.
01:38:00 <hppavilion[1]> Huh, apparently zzyzx is /ˈzaɪzᵻks/, not /zə.zəks/ as I pronounced it
01:38:08 <moony> s/ae/æ/g
01:38:25 <hppavilion[1]> fizzie: where?
01:38:34 <fizzie> In the -̈.
01:38:37 <hppavilion[1]> I see the diaeresis
01:38:44 <hppavilion[1]> I just don't see the face
01:38:51 <hppavilion[1]> Oh, did it combine with - for you?
01:38:56 <fizzie> Yes.
01:39:03 <hppavilion[1]> That's awesome
01:39:06 <hppavilion[1]> \oren\: twh
01:39:06 <fizzie> That's what it's supposed to do, I think.
01:39:44 -!- otherbot has left.
01:40:24 <fizzie> https://zem.fi/tmp/ee.png
01:41:28 <moony> fizzie: pls use æ like a proper unicode maniac, not 'ae'
01:41:29 <hppavilion[1]> Huh, in Consolas the diaeresis combines with the e
01:41:59 <moony> λ calculus
01:42:38 <shachaf> I don't think it's a property of the font.
01:42:41 <fizzie> hppavilion[1]: That's weird. The combining characters are supposed to combine with the thing they follow.
01:42:50 <fizzie> `unidecode t-̈e
01:43:04 <hppavilion[1]> λ̃ calculus
01:43:07 <moony> `unidecode λ
01:43:07 <HackEgo> ​[U+03BB GREEK SMALL LETTER LAMDA]
01:43:13 -!- otherbot has joined.
01:43:30 * moony gives android keyboard a hug for on-demand unicode
01:43:47 <fizzie> hppavilion[1]: Maybe it combines with the - but is just badly misplaced. I think I've seen rather off ¨s.
01:44:48 <moony> •[———]• ~~(I'm a robot)
01:45:52 <moony> -wolf √2
01:45:56 <otherbot> Input: sqrt(2); Result: 1.414213562373095048801688724209698078569671875376948073176… |
01:47:58 * boily does some circuit bending on moony
01:48:25 <boily> int-̈e combines badly for me :/
01:48:52 <shachaf> boily: itym :| hth
01:49:47 <moony> boily: what did you do :P
01:49:48 <boily> part :|, part :/, part three-dimensional mouth.
01:49:51 <fizzie> It's not too good on this Android I just switched to. It's somewhere halfway between the t and the -.
01:50:32 <boily> moony: absolutely nothing. *whistles innocently*
01:51:11 <oerjan> <moony> you ruined my terminal <-- you have the same crap terminal as shachaf?
01:52:39 -!- boily has quit (Quit: SPOKEN CHICKEN).
01:53:50 <shachaf> all terminals are isomorphic
01:53:56 <shachaf> it's a universal property hth
01:57:34 <oerjan> shachaf: i think the universal property is that no matter how you try to prevent nick pinging, there'll be someone in this channel that sees it completely messed up.
01:57:55 <oerjan> (or gets pinged anyway)
02:00:12 -!- augur has joined.
02:06:25 <oerjan> `` allquotes | tail -n 1
02:06:26 <HackEgo> 1294) <hppavilion[1]> I have just learned about "SMASH FACE ON KEYBOARD; POST RESULTS". --- quit: hppavilion[1] (Quit: Leaving) --- join: hppavilion[1] [...] joined #esoteric <hppavilion[1]> ...that was the result, apparently <hppavilion[1]> Dammit, f4
02:06:46 <oerjan> `addquote <Taneb> I once forgot what bin men were called <Taneb> Doing roughly 50% of a computer science degree, the only term I could think of was "garbage collector"
02:06:48 <HackEgo> 1295) <Taneb> I once forgot what bin men were called <Taneb> Doing roughly 50% of a computer science degree, the only term I could think of was "garbage collector"
02:06:54 <oerjan> wait wat
02:07:39 <oerjan> `revert
02:07:40 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
02:07:49 <oerjan> `addquote <Taneb> I once forgot what bin men were called <Taneb> Doing roughly 50% of a computer science degree, the only term I could think of was "garbage collector"
02:07:51 <HackEgo> 1295) <Taneb> I once forgot what bin men were called <Taneb> Doing roughly 50% of a computer science degree, the only term I could think of was "garbage collector"
02:10:02 -!- Thaddeus has joined.
02:10:34 <oerjan> it's a bit weak since you actually _can_ use that term.
02:10:41 <oerjan> (it seems)
02:13:47 -!- Thaddeus has left.
02:17:58 -!- xfix_ has quit (Quit: No Ping reply in 180 seconds.).
02:19:16 -!- xfix has joined.
02:20:56 -!- ybden has quit (Ping timeout: 250 seconds).
02:21:04 -!- quintopia has quit (Remote host closed the connection).
02:21:22 -!- ocharles_ has quit (Ping timeout: 250 seconds).
02:22:03 -!- ybden has joined.
02:22:49 -!- FearFly has changed nick to FaerieFly.
02:23:06 -!- ocharles_ has joined.
02:29:11 <hppavilion[1]> `? murphy's law
02:29:17 <HackEgo> murphy's law? ¯\(°​_o)/¯
02:30:41 <hppavilion[1]> English should replace upper/lower case with a bi-infinite hierarchy of cases
02:30:47 <oerjan> `learn Murphy's law obviously does not hold in wisdom/
02:30:49 <HackEgo> Learned 'murphy'': Murphy's law obviously does not hold in wisdom/
02:30:53 <oerjan> hth
02:31:13 <hppavilion[1]> Even better is if it's a tree
02:31:40 <hppavilion[1]> "that's in the lower upper upper lower upper upper upper case"
02:31:54 <hppavilion[1]> (And I also want a middle case)
02:32:21 <oerjan> `? case
02:32:22 <HackEgo> case? ¯\(°​_o)/¯
02:33:04 -!- pecan has quit (Ping timeout: 250 seconds).
02:33:21 -!- pecan has joined.
02:35:33 <oerjan> `le/rn case/English has two cases, upper and lower. Upper case agrees with the verb in person and number.
02:35:35 <HackEgo> Learned 'case': English has two cases, upper and lower. Upper case agrees with the verb in person and number.
02:36:16 * oerjan suddenly feels sort of predictable
02:37:29 <hppavilion[1]> oerjan: Were you making a grammatical case pun?
02:37:34 <hppavilion[1]> Because that's what I was going for
02:37:38 <oerjan> good, good
02:37:58 <oerjan> (MAYBE)
02:39:28 <hppavilion[1]> Hm, there's grammatical number, but I've never heard of grammatical ordinal...
02:42:02 <hppavilion[1]> "George washington was the presidenteb (initial)", "Barack Obama is the president (midrange)", "Whoever gets the most votes will be the Presidentif (terminal president)"
02:58:18 -!- otherbot has quit (Remote host closed the connection).
03:02:12 -!- godel has joined.
03:15:43 -!- Froox has quit (Quit: *bubbles away*).
03:16:10 -!- Frooxius has joined.
03:16:50 -!- ^v has quit (Quit: ZNC - http://znc.in).
03:18:12 -!- ^v has joined.
03:19:54 -!- ^v has quit (Excess Flood).
03:20:03 -!- ^v has joined.
03:20:52 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:21:23 -!- Froox has joined.
03:24:08 -!- Frooxius has quit (Ping timeout: 260 seconds).
03:25:33 -!- Frooxius has joined.
03:28:34 -!- Froox has quit (Ping timeout: 276 seconds).
03:46:06 -!- hppavilion[1] has quit (Ping timeout: 244 seconds).
03:50:44 -!- Frooxius has quit (Quit: *bubbles away*).
04:00:53 -!- Frooxius has joined.
04:07:34 <HackEgo> [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=50038&oldid=49947 * Quintopia * (+0) /* ResPlicate */
04:26:53 -!- `^_^v has joined.
04:45:03 -!- iovoid has quit (Remote host closed the connection).
04:45:38 -!- iovoid has joined.
04:50:36 -!- `^_^v has quit (Quit: Leaving).
04:57:32 -!- `^_^v has joined.
05:13:09 <oerjan> `? splay
05:13:10 <HackEgo> Splay is a painful pastime that is dual to cosplay and the supersymmetric partner of ordinary play. Recuperation, when even possible, may require wearing a stume.
05:20:25 <oerjan> @tell hppavilion[1] if you could convert efficiently from the prime factorization of a number to the prime factorization of its successor, then you could efficiently factorize any number. (you can recurse from n to floor(n/2).)
05:20:25 <lambdabot> Consider it noted.
05:24:23 <oerjan> `? cosplay
05:24:24 <HackEgo> Cosplay is the art of dressing up as people to show off to other people dressed up as people.
05:27:03 <izalove> @tell hppavilion[1] no prime divides x and x+1
05:27:04 <lambdabot> Consider it noted.
05:39:20 -!- hppavilion[1] has joined.
05:39:23 <hppavilion[1]> ...DAMMIT
05:39:26 <hppavilion[1]> DAMMIT RANDALL
05:39:28 <hppavilion[1]> (see: http://xkcd.com/389/)
05:41:00 <hppavilion[1]> The music is an actual tune: http://imgs.xkcd.com/blag/xkcd_389.mp3
05:42:10 <izalove> isn't 389 like a decade old?
05:45:45 <hppavilion[1]> izalove: yes.
05:45:50 <hppavilion[1]> izalove: hth
05:45:55 <izalove> a bit late to be mad
05:46:37 <hppavilion[1]> izalove: 2008-02-27
05:46:47 <hppavilion[1]> (Strangely, the '0' isn't there in '02' in the official date)
05:47:08 <hppavilion[1]> izalove: 2 later is anti-mindvirus
05:51:06 <FaerieFly> hppavilion[1]: hmm, that arrangement of it reminds me a bit of Robo's theme though
05:51:11 <FaerieFly> https://www.youtube.com/watch?v=cmY2wf7T428 ~
05:52:24 <hppavilion[1]> FaerieFly: ymw æ hth
05:52:57 <FaerieFly> hüh?
05:53:01 <FaerieFly> o
05:53:06 <FaerieFly> well, it's not legal in nicnames
05:53:09 <FaerieFly> nicknames, even
05:54:01 <FaerieFly> oerjan: makes me wonder about splay trees
05:54:30 <FaerieFly> also about cosplay trees
06:11:59 <pecan> :D ~ cosplay trees
06:14:08 -!- PinealGlandOptic has joined.
06:14:58 -!- godel has quit (Ping timeout: 276 seconds).
06:29:29 <hppavilion[1]> FaerieFly: splay is when you try to look like someone uninteresting so as not to stand out hth
06:29:54 <FaerieFly> `? splay
06:30:06 <HackEgo> Splay is a painful pastime that is dual to cosplay and the supersymmetric partner of ordinary play. Recuperation, when even possible, may require wearing a stume.
06:33:07 <hppavilion[1]> I should check my email
06:33:39 <hppavilion[1]> I haven't in a while and it's starting to build up (I occasionally open it, but ever since I discovered I can use hangouts.google.com to use Hangouts I haven't needed to keep it open)
06:34:10 <Cale> http://www.webdelsol.com/marcus/acct.htm
06:34:31 -!- augur has quit (Remote host closed the connection).
06:35:05 -!- augur has joined.
06:39:40 -!- augur has quit (Ping timeout: 276 seconds).
06:41:10 <Cale> https://www.scribd.com/doc/97124232/Marcus-Ben-The-Age-of-Wire-and-String this book has some amazing definitions :)
06:43:14 <oerjan> `? flu shot
06:43:15 <HackEgo> flu shots are usually available from some time in the first half of November
06:43:34 <oerjan> `slwd flu shot//s/$/./;s/f/F/
06:43:37 <HackEgo> wisdom/flu shot//Flu shots are usually available from some time in the first half of November.
06:57:04 <hppavilion[1]> `? floo shot
06:57:04 <HackEgo> floo shot? ¯\(°​_o)/¯
06:58:32 -!- MoALTz has quit (Quit: Leaving).
07:11:08 -!- augur has joined.
07:28:56 -!- `^_^v has quit (Read error: Connection reset by peer).
07:29:30 -!- `^_^v has joined.
07:45:02 <hppavilion[1]> I don't think I've ever seen The Fifth Element. What WAS the fifth element?
07:45:06 <hppavilion[1]> (...was it boron?)
07:45:25 <imode> no, jargon.
07:45:52 <imode> I have made gitlab incredibly confused.
07:47:32 <imode> my pages:deploy job keeps restarting every hour regardless of it being finished or not.
08:11:10 -!- augur has quit (Remote host closed the connection).
08:13:26 -!- augur has joined.
08:18:28 -!- augur has quit (Ping timeout: 276 seconds).
08:28:59 -!- xkapastel has quit (Quit: Connection closed for inactivity).
08:37:31 -!- AnotherTest has joined.
08:45:12 -!- imode has quit (Ping timeout: 260 seconds).
08:47:14 -!- augur has joined.
09:01:54 <hppavilion[1]> http://www.tor.com/2010/08/05/divided-by-infinity/ is fun
09:02:00 <hppavilion[1]> I've always liked Quantum Immortality
09:02:15 <hppavilion[1]> And to figure out whether it's true, all I need do is wait
09:03:27 -!- PinealGlandOptic has quit (Quit: leaving).
09:21:21 <hppavilion[1]> What's an example of a set (that can be comprehended by a mere mortal) larger than the reals?
09:22:32 <shachaf> 2^R
09:23:07 <myname> C?
09:23:18 <hppavilion[1]> Does http://xkcd.com/827/ look weird to anyone else?
09:23:37 <hppavilion[1]> myname: No, C is the same
09:24:01 <myname> yeah, got that now, too
09:26:14 <hppavilion[1]> myname: You map points in the block [0..1]+[0..1]i to [0..1] with a Hilbert curve (giving you the real part) and then spiral it around (so 0 is the (0, 0) (1, 1) block, 1 is the (0, 0) (-1, 1) block, 2 is the (0, 0) (-1, -1) block, 3 is the (0, 0) (1, -1) block, 4 is the (1, 0) (2, -1) block, etc.) to get the integral part
09:26:40 <hppavilion[1]> shachaf: ...wtf does that even mean?
09:27:05 <shachaf> Predicates on the reals?
09:27:54 <myname> hppavilion[1]: you do know P(M)?
09:28:01 <myname> the set of all subsets
09:28:02 <hppavilion[1]> myname: ...no?
09:28:06 <hppavilion[1]> shachaf: Ah
09:28:09 <myname> now you do
09:28:11 <hppavilion[1]> myname: ...wat?
09:28:20 <hppavilion[1]> myname: Oh, you mean the power set?
09:28:25 <myname> yeah
09:29:00 <myname> the power set of the naturals is uncountable and should be isomorphic to R
09:29:11 <hppavilion[1]> Ooooh
09:29:15 <hppavilion[1]> ...wait, how?
09:29:27 <myname> how how?
09:29:38 <hppavilion[1]> That feels like one of the things that should be countable for no apparent reason...
09:29:52 <hppavilion[1]> Oh, you'd need infinitely many dimensions for it to work
09:29:53 <hppavilion[1]> Right
09:30:07 <hppavilion[1]> (Like with fractions, but you can do those in 2)
09:30:19 <hppavilion[1]> s \in P(S) iff s \subseq P
09:30:28 <myname> P(M) is always 2^|M| big
09:30:36 <shachaf> It is easy to diagonalize P(N)
09:30:49 <myname> shachaf: how
09:31:19 <hppavilion[1]> shachaf: Wait, is diagonalization where we disprove or we do prove?
09:31:39 <hppavilion[1]> Because you use diagonals to prove #ℚ = #ℕ
09:33:44 <hppavilion[1]> ...Oh, and I of course see how 2^R is isomorphic to the set of predicates over the reals- any predicate p over S (of type S -> TF) can give two outputs to a p(s); if any combination of outputs is possible, that means a predicate can just be represented as the set of its TRUE values (or of its FALSE values)
09:34:20 <hppavilion[1]> Which can be any subset of R, and it's FALSE (or- if you use the set of FALSEities- TRUE) on the complement
09:34:23 * hppavilion[1] feels smrt
09:35:28 <hppavilion[1]> shachaf: Would {-1, 0, 1}^R (or any other set, for that matter) happen to be isomorphic to 2^R?
09:36:47 <hppavilion[1]> Oooh, a good way to write power set of S might be S!; while it isn't strictly the same (as power set must include {}), the analogy holds for a bit, it's intuitively similar, and I don't think factorial of a set has any better definition
09:39:18 <hppavilion[1]> I mean, if you have lists as well then S! could actually be the permutations of S, I guess
09:39:33 <hppavilion[1]> Then |S!| = |S|!
09:41:51 <myname> what should S! mean?
09:42:03 <myname> permutations of a set are the set
09:48:03 <hppavilion[1]> myname: I mean if lists are allowed
09:48:36 <hppavilion[1]> myname: If you can have ordered sequences, S! = {permutations of S in list form} is a nice definition, or at least a handy shorthand from a programming standpoint
09:48:50 <myname> it's still not even close to being the same as the power set
09:49:14 <myname> well yeah, you oractically never need it, though
09:49:38 <hppavilion[1]> Yeah, I know
09:50:07 <hppavilion[1]> myname: Using S! for permutations is a completely different definition of S! for power sets
09:50:17 <hppavilion[1]> They're two mutually exclusive definitions
10:12:31 <oerjan> pretty sure the set of permutations of an infinite set has the same size as its power set, assuming AoC.
10:13:00 <oerjan> (where a permutation is a self-bijection)
10:22:09 <int-e> I wonder what a GG movie would be like.
10:22:28 <oerjan> i got stuck reading the archives again
10:22:39 <int-e> So you're missing out on the current action?
10:22:55 <oerjan> no, that's were it started
10:23:20 <oerjan> i somehow got suspicious whether they'd been consistent about which arm Dimo lost
10:23:32 <int-e> Oh are you looking for a connection between the Geisterdamen and Skifander?
10:23:34 <oerjan> so i went back to the Sturmhalten arc
10:23:45 <int-e> Oh, even more mundane than that...
10:24:10 <oerjan> int-e: well that's a given too, but the only thing i can think of is that portal/door zeetha mentioned once
10:24:36 <int-e> But I would *expect* them to be consistent about that actually. I didn't ask the question though.
10:24:50 <oerjan> of course they may simply have been told about it by Lucretia, who probably accompanied the heterodyne brothers there
10:25:02 <oerjan> *z
10:25:20 <int-e> (Unless there's people-mirroring teleportation involved in the story :-P)
10:26:13 <int-e> (It's really an underappreciated problem of teleportation, imho... how do you know that you've put things together in the right orientation?)
10:26:47 <oerjan> CT symmetry breaking hth
10:29:08 <int-e> . o O ( What if the symmetry isn't broken but determined by the prevalence of matter vs. anti-matter? )
10:29:40 <int-e> But I meant as a plot device in stories.
10:34:46 -!- LKoen has joined.
10:38:17 <oerjan> hm two far apart civilizations that communicate via teleportation devices. but the first time they meet by normal traveling means, gamma ray explosion ensues...
10:43:35 <hppavilion[1]> Is there a commonly-cited English minimal pair for [ɪ] vs. [ɛ]?
10:43:43 <hppavilion[1]> Because I feel like they're VERY similar sounds
10:44:17 <FaerieFly> I read GG until I caught up with present time, then sort of stopped following it
10:44:21 <hppavilion[1]> And that even *I* couldn't reliably produce the distinction in any other language
10:44:34 <hppavilion[1]> Oh, better-bitter is an example
10:44:53 <FaerieFly> that would've been somewhere around when they were having issues with trains
10:45:22 <hppavilion[1]> In my current conlang, all vowels have three forms in writing- upper case, lower case, and super case (diacritical)
10:45:33 <FaerieFly> But honestly I should probably reread the whole thing since I've forgotten parts of the story and most of the characters by now
10:45:55 <LKoen> what's your first language?
10:46:05 <hppavilion[1]> LKoen: This one
10:46:17 <hppavilion[1]> (So English)
10:46:21 <LKoen> in French, I wouldn't even think about confusing [ɪ] and [ɛ]
10:46:40 <hppavilion[1]> LKoen: I wouldn't either because they *ARE* distinct in english
10:46:44 <hppavilion[1]> See: bitter-better
10:46:58 * FaerieFly checks real quick which e that is
10:47:02 <FaerieFly> oh the e in better?
10:47:27 <LKoen> I mean no frenchman would say [ɪ] and [ɛ] are *very* similar sounds
10:47:55 <FaerieFly> Yeah, I'd also call them completely different
10:48:00 <LKoen> we even got the accentuated letter é to denote [ɛ]
10:48:08 <hppavilion[1]> But they're so similar that if you don't just handle it automatically subconsciously (e.g. when learning a language), you could trip up constantly
10:48:20 <hppavilion[1]> LKoen: You can make them both without moving your mouth in the slightest
10:48:29 <LKoen> true
10:48:32 <LKoen> my tongue moves, though
10:48:41 <hppavilion[1]> LKoen: But not much
10:48:46 <hppavilion[1]> At least, for me
10:48:49 <hppavilion[1]> When I focus a bit
10:48:55 <LKoen> I hear the Greeks pronounce all their vowels [ɪ] nowadays
10:49:22 <FaerieFly> LKoen: that's funny since Swedish uses é exclusively to denote [eː] in cases where it'd otherwise be [ɛ]
10:49:33 <hppavilion[1]> And since it's obviously not voicing, that means that the difference between the two is just frequency produced by your vocal cords
10:49:42 * LKoen actually doesn't know the phonetic alphabet
10:50:56 <hppavilion[1]> (In my language, dipthong between two sound s and t is represented by the symbol for s (upper or lower case, as is appropriate for the context) with the diacritical form of t combining with it))
10:51:13 <shachaf> I know the NATO phonetic alphabet. Does that count?
10:51:28 <FaerieFly> oh, I don't know french, but looking up examples for the two, [e] is the one in "beauté" and [ɛ] the one in "bête" apparently
10:51:41 <FaerieFly> so I guess your é and our é might coincide
10:51:41 <LKoen> oh
10:51:49 <FaerieFly> which would be more useful
10:52:03 <LKoen> sorry, I was confused by "better"
10:52:16 <shachaf> FaerieFly: what's spooky about faeries twh
10:52:23 <LKoen> yeah, so é is [e] and è is [ɛ]
10:52:29 <FaerieFly> ah okay
10:52:50 <FaerieFly> shachaf: well there are some mischievous sprites
10:53:06 <hppavilion[1]> Looks like wiki's french IPA table isn't very good
10:53:10 <shachaf> ah, as in trick or treat?
10:53:29 <LKoen> when I had ancient greek in middle school they used to tell us that êta was è and epsilon was é
10:53:33 <FaerieFly> I was reading the Wikipedia article on where Halloween came from and saw " Like Beltane/Calan Mai, it was seen as a liminal time, when the boundary between this world and the Otherworld thinned. This meant the Aos Sí (pronounced ees shee), the 'spirits' or 'fairies', could more easily come into our world and were particularly active."
10:53:41 <FaerieFly> and thought that, hey, faerie is a cute word
10:54:13 <FaerieFly> it also reminds me of faerie fire
10:54:16 <LKoen> is there a difference between "fairy" and "faerie" in english?
10:54:28 <FaerieFly> I think faerie is just an archaic spelling
10:54:30 <hppavilion[1]> LKoen: And [ɪ] is... well, if you recognize german "bitte" it's the 'i'
10:54:41 <LKoen> yup we got the letter i for that sound hppavilion[1]
10:54:55 <fizzie> LKoen: I've been assuming it's the same difference as between dwarfs and dwarves, and elfs and elves.
10:54:55 <LKoen> in fact it's pretty much the only letter in french which has only one possible pronunciation
10:54:57 <hppavilion[1]> LKoen: We have the letter I for that sound and a million others :P
10:55:10 <hppavilion[1]> LKoen: faerie is the old fashioned way to spell it- probably should be færies- that nobody uses
10:55:22 <hppavilion[1]> But that is so archaic that when I first saw it I thought I was supposed to pronounce it differently
10:55:25 <LKoen> okay
10:55:32 <FaerieFly> hppavilion[1]: I think most indoeuropean languages that use the latin alphabet use 'i' for that, except english which seems to mainly use 'e' for it
10:55:32 <LKoen> and a ferry is a boat
10:55:38 <FaerieFly> for some reason
10:55:52 -!- oerjan has quit (Quit: Good night).
10:55:53 <hppavilion[1]> fizzie: I feel like we should just universally declare that any noun ending in 'f' can be properly pluralized with 'ves'
10:55:57 <LKoen> or i followed by a double consonant
10:56:05 <hppavilion[1]> One roof, many rooves
10:56:24 <FaerieFly> One roof, many reef
10:56:25 <hppavilion[1]> LKoen: I forget, does french have a dual in number?
10:56:25 <LKoen> she eats shoots and leaves
10:56:38 <LKoen> what the heck is a dual in number?
10:56:51 <hppavilion[1]> LKoen: number is grammatical category
10:56:58 <LKoen> hmmm
10:57:03 <LKoen> we got ordinals and cardinals?
10:57:04 <FaerieFly> like singular, plural, dual
10:57:08 <LKoen> oh
10:57:09 <LKoen> no we don't
10:57:16 <LKoen> we got singular and plural
10:57:20 <LKoen> plural means more than one
10:57:21 <hppavilion[1]> LKoen: Basically, does French have a different inflection to say '2 x' the same way as you distinguish '1 x' and 'several x'
10:57:24 <fizzie> "It may be observed that in this book -- the form dwarves is used, although the dictionaries tell us that the plural of dwarf is dwarfs. It should be dwarrows (or dwerrows), if singular and plural had each gone its own way down the years, as have man and men or goose and geese. But we no longer speak of a dwarf as often as we do of a man, or even of a goose, and memories have not been fresh ...
10:57:30 <fizzie> ... enough among Men to keep hold of a special plural for a race now abandoned to folk-tales, where at least a shadow of truth is preserved, or at last to nonsense-stories in which they have become mere figures of fun. But in the Third Age something of their old character and power is still glimpsed, if already a little dimmed: these are the descendants of the Naugrim of the Elder Days, in ...
10:57:36 <fizzie> ... whose hearts still burns the ancient fire of Aulë the Smith, and the embers smoulder of their long grudge against the Elves; and in whose hands still lives the skill in works of stone that none have surpassed."
10:57:42 <hppavilion[1]> fizzie: spam
10:57:55 <FaerieFly> no, an interesting qutoe
10:57:57 <FaerieFly> quote*
10:58:14 <LKoen> hppavilion[1]: for instance in english you'd say "I'm the fastest man alive" but "I'm the faster of us two" whereas in french the two would use the same word
10:58:23 <hppavilion[1]> fizzie: I've heard that Tolkein didn't know about Dwerrows when he wrote LotR and later found out and was sad
10:58:26 <LKoen> because we don't make any difference between two and many
10:58:38 <hppavilion[1]> LKoen: OK
10:58:51 <hppavilion[1]> LKoen: But, as I was told, french does treat 0 as singular
10:59:03 <LKoen> yes
10:59:12 <hppavilion[1]> (so you say- englishified- "I have no cow" rather than "I have no cows")
10:59:20 <LKoen> both are correct
10:59:24 <FaerieFly> Swedish doesn't have a dual number either, but IIRC some words sort of remain with traces of a dual number, but I'm blanking on any right now (apart from 'both' if that counts, but that's a bit silly)
10:59:24 <hppavilion[1]> Oh?
10:59:43 * FaerieFly looks it up
10:59:49 <FaerieFly> I feel like I should know my own language, but..
11:00:09 <LKoen> I think the only way you can be *forced* to use singular is with the word "aucun", which is literally the same as german "kein" and means "not one"
11:00:12 <hppavilion[1]> My conlang has singular, dual, many, plural (dual | many), and none.
11:00:17 <hppavilion[1]> s/none/null/
11:00:20 <FaerieFly> Oh I se
11:00:25 <FaerieFly> e
11:00:35 <hppavilion[1]> So there's a way of inflecting that's equivalent to saying "cow(s)" in english
11:00:52 <FaerieFly> the comment was about the use of the word "bägge".. if you refer to two things, you say "bägge två", whereas for three or more it would be "alla tre", "alla fyra", etc
11:00:56 <hppavilion[1]> I seem to be taking a lot of Latin and Spanish into it as well, where -o applied to a verb means that you do it
11:01:12 <FaerieFly> ("all three", "all four")
11:01:23 <Taneb> hppavilion[1], in "This field has been designate for cows", would cows take the null number?
11:01:24 <LKoen> does "bägge" mean all?
11:01:25 <FaerieFly> but not "all two"; rather you would say "both two" so to speak
11:01:34 <FaerieFly> LKoen: it means "both" roughly
11:01:36 <LKoen> it looks like it should mean bag
11:01:48 <hppavilion[1]> Taneb: "null" just means you aren't specifying
11:02:07 <hppavilion[1]> Taneb: So it'd probably be the non-null, which I forgot to add or mention
11:02:28 <LKoen> non-null??
11:02:31 <hppavilion[1]> So if you kek bob, you can say so with "keko bob"
11:02:43 <hppavilion[1]> LKoen: Not 0
11:02:49 <LKoen> oh, okay
11:02:57 <hppavilion[1]> (Which is akin to saying... who knows. I don't.)
11:03:06 * LKoen didn't understand whether "null" meant "zero" or "not specifying how many"
11:03:47 <hppavilion[1]> LKoen: ...yeah, good point. I did some word collision there
11:04:01 <hppavilion[1]> s/non-null/non-zero/g
11:04:06 <LKoen> and how many genders do you have? she/he/e/it?
11:04:37 <hppavilion[1]> LKoen: The pronouns are generally genderless because gendered pronouns aren't really needed
11:04:44 <FaerieFly> LKoen: about vowels having multiple sounds, that's the case in swedish too--each vowel has a "long sound" and "short sound", but they in many cases differ in both length and quality (i.e., pronounced differently)
11:04:49 <FaerieFly> it's rather annoying >.<
11:05:26 <FaerieFly> so the "è" would be "short e" for me and "é" would be "long e"
11:05:38 <LKoen> oh
11:05:57 <FaerieFly> the former practically never appears lengthened (only in loans) and vice versa for the latter
11:06:20 <hppavilion[1]> There are other weird things too
11:06:32 <hppavilion[1]> Let's say the word 'kek' means "serves [food]"
11:06:35 * LKoen thinks french is one of the language which worries the less about accents or length
11:06:56 <FaerieFly> interesting
11:07:26 <LKoen> I mean, intuitively, I do put accents on some syllables on some words, but if someone else do it differently I might not be shocked
11:07:40 <LKoen> and we don't teach accents at school, neither to french kids nor to foreigners learning french
11:07:46 <FaerieFly> Huh.
11:08:07 <FaerieFly> I should ask my parents whether they did
11:08:11 <LKoen> (by accents I don't mean the ' on é but the emphasis on some syllables)
11:08:30 <FaerieFly> ah I see
11:08:33 <LKoen> (like the difference between "analyse" and "analysis"
11:08:47 <FaerieFly> I was confused for a moment since I was thinking "aren't the ´ ` accents kinda important" :p
11:08:54 <FaerieFly> Right, I see what you mean
11:09:21 <FaerieFly> I would call that stress
11:09:25 <FaerieFly> but now I'm unsure
11:09:27 <LKoen> stress, thank you
11:09:47 <LKoen> sometimes I read "accent tonique" in french texts about foreign languages
11:11:31 <FaerieFly> We call it "betoning", which would be something like "en-tone-ing" if one translated it verbatim
11:15:08 <hppavilion[1]> If I say "josi-də-ei'ym kek" or "kekoʔseiym" means "I serve you[plural] food" because inflection
11:16:29 <hppavilion[1]> LKoen: Combining symbols on letters are "diacritics", specific way of stressing words is "emphasis", "accent" is a way people from a region talk
11:16:40 <LKoen> okay
11:16:52 <LKoen> in french the first one is called "accent"
11:16:56 <LKoen> the second one is called "accent"
11:17:00 <LKoen> and the third one is called "accent"
11:17:16 <LKoen> as you can see we think and talk about language a lot
11:19:45 <hppavilion[1]> I must now sleep
11:19:53 -!- hppavilion[1] has quit (Quit: 02:19 local).
11:33:34 <HackEgo> [wiki] [[Web framework list]] https://esolangs.org/w/index.php?diff=50039&oldid=41839 * YSomebody * (+22)
11:34:41 -!- boily has joined.
11:34:51 <boily> `wisdom
11:34:56 <HackEgo> nethack//<Jessicatz> you play too much nethack when: you look down both sides of the corridor, start to sweat and then realize you're looking at your email address
11:37:04 -!- `^_^v has quit (Quit: This computer has gone to sleep).
11:42:21 <LKoen> I use gmail and they managed to make the interface even worse than it already was. no confusing it with a corridor now
11:47:12 <boily> HELLoen. they changed gmail?
11:49:45 <FaerieFly> We use "accent" for the ` ´ diacritics, "betoning" for stress/emphasis, "dialekt" for the regional thing
11:50:15 <FaerieFly> You ~could~ use "accent" for the regional thing but it's rarely used and would be pronounced differently from the "accent" for the diacritics
11:51:35 <LKoen> we got "dialecte" too but it means an actual variation on the language
11:51:38 <FaerieFly> the diacritics "accent" is /ˈakːsaŋː/ borrowing from French whereas I've only ever heard /ˈakːsɛnːt/ for the "regional variation" sense
11:51:41 <LKoen> not just pronunciation
11:51:56 <FaerieFly> Right, we use "dialekt" for regional variations in pronounciation
11:52:05 <FaerieFly> which is a bit different from the english sense of "dialect" too
11:53:43 <FaerieFly> (in case you're wondering, /ˈakːsaŋː/ is our "try to mimic the French" pronounciation)
11:53:52 <FaerieFly> I have no idea whether it's a good or bad approximation, but hey :p
11:54:03 <FaerieFly> same goes for other words we've borrowed from french
11:54:22 <boily> FællorieFly! /aksã/ hth
11:54:28 <FaerieFly> the ŋ is probably not nasal enough
11:54:38 <FaerieFly> is /ã/ a nasal /a/?
11:54:51 <FaerieFly> or is my imagined pronounciation completely off?
11:54:59 <FaerieFly> (heily)
11:55:32 <boily> it is. LKoen might pronounce it closer to /ɑ̃/.
11:56:25 <LKoen> I don't think accent is nasal
11:56:37 <LKoen> the t is completely mute
11:56:56 <LKoen> and the n is only there as a diphtongue with the a, we don't pronounce it as a consonant
11:57:19 <LKoen> err, with the a I mean
11:57:21 <LKoen> with the e*
11:58:11 <boily> eh?
12:17:03 -!- boily has quit (Quit: GUEST CHICKEN).
12:34:43 <LKoen> hmmmm
12:34:53 <LKoen> so there's this tv show that my fiancé wants to watch on tvc
12:34:55 <LKoen> tv*
12:35:01 <LKoen> but we missed the first four episodes
12:35:14 <LKoen> they are on replay on the channel's website, but it's supposed to be streaming
12:35:39 <LKoen> I'd like to download them so I can watch them on tv rather than on my computer
12:43:29 <LKoen> nevermind, the replay has only got the french dubbed version :(
12:50:20 -!- `^_^v has joined.
13:18:31 -!- Phantom_Hoover has joined.
13:45:08 <fizzie> LKoen: FWIW, "youtube-dl", despite the name, can download from a whole bunch -- https://rg3.github.io/youtube-dl/supportedsites.html -- of "streaming" websites. Depending on how obscure yours is.
13:46:07 -!- `^_^v has quit (Quit: This computer has gone to sleep).
13:46:18 <fizzie> (E.g. some of the Finnish commercial TV channels are on that list, but the Finnish national public broadcasting company's web thing isn't, you have to use a separate tool for that.)
13:46:37 -!- `^_^v has joined.
13:52:05 <LKoen> fizzie: oh, I didn't know that, thank you
14:04:13 -!- moonythedwarf has joined.
14:14:49 -!- otherbot has joined.
14:56:12 -!- 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.”).
15:03:07 -!- Cale has quit (Ping timeout: 256 seconds).
15:03:24 -!- LKoen has joined.
15:04:01 -!- LKoen has quit (Remote host closed the connection).
15:13:12 <b_jonas> Modern compilers are really complicated. I'm appreciating them more and more all the time I learn about them. They have to do a lot of magical things.
15:18:09 <moonythedwarf> :P
15:18:12 <moonythedwarf> they do
15:32:27 -!- Cale has joined.
16:01:01 -!- moonythedwarf has quit (Remote host closed the connection).
16:13:09 -!- Yurume_____ has quit (Ping timeout: 248 seconds).
16:14:26 -!- Yurume_____ has joined.
17:01:20 -!- DHeadshot has joined.
17:03:14 <Phantom_Hoover> b_jonas, have you seen the gcc wiki article on reload.c
17:15:23 <HackEgo> [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=50040&oldid=50038 * Quintopia * (+56) smbf
17:19:22 -!- ybden has changed nick to molum.
17:25:50 <\oren\> Newt Gingrich accuses Megyn Kelly of being fascinated with sex.
17:26:22 <\oren\> a swear to god this is the decadent decline of the american empire
17:26:33 <alercah> it is
17:50:20 -!- sebbu has quit (Ping timeout: 244 seconds).
17:55:00 -!- sebbu has joined.
18:02:59 -!- DHeadshot has quit (Ping timeout: 252 seconds).
18:03:52 -!- Lord_of_Life has quit (Remote host closed the connection).
18:04:42 -!- Lord_of_Life has joined.
18:05:13 -!- DHeadshot has joined.
18:35:49 -!- MoALTz has joined.
18:47:19 -!- godel has joined.
18:54:30 <\oren\> "The clouds at the outer edge of the hurricane swirling beneath the hexagon’s surface are estimated to be traveling at about 330 miles per second" idiots
18:59:41 -!- moonythedwarf has joined.
19:01:12 -!- ski has quit (Remote host closed the connection).
19:02:07 -!- `^_^v has quit (Quit: This computer has gone to sleep).
19:02:16 <HackEgo> [wiki] [[Beeswax]] https://esolangs.org/w/index.php?diff=50041&oldid=49995 * Albedo * (+1523) /* Write file to disk */ add Proof of Turing completeness
19:03:14 * moonythedwarf moo2s
19:03:32 <izalove> magnitude 5.5 earthquake near rome...
19:04:10 <moonythedwarf> izalove: a better one would be a magnitude 15 (richter scale) earthquake :)
19:05:56 <izalove> fuck you
19:06:06 <\oren\> why does so much stuff seem to rely on undefined behaviour
19:07:09 <olsner> because almost everything is undefined behavior
19:07:25 <moonythedwarf> izalove: fuck me? why?
19:07:59 <izalove> 300 people died a couple of months ago for a 6.2 mag earthquake in italy
19:08:01 <\oren\> in this case, we are apparently relying on the behaviour of defining functions multiple times
19:08:50 <moonythedwarf> izalove: oh. i didnt know. sorry. i was jokingly pointing out (very badly) that a magnitude 15 earthquake emits roughly Earth's gravitational binding energy
19:08:52 <\oren\> and it is apparently working 99 times out of 100
19:10:06 <moonythedwarf> -js return "sorry."
19:10:06 <otherbot> 'sorry.'
19:10:06 <otherbot> { obuf: '', | console: { log: [Function] }, | Buffer: [Function: Buffer], | EventEmitter: [Function: EventEmitter], | util: {}, | global: '[Circular]', | process: { exit: [Function] } }
19:10:30 <int-e> Hmm, magnitude 15... *extrapolates* 10 exatons TNT equivalent ... a truly mindshattering ("boggling" is just too weak) amount.
19:11:18 <moonythedwarf> int-e: i've been assuming it would blow the earth apart if a magnitude 16 were to somehow show up, plausible?
19:12:06 <moonythedwarf> izalove: a magnitude -15 would be best tho. (same as a mote of dust landing on your table, they happen all the time :p)
19:12:28 <moonythedwarf> -
19:12:28 <otherbot> # killall -SIGSEGV init & killall -SIGILL init
19:12:34 <\oren\> the chicxulub crater was magnitude 13
19:17:16 -!- quintopia has joined.
19:17:53 <quintopia> well that was annoying
19:18:05 <quintopia> my server was down for hours last night. no idea when it came back up
19:18:47 <int-e> moonythedwarf: No I don't think so... still not nearly enough energy (10^25J) to accelerate 6*10^24kg to escape velocity (if you move 1% of that, you can lift it 33m high? don't quote me on that...) It *will* destroy all life on Earth and probably blow a noticable chunk away.
19:20:07 <int-e> moonythedwarf: but I'm not certain that I got all orders of magnitude right there... do your own calculation or ask Randall Munroe ;-)
19:20:19 <moonythedwarf> :p
19:21:54 <moonythedwarf> `cat canary
19:21:54 <HackEgo> chirp chirp
19:22:30 <int-e> other fun tidbit, remotely related: Li-ion batteries have about 10% the energy density of TNT.
19:22:34 <quintopia> @tell boily so far, Silberjoder programs are 55% shorter than equivalent Aubergine programs and 30% shorter than equivalent SMBF programs
19:22:35 <lambdabot> Consider it noted.
19:22:52 <int-e> (source: https://en.wikipedia.org/wiki/Energy_density_Extended_Reference_Table )
19:23:09 <quintopia> moonythedwarf: HackEgo is programmed to delete that file whenever things get too hostile in this channel
19:23:40 <moonythedwarf> quintopia: orly? prove it :)
19:23:46 * moonythedwarf derps
19:25:07 <int-e> I think we already had the string "cat: canary: No such file or directory" as the contents of the canary file, so don't bother.
19:25:30 <moonythedwarf> int-e: shachaf put the 'chrip' there
19:25:36 <moonythedwarf> i just added the second :P
19:26:16 <moonythedwarf> but i might as well put that string bad
19:26:18 <shachaf> `url
19:26:19 <HackEgo> http://codu.org/projects/hackbot/fshg/
19:26:34 <shachaf> Did you add it in /msg?
19:26:40 <moonythedwarf> `` echo "cat: canary: No such file or directory" > canary
19:26:42 <HackEgo> No output.
19:26:57 <shachaf> You did, huh.
19:26:58 <moonythedwarf> yes?
19:27:02 <shachaf> Can you stop it please?
19:27:02 <int-e> moonythedwarf: http://codu.org/projects/hackbot/fshg/index.cgi/rev/421c51b7ca27
19:27:48 <shachaf> You've been asked several times by several people to stop doing that.
19:28:58 <int-e> and by "we already had the string" I apparently meant that shachaf put it there
19:29:20 -!- godel has quit (Ping timeout: 256 seconds).
19:40:39 -!- augur has quit (Remote host closed the connection).
20:06:23 <izalove> Well, it appears AWS is down.
20:06:25 <izalove> How about 60% off everything on our site while AWS is down?
20:06:27 <izalove> Coupon Code: AWSISDOWN
20:06:29 <izalove> NOTE: Once AWS is back up 100% we will disable this coupon.
20:06:31 <izalove> Thanks for your continued business.
20:06:33 <izalove> CloudatCost Team.
20:07:19 <\oren\> if aws was down, wouldn't my ebsite be down too?
20:07:47 <izalove> your ebsite is a special snowflake
20:08:44 <izalove> anyway it was a few days old and i just found it
20:09:58 <izalove> and cloudatcost is usually on 70-90% sale
20:10:15 <izalove> like, this is literally the first time i see them not on sale
20:10:44 <shachaf> Is that a statement that they're confident that AWS won't have much downtime?
20:11:13 <shachaf> If they can put it on sale, was it really at cost?
20:12:26 <int-e> CaC is so funny.
20:13:24 -!- godel has joined.
20:15:10 <int-e> shachaf: tbf, CaC is permanently having some sort of sale...
20:16:07 <int-e> And it could be "at cost"... they just take 30% of the money and invest it in hardware maintenance :P
20:17:22 <int-e> Oh and electricity.
20:18:45 <int-e> And I believe I've suggested this before, but going into bankruptcy seems to be an essential last resort of any business plan that offers "lifetime" VPSs.
20:20:38 <int-e> So all they need is a way to siphon out the money... maybe they're paying for traffic to their telecom parent business.
20:23:12 -!- imode has joined.
20:24:22 -!- lambdabot has quit (Quit: hmm).
20:29:26 -!- lambdabot has joined.
20:29:46 -!- Bowserinator has quit (Quit: Goodbye :().
20:33:21 <fizzie> int-e: They should probably get some sort of an esolang award for all their good work, though.
20:37:51 -!- Bowserinator has joined.
20:41:31 -!- Bowserinator has quit (Changing host).
20:41:31 -!- Bowserinator has joined.
20:43:21 -!- augur has joined.
20:46:56 -!- MoALTz has quit (Quit: Leaving).
20:47:35 <izalove> http://www.emsc-csem.org/Earthquake/Map/zoom.php?key=85&typ=euro#2 another one... 6.1 mag
20:49:52 -!- MDude has quit (Ping timeout: 276 seconds).
21:02:16 -!- DHeadshot has quit (Ping timeout: 256 seconds).
21:02:26 -!- hppavilion[1] has joined.
21:02:43 <hppavilion[1]> Apparently, there's such thing as a hexagonal parallelogon
21:19:35 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
21:49:14 -!- augur has quit (Remote host closed the connection).
22:03:19 -!- Phantom_Hoover has joined.
22:13:17 -!- DHeadshot has joined.
22:18:53 <\oren\> https://www.youtube.com/watch?v=xoKjTdoEe7U
22:19:16 -!- moonythedwarf has quit (Remote host closed the connection).
22:34:53 <\oren\> だんだん速くなる だんだん笑顔になる
22:41:36 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50042&oldid=50041 * Albedo * (+15) /* [ and ] instructions */
22:41:50 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50043&oldid=50042 * Albedo * (+8) /* . and , instructions */
22:44:57 -!- augur has joined.
22:54:54 <myname> `? hth
22:54:58 <HackEgo> hth is help received from a hairy toe. It is not at all hambiguitous.
22:55:20 <shachaf> `? hambiguitous
22:55:21 <HackEgo> We're not sure what hambiguitous means, but it's definitely not hth.
23:01:28 -!- patr0clus has joined.
23:03:57 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:03:58 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50044&oldid=50043 * Albedo * (+51) /* Proof of Turing completeness */
23:04:12 -!- patr0clus has left.
23:05:27 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50045&oldid=50044 * Albedo * (+3) /* For 8 bit cell size */
23:05:51 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50046&oldid=50045 * Albedo * (+23) /* For 64 bit cell size */
23:07:56 <HackEgo> [wiki] [[Beeswax]] M https://esolangs.org/w/index.php?diff=50047&oldid=50046 * Albedo * (+124) /* instructions */
23:10:28 -!- fungot has quit (Ping timeout: 245 seconds).
23:10:54 <HackEgo> [wiki] [[Special:Log/newusers]] create * ABoschman * New user account
23:20:17 <\oren\> `? biguous
23:20:17 <HackEgo> biguous? ¯\(°​_o)/¯
23:20:21 <\oren\> `? ambiguous
23:20:22 <HackEgo> ambiguous? ¯\(°​_o)/¯
23:24:14 <hppavilion[1]> 1 3 5 59 245 2491 235253 127756731 330567489269
23:24:25 <\oren\> `le/rn ambiguous/Ambiguous, from greek 'ἀν-' lack of, and 'βιγος' clarity of meaning, means when something is unclear in its meaning. Antonym: biguous.
23:24:27 <HackEgo> Learned 'ambiguous': Ambiguous, from greek 'ἀν-' lack of, and 'βιγος' clarity of meaning, means when something is unclear in its meaning. Antonym: biguous.
23:25:20 -!- boily has joined.
23:25:31 <hppavilion[1]> \oren\: There's no joke there
23:25:56 <\oren\> コンボアリワ
23:26:38 <\oren\> `? ambiguous
23:26:38 <HackEgo> Ambiguous, from greek 'ἀν-' lack of, and 'βιγος' clarity of meaning, means when something is unclear in its meaning. Antonym: biguous.
23:26:47 <boily> コンボレンは!
23:27:13 <boily> @massages-loud
23:27:13 <lambdabot> quintopia said 4h 4m 38s ago: so far, Silberjoder programs are 55% shorter than equivalent Aubergine programs and 30% shorter than equivalent SMBF programs
23:27:49 <boily> \oren\: do you know how to fix the LaTeX Greek Problem?
23:28:01 -!- Cale has quit (Ping timeout: 256 seconds).
23:30:05 <\oren\> boily: what greek latex problem?
23:31:20 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds).
23:32:01 <boily> something broke some time ago, and I can't pdfy wisdoms with Greek in them.
23:32:35 <boily> let me pull the error message...
23:33:05 <boily> ! Package fontenc Error: Encoding file `lgrxenc.def' not found.
23:33:05 <pikhq> ドウシテ ミンアガ ヘンカクカナヲ ツカッテルノ?
23:33:18 <pikhq> *ミンナ
23:34:31 <boily> ピックヘロキュー \oren\さんだけが使いますよ
23:35:55 <pikhq> *だと思います
23:36:40 <\oren\> ダッテ ハンカクカナハ ゼンカクッカナヨリ ホウガカワイイ
23:36:43 <pikhq> Oh, you said tsukaimasu, not omoimasu. Never mind.
23:36:51 <pikhq> I apparently can't read today.
23:39:13 <boily> \oren\: that's a perfectly cromulent point.
23:39:19 -!- fungot has joined.
23:40:25 <boily> pikhq: I can't omoimasu today, neurons were drowned in coffee and survivors throttled with a few choice lines of Java. and some XML too, to make sure nobody was left.
23:40:30 <boily> fungot: nostril!
23:40:31 <fungot> boily: written in scheme is bad form. can ming generate it? why? so long as that doesn't betray what you're trying to look smarter than i am
23:40:49 <pikhq> boily: My sympathies.
23:41:43 <quintopia> coily
23:41:46 <shachaf> pikhq: more like pooch pic hq
23:42:21 <quintopia> i wish i could nippon
23:45:39 <boily> quinthellopia!
23:45:59 <boily> nipponing is easy. it's just a fungotload of easy steps.
23:45:59 <fungot> boily: a good start, actually. which is somewhat divorced from any kind of esolang symbol or logo or something? i have
23:46:07 <pikhq> Weru, za nippongo ranguaji izu not zatto hādo. Yū shimpuri niido tsu wāku on itto foa severu yiazu. Ando zen, yū tsu wiru spiiku japaniizu.
23:46:18 -!- xkapastel has joined.
23:46:24 <boily> `relcome xkapastel
23:46:25 <HackEgo> xkapastel: 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.)
23:46:34 <boily> pikhq: www
23:46:57 -!- Cale has joined.
23:47:14 <\oren\> ダンダン ニホンゴハ コノ チャネルヲ シリャクシマス
23:48:06 <\oren\> *シンリャクシマス
23:48:26 <quintopia> boily: what are the steps
23:48:31 <boily> 侵略? 何で?
23:49:40 <\oren\> フォア グレイト ジャスチス
23:49:40 <boily> quintopia: hiragana, katakana, basic sentence structure, [REDACTED], basic kanji, slightly more complex sentences, slightly more complex kanji, slightly more complex sentences...
23:49:48 -!- Phantom_Hoover has joined.
23:50:01 <boily> \oren\: ZIG!
23:50:08 <pikhq> boily: 侵略攻略イカ娘!
23:50:40 <boily> もちろん!
23:50:52 <\oren\> キュン!
23:51:41 -!- Zarutian has joined.
23:52:17 -!- Zarutian has quit (Read error: Connection reset by peer).
23:52:34 -!- Zarutian has joined.
23:54:19 -!- advbot has joined.
23:54:23 <hppavilion[1]> YES
23:54:25 <hppavilion[1]> IT WORKED
23:54:29 <hppavilion[1]> I MADE IT JOIN AT RUNTIME
23:54:29 -!- oerjan has joined.
23:54:37 <hppavilion[1]> +=amibatman
23:54:37 <advbot> YES
23:54:46 <advbot> YES
23:54:51 <hppavilion[1]> OK, that's a problem
23:54:53 <xkapastel> +=areyouawizard
23:54:55 <hppavilion[1]> It doesn't know which channel is which
23:55:08 <boily> +=chicken
23:55:21 <hppavilion[1]> boily: Apparently, you're logged in as boily
23:55:21 <boily> +=chicken, I said.
23:55:30 <hppavilion[1]> boily: It should tell you when the command isn't recognized
23:55:30 <boily> hppavilion[1]: duh :P
23:55:40 <hppavilion[1]> Yes, but it printed it out :P
23:55:48 <shachaf> this bot is unnecessary tdnh
23:55:56 <shachaf> i predict that it'll cause nothing but spam
23:55:57 <hppavilion[1]> shachaf: It's unnecessary FOR NOW
23:56:08 <fizzie> shachaf: That was a very quick turnaround time for a prediction.
23:56:31 <hppavilion[1]> shachaf: I'm moving it off the channel in a moment, I just needed to check if a certain command that requires joining a channel other than #esoteric-blah worked
23:56:40 <boily> +=testtestasdfasdfadsf
23:56:58 <shachaf> You could have tried any other channel. For example #esoteric-blah-blah
23:56:59 <oerjan> +=whatisthis
23:57:17 <hppavilion[1]> It confirms that users are logged in so that the admin commands (e.g. join a channel or turn off) can't be executed by people who just use an admin's nick
23:57:24 <fizzie> oerjan: +===\__/ is a frying pan hth
23:57:25 <hppavilion[1]> +=die; yes
23:57:31 <hppavilion[1]> ...wait
23:57:43 -!- DHeadshot_ has joined.
23:57:49 -!- advbot has quit (Read error: Connection reset by peer).
23:57:50 -!- oerjan has set topic: News: esolang contest at http://calesyta.xyz/en/ | The intraplanetary hub of esoteric pizza discussion and development | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive bot testing, use #esoteric-blah-blah-blah-blahblah-blahblah-blah.
23:57:57 <hppavilion[1]> It appears it was frozen
23:57:57 <\oren\> I can't see any replies from advbot
23:57:59 <quintopia> boily: what is the thing with the backwards E and y that sounds like "yoy" at 2:25 https://www.youtube.com/shared?ci=IvN8jW_UXlU
23:57:59 <oerjan> oops
23:58:06 <hppavilion[1]> \oren\: Yeah, it froze
23:58:08 -!- oerjan has set topic: News: esolang contest at http://calesyta.xyz/en/ | The intraplanetary hub of esoteric pizza discussion and development | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive bot testing, use #esoteric-blah-blah-blah-blah-blah-blah-blah-blah.
23:58:14 <quintopia> what does it mean
23:58:24 -!- DHeadshot has quit (Ping timeout: 260 seconds).
23:58:35 <hppavilion[1]> Is #esoteric-blah-blah a thing?
23:59:10 <pikhq> It is as soon as you join it.
23:59:20 <\oren\> quintopia: it just says ヨイ
23:59:49 <hppavilion[1]> pikhq: Well duh
23:59:53 <quintopia> yes that
←2016-10-25 2016-10-26 2016-10-27→ ↑2016 ↑all