00:00:13 -!- DHeadshot has quit (Ping timeout: 260 seconds). 00:00:57 I'm normally not in the UK, so seems unlikely ;) <-- neither was fizzie before he got the job 00:01:18 -!- ais523 has joined. 00:01:25 his523 00:01:30 oerjan: I would probably end up at an office closer to north america 00:01:44 hi 00:02:06 alercah: reykjavik hth 00:02:18 alercah is going to work at Google? 00:02:38 shachaf: channel synchronicity demands it 00:02:46 oerjan: the !(user_age > 0) is to avoid banning account creation 00:02:57 while catching anons 00:03:10 alercah: have you considered moving to california hth 00:03:10 oerjan: good idea 00:03:18 shachaf: yes I have 00:03:22 tdnh 00:04:07 california is among the best of the californias 00:04:59 ais523: but there's already an exception for account creation in there... 00:05:57 maybe it wasn't like that before i started rearranging. 00:06:17 oerjan: there wasn't an exception for anon users (who don't have an edit count) 00:07:08 um 00:07:43 -!- pikhq has joined. 00:07:50 now I'm confused 00:08:27 testing seems to show no ill effect of removing it. 00:09:27 or wait hm 00:10:39 -!- pikhq has quit (Read error: Connection reset by peer). 00:11:01 although i'm also a bit confused about what happens with some of the tests if a variable is undefined. 00:11:27 -!- `^_^v has joined. 00:11:55 oh wait 00:12:04 maybe it _does_ catch anonymous users. 00:12:31 it's just that those have been disabled by fizzie, so no recent actions will trigger it 00:12:34 oerjan: undefined seems to work like NaN 00:12:45 all comparisons with it return false, AFAICT 00:12:50 ok 00:13:23 but is != equivalent to !( ... == ... ) even then? 00:13:49 not sure, but my guess is no 00:14:03 I guess we could make a test filter to find out 00:14:15 although finding an undefined value without anon editing legal could be hard 00:14:37 well i was thinking about article_articleid 00:14:59 it's the reason i didn't change != to == when making the Karnaugh diagram 00:15:39 -!- hppavilion[1] has joined. 00:15:47 wait, does this mean the filter really _should_ use !(article_articleid == 10933) instead 00:16:08 hmm, possibly 00:16:09 What WOULD an esolang designed for actual, productive use be like? 00:16:25 Designed to be different, as if it developed from different core principles 00:16:27 -!- pikhq has joined. 00:16:29 hppavilion[1]: either something along the lines of Befunge-98, or else something that's esoteric because it does a heavy amount of source code checking 00:16:37 Prolog is a good example of something that would have been an esolang at the time 00:16:50 -!- pikhq has quit (Read error: Connection reset by peer). 00:17:38 Yeah 00:18:27 ais523: Or something ultra-minimal like Brainfuck (but not a derivative at all), but more readable 00:18:32 ais523: Or even something like Thue 00:18:36 (I like Thue...) 00:22:12 I wouldn't describe Thue as designed for practical use 00:22:25 that said, I once did consider a wimpmode of Thutu the easiest language to write a particular program in 00:22:47 (I realised Thutu would be useful for the purpose, so I created a wimpmode to make the program easier to write) 00:23:16 ais523: It wouldn't be literally Thue 00:23:24 But it'd be based on similar ideas 00:23:27 (string substitution) 00:23:37 Sort of like my Thoof 00:24:07 -!- moony has joined. 00:26:41 -!- Frooxius has joined. 00:26:55 @tell fizzie why are the "" tags visible in the captcha question? 00:26:56 Consider it noted. 00:28:22 -!- pikhq has joined. 00:28:45 [wiki] [[Special:Log/newusers]] create * OerjanTest * New user account 00:28:58 Oooh, DuckDuckGo will search the wiki with !eso 00:30:21 oerjan: Out of curiosity, would is Thue's name *properly* be pronounced? 00:30:30 (The person, not the language- the language is Too-ay) 00:31:19 I originally read it as "þoo", and now it's stuck like that inside my head, but I later learned it's /approximately/ "TOO-eh" 00:31:27 But the 'h' is bugging me- is the 't' aspirated? 00:31:34 the name is the same as the language, more or less. 00:31:45 yes, norwegian t is like english 00:32:16 ^prefixes 00:32:16 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . 00:32:17 -!- pikhq has quit (Read error: Connection reset by peer). 00:32:21 Hm 00:33:05 I was thinking I'd host a j-bot replacement. Should I go with [ or ] as bot prefix? 00:33:13 Oh, it's [tʉ]... let me check the example 00:33:40 hppavilion[1]: /²tʉːə/ 00:33:50 (As long as I'm at it, I'll find how to PROPERLY pronounce my last name...) 00:34:09 whose was j-bot? 00:34:22 tangentstorm. I don't think he frequents the channel 00:34:22 arguably ] would make sense because jconn is using ) and j-bot is using [ 00:34:25 so it would be somewhere in between 00:34:35 -!- ffj-bot has joined. 00:34:38 It's using j-bot's code 00:34:41 ] i.10 00:34:42 FireFly: 0 1 2 3 4 5 6 7 8 9 00:35:31 btw, is J commercial? I vaguely remember that it is but I might be wrong 00:35:43 -!- ffj-bot has quit (Remote host closed the connection). 00:35:46 by which I mean, can you legally obtain a J interpreter without paying money? and if you can, is it open source? 00:36:14 -!- ffj-bot has joined. 00:36:55 It was commercial, but they provided a binary for free since forever ago, and then some time ago (2011? or thereabout) they released the source under GPL 00:38:29 Well, at some point far in the past it was fully commercial 00:38:48 well, 'far' is relative I guess 00:39:07 -!- pikhq has joined. 00:39:57 (Last name 'Tronnes' stylized 'Trønnes' based on classical spelling; we pronounce it ['tɻʌn ɪs] or ['tɻʌn nɪs], but people constantly pronounce it incorrectly in various ways- most commonly [tɻoʊnz] or [tɻo:nz], though one person once did [tɻoʊ 'nis]. During an awards assembly. I didn't have the nerve to correct them. Any of the 5 times.) 00:40:22 http://www.jsoftware.com/source.htm 00:40:51 i thought j-bot had been here recently... it may have been b_jonas who summoned it 00:41:35 (When you do correct people- "no, ['tɻʌn nɪs]"- they tend to not understand that you're saying it as they should instead of exaggerating in the opposite direction, and kind of blend the correct one together with their incorrect version rather than just discarding theirs entirely) 00:42:33 -!- pikhq has quit (Read error: Connection reset by peer). 00:43:06 (This has led to a joke where you repeatedly correct them even when they get it right- "[tɻoʊnz]" "no, ['tɻʌn nɪs]" "['tɻoʊn nɪs]" "no, ['tɻʌn nɪs]" "['tɻʌn nɪs]" "NO, ['tɻʌn nɪs]" "['tɻʌn nɪs]" "no, ['tɻʌn nɪs]" etc.) 00:43:09 is ʌ a schwa or is it a bit different? 00:43:22 hppavilion[1]: /²tɾœnːeːs/ hth 00:43:26 ais523: It's the 'u' in 'cut' 00:43:37 oh bleh 00:43:38 oerjan: Is that the correct one in Norway? 00:43:45 that's like… schwa-like but not identical in all accents? 00:43:47 i believe so 00:43:50 ais523: Yeah? 00:43:55 -!- `^_^v has quit (Quit: This computer has gone to sleep). 00:44:02 it's more clearly a u than a schwa is 00:44:04 ais523: Not really; 'uh' is different from schwa afair 00:44:08 but people also default to hearing schwa as u 00:44:10 -!- pikhq has joined. 00:44:16 and it's not the same phoneme as /u/ 00:44:16 Yeah 00:44:36 -!- pikhq has quit (Read error: Connection reset by peer). 00:44:37 Schwa is what happens when there should be (or used to be) a vowel there, but there barely is 00:44:45 Like 'o' in "button" 00:45:59 Most people say it like ~'bʌtn', but since you don't smoothly go /t/ -> /n/ (like with /t/ -> /s/), a schwa goes there to indicate that it is a separate syllable 00:46:34 I agree that the o in button is pronounced /ə/ 00:47:16 [bʌtən] 00:47:24 /ʌ/ is the closest english to norwegian /œ/, anyway, and it's often converted that way in borrowings the other way. e.g. no:tøff = en:tough 00:48:51 I feel like the Latin alphabet should have extra letters that aren't used except in math 00:49:04 e.g. combining 'b' and 'q' 00:49:53 or double-humped h 00:52:19 (The letter 'ø' is sometimes referred to by us as the letter 'no', because it looks like the 'NO X' symbol) 00:52:29 oerjan: so perhaps your name would be translated as "urjan"? 00:53:21 ur-jan, the original 00:54:13 ais523: Though, 'j' would be translated 'y', wouldn't it? 00:54:39 oh, I assumed it was pronounced as English j 00:55:01 the pronunciation of "j" in languages tends to be quite random as to whether it corresponds to a j or a y in English 00:55:27 -!- pikhq has joined. 00:56:32 ais523: ok, neither page moves nor uploads avoid the filter, so i guess there isn't any problem with article_articleid undefined 00:56:58 interestingly, "o'er" is actually an English word, although one that's rarely used nowadays (it's typically only used in poetry to make things scan) 00:57:09 and it's arguably pronounced like Norwegian ør 00:57:29 ais523: I always do too; I read 'oerjan' as [oəɻdʒæn] internally 00:57:51 -!- pikhq has quit (Read error: Connection reset by peer). 00:58:11 (and ais523 is [æs] five-two-three, tswett is 't. s. wett', etc. I know most are incorrect, but they're stuck) 00:58:32 -!- boily has joined. 00:58:37 ais523 is six syllables, one for each character 00:58:44 bood evenily 00:59:04 and I tend to get confused/disturbed when people use it in a way that implies they abbreviate it mentall 00:59:04 *mentally 00:59:21 bonsœirjan. 00:59:35 bonsois cinq deux trois. 00:59:42 @massages-loud 00:59:42 quintopia said 3h 28m 3s ago: happy thanksgiving tho 00:59:43 (Sgeo_ is usually either ['sdʒi oʊ] or [ɛs + 'dʒi oʊ]) 01:00:00 @tell quintopia bonne action de grâce à toi aussi! 01:00:00 Consider it noted. 01:00:06 ais523: Yes, I figured as such 01:00:13 oh it's 0 for uploads, not undefined 01:00:15 Of course, I never have to say it out loud 01:00:25 hppavilion[1], I usually pronounce it the first way [assuming I have any idea what those symbols mean] 01:00:46 I typically only say it out loud when telling someone my email address in person 01:01:08 that said, I've introduced myself to people as callforjudgement before now 01:01:10 Sgeo_: like 'sjee-oh', so the 'sj' go directly together (which is against English phonotactics I'm pretty sure) 01:01:23 and I think I called myself ais523 on the roguelike radio program 01:01:26 A very light and fast 'uh' sound between sj usually 01:01:42 hppavellon[1]. Sgeo is /ɛs.ʒe.ə.o/ hth. 01:01:54 Sgeo_: So a schwa, as was discussed above? 01:02:08 boily: Sgeo_ seems to disagree 01:02:45 AFK 01:02:53 he's also AFK. 01:03:04 I use S as a semivowel when pronouncing Sgeo 01:03:07 -!- pikhq has joined. 01:03:29 it's two syllables for me, sgee and long o 01:03:33 just in case the variable becomes an alias for moves, i also tried moving the introduction page :P 01:03:40 (doesn't seem so) 01:04:11 Sgeo_ is definitely four syllables long. 01:04:34 (I'm [ætʃ + pi + pʌ 'vɪ (l|ɫ)i (ə|ʌ)n + wʌn], but I've had people say [hæp pʌ 'vɪ (l|ɫ)i (ə|ʌ)n + wʌn] before.) 01:05:16 (I had to invent new symbols because I'm not sure if IPA has that; it probably does though) 01:05:38 hppavilion[1]: huh, I just realised I don't mentally pronounce the [1] at all 01:05:55 ais523: That's the original name; I was hppavilion the first time around 01:06:04 right 01:06:10 /aʃ.pe.pa.vi.ljɔn/ 01:06:14 but I mean, I genuinely didn't notice there's currently a [1] in your nigk until I saw the pronounciation 01:06:16 hppavilion1 is standard, hppavilion_ on steam, hppavilion[1] in the geekier environments that support it 01:06:20 and tried to work out what the bit at the end was 01:06:43 -!- pikhq has quit (Read error: Connection reset by peer). 01:06:55 (i suppose it _might_ theoretically be an alias for the target page, but that seems harmless as ordinary users wouldn't be allowed to move over the introduction page anyway) 01:08:07 -!- pikhq has joined. 01:08:07 ais523: I have decided that Cthuvian has a sound called the "labioglottal fricative" 01:08:07 -!- pikhq has quit (Read error: Connection reset by peer). 01:08:49 hppavilion[1]: labioglottal??? sounds painful. 01:08:58 bo 01:09:01 Whoops 01:09:08 boily: Yes. That's why it's in Cthuvian 01:09:25 * hppavilion[1] . o O ( boily burnham ) 01:11:17 `quote fricative 01:11:18 1091) nooodl: when my girlfriend asks me to give her uvular fricative I'm pretty sure that's not what she means 01:11:41 Koen_ was a very cunning linguist 01:12:42 -!- sirnaysayer has changed nick to joozygooch. 01:13:06 haven't seen him in a while... 01:13:08 -!- pikhq has joined. 01:13:11 -!- pikhq has quit (Read error: Connection reset by peer). 01:13:17 ais523: btw the reason i picked an arbitrary arbitrary criterion for Malbolge Unshackled was that i didn't want programmers to be able to rely on it being either deterministic or truly random 01:13:37 oerjan: normally I just use UB for that 01:13:46 ais523: i mean in the implementation 01:13:52 ah right 01:13:59 what was it btw? 01:14:52 oerjan: How does it choose whether to be deterministic or random? 01:15:19 Is it implementation-defined, chosen at launch, or decided each time? 01:15:46 -!- Cale has joined. 01:15:47 it chose randomly once per program run between either growing cell size deterministically (with several possible step sizes) or randomly (with several average steps or what it was) 01:16:06 hppavilion[1]: for my implementation, chosen at launch 01:17:46 if something is either deterministic or random, isn't it equivalent to be wholly random? 01:18:14 boily: not for this purpose. and certainly not with a uniform distribution. 01:18:18 boily: Not if it's consistent throughout the program 01:19:08 boily: the thing is, although it is randomly chosen, the programmer cannot in a single run rely on it e.g. for RNG 01:19:27 -!- pikhq has joined. 01:19:57 * boily is stochastically confused by the whole shebang... 01:20:05 oerjan: I guess an example of something that's random but not reliably random is 01:20:07 boily: MISSION ACCOMPLISHED 01:20:13 when the program starts, choose a random number p 01:20:25 then output 1 bits with probability p for the rest of the program 01:20:46 maybe the possibilities for p are 0.0, 0.1, …, 1.0 01:21:12 yeah as long as you include either 0.0 or 1.0 01:21:58 although in this case, 0.0 isn't allowed - the program has to actually grow the cell size at the specific points. although i guess you could interpret it as the minimal amount. 01:23:24 <\oren\> debate is in 37 minutes 01:23:24 -!- pikhq has quit (Read error: Connection reset by peer). 01:23:31 * oerjan is vaguely wondering if the brainfuck interpreter is resistant to all legal growth patterns, including ones my implementation doesn't use 01:23:50 oerjan: wait, you wrote a BF interp in Malbolge Unshackled? 01:24:17 he\\oren\. following the Elections to the South? 01:24:35 ais523: no, not me, someone else. just last month or so. 01:24:54 that's still crazy 01:25:09 -!- Cale has quit (Ping timeout: 248 seconds). 01:25:15 does it work in original Malbolge too (obviously with a fixed-length tape)? 01:25:38 admittedly it's probably using shifts to index the tape, so the tape length would be 10 minus a constant, not very useful 01:25:52 https://esolangs.org/wiki/User:Malbranche 01:26:09 i have been too lazy to test it. 01:28:24 Ah! I now know why I thought you were Johansen, not Sorensen. 01:28:46 http://esolangs.org/wiki/%C3%98rjan_Johansen 01:29:02 -!- pikhq has joined. 01:29:19 He\\oren\ 01:29:31 Canada is not far enough for us to flee. 01:30:07 (Unfortunately, my mother's job kind of depends on being in the US- she's a law clerk for the feds- so that'd be a problem) 01:30:26 (Maybe we could get Alaska to secede into the UK) 01:30:32 (God save the Queen) 01:31:02 I kind of want to write the Interbible... 01:31:20 The Bible of the Internet 01:34:01 -!- pikhq has quit (Read error: Connection reset by peer). 01:34:28 hppavilion[1]: you should travel here first, to have a feel of the lay. have you ever devoured a poutine? 01:34:45 -!- pikhq has joined. 01:35:49 -!- pikhq has quit (Read error: Connection reset by peer). 01:36:14 * boily straps pikhq to the chännel in hope that it'll stabilize his connection... 01:36:59 chảnnel 01:38:59 Ah! I now know why I thought you were Johansen, not Sorensen. <-- wat 01:40:12 (it would have been Sørensen btw) 01:40:35 -!- Zarutian has quit (Quit: Zarutian). 01:41:42 -!- pikhq has joined. 01:42:07 ɓỏỉlỷ 01:44:49 -!- pikhq has quit (Read error: Connection reset by peer). 01:46:39 -!- pikhq has joined. 01:49:23 -!- pikhq has quit (Read error: Connection reset by peer). 01:51:43 -!- pikhq has joined. 01:52:53 -!- pikhq has quit (Read error: Connection reset by peer). 01:57:46 `? eyebrow 01:57:51 Eyebrows are Taneb's most notable feature 01:58:02 `slwd eyebrow//s/$/./ 01:58:04 wisdom/eyebrow//Eyebrows are Taneb's most notable feature. 01:59:05 hellochaf. sadly my name's is undiacritical. 01:59:45 oerjan: oh. 02:00:45 -!- moony has changed nick to [-Infinity]. 02:01:09 -!- [-Infinity] has changed nick to aghjghfgdwerhbvr. 02:03:30 -!- pikhq has joined. 02:05:47 -!- pikhq has quit (Read error: Connection reset by peer). 02:07:20 -!- aghjghfgdwerhbvr has quit (Ping timeout: 260 seconds). 02:08:20 i wonder if the number of americans watching the debate is roughly on par percentagewise with the number of ontarians watching the bluejays game 02:19:52 [wiki] [[User:MatheusAvellar]] N https://esolangs.org/w/index.php?oldid=49915 * MatheusAvellar * (+272) Add User:MatheusAvellar 02:20:24 @meages-loud 02:20:24 boily said 1h 20m 24s ago: bonne action de grâce à toi aussi! 02:20:51 -!- Froox has joined. 02:21:06 -!- pikhq has joined. 02:21:12 -!- pikhq has quit (Read error: Connection reset by peer). 02:22:33 lamdie doesn't UTF? 02:23:20 quintopia: that was «action de grâce» hth 02:23:43 -!- Frooxius has quit (Ping timeout: 244 seconds). 02:25:51 boily: i scrolled up so np 02:26:11 i guess its french for thanksgiving 02:26:36 theres fireworks over the falls soon 02:26:49 we have a room directly above them 02:27:23 -!- pikhq has joined. 02:27:38 boily 02:29:21 boily: what is the universal symbol for italian food? 02:31:41 -!- pikhq has quit (Read error: Connection reset by peer). 02:32:46 quintopia: uuuuuh... pizza? 02:33:14 (yes, I know pizza isn't really Italian even though it is now because of backretroappropriation.) 02:36:57 -!- pikhq has joined. 02:38:16 @tell boily Hørrible! 02:38:16 Consider it noted. 02:40:24 @tell HackEgo It's øvful! 02:40:24 Consider it noted. 02:40:33 `echo @messages- 02:40:34 ​@messages- 02:40:38 oops 02:40:50 `echo lambdabot: @messages- 02:40:51 lambdabot: @messages- 02:40:51 oerjan said 26s ago: It's øvful! 02:41:02 boily: looks fine to me... 02:41:15 @massages-loud 02:41:15 oerjan said 2m 58s ago: Hørrible! 02:41:19 what the... 02:41:23 boily: did you put something weirder in it, perhaps? 02:41:43 for once I didn't put anything strange or unusual in it... 02:41:57 -!- pikhq has quit (Read error: Connection reset by peer). 02:42:08 @tell oerjan tést tèst têst tëst çççççààààà è ô œ 02:42:09 Consider it noted. 02:43:01 @tell HackEgo bonne action de grâce à toi aussi! 02:43:01 Consider it noted. 02:43:06 `echo lambdabot: @messages- 02:43:06 lambdabot: @messages- 02:43:07 oerjan said 5s ago: bonne action de grâce à toi aussi! 02:43:15 @messages- 02:43:16 boily said 1m 7s ago: tést tèst têst tëst çççççà à à à à è ô œ 02:43:24 huh 02:43:26 Ō_ō... 02:43:51 @tell HackEgo grâce à 02:43:51 Consider it noted. 02:43:56 `echo lambdabot: @messages- 02:43:56 lambdabot: @messages- 02:43:57 oerjan said 5s ago: grâce à 02:44:12 `unidecode grâce à 02:44:12 ​[U+0067 LATIN SMALL LETTER G] [U+0072 LATIN SMALL LETTER R] [U+00E2 LATIN SMALL LETTER A WITH CIRCUMFLEX] [U+0063 LATIN SMALL LETTER C] [U+0065 LATIN SMALL LETTER E] [U+0020 SPACE] [U+00E0 LATIN SMALL LETTER A WITH GRAVE] 02:44:35 @tell HackEgo ça se pourrais-tu que tu chokes sur des affaires que t'es pas supposé? 02:44:35 Consider it noted. 02:44:47 `echo lambdabot: @messages-loud 02:44:48 lambdabot: @messages-loud 02:44:48 boily said 12s ago: ça se pourrais-tu que tu chokes sur des affaires que t'es pas supposé? 02:45:12 * boily is mystified 02:45:18 ^ord grâce à 02:45:18 103 114 195 162 99 101 32 195 160 02:46:20 @tell HackEgo à 02:46:20 Consider it noted. 02:46:24 `echo lambdabot: @messages- 02:46:25 lambdabot: @messages- 02:46:25 oerjan said 5s ago: à 02:46:41 `unidecode à 02:46:42 ​[U+00E0 LATIN SMALL LETTER A WITH GRAVE] 02:46:50 ^ord à 02:46:50 195 160 02:47:08 `ord à 02:47:09 195 02:47:18 the 160 is stripped somehow. 02:48:09 `ord à 02:48:10 224 02:48:23 > var "\224" 02:48:26 à 02:48:41 > 160-128 02:48:44 32 02:48:54 @tell int-e your bot is a stripper. please reencode. 02:48:55 Consider it noted. 02:49:12 > var "\224\224" 02:49:15 àà 02:49:36 `unidecode àà 02:49:37 ​[U+00C3 LATIN CAPITAL LETTER A WITH TILDE] [U+00A0 NO-BREAK SPACE] [U+00C3 LATIN CAPITAL LETTER A WITH TILDE] 02:49:57 > 0xA0 02:49:59 160 02:50:15 only the last one... 02:50:26 > var "\224\224test" 02:50:28 ààtest 02:50:48 curiouser and curiouser 02:51:26 > var "bonne action de grâce à toi aussi!" 02:51:28 bonne action de grâce à toi aussi! 02:51:36 wat 02:56:22 @tell HackEgo ààtest 02:56:23 Consider it noted. 02:56:33 `echo lambdabot: @messages- 02:56:34 lambdabot: @messages- 02:56:34 oerjan said 11s ago: à à test 02:56:48 hm wat 02:57:01 `unidecode à à test 02:57:01 ​[U+00C3 LATIN CAPITAL LETTER A WITH TILDE] [U+0020 SPACE] [U+00C3 LATIN CAPITAL LETTER A WITH TILDE] [U+0020 SPACE] [U+0074 LATIN SMALL LETTER T] [U+0065 LATIN SMALL LETTER E] [U+0073 LATIN SMALL LETTER S] [U+0074 LATIN SMALL LETTER T] 02:57:24 160 gets turned into ordinary space... 02:58:26 -!- pikhq has joined. 02:58:43 @tell int-e your bot defies space. please reintegrate into the standard dimensions, preferably without involving relativity. 02:58:44 Consider it noted. 02:59:30 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:00:04 -!- Cale has joined. 03:00:06 -!- Cale_ has joined. 03:01:15 -!- pikhq has quit (Read error: Connection reset by peer). 03:01:20 -!- boily has quit (Quit: SUN CHICKEN). 03:02:11 > var "\288\288test" 03:02:14 ĠĠtest 03:02:28 ^ord ĠĠtest 03:02:28 196 160 196 160 116 101 115 116 03:02:36 > var "\288\288" 03:02:38 Ä Ä 03:03:00 @tell HackEgo ĠĠtest 03:03:00 Consider it noted. 03:03:11 `echo lambdabot: @messages- 03:03:12 lambdabot: @messages- 03:03:12 oerjan said 11s ago: Ä Ä test 03:03:29 -!- pikhq has joined. 03:04:12 @tell int-e What esteemed boily means is that lambdabot does not seem to output byte 160 properly, especially in @told messages but sometimes in > as well. 03:04:12 Consider it noted. 03:04:23 [wiki] [[Talk:Set]] https://esolangs.org/w/index.php?diff=49916&oldid=23403 * Qwertyu63 * (-25) Removing redirect 03:06:08 -!- pikhq has quit (Read error: Connection reset by peer). 03:06:29 @where aaaa 03:06:29 I know nothing about aaaa. 03:06:46 @where+ aaaa àààà 03:06:46 I will remember. 03:06:50 @where aaaa 03:06:50 à à à à 03:06:58 @where+ aaaa ààààtest 03:06:58 It is stored. 03:07:01 @where aaaa 03:07:02 à à à à test 03:07:38 @@ @show @where aaaa 03:07:39 "\195 \195 \195 \195 test" 03:08:00 @show àààà 03:08:00 "\195\160\195\160\195\160\195\160" 03:08:29 -!- pikhq has joined. 03:09:21 @tell int-e also applies to @where 03:09:21 Consider it noted. 03:10:03 -!- pikhq has quit (Read error: Connection reset by peer). 03:13:33 -!- pikhq has joined. 03:14:48 -!- Cale has quit (Disconnected by services). 03:14:51 -!- Cale_ has changed nick to Cale. 03:16:22 [wiki] [[Set]] https://esolangs.org/w/index.php?diff=49917&oldid=49894 * Qwertyu63 * (+54) 03:17:52 -!- pikhq has quit (Read error: Connection reset by peer). 03:28:33 -!- pikhq has joined. 03:33:11 -!- pikhq has quit (Read error: Connection reset by peer). 03:34:09 -!- pikhq has joined. 03:35:23 -!- pikhq has quit (Read error: Connection reset by peer). 03:40:34 hey shachaf http://cale.yi.org/reflex/PrismataUnits/PrismataUnits.jsexe/ :) 03:40:54 (source code is in the parent directory) 03:41:12 -!- pikhq has joined. 03:41:13 Might be useful if you're introducing someone to mata 03:42:28 -!- Froox has quit (Quit: *bubbles away*). 03:42:47 -!- Frooxius has joined. 03:43:30 -!- pikhq has quit (Read error: Connection reset by peer). 03:46:12 -!- pikhq has joined. 03:48:29 -!- pikhq has quit (Read error: Connection reset by peer). 03:54:47 -!- pikhq has joined. 03:57:38 -!- pikhq has quit (Read error: Connection reset by peer). 04:04:48 -!- trn has quit (K-Lined). 04:12:09 -!- pikhq has joined. 04:14:26 -!- pikhq has quit (Read error: Connection reset by peer). 04:19:46 -!- pikhq has joined. 04:20:32 -!- pikhq has quit (Read error: Connection reset by peer). 04:26:33 -!- pikhq has joined. 04:26:39 -!- pikhq has quit (Read error: Connection reset by peer). 04:29:57 -!- nisstyre has joined. 04:29:57 -!- nisstyre has quit (Changing host). 04:29:57 -!- nisstyre has joined. 04:31:37 -!- pikhq has joined. 04:35:21 -!- pikhq has quit (Read error: Connection reset by peer). 04:36:33 -!- pikhq has joined. 04:40:43 -!- pikhq has quit (Read error: Connection reset by peer). 05:01:09 -!- deltab has quit (Ping timeout: 248 seconds). 05:03:39 mata? 05:04:00 Oh Prismata 05:04:12 -!- deltab has joined. 05:07:37 -!- Froox has joined. 05:10:12 -!- Frooxius has quit (Ping timeout: 260 seconds). 05:11:57 yeah :) 05:23:00 -!- Cale has quit (Ping timeout: 244 seconds). 05:23:27 -!- ffj-bot has quit (Remote host closed the connection). 05:32:36 -!- Froox has quit (Quit: *bubbles away*). 05:32:57 -!- Frooxius has joined. 05:52:00 -!- idris-bot has quit (Quit: Terminated). 05:52:39 -!- idris-bot has joined. 05:58:23 -!- oerjan has quit (Quit: Nite). 06:10:25 -!- `^_^v has joined. 06:33:35 -!- `^_^v has quit (Quit: This computer has gone to sleep). 07:05:25 -!- ais523 has quit (Ping timeout: 248 seconds). 07:07:59 New substance: #esoterium 07:09:16 -!- bibibi has quit (Ping timeout: 260 seconds). 07:09:23 It has a dord of 2502i kg/m^3 07:10:13 -!- izalove has quit (Ping timeout: 248 seconds). 07:19:54 -!- izabera1 has joined. 07:20:52 -!- izabera1 has changed nick to izalove. 07:23:54 -!- izalove has quit (Excess Flood). 07:32:32 -!- `^_^v has joined. 07:37:27 -!- izalove has joined. 07:43:20 -!- bibibi has joined. 07:49:25 Ø, Canada! 07:50:18 @ask boily Question: Is there a rule for how Canadian laws are written? As in, do they have to be written in French or English? And is there an official translation? And which is binding? What if there's a discrepancy? etc. etc. etc. 07:50:18 Consider it noted. 07:51:56 -!- Froox has joined. 07:53:57 -!- Frooxius has quit (Ping timeout: 240 seconds). 08:02:56 I think the law is that it has to be both French and English and people who write laws will have to know how to do both. I don't know what will happen in case of discrepancy. 08:03:41 Apparently it's a crime to feed change into someone else's parking meter in some places in the US 08:04:03 (is it parking metre in international english? Or just meter? Not sure if they're different...) 08:04:18 "Metre" is a unit of measurement. 08:04:30 In other uses it should be "meter". 08:04:36 OK 08:14:16 -!- digin4 has joined. 08:39:22 `abyss 08:39:23 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: abyss: not found 08:39:35 Is there a way to see who the user `ing is? 08:39:46 `? abyss 08:39:47 In Soviet Russia, the abyss gazes into you first. Other than that, it's pretty much the same. 08:39:49 Ah 08:40:06 I was going to make `? abyss react with '`? ' if possible 08:40:24 `culprits 08:40:26 oerjan oerjan Taneb oerjan oerjan hppavilion[1] oerjan shachaf boily oerjan oerjan oerjan boily oerjan oerjan hppavilion[1] hppavilion[1] hppavilion[1] oerjan oerjan hppavilion[1] jeffl42 jeffl42 jeffl42 jeffl42 jeffl42 jeffl42 tswett oerjan oerjan oerjan oerjan oerjan hppavilion[1] int-e moonythedwarf moonythedw 08:40:35 `paste bin/culprits 08:40:36 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/culprits 08:42:11 `` echo "$@" 08:42:12 echo "$@" 08:42:19 Hm... 08:42:28 `hoag 08:42:29 slwd eyebrow//s/$/./ \ le/rn mornington crescent/Sorry, you cannot read this wisdom until you\'ve legally played Westminster. \ learn Eyebrows are Taneb\'s most notable feature \ sled quotes//82s/[[]/ [/ \ sled quotes//82s/ \\.\\.\\. /[...]/ \ learn Delaware is a US state in which every 08:42:39 `` hoag --help 08:42:40 No output. 08:42:50 * hppavilion[1] moves to private chat 08:53:01 Oooh, `tac is nice 08:59:10 Hmm, looks like jeffl35 was trying to break HackEgo earlier today 09:03:04 goodonya, jeffl35 09:06:00 -!- carado has joined. 09:36:33 Hm, it'd take 4.5 years to cross the diameter of the oort cloud 09:36:40 * at light speed 09:45:04 But... alpha centauri is 4 ly away... 09:45:18 And if it has a similar sort of oort cloud... 09:45:24 -!- digin4_ has joined. 09:45:48 Then... that means they're both 2.25 ly across... but we're only 4 ly apart... so there's 0.5 ly of overlap... 09:49:48 -!- espes_ has joined. 09:49:58 -!- Warrigal has joined. 09:54:02 -!- Gregor` has joined. 09:54:42 -!- carado has quit (*.net *.split). 09:54:42 -!- digin4 has quit (*.net *.split). 09:54:43 -!- imode has quit (*.net *.split). 09:54:43 -!- HackEgo has quit (*.net *.split). 09:54:43 -!- APic has quit (*.net *.split). 09:54:43 -!- tswett has quit (*.net *.split). 09:54:43 -!- paul2520_ has quit (*.net *.split). 09:54:44 -!- espes has quit (*.net *.split). 09:54:44 -!- Gregor has quit (*.net *.split). 09:54:44 -!- sebbu has quit (*.net *.split). 09:54:54 -!- digin4_ has quit (Quit: Leaving). 09:55:07 -!- HackEgo has joined. 10:01:04 -!- carado has joined. 10:01:20 -!- APic has joined. 10:01:56 -!- paul2520_ has joined. 10:15:43 -!- ais523 has joined. 10:35:47 I'm reading tvtropes's ~1 per whole SFW page on BDSM (http://tvtropes.org/pmwiki/pmwiki.php/UsefulNotes/BDSM) 10:42:14 -!- ffj-bot has joined. 10:42:51 -!- AnotherTest has joined. 10:47:12 -!- AnotherTest has quit (Ping timeout: 260 seconds). 10:54:21 how is sfw bdsm any fun? 10:54:36 myname: Maybe you're a professional dominatrix? 10:54:42 (or, well, the masculine equivalent?) 10:54:54 In that case, NOT performing BDSM is NSFW 11:15:56 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 11:44:56 -!- sebbu has joined. 11:51:48 that page can't possibly be SFW, it's on TV Tropes 11:51:56 which is not a site you want to be visiting at work 11:55:06 the trick is to read only a single page and then stop. 11:55:51 (and yes, I remember https://xkcd.com/609/ ) 11:56:06 actually, that is what i do most of the time i visit that site 11:57:41 the only ever article i really enjoyed was about dwarf fortress 12:14:07 > isSpace '\xA0' 12:14:09 True 12:15:03 > words "ab\xA0cd" 12:15:06 ["ab\41165"] 12:15:23 what 12:15:49 cd are hex digits 12:15:56 yeah 12:16:04 but wtf 411? 12:16:18 > 0xA0cd 12:16:20 41165 12:16:33 > words "ab\xA0huh" 12:16:36 ["ab","huh"] 12:16:40 thought so. 12:16:47 what 12:17:29 > words "ab\xA0\&cd" 12:17:31 ["ab","cd"] 12:17:45 it's amazing how rarely this trick (\&) comes up... 12:18:10 what is \& 12:18:12 `unidecode   12:18:17 ​[U+00A0 NO-BREAK SPACE] 12:18:28 \& is just an empty string 12:18:46 -!- DHeadshot has joined. 12:18:58 but it can be used to terminate other escaped character sequences. 12:22:42 @tell boily FWIW, 160 is stripped because it is a space. This might not be optimal. 12:22:42 Consider it noted. 12:28:42 -!- ais523 has quit (Ping timeout: 268 seconds). 12:37:41 -!- Phantom_Hoover has joined. 12:47:10 -!- AnotherTest has joined. 12:51:17 -!- DHeadshot has quit (Ping timeout: 240 seconds). 12:59:32 -!- AnotherTest has quit (Ping timeout: 268 seconds). 13:16:18 -!- AnotherTest has joined. 13:17:20 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=49918&oldid=49896 * Slnetaiga * (+13) 13:19:00 [wiki] [[Fpulse]] N https://esolangs.org/w/index.php?oldid=49919 * Slnetaiga * (+14868) Created page with "'''F-PULSE''', is an esoteric programming language like brainfuck writed on php, buts operands separated by space. == Examples == === Hello world === PLS PLS PLS PLS PLS PLS..." 13:19:40 ...again? 13:20:12 that's exactly what i thought 13:20:19 [wiki] [[Fpulse]] https://esolangs.org/w/index.php?diff=49920&oldid=49919 * Slnetaiga * (+43) 13:20:20 everybody loves brainfuck 13:20:25 no 13:20:31 No, this page was made yesterday 13:20:55 Was it deleted? 13:20:56 [wiki] [[Fpulse]] https://esolangs.org/w/index.php?diff=49921&oldid=49920 * Slnetaiga * (+26) 13:21:11 `? Interpretatere 13:21:12 Interpretatere? ¯\(°​_o)/¯ 13:21:42 yesterday it was Fpulse/ 13:22:07 so yeah this seems a bit redundant. 13:22:44 Oh, I see 13:22:50 Wow. 13:23:05 I wonder if they went to the page, then wondered why it was missing 13:23:42 doubtful; the first edit copied the whole page contents, judging by the number of bytes 13:24:54 contents checks out, too. 13:26:08 Perhaps they wrote the page in an external editor and copied it from there in both cases 13:26:21 perhaps. 13:26:23 anyway, the with-slash page should probably be deleted I suppose 13:26:36 anyway apparently a normal user can't delete pages... 13:27:12 -!- Cale has joined. 13:27:15 ...only move them, which is a bit pointless now 13:28:48 -!- Cale has quit (Remote host closed the connection). 13:41:47 -!- `^_^v has quit (Quit: This computer has gone to sleep). 13:50:56 O.O 14:39:28 -!- Caesura has joined. 14:43:20 -!- aghjghfgdwerhbvr has joined. 14:45:26 -!- boily has joined. 14:50:26 -!- `^_^v has joined. 14:57:35 -!- aghjghfgdwerhbvr has changed nick to moony. 15:01:42 mhelloony! 15:01:47 @massages-loud 15:01:47 hppavilion[1] asked 7h 11m 29s ago: Question: Is there a rule for how Canadian laws are written? As in, do they have to be written in French or English? And is there an official translation? And 15:01:47 which is binding? What if there's a discrepancy? etc. etc. etc. 15:01:48 int-e said 2h 39m 5s ago: FWIW, 160 is stripped because it is a space. This might not be optimal. 15:02:50 @tell hppavilion[1] hppavellon[1]! an excellent question, to which I have no answer. I wonder how it works... 15:02:50 Consider it noted. 15:03:17 int-e: int-ello. I concur about the suboptimality of the thing. 15:03:41 surprise. 15:11:04 -!- `^_^v has quit (Ping timeout: 250 seconds). 15:12:48 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 15:12:53 -!- moony has quit (Ping timeout: 248 seconds). 15:13:25 -!- `^_^v has joined. 15:13:29 -!- moony has joined. 15:24:23 -!- Phantom_Hoover has joined. 15:26:16 -!- Caesura has quit (Ping timeout: 260 seconds). 15:26:36 `wisdom 15:26:38 footnote 8//Isn't it fun reading through all the footnotes? 15:26:51 were there ever a whole series of footnotes? 15:26:55 `wisdom 15:26:56 superexponential growth//Superexponential growth? SUPEREXPONENTIAL GROWTH?! HOLY CRAP!!! 15:30:03 `wisdom 15:30:05 swatter//The swatter is a tool for punishment commonly found in #esoteric. Not to be confused with the saucepan or mapoles. 15:30:17 ^^ 15:30:19 `wisdom 15:30:20 wat//ኢትዮጵያ ውስጥ የሚሰራ የምግብ አይነት ሲሆን፣ የሚሰራውም ከጤፍ ነው። 15:31:49 there are ASCII/Latin-1 emojis, the disapproving Kannada look, Shift-JIS ones, but have people started to exploit the full Unicodemotional range? 15:34:14 there's the canadian syllabical running man 15:35:11 FirelloFly. right. 15:36:55 bohily 15:51:40 -!- moonythedwarf_ has joined. 15:52:52 -!- moony has quit (Ping timeout: 260 seconds). 15:53:32 -!- moonythedwarf_ has changed nick to moony. 15:59:49 `? moony 15:59:50 moony? ¯\(°​_o)/¯ 15:59:57 `? moon 15:59:58 Moon is a murderous lunatic, not an unretroreflectorey object. He sometimes causes overmoonification. 16:06:57 -!- `^_^v has quit (Ping timeout: 240 seconds). 16:08:37 [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=49922&oldid=49900 * Malbranche * (-3848) /* Malbolge */ Simplified 16:08:50 -!- `^_^v has joined. 16:09:01 [wiki] [[Truth-machine]] https://esolangs.org/w/index.php?diff=49923&oldid=49922 * Malbranche * (-50214) /* Malbolge Unshackled */ Simplified 16:10:42 -!- oerjan has joined. 16:17:57 [wiki] [[User talk:Malbranche]] https://esolangs.org/w/index.php?diff=49924&oldid=49701 * Malbranche * (+600) You're welcome 16:24:31 [wiki] [[User:Function call without parameters]] https://esolangs.org/w/index.php?diff=49925&oldid=49865 * Function call without parameters * (+10) 16:24:55 @tell hppavilion[1] It has a dord of 2502i kg/m^3 <-- ooh i did not know about dord 16:24:56 Consider it noted. 16:25:41 [wiki] [[Bug Computer]] M https://esolangs.org/w/index.php?diff=49926&oldid=49868 * Function call without parameters * (+14) not really a RISC 16:27:11 [wiki] [[Language list]] M https://esolangs.org/w/index.php?diff=49927&oldid=49918 * Function call without parameters * (+19) 16:36:30 -!- otherbot has joined. 16:36:47 -!- Kaynato has joined. 16:39:35 -!- Froox has quit (Quit: *bubbles away*). 16:39:53 -!- Frooxius has joined. 16:42:48 -!- Frooxius has quit (Read error: Connection reset by peer). 16:43:08 -!- Frooxius has joined. 16:48:17 @tell hppavilion[1] Is there a way to see who the user `ing is? <-- none that we've found. 16:48:17 Consider it noted. 16:50:24 oerjan: are you in the right move to delete https://esolangs.org/wiki/Fpulse/ ? (the same conent has been duplicated and further modified at https://esolangs.org/wiki/Fpulse ) 16:50:28 *content 16:51:18 your stomach feels content 16:51:42 @tell hppavilion[1] Hmm, looks like jeffl35 was trying to break HackEgo earlier today <-- i think you are misreading. he only tried install Powershell, and it was days ago. 16:51:43 Consider it noted. 16:51:59 -!- otherbot has quit (Remote host closed the connection). 16:52:09 "The contents of a book is the list of chapters or articles or parts that are in the book, with the number of the page they begin on." 16:54:11 The matter of contents vs. content doesn't seem as clear-cut as it should be. 16:54:54 [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[Fpulse/]]": Misnamed version of PULSE, which has the same content. 16:56:06 > "\224\224" 16:56:08 "\224\224" 16:56:15 > var "\224\224" 16:56:18 àà 16:56:28 int-e: sample of the bug i mentioned ^ 16:56:47 @where aaaa 16:56:47 à à à à test 16:57:34 * b_jonas grumbles 16:57:57 int-e: i think that definition must be an error. 16:58:13 `wisdom 16:58:14 indentity function//indentity function is the function that measures how indented source code is. 16:58:21 `wisdom 16:58:22 sbus//SBus is the standard bus in many a Sun SPARC-based system, capable of coping with thirty-two (32) bits in parallel, at rates of around 16.67 to 25 MHz. There is a 96-pin connector, and the cards lay parallel to the motherboard, like toppings on a sandwich. 16:58:31 oh it seems to be used 17:01:56 -!- moonythedwarf_ has joined. 17:02:24 > var "a b c" 17:02:24 -!- moony has quit (Ping timeout: 260 seconds). 17:02:28 a b c 17:02:30 -!- moonythedwarf_ has changed nick to moony. 17:02:34 hmm. 17:03:05 -!- Caesura has joined. 17:05:09 `unidecode 17:05:10 ​[U+0020 SPACE] [U+0020 SPACE] [U+0020 SPACE] [U+0020 SPACE] 17:05:29 `unidecode 17:05:30 ​[U+0020 SPACE] [U+0020 SPACE] [U+0020 SPACE] [U+0020 SPACE] 17:06:16 int-e: um is this something different because it doesn't contain the bug... 17:06:24 > var "hm " 17:06:26 hm 17:06:36 -!- Kaynato has quit (Ping timeout: 260 seconds). 17:06:47 oerjan: no, I was wondering if there was some unwords . words in the pipeline, but apparently not. 17:07:22 also, the > var "..." path doesn't destroy all of the 160 bytes, while @tell and @where do. 17:08:01 160 = 128 + 32, and it seems to get changed into space 17:08:37 > var "hàh" 17:08:39 hàh 17:08:42 > var "hà" 17:08:44 hà 17:08:51 @tell oerjan now that's interesting ?! 17:08:51 Consider it noted. 17:09:10 @messages- 17:09:10 int-e said 19s ago: now that's interesting ?! 17:09:14 for > it seems to happen at the end of the output only. 17:09:27 oerjan: see that's the kind of thing I was expecting. 17:09:29 `unidecode 17:09:32 ​[U+0020 SPACE] [U+0020 SPACE] [U+0020 SPACE] 17:09:40 oh 17:10:20 but somehow the var thing is different. 17:10:33 well yeah > doesn't collapse spaces. 17:10:36 or maybe it's my client... 17:11:07 which displays \303\240\303 as àà 17:11:11 but > may strip spaces at the end 17:11:42 > showOct 160 "" 17:11:44 "240" 17:11:54 int-e: octal is too confusing for me 17:12:08 especially since haskell doesn't use it by default 17:12:43 `` dc <<<16iC3A0C3P 17:12:43 int-e: my client does the same. it's just defaulting to latin-1/windows-whatever when it's malformed utf-8. 17:12:44 ​àà 17:12:58 `unidecode   17:12:59 ​[U+00A0 NO-BREAK SPACE] 17:13:21 okay... it sees that it isn't unicode and treats the whole line as ISO 8859-1. makes sense. 17:13:47 ​àà 17:13:48 fnord 17:13:51 looks nice. 17:14:17 oerjan: using irssi 17:14:20 that's HackEgo's initial ZWSP 17:14:23 me too 17:14:53 so okay, most things strip trailing spaces, and some a bit more :P 17:17:08 @tell int-e This gives boily à problem when @telling in French... 17:17:08 Consider it noted. 17:17:10 and obviously it's a feature not a bug... *leans back* 17:17:17 (which is how it was discovered) 17:18:09 int-e: the thing is they don't do the stripping unicode-clean 17:18:26 @tell oerjan disenfrànchised? 17:18:26 Consider it noted. 17:18:32 @messages- 17:18:33 int-e said 6s ago: disenfrà nchised? 17:19:48 it's funny that this hasn't turned up before. 17:21:35 > var "\122\180\224hm" 17:21:38 z´àhm 17:21:46 oh wait 17:22:10 int-e: well ´à are the only characters affected that are also in latin-1, iiuc 17:22:47 > var "\224\180" 17:22:50 à´ 17:22:54 oops 17:23:12 not \180? 17:23:31 ^ord à´ 17:23:31 195 160 194 180 17:23:50 ok i'm miscalculating 17:24:00 i guess à may be the only one then 17:24:30 > "\224\160" 17:24:32 "\224\160" 17:24:37 > var "\224\160" 17:24:40 à 17:24:43 > var "\224\160hm" 17:24:46 à hm 17:24:58 oh of course, it's \160 itself. 17:25:12 although no one would use that normally 17:25:37 so à is the most likely character to show problems, unless people do chinese or the like... 17:26:26 `` dc <<16iC4A0P 17:26:28 ​/hackenv/bin/`: line 4: warning: here-document at line 4 delimited by end-of-file (wanted `16iC4A0P') 17:26:34 `` dc <<<16iC4A0P 17:26:35 ​Ġ 17:26:42 > filter isSpace ['\0'..'\255'] 17:26:45 "\t\n\v\f\r \160" 17:26:48 > var "Ġ" 17:26:51 Ä 17:26:57 and so on. 17:26:59 it is probably using isSpace 17:27:08 -!- Caesura has quit (Ping timeout: 260 seconds). 17:27:31 well yeah i found that one earlier. it's not latin-1, and looks pretty rare. 17:27:45 `` dc <<<16iC5A0C6A0C7A0C8A0C9A0CAA0CBA0CCA0CDA0CEA0CFA0P 17:27:46 ​ŠƠǠȠɠʠˠ̠͠ΠϠ 17:28:00 @tell oerjan ŠƠǠȠɠʠˠ̠͠ΠϠ 17:28:01 Consider it noted. 17:28:11 @messages- charming 17:28:11 int-e said 10s ago: Å Æ Ç È É Ê Ë Ì Í Î Ï 17:28:57 so, nothing remotely common. i guess the first one is used in czech and maybe other slavic languages. 17:29:17 > ['à','Ġ'..] 17:29:20 "\224\288\352\416\480\544\608\672\736\800\864\928\992\1056\1120\1184\1248\13... 17:29:24 > var ['à','Ġ'..] 17:29:27 àĠŠƠǠȠɠʠˠ̠͠ΠϠРѠҠӠԠՠ֠נؠ٠ڠ۠ܠݠޠߠࠠࡠࢠ࣠ठॠঠৠਠ੠ઠૠଠୠ஠௠ఠౠಠೠഠൠච෠ภ๠ຠ໠༠འྠ࿠ဠၠႠრᄠᅠᆠᇠሠበአዠጠ፠Ꭰ17:29:27  ... 17:30:28 i suspect an unclean cutoff is a danger on long output too 17:30:36 but this time lucky 17:31:06 `unidecode РѠҠӠ 17:31:07 ​[U+0420 CYRILLIC CAPITAL LETTER ER] [U+0460 CYRILLIC CAPITAL LETTER OMEGA] [U+04A0 CYRILLIC CAPITAL LETTER BASHKIR KA] [U+04E0 CYRILLIC CAPITAL LETTER ABKHASIAN DZE] 17:31:33 ok the first one is common in russian etc. 17:31:44 `var "СССР" 17:31:45 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: var: not found 17:31:47 > var "СССР" 17:31:50 СССР17:31:57 XD 17:32:41 -!- boily has quit (Quit: INTERESTING CHICKEN). 17:32:56 `unidecode ḠṠẠỠἠὠᾠῠ†⁠ 17:32:57 ​[U+1E20 LATIN CAPITAL LETTER G WITH MACRON] [U+1E60 LATIN CAPITAL LETTER S WITH DOT ABOVE] [U+1EA0 LATIN CAPITAL LETTER A WITH DOT BELOW] [U+1EE0 LATIN CAPITAL LETTER O WITH HORN AND TILDE] [U+1F20 GREEK SMALL LETTER ETA WITH PSILI] [U+1F60 GREEK SMALL LETTER OMEGA WITH PSILI] [U+1FA0 GREEK SMALL LETTER OMEGA WITH PSILI AND YPOGEGRAMMENI] [U+1FE 17:32:58 oh boily was here 17:33:30 @google YPOGEGRAMMENI 17:33:32 https://en.wikipedia.org/wiki/Iota_subscript 17:33:51 fancy, bbl 17:34:08 `unidecode Ơ 17:34:09 ​[U+01A0 LATIN CAPITAL LETTER O WITH HORN] 17:35:33 > words "\160" 17:35:36 [] 17:35:46 so words uses isSpace 17:38:26 hmph 17:38:31 whew 17:40:48 -!- MoALTz has joined. 17:45:06 int-e: oh i didn't see you'd been experimenting in the logs 17:47:31 -!- AnotherTest has quit (Ping timeout: 268 seconds). 17:47:56 ooh i managed to kill the right tmux zombie this time. except it didn't die, but the terminal started working again... 17:49:57 (the last time i tried that, i destroyed the session itself) 17:50:29 it would have been helpful if tmux used different names for the client and server processes, me thinks 17:51:51 hm or maybe it wasn't a zombie, just reacted in the right way 17:58:00 -!- Caesura has joined. 18:09:11 -!- `^_^v has quit (Quit: This computer has gone to sleep). 18:10:07 -!- `^_^v has joined. 18:10:29 -!- moony has quit (Ping timeout: 248 seconds). 18:13:16 -!- Caesura has quit (Ping timeout: 260 seconds). 18:15:23 web.TellsToBeat: points -5.69, score 16.40, rank 15/47 18:15:50 -!- augur_ has quit (Quit: Leaving...). 18:15:56 web.TellsToBeat: points -5.69, score 16.40, rank 15/47 (--) 18:20:24 -!- moony has joined. 18:24:00 -!- Zarutian has joined. 18:24:44 -!- Zarutian has quit (Read error: Connection reset by peer). 18:24:46 -!- Zarutian has joined. 18:32:14 web.TellsToBeat: points -2.64, score 19.66, rank 14/47 (+1) 18:38:52 _Five stages of accepting constructive mathematics_, by Andrej Bauer: http://www.ams.org/journals/bull/0000-000-00/S0273-0979-2016-01556-4/ 18:45:23 -!- DHeadshot has joined. 18:54:37 -!- Cale has joined. 18:56:36 -!- hppavilion[1] has joined. 18:57:06 `tervetuloa Cale 18:57:08 Cale: Tervetuloa esoteeristen ohjelmointikielten suunnittelun ja käyttöönoton kansainväliseen keskukseen! Lisätietoa saat wikistämme: . (Muu esoteerisuus: kokeile kanavaa #esoteric joko EFnet- tai Dalnet-verkossa.) 18:58:43 -!- pikhq has joined. 18:59:38 Cale: did you see this thing twh _Five stages of accepting constructive mathematics_, by Andrej Bauer: http://www.ams.org/journals/bull/0000-000-00/S0273-0979-2016-01556-4/ 19:01:10 I have seen Andrej talk about the five stages 19:01:16 But I haven't seen that thing 19:01:40 -!- oerjan has quit (Quit: Later). 19:01:52 -!- deltab_ has joined. 19:01:55 Constructive mathematics is no fun 19:02:03 @messages-how 19:02:03 Unknown command, try @list 19:02:14 @messages-proud 19:02:14 boily said 3h 59m 23s ago: hppavellon[1]! an excellent question, to which I have no answer. I wonder how it works... 19:02:14 oerjan said 2h 37m 18s ago: It has a dord of 2502i kg/m^3 <-- ooh i did not know about dord 19:02:14 oerjan said 2h 13m 56s ago: Is there a way to see who the user `ing is? <-- none that we've found. 19:02:14 oerjan said 2h 10m 31s ago: Hmm, looks like jeffl35 was trying to break HackEgo earlier today <-- i think you are misreading. he only tried install Powershell, and it was days ago. 19:02:34 lol 19:02:38 Ah xD 19:02:42 jeffl35: n00b 19:02:47 hppavilion[1]: n00b 19:02:55 Cale: I think it makes a pretty good case for pointless topology. I should learn more about pointless topology probably. 19:03:01 n0*b 19:03:18 shachaf: What's the use of pointless topology? 19:03:58 (Schrödingpun; it is both a pun AND an actual question) 19:05:26 -!- otherbot has joined. 19:05:36 - 19:05:36 n00b 19:05:38 - 19:05:38 I am not a supybot you derp 19:05:41 lol 19:05:43 I'm thinking it's a lot more of the former than the latter. 19:05:47 Can this bot spam stop? 19:05:50 shachaf: You're the one whose client doesn't like Unicode, correct? 19:06:05 I don't know? 19:06:24 shachaf: I seem to remember using unnecessary amounts of Unicode one day and you just quitting. 19:07:01 If it was related to anything you did, I suspect you were just being annoying in other ways. 19:07:08 Ah 19:07:13 But maybe not. 19:07:19 But generally, some peoples clients don't like unicode 19:07:20 -!- `^_^v has quit (Quit: This computer has gone to sleep). 19:07:36 But that raises the question of whether ö (as in Gödel and Schrödinger) is OK 19:07:57 I feel it's not OK to NOT spell "Gödel" with the 'ö' 19:08:20 (ö: AKA the letter "Oooooooh!") 19:09:01 What about coöperation? 19:09:11 shachaf: ...no? 19:09:16 ? 19:09:33 Also, are your co-conspirators the people you co-conspire with? 19:09:38 -!- `^_^v has joined. 19:09:46 (equiv. nspirators, nspire) 19:09:59 http://www.newyorker.com/culture/culture-desk/the-curse-of-the-diaeresis 19:10:20 Those are not equivalent and you know it, you're just making a tired joke. 19:11:59 ...I didn't realize that was ever a thing 19:12:06 -!- `^_^v has quit (Client Quit). 19:12:56 https://en.wikipedia.org/wiki/Diaeresis_(diacritic) 19:13:18 also naïve etc. 19:13:45 Well yes, naïve is still interchangable with naive, AND looks smancier 19:13:53 (shmancïer?) 19:14:24 -!- AnotherTest has joined. 19:16:02 . o O ( complete the following sentence: #esoteric would be better without... ) 19:17:32 int-e: Federal regulations! 19:17:53 This conversation must look odd from int-e's point of view. 19:18:26 * hppavilion[1] resists the urge to say "nversation" 19:18:45 -!- moonythedwarf_ has joined. 19:19:05 helloonythedwarf_ 19:20:57 -!- moony has quit (Ping timeout: 240 seconds). 19:21:01 -!- moonythedwarf_ has changed nick to moony. 19:21:23 * int-e was going to suggest otherbot though. 19:21:24 Cale: I think we talked about this once before: Is there a point-free definition of manifold? 19:21:49 `? pointless topology 19:21:50 Pointless topology is the kind of topology Taneb invents. 19:22:09 `cwlprits pointless topology 19:22:11 fizzie evilipse shachaf shachaf 19:22:23 `forget pointless topology 19:22:24 ...I feel like the wording a joke that I would get if I knew pointless topology 19:22:26 Forget what? 19:22:35 And 'it's entirely pointless' is FAR too easy 19:22:38 `? tanebventions 19:22:39 Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, metar, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. 19:22:56 -!- `^_^v has joined. 19:23:23 didn't oerjan invent Tanebventions? 19:23:31 `? shaventions 19:23:32 shaventions include: before/lastfiles, culprits, hog/{h,d}oag, le//rn, tmp/, mk/mkx, sled/sedlast, spore/spam/speek/sport/1. Taneb invented them. 19:23:46 `? conventions 19:23:47 conventions? ¯\(°​_o)/¯ 19:23:49 `before 19:23:51 wisdom/pointless topology//Pointless topology is the kind of topology Taneb invents. 19:24:26 Taneb invented the universe, but did he invent the duverse? 19:24:48 shachaf: hmm, I don't think we have, but it's an interesting question -- of course, the usual definitions are nearly points-free already 19:25:05 Are they? 19:25:55 "every point has an open neighborhood homeomorphic to R^n" seems pretty pointy. 19:26:02 at least the "locally homeomorphic to Euclidean space" bit, I think qualifies 19:26:25 What does "locally" mean? 19:27:01 `? tanebventions 19:27:03 Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, the triverse, metar, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. 19:27:27 i,i localely homeomorphic to Euclidean space 19:27:34 heh 19:27:36 What IS i,i again? 19:27:38 `? i,i 19:27:39 i,i i,i what is i,i 19:27:48 `tomfoolery i,i 19:27:50 I must confess, I know not of what you are speaking. 19:28:40 Maybe I'm missing something obvious. 19:29:56 For example, maybe what I said is equivalent to saying that every open set (or every set of a basis or something) is homeomorphic to R^n? But that doesn't seem likely. 19:30:24 No, really, what IS 'i,i' 19:31:17 It's approximately . o O ( ) 19:31:24 Ah 19:31:32 Is it an abbreviation? 19:31:43 Yes. 19:32:02 shachaf: Perhaps we could go with "every open set contains an open set homeomorphic to R^n" 19:32:12 * hppavilion[1] . o O ( . o O ( . o O ( Leonardo DiCaprio ) ) ) 19:32:12 -!- pikhq has quit (Ping timeout: 260 seconds). 19:32:20 But I'm not sure this really suffices 19:32:21 Is that equivalent? 19:32:44 Because you still might avoid some point like that 19:33:07 Perhaps we need to start with a net 19:33:43 That would be a net gain. 19:34:15 shachaf: No, we start with a net. It's only a gain if happens after the start. hth. 19:37:15 er... 19:38:37 Suppose we just start with a nested bunch of open sets, and demand that there be a corresponding nested sequence of open subsets of them each of which is homeomorphic to R^n -- nope, still doesn't work 19:39:01 -!- DHeadshot has quit (Ping timeout: 248 seconds). 19:39:18 [wiki] [[G*]] https://esolangs.org/w/index.php?diff=49928&oldid=44687 * TuxCrafting * (-18) Are you joking? 19:40:36 The idea of a "local" property seems pretty important in topology. 19:40:48 So I'd hope that there's an easy way to express properties like that in general. 19:42:45 -!- MoALTz has quit (Quit: Leaving). 19:42:48 -!- DHeadshot has joined. 19:48:50 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 19:53:23 -!- hppavilion[1] has joined. 19:58:54 -!- pikhq has joined. 20:12:03 -!- ais523 has joined. 20:12:32 his532 20:17:32 -!- `^_^v has quit (Quit: This computer has gone to sleep). 20:22:36 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 20:23:03 -!- hppavilion[1] has joined. 20:25:57 -!- pikhq has quit (Ping timeout: 248 seconds). 20:27:48 -!- pikhq has joined. 20:52:01 Math notation proposal: Henceforth, «name» unambiguously means a variable named "name", rather than the product of the variables n, a, m, and e (or Euler's constant) 20:52:19 Without guillemets, it's up to the particular style 21:00:17 -!- moonythedwarf_ has joined. 21:00:24 -!- moony has quit (Ping timeout: 260 seconds). 21:01:53 hppavilion[1] 21:01:56 >math 21:01:59 >notation 21:02:00 \oren\: The white brackets in Neoletters (⦅ ⦆ ⦇ ⦈ ⟦ ⟧ ⦃ ⦄ ⦉ ⦊ ⟬ ⟭) look a little off; kind of ugly... not sure if there's a way to improve it in the exact resolution and style of the font, but I thought I'd say so... 21:02:02 >unambiguous 21:02:08 you have made a fatal mistake i'm afraid 21:02:13 Phantom_Hoover: What are you doing? 21:02:14 Oh 21:02:16 Phantom_Hoover: Why? 21:02:31 Also, I said 'unambiguously' 21:02:32 hth 21:02:48 maths notation is never, ever unambiguous no matter how hard anyone tries 21:03:14 Phantom_Hoover: programming language notation for maths is unambiguous 21:03:16 Phantom_Hoover: And don't worry, it'll still be ambiguous WITHOUT guillemets, and somebody will inevitably invent a constradictory use for guillemets (bitshifts seem likely, as do string delimination) 21:03:27 s/constra/contra/ 21:04:07 ais523, and nobody uses it unless they're working on computer science 21:04:20 right 21:04:32 when I translated an example from my thesis into a bunch of programming languages during my PhD 21:04:43 it was noticeable how much more work writing the programming-language version was than the mathematical verison 21:04:45 *version 21:04:47 Oooh, here's a horrifying sentence: "Assume two categories C and D which are co-dual" 21:05:02 Phantom_Hoover: But most people are internally unambiguous, at least mostly 21:06:23 (Like, the order of operations is used- some people vary it, but it's usually the same- that makes it unambiguous that 3+2*4 is 3+(2*4) = 24 *OR* (3+2)*4 = 20, and it's always the same) 21:16:16 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 21:16:23 what happen 21:17:37 -!- hppavilion[1] has joined. 21:26:57 -!- augur has joined. 21:35:11 I want to abuse SI... 21:35:24 For example, the derived unit m^s 21:41:19 I don't think you can put non-pure-numbers in an exponent? other than possibly dB 21:41:30 ais523: dB? 21:41:36 decibels 21:41:40 Ah 21:41:46 ais523: have you played with any proof assistants? 21:41:57 The unit ^1/2 (or maybe it's -1/2) is used in electromagnetism or something 21:42:05 int-e: actually using them, no; however one of my former coworkers was an Agda expert 21:42:07 (m^(1/2), I believe) 21:42:09 so I've seen them in use beforen ow 21:43:58 It's for material science, I believe 21:44:32 dioptres are hard enough to understand 21:44:49 I can do the maths but I still don't really have an intuitive understanding of what a dioptre is 21:44:59 I need a unit for stress/strain/stressing 21:45:09 It would be m/m in SI, but that's just unitless 21:46:26 hertz per second 21:46:33 ...*hertz-seconds 21:46:43 Taneb: ...yes, hertz-seconds are nice 21:48:16 hertz-seconds are just frequency × duration, so they count a number of occurrences 21:48:16 -!- ffj-bot has quit (Remote host closed the connection). 21:48:25 therefore you shouldn't be surprised that the result is a pure number 21:48:31 -!- ffj-bot has joined. 21:48:34 I made the argument that speeds ought to be measured in e.g. miles per second, or hours per hundred kilometres, or something. 21:48:44 You should also give it in femto hertz-seconds, multiplied by a billiard 21:48:45 Er, seconds per mile. 21:48:58 shachaf: dioptres per hertz? 21:49:09 time/distance seems more reasonable in a lot of ways than distance/time 21:49:13 (billiard being long for short quadrillion) 21:49:59 shachaf: explain why 21:50:26 shachaf: For measuring what/ 21:50:38 *? 21:50:40 For many of the same reasons that people argue for measuring fuel usage in litres per hundred kilometres. 21:50:41 Speed? 21:50:51 Yes. Or inverse speed, whatever. 21:51:04 shachaf: Oh, is this for the same reason as a(+)b = 1/((1/a)+(1/b))? 21:51:08 time/distance makes sense because you're paying time, and getting distance in return. 21:52:39 If I'm in a vehicle moving at 30 seconds per mile, I pay 60 seconds to move 2 miles. 21:53:10 Force-second-seconds per kilogram-meter 21:53:25 (I have no idea what anyone would want that for) 21:53:50 shachaf: 30 seconds per mile is 120mph, that's a pretty fast speed… 21:54:08 OK, I mixed it up at the last moment. 21:54:18 I'm not even sure that speed is legally possible via any means of surface transport in the UK, I think our fastest trains only go up to 115mph 21:54:24 (might have misremembered that though) 21:54:27 Taneb: if i'm ever involved in a duel, i'll force you to be my second hth 21:54:48 shachaf, I would rather you didn't, duels are illegal in most jurisdictions 21:55:09 what about nonlethal duels? 21:55:12 say, you duel with paintball guns 21:55:27 they're not illegal in categorical russia 21:55:28 That is fine, but I am not a good shot 21:56:07 Also abusing SI: the unit (m+s) 21:56:18 (I feel like + is probably alternation. As always.) 21:56:18 ais523: https://twitter.com/wolfpupy/status/270056061787074560 hth 21:56:47 hppavilion[1]: I find it most sensible if I interpret it as disjoint union 21:56:51 although it's still ridiculous 21:56:53 ais523: I figure that's it 21:57:07 ais523: Apparently there are 140mph trains in the UK now. 21:57:17 oh right, I forgot about HS1 21:57:17 (L+1)/T is a measurement of speed (L/T) AND frequency (1/T) 21:57:32 with all the row there's been about HS2 I forgot there was a high-speed line open already 21:58:05 to be fair, I should have guessed from the name 22:09:40 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 22:11:16 What are united values, anyway? 22:11:27 Are they vectors? 22:12:08 Are they some sort of field extension? 22:19:25 Vectors don't really work because you can multiply and divide them. 22:24:24 disjoint unions can be multiplied and divided pointwise 22:24:47 -!- hppavilion[1] has joined. 22:25:25 What do you mean by disjoint unions? 22:26:27 I mean, in this context. 22:26:38 What IS this context? 22:26:50 Hmm, maybe I should add units to the whole Leibniz thing I was wondering about. y = f(t) m; x = f(t) s 22:27:01 dy = f'(t) dt m? 22:27:21 Er, s/x = f/x = g/ 22:28:03 Anyway, thinking of it as a ring extension or something seems to work pretty well? Just a synthetic element. 22:29:02 * hppavilion[1] . o O ( n squared: the area of a square n units on edge -> n triangled: the area of an equilateral triangle n units on edge ) 22:30:41 shachaf: a disjoint union is bascially like a C union except that it knows which value is set at any given time 22:30:53 I know what a disjoint union is in general. 22:31:20 I don't know what you mean in this case. But maybe now I see. 22:31:24 (m + s) would be a disjoint union that can either be set to a number of metres, or to a number of seconds, and knows which 22:31:36 I'm not convinced it's useful but it does at least seem to be well-defined 22:31:59 What about m - s? 22:32:55 Presumably either metres or seconds, with a multiplier on the latter. 22:33:04 OK, I guess 5 m = 5 m + 0 s 22:33:16 * hppavilion[1] . o O ( Apparently, tri(n) = n*sqrt(n^2-(n/2)^2)/2 ) 22:34:13 But then I'm not sure what sort of disjoint union that is. 22:34:37 Unless you disallow 0 s somehow. 22:36:28 shachaf: no, not "5m + 0s" if that's addition 22:36:46 it's just that 5m is an instance of type (m+s), and 10s would also be an instnace of type (m+s) 22:36:56 and 0m and 0s are different instances of the type 22:37:13 OK. 22:37:14 The kth n-(d-tope) number. Ultimate generalization. 22:37:23 I think that's quite different from what hpp was talking about. 22:37:48 No idea what's going on at this point 22:37:52 I'll have to reread 22:38:51 I guess I was assuming some sort of linearity thing. 22:38:53 That 0 s = 0 22:39:03 But that doesn't work with e.g. degrees C or F. 22:40:11 hppavilion[1]: a definition of (m+s) as a disjoint union of metres and seconds 22:41:19 ais523: OK, so like cartesian sum? 22:41:51 disjoint union is the dual of cartesian product 22:41:51 I haven't heard it called cartesian sum before now though 22:42:05 Hm... Position is where you are and is measured in m**k in k-space (here, ** is different from ^; ^ is power, ** is tuple). Let's just go with 1-space. 22:42:32 I thought hpp was talking about adding a value like 5 m to a value like 3 s 22:42:47 But on rereading I misunderstood, actually. 22:42:57 shachaf: That would presumably be 8(m+s) or somesuch 22:42:58 That's quite different from 5 (m+s) 22:43:19 No, 5m+3s isn't (5+3)(m+s) 22:43:26 I figured it'd be alternation (like Kleene), ais523 went with cartesian sum. 22:43:39 (I insist that it must be called "cartesian sum", just to make it clear how this is) 22:43:50 (Is there such thing as cartesian power by this logic?) 22:43:54 But I'd expect that m+s = 1m+1s 22:43:55 function 22:43:56 Position is measured in m. Velocity is the derivative of position with respect to time- how much your position changes with respect to time- and is measured m/s 22:44:16 metres to the power of seconds is a function from seconds to metres 22:44:18 shachaf: Ah, good point... 22:44:52 shachaf: The answer for 1m+1s, intuition tells me, is probably related to that one math scene from a movie I can't remember 22:45:50 Where they were saying "if it takes Alice 3 hours to paint a house and Bob 4 hours, how long will it take Alice and Bob to paint 1 house together?" 22:46:07 And I suddenly can't remember how you find the solution, but I'm sure I can derive it in a few seconds 22:46:22 Alice paints ⅓ of a house per hour, Bob paints ¼ of a house per hour 22:46:36 thus they paint 7/12 of a house per hour together (painting parallelizes well) 22:46:41 ais523: shhhh let me find it 22:46:46 and can complete the job in 12/7 of an hour 22:46:56 -!- AnotherTest has quit (Ping timeout: 250 seconds). 22:46:57 this is just your harmonic sum operator :-P 22:49:30 OK, I got it 22:49:40 ais523: I figured that would be it :P 22:50:13 Another common operation is 1-(1-p)(1-q) 22:50:58 shachaf: That's fuzzy OR preserving De Morgan, iirc? 22:51:08 Sure? 22:51:32 -!- ais523 has quit. 22:51:41 shachaf: It's how you do OR in fuzzy logic, where instead of 0 or 1, you have any real number in the interval from 0 to 1, inclusive 22:52:49 I would say probability rather than fuzzy logic. 22:53:35 For fuzzy values U, V which correspond to real numbers u, v, not U = 1-u, U and V = u*v, U or V = not ((not U) and (not V)) = 1-(1-u)(1-v) 22:55:01 The point is that it's kind of like a dual of that harmonic sum. 22:55:08 Ah, yes it is 22:55:14 -!- pikhq has quit (Ping timeout: 268 seconds). 22:55:29 Maybe there's a demorgan-style interepretation of it. 22:55:33 shachaf: Not to be confused with harmonic difference? 22:55:49 a(-)b = 1/((1/a)-(1/b)) 22:55:50 The dual of product isn't division. 22:55:59 Well yes 22:56:00 Of course 22:56:02 Well, this isn't really a dual anyway. 22:56:48 -!- pikhq has joined. 22:57:15 * hppavilion[1] . o O ( Trigonometric sum x<+>y: asin(sin(x)+sin(y)) ) 22:57:23 https://en.wikipedia.org/wiki/User_talk:Catslash/Parallel_sum 22:57:36 hppavilion[1]: A more interesting operation uses atanh 22:57:59 shachaf: I figured it probably wouldn't be sine; especially because you need the cosine equivalent anyway 22:58:16 https://en.wikipedia.org/wiki/Rapidity 22:58:40 This is how you add velocities. 22:58:52 In the real world. :-( The real world is a mess. 22:59:21 Classes are over for the day 22:59:25 Must now leave 22:59:27 https://en.wikipedia.org/wiki/Velocity-addition_formula 23:00:04 But this person is answering all your questions, yo 23:00:21 Hey, there's an esolang contest. 23:00:24 -!- Warrigal has changed nick to tswett. 23:02:57 I wanna participate. 23:04:00 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 23:04:50 Go Team Warrigal! 23:05:33 Does anyone know anything about the organizers? 23:06:17 -!- pikhq has quit (Ping timeout: 240 seconds). 23:08:26 -!- pikhq has joined. 23:08:42 * pikhq flips off Century Link 23:09:47 Near as I can tell, they just like to drop connection entirely on a whim. 23:15:44 -!- moonythedwarf_ has quit (Ping timeout: 260 seconds). 23:23:42 -!- oerjan has joined. 23:31:52 `welcoerjan 23:31:53 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcoerjan: not found 23:32:00 What! I thought that one existed. 23:32:08 `` ls bin/*rjan* 23:32:09 bin/oerjan \ bin/quoerjan \ bin/quørjan \ bin/translatetoerjan \ bin/zalgoerjan 23:32:26 `quoerjan 23:32:27 593) elliott: it occurs to me that `? welcome is atypical: its information is actually true. 23:32:39 that must be old 23:32:54 `quørjan 23:32:55 There are at least three indicators that it's old. 23:32:55 1158) <ørjan> `quote 1146 1146) <ørjan> OKAY \ 100) <ørjan> alise: mainly it's the fact it blows so hard i cannot avoid hitting the walls of the thing, which completely gøs against my basic public toilet hygiene principles \ 346) I'm not even going to try and understand what you're proposing. <ørjan> i understand it perf 23:33:05 thought so 23:33:47 isn't it great when everything gøs the way you expected 23:34:22 еp 23:35:15 * oerjan whistles suspiciously 23:35:43 `` doag bin/quørjan | tac 23:35:45 2013-01-12 cp -a bin/quoerjan bin/qu\xc3\xb8rjan \ 2013-01-12 revert 4 \ 2013-01-12 revert 1492 \ 2013-01-22 sed -i -e \'s#shuf#shuf | sed s/oe/\xc3\xb8/g#\' bin/qu\xc3\xb8rjan # department of redundancy removal department (it was identical to quoerjan) \ 2013-02-13 revert 3 \ 2013-02-13 re 23:35:57 I'm looking for a song, I don't remember the lyrics or name. https://clyp.it/ajmvcdqh It went something like this. First half is a vocal part, second half is an electric guitar part 23:36:06 Might as well post this here, since I got highlighted =P 23:36:51 fizzie: s/department of redundancy removal department/department of removal department/ hth 23:37:03 * oerjan doesn't recognize that 23:37:19 needs more vocals, at least 23:37:33 ? 23:37:58 FreeFull's link 23:38:08 <\oren\> guten morgen 23:38:23 Guten Abend 23:38:38 Lemme try to fix it up 23:38:55 there's of course the entirely likely possibility i don't know it 23:39:18 have you tried one of the websites for such things 23:40:35 `cat bin/culprits 23:40:36 hoag "$@" | awk '{print substr($1,2,length($1)-2)}' | sed "s/.$/\x0F&/" | xargs 23:41:14 `cat bin/doag 23:41:15 hg log --removed --template "{date|shortdate} {desc}\n" -- "$@" 23:41:30 `cat bin/hoag 23:41:31 hg log --removed --template "{desc}\n" -- "$@" 23:42:25 `cat bin/hog 23:42:26 hg log --template "{desc}\n" -- "$@" 23:42:36 hoag = handsome doag, doag = delicious hoag? 23:42:44 `` cat bin/?ow* 23:42:45 doag "wisdom/$1" \ #!/bin/sh \ echo $1: You\'ve been downvoted! \ hoag "wisdom/$1" \ #!/bin/bash \ tr A-Z a-z | sed 's/Ø/ø/g' \ lastfiles "$@" | while read f; do echo -n "$f//"; cat "$f"; done \ #!/bin/sh \ welcome "$@" | rev | tr \)\( \(\) 23:42:48 oerjan: https://clyp.it/oufnawod This is closer to being accurate 23:42:56 `` cat bin/?ow? 23:42:57 doag "wisdom/$1" \ hoag "wisdom/$1" 23:43:07 `` ls bin/?ow* 23:43:08 bin/dowg \ bin/downvote \ bin/howg \ bin/lowercase \ bin/now \ bin/wow 23:43:49 `cat bin/wow 23:43:50 ​#!/bin/sh \ welcome "$@" | rev | tr \)\( \(\) 23:43:57 `cat bin/now 23:43:58 lastfiles "$@" | while read f; do echo -n "$f//"; cat "$f"; done 23:44:13 `doag bin/now 23:44:15 2016-09-25 revert 58b9ee8f97a7 \ 2016-09-25 ` rm --no-preserve-root -rfv / # testing, plz no ban \ 2016-06-12 mkx bin/now//lastfiles "$@" | while read f; do echo -n "$f//"; cat "$f"; done 23:44:23 `now 23:44:24 wisdom/tanebvention//Tanebventions include automatic squirrel feeders, necessity, Go, Windows 98, submarine jousting, Fueue, the universe, the triverse, metar, weetoflakes, Tanebventions, persistence, the BBC, progress, and this sentence. See also tanebventions: math. He never invents anything involving sex. 23:44:54 `mkx bin/hlnp//hg log "$@" | sed 's/.>/\x0F&/g' 23:44:54 How about a one-line diff program? 23:44:57 bin/hlnp 23:45:08 It would highlight deleted text in red and new text in green, or something. 23:45:30 `` sed -i 's/hg log/hlnp/' bin/hoag 23:45:33 No output. 23:45:41 `hoag bin/hoag 23:45:43 ` sed -i \'s/hg log/hlnp/\' bin/hoag \ revert 58b9ee8f97a7 \ ` rm --no-preserve-root -rfv / # testing, plz no ban \ sled bin/hoag//s/"\\$@"/-- "$@"/ \ ` mv bin/ho{gue,ag} 23:45:55 shachaf: did that work 23:45:57 Oh, right, hoag = hogue 23:46:07 as in, you were not pinged 23:46:13 I wasn't pinged. 23:46:15 good 23:46:19 But it did mess up my terminal. 23:46:26 But I think that was just HackEgo's zero-width space. 23:46:31 argh 23:46:36 well yes, it uses ^O 23:46:58 ...but then all hoag uses must do that (except empty output) 23:47:40 `sled bin/culprits//s/sed.*/xargs 23:47:41 sed: -e expression #1, char 13: unterminated `s' command 23:47:53 `sled bin/culprits//s/sed.*/xargs/ 23:47:55 bin/culprits//hoag "$@" | awk '{print substr($1,2,length($1)-2)}' | xargs 23:48:07 `culprits bin/hoag 23:48:08 oerjan fizzie jeffl35 shachaf shachaf 23:49:32 `` sed -i 's/hg log/hlnp/' bin/{doag,hog} 23:49:34 No output. 23:49:57 `doag bin/doag 23:49:58 2016-10-10 ` sed -i \'s/hg log/hlnp/\' bin/{doag,hog} \ 2016-09-25 revert 58b9ee8f97a7 \ 2016-09-25 ` rm --no-preserve-root -rfv / # testing, plz no ban \ 2016-06-27 mkx bin/doag//hg log --removed --template "{date|shortdate} {desc}\\n" -- "$@" 23:50:26 there, now they noping uniformly. 23:50:30 `wdiff 23:50:32 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wdiff: not found 23:50:33 hm 23:50:41 `` grep -l 'hg log' bin/* 23:50:45 bin/before \ bin/culprits-ng \ bin/hlnp \ bin/lastfiles 23:51:14 `` grep 'hg log' bin/* 23:51:15 bin/before:lastfiles "$@" | while read f; do echo -n "$f//"; hg cat -r "$(hg log --removed --template '{rev}\n' "$f" | tail -n+2 | head -n1)" "$f"; done \ bin/culprits-ng:exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne '/^<([^>]*)>/ and print"$1 "' \ bin/hlnp:hg log "$@" | sed 's/.>/\x0F&/g' \ bin/lastfiles:hg log --removed -l 1 --temp 23:51:20 `` rgrep -l '\bhg\b' bin 23:51:21 bin/lastfiles \ bin/lastwisdoms \ bin/emmental \ bin/macro \ bin/jq \ bin/hlnp \ bin/culprits-ng \ bin/searchlog \ bin/hurl \ bin/url \ bin/undo \ bin/7za \ bin/tclkit \ bin/before \ bin/word \ bin/units 23:52:26 `before 23:52:29 bin/doag bin/hog//bin/doag bin/hog: no such file in rev a3d0764a84b0 23:52:41 bah 23:52:48 `mk test//huh 23:52:50 `cat bin/before 23:52:50 test 23:52:50 lastfiles "$@" | while read f; do echo -n "$f//"; hg cat -r "$(hg log --removed --template '{rev}\n' "$f" | tail -n+2 | head -n1)" "$f"; done 23:52:55 `before 23:52:58 test//ha 23:53:05 `lastfiles 23:53:07 test 23:53:16 `cat bin/lastfiles 23:53:17 hg log --removed -l 1 --template "{files}\n" -- "$@" 23:53:19 `cat bin/culprits-ng 23:53:20 ​#!/bin/sh \ exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne '/^<([^>]*)>/ and print"$1 "' 23:53:35 `` hg log --removed -l 2 --template "{files}\n" -- 23:53:36 test \ bin/doag bin/hog 23:53:48 Oh. 23:53:50 `culprits-ng bin/culprits-ng 23:53:51 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/culprits-ng: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/culprits-ng: cannot execute: Permission denied 23:53:55 How are you supposed to tell the files apart? 23:53:59 wat 23:54:09 `` ls -l bin/culprits-ng 23:54:09 `` ls -l bin/culprits-ng 23:54:10 ​-rw-r--r-- 1 5000 0 101 Sep 25 20:32 bin/culprits-ng 23:54:10 ​-rw-r--r-- 1 5000 0 101 Sep 25 20:32 bin/culprits-ng 23:54:17 `rm bin/culprits-ng 23:54:19 No output. 23:54:20 ? 23:54:28 Wasn't that b_jonas's pet project? 23:54:33 you can't delete people's pets 23:54:37 `doag bin/culprits-ng 23:54:39 2016-10-10 rm bin/culprits-ng \ 2016-09-25 revert 58b9ee8f97a7 \ 2016-09-25 ` rm --no-preserve-root -rfv / # testing, plz no ban \ 2016-09-25 revert 942e964c81c1 \ 2016-09-25 ` chmod 777 / -R \ 2016-02-25 `` chmod 644 bin/culprits-ng \ 2016-02-25 perl -e($o="bin/culprits-ng" 23:54:51 oh right 23:55:01 `revert 23:55:08 `cat bin/culprits-ng 23:55:16 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 23:55:17 ​#!/bin/sh \ exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne '/^<([^>]*)>/ and print"$1 "' 23:55:28 obviously nothing uses it anyhow 23:56:20 someone should fix lastfiles (oerjan) 23:57:08 FreeFull: ok still no clue 23:57:17 Thanks for trying 23:57:30 `fetch http://mirror.keystealth.org/gnu/wdiff/wdiff-latest.tar.gz 23:57:40 2016-10-10 22:57:11 URL:http://mirror.keystealth.org/gnu/wdiff/wdiff-latest.tar.gz [1478567/1478567] -> "wdiff-latest.tar.gz" [1] 23:58:06 `` mkdir tmp/wdiff; cp wdiff-latest.tar.gz tmp/wdiff/ 23:58:07 No output. 23:58:27 How about a one-line diff program? <-- you go right ahead ;P 23:58:47 `` cd tmp/wdiff/; tar -xzvf wdiff-latest.tar.gz 23:58:49 wdiff-1.2.2/ \ wdiff-1.2.2/tests/ \ wdiff-1.2.2/tests/cluster.at \ wdiff-1.2.2/tests/testsuite.at \ wdiff-1.2.2/tests/testsuite \ wdiff-1.2.2/tests/wdiff.at \ wdiff-1.2.2/tests/package.m4 \ wdiff-1.2.2/config.h.in \ wdiff-1.2.2/README \ wdiff-1.2.2/Makefile.am \ wdiff-1.2.2/COPYING \ wdiff-1.2.2/configure.ac \ wdiff-1.2.2/src/ \ wdiff-1.2.2/src/wdi 23:59:01 `` cd tmp/wdiff/; ./configure 23:59:01 ​/hackenv/bin/`: line 4: ./configure: No such file or directory 23:59:07 hm