00:04:13 -!- tromp has joined.
00:05:12 -!- tromp has quit (Remote host closed the connection).
00:07:01 -!- Lord_of_Life_ has joined.
00:08:34 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
00:08:34 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
00:35:06 -!- oerjan has joined.
00:40:47 -!- heroux has quit (Ping timeout: 246 seconds).
00:41:34 -!- heroux has joined.
00:46:23 -!- b_jonas has quit (Quit: leaving).
00:51:29 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:44:05 -!- xkapastel has quit (Quit: Connection closed for inactivity).
02:00:11 <oerjan> @tell orin <orin> this is weird because all of those are squares in decimal <-- it's not as random as you think, because 100 and 144 are square in _all_ bases.
02:00:49 <oerjan> (well, big enough to have them)
02:01:51 <oerjan> > [6*n+4 | n <- [1..16]]
02:01:53 <lambdabot> [10,16,22,28,34,40,46,52,58,64,70,76,82,88,94,100]
02:02:10 <oerjan> that does seem more coincidental
02:05:09 <oerjan> hm n needs to be even, and then it's 3*(n/2) + 1
02:07:01 <oerjan> the squares of odd numbers * 2
02:09:49 <oerjan> oh, it's the square of numbers not divisible by 3, * 2
02:12:03 <oerjan> > [(3*n+i)^2 | n<-[0..], i<-[1,2]]
02:12:05 <lambdabot> [1,4,16,25,49,64,100,121,169,196,256,289,361,400,484,529,625,676,784,841,961...
02:12:21 <oerjan> > [(3*n+i)^2*4 | n<-[0..], i<-[1,2]]
02:12:23 <lambdabot> [4,16,64,100,196,256,400,484,676,784,1024,1156,1444,1600,1936,2116,2500,2704...
02:32:27 <FreeFull> The fact that 100 is square in all bases is pretty obvious
02:34:18 -!- tromp has joined.
02:35:10 <FreeFull> oerjan: 121 will be square in all bases too
02:37:23 -!- FreeFull has quit.
02:38:44 -!- tromp has quit (Ping timeout: 246 seconds).
02:52:32 <oerjan> and others, but then it's too big for base 10
02:53:48 <oerjan> now prove that they all have odd length
02:54:21 <oerjan> or disprove, if you disagree
02:55:10 <oerjan> length 2 is pretty obviously impossible
02:57:20 <oerjan> but i'm not sure about the larger even ones, just a hunch
02:58:08 <oerjan> i suppose it can be seen as a polynomial problem
02:59:08 <oerjan> but maybe evens can work even if they cannot be a square of a polynomial
03:03:37 <int-e> Apparently not. http://www.isibang.ac.in/~sury/polys.pdf Section 3. (via https://math.stackexchange.com/questions/1157780/polynomials-such-that-pk-ql-for-all-integer-k/1157825#1157825)
03:13:30 <int-e> Though the proof of Lemma 3.2 has a gap, this isn't a direct application of Lemma 3.1... I guess the trick is to use P_1'(x)P_2(x)...P_r(x) in the proof of lemma 3.2, instead of just P_1'(x)?
03:13:42 <int-e> (when using Bezout)
03:14:43 <int-e> that last 3.2 should be 3.1
03:21:37 <int-e> Oh this really is less miraculous than it may seem at first... 100 in base n is 144 in base (n-2), for all n > 6.
03:22:19 <int-e> But the 64 is still an accident :)
03:48:57 -!- Remavas has quit (Quit: Leaving).
03:54:12 <kmc> is there any deep reason why 10^0.3 is so close to 2
03:54:25 <kmc> or is this just a very convenient coïncidence for engineers?
03:56:35 <kmc> who pretty much assume 3 dB = factor of 2
03:57:15 <kmc> which also means 2^10 = 30 dB = 1000
03:57:46 <kmc> which is amusingly the same probably as kB vs KiB
03:57:53 <kmc> btw I think dB should be used for more things
03:58:29 <kmc> e.g. probability
03:58:48 <kmc> then you can bayes rule with only addition
03:58:56 <kmc> but I'm not sure, whether 0 dB should be 1 or 0.5 or what
04:00:26 <kmc> 0 dB = 1 seems most natural to me, but this lesswrong article uses 0.5 https://www.lesswrong.com/posts/GDLP8MjvyhK3wx6hc/the-quick-bayes-table
04:00:40 <kmc> and if there's anyone I trust to massively overthink this sort of thing, it's the Rationalists
04:01:32 <kmc> my friend lives in a Rationalist group house and they have whiteboards all over the walls with prediction markets for various events, ranging from personal to worldwide
04:02:14 -!- tromp has joined.
04:03:32 <pikhq> This seems a touch silly.
04:03:48 <kmc> the last part?
04:04:12 <kmc> i mean, i agree
04:04:17 <kmc> i don't think anyone takes it that seriously
04:04:27 <kmc> and they play for fake points iirc
04:04:56 <pikhq> That actually sounds about right really.
04:05:14 <kmc> one could say it's practice for honing one's probability estimating skills
04:05:47 <kmc> rationalism is... interesting
04:05:59 <kmc> it's not quite a doomsday sex cult, but it's not entirely NOT a doomsday sex cult
04:06:21 <pikhq> Don't get me wrong though, I'm all about a sex cult. :P
04:07:05 -!- tromp has quit (Ping timeout: 255 seconds).
04:08:41 <kmc> I mean, it would be more appealing if not for various stories I've heard about people behaving badly
04:09:00 <pikhq> Yeaaah, that sort of thing can go wrong pretty easily.
04:09:20 <pikhq> And I'm exactly the sort of person that's easily susceptible to that, so
04:10:37 <kmc> I'm friends with some self-identified rationalists, and dating one, but I don't have any desire to get closer than that. it enriches my life in small doses
04:10:44 <kmc> their solstice service was lovely
04:11:45 <shachaf> I went to a few MIRI workshops and I'm going to another one next month.
04:12:00 <kmc> shachaf: they got you
04:12:16 <kmc> shachaf: have you run into edwardk now that he works at MIRI?
04:12:28 <shachaf> Yes, he's been at the workshops.
04:13:25 -!- xkapastel has joined.
04:14:45 <shachaf> when are you moving back to the bay are twh
04:14:51 <oerjan> . o O ( should MIRI worry about time-travelling Terminators )
04:15:13 <pikhq> If my current job gives me a 100% raise, I might consider it.
04:15:44 <pikhq> Yes, I started as an SRE at a company in Denver last month.
04:15:55 <pikhq> And I have a BS in applied math now.
04:16:54 <pikhq> And lemme tell you, 6 figure income goes a lot further when your rent is under $1k.
04:18:01 <shachaf> my rent when i worked at google was $500 or something
04:18:21 <shachaf> also it was a small windowless room, which i don't think is quite legal
04:18:30 <shachaf> once i was woken up by a burglar in the room
04:18:42 <pikhq> Yeah, this is for a whole apartment
04:19:04 <pikhq> And I doubt that room is $500 now. :)
04:19:16 <pikhq> Unless it's out in, like, Gilroy, too.
04:19:55 <shachaf> but have you considered moving to the bay area and also getting a 100% raise
04:20:26 <pikhq> I doubt that getting both is possible, and also I honestly like Colorado.
04:21:05 <pikhq> And for that matter, my current job
04:23:25 <j4cbo> yeah, i moved from the Castro to the Sunset to Montana
04:23:55 <j4cbo> noooot interested in going back to the bay area
04:24:06 <pikhq> May also help to know Colorado is my _home_, so
04:34:16 <kmc> don't move to the bay area
04:34:25 <kmc> most people i know here want to leave
04:34:35 <kmc> our most likely plan is to move to the Denver area
04:34:48 <kmc> sometime within the next year or two
04:34:48 <pikhq> Come to Colorado, we have weather
04:34:49 <kmc> but it's still very much up in the air
04:34:56 <kmc> I like Colorado
04:35:16 <kmc> and it shares one of the main things I love about here (lots of awesome natural areas nearby)
04:35:28 <kmc> oh and weed
04:36:20 <shachaf> kmc: one time you said that if you moved to sf you'd eat burritos every day
04:37:15 <pikhq> Our burritos are perhaps inferior, but they are at least quite readily available.
04:37:35 <shachaf> kmc: how come you aren't in any unlogged offtopic channels that i'm in tdnh
04:38:01 <kmc> Colorado is probably a better fit for me politically too
04:38:22 <pikhq> Liberal, but not actively disfunctional?
04:38:46 <kmc> socially liberal, but with a libertarian streak
04:39:08 <j4cbo> sounds like most Montana cities
04:39:34 <j4cbo> outside the cities it’s v red :(
04:39:42 <kmc> yeah but the state level laws for LGBT people (for example) suck in MT
04:40:00 <pikhq> Yeah, that's a bit of a dealbreaker for me.
04:40:01 <kmc> HRC puts MT in their lowest category and CO in the highest
04:41:09 <kmc> but yeah the urban vs. rural divide is sharp in almost every state
04:41:16 <kmc> big cities go blue even in the reddest of states
04:42:10 <pikhq> Not that anywhere in MT counts as a _big_ city.
04:45:30 <j4cbo> someone asked me what the nearby “big city” was (I’m in Missoula)
04:45:37 <j4cbo> I was like... this is it
04:47:00 <kmc> even my hometown of Des Moines is substantially bigger than missoula (or billings)
04:47:00 <pikhq> By their definition of "big", pretty sure the "nearby" one would probably be something like Seattle, Salt Lake, or Denver.
04:47:16 <pikhq> None of which are all that close.
04:47:25 <j4cbo> yeah, or maybe Spokane (3 hours)
04:48:05 <j4cbo> I go there for Trader Joe’s
04:48:24 <pikhq> Which is also not really a big one, but it'd probably at least register as a city with them.
04:49:26 <kmc> you drive 3 hours to get to trader joe's?
04:49:42 <kmc> I mean, TJ's is pretty awesome but that seems excessive
04:50:10 <pikhq> When you live in more rural parts of the country you just get used to much longer travel times.
04:50:39 <pikhq> My mom for a while had a 2 hour *commute*.
04:50:44 <shachaf> this is your brain on carz
04:51:07 <j4cbo> like a few times a year
04:51:26 <kmc> pikhq: my wife has a 3 hour per day commute :(
04:51:30 <kmc> but she's on a bus with wifi and such
04:51:40 <kmc> j4cbo: fair enough
04:51:47 <kmc> I visit places 3 hours away at least a few times a year
04:52:30 <shachaf> can you draw me a commutative diagram
04:53:34 <pikhq> About... 133 miles.
04:53:53 <kmc> bay area commutes are really bad cause we can't build dense transit-oriented housing
04:55:08 <kmc> we love the environment soooooo much that we hold up transit and housing for decades in "environmental review"
04:56:16 <kmc> so instead people spend hours and hours per day driving
04:56:19 <kmc> love that environment
04:56:26 <pikhq> Well yeah, gotta consider the risks to the environment from getting rid of cars
04:58:02 <kmc> https://i.redd.it/gilx3e4wcsh21.jpg
04:59:20 <j4cbo> “environment” in California means “impact on nimbys”
05:28:01 <esowiki> [[Semordnilap]] https://esolangs.org/w/index.php?diff=60021&oldid=60003 * Oerjan * (+41) /* Examples */ The language demands this example
05:29:57 <oerjan> i suppose this is the other kind of esoteric
05:42:21 <esowiki> [[Quine]] https://esolangs.org/w/index.php?diff=60022&oldid=59968 * Oerjan * (+73) /* How to write quines */ Add obvious technical requirement (and sweep a bit of prior discussion under the "freely" carpet)
05:48:57 <shachaf> kmc: did you see that paper about a compacting malloc
05:49:12 <shachaf> https://arxiv.org/abs/1902.04738
05:50:39 -!- tromp has joined.
05:55:05 -!- tromp has quit (Ping timeout: 255 seconds).
06:18:33 -!- arseniiv has joined.
06:22:02 -!- xkapastel has quit (Quit: Connection closed for inactivity).
07:34:38 -!- tromp has joined.
07:39:24 -!- tromp has quit (Ping timeout: 268 seconds).
07:40:02 -!- arseniiv has quit (Read error: Connection reset by peer).
07:40:19 -!- arseniiv has joined.
07:49:31 -!- xkapastel has joined.
08:03:04 -!- oerjan has quit (Quit: Nite).
08:15:54 -!- AnotherTest has joined.
08:41:41 -!- tromp has joined.
09:26:07 -!- AnotherTest has quit (Ping timeout: 258 seconds).
09:39:50 -!- AnotherTest has joined.
10:02:03 -!- xkapastel has quit (Quit: Connection closed for inactivity).
10:13:31 <esowiki> [[Special:Log/newusers]] create * Dev cat * New user account
10:27:51 -!- tromp has quit (Remote host closed the connection).
10:30:23 -!- imode has joined.
10:42:29 -!- tromp has joined.
11:21:47 -!- AnotherTest has quit (Ping timeout: 255 seconds).
11:33:19 -!- AnotherTest has joined.
12:06:08 -!- Lord_of_Life_ has joined.
12:09:15 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
12:09:15 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
12:31:21 -!- nfd has joined.
12:33:02 -!- tromp has quit.
12:34:41 -!- nfd9001 has quit (Ping timeout: 255 seconds).
13:00:46 -!- imode has quit (Ping timeout: 250 seconds).
13:08:36 -!- tromp has joined.
14:49:05 -!- TellsTogo has joined.
14:53:27 -!- AnotherTest has quit (Ping timeout: 268 seconds).
14:54:34 -!- Sgeo has joined.
14:57:14 -!- Sgeo__ has quit (Ping timeout: 246 seconds).
15:04:05 -!- Sgeo_ has joined.
15:07:06 -!- Sgeo has quit (Ping timeout: 268 seconds).
15:32:52 -!- xkapastel has joined.
15:34:41 -!- MDead has joined.
15:35:33 -!- Sgeo has joined.
15:37:50 -!- MDude has quit (Ping timeout: 255 seconds).
15:37:56 -!- MDead has changed nick to MDude.
15:38:27 -!- danieljabailey has joined.
15:38:33 -!- Sgeo_ has quit (Ping timeout: 268 seconds).
15:45:03 -!- sleepnap has joined.
16:18:32 -!- sleepnap has left.
16:25:32 -!- MDude has quit (Ping timeout: 255 seconds).
16:35:04 -!- MDude has joined.
17:10:16 -!- AnotherTest has joined.
17:54:14 -!- b_jonas has joined.
18:02:34 -!- xkapastel has quit (Quit: Connection closed for inactivity).
18:17:59 -!- TellsTogo has quit (Ping timeout: 256 seconds).
18:18:32 -!- oerjan has joined.
18:19:31 <oerjan> @tell int-e i was too tired to look at the paper you linked yesterday, so i put it aside, and then before i looked back at it i'd found a simpler proof myself.
18:20:32 <oerjan> @tell int-e well, beyond the first section that mentioned that you could multiply by n! to get integer coefficients, which is my first step (multiplying by (n!)^k)
18:21:07 <oerjan> @tell int-e Second: if P(0) = a^k, replace P(x) by P(x+a) to get 0th coefficient 0.
18:26:24 <oerjan> @tell Third: If a_i is the first non-zero coefficient of the polynomial, but i < k, and p is a prime, then p^i divides P(p), thus p^(i+1) | p^k | P(p), thus a_i p^i | p^(i+1) and a_i | p. But p was arbitrary so a_i = 0.
18:28:40 <oerjan> @tell int-e Oops, wait, that P(x) to P(x+a) step is wrong isn't it. Darn.
18:30:47 <oerjan> ...and _now_ my brain is tired again.
18:32:37 -!- oerjan has quit (Quit: Later).
18:42:25 -!- xkapastel has joined.
19:00:15 <HackEso> [11,11,11,15,15,23,12],[5,5,5,3,53,45,16,26,00,20,15,16,22,25,45,91,32,11,15,27,06,01,11,01,47,22,30,13,43,21,11,13,29,61,65,17,19,12,28,17,11,01,23,20,16,20,81,18,32,25,58,22.,1985,10.301350435,1555466973690094680980000956080767,13720946704494913791885940266665466978579582015128512190078...
19:02:11 <HackEso> rm: cannot remove 'wisdom/link': No such file or directory
19:07:21 -!- imode has joined.
19:07:26 <HackEso> E-modules are modules over a web ring. Uaneb invented them.
19:07:49 <HackEso> ZOMGMODULES is both a small blonde veterinarian and just modules over the ring of ZOMGs.
19:08:22 <HackEso> D-modules are just modules over the ring of differential operators. Taneb invented them.
19:17:52 <HackEso> /srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ?ring: not found
19:17:56 <HackEso> Addition, subtraction and multiplication have a certain ring to them.
19:18:15 -!- Essadon has joined.
19:18:17 <int-e> `last wisdom/links
19:18:18 <HackEso> last: cannot open /var/log/wtmp: No such file or directory
19:18:35 <int-e> `dontaskdonttelllist
19:18:36 <HackEso> dontaskdonttelllist: quintopia myname int-e
19:18:46 -!- Essadon has quit (Max SendQ exceeded).
19:21:09 <b_jonas> ``` hg cat -r9527 wisdom/links # int-e:
19:21:10 <HackEso> links is one of the very few HTML renderers that doesn't try to store a full document tree with heavyweight objects for each node just in case javascript wants to modify it later, so it's the only engine that can render those HTMLs that are automatically converted from a PDF and put each letter in a separate element.
19:22:22 <int-e> (IIRC that was a fungot quote, so devoid of information :P)
19:22:22 <fungot> int-e: and what of it? i couldn't find anything in the cl way. that's why we need hygienic quasiquote
19:22:45 <int-e> fungot: sounds exciting, carry on
19:22:45 <fungot> int-e: make it not heap allocated. i donŽt have any how to do with timing and velocity, basic ai routines, etc
19:25:10 <HackEso> https://hack.esolangs.org/repo/
19:26:49 <HackEso> /usr/bin/tail: option used in invalid context -- 1
19:30:06 <HackEso> /srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: main: not found
19:30:12 <HackEso> HackEso just froze off their fingers!
19:30:19 -!- TellsTogo has joined.
19:33:13 <int-e> b_jonas: I thought there was a command for that (cat last version of deleted file) but I may be imagining things. (It certainly sounds like a command that we should have.)
19:34:09 <fungot> int-e: well that's stupid :p they'll send invitations soon to the people who ' /quit'? you'd never reach total fnord. oli tosin fnord fnord fnord
19:34:11 <HackEso> .nosaer fo eciov dna tocsam lennahc devoleb ruo si tognuf
19:34:21 <HackEso> wisdom/links//links is one of the very few HTML renderers that doesn't try to store a full document tree with heavyweight objects for each node just in case javascript wants to modify it later, so it's the only engine that can render those HTMLs that are automatically converted from a PDF and put each letter in a separate element.
19:34:46 <int-e> `` thanks shachaf | shachaf1sum
19:34:46 <HackEso> 6ro3on25ro57osq9s333s90o7r00s78501o4r165 -
19:35:45 <shachaf> int-e: why are you on dadtl
19:37:09 <int-e> Because 95% of the time highlighting me here will work just fine.
19:42:36 <int-e> orin: dontaskdonttelllist
19:42:51 <int-e> (It took me a minute to figure that out, and I had the right context.)
19:43:08 -!- tromp has quit (Remote host closed the connection).
19:43:09 <orin> I was tinking dad time line
19:43:53 <int-e> ... whatever that may be.
19:46:53 -!- imode has quit (Quit: WeeChat 2.4).
19:50:57 <int-e> . o O ( "hmm" is one of the most expressive words in the english language, which is very impressive indeed because it has no vowels at all! )
19:59:29 <fizzie> Heh, one of the few bits of Finnish from fungot's IRC dataset there.
19:59:29 <fungot> fizzie: that seems to have separated from the srfi set.'
19:59:37 <fizzie> ("oli tosin fnord fnord fnord").
20:20:23 <int-e> :t tell . Endo . (:)
20:20:24 <lambdabot> MonadWriter (Endo [a]) m => a -> m ()
20:26:46 -!- tromp has joined.
20:30:55 -!- tromp has quit (Ping timeout: 246 seconds).
21:01:18 -!- arseniiv has quit (Ping timeout: 245 seconds).
21:10:48 -!- FreeFull has joined.
21:21:24 -!- tromp has joined.
21:26:08 -!- tromp has quit (Ping timeout: 255 seconds).
21:41:34 <orin> I should finish my terminal-based font editor so I don't have to use fontforge
21:42:37 <orin> AFAICT I built most of it except the save function
21:42:56 <orin> which is kind of the most important part of an editor lol
21:43:06 <orin> I guess right now it's a font viewer
21:44:52 <orin> http://www.orenwatson.be/bdfedit.htm
21:46:06 <orin> oh apparently I didn't implement adding new characters either
21:56:19 <orin> still, as a challenge I did it without using ncurses
22:20:31 -!- TellsTogo has quit (Ping timeout: 256 seconds).
22:25:33 -!- tromp has joined.
23:02:10 -!- tromp has quit (Remote host closed the connection).
23:14:38 -!- tromp has joined.
23:20:03 -!- AnotherTest has quit (Ping timeout: 245 seconds).
23:53:12 -!- tromp has quit (Remote host closed the connection).