00: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
00:03:32 <boily> hppavellon[1]. megagon.
00:03:53 <boily> uhm, no, not megagon.
00:05:23 <Koen_> so a googolplex is a hundredplexplex?
00:05:33 <boily> (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 <izabera> 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:53 <boily> you have a browser history?
00:08:04 <izabera> i haven't found a way to disable it
00:08:17 <Koen_> I used to have a brother but that's history
00:08:18 -!- Sgeo_ has joined.
00:08:40 <hppavilion[1]> izabera: But they probably used exp-mod. I think it generalizes to up-arrow
00:08:46 <Koen_> izabera: isn't there an option to clear all memory everytime you close the browser?
00:09:09 <hppavilion[1]> Koen_: I suppose it is (googolplex = hundredplexplex)
00:11:52 <quintopia> i will be in philly in the weekend
00:12:23 <quintopia> the nearest airport is phl: philadelphia international
00:12:34 <quintopia> i don't know the corresponding metar station
00:13:21 <lambdabot> KPHL 072254Z 30008KT 10SM FEW060 SCT140 SCT250 26/12 A2950 RMK AO2 SLP989 T02560117 PNO $
00:13:29 <boily> sounds about right.
00:13:34 <lambdabot> CYUL 072300Z 27008G15KT 30SM FEW025TCU FEW050 FEW100 SCT240 18/12 A2941 RMK TCU1CU1AC2CI2 TCU TR CU TR SLP959 DENSITY ALT 1100FT
00:13:56 <boily> holy towering cumulus batman...
00:14:58 <quintopia> i was hoping boily would translate those
00:16:11 <hppavilion[1]> What's the complex equivalent of a Googolplex? That is, the canonical really-fucking-big complex number?
00:17:12 <izabera> doesn't googolplex count as a really-fucking-big complex number?
00:17:35 <boily> 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:19:27 <lambdabot> LIMF 072250Z 27004KT 9999 TS VCSH SCT030CB 21/15 Q1021
00:19:43 <boily> 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:21:45 <boily> 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:22:18 <boily> izabera: are you Italian?
00:24:13 <quintopia> boily: how does 3000 or 2700 mean "northwest" and "west"
00:24:41 <boily> it's only the first three digits that are part of the compass hth.
00:24:52 <boily> CB is cumulonimbus.
00:25:19 <quintopia> is it 300 degrees clockwise from north?
00:26:10 <boily> quintonne soiréeia!
00:27:07 <boily> @localtime izabera
00:27:07 <lambdabot> Local time for izabera is Tue, 07 Jun 2016 23:27:07 +0000
00:31:48 <izabera> did you know that google provides accurate stats on m:tg cards? http://i.imgur.com/C0YS9Y5.png
00:34:58 <hppavilion[1]> 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 <Koen_> what if m is not an integer?
00:39:20 <hppavilion[1]> Koen_: Then you are dealing with a very strange universe
00:43:58 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
00:53:02 <Phantom_Hoover> 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> <shachaf> oerjan: do you know anything about https://en.wikipedia.org/wiki/Homology_(biology) <-- i've heard the term hth
01:29:42 <shachaf> Oh, I was going to make a placenta/placebo pun somehow.
01:30:04 <shachaf> 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:31:17 <shachaf> I'm not quite reconstructing my train of thought there.
01:34:26 -!- Akaibu has joined.
01:36:17 <boily> shachaf: remember, oerjan is a Frost Giant hth
01:36:18 <oerjan> åhoily! finally, we reach the end.
01:36:38 -!- xkapastel has joined.
01:38:26 <oerjan> maybe i should have gone the {hoily path instead.
01:38:42 <oerjan> but that would soon give unprintable characters.
01:38:55 <boily> the porthoily that shan't be named.
01:39:50 <oerjan> i'm not a giant and i haven't even seen Frost hth
01:40:13 <boily> oerjan: how tall are you?
01:40:58 <oerjan> well i used to be 1.82 m, i cannot remember what it was last time i measured
01:41:36 <oerjan> actually i'm not even sure when.
01:42:16 <boily> ah, 6'. quite tall.
01:42:33 <oerjan> behold the hopeless command
01:43:31 <zzo38> But a giant is going to be even more tall isn't it?
01:43:38 <oerjan> behold the still almost hopeless command
01:44:06 <oerjan> zzo38: the problem isn't the command itself, but HackEgo's bad server that times out
01:44:18 <HackEgo> bonsaikitten//Bonsaikitten is the cat typing behind the glass of the CRT when you run the cat command.
01:44:19 <zzo38> Write a faster program
01:44:37 <oerjan> zzo38: frink is a programming language
01:45:24 <HackEgo> Error in '1.82m -> feet': Unknown unit '>'
01:45:36 <HackEgo> Definition: 0.014090294 m^3
01:46:17 <HackEgo> * 5.9711286 \ / 0.16747253
01:46:41 <oerjan> what's the second line for
01:48:10 -!- idris-bot has quit (Ping timeout: 244 seconds).
01:48:28 <HackEgo> tswett tswett shachaf shachaf elliott elliott nitia
02:05:12 -!- augur has quit (Remote host closed the connection).
02:06:25 <zzo38> Do USB wall plugs automatically shut off once the device has finished charging?
02:07:26 <boily> I don't think so. do you have an ammeter with you?
02:10:25 <zzo38> 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 <izabera> 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 <izabera> bash can trap signals and i found a way to bypass a trap on sigalarm
02:22:43 <izabera> so if someone is running a security check of some sort when it gets a sigalarm, i can bypass that check
02:23:47 <izabera> i know nothing of security and i don't know how realistic that made up scenario is
02:24:28 <zzo38> 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 <izabera> no it's just bash being stupid
02:26:26 <izabera> 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 <izabera> 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 <oerjan> sounds like a dangerous thing to do, anyway
02:27:54 <izabera> 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:29:00 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:38:27 <zzo38> I don't expect that to be a problem.
02:38:45 <zzo38> You are just programming your script wrong if you do stuff like that.
02:39:04 <izabera> i don't think it's the user's fault
02:39:28 <zzo38> Yes, maybe it is te fault of the documentation, if it does not document that.
02:39:58 <izabera> 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 <izabera> and what should the docs mention? "warning: traps may be randomly dropped for reasons that you can't control"
02:43:44 <zzo38> No, it should mention how read is implemented.
02:45:18 <izabera> i think people complain enough about the lenght of that man page without going into implementation details
02:47:47 <zzo38> Note that read does return failure when it times out anyways
02:48:27 <izabera> the point isn't read, it's the trap that never runs
02:48:29 <HackEgo> file="bin/$1"; shift; cp bin/emptylist "$file"; for n in "$@"; do echo "$n" >> "$file"; done
02:49:59 <HackEgo> echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit
02:51:25 -!- hppavilion[1] has joined.
03:01:25 <hppavilion[1]> 666666666666666666666666666666666666666666666666666666666666666666
03:03:13 <izabera> The first 144 (122) digits of pi add up to 666 <- why is this noteworthy?
03:03:34 <hppavilion[1]> 33, of course, being the highest degree of freemason
03:04:27 <izabera> they were infinite last time i checked
03:04:58 <hppavilion[1]> 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 <zzo38> Some people don't like 666
03:27:46 <zzo38> 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 <zzo38> O, the Scottish Rite has 33 degrees.
03:37:47 -!- Cale has joined.
03:38:15 <zzo38> But I don't know any Freemasonry that would have 90 degrees.
03:39:00 <zzo38> (Someone claimed that the 90th degree of Freemasonry is when they are told that they worship the devil.)
03:39:12 <zzo38> (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:37 <HackEgo> 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:14:01 <HackEgo> 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:11 <HackEgo> 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:54 <HackEgo> submarine jousting is unexplainable.
04:17:23 <oerjan> `sled wisdom/submarine jousting//s/./S/
04:17:28 <HackEgo> wisdom/submarine jousting//Submarine jousting is unexplainable.
04:19:34 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
04:29:18 <HackEgo> 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 <shachaf> http://www.isi.edu/natural-language/people/poem/poem.php
04:40:08 <shachaf> Nepali Turkish Timorese / and foreign sourcing overseas .
04:40:25 <shachaf> McCann cartoons instead delay / and burdens customers today .
04:50:08 <shachaf> Detector member Silverstein / declares an exquisite cuisine .
04:52:56 <shachaf> The royals simply integrate / a Muslim Serbian dictate .
04:53:24 <shachaf> Hotels and countless alternates / recouped unless demand dictates .
04:53:43 <shachaf> Divorce asylum entertained / the jurors challenges remained .
04:53:59 <shachaf> The eastern roiling financier / professionals revives career .
04:54:38 <shachaf> What's a famous poem written in that meter?
04:56:21 <shachaf> Decaying formula today / and iceland slugging anyway .
04:57:21 <shachaf> Bizarre campaign concludes pursues / philanthropy the barbecues .
05:03:15 <shachaf> The princess witty magazine / routine describes a submarine .
05:03:37 <shachaf> The Oprah prevalent deposed / result repeatedly exposed .
05:03:42 <shachaf> Maybe this isn't the right channel.
05:05:29 <oerjan> zzo38: did you play with superglue
05:06:06 <shachaf> oerjan: I don't think that's the one, the structure is more complicted.
05:06:14 <zzo38> No, I make mistake. I should mean: I'm confused.
05:07:12 <oerjan> i'm not sure that fits
05:08:06 <shachaf> oerjan: You're quite good at naming things with a similar meter that I've forgotten about.
05:08:16 <shachaf> But I don't think it's either of those.
05:08:29 <oerjan> i don't really know that many poems
05:08:38 <shachaf> The thing I'm thinking of has rhyming couplets, I'm pretty sure.
05:11:40 <shachaf> I wonder whether it's in English...
05:13:12 <shachaf> But when I read a bunch of those passwords in a row it certainly reminds me of something.
05:17:58 <oerjan> time for some cheating
05:19:01 <oerjan> shachaf: the wikipedia page for iambic tetrameter has a hebrew example
05:20:17 <shachaf> Your guesses are the best I've heard.
05:20:28 <shachaf> Or maybe <https://he.wikipedia.org/wiki/%D7%94%D7%9E%D7%A4%D7%95%D7%96%D7%A8_%D7%9E%D7%9B%D7%A4%D7%A8_%D7%90%D7%96%22%D7%A8>...
05:21:11 <shachaf> I'll just assume it's Jabberwocky I'm thinking of, couplets or not.
05:22:44 <shachaf> How can you not know many poems, though? I thought you were a poet.
05:23:01 <HackEgo> 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:59 <oerjan> very premature xkcd today.
05:25:49 <oerjan> suddenly girl genius is claiming sunday/tuesday schedule?
05:26:15 <shachaf> Should I read Girl Genius?
05:27:40 -!- Kaynato has quit (Ping timeout: 260 seconds).
05:27:43 -!- Caesura has joined.
05:30:29 <shachaf> If oerjan, esteemed overlord, / Would read it of his own accord
05:32:51 -!- variable has joined.
05:33:44 <oerjan> that guy does not look overly pleased, or friendly.
05:34:45 -!- variable has changed nick to trout.
05:35:16 <shachaf> Oops, I forgot that the emphasis isn't on the first syllable.
05:36:22 <shachaf> What? When I asked a Norwegian to pronounce it, it sounded more like it was on the second syllable.
05:36:24 <oerjan> it's definitely not _more_ on the second, anyway.
05:36:32 <shachaf> And then when I asked about that, he said it was on both syllables.
05:36:44 <oerjan> that's probably your brain overcompensating.
05:36:49 <HackEgo> Elronnd desperately wants this entry to say something.
05:37:55 <shachaf> Our overlord mysterious, / Is rarely very serious.
05:38:06 <lambdabot> *** "imperious" wn "WordNet (r) 3.0 (2006)"
05:38:06 <lambdabot> adj 1: having or showing arrogant superiority to and disdain of
05:38:06 <lambdabot> those one views as unworthy; "some economists are
05:38:06 <lambdabot> disdainful of their colleagues in other social
05:38:23 <lambdabot> disciplines"; "haughty aristocrats"; "his lordly manners
05:38:23 <lambdabot> were offensive"; "walked with a prideful swagger"; "very
05:38:23 <lambdabot> sniffy about breaches of etiquette"; "his mother eyed my
05:38:23 <lambdabot> clothes with a supercilious air"; "a more swaggering mood
05:38:23 <lambdabot> than usual"- W.L.Shirer [syn: {disdainful}, {haughty},
05:38:25 <lambdabot> {imperious}, {lordly}, {overbearing}, {prideful},
05:38:27 <lambdabot> {sniffy}, {supercilious}, {swaggering}]
05:40:19 <shachaf> Maybe Eugene Onegin is the most famous iambic tetrameter poem.
05:44:35 <shachaf> Locate our cackling overlord, / And get a thousand pound reward.
05:47:02 <shachaf> The word he wants is "amortized", / His wisdom entry advertised.
05:50:45 <shachaf> `le/rn lambek's lemma/Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses.
05:52:45 <shachaf> F-algebras are pretty neat.
05:53:29 <shachaf> 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 <shachaf> Don't F-algebras not have laws?
05:54:12 <oerjan> how fortunate that i have no idea.
05:54:37 <shachaf> I guess this isn't the right channel to ask.
05:54:53 <shachaf> Cale and copumpkin might know.
05:55:03 <shachaf> And I talked about it with elliott once.
05:55:21 <Cale> T-algebras for a monad T have laws.
05:55:31 <shachaf> But those are much more complicated than F-algebras.
05:55:50 <Cale> fsvo much, yeah
05:56:51 <shachaf> Well, somewhat more complicated.
05:59:15 <HackEgo> b_jonas b_jonas b_jonas b_jonas b_jonas b_jonas
06:00:03 <HackEgo> 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:05:47 -!- Kaynato has joined.
06:05:54 <HackEgo> 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 <oerjan> `` tail -c340 wisdom/it
06:06:56 <HackEgo> 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 <oerjan> `` before | tail -c340
06:07:44 <HackEgo> 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:08:13 -!- Caesura has quit (Ping timeout: 244 seconds).
06:09:22 <HackEgo> 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:10:41 <oerjan> `` sed -i 's/ *$//' wisdom/speedy\ gonzales
06:20:37 <shachaf> `hogue wisdom/speedy gonzales
06:20:43 <HackEgo> <oerjan> ` sed -i \'s/ *$//\' wisdom/speedy\\ gonzales \ <oerjan> 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 <shachaf> `1 hogue wisdom/speedy\ gonzales
06:21:18 <HackEgo> 1/2:<oerjan> ` sed -i \'s/ *$//\' wisdom/speedy\\ gonzales \ <oerjan> 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:37:54 -!- DigitoriiX has quit.
06:38:58 <shachaf> oerjan: placenta-based homology? / i owe you an apology
06:42:31 <oerjan> 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 <shachaf> if verse alone will not suffice / then what would be your asking price?
06:49:10 <oerjan> your task, to introduce, must be / the word placenta in CT
06:50:51 <oerjan> or if you are for this too dense / you may instead put it in lens.
06:52:11 <oerjan> i know for sure it is the case / it won't look very out of place
06:55:58 <shachaf> well, birth as a formality / is just initiality
06:59:14 <shachaf> and so placentas could be shown / to be a universal cone
07:00:36 <shachaf> for algebras, as Lambek told / placenta would just be a fold
07:01:13 <shachaf> Wait, that's not Lambek's lemma.
07:09:07 <shachaf> a universal cone, i think, / is terminal (the missing link!)
07:10:25 <shachaf> and therefore (color me magenta) / it could be called a coplacenta
07:12:16 -!- Kaynato has quit (Ping timeout: 252 seconds).
07:14:09 <shachaf> "initial", as we've just unearthed, / tells us that an object birthed
07:14:39 <shachaf> all others, metaphorically, / which must mean, categorically,
07:21:54 <myname> i envy how you can rhyme like crazy \ to do this properly i'm way too lazy
07:22:00 <Taneb> oerjan, looks like you were right re: storm king
07:22:14 <Taneb> Oh, it looks like I missed the rhyming thing
07:22:29 <shachaf> myname: it's the meter that you're missing, not the rhyme hth
07:23:01 <shachaf> I need to finish my verse.
07:23:29 <myname> i am way better in thia in geman
07:26:27 <shachaf> that for an object to be final / (without a metaphor vaginal),
07:26:31 <shachaf> the arrow points the other way, / to death, destruction, and decay
07:27:53 <shachaf> but if that's so, then what's the story, / for a pointed category?
07:31:30 <shachaf> a zero object, says reflection, / would be the key to resurrection
07:32:05 <b_jonas> wtf you're writing English poems?
07:32:11 <b_jonas> what happened to this channel?
07:32:24 <shachaf> What language would you prefer?
07:32:55 <oerjan> Taneb: now i'm wondering if van rijn _really_ betrayed him, or if he's just confused.
07:33:21 <oerjan> that might depend on my euphrosynia theory the other day
07:35:37 <oerjan> shachaf: especially with that razor blade, i decided to toss it.
07:35:53 <oerjan> (does this mean shachaf has a full beard?)
07:36:25 <oerjan> pikhq: does shachaf have a full beard twh
07:36:50 <shachaf> Hmm, I think three people in this channel have seen me.
07:37:03 <shachaf> Four including me, I guess.
07:43:35 -!- halvredin has joined.
07:50:35 <pikhq> oerjan: Not to my knowledge.
07:50:56 <pikhq> At least, when I saw him he did not, and I do not know if he is able to grow one.
07:51:33 <shachaf> are you doubting my beard skills
07:52:04 <pikhq> No, I am merely ignorant of them.
07:52:51 -!- hppavilion[1] has joined.
07:58:03 <shachaf> Are your pooching plans determined yet?
08:15:47 <hppavilion[1]> 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 <shachaf> Doesn't seem very paradoxical.
08:16:57 <shachaf> Wait until you hear about Curry's paradox.
08:18:30 <HackEgo> 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 <shachaf> Turing-Gödel-Curry paradox
08:20:55 <hppavilion[1]> 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 <hppavilion[1]> http://i.imgur.com/3MTbXwX.gifv has to be photoshopped
08:43:13 <oerjan> that definitely needs some sound.
08:43:51 <oerjan> but i assume they're just showing off their dog training?
09:05:22 -!- halvredin has quit (Ping timeout: 260 seconds).
09:29:11 <hppavilion[1]> Hm... are there any possible numbers that are so big that there is literally no way to properly express them?
09:29:24 <hppavilion[1]> Like, even Graham's Number can be expressed in finite space
09:32:53 <shachaf> Graham's number can be expressed in very small space.
09:32:56 <oerjan> 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 <oerjan> as in, these expression tend to use more and more esoteric ordinals, that may or may not exist.
09:36:13 <oerjan> or, of course, unprovable how big it is.
09:36:53 <hppavilion[1]> Aren't the ordinals infinite? At least, the esoteric ones?
09:37:05 <oerjan> a transfinite ordinal defines a recursion scheme. if the ordinal doesn't actually exist, the recursion never bottoms out.
09:37:19 <shachaf> oerjan: sounds like an extraordinally proof hth
09:37:24 <oerjan> but if it does, you can use it to define huge finite numbers.
09:38:25 <oerjan> eliezer yudkowsky won a challenge to name the biggest computable integer by using a hypothetical ZFC extension
09:38:59 <oerjan> (the biggest he could find, which means it's also most likely to be inconsistent instead)
09:40:13 <oerjan> (computable, in the sense that they had to sketch a computer program that would calculate it)
09:41:21 <oerjan> although that was computable, so busy beaver numbers will be far larger than that again
09:41:42 <shachaf> oerjan: Well, if they didn't have a sketch of a computer program, it would be more of an imputable integer.
09:51:37 -!- Phantom_Hoover has joined.
10:00:14 -!- Koen_ has joined.
10:11:02 -!- oerjan has quit (Quit: Nite).
10:22:29 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bobadventureslist: not found
10:27:26 -!- earendel2 has joined.
10:27:47 -!- earendel2 has quit (Client Quit).
10:33:00 <HackEgo> underwater jousting? ¯\(°_o)/¯
10:34:12 <b_jonas> `slashlearn underwater jousting/Underwater jousting is a sport played on the open sea in single-person kayaks, where people try to hit a beach ball with the paddles until they get sufficiently exhausted. Taneb invented it.
10:34:35 <HackEgo> Learned «underwater jousting»
10:34:37 <HackEgo> Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex.
10:34:56 <b_jonas> wait, didn't shachaf just learn something for this yesterday?
10:35:44 <b_jonas> oh, that was submarine jousting
10:35:49 <HackEgo> Submarine jousting is unexplainable.
10:35:55 <b_jonas> `unlearn underwater jousting
10:35:56 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unlearn: not found
10:36:01 <b_jonas> `rm wisdom/underwater jousting
10:36:12 <b_jonas> yeah, submarine jousting sounds funnier actually
10:36:17 <HackEgo> Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex.
10:37:40 <shachaf> `sled wisdom/tanebvention//s/the/necessity, the/
10:37:43 <HackEgo> wisdom/tanebvention//Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, necessity, the torus, gazpacho, Stephen Wolfram, Go, submarine jousting, the universe, weetoflakes, persistence, the reals, Lambek's lemma, histograms, the BBC, progress, and this sentence. He never invents anything involving sex.
10:41:05 <HackEgo> The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets and tiny elfs. Taneb invented it.
10:42:25 <hppavilion[1]> If Gambler's Fallacy was accurate to reality, could we use it to build an Infinity Improbability Drive?
10:42:32 <ybden> Oh, Taneb isn't the owner of muppetlabs/breadbox
10:42:45 <HackEgo> shaventions include: before/lastfiles, culprits, hog/hogue, le//rn, mk/mkx, sled/sedlast, spore/spam/speek/sport/1. Taneb invented them.
10:42:50 <HackEgo> boilinventions? ¯\(°_o)/¯
10:43:16 <HackEgo> oerjanventions? ¯\(°_o)/¯
10:43:45 <b_jonas> woulnd't those be hppaventions?
10:43:56 <shachaf> `learn Necessity invented invention, because it had to. Taneb invented it.
10:44:00 <HackEgo> Learned 'necessity': Necessity invented invention, because it had to. Taneb invented it.
10:46:16 <myname> efghij is such a beautiful language
10:46:17 <shachaf> `le/rn necessity/If necessity did not exist, it would be necessary for Taneb to invent it.
10:46:58 <shachaf> Hmm, maybe that wisdom entry would be better as "God".
10:47:09 <shachaf> Taneb: what would you rather invent, necessity or god hth
10:47:15 <lambdabot> Local time for Taneb is Wed Jun 08 10:47:15
11:17:22 <\oren\> i am now inside a capsule hotel
11:17:55 <\oren\> that is to say, i am encapsulayed
11:27:28 <ybden> \oren\: is it nice in there?
11:29:38 -!- Akaibu has quit (Remote host closed the connection).
11:32:41 <\oren\> ybden: it has aircon and very fast internet so yes
11:34:27 <\oren\> and it is a few minutes walk from akihabara
11:34:51 -!- boily has joined.
11:35:46 <\oren\> i am in a capsule hotel
11:36:11 <\oren\> that is to say, i am *encapsulated*
11:37:51 <lambdabot> RJAA 081030Z 16008KT 9999 FEW013 BKN050 21/19 Q1014 NOSIG RMK 1CU013 7SC050 A2995
11:38:49 -!- Akaibu has joined.
11:38:55 <boily> \oren\: work? vacation? study? shady activities? how long are you staying?
11:39:26 <HackEgo> Akaibu: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
11:40:29 <\oren\> is going to maid cafes and lounging a shady activity?
11:41:15 <boily> not really shady, more like bright pink.
11:41:54 <\oren\> then no no shady activities here
11:46:56 <shachaf> `le/rn bicyclic monoid/The bicyclic monoid is the free monoid generated by two wheels of a bicycle, quotiented by the restriction that the bicycle itself is equal to the identity.
11:49:06 <dnm> Why am I still awake?
11:49:48 <\oren\> its only around eight o clock!
11:50:46 <shachaf> dnm: I might ask myself the same question.
11:52:20 <lambdabot> Local time for dnm is Wed Jun 08 03:52:18 2016
11:52:22 <boily> @localtime shachaf
11:52:23 <lambdabot> Local time for shachaf is Wed Jun 8 03:52:22 2016
12:01:01 -!- hppavilion[1] has quit (Ping timeout: 252 seconds).
12:01:01 -!- trout has quit (Quit: 1 found in /dev/zero).
12:01:44 -!- variable has joined.
12:03:53 -!- idris-bot has joined.
12:04:12 <b_jonas> ^ that's the local time for HackEgo
12:04:14 <HackEgo> 2016-06-08 11:03:38.508514000+00:00
12:13:24 <boily> fungot: do you have time?
12:13:25 <fungot> boily: do tell about actors:)! good ( fnord)
12:13:47 <boily> fungot: uuuh... Sean Connery?
12:13:47 <fungot> boily: i just like ' em. how do i load swindle in drscheme? it shows you visually what happens when you evaluate with c-x c-e in an emacs-lisp buffer will that do?
12:14:16 <boily> fungot: it won't do. it's emacs, and it's against my religion.
12:14:16 <fungot> boily: define ' arbitrary manipulation.' on to suggest that.
12:14:47 <boily> fungot: I do not suggest that. stop manipulating me, you filthy bot.
12:14:47 <fungot> boily: spoke finnish, too.)) yields the cartesian product.
12:15:03 <boily> fungot: speaking finnish yields cartesian products. I'll remember that.
12:20:14 <fungot> b_jonas: the sound ' pre-scheme' is dirty to your ears? the one you're running on an unix machine. fucking vocational cs degrees.
12:21:30 <boily> I don't fear the fungot. I have my mapole.
12:21:30 <fungot> boily: precise terminology is good too http://www.shiro.dreamhost.com/ scheme/ hedwig.png to
12:22:55 <b_jonas> `8-ball does fungot fear boily's mapole?
12:22:55 <fungot> b_jonas: we want a non-deterministic control structure. or they can both simply be special syntax...
12:23:05 <b_jonas> fungot, do you fear boily's mapole?
12:23:05 <fungot> b_jonas: widgets always are. and i'd qualify that by saying that it equals three, but i
12:23:58 <boily> since when does HackEgo have an 8 ball?
12:25:30 -!- hppavilion[1] has joined.
12:28:11 -!- boily has quit (Quit: THROWING CHICKEN).
12:39:27 <izabera> who's the official z-code expert in this chan?
12:40:29 <izabera> i'm reading the standard to implement a zmachine and i can't even find stuff like the word size
12:43:21 <int-e> 2 byte words, by default, given the age of this stuff. there are also some clues about it, e.g. when it discusses memory size (64k) and ranges of numbers (0..65535, sometimes -32768..32767)
12:43:39 <izabera> they didn't say that a number must fit in a word
12:43:58 <izabera> tho it'd be strange if it didn't
12:52:16 -!- Destructible has joined.
12:54:03 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: shoot: not found
12:54:39 <Destructible> so, does anyone here know what the movie "the room" is like?
12:55:27 <Destructible> It is esoteric, not just a regular language with movie catchphrases
12:56:04 <Destructible> and it isn't a brainfuck derivative, like other hidden programs
12:59:51 <Destructible> commands are based on numeric values of commands
13:00:48 <Destructible> how the numeric values are calculated is that, firstly, anything that is not a the room quote is an error
13:02:05 <Destructible> the value of a line is the amount of Hs, minus exclamation marks at the end
13:03:08 <Destructible> which would be push the value of the next one, if i remember
13:03:22 <izabera> does writing an interpreter constitute copyright infringement?
13:04:12 <Destructible> when a name is said, any name can be substituted
13:04:41 <Destructible> so, this means that you could make something like
13:07:25 <Destructible> the reason why exclamation marks subtract is because some people may not be able to resist adding too many hs
13:08:20 <Destructible> I think that perhaps there should be a subset of languages called niks, which have numeric commands which are like beatnik
13:08:43 <Destructible> I think everyone can agree that would be for the best
13:09:06 <izabera> but now i haven't seen the movie and i know that johnny shoots mary at some point
13:09:49 <Destructible> It was demonstrating that new creations can be made
13:10:44 <Destructible> Someone else should probably make the interpreter, because I haven't really learned any language good enough at this point
13:11:14 <HackEgo> Baby don't hurt me, don't hurt me no more
13:11:30 <HackEgo> whatis: can't open the manpath configuration file /etc/manpath.config
13:11:52 <ybden> love (1) - 2D game development framework
13:12:01 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
13:12:12 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
13:12:28 <HackEgo> inDestructible? ¯\(°_o)/¯
13:12:40 <HackEgo> hth is help received from a hairy toe. It is not at all hambiguitous.
13:13:12 <HackEgo> We're not sure what hambiguitous means, but it's definitely not hth.
13:13:51 <Destructible> also I had an idea for an esolang that isn't just something done slightly different
13:14:07 <HackEgo> brainfuck is the integral of the family of terrible esolangs. The name is a euphemism for "beef". bf -c -t "+>+++++>+++" | mklang --array
13:15:42 <Destructible> so ybden, have you contributed to the wiki at all?
13:15:50 <ybden> I have not either.
13:15:58 <HackEgo> God's number is the maximum number of moves a Rubik's cube can require to solve. It is equal to 20. No, really. Look it up.
13:19:55 <ybden> {this is a bracetical}
13:31:54 <izabera> https://i.imgur.com/dpTXm8M.png
13:35:24 <ybden> izabera: where did you find that?
13:35:42 <izabera> friend of mine claimed it was written by a c programmer in his company
13:35:50 <ybden> firstly, that's a very specific version
13:36:04 <ybden> secondly, they obviously don't know how the preprocessor works
13:36:24 <ybden> izabera: I pity that programmer
13:36:58 <ybden> Eh, I suppose it's a faily innocent mistake
13:37:26 <ybden> hppavilion[1]: yes
13:37:52 <hppavilion[1]> I much prefer the fox-hen-grain puzzle when the grain will eat the fox if left unattended
13:38:21 * ybden . o O ( wolf = undefined behaviour )
13:39:18 <hppavilion[1]> Or what if the farmer is really a hitman hired to kill the hen and must make it look like an accident?
13:39:29 -!- hppavilion[1] has quit (Quit: Leaving).
13:44:56 <HackEgo> [wiki] [[Fumble]] https://esolangs.org/w/index.php?diff=47167&oldid=47159 * 193.0.236.64 * (-54) Clean up for more wiki style
13:48:14 -!- Destructible has quit (Ping timeout: 250 seconds).
13:54:21 -!- Sgeo_ has quit (Ping timeout: 240 seconds).
14:23:23 -!- variable has quit (Quit: 1 found in /dev/zero).
14:49:08 <int-e> the puzzle doesn't really work if you can't leave two of the passengers alone unattended
14:49:19 <int-e> ... I prefer puzzles to be solvable
14:57:15 -!- lambda-11235 has joined.
15:03:58 -!- Guest83470 has joined.
15:40:01 -!- spiette has joined.
15:58:36 -!- spiette has quit (Ping timeout: 246 seconds).
16:11:50 -!- spiette has joined.
16:14:26 -!- augur has joined.
16:26:03 -!- J_Arcane_ has joined.
16:26:08 -!- J_Arcane_ has changed nick to J_Arcane.
16:43:28 -!- Koen_ has quit (Remote host closed the connection).
16:43:54 -!- Frooxius has quit (Read error: Connection reset by peer).
16:44:21 -!- Koen_ has joined.
16:44:25 -!- Frooxius has joined.
16:51:46 <HackEgo> [wiki] [[Jot]] https://esolangs.org/w/index.php?diff=47168&oldid=44879 * 5.249.127.17 * (+9) /* Semantics of Jot */
17:04:13 <coppro> http://www.ioccc.org/2015/muth/hint.html
18:04:40 <HackEgo> [wiki] [[User:Timwi]] https://esolangs.org/w/index.php?diff=47169&oldid=45927 * Timwi * (+13) efghij
18:10:29 -!- xkapastel has joined.
18:14:51 -!- nycs has joined.
18:15:13 -!- Guest83470 has quit (Read error: No route to host).
18:16:20 <HackEgo> [wiki] [[User:Qwertyu63]] https://esolangs.org/w/index.php?diff=47170&oldid=47165 * Qwertyu63 * (+6)
18:28:43 -!- Melvar` has joined.
18:28:46 -!- idris-bot has quit (Ping timeout: 272 seconds).
18:29:53 -!- Melvar has quit (Ping timeout: 252 seconds).
18:32:25 -!- Melvar`` has joined.
18:34:04 -!- Melvar` has quit (Ping timeout: 249 seconds).
18:35:48 -!- Melvar has joined.
18:36:33 -!- Melvar`` has quit (Ping timeout: 240 seconds).
18:37:45 -!- Koen_ has quit (Remote host closed the connection).
18:40:21 <HackEgo> [wiki] [[User:Rottytooth]] https://esolangs.org/w/index.php?diff=47171&oldid=46132 * Rottytooth * (+7) moved ↄ to done
18:41:15 <HackEgo> [wiki] [[A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer.]] https://esolangs.org/w/index.php?diff=47172&oldid=47097 * Rottytooth * (+25) implemented
18:46:50 <HackEgo> [wiki] [[User:Qwertyu63]] https://esolangs.org/w/index.php?diff=47173&oldid=47170 * Qwertyu63 * (+400)
18:48:04 <HackEgo> [wiki] [[User:Qwertyu63]] https://esolangs.org/w/index.php?diff=47174&oldid=47173 * Qwertyu63 * (+10)
19:03:07 <qrf> 14:31:54 <izabera> https://i.imgur.com/dpTXm8M.png
19:03:09 <qrf> That is glorious.
19:10:10 -!- Koen_ has joined.
19:16:20 -!- Koen_ has quit (Remote host closed the connection).
19:27:13 -!- Akaibu has quit (Quit: Connection closed for inactivity).
19:42:11 -!- AnotherTest has joined.
19:46:39 -!- AnotherTest has quit (Ping timeout: 264 seconds).
19:47:40 <lambdabot> CYVR 081818Z 12006KT 090V160 20SM -SHRA FEW040 SCT055 BKN087 OVC100 16/09 A2979 RMK SC2SC2AC2AC2 PCPN VRY LGT SLP088 DENSITY ALT 300FT
20:03:27 -!- Kaynato has joined.
20:46:53 <izabera> is this the most efficient way to count the number of leading 1s in a byte? for (i=0; (byte = byte << 1) & 0x80; i++);
20:49:22 <izabera> err that doesn't work but i mean something like this works for (i=0; byte & 0x80; i++) byte <<= 1;
20:50:12 -!- augur has quit (Remote host closed the connection).
20:50:46 -!- augur has joined.
20:53:06 <fizzie> Could be, for the specific case for a byte. Plausible alternatives would be __builtin_clz on ~byte, or the "obvious" binary-search approach.
20:55:10 -!- augur has quit (Ping timeout: 260 seconds).
20:55:43 <fizzie> That is, something like i = 0; if ((byte & 0xf0) == 0xf0) i += 4, byte <<= 4; if ((byte & 0xc0) == 0xc0) i+= 2, byte <<= 2; if (byte & 0x80) i++;
20:59:06 <izabera> a lookup table would be faster?
21:00:51 <fizzie> izabera: Quite possibly. https://graphics.stanford.edu/~seander/bithacks.html is a good place to check as well. And of course "most efficient" usually depends on all kinds of details.
21:01:17 <izabera> didn't find that problem exactly
21:02:20 <shachaf> fizzie: A bithack is a model of a weak 2-thack?
21:03:44 -!- dnm has quit (Ping timeout: 240 seconds).
21:09:12 <shachaf> fizzie: Your nick has three syllables, with emphasis on the first, right?
21:12:31 <b_jonas> I assumed it was two syllables, sounding like "fizzy" in English
21:13:22 <shachaf> Well, I assumed that the j in your name was pronounced as in English.
21:17:22 <zzo38> The operation ((x&y)==y) is a built-in operation in Z-machine.
21:17:23 <fizzie> shachaf: That's the one most Finnish people use and I think I'm more familiar with, but I accept the "fizzy" kind as a variant as well.
21:17:32 <b_jonas> shachaf: I've no idea how “jonas” is supposed to be pronounced really. I took that name after the main character Jonas in Lois Lowry's novel “The Giver”, but I never saw the author indicating how that's pronounced, and didn't try to find it out too hard.
21:18:07 <b_jonas> shachaf: I guess I could try to find videos of the film or the stage play based on the novel on youtube now, as that those now exist and were overseen by Lowry.
21:18:14 <b_jonas> I guess I should try that.
21:18:37 <b_jonas> If I really cared about how it's pronounced, I could also write to Mrs. Lowry, and she'd probably answer, but I never cared much.
21:18:45 <b_jonas> It wasn't even obvious to me how Lowry was pronounced.
21:18:47 <zzo38> How can you count the bits by the muxcomp operation efficiently?
21:19:09 <shachaf> fizzie: Well, how am I supposed to make a rhyme with your nick without a definitive pronunciation?
21:19:54 <b_jonas> fizzie: hmm, so how is it pronounced?
21:20:33 <b_jonas> Ok, let me check youtube for the film or other stuff
21:21:30 <b_jonas> I don't want to look at them
21:21:31 <fizzie> shachaf: You can consider what you said as the canonical form, assuming I parsed it correctly.
21:21:45 <b_jonas> the film would ruin my image of the book
21:21:54 <shachaf> OK, well, can you think of anything that rhymes with fizzie?
21:21:57 <fizzie> Unfortunately, Google TTS's Finnish voice gets it wrong, I'd've used that to verify.
21:21:58 <b_jonas> I'll try to find interview though
21:22:44 <b_jonas> fizzie: ok, but how do you parse what shachaf says, or how do you pronounce it? can you give a transcription to some pronunciation alphabet or something?
21:23:01 <b_jonas> shachaf: while we're there, how do you pronounce shachaf?
21:23:16 <shachaf> @google shachaf pronunciation
21:23:17 <lambdabot> Title: Shachaf pronunciation: How to pronounce Shachaf in Hebrew
21:23:27 <b_jonas> shachaf: it's from hebrew?
21:23:38 <shachaf> I can't verify without audio, but it's probably something like that.
21:24:14 <b_jonas> I'm listening to an interview with Lowry now
21:24:25 <b_jonas> so far he's said “the boy” and “this young boy”
21:24:52 -!- AnotherTest has joined.
21:25:52 <b_jonas> this interview didn't help. I'll try another
21:28:45 <b_jonas> nah, in this one she's telling some amusing anecdotes but not talking about The Giver
21:30:50 <fizzie> b_jonas: I'm not good at phonetic alphabets. I think it'd be something close to /ˈfitsie̯/, which, in retrospect, might not be quite what shachaf said, since it has the /ie̯/ diphthong instead of a separate /e/ syllable.
21:31:24 <shachaf> fizzie: Wait, so how many syllables?
21:31:39 <fizzie> Maybe it's just two then? I haven't really given it much thought.
21:31:53 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
21:32:08 <fizzie> It's not really such a conventional Finnish word.
21:32:11 <shachaf> Maybe you ought to record it.
21:32:12 <b_jonas> fizzie: so is it three full syllables, with both the i and the e taking up a separate one? and is it an open or a close e?
21:32:43 <b_jonas> fizzie: or is the i a semi-vowel (like in "yes" in English) so it's only two syllables?
21:33:01 <fizzie> b_jonas: AIUI, it's exactly the mid-e, neither open nor closed.
21:33:24 <b_jonas> and two or three syllables?
21:33:34 -!- jaboja has joined.
21:34:12 <b_jonas> In this interview, she is talking about The Giver,
21:34:16 <shachaf> hello, this is fizzie, and i pronounce fizzix as fizzix
21:35:35 <b_jonas> and she does say it with a /dZ/
21:35:45 <b_jonas> interview is https://www.youtube.com/watch?v=vGcdEX8QeF4
21:36:09 <fizzie> I can't tell. I mean, I think it's the /ie/ diphthong, which I guess would mean it has to be two. At least I can't tell the difference between the ie in, say, Lieksa and fizzie.
21:36:54 <b_jonas> I think she says /"dZV.n@s/ but I'm not sure about the first vowel. it's definitely short
21:37:00 <b_jonas> let me listen a few more times, and to different places
21:40:36 <b_jonas> ok, it definitely sounds like Mrs. Lowry pronounces Jonas as /"dZV.n@s/ in that interview
21:41:31 <fizzie> Okay, yes. The way "fizzie" ends is definitely more "tie" than "aie".
21:42:01 <b_jonas> that seems definitive enough for the book character, in English.
21:42:12 <fizzie> b_jonas: "tie" and "aie" are two Finnish words.
21:42:21 <b_jonas> you don't mean the English word "tie"
21:43:05 <fizzie> Unfortunately, Wiktionary lacks a pronunciation section on Finnish "tie". (It has one on "aie", so if that's the sort of thing shachaf meant, it's not that.)
21:43:41 -!- mender has joined.
21:44:01 <fizzie> Dear me, Goole Translate's Finnish voice gets "aie" approximately as wrong as possible.
21:44:30 <b_jonas> I'm certain I can't easily find out how Tóth Tamás Boldizsár pronounces “Jonas” in the translation. A letter through the publisher has a small chance to reach him, but I'm not going to try that.
21:44:32 <mender> hello fine folks! is there anyone capable of renaming users on the wiki?
21:44:50 <fizzie> (It's so wrong I may even need to fix it.)
21:44:52 -!- `^_^ has joined.
21:45:39 <b_jonas> fizzie: does it pronounce it wrong even in a sentence?
21:46:01 <b_jonas> mender: ais523 probably can, and let me check the user list for who else has privilages
21:46:13 <b_jonas> fizzie: can you help mender?
21:46:23 <fizzie> Is renaming a standard MediaWiki feature?
21:46:34 <fizzie> (If it is, then probably.)
21:46:50 <mender> apparently it needs some extension... let me dig up that link
21:46:51 <b_jonas> fizzie: I don't really know
21:47:01 <mender> https://www.mediawiki.org/wiki/Help:Preferences#User_profile_2
21:47:07 <b_jonas> mender: do you really need a rename, rather than just simply creating a new user?
21:47:28 <mender> I guess I could create a new user and change the links in all my esolangs
21:47:39 <mender> (which aren't that many)
21:47:41 <b_jonas> mender: you can even redirect your userpage
21:47:50 <b_jonas> mender: it's probably simpler than renaming the user
21:47:56 <mender> oh neat, how do I do that?
21:48:18 <fizzie> "-- the wiki must also have the Renameuser extension installed --" we might not have that in place. So, yeah, what b_jonas suggests might be reasonable. Keeps the history and all that.
21:48:20 <b_jonas> mender: go to userpage, edit it to contain a single line saying #REDIRECT [[User:FooBar]]
21:48:22 -!- nycs has quit (Ping timeout: 260 seconds).
21:48:38 <b_jonas> mender: on the target page you might want to explain that you're a new name for that old name, so it doesn't confuse people
21:48:58 <mender> great thanks, I'll do that
21:49:08 <b_jonas> mender: and you might want to do some of the relevant edits with the old user, and some with the new, so it's clear you really control both of them, and it's not someone maliciously trying to hijack a user page
21:49:38 <b_jonas> mender: can you tell use the two usernames here too by the way?
21:49:38 <fizzie> Oh. We actually *do* have Renameuser installed and loaded.
21:50:22 <HackEgo> [wiki] [[Special:Log/newusers]] create * Martin Ender * New user account
21:50:54 <mender> Martin Büttner --> Martin Ender
21:51:51 <mender> fizzie: as you can see I just created the new account. want to do the rename and kill the new account or should I go ahead with the redirect and everything?
21:52:15 <b_jonas> Anyway, regardless of the pronunciation of the book character, you can still pronounce my nick differently
21:52:38 <b_jonas> (Also, I don't have actual proof that Lowry named Jonas from the biblical prophet.)
21:53:13 <fizzie> mender: I'm not even sure what in particular Renameuser does. If you're okay with doing it the mostly-manual way, that'd be fine with me.
21:55:12 <HackEgo> [wiki] [[User:Martin Ender]] N https://esolangs.org/w/index.php?oldid=47175 * Martin Ender * (+1110) Created page with "I used to go by the name Martin Büttner. I have created the following esolangs: * [[Retina]], designed in 2015, a regex-based language, designed for use in code-Golf|golf..."
21:55:34 <b_jonas> I tried to listen to another interview, hoping it has better audio
21:55:37 <fizzie> b_jonas: Oh, and yes: "aie" is incredibly wrong even when used in a sentence. Looks like it falls back to the rule-based g2p system, which doesn't realize it's special, so it creates the phonemes "ai ie" (the ai- and ie-diphthongs) which sounds really stupid concatenated.
21:55:45 <b_jonas> this one is from a radio, so I assumed it was professionally done
21:56:16 <b_jonas> but aside from the introduction, the actual talk with Mrs. Lowry part is done through a telephone line, so not very high audio quality again
21:56:30 <HackEgo> [wiki] [[User:Martin Büttner]] https://esolangs.org/w/index.php?diff=47176&oldid=45124 * Martin Büttner * (-1047) Replaced content with "#REDIRECT User:Martin Ender"
21:57:06 <HackEgo> [wiki] [[User:Martin Büttner]] M https://esolangs.org/w/index.php?diff=47177&oldid=47176 * Martin Büttner * (+1) Redirected page to [[User:Martin Ender]]
21:57:57 <b_jonas> mender: you should redirect your user talk page (discussion page) too
21:58:42 <HackEgo> mender: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
21:59:01 <HackEgo> lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK
21:59:03 <lambdabot> CYUL 082000Z 28013G22KT 15SM OVC042 14/05 A2956 RMK SC8 SLP011 DENSITY ALT 300FT \ ENVA 082050Z 31014KT 9999 SCT025 SCT038 07/03 Q1024 RMK WIND 670FT 32019KT \ ESSB 082050Z AUTO 28004KT 9999 NCD 11/M02 Q1013 \ KOAK 082053Z 26015KT 10SM FEW035 BKN180 21/11 A2996 RMK AO2 SLP145 T02060111 58005
21:59:08 <HackEgo> [wiki] [[User talk:Martin Büttner]] N https://esolangs.org/w/index.php?oldid=47178 * Martin Büttner * (+36) Redirected page to [[User talk:Martin Ender]]
22:00:15 <HackEgo> [wiki] [[User talk:Martin Ender]] N https://esolangs.org/w/index.php?oldid=47179 * Martin Büttner * (+0) Created blank page
22:01:14 -!- MoALTz has quit (Quit: Leaving).
22:06:01 <b_jonas> In this other interview, Mrs. Lowry says that the names of the characters just “came to her”, and that sometimes she changes them later when writing the book but she didn't change the ones in The Giver. That probably means she didn't deliberately name Jonas from the biblical prophet.
22:06:26 <b_jonas> Meh, no matter, it's still a good enough connection for me.
22:07:15 <b_jonas> shachaf: usually called Ionah or something there
22:07:20 <fizzie> Heh. I don't know how, but the thing has selected to use a "aa-ee" unit (from the boundary of a compound word where the first part ends in /a:/ and the second part starts with /e:/) to realize the "ai-ie" it wanted to synthesize. Probably because it couldn't find "ai-ie" anywhere, since it makes no sense. So it just pronounces "aie" as something like /aʔe/.
22:07:55 <qrf> Oh my, IPA?
22:08:02 <qrf> I'm an IPA nerd
22:08:03 <shachaf> I didn't realize people called him Jonas.
22:08:05 <b_jonas> apparently Jonah, not Ionah
22:08:26 <b_jonas> shachaf: they do, but I think that's a latinism
22:08:32 <qrf> I used to be a regular in here, years ago
22:08:46 <fizzie> shachaf: "Joona" in the Finnish translation.
22:08:51 <b_jonas> as in, he's called Jonas in latin
22:08:53 <HackEgo> qrf: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
22:08:59 <qrf> That was slow
22:09:16 <qrf> Let me guess, it's because HackEgo was written in a painfully inefficient esoteric language
22:09:29 <fizzie> No, it's because HackEgo's running on a ridiculous VPS provider.
22:09:36 <qrf> :\ I use OVH
22:10:05 <b_jonas> anyway, he's the prophet who's been swallowed by a mythical sea monster (whale or leviathan) and God sent him to be a prophet in the city of Niniveh
22:10:14 <b_jonas> (just to make clear which prophet it is)
22:10:42 <fizzie> Well, the sandboxing it uses (essentially, boot a new UML kernel for every command) isn't *terribly* efficient, but formely it wasn't really all that painful; lately it's been slower than it used to be.
22:11:23 <qrf> That prophet is also featured in the Qur'an, which I'm currently reading
22:11:45 <qrf> A kernel written in the Unified Modelling Language, most impressive
22:12:29 <fizzie> fungot it's the one of our bots that's written in a painfully inefficient esoteric language, and it's pretty fast.
22:12:29 <fungot> fizzie: i thought it was labyrinth, but i
22:12:36 <b_jonas> qrf: but I know very little about the Quran, so when I think of the prophet and how he's related to The Giver, I was definitely always thinking of the biblical version
22:14:36 <b_jonas> fizzie: ok wait, have we got this yet? is your pronunciation of "fizzie" two syllables or three syllables?
22:15:35 <fizzie> b_jonas: I think I've settled on two.
22:17:21 <b_jonas> fizzie: then I'll pretend it's /ˈfits.jɛ/ with /ts/ a single vowel (imagine a tie accent above or below the two or something)
22:18:00 <fizzie> No, the consonant boundary is definitely right after the /'fi/.
22:18:05 <qrf> The official pronunciation of my nick is [ˈqɑɾɑf]
22:18:11 <b_jonas> fizzie: do you mean the syllable boundary?
22:18:22 <fizzie> Essentially, take the first syllable from fi:fiikus but shorten the vowel from /i:/ to /i/, then take the single syllable from fi:tie but convert the initial consonant from /t/ to /ts/.
22:18:58 <fizzie> (Translate gets those two words right.)
22:19:19 <b_jonas> fizzie: hmm, but I can't pronounce /ˈfi.tsjɛ/; maybe the /jɛ/ part is wrong
22:19:58 <fizzie> As I understand, it should be /ie̯/.
22:20:06 <b_jonas> fizzie: isn't that the same?
22:20:18 <b_jonas> same as far as my mouth goes
22:20:31 <b_jonas> a short /i/ or semi-vowel /i/
22:20:39 <fizzie> I should probably just record it.
22:20:57 <b_jonas> nah, I can totally accept that you can pronounce /ˈfi.tsjɛ/
22:21:09 <b_jonas> even if I can't pronounce it because I'm not used to that sort of thing
22:21:17 <b_jonas> I can just pronounce it as /ˈfits.jɛ/ and it's short enough
22:21:28 <fizzie> Hmm. Well, if you listen to the left side of https://translate.google.com/#fi/en/tsie that's pretty much the tail end.
22:21:58 <b_jonas> or I can try to pronounce /ˈfi.tsjɛ/ even if I'm not used to it
22:22:03 <fizzie> Oh, that's simple -- actually, https://translate.google.com/#fi/en/fitsie is pretty close.
22:22:11 <fizzie> (But if you write it as "fizzie" it goes all wrong.)
22:22:24 <b_jonas> fizzie: is the "zz" part a finnish spelling?
22:23:29 <fizzie> Not really. 'z' appears rarely in some loanwords and generally maps to a /ts/.
22:23:43 <fizzie> I don't think 'zz' really exists.
22:24:04 <b_jonas> fizzie: ah, that would explain why google's text to speech doesn't pronounce it properly
22:25:21 <fizzie> Right. It generates the two syllables "f i1" and "t s ii0".
22:25:24 <b_jonas> ok, let me see this one you pasted
22:25:30 <int-e> uh is GG heading towards another boss fight?
22:26:11 <fizzie> For "fitsie" it generates again two syllables, but this time "f i1" + "t s ie0", which is probably right.
22:26:12 <int-e> Granted, it's been a while... I think that automatic train was the last serious one.
22:27:58 <b_jonas> anyway, I'll probably continue to pronounce jonas with a /j/, but a /dZ/ is fine too of course
22:28:16 <b_jonas> unless I'm specifically talking about the book character and in English of course, in which case I should try to stick to /dZ/
22:29:43 -!- mender_ has joined.
22:30:43 <b_jonas> Given that the biblical prophet is pronounced with a /j/, I think that's a good enough excuse that you can use either
22:30:50 -!- mender has quit (Ping timeout: 250 seconds).
22:31:09 -!- spiette has quit (Quit: :qa!).
22:32:35 <qrf> X-SAMPA <23
22:33:34 <b_jonas> qrf: I prefer IPA-like notation, but I'm lazy to type it
22:33:52 <b_jonas> I should make a two-way transliterator as an input method or something
22:34:48 <qrf> I wrote this shitty bot for #linguistics, it converts X-SAMPA to IPA
22:34:52 <HackEgo> [wiki] [[Stack Cats]] N https://esolangs.org/w/index.php?oldid=47180 * Martin Ender * (+8990) Created page with "'''Stack Cats''' (abbreviated as '''SKS''') is a stack-based, [https://en.wikipedia.org/wiki/Reversible_computing reversible] programming language developed by user:Martin E..."
22:35:16 <b_jonas> qrf: nice... hmm, which one is #linguistics, is it the one that always talks about politics, or is that ##linguistics ?
22:35:47 <qrf> #linguistics is the one about TV, gay sex, drugs
22:36:04 <b_jonas> qrf: nah, that's not very specific, lots of channels are about that
22:36:14 <HackEgo> [wiki] [[User:Martin Ender]] https://esolangs.org/w/index.php?diff=47181&oldid=47175 * Martin Ender * (+115) add Stack Cats
22:36:51 <qrf> That is true
22:37:13 <b_jonas> it seems #linguistics is the one I was thinking about, but I know ##linguistics exists as well
22:38:04 <qrf> ##linguistics kicks people for off-topic talk
22:38:48 <b_jonas> maybe I should try that one if I have a linguistics question
22:39:19 <qrf> Not necessarily
22:39:22 <qrf> It's also notoriously inactive
22:39:35 <b_jonas> well, it can be worth a try, but ok
22:40:49 <b_jonas> mostly I should just try outside of irc
23:01:26 -!- Akaibu has joined.
23:03:16 -!- Koen_ has joined.
23:08:32 -!- mender_ has quit (Ping timeout: 250 seconds).
23:09:58 -!- clog has quit (Ping timeout: 272 seconds).
23:10:46 -!- `^_^ has quit (Quit: This computer has gone to sleep).
23:21:09 -!- Sgeo_ has joined.
23:27:40 -!- augur has joined.
23:29:04 -!- FreeFull has quit (Read error: Connection reset by peer).
23:34:33 -!- FreeFull has joined.
23:37:43 -!- hppavilion[1] has joined.
23:38:12 <hppavilion[1]> And the update didn't add very much new content in comparison to many previous updates
23:39:52 <myname> i blame notch for building and selling
23:41:12 <hppavilion[1]> myname: I blame the boundary conditions of the universe for being in the particular configuration they were
23:41:38 <myname> it also made the clearly superior dwarf fortress possible
23:42:36 <hppavilion[1]> Unfortunately, my eyes do not accept Dwarf Fortress as valid input
23:48:45 <myname> hppavilion[1]: you may want to use a tileset
23:49:16 <hppavilion[1]> myname: I probably should have thought of that by now.
23:53:03 -!- jaboja has quit (Ping timeout: 276 seconds).