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 @tell 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:11 Consider it noted. 02:00:49 (well, big enough to have them) 02:01:36 hm what about 64 02:01:51 > [6*n+4 | n <- [1..16]] 02:01:53 [10,16,22,28,34,40,46,52,58,64,70,76,82,88,94,100] 02:02:10 that does seem more coincidental 02:03:04 base 2,10,16 only 02:05:09 hm n needs to be even, and then it's 3*(n/2) + 1 02:07:01 the squares of odd numbers * 2 02:07:21 no wait 02:09:11 why isn't that right 02:09:49 oh, it's the square of numbers not divisible by 3, * 2 02:12:03 > [(3*n+i)^2 | n<-[0..], i<-[1,2]] 02:12:05 [1,4,16,25,49,64,100,121,169,196,256,289,361,400,484,529,625,676,784,841,961... 02:12:10 oops 02:12:21 > [(3*n+i)^2*4 | n<-[0..], i<-[1,2]] 02:12:23 [4,16,64,100,196,256,400,484,676,784,1024,1156,1444,1600,1936,2116,2500,2704... 02:32:27 The fact that 100 is square in all bases is pretty obvious 02:32:40 It's literally 1*b² 02:34:18 -!- tromp has joined. 02:35:10 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:45:54 `? imo 02:45:55 imo? ¯\(°_o)/¯ 02:52:18 also 169 02:52:32 and others, but then it's too big for base 10 02:53:12 also 1 hth 02:53:18 fancy 02:53:22 and 4 and 9 02:53:26 and 10000 02:53:48 now prove that they all have odd length 02:53:57 ( i think? ) 02:54:21 or disprove, if you disagree 02:55:10 length 2 is pretty obviously impossible 02:57:20 but i'm not sure about the larger even ones, just a hunch 02:58:08 i suppose it can be seen as a polynomial problem 02:59:08 but maybe evens can work even if they cannot be a square of a polynomial 03:03:37 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 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 (when using Bezout) 03:14:43 that last 3.2 should be 3.1 03:21:37 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 But the 64 is still an accident :) 03:48:57 -!- Remavas has quit (Quit: Leaving). 03:54:12 is there any deep reason why 10^0.3 is so close to 2 03:54:25 or is this just a very convenient coïncidence for engineers? 03:56:35 who pretty much assume 3 dB = factor of 2 03:57:15 which also means 2^10 = 30 dB = 1000 03:57:46 which is amusingly the same probably as kB vs KiB 03:57:53 btw I think dB should be used for more things 03:58:29 e.g. probability 03:58:48 then you can bayes rule with only addition 03:58:56 but I'm not sure, whether 0 dB should be 1 or 0.5 or what 04:00:26 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 and if there's anyone I trust to massively overthink this sort of thing, it's the Rationalists 04:01:32 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 This seems a touch silly. 04:03:48 the last part? 04:03:59 Yes. 04:04:12 i mean, i agree 04:04:17 i don't think anyone takes it that seriously 04:04:27 and they play for fake points iirc 04:04:56 That actually sounds about right really. 04:05:14 one could say it's practice for honing one's probability estimating skills 04:05:47 rationalism is... interesting 04:05:59 it's not quite a doomsday sex cult, but it's not entirely NOT a doomsday sex cult 04:06:21 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 I mean, it would be more appealing if not for various stories I've heard about people behaving badly 04:09:00 Yeaaah, that sort of thing can go wrong pretty easily. 04:09:20 And I'm exactly the sort of person that's easily susceptible to that, so 04:10:37 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 their solstice service was lovely 04:11:45 I went to a few MIRI workshops and I'm going to another one next month. 04:12:00 shachaf: they got you 04:12:08 did they? 04:12:16 shachaf: have you run into edwardk now that he works at MIRI? 04:12:28 Yes, he's been at the workshops. 04:12:32 cool 04:13:25 -!- xkapastel has joined. 04:14:24 Such Bay Area. 04:14:40 hikhq 04:14:45 when are you moving back to the bay are twh 04:14:47 a 04:14:51 . o O ( should MIRI worry about time-travelling Terminators ) 04:15:13 If my current job gives me a 100% raise, I might consider it. 04:15:21 whoa whoa whoa 04:15:24 are you done studenting 04:15:44 Yes, I started as an SRE at a company in Denver last month. 04:15:55 And I have a BS in applied math now. 04:16:54 And lemme tell you, 6 figure income goes a lot further when your rent is under $1k. 04:18:01 my rent when i worked at google was $500 or something 04:18:21 also it was a small windowless room, which i don't think is quite legal 04:18:30 once i was woken up by a burglar in the room 04:18:39 good times 04:18:42 Yeah, this is for a whole apartment 04:18:54 Sure. 04:19:04 And I doubt that room is $500 now. :) 04:19:16 Unless it's out in, like, Gilroy, too. 04:19:23 it was east palo alto 04:19:27 probably not 04:19:55 but have you considered moving to the bay area and also getting a 100% raise 04:20:26 I doubt that getting both is possible, and also I honestly like Colorado. 04:21:05 And for that matter, my current job 04:23:25 yeah, i moved from the Castro to the Sunset to Montana 04:23:55 noooot interested in going back to the bay area 04:24:06 May also help to know Colorado is my _home_, so 04:24:32 home is where your cat is 04:24:52 Da nyaa? 04:34:16 don't move to the bay area 04:34:25 most people i know here want to leave 04:34:35 our most likely plan is to move to the Denver area 04:34:48 sometime within the next year or two 04:34:48 Come to Colorado, we have weather 04:34:49 but it's still very much up in the air 04:34:54 yes 04:34:56 I like Colorado 04:35:16 and it shares one of the main things I love about here (lots of awesome natural areas nearby) 04:35:28 oh and weed 04:36:20 kmc: one time you said that if you moved to sf you'd eat burritos every day 04:36:22 true/false 04:36:35 did I? 04:36:48 I think so? 04:37:15 Our burritos are perhaps inferior, but they are at least quite readily available. 04:37:35 kmc: how come you aren't in any unlogged offtopic channels that i'm in tdnh 04:37:46 shrug 04:38:00 even the one you made 04:38:01 Colorado is probably a better fit for me politically too 04:38:22 Liberal, but not actively disfunctional? 04:38:33 mhm 04:38:46 socially liberal, but with a libertarian streak 04:39:08 sounds like most Montana cities 04:39:34 outside the cities it’s v red :( 04:39:42 yeah but the state level laws for LGBT people (for example) suck in MT 04:40:00 Yeah, that's a bit of a dealbreaker for me. 04:40:01 HRC puts MT in their lowest category and CO in the highest 04:41:09 but yeah the urban vs. rural divide is sharp in almost every state 04:41:16 big cities go blue even in the reddest of states 04:42:10 Not that anywhere in MT counts as a _big_ city. 04:43:29 true 04:44:55 heh yeah 04:45:30 someone asked me what the nearby “big city” was (I’m in Missoula) 04:45:37 I was like... this is it 04:46:24 rofl 04:47:00 even my hometown of Des Moines is substantially bigger than missoula (or billings) 04:47:00 By their definition of "big", pretty sure the "nearby" one would probably be something like Seattle, Salt Lake, or Denver. 04:47:16 None of which are all that close. 04:47:25 yeah, or maybe Spokane (3 hours) 04:47:45 Oh yeah, Spokane. 04:48:05 I go there for Trader Joe’s 04:48:24 Which is also not really a big one, but it'd probably at least register as a city with them. 04:49:26 you drive 3 hours to get to trader joe's? 04:49:42 I mean, TJ's is pretty awesome but that seems excessive 04:50:10 When you live in more rural parts of the country you just get used to much longer travel times. 04:50:20 sure 04:50:39 My mom for a while had a 2 hour *commute*. 04:50:44 this is your brain on carz 04:51:07 like a few times a year 04:51:26 pikhq: my wife has a 3 hour per day commute :( 04:51:30 but she's on a bus with wifi and such 04:51:40 j4cbo: fair enough 04:51:45 pikhq: 2 hours each way? 04:51:47 I visit places 3 hours away at least a few times a year 04:52:24 imo that's a lot of hours 04:52:30 can you draw me a commutative diagram 04:52:46 shachaf: Yes 04:53:34 About... 133 miles. 04:53:53 bay area commutes are really bad cause we can't build dense transit-oriented housing 04:55:08 we love the environment soooooo much that we hold up transit and housing for decades in "environmental review" 04:56:16 so instead people spend hours and hours per day driving 04:56:19 love that environment 04:56:26 Well yeah, gotta consider the risks to the environment from getting rid of cars 04:58:02 https://i.redd.it/gilx3e4wcsh21.jpg 04:59:20 “environment” in California means “impact on nimbys” 05:28:01 [[Semordnilap]] https://esolangs.org/w/index.php?diff=60021&oldid=60003 * Oerjan * (+41) /* Examples */ The language demands this example 05:29:57 i suppose this is the other kind of esoteric 05:42:21 [[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 kmc: did you see that paper about a compacting malloc 05:49:12 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). 06:42:04 no 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 [[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 @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:19:31 Consider it noted. 18:20:32 @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:20:32 Consider it noted. 18:21:07 @tell int-e Second: if P(0) = a^k, replace P(x) by P(x+a) to get 0th coefficient 0. 18:21:07 Consider it noted. 18:26:24 @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:26:24 Consider it noted. 18:28:40 @tell int-e Oops, wait, that P(x) to P(x+a) step is wrong isn't it. Darn. 18:28:40 Consider it noted. 18:29:07 or is it. 18:30:47 ...and _now_ my brain is tired again. 18:32:37 -!- oerjan has quit (Quit: Later). 18:42:25 -!- xkapastel has joined. 19:00:08 `? code 19:00:15 [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:10 `forget link 19:02:11 rm: cannot remove 'wisdom/link': No such file or directory 19:02:14 `forget links 19:02:16 Forget what? 19:07:21 -!- imode has joined. 19:07:25 `? e-module 19:07:26 E-modules are modules over a web ring. Uaneb invented them. 19:07:48 `? zomgmodules 19:07:49 ZOMGMODULES is both a small blonde veterinarian and just modules over the ring of ZOMGs. 19:08:21 `? d-module 19:08:22 D-modules are just modules over the ring of differential operators. Taneb invented them. 19:17:51 `?ring 19:17:52 /srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: ?ring: not found 19:17:55 `? ring 19:17:56 Addition, subtraction and multiplication have a certain ring to them. 19:18:15 -!- Essadon has joined. 19:18:17 `last wisdom/links 19:18:18 last: cannot open /var/log/wtmp: No such file or directory 19:18:35 `dontaskdonttelllist 19:18:36 dontaskdonttelllist: quintopia myname int-e 19:18:43 oerjan: ^^ 19:18:46 -!- Essadon has quit (Max SendQ exceeded). 19:21:09 ``` hg cat -r9527 wisdom/links # int-e: 19:21:10 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:21:37 I see. 19:21:46 `forget code 19:21:48 Forget what? 19:22:22 (IIRC that was a fungot quote, so devoid of information :P) 19:22:22 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 fungot: sounds exciting, carry on 19:22:45 int-e: make it not heap allocated. i donŽt have any how to do with timing and velocity, basic ai routines, etc 19:23:36 heh 19:25:09 `url 19:25:10 https://hack.esolangs.org/repo/ 19:26:49 `cats # pfft. 19:26:49 /usr/bin/tail: option used in invalid context -- 1 19:26:54 `` cats # pfft. 19:26:54 meow meow meow meow 19:27:43 `cbt cbt 19:27:44 cat bin/"$1" 19:30:04 `main HackEso 19:30:06 /srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: main: not found 19:30:11 `maim HackEso 19:30:12 HackEso just froze off their fingers! 19:30:19 -!- TellsTogo has joined. 19:31:38 `rm bin/satan 19:31:39 No output. 19:33:13 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 19:34:09 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 .nosaer fo eciov dna tocsam lennahc devoleb ruo si tognuf 19:34:19 `before wisdom/links 19:34:21 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:25 shachaf: ah! 19:34:35 `thanks shachaf 19:34:35 Thanks, shachaf. Thachaf. 19:34:46 `` thanks shachaf | shachaf1sum 19:34:46 6ro3on25ro57osq9s333s90o7r00s78501o4r165 - 19:35:45 int-e: why are you on dadtl 19:37:09 Because 95% of the time highlighting me here will work just fine. 19:42:18 `? dadtl 19:42:19 dadtl? ¯\(°_o)/¯ 19:42:36 orin: dontaskdonttelllist 19:42:51 (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 I was tinking dad time line 19:43:53 ... whatever that may be. 19:46:53 -!- imode has quit (Quit: WeeChat 2.4). 19:50:50 `? hmm 19:50:51 hmm? ¯\(°_o)/¯ 19:50:57 . 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 Heh, one of the few bits of Finnish from fungot's IRC dataset there. 19:59:29 fizzie: that seems to have separated from the srfi set.' 19:59:37 ("oli tosin fnord fnord fnord"). 20:20:23 :t tell . Endo . (:) 20:20:24 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 I should finish my terminal-based font editor so I don't have to use fontforge 21:42:37 AFAICT I built most of it except the save function 21:42:56 which is kind of the most important part of an editor lol 21:43:06 I guess right now it's a font viewer 21:44:52 http://www.orenwatson.be/bdfedit.htm 21:46:06 oh apparently I didn't implement adding new characters either 21:56:19 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).