00:23:23 weren't there five wisdoms? why are there only four now? 00:37:04 -!- moonheart08 has joined. 00:39:39 -!- augur has joined. 00:47:30 yes 00:47:42 x/(x+y) 00:49:30 Someone put in a scow wisdom entry for the five wisdoms, so I'm put off. 00:49:34 -!- augur has quit (Remote host closed the connection). 00:49:41 Now I'm all about the four wisdoms. 00:49:44 `? five wisdoms 00:49:46 five wisdoms? ¯\(°​_o)/¯ 00:50:11 -!- augur has joined. 00:52:46 `le/rn the third wisdom//The third wisdom is that four equals five. 00:52:49 Learned 'the third wisdom': The third wisdom is that four equals five. 00:52:56 hth 00:55:06 -!- augur has quit (Ping timeout: 250 seconds). 00:55:39 so there are both of them, all fouve. 01:04:09 `? mapole 01:04:10 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. 01:05:34 `? spork 01:05:35 A spork is something to be randomly held in front of penguins. 01:05:50 * moonheart08 steals ALL the mapoles 01:06:18 even the booby-trapped ones? 01:06:35 moonheart08: you're toying with your life. are you certified? 01:08:49 * moonheart08 derps a derp 01:09:29 * oerjan hides behind a rock in case moonheart08 explodes 01:10:10 MOO 01:10:55 -!- augur has joined. 01:12:05 MOOOOOOOOOOOOOOOOOOOOOOOOOOO 01:12:12 Ō_Ō... 01:13:05 shachaf: I shortened it 01:13:35 * moonheart08 explodes in rainbows from boobytrapped mapoles bcuz he can 01:13:40 int-e: What do you mean? 01:13:53 `doag quines/haskell 01:14:05 10020:2016-12-24 ` chmod +x quines/haskell; sled "quines/haskell//s#^#echo \'#; s#\\\$#\'#" \ 10019:2016-12-24 ` chmod +x quines/haskell; sled "quines/haskell//s#^#echo \'#; s#\$#\'#" \ 10018:2016-12-24 ` chmod a-x quines/haskell \ 8602:2016-06-25 ` ( echo \'main=putStr s>>print s;s="main=putStr s>>print s 01:14:21 `2 doag quines/haskell 01:14:34 2/2:Str s>>print s;s="\' ) > quines/haskell \ 8601:2016-06-25 ` ( echo \'main=putStr s>>print s\'; echo \'s="main=putStr s>>print s\\ns="\' ) > quines/haskell \ 7913:2016-05-07 mkx quines/haskell//echo \'main=putStrLn\$(<*>)(++)show"main=putStrLn\$(<*>)(++)show"\' 01:14:55 I see, you golfed the quine and got rid of the echo by accident. 01:15:09 yes. 01:15:45 . o O ( why would a quine not be a quine anyway... meh ) 01:15:54 * moonheart08 golfs golf 01:15:56 let that be a lesson to use `mk hth 01:16:10 (or `mkx) 01:16:24 * oerjan gets hole in one 01:16:25 oerjan: it's not due to mk... I didn't really expect the echo. 01:16:33 shocking 01:16:39 yes, I'm stupid 01:16:43 also sleepy, good night 01:17:26 `? golf 01:17:27 golf? ¯\(°​_o)/¯ 01:17:34 int-e: Well, classically there would be a GHC-compiled binary of the quine. 01:17:46 int-e: But GHC isn't available, so I compiled it to sh by hand. 01:17:56 "golf" could be a plausible typo for "gold", or vice versa. 01:20:01 `learn Golf is the shortest game known. The goal is to get a ball into a hole with a single stroke. 01:20:05 Learned 'golf': Golf is the shortest game known. The goal is to get a ball into a hole with a single stroke. 01:23:13 -!- Lord_of_Life has quit (Excess Flood). 01:26:52 -!- Lord_of_Life has joined. 01:28:05 -!- moonheart08 has quit (Ping timeout: 248 seconds). 01:30:09 -!- boily has quit (Quit: ENVELOPE CHICKEN). 01:33:44 -!- augur has quit (Remote host closed the connection). 01:34:18 -!- augur has joined. 01:38:48 -!- augur has quit (Ping timeout: 245 seconds). 01:48:35 -!- augur has joined. 01:49:14 -!- oerjan has quit (Quit: Nite). 02:11:07 -!- rdococ_ has joined. 02:12:59 -!- augur has quit (Remote host closed the connection). 02:13:17 -!- rdococ has quit (Ping timeout: 260 seconds). 02:18:36 -!- rdococ_ has changed nick to rdococ. 02:23:46 -!- augur has joined. 02:34:45 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 02:44:18 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 02:54:02 -!- augur has quit (Read error: Connection reset by peer). 03:09:48 -!- moonythedwarf has joined. 03:10:40 -!- moonythedwarf has changed nick to santaoon. 03:15:30 -!- hppavilion[1] has joined. 03:18:31 * santaoon derps a derp 03:25:07 * santaoon derps a derped derp 03:28:10 * santaoon derps a derped derp and runs from the insueing derped explosion of derpy derped derps and derps the derp award for most derpy derped derps in a derpy sentence 03:28:32 * santaoon derps out 03:28:50 ok im done 03:37:08 -!- boily has joined. 03:40:08 <\oren\> hi derp, Hi boily. 03:40:44 helloily 03:40:59 \helloren\ 03:41:04 he\\oren\, santahelloon. 03:42:17 what 03:42:26 hell...oon? 03:42:36 `? porthello 03:42:38 Hellonfused one. Porthellos are the standard greeting format in #esoteric. Best enjoyed with some thé or caffè and a fternooner. 03:42:49 what? 03:43:00 hellego? 03:43:12 a porthello is a hello portmanteau. 03:43:17 oh 03:43:26 `? thé 03:43:28 Thé is an oddly-spelled hot beverage popular in the Commonwealth. 03:43:31 `? caffè 03:43:33 Caffè is an oddly-spelled hot beverage popular in Italy. 03:43:35 `? fternooner 03:43:36 fternooner (Danish »fternooner«, Norwegian «ttermiddag», Swedish ”ftermiddag”, Icelandic „íðdegis“) is a screamingly delicious pastry. 03:43:51 \oren\derstand now 03:44:06 basically puns 03:44:16 basicoily* 03:44:40 ala krala 03:44:43 lala lala 03:46:01 I will now come up with an esoteric temperatur3 sc4le. 03:46:19 0 -> i Kelvin 03:46:23 100 -> 1 kelvin 03:46:37 yes. 03:46:39 i kelvin. 03:49:07 -!- rdococ has changed nick to rduolph. 03:49:51 * santaoon dwarfs the fortress 03:51:18 -!- rduolph has changed nick to rdococ. 03:54:02 <\oren\> rdococ: that should play merry hell with the Maxwell-Boltzmann distribution. 03:55:46 <\oren\> what's the square root of i cubed? 04:00:26 http://www.wolframalpha.com/input/?i=sqrt(i+%5E+3) 04:01:54 \oren\ lol 04:02:58 \oren\: Quantity Calculus (aka "Dimensional Analysis") has you measuring by multiply "Quantities" (aka "Dimensions") which are raised to integer or sometimes real powers. 04:03:24 Complex Quantity Calculus probably has a use somewhere in the universe 04:03:33 Maybe you measure quantum distances is m^2i ? 04:05:20 -!- augur has joined. 04:06:20 -!- nitrix has changed nick to nitri-xmas. 04:21:33 -!- santaoon has quit (Ping timeout: 258 seconds). 04:37:37 -!- hppavilion[1] has changed nick to hohohoppavilion[. 04:37:48 -!- hohohoppavilion[ has changed nick to hohopavilion[1]. 04:44:16 -!- rdococ_ has joined. 04:44:41 -!- rdococ has quit (Disconnected by services). 04:44:47 -!- boily has quit (Quit: PODCAST CHICKEN). 04:45:36 -!- hohopavilion[1] has changed nick to channuvilion[1]. 04:45:43 OK, I'm satisfied 04:46:43 hiho 04:46:54 Now we should multiply the i coefficient by 39reif/ 04:48:58 -!- rdococ_ has changed nick to rdococ. 04:52:35 -!- rdococ_ has joined. 04:55:35 -!- rdococ has quit (Ping timeout: 246 seconds). 04:56:28 -!- zhangzx_ has joined. 04:57:18 -!- zhangzx_ has left. 04:57:39 -!- rdococ_ has changed nick to rdococ. 05:10:00 -!- doesthiswork has quit (Quit: Leaving.). 05:16:02 -!- rdococ_ has joined. 05:17:16 -!- rdococ has quit (Ping timeout: 250 seconds). 05:20:02 -!- rdococ_ has changed nick to rdococ. 05:25:39 rdococ: OK, what's with the constant cycling 05:27:03 internet connectivity issues 05:27:19 my internet strength is a sine wave 05:28:31 100... then 0... then 100... 05:28:47 a sine wave + 0.5, basically. 05:28:57 brb 05:34:49 rdococ: So when is your connectivity at -0.5?? 05:39:41 + 1 I mean 05:42:55 of course, negative connectivity would mean that when I try to load a webpage, I lose information about that webpage rather than gain it. 05:43:18 negative information, however... 05:45:20 channuvilion[1], what do you think about negative information? 05:46:34 also... my internet is slower than 70% of GB 05:46:43 -!- doesthiswork has joined. 05:46:59 -!- doesthiswork has quit (Client Quit). 05:49:16 -!- channuvilion[1] has left ("PH'NGLUI MGLW'NAFH HPPAVILION[1] LA'SKA WGAH'NAGL FHTAGN"). 05:54:25 rdococ: If I take a small piece of your brain, have I given you negative information? 05:55:11 -!- doesthiswork has joined. 05:57:05 yes? 05:57:24 somewhat? 05:57:33 see, the more information there is, the more variety there is 06:04:26 the less info, the less possible kinds of info it could be 06:04:32 so negative info comes in negative varieties 06:12:25 <\oren\> ﾒﾘｰｸﾘｽﾏｻ ﾜﾝ ｱﾝﾄﾞ ｵｰﾙ! 06:13:50 <\oren\> s/ｸﾘｽﾏｻ/ｸﾘｽﾏｽ/ 06:14:14 is that negative info? 06:14:23 I was about to say... 06:14:48 ...hello? 06:14:49 "Kurisumasa" is a real weird way of Japanizing that. 06:15:14 rdococ: Um, I guess negative information works in a thermodynamic sense, but... 06:16:01 imagine one bit of info. 06:16:10 it's either 1, or 0. 06:16:26 two bits carry twice as much variation... three bits again, twice as much as before... 06:16:42 so 0 bits would carry 1 variation and -1 bits 0.5? 06:27:41 -!- doesthiswork has quit (Quit: Leaving.). 06:30:13 <\oren\> ﾒﾘｰ ｸﾘｽﾏｽ ﾜﾝ ｱﾝﾄﾞ ｵｰﾙ! 06:30:23 <\oren\> there 06:34:11 halfwidth katakana whyyy 06:38:47 ｳｪﾙ､ ﾕ ｼｰ､ ｲﾝ ｼﾞｬﾊﾟﾝ ｾﾞｲ ｼﾝﾌﾟﾘｰ ﾁｪﾝｼﾞｯﾄﾞ ｻﾞ ﾌｫﾝﾂ ﾌｫｱ ｲﾝｸﾞﾘｯｼｭ ｺﾝﾋﾟｭﾀｰｽﾞ ﾂｰ ﾊｳﾞ ｼﾞｬﾊﾟﾆｰｽﾞ ﾃｷｽﾄ ｲﾝ ｾﾞﾑ｡ 06:40:53 i h8 u 06:42:02 (Well, you see, in Japan they simply changed the fonts for English computers to have Japanese text in them.) 06:43:35 Or if you prefer: weru, yu shii, in japan zei shinpurii chenjeddo za fontsu foa ingurisshu konpyutāzu tsuu havu japaniizu tekisuto in zemu. 06:43:47 *chenjiddo 06:55:15 -!- hppavilion[1] has joined. 07:09:43 -!- doesthiswork has joined. 07:09:47 -!- doesthiswork has quit (Client Quit). 07:17:57 negative information is when a web page that was cached gets replaced by a domain parking page 07:19:22 -!- kiki` has joined. 07:23:14 Jafet: Fair enough 07:24:24 makes sense 07:32:17 Imagine information as a range of switches 07:32:38 every switch multiplies the possible variations by 2 07:32:46 so for n bits you have 2^n info 07:32:55 -1 bits? 0.5 info 07:33:17 thing is tho, in this system 1 info is no information since it's multiplicative 07:49:39 pikhq_: tekisuto? not tekusuto? 07:49:58 pikhq_: also why zei and zemu? i expected dei and demu 07:49:59 -!- hppavilion[1] has changed nick to channavilion[1]. 07:50:26 -!- channavilion[1] has changed nick to channuvilion[1]. 07:57:02 rdococ: My switches are dimmer. 07:58:34 ??? 08:02:09 -!- augur has quit (Remote host closed the connection). 08:02:36 rdococ: Dimmer switches. They aren't on-off. 08:11:03 i just found out that this is an italian dessert https://en.wikipedia.org/wiki/Zuppa_Inglese 08:11:09 my whole life has been a lie 08:12:52 half-on off? 08:27:50 fun fact: my internet is slower than 70% of my country's internet 08:51:50 -!- augur has joined. 09:15:02 -!- rdococ_ has joined. 09:15:46 -!- rdococ has quit (Disconnected by services). 09:15:55 -!- rdococ_ has changed nick to rdococ. 09:23:52 `? parentheses 09:24:04 parentheses? ¯\(°​_o)/¯ 09:24:09 `quotes parentheses 09:24:12 314) I figured out something about C program. If you use ? : a lot then you don't need as much parentheses but it makes it more difficult to understand. 09:24:18 `quotes parentheses 09:24:19 314) I figured out something about C program. If you use ? : a lot then you don't need as much parentheses but it makes it more difficult to understand. 09:24:27 `quotes careful 09:24:28 197) are you always careful to have a small enough margin so that it can't contain the proof? nddrylliog: i usually use latex, and make sure my hd is almost full \ 810) omg that JIT is really amazing [...] I hear if you listen carefully to the rustling wind on a warm night with a full moon, you can 09:35:11 -!- rdococ has quit (Quit: I'll be back... maybe not in this channel though.). 09:39:01 -!- rdococ has joined. 09:43:28 -!- esmeralda has joined. 09:46:15 rdococ: k * v with k between 0 and 1 10:31:50 heya 10:36:05 -!- esmeralda has quit (Ping timeout: 258 seconds). 10:37:57 Happy Halloween 10:38:34 you must be mistaken 10:38:49 it's clearly christmas 10:38:55 but it's an easy mistake for a programmer to make 10:39:11 because DEC 25 = OCT 31 :p 10:39:17 ;) 10:39:40 xD 10:40:20 source? 10:40:28 simple conversion 10:40:31 25 = 8*3 + 1 10:40:50 or in my favourite base, 25 = 12*2 + 1 10:42:06 rdococ: you don't want to tell me, you've been that witty like.. ad hoc, do you? :o never 10:42:24 uh...? 10:42:48 is that a classic joke? 10:42:54 yes? 10:42:59 It was a joke I was making 10:43:02 I heard it before 10:43:11 But I got it from I think a Murderous Maths book 10:43:13 and I knew what Taneb was joking about 10:43:17 Taneb invented it. 10:43:19 ah.. thx :) 10:43:33 nah, Taneb didn't invent it (I don't think) 11:09:04 extraordinary claims require extraordinary evidence hth 11:18:11 since christmas or halloween might involve sex, taneb couldn't have invented it 11:37:27 -!- augur has quit (Remote host closed the connection). 11:41:57 myname: If we include Pagan christmas, it almost definitely involves sex 11:42:11 myname: Especially given that the trees are to honor Freya, Goddess of Fertility 11:42:30 If God did not exist, it would be necessary to invent him 11:42:35 As far as I can tell, he does not. 11:42:42 Taneb: Proceed. 11:53:49 -!- channuvilion[1] has quit (Quit: PH'NGLUI MGLW'NAFH HPPAVILION[1] LA'SKA WGAH'NAGL FHTAGN). 12:29:55 -!- LKoen has joined. 13:18:46 -!- santaoon has joined. 13:19:41 -!- santaoon has changed nick to moony. 13:19:52 -!- moony has quit (Changing host). 13:19:52 -!- moony has joined. 13:28:53 -!- ^v has quit (Quit: ZNC - http://znc.in). 13:29:07 -!- ^v has joined. 13:30:16 -!- Jafet has quit (Quit: Jafet). 14:00:35 -!- doesthiswork has joined. 14:15:47 -!- Bluebell_ has joined. 14:29:57 -!- MoALTz has quit (Ping timeout: 248 seconds). 14:38:35 -!- oerjan has joined. 14:38:36 -!- Bluebell_ has left ("laters"). 14:39:38 argh tunes down 14:45:59 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 14:54:10 that's better 14:56:33 -!- MoALTz has joined. 15:24:20 `addquote i just found out that this is an italian dessert https://en.wikipedia.org/wiki/Zuppa_Inglese my whole life has been a lie 15:24:44 1303) i just found out that this is an italian dessert https://en.wikipedia.org/wiki/Zuppa_Inglese my whole life has been a lie 15:26:06 `cat bin/quotes 15:26:08 ​#!/bin/sh \ allquotes | if [ "\$1" ]; then \ if expr "\$1" + 0 >/dev/null 2>&1; then \ sed "\$1q;d" \ else \ grep -P -i -- "\$1" \ fi \ else shuf -n 1; fi 15:26:35 `doag bin/quotes 15:26:47 0:2012-02-16 Initïal import. 15:26:52 wat 15:27:07 `` diff bin/quote{,s} 15:27:10 8c8 \ < else shuf --random-source=/dev/urandom -n 1; fi \ --- \ > else shuf -n 1; fi 15:27:36 `doag bin/quote 15:27:48 9771:2016-11-24 sled bin/quote//s,shuf,shuf --random-source=/dev/urandom, \ 978:2012-12-09 revert \ 977:2012-12-09 cp bin/quote bin/realquote; echo -n \$'#!/bin/sh\nsleep 1\nrealquote "\$@"\n' > bin/quote \ 0:2012-02-16 Initïal import. 15:29:09 `` cp bin/quote{,s} # add rng improv 15:29:13 No output. 15:30:52 `cat bin/wisdom 15:30:55 f=\$(find wisdom -ipath "wisdom/*\$1*" -type f -print0 | shuf --random-source=/dev/urandom -z -n1); if [ -n "\$f" ]; then echo -n "\${f#wisdom/}//"; cat "\$f"; else echo "That's not wise."; fi | rnooodl 15:48:51 -!- boily has joined. 15:48:54 Joyeux Noësoteric! 15:49:39 Bod July! 15:51:45 fungot: merry christmas pis plein d'affaires de même toi aussi! 15:51:46 boily: that is) it'd start to take pictures and upload them on scene.org, so as to work around chicken module quirks. 15:52:31 fungot: chicken? 15:52:31 int-e: i don't know the details yet, though, are people who have a pointer handy? 15:52:51 fungot: what if they have a pitchfork? 15:52:52 int-e: where do you get soft-porn from that anyway.) in the middle there's this " strong normalization" result. the result of comparing one of the first thing 15:52:55 * oerjan hands fungot a pointer ===/- 15:52:55 oerjan: any progress with the change of centuries we would seize control of the compiler 15:53:17 * int-e wonders where fungot learned about ponr. 15:53:17 fungot: we changed century not that long ago, please be patient 15:53:18 int-e: given what arcanities of english rules i make use of that new length. 15:53:18 oerjan: four cups of tea from today is wearing off and dragging me down. like if you look for it, so if all i do is move files around, edit with emacs/ pico, and use erc when i need you 15:54:39 fungot: I'm not sure that "arcane" is doing your abuse of the english grammar justice. 15:54:39 int-e: there's the soft ending one or two arguments. but i like it. as soon as possible 15:55:17 strong normalization of soft porn, sounds scientific 15:55:51 fungot: oh right, i should get more caffeine 15:55:51 oerjan: sounds like fun stuff. _ is a quine in a way 15:56:11 int-ello. I think fungot is misaligned with the Usual Dimensions of this Hapless Universe, releasing haphazard bursts of arcane energy across the Galaxy. 15:56:11 boily: does anyone know whether r6rs is still planning to make them safe. also, it's /very/ frustrating to only be a penalty for creating a good irc server would make all this effort, already? 15:56:19 int-e: dost fungot arcaneth too much? 15:56:20 oerjan: maybe one day we will. you can get plussa from nato membership fees. 15:56:31 tea begets more tea, so it has quine-like properties 15:58:09 `? chicken 15:58:14 chicken is boily af 15:58:26 af? 15:58:48 similar to afk, i think 15:58:51 auto-focus comes to mind 15:59:19 . o O ( autofocus is mechanized obsession built into cameras ) 15:59:21 `? adjective 15:59:22 adjective? ¯\(°​_o)/¯ 15:59:39 `learn Adjectives are words frequently found attached to chickens. 15:59:43 Learned 'adjective': Adjectives are words frequently found attached to chickens. 15:59:46 s/cameras/obscure chambers/ 16:02:15 time for today's nutella ball 16:05:49 actually that pun may be better suited for a short lesson in etymology: The origin of the term "camera" is very obscure. 16:06:46 i can't quite pinpoint the hole in that claim 16:08:59 pinhole cameras have such beautiful distortions. 16:08:59 * boily M-M-M-M-MULTI THWACKS both oerjan and int-e in one swift hook 16:10:00 look at the last sample here... http://blogs.egusd.net/katzenbargerj/2015/01/08/pinhole/ 16:11:37 http://pinhole.cz/ ← with a DIY paper pinhole camera! 16:16:15 `grwp nighthood 16:16:26 Binary file reflection matches 16:31:40 `wisdom 16:31:45 dragon//Dragons are fractal creatures of magic, capable of shrinking or expanding to any size. Taneb invented them to live inside his string diagrams, but they prefer to hover around pinheads and feed on angels. 16:32:17 . o O ( are komodo dragons edible? ) 16:32:28 they probably taste like chicken 16:32:36 (default answer) 16:33:46 https://www.quora.com/Can-you-eat-Komodo-dragon-What-does-it-taste-like 16:34:11 suggests yes, actually suggests it has a distinct flavour (so not chicken) 16:36:20 I guess that's the most useful answer I'll find... 4 google hits further and I'm at https://forums.t-nation.com/t/komodo-dragon-meat/128563 16:43:09 thint-e! 16:49:25 bored 17:11:52 how about an operator Ψ, where Ψf(x) = x 17:12:02 or Ψf(x) = {x, f} 17:13:23 I picked Ψ because it looks like both a w and a y, and I like to call the operator the "why" operator 17:20:08 nope? nobody? 17:20:14 not even the weird integer-e type? 17:20:51 :c 17:20:52 * moony derps a derped derp and runs from the insueing derped explosion of derpy derped derps and derps the derp award for most derpy derped derps in a derpy sentence 17:21:15 * rdococ uh 17:22:11 oh my god talk 17:24:58 can I ping 17:25:00 ? 17:25:01 izabera: "z" is more usual as the Japanization of the dental fricative. And "tekisuto" is the standard transcription. 17:25:48 @ping 17:25:48 pong 17:26:14 @pong 17:26:14 pong 17:26:31 `ping 17:26:33 pong 17:26:35 !ping 17:26:37 ^ping 17:26:37 That Pong alone cannot stop! 17:26:41 @thing 17:26:41 pong 17:26:46 @thong 17:26:46 Unknown command, try @list 17:27:14 `pong 17:27:14 pung 17:27:19 `pung 17:27:20 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pung: not found 17:27:40 `mk pung//echo ping #just because loops 17:27:44 pung 17:27:49 `pung 17:27:51 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pung: not found 17:27:57 err 17:28:00 `rm pung 17:28:03 No output. 17:28:06 `mkx pung//echo ping #just because loops 17:28:09 pung 17:28:13 `mv pung bin/pung 17:28:15 how about an operator Ψ, where Ψf(x) = x <-- doesn't look linear, (Ψf+Ψg)(x) = 2x != Ψ(f+g)(x) 17:28:15 mv: missing destination file operand after `pung bin/pung' \ Try `mv --help' for more information. 17:28:26 `pung 17:28:27 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pung: not found 17:28:35 `` mv pung bin/pung 17:28:37 `pung 17:28:41 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pung: not found 17:28:43 No output. 17:28:47 Ψf? 17:28:49 oh 17:28:54 you mean Ψ(f+g)(x)??? 17:29:02 huh? 17:29:19 (also Ψ is pretty much taken for the schrödinger operator, which _is_ linear) 17:29:38 ohh 17:30:09 schrodinger operation? 17:30:20 s/operation/operator 17:30:30 `revert 10028 17:30:32 Done. 17:31:10 wait 17:31:25 `revert 17:31:26 Done. 17:31:28 sorry, misread 17:34:43 rdococ: oh wait i 17:34:54 * oerjan smashes his keyboard to pieces 17:35:03 ? 17:35:18 rdococ: oh wait Ψ is the schrödinger _vector_. 17:35:32 (aka wave function) 17:36:00 also, i don't see what was unclear in that line hth 17:36:18 ohh 17:36:23 Ψf(x) + Ψg(x), right? 17:36:44 yep 17:39:45 now imagine we pick a variable, x, and do Ψx 17:40:26 well, that's a function x=x so it would be x 17:41:26 argh 17:41:42 that doesn't work, too ambiguous. 17:43:09 don't treat variables as functions of themselves if you have any higher-order functions in sight. 17:43:44 also, burn all the high school books which do this twh 17:50:31 since christmas or halloween might involve sex, taneb couldn't have invented it <-- this argument has been considered and rejected before, it doesn't count if the sex is added after invention hth 17:54:00 true 17:54:03 I think 17:54:39 Ψx = ??? 17:54:51 ??? = type error 17:55:05 x is in no way a function 17:55:15 I don't see what it could be 17:55:21 but let's make it be anyway 17:56:00 Ψx = ξ 17:56:08 x(t) is often encoutered in mechanics: position of an object w.r.t. time. 17:56:24 Ψx(t) = t 17:56:24 boily: FINE 17:56:30 OKAY 17:56:58 strangely enough, the cyrillic script isn't used in mathematics... 17:57:17 so... if Ψx = ξ... does that have any special properties? 17:58:07 boily: that's because wolfram hasn't managed to find out how palatalize functions yet hth 17:58:12 *how to 17:58:28 well, what you said above seems to suggest that (Ψf)(x) = Ψf(x) 17:58:33 oh read that as mathematica 17:59:05 * oerjan procrastinates getting glasses some more 17:59:27 rdococ: well that's just precedence. 17:59:32 Ψf(x) = x... we could say that Ψf is the identity function but I don't think that's quite it 17:59:39 and comes natural to all haskellers. 17:59:53 yeah 18:00:29 rdococ: it's pretty much the definition of the identity function hth 18:00:52 true... 18:01:57 but say you take sin(theta), store it in a variable x. then Ψx = theta 18:02:20 at least in my vision of it 18:02:52 now you're not just type incorrect but impure as well 18:02:57 yeah... 18:10:23 log(x*y) = log(x) + log(y)... so what about log(x+y)? 18:10:54 pretty tricky. 18:11:30 log(x) + log(1+y/x) 18:12:15 which is actually a useful way of writing it 18:12:39 `man log1p 18:12:42 Nice try. 18:12:43 it seems like a natural lower operation to addition 18:14:09 hm 18:14:28 imagine a culture that prefers the ratio operator, x:y = x/(x+y) 18:15:22 was that heard? 18:15:37 log(x) - log(x:y) 18:15:57 = ? 18:16:15 = log(x+y), that was the point 18:16:28 oh 18:17:07 -!- moony has quit (Quit: Leaving). 18:19:28 inverse ratio, x;y = -xy/(y-1)... so 2;2 = -4/1 = -4... and 4;4 = -16/3... 18:40:15 wanna know a cool science fact? 18:40:42 we are two thirds rust... 18:40:47 hydrogen rust, to be specific 18:41:01 aka water 18:50:56 nice troll. 18:52:56 (I made it as far as reading https://en.wikipedia.org/wiki/Rust before deciding that I don't want to fall victim to https://xkcd.com/386/ ) 18:53:21 more like 3/4 hydrogen ash hth 18:54:04 (and 1/4 helium) 18:54:16 oerjan's making it worse. 18:54:33 * oerjan waves 18:55:36 i suppose the part that is still hydrogen doesn't count as ash... 18:56:09 but that can't be that much by mass. 18:57:03 "Many studies have been conducted regarding the chemical composition of wood ash, with widely varying results. Some quote calcium carbonate (CaCO3) as the major constituent,[1] others find no carbonate at all, but calcium oxide (CaO) instead.[2] Some show as much as twelve percent iron oxide[2] while others show none,[3] though iron oxide is often introduced through contamination with soil." 18:58:58 -!- moony has joined. 18:59:01 I think I'll gloss over the difficulty of producing 1/4 Helium-4 18:59:38 (Also I guess that if you're unlucky you'll get a neutron.) 19:00:27 um 1/4 helium-4 is what you start with hth 19:00:50 i suppose i missed an ash in there 19:02:15 ashes don't grow on trees? 19:03:50 though maybe you could splice an ash branch on another tree, hmm 19:03:56 onto 19:26:09 -!- moony has quit (Ping timeout: 265 seconds). 19:27:29 [wiki] [[DUP]] M https://esolangs.org/w/index.php?diff=50599&oldid=20095 * Albedo * (+91) /* External resources */ Addition of Julia interpreter. 19:29:53 [wiki] [[DUP]] M https://esolangs.org/w/index.php?diff=50600&oldid=50599 * Albedo * (+38) /* External resources */ 19:57:48 -!- boily has quit (Quit: DENTIST CHICKEN). 20:36:30 -!- augur has joined. 20:40:51 -!- MDude has joined. 20:42:19 -!- augur has quit (Remote host closed the connection). 20:42:55 -!- augur has joined. 20:43:27 -!- augur has quit (Remote host closed the connection). 20:44:05 -!- augur has joined. 20:45:28 -!- augur has quit (Read error: Connection reset by peer). 20:45:52 -!- augur has joined. 20:48:04 oerjan: i don't see how sex was added to the "celebration of love" afterwards instead of being a planed part 20:49:20 you're aware of the virgin birth, right? 20:49:28 no sex involved at all hth 20:49:37 good point 20:50:36 but wouldn't that mean Taneb has to be a few centuries old? 20:51:08 well he already invented the universe, i don't see how christmas makes that worse. 20:52:23 indeed 21:07:08 damn, another comic hit the waiting for updates wall. 21:07:36 what's the waiting for updates wall 21:07:56 what comic? 21:08:11 Everblue, in this case. 21:08:30 let me just open my comic reader 21:09:25 looks interesting! 21:11:37 i am in this weird state of having enough to read but still wanting more 21:17:10 it doesn't help that quite some webcomic authors took off over the christmas holidays 21:18:00 do you have a good source for new comics? 21:20:00 nah, basically I just follow links from other comics 21:22:11 int-e x = 3; 21:24:16 -!- tromp has quit (Ping timeout: 260 seconds). 21:28:45 %_x = 1/100_x; for any base x 21:28:50 so 300% is 3 21:34:14 "I remember my father said that he remembers as a boy listening to Sir Belleus, the Finnish composer, --" 21:34:17 Good job, whoever wrote these subtitles. 21:34:28 where is that from? 21:35:15 I was watching this BBC show, QI, from Netflix (free trial). I don't know if the Netflix subtitles are their own, or BBC's. 21:35:51 -!- tromp has joined. 21:36:17 that is a quite interesting transcription hth 21:36:30 Oh that would have been funny if I had known about https://en.wikipedia.org/wiki/Jean_Sibelius 21:37:07 I thought he was famous. 21:38:00 As far as Finnish composers go, you can hardly get more famous, but I'm not sure where that really ranks globally. 21:38:18 "Sir Belleus" would be a funny name for a Finn in any case. 21:39:25 In the movie Swordfish, there's a "Finnish" hacker guy called "Axl Torvalds" (I imagine the name has something to do with Linus), and when he's speaking "Finnish" it's actually German. 21:40:13 Are you sure he isn't speaking "Swedish"? 21:40:36 I think it was implied it was Finnish, though I don't really know how. 21:40:44 Maybe the subtitles said something like [SPEAKING FINNISH]. 21:41:03 sir belleus sounds like what monty python would call him, so obviously right for a british series hth 21:41:08 German is a pretty widely recognized language, though. 21:41:39 Hmm, I can't tell whether I'm ignorant or whether he's just not that well known. Both are plausible explanations, possibly in combination. 21:42:35 IMDb "Trivia" page for the movie says: "Axl Torvalts [sic] is actually speaking German in the interrogation scene, not Finnish." 21:43:17 i know about sibelius hth 21:43:26 (I'm pretty sure they did get the surname "right" in the actual movie, though.) 21:47:12 int-e: https://www.youtube.com/watch?v=F5zg_af9b8c 21:47:22 * oerjan didn't know it was so short 21:50:41 wouldn't have watched it anyway (bandwidth), but "This video contains content from Studio Hamburg, who has blocked it in your country on copyright grounds." 21:50:46 So nice of them. 21:51:03 considerate is the word. 21:52:51 It's more an audio than a video. 21:52:59 Heh. Worked for me in the UK. 21:53:49 I could probably circumvent it 21:54:36 bah 21:58:33 Tanebvention = Taneb circumvention? 22:00:36 this one has lyrics https://www.youtube.com/watch?v=qOSaT6U4e-8 22:04:49 . 22:21:04 -!- hppavilion[1] has joined. 22:24:19 -!- dos has joined. 22:25:00 -!- hppavilion[1] has quit (Disconnected by services). 22:25:05 -!- dos has changed nick to hppavilion[1]. 23:39:13 hppavilion[1] hello 23:39:56 no? 23:39:59 not gonna talk? 23:40:11 you have sent @ messages 23:43:47 -!- dookysmooch has changed nick to loonysloot. 23:44:00 srsly hppavilion[@] 23:44:46 imagine an alternate timeline where we never used division but instead had a ration operator : 23:44:54 x:y = x/(x+y) 23:45:47 0:0 would be seen as the same value as 1:1 because the two are the same 23:45:53 as in, x=y 23:47:25 -!- hppavilion[0] has joined. 23:47:57 > because the two are the same 23:48:00 error: 23:48:00 Variable not in scope: because :: t0 -> t1 -> t2 -> t3 -> t4 -> terror: ... 23:48:00 • Variable not in scope: two 23:48:02 > as in, x=y 23:48:05 :1:4: error: parse error on input ‘in’ 23:48:06 thanks that clarified it 23:48:56 > it 23:48:58 error: 23:48:58 • Variable not in scope: it 23:48:58 • Perhaps you meant one of these: 23:51:33 it's not ghci 23:51:37 -!- hppavilion[1] has quit (Ping timeout: 268 seconds).