00:00:26 Hm, the smallest known factor of 10^10^100+1 is 316,912,650,057,057,350,374,175,801,344,000,001 00:00:41 God I love impractically large numbers 00:01:37 Any number n suffixed with "-plex" is 10^n 00:01:43 threeplex, for example, is 1000 00:03:32 hppavellon[1]. megagon. 00:03:53 uhm, no, not megagon. 00:04:52 megiston! 00:05:23 so a googolplex is a hundredplexplex? 00:05:33 (meanwhile, while search-completing graham's number on wikipédia, this happened: https://en.wikipedia.org/wiki/Mammillaria_grahamii ) 00:06:07 * izabera erases that from her browser history 00:07:21 01:00:26 hppavilion[1] | Hm, the smallest known factor of 10^10^100+1 is 316,912,650,057,057,350,374,175,801,344,000,001 <- just how did they manage to find it? 00:07:41 izabera: Who gives a fuck? 00:07:44 i do 00:07:48 izabera: Oh. 00:07:53 you have a browser history? 00:08:02 * hppavilion[1] reevaluates his fuckgiving detection algorithm 00:08:04 i haven't found a way to disable it 00:08:17 I used to have a brother but that's history 00:08:18 -!- Sgeo_ has joined. 00:08:34 sorry to hear 00:08:40 izabera: But they probably used exp-mod. I think it generalizes to up-arrow 00:08:46 izabera: isn't there an option to clear all memory everytime you close the browser? 00:09:09 Koen_: I suppose it is (googolplex = hundredplexplex) 00:09:47 Googolmilliplex 00:10:00 Googol + 1_000_000 plexes 00:10:41 Cockburn is a very unfortunate surname 00:10:55 Also, I now have about a googol tabs open 00:11:52 i will be in philly in the weekend 00:12:23 the nearest airport is phl: philadelphia international 00:12:34 i don't know the corresponding metar station 00:12:38 could be kphl 00:13:21 @metar KPHL 00:13:21 KPHL 072254Z 30008KT 10SM FEW060 SCT140 SCT250 26/12 A2950 RMK AO2 SLP989 T02560117 PNO $ 00:13:29 sounds about right. 00:13:34 @metar CYUL 00:13:34 CYUL 072300Z 27008G15KT 30SM FEW025TCU FEW050 FEW100 SCT240 18/12 A2941 RMK TCU1CU1AC2CI2 TCU TR CU TR SLP959 DENSITY ALT 1100FT 00:13:56 holy towering cumulus batman... 00:14:21 People being able to read @metar output scares me 00:14:52 i can't read it 00:14:58 i was hoping boily would translate those 00:15:27 let me do that... 00:16:11 What's the complex equivalent of a Googolplex? That is, the canonical really-fucking-big complex number? 00:17:12 doesn't googolplex count as a really-fucking-big complex number? 00:17:35 KPHL: report made at 10:54pm UTC June 7th. winds from the northwest, 8 knots. ground visibility 10 miles. few clouds at 6000', scattered clouds at 14000' and at 25000'. temperature is 26 °C, dew point 12 °C. QFE is 29.50 inHg. random automated trend stuff. weather station needs maintenance. 00:18:33 @metar TRN 00:18:41 wait wrong code 00:19:27 @metar LIMF 00:19:27 LIMF 072250Z 27004KT 9999 TS VCSH SCT030CB 21/15 Q1021 00:19:43 CYUL: report at 11:00pm UTC June 7th. west winds, 8 knots with gusts at 15. ground visibility 30 miles. few clouds at 2500' with towering cumulus. few cumulus at 5000'. few altocumulus at 1000'. scattered cirrus at 24000'. temperature 18 °C, dew point 12 °C. QFE is 29.41 inHg, QNH is 995.9 hPa. 00:20:06 boily: do LIMF plz 00:21:45 LIMF: report at 10:50pm UTC June 7th. west winds, 4 knots. no ground visibility limit. thunderstorms, with showers in the vicinity. scattered clouds at 3000'. don't know what CB is. temperature 21 °C, dew point 15 °C. QNH is 1002.1 hPa. 00:21:58 izabera: ...crap 00:22:18 izabera: are you Italian? 00:22:23 yessir 00:23:47 does Z mean UTC? 00:24:13 boily: how does 3000 or 2700 mean "northwest" and "west" 00:24:41 it's only the first three digits that are part of the compass hth. 00:24:46 izabera: yes. 00:24:52 CB is cumulonimbus. 00:25:19 is it 300 degrees clockwise from north? 00:25:29 yup. 00:25:36 oh okay 00:25:37 welp 00:25:39 battery low 00:25:42 time to go 00:25:45 enjoy the show 00:25:49 goodbye~ 00:26:10 quintonne soiréeia! 00:27:07 @localtime izabera 00:27:07 Local time for izabera is Tue, 07 Jun 2016 23:27:07 +0000 00:27:26 that's on my vps 00:27:32 local time is 01:27 00:31:48 did you know that google provides accurate stats on m:tg cards? http://i.imgur.com/C0YS9Y5.png 00:33:39 ! 00:34:58 If the power n^m corresponds geometrically to the (hyper)volume of an m-cube with side-length n, what's tetration, anyway? 00:37:51 what if m is not an integer? 00:39:20 Koen_: Then you are dealing with a very strange universe 00:39:40 haussdorf dimension 00:43:58 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 00:53:02 i was about to quibble about all the disagreeing fractal dimensions but i guess hausdorf is more or less semantically what hppavilion described 01:19:39 -!- nisstyre has quit (Changing host). 01:19:39 -!- nisstyre has joined. 01:26:09 -!- oerjan has joined. 01:27:45 -!- Elronnd has changed nick to My. 01:27:56 -!- My has changed nick to Elronnd. 01:29:16 oerjan: do you know anything about https://en.wikipedia.org/wiki/Homology_(biology) <-- i've heard the term hth 01:29:42 Oh, I was going to make a placenta/placebo pun somehow. 01:30:04 And then I was reading https://en.wikipedia.org/wiki/Placenta and it talked about homology of placentas and it reminded me of you. 01:30:21 ... 01:31:17 I'm not quite reconstructing my train of thought there. 01:31:42 O KAY 01:34:26 -!- Akaibu has joined. 01:36:17 shachaf: remember, oerjan is a Frost Giant hth 01:36:18 åhoily! finally, we reach the end. 01:36:38 -!- xkapastel has joined. 01:36:45 Have you øhoilyd? 01:36:52 pretty sure 01:37:16 back on the 3rd 01:37:38 that's 5 days ago! 01:38:26 maybe i should have gone the {hoily path instead. 01:38:42 but that would soon give unprintable characters. 01:38:55 the porthoily that shan't be named. 01:39:50 i'm not a giant and i haven't even seen Frost hth 01:40:13 oerjan: how tall are you? 01:40:58 well i used to be 1.82 m, i cannot remember what it was last time i measured 01:41:36 actually i'm not even sure when. 01:42:16 ah, 6'. quite tall. 01:42:24 `frink 1.82m -> feet 01:42:33 behold the hopeless command 01:43:24 No output. 01:43:29 `frink 1.82m -> feet 01:43:31 But a giant is going to be even more tall isn't it? 01:43:38 behold the still almost hopeless command 01:43:45 Then fix it 01:43:47 zzo38: you'd think. 01:44:06 zzo38: the problem isn't the command itself, but HackEgo's bad server that times out 01:44:07 No output. 01:44:12 `wisdom 01:44:18 bonsaikitten//Bonsaikitten is the cat typing behind the glass of the CRT when you run the cat command. 01:44:19 Write a faster program 01:44:37 zzo38: frink is a programming language 01:44:51 `which units 01:44:52 /hackenv/bin/units 01:44:55 hm 01:45:21 `units 1.82m -> feet 01:45:24 Error in '1.82m -> feet': Unknown unit '>' 01:45:35 `units 1.82m in feet 01:45:36 Definition: 0.014090294 m^3 01:45:42 argh 01:46:02 hm... 01:46:16 `` units 1.82m feet 01:46:17 * 5.9711286 \ / 0.16747253 01:46:41 what's the second line for 01:46:48 inverse. 01:47:28 right 01:48:10 -!- idris-bot has quit (Ping timeout: 244 seconds). 01:48:21 `culprits bin/units 01:48:28 tswett tswett shachaf shachaf elliott elliott nitia 01:48:35 ic 02:05:12 -!- augur has quit (Remote host closed the connection). 02:06:25 Do USB wall plugs automatically shut off once the device has finished charging? 02:07:26 I don't think so. do you have an ammeter with you? 02:08:47 No 02:10:25 My brother has a problem the fan for his computer is connected by USB to a wall plug, and sometimes it goes off and won't go on until the USB wall plug is unplugged and then plug in again. 02:15:58 -!- boily has quit (Quit: WOOLY CHICKEN). 02:21:50 so apparently i found a bug in bash and i'm wondering how serious it is from a security point of view 02:22:10 bash can trap signals and i found a way to bypass a trap on sigalarm 02:22:43 so if someone is running a security check of some sort when it gets a sigalarm, i can bypass that check 02:23:28 fancy 02:23:47 i know nothing of security and i don't know how realistic that made up scenario is 02:24:28 It depend in what ways it might be bypassed I think, and I also don't know if there is something with the kernel that affects it? 02:24:42 no it's just bash being stupid 02:26:26 read -t 3 reads input with a 3s timeout, and it does so by calling setitimer and then catching the first sigalarm it gets 02:26:39 which may or may not be the right one 02:26:42 * oerjan doesn't know what security programs if any are written in bash 02:26:52 sounds like a dangerous thing to do, anyway 02:27:54 anyway if you have a trap on sigalarm and you deliver a sigalarm while your script is doing read -t, your trap never runs 02:28:18 so idk 02:29:00 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:38:27 I don't expect that to be a problem. 02:38:45 You are just programming your script wrong if you do stuff like that. 02:39:04 i don't think it's the user's fault 02:39:28 Yes, maybe it is te fault of the documentation, if it does not document that. 02:39:58 read -t should just be implemented with select instead of messing with signals 02:41:08 -!- Koen_ 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:42:20 and what should the docs mention? "warning: traps may be randomly dropped for reasons that you can't control" 02:43:44 No, it should mention how read is implemented. 02:45:18 i think people complain enough about the lenght of that man page without going into implementation details 02:47:47 Note that read does return failure when it times out anyways 02:48:27 `cat bin/makelist 02:48:27 the point isn't read, it's the trap that never runs 02:48:29 file="bin/$1"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done 02:49:57 `cat bin/emptylist 02:49:59 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit 02:51:25 -!- hppavilion[1] has joined. 02:58:59 Huh. 666 is the 36th triangular number 02:59:06 And the sum of the numbers on a roulette wheel 03:00:08 The first 144 (122) digits of pi add up to 666 03:01:25 666666666666666666666666666666666666666666666666666666666666666666 03:01:28 66 6s 03:01:35 beastly 03:01:58 66 repeated 33 times 03:03:13 The first 144 (122) digits of pi add up to 666 <- why is this noteworthy? 03:03:34 33, of course, being the highest degree of freemason 03:03:37 (damn this is fun) 03:03:40 izabera: It's just weird 03:03:46 why? 03:03:47 izabera: 122 is supposed to be 12^2 03:03:54 yeah i figured that 03:04:05 izabera: It's a perfect square 03:04:09 so? 03:04:14 izabera: And there aren't very many of those (:P) 03:04:27 they were infinite last time i checked 03:04:37 izabera: Yes, that's the joke 03:04:58 izabera: But still, it's rather funny. I'm sure I could freak someone out with it. 03:24:22 -!- Cale has quit (Ping timeout: 272 seconds). 03:25:18 Some people don't like 666 03:27:46 Are you sure 33 is the highest degree of Freemasonry? I thought there are only three degrees 03:29:26 -!- augur has joined. 03:29:52 O, the Scottish Rite has 33 degrees. 03:37:47 -!- Cale has joined. 03:38:15 But I don't know any Freemasonry that would have 90 degrees. 03:39:00 (Someone claimed that the 90th degree of Freemasonry is when they are told that they worship the devil.) 03:39:12 (Of course, that is complete nonsense.) 03:41:56 -!- pelegreno_ has quit (Remote host closed the connection). 03:42:05 -!- Sprocklem has quit (Ping timeout: 260 seconds). 03:43:11 -!- pelegreno has joined. 03:49:43 -!- Sprocklem has joined. 04:13:30 `? it 04:13:37 It little profits that an idle king, / By this still hearth, among these barren crags, / Match'd with an aged wife, I mete and dole / Unequal laws unto a savage race, / That hoard, and sleep, and feed, and know not me. / I cannot rest from travel: I will drink / Life to the lees; all times I have enjoy'd / Greatly, have suffer'd greatly, both with 04:13:58 `` \? it | tail 04:14:01 It little profits that an idle king, / By this still hearth, among these barren crags, / Match'd with an aged wife, I mete and dole / Unequal laws unto a savage race, / That hoard, and sleep, and feed, and know not me. / I cannot rest from travel: I will drink / Life to the lees; all times I have enjoy'd / Greatly, have suffer'd greatly, both with 04:15:09 `` \? it | tail -c350 04:15:11 s, councils, governments, / Myself not least, but honour'd of them all; / And drunk delight of battle with my peers, / Far on the ringing plains of windy Troy, / I am a part of all that I have met; / Yet all experience is an arch wherethro' / Gleams that untravell'd world, whose margin fades / For ever and for ever when I move. \ Taneb invented it 04:16:52 `? submarine jousting 04:16:54 submarine jousting is unexplainable. 04:17:23 `sled wisdom/submarine jousting//s/./S/ 04:17:28 wisdom/submarine jousting//Submarine jousting is unexplainable. 04:19:34 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 04:29:17 `? shakespeare 04:29:18 And besicue and a saint and son the may bean the butcious and one them bear and may me for here the mance of my lord, and leave and thou arl of the prince and will not and and hour blood and the be buralont; 04:39:53 http://www.isi.edu/natural-language/people/poem/poem.php 04:40:08 Nepali Turkish Timorese / and foreign sourcing overseas . 04:40:25 McCann cartoons instead delay / and burdens customers today . 04:50:08 Detector member Silverstein / declares an exquisite cuisine . 04:52:56 The royals simply integrate / a Muslim Serbian dictate . 04:53:24 Hotels and countless alternates / recouped unless demand dictates . 04:53:43 Divorce asylum entertained / the jurors challenges remained . 04:53:46 These are TG. 04:53:59 The eastern roiling financier / professionals revives career . 04:54:38 What's a famous poem written in that meter? 04:54:50 Iambic tetrameter. 04:54:55 I can almost place it. 04:56:21 Decaying formula today / and iceland slugging anyway . 04:57:21 Bizarre campaign concludes pursues / philanthropy the barbecues . 05:03:15 The princess witty magazine / routine describes a submarine . 05:03:37 The Oprah prevalent deposed / result repeatedly exposed . 05:03:42 Maybe this isn't the right channel. 05:04:20 shachaf: Xanadu? 05:05:03 I'm fused. 05:05:21 oerjan: Hmm, maybe. 05:05:29 zzo38: did you play with superglue 05:06:06 oerjan: I don't think that's the one, the structure is more complicted. 05:06:14 No, I make mistake. I should mean: I'm confused. 05:06:49 shachaf: Jabberwocky? 05:07:12 i'm not sure that fits 05:07:56 hm i think it does 05:08:06 oerjan: You're quite good at naming things with a similar meter that I've forgotten about. 05:08:16 But I don't think it's either of those. 05:08:29 i don't really know that many poems 05:08:38 The thing I'm thinking of has rhyming couplets, I'm pretty sure. 05:11:40 I wonder whether it's in English... 05:12:01 heh 05:13:12 But when I read a bunch of those passwords in a row it certainly reminds me of something. 05:17:58 time for some cheating 05:19:01 shachaf: the wikipedia page for iambic tetrameter has a hebrew example 05:19:10 Yes. But it's not that. 05:20:17 Your guesses are the best I've heard. 05:20:28 Or maybe ... 05:21:11 I'll just assume it's Jabberwocky I'm thinking of, couplets or not. 05:22:14 O KAY 05:22:44 How can you not know many poems, though? I thought you were a poet. 05:22:59 `? oerjan 05:23:01 Your mysterious adjectival cackling overlord emeritus oerjan is a lazy expert in future computation. Also a Precambrian Norwegian who mildly dislikes Roald Dahl with a passion. Lately when he tries to remember a word, "amortized" pops up instead. His arch-nemesis is Betty Crocker. 05:23:29 Hmm, no way to fit it in. 05:23:59 very premature xkcd today. 05:25:49 suddenly girl genius is claiming sunday/tuesday schedule? 05:26:15 Should I read Girl Genius? 05:27:40 -!- Kaynato has quit (Ping timeout: 260 seconds). 05:27:43 -!- Caesura has joined. 05:28:31 of course 05:30:29 If oerjan, esteemed overlord, / Would read it of his own accord 05:32:51 -!- variable has joined. 05:33:44 that guy does not look overly pleased, or friendly. 05:34:45 -!- variable has changed nick to trout. 05:35:16 Oops, I forgot that the emphasis isn't on the first syllable. 05:35:53 esteemed, you mean? 05:35:57 oerjan 05:36:07 hm? of course it is. 05:36:22 What? When I asked a Norwegian to pronounce it, it sounded more like it was on the second syllable. 05:36:24 it's definitely not _more_ on the second, anyway. 05:36:32 And then when I asked about that, he said it was on both syllables. 05:36:44 that's probably your brain overcompensating. 05:36:46 `? Elronnd 05:36:49 Elronnd desperately wants this entry to say something. 05:37:55 Our overlord mysterious, / Is rarely very serious. 05:38:02 Or is it "imperious"? 05:38:04 @wn imperious 05:38:06 *** "imperious" wn "WordNet (r) 3.0 (2006)" 05:38:06 imperious 05:38:06 adj 1: having or showing arrogant superiority to and disdain of 05:38:06 those one views as unworthy; "some economists are 05:38:06 disdainful of their colleagues in other social 05:38:08 [7 @more lines] 05:38:23 @more 05:38:23 disciplines"; "haughty aristocrats"; "his lordly manners 05:38:23 were offensive"; "walked with a prideful swagger"; "very 05:38:23 sniffy about breaches of etiquette"; "his mother eyed my 05:38:23 clothes with a supercilious air"; "a more swaggering mood 05:38:23 than usual"- W.L.Shirer [syn: {disdainful}, {haughty}, 05:38:25 {imperious}, {lordly}, {overbearing}, {prideful}, 05:38:27 {sniffy}, {supercilious}, {swaggering}] 05:38:59 Maybe not. 05:40:19 Maybe Eugene Onegin is the most famous iambic tetrameter poem. 05:40:21 But I never read it. 05:44:35 Locate our cackling overlord, / And get a thousand pound reward. 05:47:02 The word he wants is "amortized", / His wisdom entry advertised. 05:50:45 `le/rn lambek's lemma/Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses. 05:50:49 Learned «lambek's lemma» 05:52:45 F-algebras are pretty neat. 05:53:29 I don't follow the Wikipedia page, though: "In mathematics, specifically in category theory, F-algebras generalize algebraic structure. Rewriting the algebraic laws in terms of morphisms eliminates all references to quantified elements from the axioms, and these algebraic laws may then be glued together in terms of a single functor F, the signature." 05:53:34 Don't F-algebras not have laws? 05:54:12 how fortunate that i have no idea. 05:54:37 I guess this isn't the right channel to ask. 05:54:53 Cale and copumpkin might know. 05:55:03 And I talked about it with elliott once. 05:55:21 T-algebras for a monad T have laws. 05:55:26 Right. 05:55:31 But those are much more complicated than F-algebras. 05:55:50 fsvo much, yeah 05:56:51 Well, somewhat more complicated. 05:58:34 `rm aeDAGoZ 05:58:36 No output. 05:59:09 `culprits wisdom/it 05:59:15 b_jonas b_jonas b_jonas b_jonas b_jonas b_jonas 06:00:00 `sled wisdom/it//s\ $\\ 06:00:03 wisdom/it//It little profits that an idle king, / By this still hearth, among these barren crags, / Match'd with an aged wife, I mete and dole / Unequal laws unto a savage race, / That hoard, and sleep, and feed, and know not me. / I cannot rest from travel: I will drink / Life to the lees; all times I have enjoy'd / Greatly, have suffer'd greatly, 06:00:07 Oops. 06:05:47 -!- Kaynato has joined. 06:05:52 `` rgrep -l ' $' wisdom 06:05:54 wisdom/elendil \ wisdom/hydrogen \ wisdom/math \ wisdom/utumno \ wisdom/wealhtheow \ wisdom/fat \ wisdom/ghoul \ wisdom/delve \ wisdom/if \ wisdom/speedy gonzales \ wisdom/o \ wisdom/rhenium \ wisdom/semmelweis \ wisdom/ᛁᚿ 06:06:55 `` tail -c340 wisdom/it 06:06:56 ils, governments, / Myself not least, but honour'd of them all; / And drunk delight of battle with my peers, / Far on the ringing plains of windy Troy, / I am a part of all that I have met; / Yet all experience is an arch wherethro' / Gleams that untravell'd world, whose margin fades / For ever and for ever when I move. \ Taneb invented it. 06:07:35 `` before | tail -c340 06:07:44 s, governments, / Myself not least, but honour'd of them all; / And drunk delight of battle with my peers, / Far on the ringing plains of windy Troy, / I am a part of all that I have met; / Yet all experience is an arch wherethro' / Gleams that untravell'd world, whose margin fades / For ever and for ever when I move. \ Taneb invented it. 06:07:49 ah 06:08:13 -!- Caesura has quit (Ping timeout: 244 seconds). 06:09:20 `? speedy gonzales 06:09:22 Sp e e d y G o n z a l e s i s t h e f a s t e s t 06:09:28 oh 06:10:14 i guess i made that. 06:10:41 `` sed -i 's/ *$//' wisdom/speedy\ gonzales 06:10:44 No output. 06:20:37 `hogue wisdom/speedy gonzales 06:20:43 ` sed -i \'s/ *$//\' wisdom/speedy\\ gonzales \ le/rn speedy gonzales/Sp e e d y G o n z a l e s i s t h e f a s t 06:21:05 `1 hogue wisdom/speedy\ gonzales 06:21:18 1/2: ` sed -i \'s/ *$//\' wisdom/speedy\\ gonzales \ le/rn speedy gonzales/Sp e e d y G o n z a l e s i s t h e f a s 06:21:20 `spam 06:21:22 2/2: t e s t m o \ 06:32:16 Stop spamming please 06:34:05 oerjan started it. 06:37:54 -!- DigitoriiX has quit. 06:38:58 oerjan: placenta-based homology? / i owe you an apology 06:42:31 you think that such an awful curse / can be undone by writing verse? 06:43:10 -!- lambda-11235 has quit (Quit: Bye). 06:45:20 if verse alone will not suffice / then what would be your asking price? 06:49:10 your task, to introduce, must be / the word placenta in CT 06:50:51 or if you are for this too dense / you may instead put it in lens. 06:52:11 i know for sure it is the case / it won't look very out of place 06:55:58 well, birth as a formality / is just initiality 06:59:14 and so placentas could be shown / to be a universal cone 07:00:36 for algebras, as Lambek told / placenta would just be a fold 07:01:13 Wait, that's not Lambek's lemma. 07:01:15 Oh well. 07:05:37 very tragic. 07:05:44 now i shave -> 07:09:07 a universal cone, i think, / is terminal (the missing link!) 07:10:25 and therefore (color me magenta) / it could be called a coplacenta 07:12:16 -!- Kaynato has quit (Ping timeout: 252 seconds). 07:14:09 "initial", as we've just unearthed, / tells us that an object birthed 07:14:39 all others, metaphorically, / which must mean, categorically, 07:21:54 i envy how you can rhyme like crazy \ to do this properly i'm way too lazy 07:22:00 oerjan, looks like you were right re: storm king 07:22:14 Oh, it looks like I missed the rhyming thing 07:22:29 myname: it's the meter that you're missing, not the rhyme hth 07:23:01 I need to finish my verse. 07:23:19 i know 07:23:29 i am way better in thia in geman 07:23:32 german, even 07:26:27 that for an object to be final / (without a metaphor vaginal), 07:26:31 the arrow points the other way, / to death, destruction, and decay 07:27:53 but if that's so, then what's the story, / for a pointed category? 07:31:30 a zero object, says reflection, / would be the key to resurrection 07:32:05 wtf you're writing English poems? 07:32:11 what happened to this channel? 07:32:24 What language would you prefer? 07:32:38 klingon 07:32:55 Taneb: now i'm wondering if van rijn _really_ betrayed him, or if he's just confused. 07:33:21 that might depend on my euphrosynia theory the other day 07:34:51 more spämmi 07:35:17 shaving is scow 07:35:37 shachaf: especially with that razor blade, i decided to toss it. 07:35:53 (does this mean shachaf has a full beard?) 07:36:11 ask pikhq hth 07:36:25 pikhq: does shachaf have a full beard twh 07:36:34 now food -> 07:36:50 Hmm, I think three people in this channel have seen me. 07:37:03 Four including me, I guess. 07:43:35 -!- halvredin has joined. 07:50:35 oerjan: Not to my knowledge. 07:50:56 At least, when I saw him he did not, and I do not know if he is able to grow one. 07:51:14 shocking 07:51:33 are you doubting my beard skills 07:52:04 No, I am merely ignorant of them. 07:52:51 -!- hppavilion[1] has joined. 07:58:03 Are your pooching plans determined yet? 08:03:18 Nein 08:15:47 Paradox of the Ravens is mildly damaging the structural integrity of my mind via small explosive devices, bro 08:15:48 -!- xkapastel has quit (Quit: Connection closed for inactivity). 08:16:52 Doesn't seem very paradoxical. 08:16:57 Wait until you hear about Curry's paradox. 08:17:01 That paradox is TG. 08:18:04 `? tg 08:18:30 TG is short for Turing-Gödel, the highest possible level of difficulty for a multiplayer game. At this level, it's undecidable whether you can manage to halt before losing or not. 08:18:40 Turing-Gödel-Curry paradox 08:20:55 shachaf: Well yeah, it isn't a paradox per se (afaik), but it's still rather weird 08:28:05 -!- augur has quit (Remote host closed the connection). 08:32:39 -!- J_Arcane has quit (Remote host closed the connection). 08:34:29 http://i.imgur.com/3MTbXwX.gifv has to be photoshopped 08:43:13 that definitely needs some sound. 08:43:51 but i assume they're just showing off their dog training? 09:05:22 -!- halvredin has quit (Ping timeout: 260 seconds). 09:29:11 Hm... are there any possible numbers that are so big that there is literally no way to properly express them? 09:29:24 Like, even Graham's Number can be expressed in finite space 09:30:48 Or in a /reasonable/ amount of space 09:31:03 And you can conceive of it 09:32:53 Graham's number can be expressed in very small space. 09:32:56 hppavilion[1]: my impression from the last discussions i saw on naming big numbers is that the problem is that eventually it becomes unprovable (in the gödel sense) whether your expression actually names a number. 09:33:43 as in, these expression tend to use more and more esoteric ordinals, that may or may not exist. 09:33:46 *+s 09:36:09 oerjan: Ordinals? 09:36:13 or, of course, unprovable how big it is. 09:36:53 Aren't the ordinals infinite? At least, the esoteric ones? 09:37:05 a transfinite ordinal defines a recursion scheme. if the ordinal doesn't actually exist, the recursion never bottoms out. 09:37:19 oerjan: sounds like an extraordinally proof hth 09:37:24