00:06 <DerpyBot> New post on Equestria Daily by Sethisto: Discussion: Design Your Dream Pony Video Game! [ http://tinyurl.com/y7k7gud4 ]
00:08 *** Quits: LibrarianofHope (Librarianof@Pony-5v8.8lh.207.187.IP) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
00:09 *** Quits: Pinmane (Pinmane@Pony-vdcche.elisa-laajakaista.fi) (Connection closed)
00:09 <Cepheid> ... Wait, that cryptocurrency making news is *CANADIAN*?
00:11 *** Joins: Pinmane (Pinmane@Pony-vdcche.elisa-laajakaista.fi)
00:13 * Cepheid watches a muscular fly punch Schism into the ground.
00:14 *** Joins: Thelema5 (Thelema5@Pony-2fg0r1.east.verizon.net)
00:23 <Cepheid> I gotta say...
00:23 <Cepheid> The Innkeeper appeals to me.
00:23 <Cepheid> She appears to be a narcoleptic kid(?) with a large cat resting atop her head.
00:25 *** Joins: Changeling_Nightmares (Surreal@Cutest.Floofy.Changeling.Batpone)
00:27 <Cepheid> Apparently, Heroic Difficulty is just Expert Difficulty without the ability to reduce the difficulty later on.
00:27 *** Quits: Filly_Nightmares (Surreal@Cutest.Floofy.Changeling.Batpone) (Ping timeout: 121 seconds)
00:28 <Cepheid> Wheel of Fortune. It's the final riddle. "Draw_ng a _lan_"
00:29 *** Joins: blazingstar (uid322713@Pony-be0go9.highgate.irccloud.com)
00:29 <Cepheid> Hint is "What are you doing?"
00:29 <blazingstar> Hey
00:29 <Lunanightwind> yay my husband is here
00:29 *** Joins: ADragonDreaming (IceChat9@Pony-tpdjag.livnmi.sbcglobal.net)
00:29 <ADragonDreaming> meow.
00:29 <Cepheid> Hullo.
00:30 <blazingstar> How are you?
00:30 <Cepheid> ADragonDreaming, I have recruited you as the Misfits Guild Medic in Etrian Odyssey Nexus.
00:30 <ADragonDreaming> Cepheid: good to know.
00:30 <ADragonDreaming> blazingstar: I am a medic, apparently, so therefore I am doing terrible.
00:30 <Cepheid> Doing a fine job of it.
00:30 <Cepheid> Had two deaths, brought 'em back.
00:31 <ADragonDreaming> exactly.
00:31 <ADragonDreaming> If the medic is doing a fine job, that means life is terrible.
00:31 <Cepheid> Heh.
00:31 <Cepheid> It's better than having to run back to town.
00:31 <ADragonDreaming> I'm going to see if I can't take down that Rathalos.
00:31 <blazingstar> Lol
00:31 <Cepheid> Want me to pop on and help?
00:32 <blazingstar> It really does
00:32 <ADragonDreaming> If ye so desire
00:32 <Cepheid> Let me finish eating.
00:32 <ADragonDreaming> hm... how long might that take? Because I might go make that pot pie.
00:33 <Cepheid> About 3 minutes or so. You got time, if it's microwavable.
00:33 <ADragonDreaming> yeah, but then I'd need to eat it.
00:33 <ADragonDreaming> eh, I'll go make it
00:38 <Cepheid> I've got about an hour. I'd like to finish up by quarter to 9 and get in bed.
00:38 <Cepheid> Eh, I'll just make it 9. I'll be sleeping in tomorrow anyway.
00:39 *** Quits: Lunanightwind (Lunanightwi@Pony-acfiub.nh.comcast.net) (Ping timeout: 121 seconds)
00:45 <Cepheid> https://gizmodo.com/your-february-horoscope-is-here-we-built-an-ai-astrolog-1832369049
00:58 * Finwe hats on Cepheid.
01:06 <DerpyBot> New post on Equestria Daily by Sethisto: Open Art Valentines Day Event - Ship Some Ponies! [ http://tinyurl.com/y7q9nvfz ]
01:24 *** Joins: Arkomeda (Arkomeda@Pony-k6p1jp.6dve.u6pf.0587.2a02.IP)
01:33 *** Quits: Thelema5 (Thelema5@is.a.curious.pone) (Ping timeout: 121 seconds)
01:35 *** Joins: Persona (Tilde@Pony-loni7h.res.rr.com)
01:43 *** Joins: Thelema5 (Thelema5@Pony-2fg0r1.east.verizon.net)
01:50 <Schism> Battlefield 5 does not meet EA's expectations for sales, says EA, despite the game having sold 8.7 million copies.
01:51 <Schism> Er, 7.3 million.
01:51 <Schism> Still a rather sizeable number, that.
01:55 <Schism> Cepheid: https://twitter.com/jchcov/status/1092768803765788672
02:00 *** Quits: Changeling_Nightmares (Surreal@Cutest.Floofy.Changeling.Batpone) (Connection closed)
02:06 <DerpyBot> New post on Equestria Daily by Calpain: Nightly Discussion #1702 [ http://tinyurl.com/y7ps4yu2 ]
02:15 <Cepheid> Heh.
02:20 *** Ali|BGN is now known as ALi
02:20 *** ALi is now known as Ali
02:21 <Schism> I am saddened. CBS does not have Stephen Colbert MSTing the State of the Union Address.
02:30 <Thelema5> Nancy looks ready to pounce and tear his throat out.
02:36 <PinkieShy> Da hell..
02:36 <PinkieShy> Looking at my screen at a weird angle..
02:37 <PinkieShy> Like to the very very far right away from the desk and screen on the other side of the room..
02:37 <PinkieShy> The youtube logo looked pink..
02:40 <Schism> Thelema5: Meanwhile, I don't think that Mike Pence has any other facial expressions.
02:40 <Schism> God, what a pile of... deep breaths, deep breaths.
02:42 <Thelema5> PinkieShy, wierd
02:42 <Thelema5> Schism, right?
02:46 <Schism> I think Pelosi's going to chew off her own tongue.
02:46 <Schism> That :S face.
02:49 <Thelema5> Yep!
02:49 <Schism> Did... that just happen?
02:49 <Thelema5> Biting her tongue so hard
02:49 <Schism> Seriously, did that just happen?
02:49 <Thelema5> ... I'm on a lagging feed...
02:50 <Schism> You'll see in a sec.
02:54 <Thelema5> I must have missed it
02:54 <Schism> It was when the crowd started chanting, "U.S.A!"
02:54 <Schism> At which point my brain just folded.
02:56 <Cepheid> Is a miniature Konpaku Youmu a Compact Konpaku?
02:57 <Thelema5> Oh, yeah. Disgraceful
02:59 <Schism> ... he did... he just...
02:59 <Schism> He just invited a 10-year-old cancer patient onto the stage to make a political point.
03:03 <Thelema5> I really want to punch him in the face.
03:03 <Thelema5> And I am NOT a violent person by any stretch of the imagination
03:03 <Schism> I know.
03:12 <Schism> I'm drinking too much tonight. I know it, but I don't think my brain has enough lubricant.
03:14 <Thelema5> I understand 100% :p
03:14 <Thelema5> Again with the pedestrian chant, the hell
03:15 <Schism> This isn't a SOTU, this is a rally.
03:15 <Thelema5> I have to beleive that chanting is pre-recorded and piped in laugh-track style
03:15 <Schism> Is there no depth to which he will sink?
03:16 <Schism> er, won't sink*
03:16 <Thelema5> Nancy is so close, she could leap with a knife any second
03:18 <Schism> ... Just last month?
03:19 *** Quits: blazingstar (uid322713@Pony-be0go9.highgate.irccloud.com) (Quit: Connection closed for inactivity)
03:19 <Schism> The shooting at the Tree of Life Synagogue was in October of 2018.
03:21 *** Quits: Vulpor (Vulpor@Pony-lkvpl9.254-net.sccoast.net) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
03:21 <Thelema5> Since when do facts matter?
03:21 <Thelema5> Oh yeah, not since 2016
03:23 * Cepheid shakes Schism. "You must defeat Zorah Magdaros before it reaches the Everstream, or IT'S ALL OVER!"
03:23 <Cepheid> Anyways, laters. Beddy-bye times.
03:24 <Schism> Ciaociao. Sorry for causing more headaches, and rest well.
03:25 <Thelema5> G'night!
03:26 *** Quits: Arkomeda (Arkomeda@Pony-k6p1jp.6dve.u6pf.0587.2a02.IP) (Quit: I must go, my planet needs me.)
03:26 *** Joins: Arkomeda (Arkomeda@Pony-k6p1jp.6dve.u6pf.0587.2a02.IP)
03:37 *** Joins: cabbage (cabbage@Pony-997onu.dynamic.fusionbroadband.com)
03:53 <Cepheid> Before sleep, honest question. Why is it so hard for people to ignore problems they don't want to care about on social media?
03:55 <Ali> Cause everyone wants their 2 cents heard
04:00 <Schism> Everyone has a selection of concerns, which don't line up with each other. One of the benefits -- and one of the weaknesses -- of social media is that those problems become more visible.
04:01 <Schism> It's an aspect of human nature that we believe this is good when we believe that these things are problems, and bad when we don't.
04:03 <Thelema5> Couldn't say. I drink myself to sleep every night O.o
04:08 <Cepheid> These problems people speak of, I only ever see or hear of them when I explicitly go looking for them on social media. Otherwise, my feed doesn't show me anything.
04:17 *** Quits: Mpon (Mpon@Pony-s3c3bt.business.telecomitalia.it) (Ping timeout: 121 seconds)
04:20 *** Joins: Mpon (Mpon@Pony-ukh.gld.8.79.IP)
04:27 <Schism> Cepheid: It's often difficult to run into issues which are outside our own personal wheelhouse. That's no reflection on you, more on human nature in general.
04:27 <Schism> Turns out that social media as it currently stands exacerbates that concern.
04:42 * DerbyFloat chews on Thelema5's tail
04:43 *** Joins: Reia (Reia_Hope@TheCowPony)
04:46 <DerpyBot> New post on Equestria Daily by Sethisto: Voting for Top 10 Pony Videos Begins [ http://tinyurl.com/yber2nqq ]
05:02 <Schism> ... Thelema5, you still around?
05:10 *** Quits: Heartbreak (Heartbreak@Pony-gja4ce.mn.comcast.net) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
05:10 *** Quits: PinkieShy (coolm@Pony-ck81je.67-212-45-net.sccoast.net) (Connection closed)
05:11 *** Joins: Personifire (Tilde@Pony-618u2u.dgbc.9fgu.6000.2605.IP)
05:12 *** Quits: Persona (Tilde@Pony-loni7h.res.rr.com) (Ping timeout: 121 seconds)
05:16 *** Quits: JonTheVGNerd (JonTheVGNer@Pony-48j.p7d.45.70.IP) (Quit: Leaving)
05:17 *** Quits: Thelema5 (Thelema5@is.a.curious.pone) (Ping timeout: 121 seconds)
05:40 <Mr`Ed> Goodnight
05:46 *** Quits: totient (quassel@Pony-54s8k5.qiab.vj8s.004a.2601.IP) (The TLS connection was non-properly terminated.)
05:50 *** Joins: FruitNibbler (Eogan@Pony-o6uc33.dip0.t-ipconnect.de)
05:52 *** Quits: Fn (Eogan@Pony-i47ce1.dip0.t-ipconnect.de) (Ping timeout: 121 seconds)
06:12 <Schism> "You don't have a pool worth mentioning. You're useless." "Really? I bet I can get you three to back off with a tiny amount of mana." "Prove it." "Kay. [[Spark.]]" "And what dowadsgiDSWATHSBCL?!" "Tiny flame, in front of your eye. You don't need a huge thaumic field to win a fight. A stick in the frog is even enough."
06:13 *** Quits: Personifire (Tilde@Pony-618u2u.dgbc.9fgu.6000.2605.IP) (Ping timeout: 121 seconds)
06:27 *** Joins: Reia_Hope (Reia_Hope@TheCowPony)
07:36 *** Quits: Reia_Hope (Reia_Hope@TheCowPony) (Quit: Leaving)
07:42 *** Joins: ConfusionRift (ConfusionRi@Pony-nf551c.res.spectrum.com)
07:42 *** ChanServ sets mode: +o ConfusionRift
07:42 <ConfusionRift> Hello everypony.
07:44 * DerbyFloat jams one of ConfusionRift's hooves in her mouth
07:45 <ConfusionRift> o_0
07:45 <ConfusionRift> Interesting...
07:45 * ConfusionRift pets DerbyFloat with the other. :P
07:46 * DerbyFloat babbles and smiles
07:53 * DerbyFloat magics over an apple and falls asleep
07:56 *** Quits: Tempo (SamShmuck@Pony-0854uq.fios.verizon.net) (Quit: Leaving)
07:57 <Koopz> Trash Bin > 487 mails. Folder "Trash Bin/Trash Bin" > 1951 mails...
07:59 <Koopz> boom... halfed the used diskspace of my mailbox...
08:01 <Koopz> 1585 mails in the archive
08:16 <Finwe> Lt Cdr ConfusionRift, Capt Koopz, Miss DerbyFloat, Mr Schism.
08:16 <Finwe> o7
08:16 <ConfusionRift> RAdm. Finwe. (salutes)
08:16 <ConfusionRift> It has been a long time since we last saw Adm. Mash, huh.
08:18 <Koopz> RAdm Finwe o7
08:18 <Finwe> Indeed. VAdm NoPony-Special paid us a visit for some months ago, though.
08:18 <Finwe> !seen NoPony-Special
08:18 <DerpyBot> Finwe: The last time I saw NoPony-Special was 2018-06-07 21:21:37 UTC
08:18 <Koopz> phew
08:20 <ConfusionRift> I was playing KH3, and one of the stages is based on the movie Tangled. It reminded me of him.
08:23 <Koopz> hmm.. what was that other pone's name?...
08:23 <Koopz> !seen ThatAnonPony
08:23 <DerpyBot> Koopz: The last time I saw ThatAnonPony was 2019-01-18 01:45:59 UTC
08:23 <Finwe> Lt ThatAnonPony.
08:24 <Finwe> Then there was Cdre Kizi.
08:24 <Finwe> !seen Kizi
08:24 <DerpyBot> Finwe: The last time I saw Kizi was 2014-01-30 19:54:30 UTC
08:24 <Finwe> He's been away for quite a while.
08:27 <Koopz> i remember some other pony starting with an F but it was a weird name...
08:28 <ConfusionRift> Faraway?
08:28 <Koopz> yesss
08:28 <ConfusionRift> I think....
08:28 <Koopz> Faraday
08:28 <Koopz> !seen Faraday
08:28 <DerpyBot> Koopz: The last time I saw Faraday was 2017-01-29 19:57:08 UTC
08:28 <ConfusionRift> There we gooo.
08:28 <ConfusionRift> Yeah, makes sense.
08:29 <Finwe> Faraday, he at least used to live quite close to me. Some 25 kilometres away.
08:34 * Ali looks for somepony to hide under, she hates thunderstorms
08:35 * ConfusionRift snugs Ali.
08:36 *** Joins: Reia_Hope (Reia_Hope@TheCowPony)
08:36 *** Quits: Reia_Hope (Reia_Hope@TheCowPony) (Connection closed)
08:36 <Finwe> Miss Ali.
08:36 * Finwe doffs his hat.
08:37 <Finwe> Curious, the US Navy has not got the rank of Commodore.
08:37 * Ali is too busy hiding under ConfusionRift
08:37 <Finwe> They have Rear Admiral (lower half) or RDML instead.
08:40 <Ali> What about forward admiral? *shot*
08:41 * Finwe fails to be amused but boops Ali nevertheless.
08:42 <Finwe> I hope for your sake that you did not come up with that yourself.
08:42 * Ali squeaks at Finwe and hides under
08:42 * Ali did
08:42 <Koopz> shouldn't it rather be Front Admiral?
08:43 * Ali slaps Koopz around a bit with a large tuna
08:43 <Koopz> Port and Starboard Admiral... :>
08:44 <Finwe> Stern Admiral and Bow Admiral. o3o
08:45 <Finwe> Stern could also be Aft, both terms are in frequent use.
08:45 <Ali> Aftly noted
08:45 <Ali> Do I get a Stern warning for these puns?
08:46 <Koopz> How big would a ship need to be for it to require 4 admirals to handle?...
08:50 *** Quits: Ali (Ali@Pony-0s9205.4nua.5fca.1702.2600.IP) (Quit: Leaving)
08:51 *** Joins: danwellby (Daniel_well@Pony-3s35q8.dyn.plus.net)
08:58 *** Quits: cabbage (cabbage@Pony-997onu.dynamic.fusionbroadband.com) (Connection closed)
09:03 <Finwe> Koopz: A ship is usually commanded by a Captain, Commander, Lieutenant Commander or Lieutenant.
09:03 <Finwe> Depending on the size of the vessel.
09:07 *** Quits: Reia (Reia_Hope@TheCowPony) (Quit: Bye)
09:19 <Koopz> fine let's weld an entire fleet together to one ship then
09:20 <Koopz> i'm actually thinking in Girls und Panzer dimensions
09:20 <Koopz> an entire landscape and city on the deck :P
09:46 <Finwe> o3o
09:46 * Finwe boops Koopz with Maus.
09:48 *** Quits: Quill (Nyah@Pony-jaks4r.res.rr.com) (Ping timeout: 121 seconds)
10:04 *** Quits: coppertiger (coppertiger@Pony-hvt.76m.120.37.IP) (Ping timeout: 121 seconds)
10:05 * Koopz boops Finwe with a self-constructed P1500 Monster
10:08 *** Joins: Mpon_ (Mpon@Pony-ukh.gld.8.79.IP)
10:08 *** Quits: Mpon (Mpon@Pony-ukh.gld.8.79.IP) (Ping timeout: 121 seconds)
10:13 <Koopz> >lets put naval guns on tanks
10:14 <Koopz> moar big badaboom is moar better
10:17 *** Quits: Mpon_ (Mpon@Pony-ukh.gld.8.79.IP) (Ping timeout: 121 seconds)
10:21 *** Joins: Mpon (Mpon@Pony-ukh.gld.8.79.IP)
11:00 *** Joins: Mpon_ (Mpon@Pony-ukh.gld.8.79.IP)
11:00 *** Quits: ConfusionRift (ConfusionRi@Pony-nf551c.res.spectrum.com) (Quit: Recharging the batteries. Laters! *shutdown*)
11:03 *** Quits: Mpon (Mpon@Pony-ukh.gld.8.79.IP) (Ping timeout: 121 seconds)
11:06 <DerpyBot> New post on Equestria Daily by Calpain: Morning Discussion #1476 [ http://tinyurl.com/yd2q9svk ]
11:25 *** Joins: RazorSharpFang (RazorSharpF@Pony-sq2v4f.tpgi.com.au)
11:55 * Surreal_Nightmares snugglies into Koopz and goes sleepies on
11:55 <Surreal_Nightmares> Nini!
11:55 <Surreal_Nightmares> I wuv you forever!
11:55 *** Surreal_Nightmares is now known as Sleeping_Nightmares
12:04 <RazorSharpFang> I hear thunder.
12:06 <DerpyBot> New post on Equestria Daily by Sethisto: Comics: Ponies in the Outfield #22 / Applefection #79 [ http://tinyurl.com/ybdqmjv7 ]
12:07 *** Joins: Mpon (Mpon@Pony-s3c3bt.business.telecomitalia.it)
12:08 *** Quits: Mpon_ (Mpon@Pony-ukh.gld.8.79.IP) (Ping timeout: 121 seconds)
12:20 *** Joins: Mpon_ (Mpon@Pony-ukh.gld.8.79.IP)
12:22 *** Quits: Mpon (Mpon@Pony-s3c3bt.business.telecomitalia.it) (Ping timeout: 121 seconds)
12:43 * Finwe noms on Koopz's self-constructed P1500 Monster.
12:43 <Finwe> o3o
12:50 *** Joins: Mpon (Mpon@Pony-s3c3bt.business.telecomitalia.it)
12:50 *** Joins: Divide|Adagio (NA@Pony-3oedb8.dsl.bell.ca)
12:52 *** Quits: Mpon_ (Mpon@Pony-ukh.gld.8.79.IP) (Ping timeout: 121 seconds)
12:52 *** Quits: Mpon (Mpon@Pony-s3c3bt.business.telecomitalia.it) (Client exited)
12:52 *** Quits: Schism|Adagio (NA@royalkitchen.canterlot.equ) (Ping timeout: 121 seconds)
12:52 *** Joins: Mpon (Mpon@Pony-ukh.gld.8.79.IP)
13:20 *** Joins: coppertiger (coppertiger@Pony-71u.pgn.212.185.IP)
13:26 *** Quits: ADragonDreaming (IceChat9@Pony-tpdjag.livnmi.sbcglobal.net) (Ping timeout: 121 seconds)
13:31 *** Quits: Chaosweaver (Chaos@Evil.Lives.Here) (Ping timeout: 121 seconds)
13:49 *** Joins: Thelema5 (Thelema5@is.a.curious.pone)
13:50 <Finwe> Mr Thelema5.
13:50 * Finwe doffs his hat.
14:22 <Schism> Writers: Chuck Wendig puts out a series of remarkable truths, straight from the lion's beak. https://twitter.com/ChuckWendig/status/1093148692901699584
14:23 <Finwe> Mr Schism.
14:23 * Finwe doffs his hat.
14:24 <Schism> rAdm. Finwe.
14:24 * Schism doffs his geometry. https://googleprojectzero.blogspot.com/2019/02/the-curious-case-of-convexity-confusion.html
14:28 <Finwe> Translation matrix?
14:29 <Finwe> Translation, at least in normal coordinates, cannot be expressed as a matrix.
14:30 <Schism> The last case is particularly enjoyable.
14:30 <Finwe> A matrix represents a linear transformation, and linear transformations always have origin as fixed point.
14:31 <Finwe> The only translation that has origin as fixed point is the translation by zero vector.
14:31 <Finwe> But it also has every other point in the space as fixed point, too.
14:32 <Finwe> One could represent translation as linear mapping in homogenous coordinates, though.
14:33 <Finwe> Because then you could just have an identity matrix with the translation vector in the last column above the diagonal of ones.
14:33 <Schism> That's likely the case here.
14:36 <Finwe> Homogenous coordinates are weird. One point in the space is not represented by one, but infinitely many vectors within the same coordinate system.
14:37 <Schism> Hm, perhaps not the case here, then.
14:37 <Finwe> And the points that are infinitely far away from the origin still have finite coordinates. o3o
14:37 <Finwe> It's one of the reasons they're handy in computer graphics.
14:37 <Schism> Oh, well, of course, because you can have an infinity of finite numbers.
14:38 <Finwe> No danger of sudden division by zero or anything other.
14:38 <Finwe> Erm, anyhting else. o3o
14:38 <Finwe> *anything
14:38 * Finwe derps.
14:38 <Finwe> 6.9
14:41 * Schism reads something, then stares. "Aha. So that's who the lead venture capitalist behind Patreon is/was."
14:53 <RazorSharpFang> Yeah, Patreon is apparently not having a good time right now.
14:57 *** Joins: ADragonHoarding (ADragonHoar@Pony-krk.qod.41.69.IP)
14:57 <ADragonHoarding> oh?
15:05 <Schism> Yeah, it was overfunded, and now the VCs want a sizeable return on the overlarge investment.
15:05 <Schism> So Patreon needs to change its business model to fit the desires of those venture capitalists, which probably involves somehow doubling its slice of the pie.
15:06 <Schism> The lead venture capitalist, just so folks know, was one Joshua Kushner. If this name sounds familiar, yes.
15:07 <RazorSharpFang> It doesn't sound familiar, should it?
15:07 <ADragonHoarding> I've just done some research, yeah
15:08 <ADragonHoarding> Sounds like someone needs to prepare a not-so-over-funded alternative to catch the lifeboats.
15:09 <RazorSharpFang> There is already subscribestar.
15:11 <ADragonHoarding> a quick search for that reveals... problems.
15:11 <RazorSharpFang> Yeah, it was DDoSed initially, but it's gotten past that, which is good.
15:12 <ADragonHoarding> more that they've had a recent reputational thrashing
15:12 <ADragonHoarding> and paypal has turned them off
15:13 <RazorSharpFang> I think there might be a lawsuit regarding that, but I might be misremembering. Several creators I follow like Tim Pool are on Subscribestar.
15:16 <ADragonHoarding> not sure, but I found a video by him in one of the first results regarding paypal no longer being available for processing payouts.
15:16 <RazorSharpFang> Yeah, Paypal has pulled out, which was interesting.
15:17 <ADragonHoarding> the question therefore is whether subscribestar would sustainably recover, and whether it has any of the same issues to deal with that patreon has
15:18 <RazorSharpFang> Yeah, we'll have to see. Patreon's problem of VC is a one that I'm not aware Subscribestar to be facing.
15:19 <ADragonHoarding> tim pool the freelance journalist dude?
15:19 <RazorSharpFang> Yeah
15:24 *** Quits: ADragonHoarding (ADragonHoar@Pony-krk.qod.41.69.IP) (Connection closed)
15:33 *** Quits: westj (westj@Pony-srdg7s.dcsi.net.au) (The TLS connection was non-properly terminated.)
15:40 <RazorSharpFang> It's so humid I'm sweating and it's night-time.
15:47 *** Joins: JonTheVGNerd (JonTheVGNer@Pony-48j.p7d.45.70.IP)
15:52 *** Joins: Pinmaner (Pinmane@Pony-vdcche.elisa-laajakaista.fi)
15:53 *** Quits: Pinmane (Pinmane@Pony-vdcche.elisa-laajakaista.fi) (Ping timeout: 121 seconds)
16:05 *** Quits: Pinmaner (Pinmane@Pony-vdcche.elisa-laajakaista.fi) (Ping timeout: 121 seconds)
16:05 *** Joins: Pinmane (Pinmane@Pony-vdcche.elisa-laajakaista.fi)
16:06 <DerpyBot> New post on Equestria Daily by Makenshi: KIRIN Music: Blackened Blue - Silent Rage [Metal] [ http://tinyurl.com/ycnk5cwp ]
16:23 *** Quits: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long) (Quit: September Blue, Thy sorrows be forgotten...)
16:46 <Schism> Cepheid: Amusingly, Skyrim's 32-bit version simply CTDs when it exceeds a certain amount of memory. I think 4GB.
16:48 *** Joins: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long)
16:53 *** Quits: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long) (Quit: September Blue, Thy sorrows be forgotten...)
16:58 *** Joins: Fn (Eogan@Pony-jsqac7.dip0.t-ipconnect.de)
16:58 *** Quits: FruitNibbler (Eogan@Pony-o6uc33.dip0.t-ipconnect.de) (Ping timeout: 121 seconds)
17:01 *** Joins: Quill (Nyah@Pony-jaks4r.res.rr.com)
17:03 *** Joins: FruitNibbler (Eogan@Pony-m3abhf.dip0.t-ipconnect.de)
17:04 *** Quits: Fn (Eogan@Pony-jsqac7.dip0.t-ipconnect.de) (Ping timeout: 121 seconds)
17:06 <DerpyBot> New post on Equestria Daily by Calpain: Fanfiction: In Dreams [ http://tinyurl.com/ydgfajl3 ]
17:09 <Cepheid> That is not unexpected.
17:10 <Cepheid> It is not a good idea to assume X memory.
17:10 <Schism> There are fixes - ENBoost is a well-regarded one - but yes.
17:10 <Cepheid> Also, Skyrim does allow for what I suggested, so...
17:10 <Cepheid> It's just hidden away.
17:11 <Cepheid> You can configure buffers for data, which is akin to ideas I have in mind.
17:11 <RazorSharpFang> int * a = new int; // please don't return me null..
17:11 <Cepheid> Cell buffers for interior and exterior. Loaded data stays loaded for a time.
17:11 <Cepheid> I prefer to use new int[1]
17:12 <RazorSharpFang> Why would you bother with that?
17:12 <Schism> Randomly, Cephy: https://twitter.com/HavickLion/status/1092774809665265664
17:12 <Cepheid> Because almost all new calls are arrays to begin with. Plus there is a strict requirement between new and delete calls.
17:12 <Cepheid> You absolutely, positively use the same time of new and delete call on pointers.
17:12 <Cepheid> Must use*. Type*
17:13 <Cepheid> BRB. Going upstairs.
17:16 <Cepheid> Basically: A memory allocation such as: int* a = new int;, must be followed by delete a; You cannot use delete [] a;. Meanwhile, int* a = new int[5]; must be followed up by delete [] a; If you follow up with delete a; you are making a big mistake.
17:16 <RazorSharpFang> Oh, really?
17:17 <RazorSharpFang> Wowie I've been doing it wrong this whole time.
17:17 *** Joins: LibrarianofHope (Librarianof@Pony-5v8.8lh.207.187.IP)
17:17 <Cepheid> delete [] a on an pointer not allocated with new *[] will cause a crash. Meanwhile, delete a on a pointer allocated with new *[] will cause a memory leak.
17:17 <Cepheid> Which can be minor or massive, depending on the frequency of the calls to new *[].
17:17 <Cepheid> And size of the array.
17:18 <RazorSharpFang> Anyhow, I'm going to try to sleep, which will be hard given how humid it is right now.
17:18 <Cepheid> There is some overhead for using new *[], in terms of memory usage, but it's generally very small.
17:18 <Cepheid> Sounds good.
17:18 <Cepheid> From this, I want you to remember one detail.
17:18 <RazorSharpFang> Dang humidity.
17:18 <Cepheid> int* a = new int[3]; delete [] a;
17:18 <Cepheid> int* a = new int; delete a;
17:18 <Cepheid> Always follow that pairing.
17:19 <RazorSharpFang> new arrays delete arrays, new singular delete singular.
17:19 <Cepheid> Yes.
17:19 <Cepheid> Array form adds a few extra bytes, so there are cases where singular is useful.
17:19 <Cepheid> Though there's nothing wrong with it. It's a habit thing.
17:20 <Cepheid> So if you want to use singular for a single instance, go nuts. Just remember to delete it properly.
17:25 *** Quits: RazorSharpFang (RazorSharpF@Pony-sq2v4f.tpgi.com.au) (Connection closed)
17:27 <Cepheid> Also, what makes limiting memory usage tricky overall, is that it's generally not possible to get reliable information on memory usage to begin with.
17:29 <Cepheid> Hmm..
17:30 <Cepheid> Windows has functions for that, so I'm wrong there.
17:30 <Cepheid> Linux too, but..
17:30 <Cepheid> The information is weird.
17:32 <Cepheid> Actually for Windows, the information's pretty useful.
17:33 <Cepheid> You can get total PHYSICAL memory available, amount of physical memory used, the total virtual memory amount, how much virtual memory is used..
17:33 <Cepheid> And how much page-file memory there is.
17:34 <Cepheid> Virtual memory usage information for Skyrim 32-bit would probably helped it to prevent crashing.
17:34 <Cepheid> But there are other reasons it crashes.
17:35 <Cepheid> The basic method that new/delete works is that if the allocation fails, it enters a loop for a certain number of iterations, calling a new handling function every time the allocation fails. This new handling function is supposed to free up memory so that the allocation can succeed.
17:35 <Cepheid> This might involve coalescing memory, because there's enough memory free, but it's non-sequential in nature. No blocks large enough for allocation. Other approaches include unloading un-used resources.
17:36 <Cepheid> The first case is a trivial/non-trivial issue to handle.
17:36 <Cepheid> The latter's more bothersome. What happens if you have no resources that can be unloaded because they are all currently in use?
17:36 <Cepheid> It's rare in Skyrim's case, I assume, but it can happen.
17:37 <Cepheid> Long answer short: No resources can be freed. All memory is already coalesced. There's not enough memory after this. Time to just default to aborting and crash.
17:38 <Cepheid> There is quite literally no other way to handle it. The game needs that memory to continue. You could just go "Okay, so let's use placeholder resources that are already loaded to indicate something went wrong in-game." But what if it was something like a massive script, a level, or something like that?
17:38 <Cepheid> The game will break, the logic will fall apart.
17:38 <Cepheid> It can continue, sure. But what's the point?
17:39 <Cepheid> For the developers, it'd just be a huge headache. It is better to crash, tell the player the game simply cannot allocate enough memory, than to let it continue on, bug out, break, and result in bug reports aplenty for the devs.
17:41 <Cepheid> And I'm rambling again.
17:41 *** Quits: Mr`Ed (coco@Pony-ap8dnm.res.rr.com) (Quit: https://tinyurl.com/ycampat7)
18:00 *** Joins: Fall (Fall@Pony-535.9lm.228.37.IP)
18:04 <LibrarianofHope> hoi fall
18:04 <LibrarianofHope> im just saw marie kondo memes
18:04 * LibrarianofHope checks if fall sparks joy
18:04 <Cepheid> That said, allocating memory while accounting for system details has it's own problem.
18:04 * LibrarianofHope archives fall under defeated mods owo
18:05 <Cepheid> Having to request memory information on a regular basis is slow. And it's not advised to do it every allocation, either. Even if you cache the information.
18:05 <Fall> I barely know who Marie Kondo is. Just learned her name yesterday
18:05 <Cepheid> Memory allocation functions are designed to be FAST. You want them to be fast. Otherwise the application slows down.
18:05 <Fall> Before that I was hearing something about a tidy Japanese lady
18:05 <LibrarianofHope> a clutter expert from japan
18:06 <DerpyBot> New post on Equestria Daily by Sethisto: My Little Pony Speedpaint Compilation #74 [ http://tinyurl.com/ybnenogz ]
18:07 *** Quits: Pinmane (Pinmane@Pony-vdcche.elisa-laajakaista.fi) (Quit: Leaving)
18:07 *** Joins: Pinmane (Pinmane@Pony-vdcche.elisa-laajakaista.fi)
18:18 <Cepheid> I'll be honest, given my rambling nature with programming topics..
18:18 <Cepheid> I have to wonder if perhaps I should be a teacher.
18:19 <Cepheid> Not because of the whole "Those who can, do, those who can't, teach" mentality, since I *KNOW* I can.
18:19 <Cepheid> But because I literally go onto extremely indepth details of a given subject.
18:19 <Cepheid> Which is probably a good trait for teaching. Pick a subject for a class, then just ramble on and cover the topic, answering questions as they come along.
18:28 <Cepheid> Time to get some work done on discrete mathematics. Someone stab me like I'm Julius Caesar surrounded by pissed-off, murderous politicians.
18:28 * LibrarianofHope throws cepheid out the window
18:29 <LibrarianofHope> i dont have stab stab on hand
18:33 * Cepheid is defenestrated then.
18:33 *** Quits: LibrarianofHope (Librarianof@Pony-5v8.8lh.207.187.IP) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
18:35 *** Quits: Crimson_Tail (zeta@batpones.are.for.snuggles) (Quit: WeeChat 2.3)
18:38 *** Joins: LibrarianofHope (Librarianof@Pony-5v8.8lh.207.187.IP)
18:47 *** Joins: ADragonDreaming (IceChat9@Pony-i2e.e7q.56.172.IP)
18:47 <ADragonDreaming> hnarble
18:48 *** Joins: SunsetShimmer (DJPon3IsHer@Pony-cp0ju8.as43234.net)
18:48 *** ChanServ sets mode: +o SunsetShimmer
18:48 <Cepheid> Hnnarrbleflaarrgle.
18:48 * Cepheid stomp stomp stomps around SunsetShimmer, out of view. Is he behind that wall? Is he behind the door? IS HE BEHIND YOU!?
18:49 * SunsetShimmer brandishes rocket launcher, as per memes. xD
18:50 <Cepheid> Effin a-hole is annoying.
18:50 <SunsetShimmer> I love how the capcom commununit manager is loving the meme quality of the internets reception to him
18:50 <SunsetShimmer> she's havin' fun with that, lol
18:50 <Cepheid> Claire's side is freakin' adrenaline-rushing because of him.
18:51 <SunsetShimmer> they definitely injected him with steroids on that run. xD
18:51 <Cepheid> Was he in the original game, too? I never played the original(SHOCK!)
18:51 <SunsetShimmer> Yeah, he was in that
18:51 <Cepheid> Guh.
18:51 <SunsetShimmer> precurser to Nemesis - which will likely be next remake~
18:51 <Cepheid> Yeah.
18:51 <SunsetShimmer> and the reason I supported RE2's remake in the first place
18:51 <SunsetShimmer> RE3 was my goal all along. xD
18:51 <Cepheid> It was so nice to see him [REDACTED] and [REDACTED].
18:52 <Cepheid> Only other time I've ever felt a sense of dread about an enemy, as I did with that guy, was...
18:52 <Cepheid> Resident Evil 4, chainsaw maniacs.
18:52 <SunsetShimmer> I do love me a good lurker badass character now and then
18:52 <Cepheid> Sure, no instant death, but... At least with the RE4 enemies, you can kill them.
18:53 <SunsetShimmer> Mr X just wants to give it to ya~
18:53 <LibrarianofHope> is the tofu still a thing
18:53 <SunsetShimmer> Yes
18:53 <SunsetShimmer> 5 types/loadouts
18:53 <Cepheid> Yes,
18:53 <SunsetShimmer> they even mocap'd real tofu
18:53 <Cepheid> I'm in the midst of a 2nd Run with Claire.
18:53 <SunsetShimmer> no, I am not kidding
18:53 <LibrarianofHope> i dont have a quip for thatt
18:53 <LibrarianofHope> im to awed
18:54 * Cepheid would like to do a complete, two-side run with disconnected box.
18:54 <SunsetShimmer> https://www.youtube.com/watch?v=aAYxP01qedw
18:54 <Cepheid> I know the hardcore difficulty provides requiring ink ribbons.
18:54 <Cepheid> But I opted not to, until I finished the game once. Especially since Hardcore racks up the damage a *LOT*
18:55 <Cepheid> The first zombie you face, on Standard, dropped me to Caution with a single bite. Same bite attack on Hardcore dropped me to danger.
18:55 <SunsetShimmer> x3
18:56 <LibrarianofHope> a big chunk of tofu with infinite knifes
18:56 <SunsetShimmer> Looking forward to the ghost survivor stuff
18:56 <Cepheid> I could do Hardcore, now, probably.
18:56 <Cepheid> Ghost Survivor?
18:56 <LibrarianofHope> why was not a spinoff
18:56 <SunsetShimmer> They're doing 3 stories of 'what ifs' with some folks
18:56 <SunsetShimmer> Kendo, Mayors daughter, unknown commando
18:56 *** Joins: Ali (Ali@Pony-mq2uuv.4nua.5fca.1702.2600.IP)
18:56 *** ChanServ sets mode: +qo Ali Ali
18:56 <SunsetShimmer> Kendos scene was...oh gosh, that was something
18:57 <LibrarianofHope> they end uo nuking raccon city anyway
18:57 <Cepheid> Akin to RE7 with it's side-stories, then.
18:57 <SunsetShimmer> Yeah - but non canon fun stuffs
18:57 <Cepheid> LibrarianofHope: City is basically overrun with the virus. Quarantine won't work to get rid of it.
18:57 <Cepheid> Nuke the place from orbit. Only way to be sure.
18:57 <Cepheid> SunsetShimmer: Arguably, both sides are non-canon.
18:57 <SunsetShimmer> RE3 is one of my favourite games of all time
18:57 <Cepheid> They do not match up in timing and such.
18:58 <LibrarianofHope> i love 4
18:58 <SunsetShimmer> can't WAIT to see how they do it
18:58 <LibrarianofHope> i was terrified the firt time
18:58 <LibrarianofHope> and bother zombie cows
18:58 <SunsetShimmer> 4 is one of the greatest action games ever made.
18:58 <Cepheid> If the stories were both canon, certain scenarios wouldn't happen.
18:58 <SunsetShimmer> I love it
18:58 <Cepheid> Since in both stories, they face [REDACTED] at [REDACTED], and at [REDACTED].
18:58 <SunsetShimmer> Yeah but allowances and such
18:59 <Cepheid> It's not possible for them to both be doing the same thing at the same time. Or, indeed, given the ending of those scenes, at differing times.
18:59 <Cepheid> How did they end up rectifying that for the lore?
18:59 <Cepheid> Was Leon's side considered canon, while parts of Claire's were considered non-canon, and the like?
19:00 <SunsetShimmer> I think you just have to take it as comes and decide how things 'fit' yourself
19:00 <Cepheid> Since officially, Leon's side is usually the one people play first, and it's implied it should be first.
19:00 <Cepheid> Right.
19:00 <Cepheid> So basically, the lore of the series has been messed up from the start.
19:00 <SunsetShimmer> Oh absolutely
19:00 <SunsetShimmer> xD
19:00 <Cepheid> I always thought there was some sort of continuity they tried to maintain.
19:00 <Cepheid> But it doesn't look that way.
19:00 <SunsetShimmer> BUT they left out crows and spiders. >:
19:00 <SunsetShimmer> thats unfortunate
19:00 <Cepheid> Like I said, never played 2 or 3. I'm familiar with some attributes of the stories, but that's about it.
19:01 <Cepheid> I had actually expected spiders, to be honest.
19:01 <Cepheid> I warned my mother about them, as she's an arachnophobe.
19:01 <SunsetShimmer> I HOPE they add them in the free DLC survivor stuff
19:01 <Cepheid> Truth told, games that use giant spiders and spider monsters... I say keep them, but because arachnophobia is such a big deal and a common problem..
19:01 <SunsetShimmer> They did say enemies unique to that will be there
19:01 <SunsetShimmer> or rather 'not in the main game'
19:02 <Cepheid> They should be treated similarly to the accessibility features of other games.
19:02 <Cepheid> That is, you can turn the spiders off. They get replaced with something else thematically appropriate.
19:02 <SunsetShimmer> well, you go into a horror game expecting to not have a good time anyway
19:02 <Cepheid> Yeah, that's true.
19:02 <Cepheid> But arachnophobia seems to be so much of a problem that it goes beyond what games intend, even horror games.
19:02 <Cepheid> My mother doesn't even like discussing them.
19:03 <Cepheid> Can't stand seeing them, can't stand being near them, can't even talk about them other than asking me to kill them.
19:03 <ADragonDreaming> That's why someone made a mod that replaces all spiders in Skyrim with bears.
19:03 <SunsetShimmer> I love how Tofu is the only mode that has hardcore rock music in it
19:03 <SunsetShimmer> thats hilarious
19:03 <Cepheid> Indeed, ADragonDreaming.
19:03 <Cepheid> I mean, it's a little out of place to use bears in some places, but..
19:04 <Cepheid> Unlike other fears and horrors, for whatever reason, arachnophobia seems to be a particularly strong one.
19:04 <ADragonDreaming> yes, but anyone getting that mod is probably not concerned with that
19:04 <LibrarianofHope> i had that issue with radroaches in fallout
19:04 <LibrarianofHope> i just killed them from afar
19:04 <Cepheid> That I can see.
19:04 <Cepheid> Japan, I can see having an issue like that.
19:04 <Cepheid> They really, *REALLY* hate cockroaches. It's considered impolite to even discuss them in public, even in casual situations.
19:05 <LibrarianofHope> i dont like them, but that much?
19:05 <LibrarianofHope> they do like clean spaces
19:05 <Cepheid> Except as I understand it, cockroaches aren't necessarily filth-spreading or dirty.
19:06 <Cepheid> They appear primarily because such places provide a source of food for them, and that's all.
19:06 <DerpyBot> New post on Equestria Daily by Silver Quill: Let's Review: The Root of the Problem [ http://tinyurl.com/ybjtc8a8 ]
19:07 *** Joins: PinkieShy (coolm@Pony-ck81je.67-212-45-net.sccoast.net)
19:07 <Finwe> Messrs Cepheid and LibrarianofHope.
19:07 * Finwe doffs his hat.
19:08 <LibrarianofHope> the only freak that freaks me out harder than bugs is anything to do with cannibalism
19:08 * Ali flops onto Finwe
19:08 <LibrarianofHope> triggers so mucg rage in me
19:08 <Finwe> Miss Ali.
19:08 * Finwe doffs his hat.
19:08 * LibrarianofHope doffs Ali
19:08 * PinkieShy hands Ali a giant cookie
19:08 <LibrarianofHope> i saw the other day finland was one of the happiest countries on earth
19:09 <Finwe> Indeed.
19:09 <LibrarianofHope> you seem happy
19:09 *** Joins: Crimson_Tail (zeta@batpones.are.for.snuggles)
19:10 * Ali flops over the HoneyDrops
19:10 *** Joins: Tempo (SamShmuck@Pony-0854uq.fios.verizon.net)
19:11 * Finwe offers some pork wok with Chinese mushrooms and vegetables served with wholemeal noodles to LibrarianofHope and Ali.
19:11 <LibrarianofHope> my acid reflux hurts
19:11 * Ali noms food
19:11 <LibrarianofHope> sounds tasty
19:12 * PinkieShy licks Ali
19:12 <Finwe> Quite savoury, too.
19:13 * Finwe added a hearty amount of sriracha sauce to his portion.
19:13 * Ali squeaks
19:14 <LibrarianofHope> nuuu spicy hurts tummy
19:15 <LibrarianofHope> also i never liked sricha
19:15 <PinkieShy> Just did some Roleplaying in game lol
19:15 <Finwe> Well, it was just my portion.
19:15 <PinkieShy> That was actually.. fun XD
19:15 <PinkieShy> and funny..
19:15 * PinkieShy hands Finwe a tropical beer.
19:15 <PinkieShy> Tropical temperatures here today :P
19:15 <PinkieShy> 78F outside as we speak.
19:16 <PinkieShy> Heat index is almost 80.
19:16 * HoneyDrops hugs Ali.
19:17 *** Joins: [1]Thelema5 (Thelema5@Pony-ieuuf5.east.verizon.net)
19:18 <LibrarianofHope> thelemaaaa
19:18 <LibrarianofHope> how dont you have acid reflux?
19:18 <LibrarianofHope> you eat stronger chiles than me owo
19:19 *** Quits: Thelema5 (Thelema5@is.a.curious.pone) (Ping timeout: 121 seconds)
19:19 *** [1]Thelema5 is now known as Thelema5
19:19 <PinkieShy> wow.. only getting down to 57f tonight..
19:20 *** Thelema5 is now known as Pony_15699
19:20 <PinkieShy> I don't think we even need heat at that temp being 78F again tomorrow..
19:20 <LibrarianofHope> its cozy hear
19:20 <LibrarianofHope> here
19:21 <PinkieShy> I didn't turn a/c on yesterday being over 80 inside.
19:21 <PinkieShy> Drank coffee and that cooled me off :P
19:22 * Cepheid focuses his mind. EON - Hoist the Sword with Pride in the Heart blares on his speaker, and he attacks his discrete mathematics work with a pencil and eraser.
19:28 <Cepheid> Hum.
19:31 * Cepheid refreshes old knowledge by trial and error.
19:40 *** Quits: ADragonDreaming (IceChat9@Pony-i2e.e7q.56.172.IP) (Ping timeout: 121 seconds)
19:41 <Cepheid> ...
20:03 *** Joins: Chaosweaver (Chaos@Pony-h3g8te.res.rr.com)
20:04 *** Chaosweaver is now known as Pony_7109
20:10 <LibrarianofHope> Cepheid rebboted
20:10 <LibrarianofHope> call it
20:15 <Cepheid> There are properties and laws that I do not know, or have forgotten, that'd help me in solving this.
20:15 *** Pony_7109 is now known as Chaosweaver
20:35 <Cepheid> I am following the steps the professor taught me, and yet, this is still beyond me.
20:35 <Cepheid> I took notes, I listened very carefully, I did every step as he demonstrated.
20:35 <Cepheid> And yet, I still get the wrong answer.
20:36 <Cepheid> This subject is beyond me.
20:41 <LibrarianofHope> thats a first
20:44 <Cepheid> I took notes, a lot of notes.
20:44 <Cepheid> I put my phone away, my laptop away, to make sure neither would distract me.
20:44 <Cepheid> And yet, despite it all, it amounts to [REDACTED]-all, it seems.
20:45 <Cepheid> I could ask for help, sure.
20:45 <Cepheid> But what would it matter? There's missing knowledge *SOMEWHERE*.
20:45 <Cepheid> Plus, trying to get ahold of a discrete structures TA is impossible.
20:46 <Cepheid> f(n) = 1/2(f(n - 1) + 1/f(n - 1)) for all n >= 2, base case is f(1) = 2.
20:46 <Cepheid> For all integers n >= 1, I need to prove that f(n) is equal to (3^(2^(n - 1)) + 1)/(3^(2^(n - 1)) - 1)
21:00 *** Joins: RyuImperator (RyuImperato@Pony-eqfc6g.dip0.t-ipconnect.de)
21:04 <Finwe> Cepheid: A recursive function?
21:05 <Finwe> Induction might work.
21:06 <DerpyBot> New post on Equestria Daily by Sethisto: Drawfriend Stuff (Pony Art Gallery) #2884 [ http://tinyurl.com/ych9xzer ]
21:15 *** Quits: Solarstorm (Solarstorm@Pony-0f36jk.de) (Quit: KTHXBAI!)
21:30 *** Joins: Solarstorm (Solarstorm@Pony-0f36jk.de)
21:31 <Cepheid> I am using induction.
21:31 <Cepheid> Every time I try to solve it, I always somehow get the result of f(n) = 1.
21:31 <Cepheid> That's what's frustrating me.
21:31 <Cepheid> Because I am doing this exactly as shown, step-by-step. I'm applying the rules and laws that I am familiar with.
21:31 <Cepheid> All I ever reach is 1.
21:32 <Cepheid> It doesn't matter how I apply them, what order I apply them in, nothing. It always comes out to 1.
21:32 <Cepheid> And now I'm having just gotten over a breakdown because my mother persisted in bothering me with the idea of asking for help, but how can I when I don't know what I'm missing, and when my pride requires that I figure this out on my own?
21:33 <Cepheid> Figuring out stuff on my own. Solving problems. Completing tools. On my own, this is what I pride myself over.
21:33 <Cepheid> I'm... just tired.
21:33 <Cepheid> This professor does a great job of explaining the material, his textbook's so-so about it.
21:33 <Cepheid> But when he asks us to apply it, it's like he's some sort of jack-ass who just wants to crush his students.
21:33 <Cepheid> And he gets away with it because he has tenure.
21:34 <Cepheid> In any case, I don't have time for more of my episodes. I've got this due on Thursday next week, and it's gonna take all time I have available to me.
21:35 <Cepheid> I've reached a point where I'd prefer to focus purely on this course, at the expense of the other courses I've paid for.
21:35 <Cepheid> I want this course done. I don't want to ever have to deal with it ever again. I'm sick and tired of it.
22:05 <Cepheid> Meanwhile, the second question, which I decided to move on just for the sake of it... I can solve that one in like, 5 minutes.
22:05 <Cepheid> f(m, 0) = 0, if m >= 0. f(m, n) = m + f(m, n - 1), if m >= 0, n >= 1. It's just m * n.
22:06 <Cepheid> Wants us to solve the recurrence and prove the result.
22:13 <Cepheid> Aaand through induction I proved it.
22:13 <Cepheid> So literally 10 minutes. Hell if I know why that other problem has taken me over 4 hours to get nowhere.
22:22 <Finwe> Cepheid: Well, f(n) = 1 is the trivial solution.
22:28 *** Quits: Arkomeda (Arkomeda@Pony-k6p1jp.6dve.u6pf.0587.2a02.IP) (Ping timeout: 121 seconds)
22:32 *** Quits: danwellby (Daniel_well@when.hell.freezes.over) (Connection closed)
22:34 <Cepheid> Finwe: It's not what he wants though.
22:35 <Cepheid> He wants me to show that f(n) = 1/2 * (f(n - 1) + 1/(f - 1)) is equal to f(n) = (3^(2^(n - 1)) + 1) / (3^(2^(n - 1)) - 1)
22:36 <Cepheid> I follow the steps to proving it that he taught in the class, but my proof always results in f(n) = 1.
22:36 <Cepheid> Which is not correct.
22:37 <Cepheid> Funny thing is, the next two questions I can solve no problem.
22:39 <Finwe> Cepheid: Does normal induction not work?
22:40 <Finwe> Show that the formula holds for n = 2, assume that it holds for any n = k, and show that this implies that it also holds for n = k + 1.
22:40 <Finwe> The formula gives f(2) = 5/4, which satisfies the equation.
22:41 <Cepheid> I have to derive the formula (3^(2^(n - 1)) + 1) / (3(2^(n - 1)) - 1). It's not enough to show that it's the case.
22:42 <Cepheid> I have to get from f(n) = 1/2 * (f(n - 1) + (1 / f(n - 1))) to that.
22:42 *** Quits: Fall (Fall@Pony-535.9lm.228.37.IP) (Quit: )
22:42 <Finwe> Showing that a solution satisfies a difference equation is essentially the same as solving it.
22:42 <Cepheid> Not according to him.
22:42 <Finwe> It's called solution by intuition.
22:43 <Cepheid> It's not enough for him.
22:43 <Finwe> Guess the right answer and prove that it indeed is it.
22:43 <Cepheid> He wants me to do it purely by induction. That is, I have a formula, a final answer, show how to get from the formula to the final answer.
22:43 <Cepheid> It is unacceptable to do it via any other means.
22:44 <Cepheid> Otherwise, I'd do it exactly as you just said.
22:44 <Cepheid> This prof isn't remotely fair. He teaches material, and his textbook covers material, but when it comes to assignments, he intentionally obfuscates the solution and has strict requirements.
22:45 <Cepheid> His passing rate for students in the course is around 40%.
22:45 <Cepheid> And the textbook he uses is designed to frustrate.
22:46 <Cepheid> Meanwhile, he suggests a textbook as a supplement, which is nearly impossible to purchase in a reasonable amount of time. Because he specifies it as a supplement/recommendation, it is not a required textbook, and thus the school book store does not carry it.
22:46 <Cepheid> Guy's nice to socialize with, but when it comes to teaching and education, he's a massive asshole.
22:47 <Cepheid> The general opinion of him is that he is not interested in students actually passing.
22:47 <Cepheid> Arguably, professors like him are probably the reason mathematicians get so much flak to begin with.
22:53 <Finwe> http://jeffe.cs.illinois.edu/teaching/algorithms/notes/99-recurrences.pdf
22:53 <Finwe> Section 2: The Ultimate Method: Guess and Confirm
22:54 <Finwe> But if the problem explicitly states that you have to derive the given formula using some certain method, then I guess that is not acceptable.
22:54 <Cepheid> Mmm. Plus, it's an interesting problem then.
22:54 <Cepheid> If it's "guess and confirm" then I'm basically screwed.
22:55 <Cepheid> How the hell am I supposed to guess (3^(2^(n - 1)) + 1) / (3^(2^(n - 1)) - 1) is the answer?
22:56 *** Joins: Stormspark (stormspark@Pony-25m.dcd.98.172.IP)
22:59 <Finwe> Cepheid: I think that it's justified to guess from the factor 1/2 in the equation that the answer is going to be a function of 2^(n-1).
23:05 *** Quits: RyuImperator (RyuImperato@Pony-eqfc6g.dip0.t-ipconnect.de) (Quit: Leaving.)
23:08 <Finwe> But if the problem was stated as "show that the given f(n) satisfies the equaton, then you just do normal induction and write q.e.d. in the end.
23:19 <Cepheid> Problem is, my attempt to do normal induction results in pages and pages and pages of steps being taken, and in the end I still end up with f(n) somehow being 1.
23:28 *** Tempo is now known as Tempo-AFK
23:39 <Finwe> From the induction assumption you should get f(k+1) = (3^2^k + 1)/(3^2^k -1)
23:40 * Schism randomly boops SunsetShimmer with a chess puzzle, found in a police station.
23:40 <Finwe> This should be the same as 1/2 (f(k) + 1/f(k)).
23:41 <Cepheid> ... Wait, induction works if you go up, as well? Because all of the prof's examples thus far have been n - 1, not n + 1.
23:41 <Cepheid> Even in his textbook.
23:43 <Cepheid> No, it'd have to be n - 1, because we'd have to define f(n - 1) in order to substitute in the recurrence.
23:43 <Finwe> So the tricky part should be to show that (3^2^k + 1)/(3^2^k - 1) = 1/2 ((3^2^(k-1) + 1)/(3^2^(k-1) - 1) + (3^2^(k-1) - 1)/(3^2^(k-1) + 1))
23:44 <Cepheid> ... Ye know, I see the prof on Friday, at this point, given that the next two questions were extremely easy in comparison..
23:44 <Cepheid> I'm gonna ask the prof if perhaps I am misinterpreting the question.
23:44 <Cepheid> Because this is ridiculous.
23:44 <Cepheid> I have other stuff I need to get done, and I can't keep spending hours upon hours on one question like this.
23:45 <Finwe> How exactly is the problem stated?
23:48 <Cepheid> "The function f: {1, 2, 3, ... } -> R is defined by: f(1) = 2, f(n) = 1/2 (f(n - 1) + (1/f(n - 1))) if n >= 2. Prove that for every integer n >= 1, that f(n) = (3^(2^(n - 1)) + 1) / (3^(2^(n - 1)) - 1)"
23:48 <Finwe> The tricky part is not even that tricky, you just expand the fractions so that they have the same denominator and after some simple algebra you have your induction step.
23:49 <Finwe> Yup, as I suspected. It's not "solve the equation", it's "prove that the given solution satisfies the equation".
23:49 <Finwe> So you just do as I said earlier.
23:49 <Cepheid> But that doesn't prove for every integer n >= 1 that it's true.
23:50 <Finwe> Induction does just that.
23:50 <Cepheid> Does induction not involve having to go from a base case to the final answer?
23:51 <Finwe> 1) Show that there is some n for which the claim is true.
23:51 <Cepheid> That much I understand.
23:51 <Finwe> 2) Assume that the claim is true for any n = k.
23:51 <Finwe> 3) Show that from 2) it follows that the claim holds for n = k + 1.
23:52 <Finwe> Then the claim holds for any integer >= the one in 1).
23:53 <Cepheid> Aren't there cases where there is a left-hand-side and right-hand-side such that for n and n = k + 1, that the two sides could in fact be equal, but it diverges afterwards?
23:55 <Finwe> No, because we proved that from the fact that the formula is true for any k follows that it's true for k + 1.
23:56 <Cepheid> Except we didn't prove that the formula is true for any k. We assumed it.
23:56 *** Joins: Pony|8325 (Pony8325@Pony-i454b4.cable.virginm.net)
23:56 <Finwe> Yes. In the base case we show that there exists a k for which it holds.
23:57 <Finwe> Then, by having proven the induction step, we know that the formula is true for our base case + 1.
23:57 <Finwe> And as it is true for our base case + 1, it's also true for our base case + 2 and so on.
23:58 <Cepheid> Mmm... I can't wrap my head around how the concept works. It doesn't seem like it should, from where I'm looking at it.
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!