00:08 *** Quits: Mpon (Mpon@Pony-s3c3bt.business.telecomitalia.it) (Connection closed)
00:08 *** Joins: Mpon (Mpon@Pony-ukh.gld.8.79.IP)
00:10 *** Quits: Tirek (Tirek@Pony-74gguf.hzl2.ptd.net) (Ping timeout: 121 seconds)
00:11 *** Joins: Tirek (Tirek@Pony-74gguf.hzl2.ptd.net)
00:19 *** Joins: Reia_Hope (Reia_Hope@TheCowPony)
00:38 *** Joins: Hat (Hat@Pony-oh0q1f.exetel.com.au)
00:53 *** Quits: texasboykc09 (texasboykc0@vampire.bat.nest) (Ping timeout: 121 seconds)
01:07 *** Joins: texasboykc09 (texasboykc0@vampire.bat.nest)
01:08 <DerpyBot> New post on Equestria Daily by Sethisto: 2018 Mcdonalds Ponies, Now with Bigger and Better Image [ http://tinyurl.com/y8ndabgz ]
01:24 *** Joins: RazorSharpFang (DefinitelyN@Pony-gh4i4v.tpgi.com.au)
01:33 *** Quits: Filly_Nightmares (Surreal@Cutest.Floofy.Changeling.Batpone) (Quit: The only things I need are books, friends and IRC. And books.)
01:34 <Schism> Stuffed dhalmel are adorable. But huge.
01:34 <Schism> Also majestic. But also also huge.
01:42 <Cepheid> Yes, well, they're giraffe-like creatures.
01:42 <RazorSharpFang> Wow, our iron production was backed up all the way.
01:42 <Schism> A break...
01:43 <Cepheid> I am debating the idea of taking one of these old case fans, applying a protective grill over them, and then jolting them with a battery.
01:48 *** Surreal_Nightmares is now known as Filly_Nightmares
02:00 *** Joins: DizzyBlitz (DizzyBlitz@Pony-f6p5n6.res.rr.com)
02:01 <DizzyBlitz> hello everypony
02:08 <DerpyBot> New post on Equestria Daily by Calpain: Nightly Discussion #1438 [ http://tinyurl.com/ybagmahd ]
02:29 *** Joins: Firestar (AndChat3302@You.Know.Who.It.Is)
02:39 <Cepheid> Time to nom on my bed.
02:39 *** Quits: Saerydoth (akai@Pony-2i7.fvo.126.65.IP) (Quit: Leaving)
02:47 *** Quits: Heartbreak (Heartbreak@Pony-gja4ce.mn.comcast.net) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
03:08 <DerpyBot> New post on Equestria Daily by Sethisto: New Sci-Fi Pony Pen and Paper RPG Kickstarter Appears [ http://tinyurl.com/yckcprt6 ]
03:09 *** Quits: Firestar (AndChat3302@You.Know.Who.It.Is) (Ping timeout: 121 seconds)
03:24 *** Quits: DizzyBlitz (DizzyBlitz@Pony-f6p5n6.res.rr.com) (Ping timeout: 121 seconds)
03:25 *** Joins: Pinkie_Pie (Reia_Hope@TheCowPony)
03:25 *** Quits: Pinkie_Pie (Reia_Hope@TheCowPony) (Connection closed)
03:28 *** Quits: Hat (Hat@Pony-oh0q1f.exetel.com.au) (Quit: Leaving)
03:36 *** Joins: Thelema5 (Thelema5@is.a.curious.pone)
03:36 <Thelema5> Hello everypony
03:46 *** Quits: Tempest-Shadow (DJPon3IsHer@DJ.Wub.Wub) (Quit: Nini!~)
03:56 *** Joins: cabbage (cabbage@Pony-pf8tkn.dynamic.fusionbroadband.com)
04:03 *** Filly_Nightmares is now known as Surreal_Nightmares
04:04 *** Joins: Changeling_Nightmares (Surreal@Cutest.Floofy.Changeling.Batpone)
04:07 *** Changeling_Nightmares is now known as Filly_Nightmares
04:08 <DerpyBot> New post on Equestria Daily by Sethisto: Gameloft's My Little Pony Game Adds Support for Tons of Phones with Augmented Reality [ http://tinyurl.com/ydcgzc3p ]
04:26 *** Quits: matttheshadowman (mattthesha@the.shadowy.corners) (Connection closed)
04:29 *** Quits: Pinmane (Pinmane@Pony-12dq4p.dhcp.inet.fi) (Ping timeout: 121 seconds)
04:40 *** Quits: PinkieShy (Brony@Pony-7elts9.159-117-185-net.sccoast.net) (Connection closed)
04:46 *** Joins: HyperDash (HyperDash@Pony-obvko9.wa.comcast.net)
04:49 *** Joins: Pinmane (Pinmane@Pony-12dq4p.dhcp.inet.fi)
04:57 *** Joins: matttheshadowman (mattthesha@the.shadowy.corners)
05:12 *** Quits: Pinmane (Pinmane@Pony-12dq4p.dhcp.inet.fi) (Connection closed)
05:16 *** Quits: HyperDash (HyperDash@Pony-obvko9.wa.comcast.net) (Ping timeout: 121 seconds)
05:17 <Finwe> o3o
05:17 <Finwe> Good morning, everypony!
05:17 <Finwe> Mr Thelema5.
05:17 * Finwe doffs his hat.
05:18 *** Joins: DashedRainbows_ (uid13850@Pony-900e6t.tooting.irccloud.com)
05:18 <DashedRainbows_> Evening Finwe
05:18 <Finwe> Hello, DashedRainbows_.
05:18 * Finwe hugs a DashedRainbows_.
05:19 *** DashedRainbows_ is now known as DizzyBlitz
05:19 * Finwe hugs a DizzyBlitz as well.
05:20 *** Quits: ThatAnonPony (Pony43665@Pony-i454b4.cable.virginm.net) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
05:22 * DizzyBlitz is a happy filly
05:23 *** Joins: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long)
05:24 * DizzyBlitz licks Thelema5
05:30 * Filly_Nightmares nestles on DizzyBlitz
05:31 * DizzyBlitz licks Filly_Nightmares too
05:33 *** Joins: The_Nostalgia_Mare (Nossy@Pony-o73sar.fl.comcast.net)
05:37 * Filly_Nightmares loafs on top of DizzyBlitz
05:38 * DizzyBlitz curls up with her favorite plushie. Good night
05:38 <Filly_Nightmares> Nin
05:38 <Filly_Nightmares> Nini
05:38 *** Quits: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long) (The TLS connection was non-properly terminated.)
05:43 <Finwe> Lt The_Nostalgia_Mare.
05:43 <Finwe> o7
05:43 <Finwe> Miss Filly_Nightmares.
05:43 * Finwe nibbles on Filly_Nightmares.
05:43 * Filly_Nightmares noms Finwe
05:44 <The_Nostalgia_Mare> Radm. Finwe.
05:44 * Finwe wiggles.
05:44 <Finwe> !plot
05:44 <DerpyBot> *wigglewiggle*
05:44 <Finwe> *wigglewiggle*
05:46 <The_Nostalgia_Mare> Hey I'm streaming some Yakuza 6.
05:47 <The_Nostalgia_Mare> If ye want to see me play some yakuza twitch.tv/nossymare
06:00 *** Joins: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long)
06:04 *** Quits: Thelema5 (Thelema5@is.a.curious.pone) (Ping timeout: 121 seconds)
06:07 *** Joins: Thelema5 (Thelema5@Pony-afbniu.east.verizon.net)
06:09 <The_Nostalgia_Mare> Hi Thelma5.
06:10 *** Quits: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long) (The TLS connection was non-properly terminated.)
06:17 *** Joins: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long)
06:23 *** Quits: Reia_Hope (Reia_Hope@TheCowPony) (Connection closed)
06:25 *** Joins: Double (Double@Pony-7mn.rrd.70.92.IP)
06:26 *** Quits: Filly_Nightmares (Surreal@Cutest.Floofy.Changeling.Batpone) (Connection closed)
06:29 * Finwe evaluates his hatting chances, then decides to hat on Double.
06:30 * Finwe hats on Double.
06:30 *** Quits: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long) (The TLS connection was non-properly terminated.)
06:30 *** Joins: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long)
06:31 <Double> Oh
06:31 * Double applies hugs!
06:40 *** Quits: Thelema5 (Thelema5@is.a.curious.pone) (Ping timeout: 121 seconds)
06:45 *** Tempo is now known as Tempo-Sleep
06:46 * Finwe snuggles Double.
06:49 *** Quits: The_Nostalgia_Mare (Nossy@Pony-o73sar.fl.comcast.net) (Quit: I do talk but I nom. o3o)
07:08 *** Joins: ConfusionRift (ConfusionRi@Pony-gue529.res.rr.com)
07:08 *** ChanServ sets mode: +o ConfusionRift
07:08 <ConfusionRift> Hello everypony.
07:15 <Cepheid> Why is it so warm in this room!?
07:16 * ConfusionRift wavies.
07:16 <ConfusionRift> It's wasn't me!
07:18 <Cepheid> Heh. How goes it?
07:19 <ConfusionRift> Tired as heck, everything hurts, and kinda wide eyed due to a possible sugar overload.
07:20 *** Quits: Cyan_Spark (Cyan_Spark@sparks.only.last.so.long) (Quit: Sparks only last so long)
07:20 <ConfusionRift> There was a reason why I didn't show up yesterday.
07:20 <ConfusionRift> Pain and allergy medicine.
07:22 <Cepheid> Fun. Myself, allergies are getting worse. I'm also smelling lots of weird stuff. Thinking today I'll wash my bed sheets and stuffs.
07:23 <ConfusionRift> Could help.
07:24 <Cepheid> Don't think it will. According to my parents there is no smell in my room. Usually this means whatever it is, it is in my nose. Which seems probable as I have been getting headaches, medication or no.
07:27 <ConfusionRift> Might be. Had this problem some time ago that for some reason I would smell weird stuff, and at points, a huge delay on some smells.
07:30 *** Joins: DoubleDouble (Double@Pony-f39.uf7.200.89.IP)
07:30 *** Joins: Doubleisintrouble (Double@Pony-7mn.rrd.70.92.IP)
07:30 *** Quits: Doubleisintrouble (Double@Pony-7mn.rrd.70.92.IP) (Connection closed)
07:31 <Cepheid> Plans for the morning?
07:32 *** Quits: Double (Double@Pony-7mn.rrd.70.92.IP) (Ping timeout: 121 seconds)
07:33 *** Quits: DoubleDouble (Double@Pony-f39.uf7.200.89.IP) (Connection closed)
07:33 <ConfusionRift> Probably burn it with some gaming!
07:36 <ConfusionRift> At least, that's what I'm doing.
07:42 <Cepheid> Heh. I have an assignment I would like to get done. Gonna do that then spend the rest of my waking day, however long it is, gaming or doing something else.
07:42 <ConfusionRift> Of course, the assignment is priority.
07:43 <ConfusionRift> (And then I shall burn the whole day playing something!!!"
07:43 <ConfusionRift> *)
07:43 *** Quits: Persona (Tilde@Pony-b0l7hh.res.rr.com) (Ping timeout: 121 seconds)
07:46 *** Joins: Double (Double@Pony-7mn.rrd.70.92.IP)
07:46 <Cepheid> The "rest of my waking day" thing wasn't some odd way of saying the rest of my day. I only got about 4-5 hours of sleep and I am wide awake.
07:47 <ConfusionRift> Oh, so what you're saying is that there's a chance that you might end up falling asleep at any ti- (thud snore)
07:47 *** Quits: DizzyBlitz (uid13850@Pony-900e6t.tooting.irccloud.com) (Quit: Connection closed for inactivity)
07:53 <Cepheid> More or less.
07:58 <Cepheid> Bleh, I gotta remap keys so I can type certain characters for this assignment.
08:06 <Cepheid> ...
08:06 <Cepheid> Linux is insanely confusing for XKB.
08:07 <Cepheid> I'm just gonna create a table of copy-paste unicode stuff for this assignment.
08:10 <RazorSharpFang> We have a LOT of copper and iron now.
08:10 <Cepheid> Man, why doesn't formal logic not have an operator precedence?
08:13 <Cepheid> a ∧ ¬b ∨ c
08:14 <RazorSharpFang> I thought it was just read left to right
08:14 <ConfusionRift> Oh yeah, fun fact. I completely forgot that my single player world was set to peaceful, so my previous anxiety attack was for absolutely nothing.
08:14 <Cepheid> Except in this case it's kind of weird.
08:15 <Cepheid> Let a be the proposition "I am a cat", b be the proposition "I meow" and c be the proposition "I love catnip".
08:15 <Cepheid> "I am a cat and I do not meow or love catnip."
08:15 <RazorSharpFang> I'm very sure I'm not going to get this as I don't know formal logic.
08:16 <Cepheid> Now that I think about it, this is the only way I can make the sentence make sense.
08:16 <Cepheid> Therefore, it must be the correct answer. :P
08:19 <RazorSharpFang> Time to go crazy on wind turbines.
08:21 <Cepheid> Formal logic hurts my brain when thinking in it in terms of sentences.
08:21 <Cepheid> Plus it also hurts my hands because I can't type any of the symbols naturally.
08:22 <Cepheid> And I can't exchange them for the more commonly-known variants I make use of.
08:22 <Cepheid> Thus, ∧ can't be replaced with &, ¬ with ~, and there's no single-character equivalence for logical OR, or implication or biconditional implications.
08:22 <Cepheid> Among others.
08:25 <RazorSharpFang> You could always just type some sort of phrase, and then do a find-replace when it's all done.
08:25 <Finwe> Cepheid: Formal logic does have operator precedence.
08:26 <Finwe> Unary operations preced any binary, for example.
08:26 <Finwe> And conjunction precedes disjunction.
08:27 <Finwe> Hmm, wait, but you used double negation!
08:27 <Finwe> "Why does not formal logic not have".
08:27 <Finwe> Sneaky.
08:28 <Finwe> Although in Old English, double negation just made a sentence more negative, like in Modern French.
08:28 <Finwe> o3o
08:28 * Finwe boops Cepheid.
08:28 <RazorSharpFang> Why isn't it that formal logic doesn't seem to lack what isn't known to no-one as...
08:31 <Cepheid> Finwe: I'm tired.
08:31 <Cepheid> I also type faster than I think sometimes.
08:33 <RazorSharpFang> You just pipe the thoughts to the keyboard.
08:33 <Cepheid> More or less.
08:37 <Finwe> But yes, a ∧ ¬b ∨ c should be interpreted as (a ∧ (¬b)) ∨ c.
08:38 <Cepheid> I actually asked the professor about a problem similar to this.
08:38 <Cepheid> She asked a TA. Neither could give me an answer. You're actually the first professor to give me an answer.
08:38 <Finwe> Implication and equivalence have the lowest precedence.
08:38 <Cepheid> Or teacher, rather.
08:38 *** Joins: Thelema5 (Thelema5@Pony-afbniu.east.verizon.net)
08:38 <Cepheid> No sort of operator precedence has been taught to us.
08:39 *** Quits: Thelema5 (Thelema5@is.a.curious.pone) (Quit: HydraIRC -> http://www.hydrairc.com <- Po-ta-to, boil em, mash em, stick em in a stew.)
08:39 <Cepheid> Or how to handle certain situations when applying rules to break things down.
08:40 <Finwe> In Finland, a professor is a doctor or an indisputable expert in his area of research who has an appointed position at a university.
08:40 <Cepheid> Right, right. I meant teacher in general, sorry.
08:41 <Finwe> The North American usage of the word seems to vary.
08:41 *** Quits: cabbage (cabbage@Pony-pf8tkn.dynamic.fusionbroadband.com) (Connection closed)
08:42 <ConfusionRift> Teacher, professor, facilitator, learning facility instructor, etc.
08:43 * Ali flumps next to Cepheid
08:43 <Finwe> Miss Ali.
08:43 * Finwe doffs his hat.
08:43 * Ali doffs over Finwe and yawns
08:43 * Finwe fills Ali's gaping muzzle with cotton candy.
08:44 <RazorSharpFang> For some reason the steam engine is always consuming just a little bit of power, under 50kW...
08:46 <Cepheid> If it wasn't for the fact that I'm not paying you to tutor me Finwe, I'd ask you to help me figure one, irrelevant thing out. It was an expression that we had to apply logical equivalences to in order to determine if it was a tautology, contradiction or a contingency. I came up with a valid answer, but the instructor/professor/whatever-their-title-is wasn't sure if it was correct or not, because while what I did looked
08:46 <Cepheid> correct, it contradicted their answer.
08:49 <RazorSharpFang> Maybe it's the wrong kind of correct.
08:51 <Cepheid> Probably, but given the confusion over it, it became a question of "who's right?"
08:55 <Finwe> I could take a look.
08:55 <Finwe> I've got nothing else to do but to wait for my bus to leave for the next two hours.
08:56 <Finwe> That, and some sundry minor chores.
09:00 *** Joins: Snapai_ (Snapai@Pony-1rr6vl.nc.charter.com)
09:00 *** Quits: Snapai (Snapai@weanimatethings.com) (Connection closed)
09:00 <ConfusionRift> Let's try with some mods, and get absolutely confused as all the recipes change.
09:02 *** Quits: Ali (Ali@Pony-cvibue.iplsin.sbcglobal.net) (Quit: Leaving)
09:10 <Cepheid> ConfusionRift: I advise sticking to simple mods to get used to the concept of all the changes.
09:10 <Cepheid> That, or if you want to go absolutely bat*YAY* insane, just install Bob's pack or Angel's pack. I don't know how to get the latter working right.
09:11 <ConfusionRift> Got both working.
09:11 <ConfusionRift> I think it was Bob's that had strange dependencies and took a while to get running.
09:13 <Cepheid> Bob's is fine, Angel's for me seems to not work right. A lot of the tooltips spew out stuff like __1__, __2__ and so on.
09:15 <ConfusionRift> i get that with their bioprocessing.
09:17 <Cepheid> Hum, I need to do this question on paper. Typing it out is error prone and slow.
09:21 * Cepheid shoots a bird outside
09:23 <RazorSharpFang> "Unknown key: `Description-Science-Pack-Remaining-Amount`"
09:24 <ConfusionRift> Yep, that jazz.
09:29 <RazorSharpFang> We're gonna run out of red science to research pretty soon.
09:32 <RazorSharpFang> Is there any use for pumpjacks in seablock?
09:33 *** Joins: DoubleDouble (Double@Pony-0vs.kjs.200.89.IP)
09:33 <RazorSharpFang> I wonder how many unique fluids and gasses there are in this modpack/
09:35 *** Quits: Double (Double@Pony-7mn.rrd.70.92.IP) (Connection closed)
09:35 *** Joins: Pi (saxopi@Pony-c9k.bas.200.112.IP)
09:35 *** Joins: Double (Double@Pony-7mn.rrd.70.92.IP)
09:37 *** Quits: DoubleDouble (Double@Pony-0vs.kjs.200.89.IP) (Ping timeout: 121 seconds)
09:41 <Cepheid> Finwe. Is it still an "expression" if I have an implication or biconditional implication? Do I need to reduce it to unary/binary logical operators for it to be defined as an "expression"?
09:41 *** Joins: LazerSparkle (LazerSparkl@Pony-cqh.thl.68.61.IP)
09:43 <Cepheid> Apparently it is.
09:43 <RazorSharpFang> Oh man. Just imagine. The lazy-crafting achievement for seablock.
09:49 <RazorSharpFang> I wonder why turning mud into sand is under "water treatment"
09:51 <RazorSharpFang> I need to figure out what to do with all of this clay... I have several chests worth now.
09:58 <Cepheid> I could give you an answer as to why mud->sand is under water treatment, but it's kind of a stretch.
10:01 <Cepheid> Water treatment in general is the removal of particles and contaminants smaller than a set size. The particles and contaminants usually get caught up in filters, which have to themselves be cleaned regularly. Think of it as scraping the sand off of the filters after they've been used to treat the water.
10:02 <ConfusionRift> That is a bit of a stretch. Unless... you know what? You might not be wrong.
10:04 <ConfusionRift> Thinning mud with water will leave out solid residues, which is probably what's removed from the filters.
10:07 <Cepheid> You push the muddy water through a filter that only allows particles smaller than or equal to size N to flow through. You now have muddy water without particles of size N or greater. Whatever's left behind on the filter can be used in whatever way you want.
10:07 <Cepheid> Sand is just rocks, shells, glass and the like that have been ground down to a specific size. The difference in the varying sand types is simply how large or small the particles are. It results in fine sand to coarse sand.
10:08 <Cepheid> The type depicted on the server and in the mods is likely a coarse sand, so the filter is blocking particles of say 0.5 to 1 mm in size.
10:08 <Cepheid> What gets passed through is slightly-less-muddy water.
10:09 *** Quits: Pi (saxopi@Pony-c9k.bas.200.112.IP) (Quit: Leaving)
10:17 *** Joins: DoubleDouble (Double@Pony-0vs.kjs.200.89.IP)
10:19 *** Quits: Double (Double@Pony-7mn.rrd.70.92.IP) (Ping timeout: 121 seconds)
10:19 *** Joins: Double (Double@Pony-7mn.rrd.70.92.IP)
10:21 *** Quits: DoubleDouble (Double@Pony-0vs.kjs.200.89.IP) (Ping timeout: 121 seconds)
10:22 * Cepheid puts on EO5 - Final Boss #2.
10:22 <Cepheid> I suspect I already know what the boss is, if only because the game mentions a boss directly that you don't encounter.
10:23 <Cepheid> In the game, to help players figure out the conditional drops, there's an informant that you can talk to who changes his hints every floor you rise up.
10:23 <Cepheid> At floors 24 and beyond, he offers advice on something called the Mantis Queen for free.
10:24 <ConfusionRift> Oh yeah. In Rampant, there's no peaceful mode.
10:24 <Cepheid> Yeah. It doesn't acknowledge it, I don't think.
10:25 <ConfusionRift> Their A.I. overrides the peaceful mode parameters.
10:25 <Cepheid> Yeah.
10:26 *** Quits: Double (Double@Pony-7mn.rrd.70.92.IP) (Quit: Bye)
10:27 <Cepheid> Oh, hey. He swapped out the Mantis Queen info. Hmm.
10:27 <Cepheid> Still. The way he describes it, it sounds like a multi-part monster. You're not supposed to attack the wings, as doing so will drive the Queen into a frenzy.
10:30 <RazorSharpFang> Is it just me or are long-handed inserters faster than regular ones?
10:32 <ConfusionRift> Noooot by a long shot. :P
10:32 <RazorSharpFang> I mean with bob's adjustable inserters mod.
10:32 <ConfusionRift> Oh, unsure then.
10:33 *** Quits: Moongoodboy{K} (LunarToyK@sugar-belle.blackl.net) (Quit: *is homebound.*)
10:33 <Cepheid> Looks it. Not sure.
10:34 <Cepheid> I'm pretty sure they aren't though.
10:34 <ConfusionRift> Beep beep...
10:35 <RazorSharpFang> Really makes you think. :thinking:
10:36 <RazorSharpFang> How on earth does burning hydrogen gas in oxygen to make water which is outputted through pipes pollute?
10:36 <Cepheid> Have a long-handed inserter and standard inserter on opposite sides, before powering them, have them set up to extract the contents of the chest behind them and place the result onto the belt.
10:36 <Cepheid> Then power them.
10:40 <RazorSharpFang> I think I just need more space. Everything's so cramped.
10:45 <RazorSharpFang> I've had to add another flare stack for the hydrogen gas, cos there's too much of it.
10:47 <Cepheid> Detrimental effects applied to the player's characters the further down you get into a dungeon. By itself, this seems like a bad idea for implementation in a game. It becomes an annoyance or limiting factor for how long one can stay in the depths regardless of team strength.
10:49 <Cepheid> Ways to make it more bearable include simply using static, non-percentaged-based impacts to the team, thus allowing one to simply overpower the effect by getting stronger. Alternatively, implement a means to counteract it.
10:49 <Cepheid> The former has the benefit of the fact that it never goes away. The latter requires that the story be written in such a way as to explain how and why you can counteract or dampen the effect at X depth.
10:50 <RazorSharpFang> Maybe that's the idea; to have it scale with your strength, so you can't just ignore it. Rather, there should be steps you can take to counteract it.
10:51 <Finwe> Cepheid: It is, a logical expression is anything with propositions and connectives.
10:51 <Cepheid> Finwe: Yeah, I figured that out.
10:51 <Cepheid> Thanks, though.
10:51 <Finwe> And in predicate logic you have something more.
10:52 <RazorSharpFang> I need more space, I need more sand.
10:52 <Finwe> And the most advanced logic is that working on logical systems themselves.
10:53 <Finwe> Then we get to Gödel's theorems and such.
10:53 <Cepheid> RazorSharpFang: Hmm... So, piece of equipment then that provides X% resistance to the effects. As the player gets closer and closer to the end, they find materials that allow them to make better equipment that provides higher and higher percentages of resistance, until eventually you reach 100%(Or close to it, such that it is STILL THERE even at the final boss.)
10:53 <Cepheid> Finwe: This is just basic formal logic. Propositional Logic, Predicate Logic and Quantifiers.
10:54 <Finwe> The one you learn at high school.
10:54 <Cepheid> I never went to high school.
10:55 <Cepheid> I took distance education to get my G.E.D. instead. It's basically a bare-minimum curriculum.
10:55 <Finwe> It's a bit complicated to get to the university if you don't go to high school here.
10:55 <RazorSharpFang> Cepheid, Eh... I think there should be a reasonable reason for why, and the counteract should make sense within the context of the scenario - i.e.: You get tired over long periods of time, and your team can rest to counteract it, but you have to choose how your party rests - more sleep, less prepared if you get ganked.
10:56 <Finwe> You could go to some vocational school and then some college with not very scientific stuff and then apply to university.
10:56 <RazorSharpFang> In this way it actually serves a purpose - world building and immersion.
10:56 <Finwe> I actually know one guy who has done that.
10:57 <Cepheid> I already have a world-building situation that explains the negative effects, RazorSharpFang. It's just how to handle it in such a way that it is always there and has to be considered.
10:57 <Finwe> But the easiest way is to study two to four years at high school to become baccalaureate, and then you can apply to any university.
10:58 <RazorSharpFang> So it's just missing a meaningful non-cheap way of counteracting so that it feels fair, huh?
10:58 <Finwe> I shall be off to the bus stop soon.
10:58 <Cepheid> More or less, RazorSharpFang.
10:58 <Finwe> See you later, everypony.
10:58 <Cepheid> Finwe: Laters.
10:58 <ConfusionRift> Laters, Finwe.
10:58 <RazorSharpFang> Cyas Fin
10:58 <Finwe> Lt Cdr ConfusionRift, you have the bridge.
10:58 * Finwe flies off.
10:59 <Finwe> o7
11:01 <Cepheid> The effect would have to be something that could bypass the usual means of counteracting things, like hazmat suits.
11:05 <RazorSharpFang> Eh, I think it's more interesting if you have meaningful choices to make. Like, maybe you have to choose between greater protection but encumberment, or less protection but lighter.
11:08 <DerpyBot> New post on Equestria Daily by Calpain: Morning Discussion #1212 [ http://tinyurl.com/ybltjyyh ]
11:10 <Cepheid> Equipment slot item that helps protect against some effects, while impairing the user in other ways. Creates a trade-off.
11:12 <RazorSharpFang> Yeah, that's like what I said.
11:13 <Cepheid> Just rewording it is all.
11:13 <Cepheid> But yeah, that works
11:14 <RazorSharpFang> How are there different kinds of sand?
11:15 <Cepheid> Particle size.
11:15 <RazorSharpFang> I mean in factorio seablock, and I mean in terms of how they look when placed.
11:18 <Cepheid> I haven't got a clue.
11:18 <Cepheid> I shall be back shortly. Gonna take a shower.
11:19 <RazorSharpFang> My limiting factor here is DEFINITELY space.
11:20 <Fn> Space. space. Space! Spaaaaaaace. Space... Space? Space, space, space.
11:21 * Schism wanders in for a second. "You can adjust the type of sand you put down by pressing R while you do so. Different 'faces' of sand won't cost you materials to plonk down."
11:31 <RazorSharpFang> Oh that's it, huh...
11:34 *** Quits: ADragonDreaming (IceChat9@Pony-tpdjag.livnmi.sbcglobal.net) (Ping timeout: 121 seconds)
11:38 <DerpyBot> New post on Equestria Daily by Sethisto: State of Decay 2 Comes Packed with Pony Achiement Titles [ http://tinyurl.com/y7ydcw4u ]
11:43 <RazorSharpFang> Mmm. We have 0 red science we can research anymore.
11:47 <Cepheid> Grim Dawn's new boss is freakishly hard.
11:50 <Cepheid> Oh. That might have something to do with it.
11:50 <Cepheid> Said boss is level 75. I'm level 72. o3o
11:52 <Cepheid> Wonder if I'd fare better on normal diff over veteran.
11:55 <Cepheid> A bit better, it seems. It's almost dead. o3o
11:56 <RazorSharpFang> I'm convinced that we're gonna need to redesign a lot of this.
11:58 <RazorSharpFang> I need more sand.
12:03 *** Joins: Arkomeda (Arkomeda@Pony-bai6jk.cm85.mi5t.0587.2a02.IP)
12:07 <RazorSharpFang> Past 10 hours, steam engine average a measily 70kW
12:08 <DerpyBot> New post on Equestria Daily by Calpain: Morning Discussion #1212 [ http://tinyurl.com/ybltjyyh ]
12:08 <DerpyBot> New post on Equestria Daily by Calpain: Comic: Stampede / I Done? 3:18 / Fly With Me 18 / AoS 2:12 / Gemmed Rarity 3 [ http://tinyurl.com/yd4cwfqt ]
12:08 <DerpyBot> New post on Equestria Daily by Sethisto: Gameloft's My Little Pony Game Adds Support for Tons of Phones with Augmented Reality [ http://tinyurl.com/ydcgzc3p ]
12:09 *** Quits: Arkomeda (Arkomeda@Pony-bai6jk.cm85.mi5t.0587.2a02.IP) (Quit: I must go, my planet needs me.)
12:10 *** Joins: Arkomeda (Arkomeda@Pony-bai6jk.cm85.mi5t.0587.2a02.IP)
12:10 <Cepheid> I am in an region of Aether monsters, Aether-aspected attackers, and the like. You know what would be a smart idea? Aether resistance. Do I have any? 65%. I can get another 15%.
12:33 <RazorSharpFang> Does it stack additively or multiplicitvely?
12:34 *** Parts: RazorSharpFang (DefinitelyN@Pony-gh4i4v.tpgi.com.au) ("Leaving")
12:36 <Cepheid> Additively. Maximum 80%.
12:37 <Cepheid> Unless I use items that add +N% maximum <element> resistance.
12:57 *** Joins: RazorSharpFang (DefinitelyN@Pony-gh4i4v.tpgi.com.au)
12:58 <Cepheid> https://i.imgur.com/S2PyMIq.png This is what it looks like when you uncover a 100-radius circle around you in Factorio. Judging from this, we are the luckiest *BLEEP* in the world, because we landed in the least densely populated area of the ENTIRE PLANET.
13:00 <RazorSharpFang> How did you even uncover a 100-mile radius?
13:01 <ConfusionRift> If I remember correctly, yes. Bugs will keep populating till they reach your starting point, but it thins out on the middle.
13:01 <ConfusionRift> Mod I'm guessing.
13:01 <ConfusionRift> Ooooh, creative mod? :P
13:02 <Cepheid> RazorSharpFang: Mod. Scanning Radar + Creative Mode.
13:02 <RazorSharpFang> Ah
13:02 <Cepheid> Scanning Radar basically turns the radar into a more familiar radar you see in movies and TV shows.
13:02 <Cepheid> It's configurable, but man does it draw a lot of power.
13:02 <RazorSharpFang> Gotta balance it somehow.
13:02 <ConfusionRift> Makes sense. I mean, look at that!
13:05 <RazorSharpFang> Cepheid, do you remember Adra saying something like "resources should flow from [north/south] to [north/south]" ? Do you remember which one it was and what it means?
13:06 <Cepheid> North-South.
13:06 <RazorSharpFang> From north, to the south... and that's the direction of solids, right?
13:06 <Cepheid> I believe so.
13:07 <Cepheid> So that map with 100-chunk radius uncovered..
13:07 <Cepheid> 63 megabytes.
13:09 <Cepheid> Anyways, bed for me.
13:09 <RazorSharpFang> Alrighty, good night (Weird time for sleep?)
13:10 <ConfusionRift> I should rest as well. Laters, and have a goo done.
13:10 *** Quits: ConfusionRift (ConfusionRi@Pony-gue529.res.rr.com) (Quit: Recharging the batteries. Laters! *shutdown*)
13:17 <RazorSharpFang> I wonder how many unique fluids there are in this modpack........
13:19 <Cepheid> Too danged many. Also bed for me means just getting into bed and slowly passing out randomly.
13:21 <RazorSharpFang> I think it's time for me to make an "everything maker", but it's gonna be hard, 'cos there's no land...
13:29 *** Quits: LazerSparkle (LazerSparkl@Pony-cqh.thl.68.61.IP) (Connection closed)
13:34 *** Quits: Mike_Coltfield (Larscis@colt.in.the.rain) (Quit: Well, that was unexpected...)
13:35 *** Joins: Mike_Coltfield (Larscis@colt.in.the.rain)
13:35 *** ChanServ sets mode: +o Mike_Coltfield
13:37 <Cepheid> There we go. Fixed my blinds.
13:42 <Cepheid> Broken gear wheel, looks like. I'll need 80 gear wheels to fix it.
13:49 <RazorSharpFang> We're on windmill factory 5 now.
14:01 <RazorSharpFang> Would it be better to produc pure water from a water treatment plant, or from combining the oxygen and hydrogen?
14:18 *** Joins: Pi (saxopi@Pony-n69.msp.200.112.IP)
14:25 *** Joins: The_Greener (The_Greene@Pony-l98.idj.246.46.IP)
14:25 *** Lord_Greener is now known as Pony_76523
14:26 *** The_Greener is now known as Lord_Greener
14:26 *** Quits: Pony_76523 (The_Greene@Pony-l98.idj.246.46.IP) (Ping timeout: 121 seconds)
14:28 *** Surreal_Nightmares is now known as Filly_Nightmares
15:05 *** Quits: Pi (saxopi@Pony-n69.msp.200.112.IP) (Ping timeout: 121 seconds)
15:06 <Schism> RSF: I'd say that the only difference is in footprint size. Hydro plants are /huge/, so I usually go with a chemical plant instead. (The cheaper type of chemical plant, naturally, not the 750KW one.)
15:06 <Schism> (Well, 450KW.)
15:06 <Schism> With a hydro plant, you'd also need to plonk down a clarifier, or a setup to process brown algae.
15:07 *** Joins: Pi (saxopi@Pony-n69.msp.200.112.IP)
15:09 <RazorSharpFang> Hmmm. Well, I'll just fill all the fuel up, and leave it running overnight. Should have a very sizable ore collection come morning.
15:09 *** Joins: RyuImperator (RyuImperato@Pony-qen497.dip0.t-ipconnect.de)
15:10 <RyuImperator> hello
15:11 *** Quits: Pi (saxopi@Pony-n69.msp.200.112.IP) (Ping timeout: 121 seconds)
15:12 <RazorSharpFang> Schism, for an "everything-maker" I'd probably use the water treatment plants, since I'd use the saline eventually, probably.
15:13 <Schism> Mm, if nothing else, extra alginic acid isn't bad. Though saline can also be grabbed from washing plants.
15:15 <RazorSharpFang> I feel like all the buildings in this mod-pack are half a square too big in all 4 directions. You can't fit between them like you can with most base structures.
15:16 <Schism> Well, there /are/ 9 subsquares in each tile.
15:17 <Schism> So you're not wrong, likely!
15:17 *** Joins: Pi (saxopi@Pony-n69.msp.200.112.IP)
15:18 <RazorSharpFang> Anyway I'm off to sleep, good night.
15:20 *** Quits: RazorSharpFang (DefinitelyN@Pony-gh4i4v.tpgi.com.au) (Connection closed)
15:28 <Schism> Some conversations can be remarkably minimalist. https://www.baldwinpage.com/spacetrawler/2018/05/14/051418-blood-talk
15:37 *** Quits: Pi (saxopi@Pony-n69.msp.200.112.IP) (Ping timeout: 121 seconds)
15:47 *** Joins: Double (double@Pony-20c.bks.84.84.IP)
16:20 *** Joins: Pinmane (Pinmane@Pony-12dq4p.dhcp.inet.fi)
16:33 *** Joins: Jahnesta (Jahnesta@Pony-lnu6n9.dynamic.ziggo.nl)
16:34 <Jahnesta> Hey hey
16:41 * Filly_Nightmares curls up in Jahnesta and uses Schism as a blanket
16:42 * Jahnesta Vibrates by purring
16:42 * Schism provides warm tea! Or cold iced tea. One of the two.
16:42 *** Joins: ADragonDreaming (IceChat9@Pony-e2t.eoa.56.172.IP)
16:42 *** ChanServ sets mode: +o ADragonDreaming
16:51 *** Joins: Hat (Hat@Pony-oh0q1f.exetel.com.au)
16:57 * Filly_Nightmares grooms Schism and kneads Jahnesta
16:57 <Jahnesta> :3
16:57 <Jahnesta> How is chu?
16:58 * Filly_Nightmares eees
17:03 <Jahnesta> I gtg ;(
17:03 *** Quits: Jahnesta (Jahnesta@Pony-lnu6n9.dynamic.ziggo.nl) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
17:08 <DerpyBot> New post on Equestria Daily by ExplodingPonyToast: Music: Daniel Ingram - One Small Thing (JoinedTheHerd Remix) [Electro] [ http://tinyurl.com/y8r889at ]
17:28 *** Quits: Double (double@Pony-20c.bks.84.84.IP) (Connection closed)
17:33 *** Quits: ADragonDreaming (IceChat9@Pony-e2t.eoa.56.172.IP) (Ping timeout: 121 seconds)
17:43 *** Joins: Persona (Tilde@Pony-b0l7hh.res.rr.com)
18:01 *** Joins: Moongoodboy{K} (LunarToyK@sugar-belle.blackl.net)
18:04 *** Joins: Lumin (IceChat9@Pony-vuapof.3rp3.of1k.301b.2603.IP)
18:08 <DerpyBot> New post on Equestria Daily by Sethisto: State of Decay 2 Comes Packed with Pony Achiement Titles [ http://tinyurl.com/y7ydcw4u ]
18:15 *** Quits: Hat (Hat@Pony-oh0q1f.exetel.com.au) (Quit: Leaving)
18:17 *** Quits: Langly (Langly@Pony-vs3qaa.ptld.qwest.net) (Connection closed)
18:18 *** Joins: Tempest-Shadow (DJPon3IsHer@Pony-l7h10c.as43234.net)
18:18 *** ChanServ sets mode: +o Tempest-Shadow
18:21 *** Joins: Ali (Ali@Pony-lqjg3k.4nua.5fca.1702.2600.IP)
18:21 *** ChanServ sets mode: +qo Ali Ali
18:27 * Lumin pets ALi lots
18:27 * Ali squeaks loudly
18:30 <Lumin> <3
18:30 <Lumin> Snuggly pone
18:30 * Lumin snuggles the Alipone lots
18:31 <Lumin> It might just be because I've seen A LOT of MLP:FiM, but I feel like the plots and lessons are becoming predictable
18:31 <Ali> Its a children's show, that's gonna happen on a long run thing
18:32 <Lumin> even though they lampshade themselves a bit
18:32 <Lumin> like the Celestia one
18:32 <Lumin> "Just tell her the truth~!"
18:34 *** Tempo-Sleep is now known as Tempo-AFK
18:35 <Ali> But Twilight is being Twilight
18:37 <Lumin> sunbutt can't act, tho
18:37 <Lumin> it's adorable.
18:37 <Lumin> "Is she... prancing?"
18:38 <Ali> Just beware the Celestia Canterlot Voice
18:38 * Tempest-Shadow snerks
18:38 * Ali wubs on Tempest-Shadow
18:38 * Tempest-Shadow promptly snuggles upon ali and Lumin
18:40 <Lumin> <3
18:40 <Lumin> so I memed on FFXIV today.
18:41 <Finwe> o3o
18:41 <Lumin> I told them "I should make a character named I'II II'L "
18:41 <Finwe> Messrs Lumin and Tempest-Shadow; Miss Ali.
18:41 * Finwe doffs his hat.
18:46 * Finwe noms on Ali's tail.
18:46 * Ali squeaks at Finwe
18:47 <Finwe> o3o
18:57 <Lumin> me brushes Ali
18:57 * Lumin brushes Ali
18:57 <Lumin> <3
18:58 * Finwe hats on Lumin.
18:58 <Lumin> o 3o
19:06 *** Joins: Renard (Renard@Pony-g2dhik.abo.wanadoo.fr)
19:06 <Renard> Hello folks
19:06 <Renard> Have the first BeatSaber pony song: https://beatsaver.com/details.php?id=118
19:08 <DerpyBot> New post on Equestria Daily by Sethisto: Poll Results: Which Mane Pony Would Be Most Fun to Hang Out With For a Day? [ http://tinyurl.com/y82zdhw9 ]
19:44 *** Joins: HyperDash (HyperDash@Pony-obvko9.wa.comcast.net)
19:48 *** Quits: DerpyBot (DerpyBot@is.in.your.pants.eating.your.muffins) (Connection closed)
19:48 *** Joins: DerpyBot (DerpyBot@is.in.your.pants.eating.your.muffins)
19:48 *** ChanServ sets mode: +ao DerpyBot DerpyBot
19:49 <DerpyBot> *derp*
19:52 <Finwe> !seen DerpyBot
19:52 <DerpyBot> Look into my eyes.. 6_9
19:52 * DerpyBot puts her front hooves on Finwe's shoulders.
19:53 <Finwe> 6.9
19:59 *** Ali is now known as Ali|Nap
20:01 <Starlight_Glimmer> Nap? Great idea :3
20:04 *** Quits: Lumin (IceChat9@Pony-vuapof.3rp3.of1k.301b.2603.IP) (Ping timeout: 121 seconds)
20:16 *** Quits: RyuImperator (RyuImperato@Pony-qen497.dip0.t-ipconnect.de) (Connection closed)
20:16 *** Quits: Nuclear (Nuclear@Pony-lhcfj9.bs03.2e84.0001.2600.IP) (Ping timeout: 121 seconds)
20:23 *** Tempo-AFK is now known as Tempo
20:33 *** Joins: FruitNibbler (Eogan@Pony-9pms1i.dip0.t-ipconnect.de)
20:35 *** Quits: Fn (Eogan@Pony-a9c3op.dip0.t-ipconnect.de) (Ping timeout: 121 seconds)
20:46 *** Quits: LogicalOverflow (user@Pony-1aq.l5p.16.94.IP) (The TLS connection was non-properly terminated.)
20:48 *** Joins: Saerydoth (akai@Pony-2i7.fvo.126.65.IP)
21:08 <DerpyBot> New post on Equestria Daily by ExplodingPonyToast: Awesome Everfree Northwest-themed Compilation Album: Beats 4 Everfree [ http://tinyurl.com/y8473g3q ]
21:20 *** Joins: CleverDerpy (CleverDerpy@Pony-4ffg4v.nhc3.ssum.0701.2601.IP)
21:20 *** ChanServ sets mode: +o CleverDerpy
21:21 *** Joins: Nuclear (Nuclear@Pony-9t9rla.uhel.13sd.0001.2600.IP)
21:21 *** Quits: Renard (Renard@Pony-g2dhik.abo.wanadoo.fr) (Client exited)
21:22 *** Quits: CleverDerpy (CleverDerpy@Clever.Girl.Silly.Filly) (Connection closed)
21:24 *** Joins: lmeph (Luke@Pony-4r6.7hg.227.105.IP)
21:43 *** Quits: nintendo4ds (horse@Pony-fr7.dqo.55.45.IP) (Connection closed)
21:43 *** Joins: nintendo4ds (horse@Pony-fr7.dqo.55.45.IP)
21:44 *** Joins: The_Nostalgia_Mare (Nossy@Pony-o73sar.fl.comcast.net)
21:45 *** Joins: ADragonDreaming (IceChat9@Pony-tpdjag.livnmi.sbcglobal.net)
21:45 *** ChanServ sets mode: +o ADragonDreaming
21:48 <ADragonDreaming> Haghsprecht.
22:05 * Cepheid awakens.
22:06 *** The_Nostalgia_Mare is now known as CookingwithNossyWars
22:08 <DerpyBot> New post on Equestria Daily by Calpain: Comic: Shard 40 / Mom / After Parent Map / Truth and Slander / Rogue Diamond 10:7 / Fly 17 / Summer 05-06 [ http://tinyurl.com/yb2kvm67 ]
22:13 *** CookingwithNossyWars is now known as CookingwithNossy99
22:23 *** Joins: Reia (Reia@TheCowPony)
22:29 * ADragonDreaming nibbles on Cepheid
22:30 <Cepheid> Yes?
22:30 <ADragonDreaming> Slag slurry.
22:31 <Cepheid> What about it?
22:31 <ADragonDreaming> we needs it
22:37 <Cepheid> Of course, but why are you nibbling on me about it? :P
22:40 *** Quits: Reia (Reia@TheCowPony) (Connection closed)
22:40 *** Joins: Pinkie_Pie (Reia@TheCowPony)
22:43 <ADragonDreaming> reasons.
22:49 <ADragonDreaming> And raisins.
22:51 *** Quits: Tempest-Shadow (DJPon3IsHer@DJ.Wub.Wub) (Ping timeout: 121 seconds)
22:53 *** Joins: Tempest-Shadow (DJPon3IsHer@Pony-l7h10c.as43234.net)
22:53 *** ChanServ sets mode: +o Tempest-Shadow
23:02 *** Joins: Coco` (coco@Pony-ap8dnm.res.rr.com)
23:06 *** Parts: Coco` (coco@Pony-ap8dnm.res.rr.com) ("nya")
23:06 *** Quits: Nuclear (Nuclear@Pony-9t9rla.uhel.13sd.0001.2600.IP) (Quit: Bye)
23:08 <DerpyBot> New post on Equestria Daily by Sethisto: Drawfriend Stuff (Pony Art Gallery) #2620 [ http://tinyurl.com/ycxqocqv ]
23:11 *** Joins: Nuclear (Nuclear@Pony-ef7god.dmoo.n503.0001.2600.IP)
23:17 *** Quits: lmeph (Luke@Pony-4r6.7hg.227.105.IP) (Ping timeout: 121 seconds)
23:43 *** Quits: Pinkie_Pie (Reia@TheCowPony) (Ping timeout: 121 seconds)
23:52 *** Joins: Reia (Reia@TheCowPony)
23:57 *** Joins: PinkieShy (Brony@Pony-7elts9.159-117-185-net.sccoast.net)
23:57 <PinkieShy> ugh
23:57 <PinkieShy> Woke up this morning with horrible wrist pain
23:57 <PinkieShy> and a small swollen bump/lump near the wrist of the left hand.
23:58 <PinkieShy> told my dad if it gets bigger.. I'm going to the doctor.
23:58 <Cepheid> Thanks, ARCH devs. For the first time since I started using your distro, you've damaged my system. o3o
23:58 <PinkieShy> This pain is horrible.. pain killers are helping but not much.
23:59 *** Ali|Nap is now known as Ali
23:59 * Ali flops over the Cepheid
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!
