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: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:07:07 <shachaf> It's a symbol that already means something.
00:07:39 <shachaf> Right, you only want the positive reals.
00:08:17 <shachaf> @let (?) :: Rational -> Rational -> Rational; a ? b = 1/(1/a + 1/b)
00:08:35 -!- Cale has joined.
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:09:11 <shachaf> How do you make a number greater than 1?
00:09:54 <hppavilion[1]> (Just don't use '0' or put a '-' at the beginning)
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:12:01 <shachaf> I'm talking about constructing the numbers starting from this operation.
00:13:23 <lambdabot> [1 % 1,*Exception: Ratio has zero denominator
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:15:16 <hppavilion[1]> shachaf: So maybe you need infinitely-large numbers for it to work nicely?
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:39 <quintopia> the same portal ghe internet wires run through
00:18:17 <Cale> shachaf: *eye twitch*
00:19:12 <shachaf> Cale: The idea is to figure out how parallel sum works.
00:22:49 <fizzie> Z is for the zomplex 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: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: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: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:50 -!- moony has quit (Ping timeout: 250 seconds).
00:38:06 <quintopia> regular sum is used in regular universe
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:53 -!- DHeadshot has quit (Ping timeout: 248 seconds).
00:40:57 <shachaf> Well, you can't distinguish i from -i
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 <shachaf> But you have to pick one arbitrarily.
00:41:51 <hppavilion[1]> (⁂ used for want of 'therefor sign' on my keyboard)
00:42:05 * boily 깻잎장아찌-ly pokes lifthrasiir
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:45:50 <boily> hppavilion[1]: it's a common mistranslation. it's pickled perilla leaves ^^
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:48:16 <oerjan> wait did i mess that up
00:48:32 <HackEgo> ¯\(°_o)/¯ is a misspelling of ¯\(°_o)/¯
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:25 -!- moony has joined.
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: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: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:57:52 -!- moony has quit (Ping timeout: 268 seconds).
00:59:50 <HackEgo> 1padfile \ ${$1}padfile \ aaaaa \ args \ at \ foo \ fruit \ linetest \ sh \ spline \ spout \ tempcmd \ testcmd \ tmp_jonas \ wdiff \ wegians
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:03 <HackEgo> tmp/sh: a /hackenv/tmp/args a b script, ASCII text executable
01:01:31 <HackEgo> tmp/args: Bourne-Again shell script, ASCII text executable
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: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:34 <oerjan> tmp/ has its bad sides.
01:03:45 <HackEgo> [a b][/hackenv/tmp/sh][hm]
01:05:22 <HackEgo> test \ test\n \ test\n \ test
01:06:12 <HackEgo> [1m[31mA[33mA[32mA[36mA[34mA[35m
01:07:24 <HackEgo> cat: tmp/b_jonas: No such file or directory
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: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:23 <shachaf> why don't you just rm -r tmp/
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:12:46 <HackEgo> wdiff-1.2.2 \ wdiff-latest.tar.gz
01:15:52 <HackEgo> rm: invalid option -- ' ' \ Try `rm --help' for more information.
01:16:26 -!- Froox has joined.
01:16:29 <HackEgo> touch: failed to get attributes of ` *': No such file or directory
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:37 -!- Frooxius has quit (Ping timeout: 240 seconds).
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 <oerjan> shachaf: move the second " hth
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: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:24 <HackEgo> guarantee//HackEgo is guaranteed merchantable.
01:49:29 <hppavilion[1]> maybe <<`le/rn Γ/Γ is the magiscule of ſ ("long s").>>?
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: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: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:12:13 <hppavilion[1]> Galleon (USD ~7.34), Sickle (17 to a Galleon), and Knut (29 to a Sickle) ([kn∧t])
05:14:21 <myname> i know a certain country with crazy units for measurement of distances
05:14:35 <myname> with feet, miles and inches
05:14:46 <myname> it's like totally crazy
05:14:53 <myname> who would ever do that shit
05:15:01 <shachaf> a pint's a pound the world around
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:34 <hppavilion[1]> myname: Because then you can't say 1/3 galleon or something
05:15:47 <hppavilion[1]> You can't divide it up into smaller amounts and just easily math it
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:40 <myname> how many miles are an inch?
05:19:13 -!- pikhq has quit (Ping timeout: 260 seconds).
05:19:16 <shachaf> Why is a gallon worth 7.34 USD?
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:20:03 <myname> you know how many USD a yen are?
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: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: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: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:55 -!- pecan has changed nick to so5ho.
06:01:01 -!- so5ho has changed nick to pecan.
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:37:24 -!- HackEgo has joined.
06:38:40 -!- MDude has quit (Ping timeout: 260 seconds).
06:38:42 -!- MDead has changed nick to MDude.
06:40:50 <hppavilion[1]> myname: We have to mourn HackEgo when hacke disconnects.
06:41:46 <hppavilion[1]> myname: HackEgo usually doesn't disconnect afaict. It's a big deal when e does.
06:46:53 <hppavilion[1]> And 2pi radians with Anderson Cooper was playing on the TV
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.
08:02:12 -!- imode has quit (Ping timeout: 260 seconds).
08:03:44 -!- pikhq has quit (Ping timeout: 250 seconds).
08:05:37 -!- pikhq has joined.
08:14:23 -!- otherbot has quit (Remote host closed the connection).
08:19:59 -!- augur has joined.
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: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:55 <HackEgo> kinder surprise//Kinder Surprise is an addictive drug marketed for children so dangerous it's banned at the federal level.
11:51:56 <HackEgo> wfraatw//A WFRAATW is a well-founded recursive acronym akin to "WFRAATW".
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:53:20 <boily> `` sed -i 's/\./⁸./' wisdom/footnote\ 1
11:54:02 <boily> `` sed -i 's/\?/⁺?/' wisdom/footnote\ 8
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: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: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:54 <HackEgo> ¯\_(ツ)_/¯//¯\_(ツ)_/¯ is the ¯\(°_o)/¯ of urbandictionary
12:12:12 <HackEgo> bardsworthlist//bardsworthlist is update notification for the Bardsworth webcomic. http://www.bardsworth.com/
12:15:33 <HackEgo> forth//Since Biblical times, Forth has been the go-to language for multiplication.
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:07 <HackEgo> catamorphism//A catamorphism is when you recurse too greedily and too deep.
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: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:36 <HackEgo> lexer//lexer is a maximally Norwegian painter. Its squares are munched with chili sauce.
12:21:03 <boily> that one's mine :D
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: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: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:39 <oerjan> (admittedly, this may be colored by how it behaved just before the disk crash last autumn)
16:48:55 <\oren\> also, you can kill windows update
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: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: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: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
18:00:37 <oerjan> @tell boily <boily> `` sed -i 's/\. h/. H/' wisdom/pouti <-- lern2slwd hth
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: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: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:54 <\oren\> Quod Erat Non Demonstrandum
19:15:41 <\oren\> "That is what was not to be demonstrated"
19:17:15 <hppavilion[1]> Spiritually, "Which is totally unrelated to what had to be demonstrated"
19:19:18 -!- myname has quit (Ping timeout: 250 seconds).
19:23:38 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
19:28:46 -!- hppavilion[1] has joined.
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: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:30 -!- otherbot has joined.
19:47:31 <fungot> hppavilion[1]: fnord the moment i mostly work on 1024x768.
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:49 <lambdabot> PAMR 121753Z 03004KT 7SM CLR 01/M03 A2967 RMK AO2 SLP050 60000 T00111028 10011 21028 58002
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:45 <gamemanj> Just checked, it definitely covers too many possibilities,
20:05:47 <alercah> there is a parity; half the states are unreachable
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: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: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: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: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: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: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:44:11 <gamemanj> mailing lists sure do like flame wars these days
20:49:13 <\oren\> about whether it was a mistake to have brown and pink emoji
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: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: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
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: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: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: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: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: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: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: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:33:52 <\oren\> I love the smell of molten plastic at midnight
22:39:02 -!- carado has quit (Ping timeout: 268 seconds).
22:39:02 -!- b_jonas has joined.
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.
23:00:15 <shachaf> But is there a specific name for it, like "natural embedding"?
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: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: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.