00:05:38 coily 00:12:46 -!- Zarutian has joined. 00:14:12 -!- Seaser has quit (Read error: Connection reset by peer). 00:20:50 -!- Seaser has joined. 00:30:43 -!- oerjan has joined. 00:40:35 -!- sease has joined. 00:44:05 -!- Seaser has quit (Ping timeout: 255 seconds). 00:44:24 -!- Seaser has joined. 00:45:53 -!- sease has quit (Ping timeout: 255 seconds). 00:53:29 -!- Seaser has quit (Ping timeout: 252 seconds). 01:07:13 -!- sleffy has quit (Ping timeout: 240 seconds). 01:09:50 `? apple 01:09:51 An apple is a sweet fruit grown on trees in temperate areas. Also an unimportant Californian rectangle factory. 01:09:58 `? apples 01:09:59 An apple is a sweet fruit grown on trees in temperate areas. Also an unimportant Californian rectangle factory. 01:10:11 `? pear 01:10:12 pear? ¯\(°​_o)/¯ 01:10:20 `? lambdabo 01:10:21 lambdabo? ¯\(°​_o)/¯ 01:10:22 `? lambdabot 01:10:23 lambdabot is a fully functional bot. just don't ask about @src. 01:20:45 -!- Lord_of_Life has quit (Excess Flood). 01:21:01 -!- Lord_of_Life has joined. 01:39:09 -!- Seaser has joined. 01:48:18 -!- Phantom_Hoover has quit (Quit: Leaving). 01:54:43 -!- Seaser has quit (Ping timeout: 240 seconds). 01:56:31 -!- Seaser has joined. 02:03:19 -!- Cale has quit (Ping timeout: 246 seconds). 02:08:28 -!- misterhitla has joined. 02:09:32 -!- sease has joined. 02:12:41 -!- Seaser has quit (Ping timeout: 252 seconds). 02:15:51 -!- Cale has joined. 02:27:08 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 02:32:07 shachaf: what is the witness twh 02:45:23 why does the wisdom for lambdabot say "don't ask about @src"? does it even have a command to post a link to its source? 02:53:57 @src fst 02:53:58 fst (x,_) = x 02:54:25 quintopia: you would know if you'd tried using it enough hth 02:56:40 hm did my bugfix ever get merged 02:57:01 @src Monad Maybe 02:57:01 Source not found. Are you on drugs? 02:57:18 @src >>= Maybe 02:57:18 Source not found. 02:57:25 @src (>>=) Maybe 02:57:26 Source not found. This mission is too important for me to allow you to jeopardize it. 02:57:33 @src Maybe (>>=) 02:57:33 (Just x) >>= k = k x 02:57:33 Nothing >>= _ = Nothing 02:57:37 apparently not. 03:01:24 i think int-e got miffed because i refused to use git to squash the commits. 03:02:13 then charitably he forgot about it all. 03:05:39 `? lifespan 03:05:40 Your lifespan is how fat you are in the time dimension. The temporally fattest person in the world has a temporal length of 122 years. Interestingly, the fatter you are in space, the less fat you tend to be in time. 03:14:16 -!- Zarutian has quit (Quit: Zarutian). 03:16:10 -!- sleffy has joined. 03:20:59 -!- Seaser has joined. 03:23:24 -!- sease has quit (Ping timeout: 240 seconds). 03:24:26 `? cyanide 03:24:27 Cyanide is the murder of the color cyan. 03:24:33 `forget cyanide 03:24:35 Forget what? 03:25:40 i had to murder that because it murdered morphology hth 03:28:23 ? 03:28:35 rdococ: it would be cyanicide hth 03:29:03 `? morphology 03:29:04 morphology? ¯\(°​_o)/¯ 03:30:35 `learn Morphology is the theory that you can never have enough phở. boily invented it. 03:30:37 Learned 'morphology': Morphology is the theory that you can never have enough phở. boily invented it. 03:30:58 . o O ( what do you mean i'm hypocritical? ) 03:36:05 `forget does this exist 03:36:06 rm: cannot remove ‘wisdom/does this exist’: No such file or directory \ Forget what? 03:36:10 good, good 03:39:08 `? does this exist 03:39:09 does this exist? ¯\(°​_o)/¯ 03:39:28 `? phở 03:39:29 Phở là một món ăn truyền thống của Việt Nam, cũng có thể xem là một trong những món ăn đặc trưng nhất cho ẩm thực Việt Nam. 03:51:14 -!- hppavilion[1] has joined. 03:51:36 oerjan: a computer game int-e was playing hth 04:00:59 nyeh 04:01:04 op[op[# 04:01:06 hi 04:50:13 -!- ais523 has quit (Ping timeout: 240 seconds). 04:55:15 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 05:15:18 -!- hppavilion[1] has joined. 05:36:20 <\oren\> this is a good anime 05:36:27 <\oren\> https://www.youtube.com/watch?v=3uAeC9myX04 05:51:45 <\oren\> https://youtu.be/-i10liqh90E?t=4m43s hahahahahahahahahahaha 05:55:51 -!- Cale has quit (Ping timeout: 255 seconds). 05:58:53 -!- Cale has joined. 05:58:57 Is there any way of writing numbers- which was ever seriously used- \more\ terrible than Roman Numerals 06:08:00 Greek numerals were probably worse 06:08:38 Well, I don't know, maybe not 06:08:52 At least they were roughly kinda decimal 06:09:24 But not positional, they used all different letters for ones, tens, hundreds, and thousands 06:09:37 https://en.wikipedia.org/wiki/Greek_numerals#Table 06:26:12 -!- doesthiswork has quit (Quit: Leaving.). 06:48:02 -!- izabera has changed nick to flawful. 06:57:23 -!- MoALTz has joined. 07:00:41 -!- FreeFull has quit. 07:26:15 -!- sleffy has quit (Ping timeout: 240 seconds). 07:39:13 I'm thinking about music 07:39:15 For some reason 07:39:47 A standard relationship between mathematics and music is that, if you take a frequency f, the frequency 2f is just f shifted up an octave 07:40:13 In general, if you go up by n octaves, you multiply the frequency by (2^n)f, and if n is an integer, you hear the same note 07:40:46 But... what makes it the same note? If it's that they're harmonics, does that mean that the note with frequency 3f is also the same? 07:42:28 In particular, that would make it the same note ~1.5849625007211563 octaves up 07:44:01 -!- doesthiswork has joined. 07:47:13 -!- haavard has quit (Ping timeout: 264 seconds). 08:02:06 -!- oerjan has quit (Quit: Nite). 08:10:56 -!- AnotherTest has joined. 08:25:36 -!- MoALTz has quit (Quit: Leaving). 08:25:44 -!- doesthiswork has quit (Quit: Leaving.). 08:26:41 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 08:44:22 3f would be the "perfect fifth" an octave up. 08:52:12 @ask hppavilion[1] see https://en.wikipedia.org/wiki/Bohlen–Pierce_scale 08:52:12 Consider it noted. 08:56:55 -!- Taneb has quit (Ping timeout: 256 seconds). 08:57:03 -!- Taneb has joined. 08:57:29 -!- jameseb has quit (Ping timeout: 256 seconds). 08:58:12 @ask hppavilion[1] the effect is called octave equivalence, for which google suggests http://www.neuroscience-of-music.se/Octave-History.htm 08:58:12 Consider it noted. 08:58:27 -!- jameseb has joined. 09:44:52 -!- augur has joined. 09:45:01 -!- augur has quit (Read error: Connection reset by peer). 10:13:26 -!- vodkode has joined. 11:15:08 -!- boily has joined. 11:19:26 -!- augur has joined. 11:19:40 -!- augur has quit (Remote host closed the connection). 11:21:16 `wisdom 11:21:17 flagpole//A flagpole is like a tadpole, but with a flag on top. 12:08:33 -!- xfix_ has joined. 12:10:11 -!- xfix has quit (Ping timeout: 240 seconds). 12:14:38 -!- boily has quit (Quit: MEET CHICKEN). 12:17:47 -!- Phantom_Hoover has joined. 12:29:01 -!- augur has joined. 12:54:41 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 13:12:21 -!- augur has quit (Remote host closed the connection). 13:17:13 -!- augur has joined. 13:21:20 -!- Lord_of_Life has quit (Excess Flood). 13:21:43 -!- augur has quit (Ping timeout: 240 seconds). 13:25:01 -!- Lord_of_Life has joined. 13:27:02 -!- augur has joined. 13:31:30 -!- augur has quit (Ping timeout: 245 seconds). 13:36:44 -!- augur has joined. 13:37:13 -!- idris-bot has joined. 13:37:41 -!- idris-bot has quit (Client Quit). 13:40:21 -!- contrapumpkin has joined. 13:51:08 -!- augur has quit (Ping timeout: 255 seconds). 13:55:23 -!- augur has joined. 14:06:05 -!- Zarutian has joined. 14:41:00 -!- sease has joined. 14:42:43 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 14:44:32 -!- Seaser has quit (Ping timeout: 252 seconds). 14:45:25 -!- `^_^v has joined. 14:47:52 -!- Seaser has joined. 14:50:03 [wiki] [[Special:Log/newusers]] create * Okx * New user account 14:50:16 -!- sease has quit (Ping timeout: 260 seconds). 14:56:19 -!- sease has joined. 14:57:11 -!- Seaser has quit (Ping timeout: 260 seconds). 14:58:51 [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=51654&oldid=51650 * Okx * (+173) introduce myself 14:58:57 [wiki] [[BrainfuckSubstitution]] N https://esolangs.org/w/index.php?oldid=51655 * Okx * (+2900) Created page with "BrainfuckSubstitutor (also known as ''BF Substitutor'' or ''BFS'') is an extension of Brainfuck that allows you to substitute parts of the code for variables. There are two w..." 14:59:34 [wiki] [[Special:Log/move]] move * Okx * moved [[BrainfuckSubstitution]] to [[BrainfuckSubstitutor]]: wrong name 14:59:51 [wiki] [[Special:Log/move]] move * Okx * moved [[BrainfuckSubstitutor]] to [[Brainfuck Substitutor]] 14:59:58 [wiki] [[Brainfuck Substitutor]] https://esolangs.org/w/index.php?diff=51660&oldid=51658 * Okx * (+1) 15:00:45 [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=51661&oldid=51636 * Okx * (+28) 15:32:04 -!- Lord_of_Life has quit (Excess Flood). 15:33:32 -!- Lord_of_Life has joined. 15:37:21 -!- Lord_of_Life has quit (Excess Flood). 15:40:01 -!- Lord_of_Life has joined. 15:43:21 -!- Zarutian has quit (Quit: Zarutian). 15:43:54 -!- Phantom_Hoover has joined. 15:49:51 -!- sease has quit (Quit: Leaving). 15:56:13 -!- erkin has joined. 16:00:11 -!- MoALTz has joined. 16:26:45 -!- hppavilion[1] has joined. 16:36:55 -!- hppavilion[1] has quit (Ping timeout: 245 seconds). 16:39:58 -!- vodkode has quit (Quit: Leaving). 16:51:04 -!- Zarutian has joined. 17:06:41 -!- hppavilion[1] has joined. 17:13:10 -!- hppavilion[1] has quit (Ping timeout: 245 seconds). 17:19:18 -!- FreeFull has joined. 17:21:13 -!- Phantom_Hoover has quit (Quit: Leaving). 17:39:19 <\oren\> http://www.capitol.state.tx.us/BillLookup/History.aspx?LegSess=85R&Bill=HCR75 17:46:49 -!- myname has joined. 17:50:26 -!- sleffy has joined. 17:54:24 `? tadpole 17:54:25 A tadpole is like a flagpole, but underwater, and also a tad shorter. 17:56:04 lol 17:57:06 heh 17:57:28 `? mapole 17:57:29 A mapole is a thwackamacallit built from maple according to Canadian standards. The army version includes a spork, a corkscrew and a moose whistle. A regulatory mapole measures 6’ by 12 kg, ±0.5 inHg. 17:58:07 -!- Phantom_Hoover has joined. 17:58:16 ``` echo wisdom/*pol* 17:58:17 wisdom/flagpole wisdom/mapole wisdom/oklopol wisdom/poland wisdom/politics wisdom/rholypoly wisdom/tadpole wisdom/topology wisdom/typology 17:58:27 is there a topole too? 17:58:30 `? topology 17:58:31 Topology is another name for topos theory. 17:58:33 `? singular 17:58:34 singular? ¯\(°​_o)/¯ 18:02:11 -!- Herbstkind has joined. 18:03:47 -!- Phantom_Hoover has quit (Quit: Leaving). 18:13:44 -!- augur has quit (Remote host closed the connection). 18:18:41 -!- augur has joined. 18:28:23 -!- augur has quit (Ping timeout: 252 seconds). 18:31:28 -!- Zarutian has quit (Quit: Zarutian). 18:38:30 [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[BrainfuckSubstitution]]": Obsolete redirect 18:38:55 [wiki] [[Special:Log/delete]] delete * Oerjan * deleted "[[BrainfuckSubstitutor]]": Obsolete redirect 18:52:17 -!- h0rsep0wer has joined. 18:59:24 -!- Zarutian has joined. 19:08:25 apparently the certificate is invalid? 19:15:31 <\oren\> "Urging Texans not to use the flag emoji of the Republic of Chile when referring to the Texas flag." 19:44:25 -!- Seaser has joined. 19:45:45 -!- DHeadshot has joined. 19:59:33 -!- FreeFull has quit (Quit: rebooting). 20:01:56 -!- FreeFull has joined. 20:08:22 -!- Zarutian has quit (Quit: Zarutian). 20:21:26 -!- sease has joined. 20:22:13 -!- Seaser has quit (Ping timeout: 240 seconds). 20:25:03 -!- Seaser has joined. 20:25:43 -!- sease has quit (Ping timeout: 240 seconds). 20:30:21 -!- Seaser has quit (Ping timeout: 260 seconds). 20:33:36 -!- Seaser has joined. 20:39:38 -!- Seaser has quit (Ping timeout: 240 seconds). 20:45:14 -!- Seaser has joined. 21:37:07 -!- Herbstkind has quit (Quit: Leaving). 21:39:04 -!- h0rsep0wer has quit (Quit: Leaving). 21:52:03 -!- Robdgreat has left. 22:04:50 -!- hppavilion[1] has joined. 22:06:40 I think migraines are, verifiably, The Worst Thing™ 22:06:44 -!- MoALTz has quit (Quit: Leaving). 22:06:48 @massages-lewd 22:06:49 Unknown command, try @list 22:06:51 @massages-lowd 22:06:52 Jafet asked 13h 14m 39s ago: see https://en.wikipedia.org/wiki/Bohlen–Pierce_scale 22:06:52 Jafet asked 13h 8m 39s ago: the effect is called octave equivalence, for which google suggests http://www.neuroscience-of-music.se/Octave-History.htm 22:11:01 Jafet: My first thought when I read the second was that Google— the company— had at some point suggested people read that for some reason. 22:13:32 The Programmer's Scale has the middle C equivalent at 256 Hz (of course) and 16 notes between octaves 22:18:10 > (2**(1/3),5/4,2**(5/12),4/3,2**(7/12),3/2) 22:18:12 (1.2599210498948732,1.25,1.3348398541700344,1.3333333333333333,1.49830707687... 22:18:53 this is basically why we have that 12 tone scale, it has close approximations to those harmonics 22:21:55 for a 16 tone scale, you'd have 3/2 as 1.477, 4/3 as 1.354, 5/4 as 1.189... 22:25:43 so 3/2 is the perfect fifth and 4/3 the perfect fourth, hmm hmm. 22:27:01 int-e: ...wait, wat? 22:28:44 -!- Seaser has quit (Ping timeout: 240 seconds). 22:29:38 https://en.wikipedia.org/wiki/12_equal_temperament#Comparison_to_just_intonation 22:31:01 There's a fascinating list of equal temperament scales that have, apparently, been used, with 12 (standard), 15, 17, 19, 22, 24, 31, 34, 41, 53, 58, and 72 intervals. 22:51:35 -!- Phantom_Hoover has joined. 22:53:13 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 22:57:58 -!- Phantom_Hoover has quit (Quit: Leaving). 23:01:16 -!- longerstaff13 has left ("Leaving"). 23:16:33 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:31:10 -!- Sgeo has quit (Read error: Connection reset by peer). 23:31:57 -!- Zarutian has joined. 23:32:16 -!- AnotherTest has quit (Ping timeout: 240 seconds). 23:33:32 hi 23:41:59 -!- Sgeo has joined. 23:42:37 -!- Sgeo has quit (Remote host closed the connection). 23:42:59 -!- Sgeo has joined. 23:46:38 <\oren\> how are you gentlemen! all your base are belong to us. you have no chance to survive make your time 23:46:43 <\oren\> https://www.youtube.com/watch?v=6ssZ1KdueTU 23:47:40 hm. 23:48:13 hi esoterians 23:52:37 Hi rdococ 23:53:49 hellrdococ! 23:54:35 Has anyone seen the sequence 1 + 1 + 2 + 3 + 6 + 10 ...? 23:54:56 Triangle numbers? 23:55:08 Or...? 23:57:17 @oeis 1 1 2 3 6 10 23:57:18 https://oeis.org/A001405 a(n) = binomial(n, floor(n/2)). 23:57:18 [1,1,2,3,6,10,20,35,70,126,252,462,924,1716,3432,6435,12870,24310,48620,9237... 23:57:46 hm 23:57:48 could it be that? 23:58:08 Looks like it... 23:58:21 <\oren\> @oeis 1 2 4 7 13 23 23:58:25 https://oeis.org/A048888 a(n) = Sum{T(m,n+1-m): m=1,2,...,n}, array T as in ... 23:58:25 [0,1,2,4,7,13,23,42,76,139,255,471,873,1627,3044,5718,10779,20387,38673,7356... 23:58:42 If you want partial sums of A001405, that's A036256. 23:58:43 yeah 23:58:45 that might be it 23:59:23 ty 23:59:35 <\oren\> @oeis 1 1 2 3 5 8 13 23:59:41 https://oeis.org/A000045 Fibonacci numbers: F(n) = F(n-1) + F(n-2) with F(0)... 23:59:41 [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... 23:59:42 -!- Remavas has joined.