←2016-10-11 2016-10-12 2016-10-13→ ↑2016 ↑all
00:01:08 <hppavilion[1]> shachaf: x/0 = inf, inf*0 = ℕ/ℤ/ℚ/ℝ/whatever
00:01:27 <shachaf> No?
00:01:34 <hppavilion[1]> shachaf: Correct
00:01:41 <shachaf> I don't get it.
00:02:03 <shachaf> Anyway, there are algebraic structures that involve adding an infinity element. You can extend the reals with +infinity and then get a min/plus ring.
00:02:05 <hppavilion[1]> Operation proposal: a+b = 1/((1/a):(1/b))
00:02:06 <shachaf> Or semiring?
00:03:41 <shachaf> It's the case that 1/(a+b) = 1/a : 1/b
00:03:51 <shachaf> And also 1/(a:b) = 1/a + 1/b
00:04:04 <shachaf> But you have to figure out how to define : first.
00:04:23 <hppavilion[1]> Yes, but I need a primitive operation like S(x) = x+1
00:05:33 <shachaf> I don't know why you want a successor in particular, but sure.
00:06:23 <hppavilion[1]> (Also, point of order, ⊕ is a much nicer symbol for this than either a:b or a||b)
00:06:52 <shachaf> @let a ? b = 1/(1/a + 1/b)
00:06:54 <lambdabot> Defined.
00:07:07 <shachaf> It's a symbol that already means something.
00:07:16 <shachaf> > 0 ? 1
00:07:18 <lambdabot> 0.0
00:07:29 <shachaf> oops
00:07:39 <shachaf> Right, you only want the positive reals.
00:07:47 <shachaf> > 1 ? 1
00:07:49 <lambdabot> 0.5
00:07:56 <shachaf> @undefine
00:07:56 <lambdabot> Undefined.
00:08:17 <shachaf> @let (?) :: Rational -> Rational -> Rational; a ? b = 1/(1/a + 1/b)
00:08:18 <lambdabot> Defined.
00:08:23 <shachaf> > 1 ? 1
00:08:25 <lambdabot> 1 % 2
00:08:35 -!- Cale has joined.
00:08:37 <shachaf> > iterate (?1) 1
00:08:39 <lambdabot> [1 % 1,1 % 2,1 % 3,1 % 4,1 % 5,1 % 6,1 % 7,1 % 8,1 % 9,1 % 10,1 % 11,1 % 12,...
00:08:53 <shachaf> > 0.5 ? 0.5
00:08:55 <lambdabot> 1 % 4
00:09:02 <shachaf> Er, right.
00:09:11 <shachaf> How do you make a number greater than 1?
00:09:18 <hppavilion[1]> shachaf: '4'
00:09:43 <hppavilion[1]> Use the other digits and/or more columns. hth.
00:09:54 <hppavilion[1]> (Just don't use '0' or put a '-' at the beginning)
00:10:35 <shachaf> Maybe you just don't.
00:10:36 -!- PinealGlandOptic has quit (Quit: leaving).
00:11:23 <shachaf> The panaturals, obtained from 1 and (?1), are isomorphic to the naturals, obtained from 1 and (+1)?
00:11:35 <hppavilion[1]> shachaf: Wait, how could it be hard? you're adding two reciprocals and taking their reciprocal
00:11:39 <hppavilion[1]> > 3 ? 5
00:11:41 <lambdabot> 15 % 8
00:12:01 <shachaf> I'm talking about constructing the numbers starting from this operation.
00:12:04 <hppavilion[1]> Oh
00:12:52 <hppavilion[1]> OOOOH I see
00:13:08 <hppavilion[1]> You probably need some other constant?
00:13:15 <hppavilion[1]> Let's try...
00:13:21 <hppavilion[1]> > iterate (?(-1)) 1
00:13:23 <lambdabot> [1 % 1,*Exception: Ratio has zero denominator
00:13:31 <hppavilion[1]> No, that doesn't work...
00:13:49 <hppavilion[1]> > iterate (?(-1)) 2
00:13:51 <lambdabot> [2 % 1,(-2) % 1,(-2) % 3,(-2) % 5,(-2) % 7,(-2) % 9,(-2) % 11,(-2) % 13,(-2)...
00:14:44 <shachaf> The sum of two natural numbers is always >= the two numbers.
00:14:50 <hppavilion[1]> Yes
00:14:51 <shachaf> Is the opposum always <=?
00:14:55 <hppavilion[1]> And the (+) is <=
00:14:59 <hppavilion[1]> shachaf: Correct, AFAICT
00:15:16 <hppavilion[1]> shachaf: So maybe you need infinitely-large numbers for it to work nicely?
00:15:28 <shachaf> It seems fine.
00:15:28 * hppavilion[1] . o O ( Natural infinities... mmm... )
00:17:05 <shachaf> OK, so like Peano numbers or something, you can start with S (for the Singular value 1), and an operation Z (the Zuccessor)
00:17:15 <shachaf> So you have S, ZS, Z(ZS), etc.
00:17:17 <quintopia> oerjan: actually it doesnt. usps hands parcels to postes canada through a portal.
00:17:36 <hppavilion[1]> Z is a fun name :D
00:17:39 <quintopia> the same portal ghe internet wires run through
00:18:17 <Cale> shachaf: *eye twitch*
00:18:34 <Cale> haha
00:19:12 <shachaf> Cale: The idea is to figure out how parallel sum works.
00:19:24 <shachaf> a?b = 1/(1/a+1/b)
00:19:44 <quintopia> harmonic sums eh
00:22:49 <fizzie> Z is for the zomplex type.
00:25:09 <quintopia> S is for the Simplex type
00:26:41 <quintopia> what are a?b=c?d s.t. a!=c or d and b!=c or d?
00:30:45 <oerjan> <quintopia> oerjan: actually it doesnt. usps hands parcels to postes canada through a portal. <-- sensible.
00:32:24 <oerjan> shachaf: it's pretty obvious that \x -> 1/x is an isomorphism between the positive reals with + and the positive reals with parallel sum.
00:32:54 <quintopia> eh?
00:33:10 <shachaf> oerjan: Yes.
00:33:26 <oerjan> so everything works the same, just with values pre-1/ed
00:33:49 <shachaf> So how do we know we aren't in a parallel universe, where what we think is + is really :?
00:33:52 <quintopia> 2+3=5, 2?3=6/5
00:34:21 <hppavilion[1]> sum/coproduct: a+b; product/cosum: a*b, a×b, or ab; harmonic sum/harmonic coproduct: a⊕b = 1/((1/a)+(1/b)); harmonic product/harmonic cosum: a⊗b = 1-(1-a)*(1-b) [note: what exactly it is when a or b is outside the <0 -> 1> interval is unclear; presumably take the reciprocal of those and transform the output (e.g. one reciprocal means reciprocal output, two reciprocals means reciprocal-square-output or something)]
00:36:04 -!- carado has quit (Ping timeout: 260 seconds).
00:36:33 <hppavilion[1]> shachaf: Alternate universe is relative hth
00:36:43 <hppavilion[1]> (as is parallel universe)
00:36:58 -!- moonythedwarf_ has joined.
00:37:08 <hppavilion[1]> shachaf: Also, wouldn't that put us in the serial universe? Presumably parallel sum is used in the parallel universe.
00:37:30 <hppavilion[1]> helloony
00:37:50 -!- moony has quit (Ping timeout: 250 seconds).
00:38:06 <quintopia> regular sum is used in regular universe
00:38:16 <hppavilion[1]> quintopia: AKA serial sum
00:38:38 <quintopia> why call it that?
00:38:44 <hppavilion[1]> quintopia: Not sure, but it is
00:38:51 <quintopia> it can be done in parallel...
00:39:47 <hppavilion[1]> (Maybe it has summed 3 or more times for psychological gratification, taking place over a period more than a month with a significant break?)
00:39:56 <oerjan> a serial universe is obviously one that comes before or after ours in time
00:40:17 <shachaf> This is like the choice of i vs. -i
00:40:47 <hppavilion[1]> shachaf: Is -i a big deal?
00:40:53 -!- DHeadshot has quit (Ping timeout: 248 seconds).
00:40:57 <shachaf> Well, you can't distinguish i from -i
00:40:59 <hppavilion[1]> Ah
00:41:06 <shachaf> Both i^2 and (-i)^2 are -1
00:41:18 <shachaf> And you "define" i just by saying that i^2 = -1
00:41:19 <hppavilion[1]> Right, there's no difference in the properties of i and -i, but their sum isn't the same as twice either one
00:41:30 <shachaf> Oh, they're certainly not equal.
00:41:34 <hppavilion[1]> ⁂ i = -i
00:41:34 <shachaf> But you have to pick one arbitrarily.
00:41:40 <hppavilion[1]> :P
00:41:51 <hppavilion[1]> (⁂ used for want of 'therefor sign' on my keyboard)
00:41:52 <oerjan> `unidecode ⁂
00:41:53 <HackEgo> ​[U+2042 ASTERISM]
00:42:05 * boily 깻잎장아찌-ly pokes lifthrasiir
00:43:39 <hppavilion[1]> boily: Sesame Pickle-ly?
00:44:15 <oerjan> <jeffl35> they *fixed it* :( <-- *MWAHAHAHA*
00:44:32 <hppavilion[1]> Matrix harmonic sum is obviously based on inverse matrices
00:44:44 <hppavilion[1]> But what about matrix harmonic product? What's 1-<a matrix>
00:44:52 <hppavilion[1]> Is 1 the identity matrix?
00:45:07 <hppavilion[1]> Oh, gtg
00:45:50 <boily> hppavilion[1]: it's a common mistranslation. it's pickled perilla leaves ^^
00:46:22 <oerjan> `cat bin/?
00:46:23 <HackEgo> ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed "s/noo\+dl/nooodl/;s/ *$//;s,\(\(..\?\)\?/\)*,,") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "_$topic1"_ = "_ngevd"_ \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then cat
00:47:26 <jeffl35> lol
00:48:16 <oerjan> wait did i mess that up
00:48:23 <oerjan> `? hmmm
00:48:24 <HackEgo> hmmm? ¯\(°​_o)/¯
00:48:31 <oerjan> `? ¯\(°​_o)/¯
00:48:32 <HackEgo> ​¯\(°​_o)/¯ is a misspelling of ¯\(°_o)/¯
00:48:42 <oerjan> nope, /s still work
00:48:42 -!- moonythedwarf_ has quit (Quit: See ya later, [INSERT_NAME_HERE]).
00:49:51 -!- hppavilion[1] has quit (Ping timeout: 268 seconds).
00:50:09 <oerjan> how can it, though...
00:50:25 -!- moony has joined.
00:50:44 <oerjan> `culprits bin/?
00:50:46 <HackEgo> oerjan oerjan oerjan fizzie jeffl35 oerjan oerjan tswett tswett oerjan elliott shachaf oerjan oerjan oerjan oerjan nooodl Roujo nooodl__ shachaf oerjan ais523 ais523 oerjan Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet Jafet oerjan oerjan oerjan oer
00:51:23 <jeffl35> lol
00:52:34 <oerjan> `? /oerjan
00:52:36 <HackEgo> Your mysterious weevil bulgarian quack octoberlord oerjan is a lazy expert in suture computation. Also a Pre-recombination Glaswegian who mildly dislikes Roald Dahl and passion fruit. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
00:52:45 <oerjan> `? oerjan/
00:52:46 <HackEgo> oerjan/? ¯\(°​_o)/¯
00:53:24 <oerjan> oh i see
00:53:42 <oerjan> one thinko cancels another :P
00:54:03 -!- MoonyTheDwarf has joined.
00:54:03 -!- MoonyTheDwarf has quit (Changing host).
00:54:03 -!- MoonyTheDwarf has joined.
00:54:25 <oerjan> jeffl35: i did it somewhat buggily, so there's a loophole in it hth
00:54:45 <jeffl35> lol
00:54:48 <jeffl35> ok
00:57:52 -!- moony has quit (Ping timeout: 268 seconds).
00:59:49 <oerjan> `ls tmp
00:59:50 <HackEgo> 1padfile \ ${$1}padfile \ aaaaa \ args \ at \ foo \ fruit \ linetest \ sh \ spline \ spout \ tempcmd \ testcmd \ tmp_jonas \ wdiff \ wegians
01:00:04 <oerjan> `ls tmp/wegians
01:00:06 <HackEgo> tmp/wegians
01:00:21 <oerjan> `` rgrep wegians bin/
01:00:25 <HackEgo> No output.
01:00:32 <oerjan> `rm tmp/wegians
01:00:33 <HackEgo> No output.
01:00:40 <boily> `? wegian
01:00:42 <HackEgo> A wegian is an equivalence class of #esoteric regulars. There are two main wegians, the Nor (from Finland) and the Glas (from Hexham).
01:01:02 <oerjan> `file tmp/sh
01:01:03 <HackEgo> tmp/sh: a /hackenv/tmp/args a b script, ASCII text executable
01:01:12 <oerjan> `cat tmp/sh
01:01:13 <HackEgo> ​#!/hackenv/tmp/args a b
01:01:29 <oerjan> `file tmp/args
01:01:31 <HackEgo> tmp/args: Bourne-Again shell script, ASCII text executable
01:01:36 <oerjan> `cat tmp/args
01:01:38 <HackEgo> ​#!/bin/bash \ for a in "$@"; do echo -n "[$a]"; done
01:01:54 <shachaf> I don't remember why tmp/args existed.
01:01:57 <shachaf> But it was a good reason.
01:02:04 <oerjan> `` ls -l tmp/args
01:02:05 <HackEgo> ​-rwxrwxrwx 1 5000 0 51 Jul 5 01:26 tmp/args
01:02:06 <shachaf> too bad we can't look at the hg history and find out
01:02:10 <shachaf> curses
01:02:18 <oerjan> sad trombone
01:02:34 <oerjan> tmp/ has its bad sides.
01:03:29 <oerjan> `tmp/sh
01:03:30 <HackEgo> ​[a b][/hackenv/tmp/sh]
01:03:42 <shachaf> Oh, right.
01:03:44 <oerjan> `tmp/sh hm
01:03:44 <shachaf> Now I remember.
01:03:45 <HackEgo> ​[a b][/hackenv/tmp/sh][hm]
01:05:20 <oerjan> `cat tmp/1padfile
01:05:22 <HackEgo> test \ test\n \ test\n \ test
01:05:37 <oerjan> `cat tmp/${$1}padfile
01:05:38 <HackEgo> test
01:05:51 <oerjan> `` rm tmp/*padfile
01:05:52 <HackEgo> No output.
01:06:11 <oerjan> `cat tmp/aaaaa
01:06:12 <HackEgo> ​[1m[31mA[33mA[32mA[36mA[34mA[35m
01:06:16 <oerjan> `rm tmp/aaaaa
01:06:18 <HackEgo> No output.
01:06:33 <boily> `wisdom
01:06:34 <HackEgo> huh//huh is ¯\(°​_o)/¯
01:07:23 <oerjan> `cat tmp/b_jonas
01:07:24 <HackEgo> cat: tmp/b_jonas: No such file or directory
01:07:34 <oerjan> `cat tmp/tmp_jonas
01:07:35 <HackEgo> i=0; find wisdom -type f | shuf | while read F; do i=$((i+1)); if hoag "$F" | grep -q b_jonas; then echo -n "$i:${F#wisdom/}//"; cat "$F"; break; fi; done | rnooodl
01:07:49 <oerjan> `` ls -l tmp/tmp_jonas
01:07:50 <HackEgo> ​-rwxrwxrwx 1 5000 0 165 Jun 17 09:26 tmp/tmp_jonas
01:08:30 <oerjan> `rm tmp/tmp_jonas
01:08:31 <HackEgo> No output.
01:09:10 <oerjan> `` ls -l tmp/tempcmd
01:09:11 <HackEgo> ​-rwxrwxrwx 1 5000 0 14 May 25 17:55 tmp/tempcmd
01:09:16 <shachaf> are you really cleaning up tmp/
01:09:20 <oerjan> `cat tmp/tempcmd
01:09:22 <HackEgo> testt \n test
01:09:23 <shachaf> why don't you just rm -r tmp/
01:09:28 <oerjan> `rm tmp/tempcmd
01:09:29 <HackEgo> No output.
01:09:34 <shachaf> i would do it but there would be no revert
01:11:07 -!- Guest17008 has quit (Remote host closed the connection).
01:11:45 <oerjan> `cat tmp/testcmd
01:11:46 <HackEgo> No output.
01:12:45 <oerjan> `ls tmp/wdiff
01:12:46 <HackEgo> wdiff-1.2.2 \ wdiff-latest.tar.gz
01:14:45 <oerjan> gah network lag
01:15:00 <shachaf> `` rm -r tmp/wdiff # hth
01:15:01 <HackEgo> No output.
01:15:51 <oerjan> `rm -r tmp/*
01:15:52 <HackEgo> rm: invalid option -- ' ' \ Try `rm --help' for more information.
01:16:06 <shachaf> whoa whoa whoa
01:16:14 <oerjan> `` rm -r tmp/*
01:16:15 <shachaf> let's not be hasty twh
01:16:15 <HackEgo> No output.
01:16:20 <shachaf> too late
01:16:22 <oerjan> feels so good
01:16:26 -!- Froox has joined.
01:16:28 <shachaf> `touch -r *
01:16:29 <HackEgo> touch: failed to get attributes of ` *': No such file or directory
01:16:37 <shachaf> hm
01:16:43 <shachaf> `` touch -- '-r *'
01:16:46 <HackEgo> No output.
01:18:27 <oerjan> i think "tmp" can be deleted at any time no one is actively using it is the simplest policy to keep.
01:18:36 <oerjan> er, *-" *+"
01:18:37 -!- Frooxius has quit (Ping timeout: 240 seconds).
01:18:57 <oerjan> `? tmp
01:18:58 <HackEgo> tmp? ¯\(°​_o)/¯
01:19:11 <shachaf> oerjan: what sort of garden path sentence is that
01:19:26 <shachaf> i can't make heads or tails of it
01:19:26 <shachaf> oh
01:19:26 <oerjan> shachaf: move the second " hth
01:19:27 <shachaf> i see
01:19:45 <shachaf> I think keeping tmp/ around is good.
01:19:55 <shachaf> spam and so on use it, for instance
01:20:02 <oerjan> yes, the directory itself
01:20:07 <oerjan> but not its contents
01:20:28 <shachaf> Oh, tmp/*
01:20:36 <shachaf> Sure, that's fine, I don't care.
01:20:43 <shachaf> It's kind of rude to delete it too frequently, though.
01:24:22 -!- xfix has quit (Write error: Connection reset by peer).
01:25:56 -!- xfix has joined.
01:35:09 -!- Frooxius has joined.
01:35:37 -!- Frooxius has quit (Read error: Connection reset by peer).
01:36:16 -!- Froox has quit (Ping timeout: 260 seconds).
01:39:04 -!- Tiktailk has quit (Ping timeout: 240 seconds).
01:39:46 -!- Tiktalik has joined.
01:41:22 -!- hppavilion[1] has joined.
01:48:22 <boily> `wisdom
01:48:24 <HackEgo> guarantee//HackEgo is guaranteed merchantable.
01:48:25 <hppavilion[1]> `? Γ
01:48:26 <HackEgo> ​Γ? ¯\(°​_o)/¯
01:48:33 <hppavilion[1]> `? ſ
01:48:34 <HackEgo> ​ſ? ¯\(°​_o)/¯
01:49:29 <hppavilion[1]> maybe <<`le/rn Γ/Γ is the magiscule of ſ ("long s").>>?
01:50:08 <hppavilion[1]> (By analogy to f/F)
01:58:34 <boily> well, f is a small digamma.
01:58:35 -!- Akaibu_ has joined.
01:58:57 -!- Akaibu has quit (Ping timeout: 240 seconds).
01:58:57 -!- Akaibu_ has changed nick to Akaibu.
02:06:19 -!- hppavilion[1] has quit (Ping timeout: 268 seconds).
02:13:13 -!- moon__ has joined.
02:13:13 -!- MoonyTheDwarf has quit (Read error: Connection reset by peer).
02:22:27 <pikhq> And i is ı with a combining dot.
02:23:49 -!- moon__ has quit (Ping timeout: 248 seconds).
02:51:48 -!- boily has quit (Quit: LETTER CHICKEN).
03:04:44 -!- augur has quit (Remote host closed the connection).
03:12:36 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:38:14 <shachaf> pikhq: "i am ı with a combining dot" hth
03:38:33 <pikhq> Thx
03:39:58 <lifthrasiir> you all are wrong, "I am a longer ı" hth
03:41:37 -!- augur has joined.
03:42:04 <shachaf> as polyphemus said: "ı am being attacked by nobody"
04:41:07 -!- augur has quit (Remote host closed the connection).
04:41:44 -!- augur has joined.
04:46:40 -!- augur has quit (Ping timeout: 260 seconds).
04:49:17 -!- hppavilion[1] has joined.
04:53:32 -!- augur has joined.
05:03:03 -!- otherbot has quit (Remote host closed the connection).
05:05:55 -!- otherbot has joined.
05:07:30 <myname> https://t.co/cwXGIgMDNc javascript
05:08:17 <shachaf> url shorteners #scow
05:08:27 <shachaf> you should be polite and unshorten it twh
05:08:54 <myname> t.co os obviosly some tweet
05:10:06 <shachaf> No, t.co is Twitter's URL shortener. It could be anything.
05:11:22 <hppavilion[1]> Apparently wizarding money has three coins
05:12:13 <hppavilion[1]> Galleon (USD ~7.34), Sickle (17 to a Galleon), and Knut (29 to a Sickle) ([kn∧t])
05:12:17 <hppavilion[1]> This makes me cry
05:12:21 <hppavilion[1]> For many reasons
05:14:21 <myname> i know a certain country with crazy units for measurement of distances
05:14:32 <hppavilion[1]> myname: Burma!
05:14:35 <myname> with feet, miles and inches
05:14:41 <hppavilion[1]> myname: Yes
05:14:46 <myname> it's like totally crazy
05:14:48 <hppavilion[1]> But at least 5280 isn't prime or something
05:14:53 <myname> who would ever do that shit
05:15:01 <shachaf> a pint's a pound the world around
05:15:04 <shachaf> except in the uk
05:15:07 <shachaf> and also in the us
05:15:09 <hppavilion[1]> (I would prefer if it was 5040... I wonder if that was the classical definition...)
05:15:12 <shachaf> actually a pint is nowhere a pound
05:15:21 <myname> what's the problem with it being prime?
05:15:23 <hppavilion[1]> shachaf: Pint is volume
05:15:34 <hppavilion[1]> myname: Because then you can't say 1/3 galleon or something
05:15:45 <myname> so what?
05:15:47 <hppavilion[1]> You can't divide it up into smaller amounts and just easily math it
05:15:47 <shachaf> i know what a pint is hth
05:15:56 <shachaf> https://en.wikipedia.org/wiki/Pint#Equivalence hth
05:16:31 <myname> you say x sickle instead of 1/x^-1tg galleon, no problem with that
05:16:50 <shachaf> how many sickles to a hammer
05:17:01 <myname> on a scale of 17 or 29, there is really no need for fractions
05:17:54 <hppavilion[1]> myname: Also, this makes a knut ~0.002 galleons...
05:18:09 <myname> so?
05:18:40 <myname> how many miles are an inch?
05:19:01 <hppavilion[1]> myname: This makes a knut worth, what, USD 0.014
05:19:13 -!- pikhq has quit (Ping timeout: 260 seconds).
05:19:16 <shachaf> Why is a gallon worth 7.34 USD?
05:19:29 <hppavilion[1]> shachaf: Because J. K. Rowling said so
05:19:30 <hppavilion[1]> iirc
05:19:38 <shachaf> Presumably the exchange rate has suffered.
05:19:38 <myname> what's the problem with that?
05:19:49 <hppavilion[1]> I mean, sure, but if you're already minimizing coins (why only have 3 if you aren't minimizing?), what's the NEED for a knut?
05:19:56 <hppavilion[1]> (Yes, I know, pennies)
05:20:01 <hppavilion[1]> (But those are terrible too)
05:20:03 <myname> you know how many USD a yen are?
05:20:09 <hppavilion[1]> myname: Nope
05:20:20 <myname> look it up
05:21:05 -!- pikhq has joined.
05:21:16 -!- oerjan has quit (Quit: Nite).
05:21:40 <hppavilion[1]> It's just annoying that you can't evenly divide any of the coins...
05:21:47 <myname> also, iirc that 17 was some kind of error on rowlings part
05:21:54 <myname> it was supposed to be 16
05:21:59 <hppavilion[1]> Oh?
05:22:01 <hppavilion[1]> Oh.
05:22:26 <shachaf> By the way, the PDF points out that if you use parallel sum, you also want to use roots instead of exponents.
05:22:31 <myname> but somewhere she accidentally said something like 9 galleon and 16 sickle
05:22:40 <shachaf> To get identity similar to x^(a+b) = x^a x^b
05:22:42 <shachaf> an
05:22:46 <myname> which would have been 10 galleon
05:22:58 <myname> to not change that, she just changed the exchange rate
05:23:50 <shachaf> Wasn't the exchange rate defined in the first book?
05:24:01 <hppavilion[1]> Probably?
05:24:17 <myname> rowling really is not that good in making consistent fantasy worlde
05:31:38 -!- pikhq has quit (Ping timeout: 250 seconds).
05:32:16 -!- Frooxius has joined.
05:33:39 -!- pikhq has joined.
05:39:45 <myname> hppavilion[1]: there is a german video podcast on youtube where that was mentioned iirc
05:41:07 <myname> like, there is no 9 3/4 in king's cross
05:41:16 <myname> like, there is no wall
05:41:32 <myname> the wall from the movie is between 4 and 5
06:00:13 <hppavilion[1]> Oh! I can just call <0 -> 1> ðe unit interval!
06:00:20 <hppavilion[1]> This makes everything so much easier!
06:00:55 -!- pecan has changed nick to so5ho.
06:01:01 -!- so5ho has changed nick to pecan.
06:01:29 <myname> did you mean: the
06:01:38 <hppavilion[1]> myname: I did mean: the
06:01:56 <hppavilion[1]> (I was talking to a friend in ERA and forgot to switch for a second)
06:15:41 -!- Cale has quit (Remote host closed the connection).
06:20:13 -!- `^_^v has joined.
06:35:46 * hppavilion[1] . o O ( A number is a perfect kth power if the multiplicities of its factor-bag are all divisible by k. )
06:35:46 -!- MDead has joined.
06:36:43 * hppavilion[1] . o O ( A perfect jth power is also a perfect kth power, where k \divides j )
06:36:43 -!- HackEgo has quit (Remote host closed the connection).
06:36:46 <hppavilion[1]> WAT
06:36:58 <hppavilion[1]> HACKEGNOOOOOOOOOOOOOOOOOOOOOOOOO
06:37:24 -!- HackEgo has joined.
06:38:28 <hppavilion[1]> HACKEGYEEEEEEEEEEEEEEEEEEEEEEEEEEEEEES
06:38:40 -!- MDude has quit (Ping timeout: 260 seconds).
06:38:42 -!- MDead has changed nick to MDude.
06:39:40 <myname> dude, what's wrong
06:39:55 <hppavilion[1]> myname: Me? Hackego lost connection.
06:40:09 <hppavilion[1]> That's usually not a good thing
06:40:22 <myname> so what
06:40:50 <hppavilion[1]> myname: We have to mourn HackEgo when hacke disconnects.
06:40:58 <hppavilion[1]> We must honor hackis memory.
06:41:21 <myname> no
06:41:46 <hppavilion[1]> myname: HackEgo usually doesn't disconnect afaict. It's a big deal when e does.
06:46:07 <hppavilion[1]> I went out to eat today
06:46:53 <hppavilion[1]> And 2pi radians with Anderson Cooper was playing on the TV
06:46:55 <hppavilion[1]> (http://instantrimshot.com/)
07:08:05 -!- `^_^v has quit (Quit: This computer has gone to sleep).
07:37:29 -!- augur has quit (Remote host closed the connection).
07:48:47 <hppavilion[1]> There wouldn't happen to be a value k s.t. k^(k^x) = x, would there?
07:48:55 <hppavilion[1]> I'm pretty sure that's impossible, but not 100% certain
07:49:29 -!- `^_^v has joined.
07:54:19 <hppavilion[1]> https://en.wikipedia.org/wiki/List_of_pastries
07:54:24 <hppavilion[1]> (angelic stock sound)
08:02:12 -!- imode has quit (Ping timeout: 260 seconds).
08:03:44 -!- pikhq has quit (Ping timeout: 250 seconds).
08:03:45 <hppavilion[1]> You know what's fun? Non sequitur
08:03:47 <hppavilion[1]> *-s
08:05:37 -!- pikhq has joined.
08:14:23 -!- otherbot has quit (Remote host closed the connection).
08:19:59 -!- augur has joined.
08:32:18 <hppavilion[1]> fñord
08:34:12 <hppavilion[1]> (Presumably a fnordic fjord?)
08:34:28 <hppavilion[1]> Fnorway, Fnorse, Fnorwegian...
08:35:07 <hppavilion[1]> fungot: fñord
08:35:07 <fungot> hppavilion[1]: so much for graphics cards, modems, and the question i am interested
08:35:15 -!- hppavilion[1] has quit (Quit: Leaving).
08:35:42 -!- carado has joined.
08:57:57 -!- `^_^v has quit (Ping timeout: 240 seconds).
08:59:54 -!- AnotherTest has joined.
09:02:34 -!- `^_^v has joined.
09:04:12 -!- augur has quit (Read error: Connection timed out).
09:07:36 -!- augur has joined.
09:37:52 -!- Froox has joined.
09:40:44 -!- Frooxius has quit (Ping timeout: 260 seconds).
09:45:07 -!- Froox has quit (Quit: *bubbles away*).
09:45:29 -!- Frooxius has joined.
09:48:04 -!- augur has quit (Read error: Connection reset by peer).
09:49:38 -!- augur has joined.
10:15:30 -!- DeadPerson has changed nick to PocketKiller[rip.
10:15:43 -!- PocketKiller[rip has changed nick to PocketKiller-rip.
10:17:09 -!- gniourf has quit (Quit: Leaving).
10:20:54 -!- gniourf has joined.
11:02:41 -!- `^_^v has quit (Ping timeout: 260 seconds).
11:04:08 -!- `^_^v has joined.
11:13:42 -!- Froox has joined.
11:16:08 -!- Frooxius has quit (Ping timeout: 250 seconds).
11:33:58 -!- boily has joined.
11:39:40 <boily> `wisdom
11:39:47 <HackEgo> qzyzzalroum//You should start the crossword over.
11:41:40 -!- `^_^v has quit (Ping timeout: 268 seconds).
11:50:13 -!- `^_^v has joined.
11:51:14 -!- Froox has quit (Quit: *bubbles away*).
11:51:35 -!- Frooxius has joined.
11:51:54 <boily> `wisdom
11:51:55 <HackEgo> kinder surprise//Kinder Surprise is an addictive drug marketed for children so dangerous it's banned at the federal level.
11:51:55 <boily> `wisdom
11:51:56 <HackEgo> wfraatw//A WFRAATW is a well-founded recursive acronym akin to "WFRAATW".
11:51:57 <boily> `wisdom
11:51:58 <HackEgo> footnote 8//Isn't it fun reading through all the footnotes?
11:52:24 <boily> `` ls wisdom/foot*
11:52:26 <HackEgo> wisdom/footnote 1 \ wisdom/footnote 8
11:52:39 <boily> `? footnote 1
11:52:40 <HackEgo> May contain nuts.
11:53:20 <boily> `` sed -i 's/\./⁸./' wisdom/footnote\ 1
11:53:23 <HackEgo> No output.
11:54:02 <boily> `` sed -i 's/\?/⁺?/' wisdom/footnote\ 8
11:54:05 <HackEgo> No output.
12:10:20 <boily> `wisdom
12:10:21 <HackEgo> false//false is a very old stack-based language. For an authentic experience, run it on an Amiga. It's also not true.
12:10:26 <boily> `wisdom
12:10:27 <HackEgo> wumpus//Wumpus the Hunted is an early 70s action game in which the Wumpus is trapped in a dodecahedral labyrinth where it's chased by bats. It has to avoid traps and evade magical arrows that are guided by a nefarious AI.
12:10:40 <boily> `wisdom
12:10:41 <boily> `wisdom
12:10:41 <HackEgo> pouti//Pouti is boily's brother. he's also Canadian, and he closes the Roujo pointer loop.
12:10:42 <HackEgo> superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal//Superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal is where mroman lives.
12:11:19 <boily> there's a suspicious lack of diæresises in mroman's whereabouts...
12:11:47 <boily> `` sed -i 's/\. h/. H/' wisdom/pouti
12:11:50 <HackEgo> No output.
12:11:53 <boily> `wisdom
12:11:54 <HackEgo> ​¯\_(ツ)_/¯//¯\_(ツ)_/¯ is the ¯\(°​_o)/¯ of urbandictionary
12:12:11 <boily> `wisdom
12:12:12 <HackEgo> bardsworthlist//bardsworthlist is update notification for the Bardsworth webcomic. http://www.bardsworth.com/
12:15:32 <boily> `wisdom
12:15:33 <HackEgo> forth//Since Biblical times, Forth has been the go-to language for multiplication.
12:15:40 <boily> `wisdom
12:15:42 <HackEgo> québec//Attache ta tuque avec d'la broche; y fait frette icitte!
12:16:46 <boily> . o O ( mets en qu'on se les gèle... )
12:17:05 <boily> `wisdom
12:17:07 <HackEgo> catamorphism//A catamorphism is when you recurse too greedily and too deep.
12:18:44 <b_jonas> hehe
12:18:49 <b_jonas> I don't remember some of those
12:19:13 <b_jonas> shouldn't the québec one mention québec somewhere in the content too?
12:20:09 <b_jonas> I don't recall the forth one either, though it might be old
12:20:20 <b_jonas> ok, I'll take my chance too
12:20:22 <b_jonas> `wisdom
12:20:23 <HackEgo> font//#esoteric bitmap fonts include: \oren\'s font http://www.orenwatson.be/fontdemo.htm , lifthrasiir's font https://github.com/lifthrasiir/unison/ https://lifthrasiir.github.io/unison/sample.png , b_jonas's font http://www.math.bme.hu/~ambrus/pu/fecupboard20-c.pcf.gz
12:20:34 <b_jonas> `wisdom
12:20:36 <HackEgo> lexer//lexer is a maximally Norwegian painter. Its squares are munched with chili sauce.
12:20:49 <b_jonas> what?
12:21:03 <boily> that one's mine :D
12:22:56 <boily> `wisdom
12:22:57 <HackEgo> internationale//You have been reported to the House Un-American Activities Committee.
12:28:37 -!- heroux has quit (Ping timeout: 248 seconds).
12:28:52 -!- boily has quit (Quit: LOOKING CHICKEN).
12:42:29 -!- Froox has joined.
12:45:00 -!- Frooxius has quit (Ping timeout: 260 seconds).
12:52:40 -!- heroux has joined.
12:54:10 -!- PinealGlandOptic has joined.
13:36:59 -!- carado has quit (Ping timeout: 268 seconds).
13:37:26 -!- Phantom_Hoover has joined.
13:37:38 -!- Phantom_Hoover has quit (Changing host).
13:37:38 -!- Phantom_Hoover has joined.
13:38:03 -!- carado has joined.
14:05:16 -!- PinealGlandOptic has quit (Ping timeout: 265 seconds).
14:05:56 -!- `^_^v has quit (Quit: This computer has gone to sleep).
14:35:03 -!- lleu has joined.
14:35:03 -!- lleu has quit (Changing host).
14:35:03 -!- lleu has joined.
14:44:51 -!- `^_^v has joined.
14:55:24 -!- `^_^v has quit (Ping timeout: 250 seconds).
14:57:47 -!- `^_^v has joined.
15:03:27 -!- Cale has joined.
15:39:14 -!- Sgeo__ has joined.
15:41:28 -!- Sgeo_ has quit (Ping timeout: 260 seconds).
16:18:01 -!- oerjan has joined.
16:36:05 -!- `^_^v has quit (Ping timeout: 248 seconds).
16:38:19 <\oren\> jesus christ the guy running the unifont project is a dick
16:38:28 <\oren\> "the Unifont package comes with its own wcwidth function that covers all glyphs that are part of Unifont in the Basic Multilingual Plane and in the Supplemental Multilingual Plane."
16:39:16 <\oren\> He's seriously asking everyone from nano to xterm to irssi to recompile their software linking to his own wcwidth function for his individual font
16:39:40 <\oren\> what a dick
16:40:33 <alercah> dafuq
16:40:42 * oerjan bitches at the fact that what he'd like to bitch at would just get him laughed at because it's windows.
16:40:49 -!- `^_^v has joined.
16:41:39 <\oren\> oerjan: In my salvo back at that guy, I pointed out that even powershell adheres to the informal standard of using unicode's annex 11 data
16:43:03 <\oren\> as does putty
16:44:03 <oerjan> (basically, windows 10 just changed to make it even harder for people to schedule reboots safely)
16:44:32 <\oren\> oerjan: oh. yeah, I would just turn off my computer every night if I had windows 10
16:44:37 <oerjan> (you now can only give a time of day when you're usually busy)
16:44:56 <\oren\> or you could disable updates
16:44:59 <oerjan> \oren\: i _do_ turn off my computer whenever i leave for long.
16:45:33 <\oren\> when I had windows 8, I disabled all updates and simply ran them manually every few months
16:45:55 -!- otherbot has joined.
16:46:14 <oerjan> nonprofessional windows 10 doesn't allow disabling it, last i checked.
16:46:46 <\oren\> I also pointed out to the imbecile that "Terminal emulators typically have menu options to change fonts at will, without recompiling. And as for tmux, nano, and irssi, these should be able to act in a standard way without needing to be aware what font is in use."
16:47:05 <oerjan> windows 8 i had no problems with. it warned me a day in advance, when i turned on the computer.
16:47:59 <oerjan> with windows 10, i don't trust it to unexpectedly reboot if i'm spending too long in the bathroom...
16:48:02 <\oren\> oh. yeah I would get the professional verison
16:48:10 <\oren\> I always do
16:48:39 <oerjan> (admittedly, this may be colored by how it behaved just before the disk crash last autumn)
16:48:49 <oerjan> *it not to
16:48:55 <\oren\> also, you can kill windows update
16:49:00 <\oren\> using the taskmgr
16:49:26 <\oren\> but then, I always kill things first and ask questions later
16:50:02 <oerjan> afaict it's not currently running.
16:50:15 <\oren\> http://www.laptopmag.com/articles/stop-windows-automatic-reboots <-- I wonder if this guide is still valid
16:50:35 <\oren\> oerjan: it is always running
16:50:53 <oerjan> given that my most recent problem started just this time, i doubt any site is up to date.
16:50:55 <\oren\> unless you kill it and disable its scheduled run
16:52:22 <oerjan> \oren\: that site just describes what i had previously done tdnh
16:53:01 <oerjan> that option is now gone.
16:53:25 <\oren\> oerjan: try the registry edit
16:54:17 <oerjan> \oren\: that's only for windows 7 and 8
16:54:35 <\oren\> http://superuser.com/questions/957267/how-to-disable-automatic-reboots-in-windows-10 <-- try the task scheduler thing from this thread
16:54:58 <\oren\> http://superuser.com/questions/1110265/how-to-prevent-windows-10-from-restarting-the-computer-after-installing-updates/1125051#1125051
16:56:12 <oerjan> i'm pretty sure that all the options i looked for last year only worked for professional version hth
16:56:46 <\oren\> try the last link I posted.
16:57:04 <\oren\> do you know how to open the task scheduler?
17:00:00 <oerjan> no.
17:00:39 <oerjan> hm maybe i found it
17:06:26 -!- otherbot has quit (Remote host closed the connection).
17:08:15 <oerjan> well, that looked promising, let's see if it actually works :)
17:08:55 <oerjan> \oren\: thanks for helping
17:21:22 <\oren\> hopefully this good karma will result in the unifont guy pulling his head out of his ass
17:22:28 <oerjan> :P
17:22:40 <\oren\> XD
17:28:28 -!- otherbot has joined.
17:31:39 -!- otherbot has quit (Remote host closed the connection).
17:42:20 -!- MoALTz has joined.
17:48:49 <oerjan> @tell hppavilion[1] <hppavilion[1]> There wouldn't happen to be a value k s.t. k^(k^x) = x, would there? <-- then you get for all x,y: x+y = k^(k^(x+y)) = (k^k^x)^(k^y) = x^(k^y). thus k^y = 1 and y = k^(k^y) = k contradiction hth
17:48:49 <lambdabot> Consider it noted.
17:51:35 <oerjan> `? footnote 1
17:51:36 <HackEgo> May contain nuts⁸.
17:51:40 <oerjan> `? footnote 8
17:51:41 <HackEgo> Isn't it fun reading through all the footnotes⁺?
17:52:11 <oerjan> that's a bit scow in my font
17:52:58 <\oren\> https://www.youtube.com/watch?v=dVqqWUyDPzA
17:59:00 <oerjan> @tell boily <boily> there's a suspicious lack of diæresises in mroman's whereabouts... <-- surprisingly, i think the only peculiar thing is the specifically swiss spelling "Scheissegal", which narrowly avoids a ß hth
17:59:00 <lambdabot> Consider it noted.
18:00:37 <oerjan> @tell boily <boily> `` sed -i 's/\. h/. H/' wisdom/pouti <-- lern2slwd hth
18:00:38 <lambdabot> Consider it noted.
18:00:51 <oerjan> `? pouti
18:00:53 <HackEgo> Pouti is boily's brother. He's also Canadian, and he closes the Roujo pointer loop.
18:02:09 <oerjan> @tell boily (one of its advantages, shared by most wisdom/ commands, is that it tells you the result so you (and people watching) know if you messed up)
18:02:09 <lambdabot> Consider it noted.
18:02:50 -!- `^_^v has quit (Quit: This computer has gone to sleep).
18:11:37 <\oren\> http://www.unicode.org/mail-arch/unicode-ml/y2016-m10/0192.html This guy from the unicode mailing list is a master troll. I am in awe.
18:19:06 -!- zgrep has quit (Ping timeout: 258 seconds).
18:21:20 -!- zgrep has joined.
18:26:32 -!- hppavilion[1] has joined.
18:32:37 -!- otherbot has joined.
18:35:19 -!- Bowserinator has changed nick to Jeffool2.
18:36:36 -!- Jeffool2 has changed nick to Bowserinator.
18:49:02 -!- oerjan has quit (Quit: Latre).
18:52:45 -!- gamemanj has joined.
19:02:22 -!- izalove has quit (Quit: WeeChat 1.5).
19:03:01 -!- izabera has joined.
19:06:37 -!- DHeadshot has joined.
19:11:49 <hppavilion[1]> What's the opposite of Q.E.D.?
19:12:01 <hppavilion[1]> For when you negate the original proposition?
19:12:04 <hppavilion[1]> @messages-proud
19:12:04 <lambdabot> oerjan said 1h 23m 14s ago: <hppavilion[1]> There wouldn't happen to be a value k s.t. k^(k^x) = x, would there? <-- then you get for all x,y: x+y = k^(k^(x+y)) = (k^k^x)^(k^y) = x^(k^y). thus k^y =
19:12:04 <lambdabot> 1 and y = k^(k^y) = k contradiction hth
19:12:47 <quintopia> this...looks a lot like SELECT. talk
19:13:04 <hppavilion[1]> quintopia: Wat?
19:13:54 <\oren\> Quod Erat Non Demonstrandum
19:14:00 <\oren\> QEND
19:14:09 <quintopia> https://esolangs.org/wiki/SELECT.
19:14:25 <hppavilion[1]> Q.E.N.D?
19:15:34 <hppavilion[1]> I am a fan of indenting proofs...
19:15:41 <\oren\> "That is what was not to be demonstrated"
19:16:58 <hppavilion[1]> "Quod erat
19:16:58 <hppavilion[1]> exspectare quid"
19:17:02 <hppavilion[1]> Whoops
19:17:15 <hppavilion[1]> Spiritually, "Which is totally unrelated to what had to be demonstrated"
19:17:23 <hppavilion[1]> Used at the end of a non sequitur
19:19:18 -!- myname has quit (Ping timeout: 250 seconds).
19:20:05 <zgrep> QEEQ?
19:23:38 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
19:28:46 -!- hppavilion[1] has joined.
19:29:05 <hppavilion[1]> Also good: B.A.T. (
19:29:06 <hppavilion[1]> Bobus avunculi tui)
19:29:14 <hppavilion[1]> Dammit, what is it with newlines?
19:33:07 * hppavilion[1] . o O ( Is Bob my uncle? I actually don't know... )
19:34:15 <hppavilion[1]> If we restrict unclehood to only include a parent-sibling (and not a parent-sibling-spouse), Bob probably isn't my uncle; my father has one sibling- a younger sister- and my mother has 3(ish)- 2 step sisters, 1 half sister
19:34:44 <hppavilion[1]> But OTOH, my mother actually has a few more half siblings on her mother's side; I've never met them because her mother is crazy and we avoid them.
19:38:45 <HackEgo> [wiki] [[Special:Log/newusers]] create * Cosmikdebris * New user account
19:38:58 <hppavilion[1]> Ooooh, bot or person? :D
19:43:16 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=49931&oldid=49908 * Cosmikdebris * (+114)
19:44:08 -!- PocketKiller-rip has left ("PART ->> >>| PocketKiller |<< <<- PART").
19:45:05 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=49932&oldid=49931 * Cosmikdebris * (+156)
19:45:27 <HackEgo> [wiki] [[Prehistory of esoteric programming languages]] https://esolangs.org/w/index.php?diff=49933&oldid=43160 * Cosmikdebris * (+52) /* GPM and TRAC language */
19:45:54 -!- otherbot has left.
19:46:36 -!- otherbot has joined.
19:47:03 -!- otherbot has left.
19:47:23 <hppavilion[1]> `` echo 'funFNORDgot: test' | sed 's/FNORD//'
19:47:24 <HackEgo> fungot: test
19:47:30 -!- otherbot has joined.
19:47:31 <hppavilion[1]> fungot: clever bot...
19:47:31 <fungot> hppavilion[1]: fnord the moment i mostly work on 1024x768.
19:47:40 <shachaf> `? weather
19:47:41 <HackEgo> lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK
19:47:45 <lambdabot> CYUL 121800Z 14004KT 060V200 30SM FEW150 FEW240 19/05 A3015 RMK AC1CI1 SLP213 DENSITY ALT 300FT \ ENVA 121820Z 12007KT CAVOK M00/M01 Q1033 NOSIG RMK WIND 670FT VRB03KT \ ESSB 121820Z 02003KT 9999
19:47:45 <lambdabot> BKN019 07/03 Q1034 \ KOAK 121753Z 22003KT 10SM BKN010 OVC012 16/12 A3010 RMK AO2 SLP193 T01560117 10156 20133 50015
19:47:48 <hppavilion[1]> @metar PAMR
19:47:49 <lambdabot> PAMR 121753Z 03004KT 7SM CLR 01/M03 A2967 RMK AO2 SLP050 60000 T00111028 10011 21028 58002
19:47:55 <hppavilion[1]> Chilly
19:48:08 <hppavilion[1]> Clear skies though.
19:49:28 -!- otherbot has left.
19:49:28 -!- otherbot has joined.
19:59:19 <hppavilion[1]> What equation gives the number of possible unique permutations of an n*n*n rubik's cube?
19:59:21 -!- Akaibu has quit (Ping timeout: 260 seconds).
20:01:56 -!- Akaibu has joined.
20:02:59 <gamemanj> If you assume that any possible state can be reached in a rubik's cube (probabyl
20:03:11 <gamemanj> *probably untrue in any cube with a "centre")
20:04:41 <gamemanj> then multiply the amount of squares on each face by 6, and then get 6^(the resulting number)?
20:04:53 <gamemanj> At least, that should be an upper bound.
20:05:35 <alercah> that is indeed not true
20:05:45 <gamemanj> Just checked, it definitely covers too many possibilities,
20:05:47 <alercah> there is a parity; half the states are unreachable
20:05:53 <gamemanj> but will never cover too few.
20:06:10 <gamemanj> Also, all 6 colours must be on the cube in the same amount.
20:06:39 <gamemanj> So (for a standard size 3 cube): 6^(9 * 6) will not work.
20:06:53 <Taneb> gamemanj, there'll be something very clever to do with group actions I imagine
20:07:06 <alercah> I don't think you need much group theory
20:07:26 <hppavilion[1]> gamemanj: Yeah, that's simple, the problem is the impossible states
20:07:42 <alercah> I'm pretty sure, not positive, that there is only one parity that eliminates states
20:08:02 <hppavilion[1]> I want to know how many states *that can be reached*, not just the logical upper bound
20:08:53 <alercah> hmm apparently there are two parities on the 4x4 cube
20:09:33 <alercah> although one can be eliminated by moving pieces around in the center
20:09:47 <alercah> so I guess it also depends on whether you consider identically-coloured pieces as distinct
20:10:18 <hppavilion[1]> Does bachelor imply "not currently married" or "has never been married"?
20:12:50 <\oren\> someone male, formerly married is a divorcee, or a widower depending on how the marriage ended
20:13:21 <hppavilion[1]> \oren\: So a divorcee or a widower isn't a bachelor?
20:13:34 <\oren\> I think so yes
20:13:57 <hppavilion[1]> Also: Whatever the gay version of "Widower" is (man formerly married to another man, with the marriage ending in his spouse's death)
20:15:28 <\oren\> widowerer
20:15:57 <int-e> There are (8! * 3^7 * 12! * 2^11)/2 Rubik's cube configurations reachable by just face turns; if you allow turning the whole cube then this is multiplied by an additional factor of 24.
20:15:58 <alercah> what if the marriage was annulled?
20:17:10 <\oren\> well if it
20:17:25 <\oren\> s annulled that means legally it never happened
20:17:38 <\oren\> so they become a bachelor/spinster again
20:18:40 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
20:18:48 <gamemanj> "spinster"?
20:18:54 <int-e> For the 4x4x4 cube I guess it's 8!*3^7 * 24! * 24!/4!^6 (assuming the normal kind where the four center pieces of each face are indistinguishable)
20:19:54 <shachaf> Cale: Do you know whether the linear logic operation par has an analogy in vector spaces? I guess A # B would be A* -o B, or (A* ⊗ B*)*, or something.
20:20:56 <int-e> (note that because of those indistinguishable pieces this not the size of the underlying group; that group is just acting on the 4x4x4 cube, and many group elements correspond to the same pattern on the surface)
20:22:19 <int-e> > 24^6 `div` 4
20:22:22 <lambdabot> 47775744
20:23:02 <int-e> Yeah, that seems big enough for "many".
20:29:56 <int-e> And actually I think I should divide by 2 there.
20:33:13 <int-e> `unidecode
20:33:14 <HackEgo> No output.
20:33:53 <int-e> `unidecode a⁢b
20:33:54 <HackEgo> ​[U+0061 LATIN SMALL LETTER A] [U+2062 INVISIBLE TIMES] [U+0062 LATIN SMALL LETTER B]
20:38:20 <\oren\> gamemanj: spinster means an unmarried woman
20:38:36 <\oren\> or rather a woman who has nvever married
20:40:03 -!- imode has joined.
20:43:34 <\oren\> uh oh, SJW flame war imminent on unicode mailing list
20:43:44 <\oren\> again
20:44:11 <gamemanj> mailing lists sure do like flame wars these days
20:45:36 <alercah> \oren\: O_o
20:45:40 <alercah> what about?
20:49:13 <\oren\> about whether it was a mistake to have brown and pink emoji
20:50:06 <alercah> ...
20:50:18 <alercah> it doesn't matter, because it's done, no?
20:50:27 <int-e> `` cd wisdom; grep -r invisible * | shuf
20:50:27 <gamemanj> On the one hand, if the reference implementation of the emoji had a race, then no. Otherwise, it was, since it implied a race for the default, which made a complete mess.
20:50:36 <HackEgo> Binary file reflection matches \ ipu:IPU is an invisible pink unicorn.
20:51:51 <\oren\> gamemanj: most emoji have been bright yellow since prehistory
20:52:05 <gamemanj> oren: But was it specified as bright yellow?
20:52:14 <HackEgo> [wiki] [[Bug Computer]] https://esolangs.org/w/index.php?diff=49934&oldid=49926 * Function call without parameters * (-4) correction of opcode F9
20:52:30 <\oren\> other emoji were invented by japanese people and were usually displayed with pale skin and black hair like most japanese people have
20:53:10 <gamemanj> Displayed != specified.
20:53:27 <\oren\> I don't think the specification ever specified colors
20:53:42 <gamemanj> In which case, it was never Unicode's problem, so thus nothing to talk about.
20:55:11 <\oren\> but now, we have the yellow ones, and five human skin tones, none of which match my phenotype (super pale, brownish hair) anyway
20:55:39 * gamemanj sighs
20:56:20 <\oren\> luckily I chose not to post in the mailing list, but someone said stuff nayway
20:58:36 <\oren\> about "what if I have blue skin" which is a stupid example of someone who doesn't fit
20:58:53 * alercah blames the simpsons
21:00:03 <\oren\> actually, samsung doesn't have yellow by default
21:00:33 <\oren\> instead the default for them is pale with brownish hair
21:00:34 <gamemanj> Maybe just zero the saturation of all emoji. Everywhere.
21:00:50 <gamemanj> Not just pale, but completely nil the saturation. Turn them all into robots.
21:01:07 <gamemanj> As for the skin-colour modifiers, does anyone even write those?
21:01:13 <alercah> \oren\: yes, but that's samsung
21:01:27 <alercah> they also have six-fingered hands
21:03:01 <\oren\> so they made the emoji european by default, and then the lightest color modifier mades tham asian with black hair
21:03:23 <\oren\> I would have expecte the opposite from samsung
21:06:23 <\oren\> really six fingered hands? I don't see any
21:09:51 <\oren\> oh
21:09:55 <\oren\> now I see it
21:16:42 <\oren\> http://emojipedia.org/crossed-flags/ <- interesting difference there, samsung!
21:22:55 <HackEgo> [wiki] [[POGAACK]] https://esolangs.org/w/index.php?diff=49935&oldid=46376 * Rdebath * (+105) Example gave wrong result, also Implementation
21:24:13 <gamemanj> \oren\: interesting indeed, now you point it out...
21:25:12 <gamemanj> (the "politically correct" way to handle this, of course, would have been to remove the red dot, but not put anything else on, successfully neutralizing the flag. Then again, "happy holidays" doesn't have that ring to it...)
21:25:46 <gamemanj> In other news, I'm not quite sure what HTC are doing.
21:26:38 -!- MoALTz_ has joined.
21:27:03 <gamemanj> Aha! I worked it out! HTC's implementation of the crossed-flags emoji is because of the whole "flat UI" trend.
21:28:12 <DHeadshot> gameanj: "Politically correct", but surrendering?
21:28:50 <gamemanj> DHeadshot: Well, it was either that or display the flag of whatever country the user's in, and then you end up having issues when a new country comes along and starts complaining.
21:28:54 <gamemanj> Also, there are a lot of countries.
21:29:25 -!- MoALTz has quit (Ping timeout: 248 seconds).
21:29:26 <DHeadshot> Could use chequered flags...
21:30:00 <gamemanj> DHeadshot: The same argument against "surrendering" also counts against "finishing", I'd think...
21:30:19 <gamemanj> And if you used coloured chequered flags, the vendors would never agree on a colour.
21:31:03 <\oren\> well, it's not as bad as when google ruined christmas with a frowning santa
21:31:07 <\oren\> https://code.google.com/p/android/issues/detail?id=41827
21:33:30 <gamemanj> someone actually got assigned to that issue. assigned to the issue of making Santa happier.
21:33:47 <gamemanj> Issue trackers have gone too far.
21:36:07 <\oren\> lol
21:40:41 <int-e> how is any of that the issue tracker's fault...
21:41:37 <gamemanj> issue trackers make rampant bureaucracy possible!
21:42:36 -!- b_jonas has quit (Ping timeout: 260 seconds).
21:43:55 -!- MoALTz_ has changed nick to MoALTz.
21:50:21 -!- MoALTz has quit (Quit: Leaving).
22:00:00 -!- hppavilion[1] has joined.
22:00:30 <hppavilion[1]> I'm playing with operations
22:01:36 * gamemanj mumbles something to himself about hoping the patient(s) survive
22:02:45 <gamemanj> (I'm guessing you didn't mean that kind of "operations"?)
22:02:59 <gamemanj> (Actually - replace "guessing" with "hoping"...)
22:06:42 <hppavilion[1]> I have a+:b (properly, it's a plus sign with diaeresis/umlaut, but limiting to mostly ASCII is necessary here), which is roughly equal to basket((+), a, b) (it isn't exact because of rational inputs)
22:10:26 -!- AnotherTest_ has joined.
22:10:31 -!- DHeadshot_ has joined.
22:11:18 <hppavilion[1]> 0+:k is the kth triangle number.
22:12:05 <hppavilion[1]> I guess j+:k is the kth j-trapezoid/trapezium number?
22:13:13 -!- deltab__ has joined.
22:13:55 <hppavilion[1]> (OK, the different words bug me. I move that 'trapezium' be a subset of 'trapezoids'- to fit with the '-oid' prefix. Perhaps a trapezium is the traditional, vertically-symmetrical shape and trapezoid has no such requirement?)
22:14:48 <hppavilion[1]> (Oh, dammit, that's an isosceles trapezite...)
22:17:10 -!- Lymee has joined.
22:18:24 -!- Tiktailk has joined.
22:18:50 -!- Hooloo42 has joined.
22:19:17 -!- DHeadshot has quit (*.net *.split).
22:19:17 -!- gamemanj has quit (*.net *.split).
22:19:18 -!- AnotherTest has quit (*.net *.split).
22:19:18 -!- Tiktalik has quit (*.net *.split).
22:19:18 -!- deltab_ has quit (*.net *.split).
22:19:19 -!- Hoolootwo has quit (*.net *.split).
22:19:19 -!- Lymia has quit (*.net *.split).
22:19:21 -!- AnotherTest_ has changed nick to AnotherTest.
22:19:29 -!- Lymee has changed nick to Lymia.
22:20:31 -!- deltab__ has quit (Ping timeout: 265 seconds).
22:20:31 -!- deltab__ has joined.
22:23:00 -!- moonythedwarf_ has joined.
22:23:16 -!- ^v has quit (*.net *.split).
22:23:25 -!- moonythedwarf has joined.
22:23:31 -!- moonythedwarf has changed nick to moony.
22:23:42 -!- moonythedwarf_ has quit (Client Quit).
22:23:44 -!- ^v has joined.
22:24:33 -!- deltab__ has quit (*.net *.split).
22:28:58 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:29:57 <hppavilion[1]> There may be no feeling more repetitively confusing (being able to confuse you again 2 seconds after you remember why it's happening) and frustrating than a software you use losing a hotkey
22:30:34 <\oren\> I recommend using a soldering iron to make the key hot again
22:30:46 <hppavilion[1]> (e.g. When I type something into the search bar (ctrl+k type) and hit <ENTER>, it doesn't search on <ENTER>)
22:30:55 <hppavilion[1]> (It used to)
22:31:13 <\oren\> try using a soldering iron to heat up your enter key
22:31:29 <\oren\> it will then be a hotkey again
22:31:34 <hppavilion[1]> \oren\: OK, let me grab the soldering iron I have on hand preheated at all times
22:31:50 <hppavilion[1]> </s> (It isn't preheated, OBVIOUSLY)
22:32:23 <\oren\> well, it should be
22:33:52 <\oren\> I love the smell of molten plastic at midnight
22:34:04 <hppavilion[1]> \oren\: It's 13:30 here.
22:39:02 -!- carado has quit (Ping timeout: 268 seconds).
22:39:02 -!- b_jonas has joined.
22:46:18 <\oren\> b_jellonas
22:46:43 -!- lleu has quit (Quit: That's what she said).
22:54:24 <shachaf> What do you call a linear map e.g. f : R^2 -> R^3 that leaves the (x,y) coordinates unchanged, just adds a z coordinate?
22:55:41 <\oren\> well, for one, it's an embedding of a flat 2-manifold in 3-space?
22:58:10 <\oren\> or a matrix of the form [1,0;0,1;x,y]?
22:58:42 <shachaf> Sure, it's both of those things.
22:58:57 <shachaf> I guess it's a section in particular.
22:59:04 <hppavilion[1]> shachaf: ...a putter?
23:00:15 <shachaf> But is there a specific name for it, like "natural embedding"?
23:00:32 <shachaf> f (x,y) = (x,y,ax+by)
23:00:44 <shachaf> (And I mean from any space to a higher-dimensional space, of course.)
23:02:05 <shachaf> Well, what's the name of f (x,y,z) = (x,y)?
23:02:41 <\oren\> the projection on the x,y plane?
23:03:46 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
23:15:53 <\oren\> https://www.youtube.com/watch?v=_L1Eh5iJBS4
23:37:16 -!- oerjan has joined.
23:39:39 -!- moony has quit (Ping timeout: 258 seconds).
23:42:49 -!- hppavilion[1] has joined.
23:44:49 -!- otherbot has quit (Quit: Restart requested by jeffl35: testing...).
23:45:07 <hppavilion[1]> I still want to, just for fun, create a deterministic, computer-driven numerological fortune teller
23:45:09 -!- otherbot has joined.
23:47:51 -!- moony has joined.
23:49:49 -!- deltab__ has joined.
23:49:55 <hppavilion[1]> (for some value of deterministic)
23:50:23 <hppavilion[1]> Generally, it takes some information about the current user and some information about the current state of the world (the simplest system is the user's birthday and today's date)
23:50:28 <hppavilion[1]> Somehow combines this information
23:50:40 <hppavilion[1]> And generates several pseudo-random numbers from that seed
23:52:28 -!- Froox has quit (Quit: *bubbles away*).
23:52:48 -!- Frooxius has joined.
←2016-10-11 2016-10-12 2016-10-13→ ↑2016 ↑all