00:06:15 -!- MoALTz has quit (Ping timeout: 276 seconds). 00:21:22 -!- lleu has joined. 00:22:54 :\ 00:24:52 -!- tromp_ has joined. 00:27:17 `le/rn fixed point theorem/The Fixed Point Theorem states that every planet P will have a point where Archimedes can stand to move it. 00:27:25 Learned «fixed point theorem» 00:44:45 `? Peter II 00:44:45 -!- lleu has quit (Quit: That's what she said). 00:44:46 Peter II? ¯\(°​_o)/¯ 00:48:56 has anyone attempted to create an image compression algorithm based on the collage theorem? 00:49:56 oh wait, that's what fractal compression is 00:52:33 Huh, well I don't know the collage theorem or anything about the mathematics of fractals, but now I'm imagining something like byte-pair encoding but in two dimensions acting on the pixels of a raster image 00:57:47 I've just heard fractal compression is generally done using the graduate student algorithm. 00:59:42 Slightly related, listened to a talk on http://2016.ieeeicip.org/Papers/viewpapers.asp?papernum=1636 today out of curiosity. 01:12:43 -!- spiette has quit (Ping timeout: 258 seconds). 01:30:05 -!- oerjan has joined. 01:32:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 02:00:14 -!- spiette has joined. 02:19:05 @tell boily yay i managed to decode your ev-l pun 02:19:05 Consider it noted. 02:21:04 an evangelical pun? 02:21:30 `? lkoen 02:21:38 LKoen vivait en haut de la Tour Eiffel, mais il s'est préfixé d'un L et s'est envolé. 02:21:43 that one hth 02:44:52 -!- Kaynato has quit (Ping timeout: 252 seconds). 02:49:57 -!- bb010g has quit (Quit: Connection closed for inactivity). 03:12:05 ooh someone made a Malbolge Unshackled program 03:17:51 -!- spiette has quit (Ping timeout: 264 seconds). 03:22:00 `? warranty 03:22:05 HackEgo comes without warranty, express or implied, and is unfit for any purpose, including the purpose of being unfit for anything. Its warranty has expired. 03:23:25 `slwd warranty//s/.*\./\U&/ 03:23:31 wisdom/warranty//HACKEGO COMES WITHOUT WARRANTY, EXPRESS OR IMPLIED, AND IS UNFIT FOR ANY PURPOSE, INCLUDING THE PURPOSE OF BEING UNFIT FOR ANYTHING. ITS WARRANTY HAS EXPIRED. 03:23:35 damn 03:23:50 `revert 03:24:30 there needs to be a preview version of sled 03:24:36 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 03:24:48 `` sed 's/.*?\./\U&/' wisdom/warranty 03:24:50 HackEgo comes without warranty, express or implied, and is unfit for any purpose, including the purpose of being unfit for anything. Its warranty has expired. 03:24:56 * oerjan wonders if the repository has become too large. Gregor used to prune history occasionally. 03:25:09 `` sed 's/[^\.]+/\U&/' wisdom/warranty 03:25:11 HackEgo comes without warranty, express or implied, and is unfit for any purpose, including the purpose of being unfit for anything. Its warranty has expired. 03:25:18 `` sed 's/[^\.]*/\U&/' wisdom/warranty 03:25:19 `slwd warranty//s/.*\. /\U&/ 03:25:21 HACKEGO COMES WITHOUT WARRANTY, EXPRESS OR IMPLIED, AND IS UNFIT FOR ANY PURPOSE, INCLUDING THE PURPOSE OF BEING UNFIT FOR ANYTHING. Its warranty has expired. 03:25:23 wisdom/warranty//HACKEGO COMES WITHOUT WARRANTY, EXPRESS OR IMPLIED, AND IS UNFIT FOR ANY PURPOSE, INCLUDING THE PURPOSE OF BEING UNFIT FOR ANYTHING. Its warranty has expired. 03:27:33 oh there were only those two periods. i was wondering how yours could work. 03:28:24 What should the preview version of sled be called? 03:28:28 slep/slwp? 03:28:35 Or should it be indicated by a triple /? 03:28:40 That would be the only sensible thing. 03:28:46 aaaaaaaaa 03:29:18 shachaf: a triple / is not really appropriate when it's not in the command name. 03:29:33 also, i think a sed command can start with / 03:29:38 Oh, you can put it in the command name. Good idea. 03:29:50 I guess that would only work for le///rn. 03:29:57 But sled ought to be renamed to s/ed anyway 03:30:12 shachaf: except for that requiring an extra toplevel directory. 03:30:28 `` mkdir s; ln -s ../bin/sled s/ed; ln -s ../bin/slwd s/wd 03:30:33 mkdir: cannot create directory `s': File exists 03:30:40 `` ls s 03:30:43 ed \ wd 03:30:56 `help 03:30:56 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 03:31:10 shachaf: probably just some twice-running noise 03:31:30 `hoag s 03:31:38 ` mkdir s; ln -s ../bin/sled s/ed; ln -s ../bin/slwd s/wd 03:32:09 why do you put up with command names like "hoag" and "le//rn" 03:32:12 these are absurd 03:32:15 shachaf: this ruins the sled pun btw 03:32:25 true 03:32:28 tdnh 03:32:52 scrap it 03:32:55 `` rm -r s/ 03:33:04 No output. 03:33:41 -!- Phantom__Hoover has quit (Remote host closed the connection). 03:34:27 `le/rn guarantee/HackEgo is guaranteed merchantable. 03:34:31 Learned «guarantee» 03:35:26 `learn Merchantable adj. Capable of being chanted by mermaids. 03:35:30 Learned 'merchantable': Merchantable adj. Capable of being chanted by mermaids. 03:36:02 also, food -> 03:36:04 `sedlast s/.$/ and fit for a particular purpose, which Taneb invented./ 03:36:12 wisdom/merchantable//Merchantable adj. Capable of being chanted by mermaids and fit for a particular purpose, which Taneb invented. 03:36:16 oops 03:36:18 `revert 03:36:20 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 03:36:24 rice condition 03:36:39 Taneb: Is attributing Tanebventions to you rude? 03:37:13 `? sex 03:37:15 Sex is a board game which originated in Britain in the 1870s before spreading throughout Europe in the 1890s. Sex was introduced to the rest of the world by a book, "The Complete Guide to Sex", written and published in 1932, based on the author's extensive experience with a wide variety of forms of European sex. 03:39:55 So I was wondering who created that wisdom entry for sex. 03:40:07 And so I did a Google search in an attempt to find the answer. 03:40:11 Apparently I did. 03:40:47 That was pretty clever of me. 03:58:29 past selves often are. 03:59:56 Really? My past self has a lot to answer to. 04:00:12 For example there was a thing my past self quoted in this channel. 04:00:33 It's quite embarrassing. I only realized the meaning of the quote (which I took from Vonnegut) some months or years later. 04:00:46 I try not to think about it because of how embarrassing it was. 04:01:19 my past self probably despised you for it. fortunately my present self has entirely forgotten about it hth 04:01:51 It was pretty bad. 04:01:58 I hope you didn't despise me for it. 04:02:29 obviously i did, if i ever noticed it. 04:02:53 I'm sure you noticed it. 04:03:04 It was the sort of thing that was obvious to everyone but me. 04:03:05 shocking 04:06:33 `? goofix 04:06:36 Goofix is an antropomorphic canine arithmetic notation. 04:07:39 `cwlprits goofix 04:07:52 b_jonas 04:08:00 are you sure it's not a disney/asterix crossover comic character hth 04:12:04 -!- hppavilion[1] has joined. 04:13:55 @tell int-e oh, myndzi used color code in the dance replies? ... so glad I never saw that. <-- i never saw any color, although it got messed up in the logs. i vaguely recall there was some explanation for them. 04:13:55 Consider it noted. 04:16:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 04:42:57 -!- tromp_ has quit (Remote host closed the connection). 05:01:04 -!- kuroro_ has joined. 05:03:57 -!- kuroro has quit (Ping timeout: 276 seconds). 05:13:23 -!- Akaibu has joined. 05:28:49 -!- nisstyre has joined. 05:29:11 -!- nisstyre has quit (Changing host). 05:29:11 -!- nisstyre has joined. 05:43:28 -!- tromp_ has joined. 05:47:57 -!- tromp_ has quit (Ping timeout: 258 seconds). 06:07:22 -!- lambda-11235 has joined. 06:23:59 -!- hppavilion[1] has joined. 06:24:01 `? cardinal 06:24:25 cardinal? ¯\(°​_o)/¯ 06:28:26 Untyped lambda calculus with a FFI. 06:34:05 You like lambda calculus? I prefer shachaf calculus. 06:36:41 ramuda calculus 06:37:44 My favorite kind of lambda calculus is Martin-Lof's lambda calculus. 06:43:14 i prefer sheepda calculus 06:48:47 -!- tromp_ has joined. 06:50:14 -!- nisstyre has quit (Quit: WeeChat 1.5). 06:53:15 -!- tromp_ has quit (Ping timeout: 264 seconds). 06:55:17 For some reason all the Pokemon Go stuff makes me want to try Pokemon TCG 06:55:25 Played it once with a friend, barely remember it 06:58:12 Or I should get back into Prismata, or Go, or 06:58:26 Or build that rocket I haven't built yet 06:59:12 Weren't we going to play Prismata? 06:59:31 I should try to get gud at Prismata first 06:59:42 I'm not gud at it. 07:01:58 shachaf, compared to me, yes 07:02:00 you are 07:02:58 How would you know? 07:03:05 I often lose to Master Bot. 07:03:52 We've played against each other 3 times 07:03:59 And I haven't practiced much since 07:05:00 I should sleep 07:15:37 -!- augur has quit (Remote host closed the connection). 07:16:13 -!- augur has joined. 07:18:14 -!- lambda-11235 has quit (Read error: Connection reset by peer). 07:19:16 -!- lambda-11235 has joined. 07:20:58 -!- augur has quit (Ping timeout: 252 seconds). 07:25:25 -!- lambda-11235 has quit (Quit: Bye). 07:35:20 -!- AnotherTest has joined. 07:43:53 -!- rdococ has joined. 07:43:57 -!- tromp_ has joined. 07:46:05 -!- ybden has quit (Quit: Fing). 07:48:03 -!- tromp_ has quit (Ping timeout: 240 seconds). 07:50:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 08:04:37 -!- augur has joined. 08:05:11 -!- AnotherTest has quit (Ping timeout: 240 seconds). 08:22:26 -!- hppavilion[1] has joined. 08:22:34 -!- LKoen has joined. 08:28:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 08:35:29 -!- AnotherTest has joined. 09:27:42 -!- LKoen has quit (Remote host closed the connection). 09:34:29 -!- ybden has joined. 09:35:46 -!- MoALTz has joined. 09:49:04 -!- oerjan has quit (Quit: Sprite). 10:01:04 -!- augur has quit (Remote host closed the connection). 10:02:03 -!- rdococ has quit (Ping timeout: 240 seconds). 10:26:03 -!- AnotherTest has quit (Ping timeout: 250 seconds). 10:26:49 -!- AnotherTest has joined. 10:36:06 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 10:38:00 -!- AnotherTest has joined. 11:03:22 -!- AnotherTest has quit (Ping timeout: 272 seconds). 11:07:45 -!- AnotherTest has joined. 11:34:50 -!- boily has joined. 11:42:13 -!- spiette has joined. 12:21:58 -!- boily has quit (Quit: EXECUTIONER CHICKEN). 12:37:19 -!- LKoen has joined. 12:48:37 -!- AnotherTest has quit (Ping timeout: 250 seconds). 12:52:44 -!- AnotherTest has joined. 12:56:46 -!- tromp_ has joined. 13:02:47 -!- LKoen has quit (Remote host closed the connection). 13:03:51 -!- spiette has quit (Ping timeout: 240 seconds). 13:05:32 -!- LKoen has joined. 13:08:08 -!- tromp_ has quit (Remote host closed the connection). 13:17:13 -!- Sgeo has quit (Ping timeout: 250 seconds). 13:20:23 -!- LKoen has quit (Remote host closed the connection). 13:21:27 -!- LKoen has joined. 13:31:03 -!- AnotherTest has quit (Ping timeout: 264 seconds). 13:36:52 -!- spiette has joined. 13:40:03 -!- AnotherTest has joined. 14:03:01 -!- choochter has joined. 14:08:37 -!- tromp_ has joined. 14:13:03 -!- tromp_ has quit (Ping timeout: 240 seconds). 14:36:55 -!- Phantom_Hoover has joined. 14:48:44 -!- `^_^v has joined. 14:57:46 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 15:01:06 -!- LKoen has quit (Remote host closed the connection). 15:50:44 -!- rdococ has joined. 15:52:18 -!- LKoen has joined. 15:56:06 -!- kuroro_ has changed nick to kuroro. 16:09:04 -!- tromp_ has joined. 16:13:42 -!- tromp_ has quit (Ping timeout: 272 seconds). 16:25:08 <\oren\> the japanese name of the letter Ξ is hilarious because of the potential puns 16:27:35 That looks like a Xi to me 16:28:06 But I presume it is a Japanese character also 16:28:09 What is its name? 16:28:15 `unicode Ξ 16:28:38 U+039E GREEK CAPITAL LETTER XI \ UTF-8: ce 9e UTF-16BE: 039e Decimal: Ξ \ Ξ (ξ) \ Lowercase: U+03BE \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) 16:28:48 I thought it was a Xi 16:28:51 Mystery solved 16:41:23 \oren\: um, what's the Japanese name? 16:51:48 <\oren\> 'kusai' 16:52:20 <\oren\> Which is the same pronounciation as the adjective "stinky" 16:53:53 <\oren\> http://dictionary.goo.ne.jp/search.php?kind=all&MT=%E3%81%8F%E3%81%95%E3%81%84&SH=1&IE=UTF-8 16:57:42 -!- adu has joined. 17:00:15 -!- AnotherTest has quit (Ping timeout: 276 seconds). 17:01:42 -!- AnotherTest has joined. 17:05:38 -!- rdococ_ has joined. 17:06:50 -!- rdococ has quit (Disconnected by services). 17:06:58 -!- rdococ_ has changed nick to rdococ. 17:10:49 "Time remaining: Unknown (estimated)" -- the progress dialog is even estimating that they don't know the time 17:13:56 ah, brilliant. A set of medium sized but deep XML documents quoted as CDATA in a large XML. 17:14:11 (deep as in they have lots of elements, not just text) 17:15:16 -!- AnotherTest has quit (Ping timeout: 258 seconds). 17:17:27 The joy of SOAP envelopes? 17:18:57 ew 17:19:06 soap is evil 17:20:38 b_jonas: deep like this? https://github.com/andydude/droxtools/blob/master/drox2python/t/test.drox 17:23:01 adu: no. the xml text is in a CDATA 17:23:33 ew 17:23:41 adu: that just looks like mathml embedded in xhtml as proper xml elements, that's more or less normal 17:24:47 -!- Phantom_Hoover has joined. 17:28:44 Yeah, that's actually sensible 17:47:32 -!- Kaynato has joined. 17:53:16 lambdabot: ping 17:54:25 lambdabot: @ping 17:54:25 pong 17:54:39 -!- AnotherTest has joined. 17:56:00 @tell Vorpal Haven't touched Mycology in quite some time. I find your bug to be a very curious one, I would've assumed that any library would use proleptic Gregorian by default... As such sure, Mycology could/should test it. Not sure if I'm going to bother with it in the near future though. :-P 17:56:00 Consider it noted. 18:09:31 -!- 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.”). 18:41:57 -!- augur has joined. 18:44:21 -!- adu has quit (Quit: adu). 18:52:03 -!- `^_^v has quit (Quit: This computer has gone to sleep). 19:00:54 -!- `^_^v has joined. 19:10:23 -!- augur has quit (Remote host closed the connection). 19:10:55 -!- tromp_ has joined. 19:16:06 -!- tromp_ has quit (Ping timeout: 276 seconds). 19:21:48 -!- augur has joined. 19:31:05 -!- adu has joined. 19:34:12 -!- augur has quit (Remote host closed the connection). 19:40:46 -!- wob_jonas has joined. 19:58:18 -!- rdococ has quit (Quit: Leaving). 20:05:32 -!- hppavilion[1] has joined. 20:12:18 hppavilion[1]: What weird thing are you doing now? 20:12:38 prooftechnique: ...wat? 20:12:43 hppavilion[1]: I'm reading smbc 20:12:56 You're just usually up to something unusual, so I figured it was reasonable to check : 20:12:58 *:D 20:13:24 prooftechnique: Ah 20:13:25 Not ATM 20:15:18 ...huh 20:15:35 I assumed the Kübler-Ross model was made by two people (Kübler and Ross) 20:15:58 Apparently it was just some swiss chick named Elisabeth Kübler-Ross 20:20:47 Well, I suppose there was no predicting that 20:21:53 -!- Radnyx has joined. 20:25:22 `? dmm 20:25:27 dmm? ¯\(°​_o)/¯ 20:25:32 -!- zzo38 has joined. 20:25:57 `welcome zzo38 20:26:02 zzo38: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 20:26:06 `` rgrep -l zalgo bin 20:26:16 bin/zalgoverload \ bin/zalgoerjan \ bin/zalgreet 20:26:23 `zalgreet zzo38 20:26:31 z็̹z̯̀o͇̿3̗͢8̍͗:̎ͦ Ì·Í¢W͎͕e̮̎l̠̉c̖͡o̍͜m̞͡ȇ͇ ͆͘t̳͗o̶ͧ ̘ͦt͆̂h̝͟e̺ͤ ͆͛i̞̓n͇̅t҉ͨė̝r̬̹n̰͔a̹̒tͪ͌ḭͯo̙ͬņͬa͑͂lͬ͡ ͈͛h̰̳ủ͎b͍̋ ͣͥf͈̈́o̹̞r̯͈ ̹҉ȇ̂s͉͏o̷̘ṯ͐e͒̽r҉͛iͯ͠c̥ͯ ͍̿pͬ͢r͉̕o̟̣ģ̓r͚̳a͗̅mͤ́m̰͒ĩͅń̛g̰̍ ̓ͅl̺̀aͥ̔n̬͂g̲͠uÌŠÌ 20:26:39 great 20:26:43 now my terminal is messed up 20:26:47 and i have no one but myself to blame 20:27:03 shachaf, you should, like, move to the UK and blame the immigrants 20:27:10 Actually you can probably do that in the US as well 20:27:56 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds). 20:28:22 -!- AnotherTest has quit (Ping timeout: 250 seconds). 20:29:02 -!- augur has joined. 20:31:26 Taneb: The English, the English, the English are best / I wouldn't give tuppence for all of the rest. 20:33:09 -!- Phantom_Hoover has joined. 20:33:14 WTF am I reading 20:33:14 https://www.nationstates.net/nation=empire_of_narnia 20:33:42 And crossing the Channel, one cannot say much / Of French and the Spanish, the Danish or Dutch / The Germans are German, the Russians are red, / And the Greeks and Italians eat garlic in bed! 20:33:46 damning words 20:33:54 oops, should i not say that in here 20:34:14 `words 20:35:04 angw 20:35:40 HackEgo: i am underwhelmed 20:35:45 That's only one word I want my money back 20:35:58 Taneb: Should I aspire to be less rude? 20:36:32 shachaf, I think for pretty much everyone that is a worthy aspiration 20:36:44 Well, sometimes rudeness is warranted. 20:36:48 @wn rude 20:36:49 *** "rude" wn "WordNet (r) 3.0 (2006)" 20:36:49 rude 20:36:49 adj 1: socially incorrect in behavior; "resentment flared at 20:36:49 such an unmannered intrusion" [syn: {ill-mannered}, {bad- 20:36:49 mannered}, {rude}, {unmannered}, {unmannerly}] 20:36:51 [15 @more lines] 20:37:03 i was looking for an ant, not a syn 20:37:53 And then I was going to say that it's not the end of all things, but that phrase doesn't even make sense. 20:39:34 `zalgoerjan 20:39:41 o̗ͧé̒r̙̤j̟̯a̢͉n̛̯ ̙͊ 20:39:48 Hmm. I was expecting worse 20:43:59 `cat bin/zalgoerjan 20:44:00 echo -n "oerjan $@" | zalgo 20:44:04 `hoag bin/zalgo 20:44:10 sled bin/zalgo//1c#!/hackenv/bin/shebang_args_or_input python \ revert \ rm bin -r \ revert \ revert 1 \ mv bin/zalgo{2,} \ revert 87c64ef250a0 \ revert 3 \ revert 1492 \ revert 4 \ mv zalgo bin/ 20:44:26 Well, Jafet overwrote the old zalgo. 20:44:47 So no wonder. 20:45:01 I can't be held responsible for zalgo inconsistencies. 20:50:54 -!- Radnyx has quit (Ping timeout: 250 seconds). 20:57:52 -!- AnotherTest has joined. 20:58:05 -!- augur has quit (Remote host closed the connection). 20:58:41 -!- AnotherTest has quit (Client Quit). 21:00:48 -!- AnotherTest has joined. 21:09:12 -!- hppavilion[2] has joined. 21:11:45 -!- tromp_ has joined. 21:11:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 21:16:07 -!- atrapado has joined. 21:16:31 -!- hppavilion[2] has quit (Ping timeout: 240 seconds). 21:17:00 -!- tromp_ has quit (Ping timeout: 276 seconds). 21:20:33 -!- Melvar has quit (Quit: WeeChat 1.4). 21:20:47 -!- Melvar has joined. 21:38:25 -!- augur has joined. 21:58:47 -!- adu has quit (Quit: adu). 22:12:13 -!- adu has joined. 22:16:37 -!- adu has quit (Client Quit). 22:17:03 -!- adu has joined. 22:20:41 -!- adu has quit (Client Quit). 22:27:11 -!- MDead has joined. 22:29:34 -!- MDude has quit (Ping timeout: 252 seconds). 22:29:36 -!- MDead has changed nick to MDude. 22:30:44 -!- MDead has joined. 22:33:52 -!- MDude has quit (Ping timeout: 244 seconds). 22:33:58 -!- MDead has changed nick to MDude. 22:34:31 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:35:46 -!- `^_^v has quit (Quit: This computer has gone to sleep). 22:38:58 -!- atrapado has quit (Quit: Leaving). 22:40:07 -!- hppavilion[2] has joined. 23:02:18 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 23:12:44 -!- tromp_ has joined. 23:17:24 -!- tromp_ has quit (Ping timeout: 272 seconds). 23:20:19 -!- Sgeo has joined. 23:33:12 where is the suomi constituency 23:33:54 quintopia: They're a member of the Silent Majority, aren't they? 23:35:00 so silent 23:35:35 til finland is the most promiscuous country 23:36:04 quintopia: THANK YOU FOR TELLING ME THIS 23:36:10 I WILL NOW BE BUYING PLANE TICKETS 23:36:12 GOODBYE 23:36:14 -!- hppavilion[2] has changed nick to hppavilion[1[. 23:36:16 -!- hppavilion[1[ has changed nick to hppavilion[1]. 23:37:21 nz is second place, and is unusual in that the women are more promiscuous than men, having three times the global average number of partners 23:38:11 Huh. 23:38:21 * hppavilion[1] should have accounted for gender differences 23:38:38 Now I need to craigslist these plane tickets... 23:40:37 Augustine of Hippo: A real Catholic figure 23:48:59 is that a pun