00:00:28 Well, 'like' would be a better translation I think, but sure 00:00:34 What is the minimum number of symbols (with minimalist rules) required to- in an unambiguous way- express all of traditional algebra? 00:00:54 oerjan: it's the go-to word for that, yes 00:01:07 I also see that shachaf repeated himself, but with correct grammar this time. 00:01:11 a+b can be expressed as a-(-b), but to reduce rules we can do a-(0-b) 00:01:22 int-e: Look. Last time I was unsure of myself. 00:01:33 int-e: I looked it up on the Internet and I found a version with incorrect grammar. 00:01:46 shachaf: Yes, I recall, vaguely. 00:02:28 In APL, ?B is roll B (choose an integer at random from the first B integers (nevermind that "first k integers" makes no sense) 00:02:44 FireFly: good. the wiktionary example seemed rather archaic ("Av konungen gillad och stadfäst.") 00:02:54 Heh 00:02:56 hppavilion[1]: of course it makes sense. they are the first k integers. 00:03:06 That's an out of context quote. 00:03:07 boily: what's the first integer? 00:03:08 http://microapl.com/apl_help/ch_020_020_170.htm 00:03:18 "Generates numbers chosen at random from the series of the first N integers which start at the index origin (⎕IO)" 00:03:32 Oh, it has an index origin. OK. 00:03:40 Yes 00:03:46 One of APL's ugly quirks 00:03:48 I expected A?B to be choosing the first B integers, minus the first A 00:04:11 Except A?B is basically just an array of ?B run A times 00:04:28 hppavilion[1]: -9223372036854775808 hth 00:04:43 hppavilion[1]: yes...that is a lot more useful in an APL context than what you suggested 00:04:48 ...fair enough, can't think of any smaller integers 00:04:48 `unidecode 00:04:49 No output. 00:05:17 (I figured it COULD be ordering it as [0, 1, -1, 2, -2, 3, -3, ...], but I doubted it) 00:06:19 oh it appears that shachaf's client put a color reset code before that `learn earlier 00:06:31 Hm, ⌈B is the smallest integer ≥ B, ⌊B is the greatest integer ≤ B 00:06:32 for "the first B integers, minus the first A" you'd probably do A+?B-A 00:06:44 int-e: Yes. It wasn't a serious `learn. 00:06:51 FireFly: Yes, I figured 00:07:20 A⌈B is the greater, A⌊B is the lesser 00:07:25 int-e: SPOILER 00:07:27 What's the function for round? 00:07:30 the notation ⌈x⌉/⌊x⌋ for ceiling/floor originated in A Programming Language 00:07:52 oerjan: I was puzzled! 00:07:58 as in, the book, not the later programming language that followed from the notation 00:07:59 (sorry...) 00:08:57 ... 00:09:15 int-e: it's particularly insidious because it's one of the characters that doesn't get copied in irssi... 00:09:42 this one? 00:09:44 hppavilion[1]: I'm more familiar with J than APL, but AFAIK it doesn't have a 'round' primitive; you'd have to implement it in terms of ceil/floor 00:10:05 APL would've been more interesting with 3 functions for every operator *; A*, *B, and A*B 00:10:15 no, this one. 00:10:21 int-e> this one? 00:10:44 sorry, i got a newline on the end 00:10:55 OK, but... how? How do you get the fractional- wait, floor(x) if abs(x)-floor(abs(x)) < 0.5 else ceil(x). Easy. 00:11:06 Counting to 15 is hard. 00:11:16 `confuse oerjan 00:11:39 my browser doesn't show it in the logs either, so i have to paste it into irssi, and _then_ i can see on my own editing line 00:11:53 *it on 00:11:54 -!- Caesura has quit (Ping timeout: 264 seconds). 00:11:57 (ceil(-0.5) = 0, right? I assume so, but I can see it being defined as -1 just as easily, and really being better that way) 00:12:08 my browser shows a box with 000F in it there, hmm. 00:12:18 maybe I lack the right fonts to make it invisible. 00:12:19 (If we define ceil(-0.5) = -1, then ceil(x) = -ceil(-x) 00:12:21 ) 00:12:28 i suppose i can probably see it in vim too 00:12:59 oerjan: wait, windows, which browser? 00:13:19 ⍋B is a nice function though... 00:13:25 * int-e is using firefox under linux, that may make a difference 00:13:40 int-e: IE hth 00:14:05 oerjan: stop exploding the internet 00:14:45 (heh that's almost a plausible typo in qwerty) 00:14:47 * oerjan waves his triceratops bone cane at int-e 00:15:15 oerjan: I knew you were living in the stone age :P 00:15:34 I don't mind taxes, but I don't like the idea of paying taxes that I'm not required to pay. 00:15:39 Er, wrong channel. 00:16:26 (also I have no clue by how many million years that is off; I blame the Feuerstein family) 00:16:43 itym the Pierrafeu. 00:16:47 int-e: i'm pretty sure IE _used_ to show those chars, but it changed at some point. 00:17:10 int-e: approx. 65 million years hth 00:17:23 I mean the Flintstones. 00:17:29 i think triceratops was there until the end 00:17:29 oerjan: thanks 00:18:08 iirc they're just "Flint" in norwegian. or at least used to be. 00:18:12 -!- Caesura has joined. 00:18:18 (no:flint = en:flintstone) 00:18:24 boily: that's all french to me 00:19:14 (google helped) 00:20:12 hppavilion[1]: uhm, you might want to learn APL a bit before having opinions on its parsing rules :P it really wouldn't work well to have both prefix, postfix and infix 00:20:23 Yes xD 00:20:27 hm apparently flint means the same thing in english. material vs. piece of it? 00:20:35 FireFly: And circumfix and postcircumfix and... 00:20:39 You could come up with such a language probably, but it certainly wouldn't be APL 00:21:02 hppavilion[1]: the original APL notation had several circumfix operators (such as floor/ceil, as mentioned) 00:21:04 what about interfix? 00:21:14 INTERCAL has a few unary operators that go one character inside their argument 00:21:18 hppavilion[1]: http://www.jsoftware.com/papers/APL.htm 00:21:29 ais523: heh, that is pretty bizarre 00:21:33 defining ceil(-0.5) as -1 is pretty stupid 00:21:33 ais523: What if your argument is one character? 00:21:43 (I have a feeling the answer is "INTERCAL") 00:21:52 generally speaking, ceil(x) >= x (hence the name) 00:21:53 hppavilion[1]: that can't happen in INTERCAL 00:21:56 myname: But then -ceil(-x) is equal to ceil(x) 00:22:03 all legal operands are at least two characters long 00:22:12 hppavilion[1]: it's not ceil anymore 00:22:26 myname: And this satisfies a property that abs(ceil(x)) > abs(x) 00:22:31 it's "round away from zero" 00:22:38 ceil rounds toward +infty 00:22:41 FireFly: Fair enough 00:22:54 I suppose it could be called "magnitude ceiling" or "absolute ceiling" 00:22:55 hppavilion[1]: that's not what ceil says 00:22:59 myname: Well yeah 00:23:01 HireFly 00:23:03 a ceiling is ebove you, isn't it 00:23:11 myname: OK 00:23:34 On the other hand, I wanted a name for this operation: 00:23:38 exp . abs . log 00:24:05 myname: I have a bad habit of thinking of numbers as (sign, magnitude) rather than just value 00:24:07 myname: but if you stand on a mirror, you see the reflection of the ceiling below you 00:24:10 and 0 is like a mirror 00:24:10 hth 00:24:28 shachaf: you don't? 00:24:30 -!- DHeadshot has quit (Ping timeout: 264 seconds). 00:24:41 I don't? 00:24:46 next we'll discuss how negative numbers are imaginary... 00:25:06 shachaf: I made an operation called sign-preserving power (x^'y) that is equal to sgn(x)*abs(x)^y 00:25:08 If negative numbers are imaginary, what sorts of numbers are complex? 00:25:09 i never watched in a mirror and saw my foot pointing upwards 00:25:18 shachaf: All of them hth 00:25:20 ah, zon_ 00:25:32 who would ever step _on_ a mirror 00:25:40 Me? 00:25:45 a ceiling is ebove you, isn't it <-- technically, ceilings are in the opposite direction on the opposite side of the earth >:) 00:25:48 -!- ais523 has quit. 00:26:17 oerjan: no, because downwards is not defined that way 00:27:27 http://tinyurl.com/z52q2x6 is a bit creepy. 00:27:43 oerjan: Downwards is defined in terms of "away from the center of the earth" 00:27:51 What, posting tinyurl.com links in IRC? 00:27:57 s/away from/towards/ 00:28:13 hppavilion[1]: and ceilings are generally upwards hth 00:28:21 oerjan: Yes 00:28:43 shachaf: I usually use the plain link but in this case it was long and uninformative? 00:28:47 ...And if we treat the center of the earth as the origin, that means that someone on the opposite side of the earth is closer to you than their ceiling 00:29:06 I clicked on it but that's only because I know you a bit, I guess. 00:29:07 myname: australians beg to differ 00:29:28 http://archivelikeyou.com/files/fullimages/Jeppe_Hein_wallner_12.jpg looks like a mirror one can step on 00:29:59 I'm sure that if you look down into that mirror, you see the ceiling. 00:30:36 shachaf: Yes 00:30:36 You know the puzzle about why mirrors flip things left-to-right? 00:30:53 who would ever step _on_ a mirror <-- now i'm reminded of my visit to the CN tower in toronto... (if that had only been a mirror...) 00:31:21 OK, mceil(x) is sgn(x)*ceil(abs(x)), ceil(x) is the smallest integer ≥x. Floor is the same (with mfloor and floor) 00:31:37 shachaf: I do. 00:31:53 It's a good puzzle. 00:32:01 hppavilion[1]: what is it good for? 00:32:16 myname: Statistics, probably 00:39:47 @tell quintopia QUINTHELLOPIA! I finally got my postcard, 28 days later... (well, 29 considering timezones) 00:39:47 Consider it noted. 00:40:11 `date 00:40:12 Fri Sep 30 23:40:00 UTC 2016 00:42:15 lifthrasiirland is so far away... 00:42:35 `learn The password of the month is 00:47:22 Oh maybe we should make a bin/learn command to make the illusion perfect. 00:49:11 -!- Menphis has joined. 00:51:11 Perhaps you people can answer me avout a punishment device or construct of yore. What is it called that was put around the necks and hands of criminals but was not fixed in any place? Usually made out of sturdy wood. 00:51:40 int-e: What illusion? 00:51:45 `? password 00:51:47 The password of the month is au cœur de septembre 00:51:54 ...cool 00:52:04 How can you tell whether d^2x = 0? <-- it occurs to me that d is in some sense an _arbitrary_ derivative. so to get d^2 x = 0 you have to select the right one. 00:52:13 `which learn 00:52:15 /hackenv/bin/learn 00:52:22 `cat /hackenv/bin/learn 00:52:23 #!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^$an\?\|the$ //;s/s\?[:;,.!?]\? .*//') \ [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned" \ echo "$1" >"$(echo-p "wisdom/$topic")" \ echo "$verb '$topic': $1" 00:52:31 `url /hackenv/bin/learn 00:52:34 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/learn 00:54:29 https://en.wikipedia.org/wiki/Derivation_(differential_algebra) 00:54:43 * Zarutian patiently waits for an answer. 00:55:26 int-e: ...OK, I give up, hth did that work? 00:57:00 * hppavilion[1] . o O ( Maybe `learn should be able to detect a phrase between |vertical bars aka pipes| (after stripping /an?|the/) and use the entire phrase instead of just the first word) 00:57:35 Zarutian: pillory 00:58:00 oerjan: thanks. 00:58:24 (so "`learn |John Lenon| was a member of the Beatles." would put "John Lenon was a member of the Beatles." in ) 00:58:26 `? wisdome 00:58:27 The Wisdome is the place where all of HackBot's wisdom is stored and forced to fight to the death for the freedom of being printed out when you type `wisdom. 00:59:11 Zarutian: or hm, not sure about the "not fixed in any place" part. although there were many variants of these things... 00:59:24 hppavilion[1]: nice usage of the «œ». 00:59:26 `le/rn_append wisdome//Strictly speaking, it should be called the "Wissphere". 00:59:31 Learned 'wisdome': The Wisdome is the place where all of HackBot's wisdom is stored and forced to fight to the death for the freedom of being printed out when you type `wisdom. /Strictly speaking, it should be called the "Wissphere". 00:59:36 boily: I never used œ... 00:59:51 wait, you didn't... 00:59:59 It was HackEgo 01:00:26 oerjan: it fits what I had read in an Alita Battle Angel manga. 01:00:29 int-e: set the password of the month to , but when I asked it said it was au cœur de septembre 01:00:35 * boily looks shiftily at HackEgo. «T'en sais trop sur les ligatures. C'est louche.» 01:00:39 I suppose someone might have edited in PM, but... 01:00:44 -!- Caesura has quit (Ping timeout: 244 seconds). 01:00:49 oerjan: couldnt remember what it was called exactly until you said it. 01:00:51 `culprits wisdom/password 01:00:57 fizzie evilipse oerjan oerjan oerjan oerjan oerjan oerjan gamemanj int-e oerjan int-e oerjan mroman oerjan oerjan oerjan mroman_ 01:01:07 Do you know what is 58.86.33.135? 01:01:14 `? password of the month 01:01:15 password of the month? ¯\(°_o)/¯ 01:01:29 -!- Caesura has joined. 01:01:35 `unidecode password 01:01:37 [U+0070 LATIN SMALL LETTER P] [U+0061 LATIN SMALL LETTER A] [U+0073 LATIN SMALL LETTER S] [U+0073 LATIN SMALL LETTER S] [U+0077 LATIN SMALL LETTER W] [U+006F LATIN SMALL LETTER O] [U+0072 LATIN SMALL LETTER R] [U+0064 LATIN SMALL LETTER D] 01:02:07 Zarutian: there were some other links in that wp article. Cangue is a chinese variant so may fit for a manga... 01:02:35 `which culprits 01:02:36 /hackenv/bin/culprits 01:02:42 `url /hackenv/bin/culprits 01:02:44 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/culprits 01:02:51 and "shrew's fiddle" was also portable. 01:03:06 `which hoag 01:03:07 /hackenv/bin/hoag 01:03:15 `url hackenv/bin/hoag 01:03:16 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/hackenv/bin/hoag 01:03:36 `url /hackenv/bin/hoag 01:03:38 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/hoag 01:04:08 `where learn 01:04:09 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: where: not found 01:04:20 Wait... 01:04:42 `unidecode `learn 01:04:44 [U+0060 GRAVE ACCENT] [U+006C LATIN SMALL LETTER L] [U+0065 LATIN SMALL LETTER E] [U+0061 LATIN SMALL LETTER A] [U+0072 LATIN SMALL LETTER R] [U+006E LATIN SMALL LETTER N] 01:04:59 oerjan: well I was thinking more of the thing that looks like the criminal has his/her hands and head through a table plus the document describing their crime. 01:05:28 `unidecode The 01:05:30 [U+0054 LATIN CAPITAL LETTER T] [U+0068 LATIN SMALL LETTER H] [U+0065 LATIN SMALL LETTER E] [U+0020 SPACE] 01:06:24 `wisdom 01:06:27 taneb//Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of nine genders, and above average, not too voluminous, but calm eyebrows. (See also: tanebventions) 01:06:30 oerjan: Do we have a reverse-culprits? 01:06:35 oerjan: been toying with the idea of using an 'cyberized' version of cangue in an near future sci-fi story. 01:06:50 `which echo-p 01:06:51 /hackenv/bin/echo-p 01:06:59 `url /hackenv/bin/echo-p 01:07:01 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/echo-p 01:07:05 hppavilion[1]: what is that wissphere for? 01:07:06 -!- heroux has quit (Ping timeout: 264 seconds). 01:07:25 i'm not sure whether i'm missing a reference, or you are 01:07:33 hppavilion[1]: reverse-culprits? a list of people that make you write wisdom entries? 01:07:41 oerjan: The Wisdome goes underground as well, so it should be called 'wissphere' 01:08:18 -!- heroux has joined. 01:08:23 boily: No, you enter a username and it returns a list of the last 10 or so files that they edited 01:08:42 So `reverse-culprits boily would tell me what you've done with HackEgo recently 01:09:33 I haven't done much recently to HackEgo... 01:09:47 ...oh my god int-e's `learn was never processed by hackego... 01:09:52 Oh my god I'm an idiot... 01:10:27 `` unidecode `learn The password of the month is > shr/unidecoded 01:10:28 /hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching ``' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file 01:10:53 ``unidecode " `learn The password of the month is " > shr/decoded 01:10:54 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `unidecode: not found 01:11:09 Oh my god 01:11:12 oerjan: Do we have a reverse-culprits? <-- i don't think so. seems hard to do efficiently. 01:11:21 `` unidecode " `learn The password of the month is " > shr/decoded 01:11:23 /hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching ``' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file 01:11:35 ...FUUUUUUUUUUUUUUUUUUUUUUU 01:11:45 `` foo 01:11:46 /hackenv/bin/`: line 4: foo: command not found 01:11:52 `unidecode `learn <-- hint, it's before the ` 01:12:09 oerjan: Yep, that's what I figured. 01:12:13 I was checking 01:12:42 oerjan: It does seem unefficiable at first, but I figure there could be a way to make Mercurial do it inefficiently for us 01:12:59 Zarutian: http://www.pilloryhistory.com/other.html suggests "yoke" 01:13:22 Like, searching for all things with a description starting with "<$1>" (Do I need to escape that?) 01:14:21 hppavilion[1]: well yeah, as long as searching all log entries isn't too much. 01:14:32 oerjan: Yes, that's the problem. 01:14:44 hppavilion[1]: also, you don't want to use `` with unidecode 01:15:14 i guess searching in backwards order should work if they've actually edited some 01:15:23 Probably only search the last ~500 (which is STILL slow, probably) and print the most recent 10 files 01:15:38 oerjan: Yeah, that's probably what you'd do 01:15:52 `slwd wisdome//s,/,, 01:16:00 wisdom/wisdome//The Wisdome is the place where all of HackBot's wisdom is stored and forced to fight to the death for the freedom of being printed out when you type `wisdom. Strictly speaking, it should be called the "Wissphere". 01:16:21 `date 01:16:22 Sat Oct 1 00:16:10 UTC 2016 01:16:28 int-e: the idea is that the pillory|cangue|yoke is big enough for passerbys to see the reason why it is around that person neck plus have a loop of something like monofilament wire embedded inside that will behead the criminal if an serious attempt at removal without cryptographic authorization is performed. 01:16:52 ...wait, what did s,/,, do? 01:16:53 Zarutian: you're on your own there 01:17:07 If there are <10 files, just print all that you find 01:18:24 Oh, newline. Apparently. 01:18:38 I guess? 01:18:41 hppavilion[1]: removed a / you'd accidentally left there 01:18:44 Oh 01:19:27 Wait, I thought le/rn required two slashes... 01:19:34 no, le//rn does 01:19:36 Wait, no, that's mkx 01:20:02 oerjan: I thought le//rn needed you to sacrifice a he-goat to satan though? 01:20:13 no? 01:20:48 Oh 01:21:06 fungot: Do you want us to sacrifice a he-goat to satan? 01:21:06 hppavilion[1]: they say that some guards' palms can be used to practise throwing stones at things, the big black cobra, and scholars, by edward bulwer-lytton) 01:21:14 they're almost the same, except le//rn requires two // but also allows you to give directories 01:21:27 *-two 01:21:39 Wiser words have never been spoken, fungot. 01:21:39 hppavilion[1]: they say that problem breathing is best known for two things. you'll probably find one on the red marble table in front of him. 01:22:00 fungot: But what's the other thing? 01:22:01 hppavilion[1]: lizard corpses aren't confusing. are you a gentleman? two levels ahead is a powerful artifact. anyone who carries it by half. it was locked. he could stand it no longer, until an unsuspecting creature passes by. it stands two to four feet, by snorri sturluson) 01:22:31 `? password 01:22:33 The password of the month is au cœur de septembre 01:22:35 fungot: So problem breathing is best known for whatever's on the red marble table and for lizard corpses? 01:22:35 hppavilion[1]: quetzalcoatl: one of the forest." the dear old man beamed upon her, with dried brown limbs like dead wood showing through moldering bandages. " how the wind, the wizard has hired some help. twenty other arms came rippling out. 01:23:00 ^style 01:23:00 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack* oots pa qwantz sms speeches ss wp youtube 01:23:00 `learn The password of the month is Bierstubë. 01:23:04 Relearned 'password': The password of the month is Bierstubë. 01:23:24 ^style ic 01:23:24 Selected style: ic (INTERCAL manual) 01:23:28 Ooooh 01:23:40 fungot: Can you intracalate? 01:23:45 (Is there INTRACAL?) 01:23:47 Dammit... 01:24:10 -!- moonythedwarf has quit (Remote host closed the connection). 01:24:48 ULFRACAL 01:25:01 oerjan: Never heard 'ulfra'? 01:25:09 (misp. 'ultra'?) 01:25:19 The number of derivatives of INTERCAL is rather ironic, given that it was designed to have no similarities... 01:25:40 it's a misspelling, but not of ultra. 01:25:56 INFRA? 01:26:33 i was trying to do INTER:INTRA::INFRA:? but i think i failed 01:27:25 Ah 01:27:53 oerjan: Well, first of all, INTER:INTRA::?:INFRA 01:28:03 Second, ?=ULTRA 01:28:04 hth 01:28:19 (infrared/ultraviolet) 01:28:26 i don't think so. inter isn't to intra what ultra is to infra. 01:28:35 or wait, is it. 01:30:30 INTER:INTRA::INFER:INFRA ? 01:31:03 INFERNAL ULTERIOR INTEGRAL 01:31:40 `? intercal 01:31:42 INTERCAL has excellent features for modular program for the enterprise market. 01:32:23 dissonant 01:33:22 in the future, we'll all be COBOL programmers. 01:34:35 the CABAL will see to it 01:35:14 infrarnal 01:35:24 COBOL, the language of my ancestors 01:36:11 I still think #esoteric should create a language JUST reasonable enough that employers will want to make people use it, but out-of-the-ordinary enough that using it is fun (and/or infuriating) for the programmers 01:36:31 Like Java! 01:38:18 Taneb: Like anything BUT Java 01:38:41 Java is bland and generic, with a lot of unnecessary cruft and hyper-formulaic rules 01:40:27 I'm thinking it will draw on math and FP and LP, but remain imperative enough to be usable 01:40:42 Curried functions will be the only option, for example 01:41:58 Java isn't generic. it teases you with false promises, then stabs you in the back with a blunt object. 01:42:54 remind me to copy one very nice line I wrote just to terrorise a few coworkers next Monday. 01:43:07 s/copy/copy you/ 01:43:57 OK 01:44:12 @tell-delay 01:44:12 Unknown command, try @list 01:44:17 Darn 01:44:18 @list 01:44:18 What module? Try @listmodules for some ideas. 01:44:21 @listmodules 01:44:21 activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search 01:44:21 slap source spell system tell ticker todo topic type undo unlambda unmtl version where 01:44:35 @which tell 01:44:35 Unknown command, try @list 01:44:38 @where tell 01:44:38 @help tell 01:44:42 @help tell 01:44:42 tell . When shows activity, tell them . 01:44:46 *sigh* 01:45:00 @module tell 01:45:00 Unknown command, try @list 01:47:35 (There wouldn't happen to be any n s.t. log_n(x) = x forall x, would there?) 01:50:55 1. 01:51:29 boily: log? 01:51:33 log_1. 01:52:01 1^x = x? 01:53:08 log_1(x) = x ∧ x=5 -> 1*1*1*1*1=5 01:53:42 @list tell 01:53:42 tell provides: tell ask messages messages-loud messages? clear-messages auto-reply auto-reply? clear-auto-reply 01:53:55 hm 01:54:01 @help auto-reply 01:54:01 auto-reply. Lets lambda-bot auto-reply if someone sends you a message 01:54:14 * oerjan didn't notice that before 01:54:16 @auto-reply 01:54:16 No auto-reply message given. Did you mean @clear-auto-reply? 01:54:20 @help! messages? 01:54:20 messages?. Tells you whether you have any messages 01:55:18 @ask oerjan You've already set auto-reply, haven't you? 01:55:18 Consider it noted. 01:56:09 hppavilion[1]: x*y = log_n(x*y) = log_n x + log_n y = x+y for all x,y hth 01:56:28 @tell hppavilion[1] nope 01:56:28 hppavilion[1] lets you know: haaaaaaaaaaaaaaaaaaaaaaaaaands 01:56:28 Consider it noted. 01:56:37 huh 01:56:38 [wiki] [[Special:Log/newusers]] create * Happa * New user account 01:59:05 oh, a new user! will it be a real person? 02:01:21 well they don't seem to be trying to edit 02:01:52 real or otherwise 02:01:55 'Happa'... 02:01:57 * hppavilion[1] is suspicious 02:02:03 @massages-lud 02:02:03 oerjan said 5m 35s ago: nope 02:02:08 @tell oerjan OK 02:02:08 Consider it noted. 02:02:17 @messages- 02:02:17 hppavilion[1] said 8s ago: OK 02:02:18 happavalion[1]? 02:02:25 http://www.xkcd.com/1296/ 02:02:43 boily: Some people I've known IRL have pronounced hppavilion1 as 'hap pavilion one' 02:03:00 Clearly, the 1 makes an [i] sound, first of all 02:04:22 -!- Zoroaster has joined. 02:05:56 ...wait, how is it even possible to go without the axiom of choice? 02:06:20 "[AC is] equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty." 02:06:21 -!- carado has quit (Ping timeout: 244 seconds). 02:07:39 Last time I checked, the cardinality of the union of a collection of nonempty sets is ≥ the cardinality of any of those sets. 02:08:02 so? 02:08:18 -!- Caesura has quit (Ping timeout: 264 seconds). 02:08:31 If you take the Cartesian product of a collection of sets and empty the tuples into a set, I'm pretty sure you get their union 02:09:16 that's equivalent to the axiom of choice hth 02:09:21 (that is, {('a', 1), ('a', 2), ('a', 3), ('b', 1), ('b', 2), ('b', 3)} -> {'a', 1, 'b', 2, 3}) 02:09:40 oerjan: Yeah, but I don't see any way you can argue with it 02:10:02