Complete Randomness

Talk about anything under the sun or stars - but keep it civil. This is where we really get to know each other. Everyone is welcome, and invited!
Dr. Mobius
Speaker for the Dead
Speaker for the Dead
Posts: 2539
Joined: Thu Sep 28, 2006 12:11 pm
Title: Stayin' Alive
First Joined: 17 Aug 2002
Location: Evansville, IN

Postby Dr. Mobius » Tue Apr 05, 2011 8:56 pm

I'm trading in my tax refund for a new computer. =D
The enemy's fly is down.
Image

ender1
Toon Leader
Toon Leader
Posts: 690
Joined: Mon Jan 01, 2007 1:22 am
Title: I know Photo-fu

Postby ender1 » Tue Apr 05, 2011 9:02 pm

I'm trading in my tax refund for a new computer. =D
Most excellent. Too lazy to look, whats the screen size and resolution?

Dr. Mobius
Speaker for the Dead
Speaker for the Dead
Posts: 2539
Joined: Thu Sep 28, 2006 12:11 pm
Title: Stayin' Alive
First Joined: 17 Aug 2002
Location: Evansville, IN

Postby Dr. Mobius » Tue Apr 05, 2011 9:09 pm

The screen's not even on that page anyway. It's 16" at 1366x768
The enemy's fly is down.
Image

ender1
Toon Leader
Toon Leader
Posts: 690
Joined: Mon Jan 01, 2007 1:22 am
Title: I know Photo-fu

Postby ender1 » Tue Apr 05, 2011 9:12 pm

The screen's not even on that page anyway. It's 16" at 1366x768
I realized that. I was lazy to go on Toshiba's page to look myself. You'd think for that price and screen size the resolution would be a bit higher, but not many manufacturers offer higher resolution even as an option anyway.

Dr. Mobius
Speaker for the Dead
Speaker for the Dead
Posts: 2539
Joined: Thu Sep 28, 2006 12:11 pm
Title: Stayin' Alive
First Joined: 17 Aug 2002
Location: Evansville, IN

Postby Dr. Mobius » Tue Apr 05, 2011 9:34 pm

I pretty well maxed out the customizations on that thing, the base price was around $850.

If they'd let you customize a Qosmio, I'd probably have gotten one of those. The only significant differences between my Satellite and the mid-range Q8102X Qosmio are the Qosmio has a larger screen (18.4" at 1680x945) and a better video card with more video ram, but my Satellite has more regular ram and costs almost $400 less. Also, I can actually pronounce "Satellite" while "Qosmio" is a bit of a tongue twister assuming it even sounds the way I think it does.
The enemy's fly is down.
Image

ender1
Toon Leader
Toon Leader
Posts: 690
Joined: Mon Jan 01, 2007 1:22 am
Title: I know Photo-fu

Postby ender1 » Tue Apr 05, 2011 9:37 pm

Ouch, I'd never want to carry around an 18.4 inch laptop

Dr. Mobius
Speaker for the Dead
Speaker for the Dead
Posts: 2539
Joined: Thu Sep 28, 2006 12:11 pm
Title: Stayin' Alive
First Joined: 17 Aug 2002
Location: Evansville, IN

Postby Dr. Mobius » Tue Apr 05, 2011 9:55 pm

I agree, which is why I'm glad I was able to build a 16" one with similar stats. Which is the perfect size for a laptop to be, in my opinion. Large enough for a full-size keyboard with a number pad, but not so large that you start to wonder why they didn't just go ahead and slap a battery and a screen on a desktop tower.
The enemy's fly is down.
Image

CezeN
Toon Leader
Toon Leader
Posts: 1254
Joined: Tue Aug 05, 2008 1:24 pm
Title: will not be ignored

Postby CezeN » Wed Apr 06, 2011 12:05 am

I was too lazy to put in enough time to figure out one of my Logic Homework problems... so I put...

"~P v Q |- P -> Q
1. ~P v Q (A)
2. ???
3. Profit!
"

:wink:
Gunny and his thoughts on First Earth:
Image

zeroguy
Commander
Commander
Posts: 2741
Joined: Wed Sep 27, 2006 4:29 pm
Title: 01111010 01100111
First Joined: 0- 8-2001
Location: Where you least expect me.
Contact:

Postby zeroguy » Wed Apr 06, 2011 9:14 pm

That's a homework problem? Isn't that, like, the definition of -> ?
Proud member of the Canadian Alliance.

dgf hhw

CezeN
Toon Leader
Toon Leader
Posts: 1254
Joined: Tue Aug 05, 2008 1:24 pm
Title: will not be ignored

Postby CezeN » Thu Apr 07, 2011 4:24 pm

I don't know what you mean by it being a definition, but that's Propositional Calculus Logic.

I have to use a set of logical rules to get from ~P v Q to P -> Q

An example of doing a problem like this would be:
Q |- P -> Q (which translates into "Q, thus If P then Q"
1. Q...............(A)
2. |P...............H->I
3. ||~Q...........H~I
4. ||Q&~Q.......1,3&I
5. |~~Q...........3-4~I
6. | Q...............5~E
7. P->Q............2-7->I

A meaning Assumption/Premise
H meaning Hypothetically
~ meaning Negation
~E Negation Elimination [Rule]
->I If Then Introduction [Rule]
&I And Introduction [Rule]

@_@ It's really complicated, unless you use the system that has 20 rules for every common situation (which we aren't using)
Gunny and his thoughts on First Earth:
Image

Eaquae Legit
Speaker for the Dead
Speaker for the Dead
Posts: 5185
Joined: Tue Sep 26, 2006 6:30 pm
Title: Age quod agis
First Joined: 04 Feb 2002
Location: ^ Geez, read the sign.

Postby Eaquae Legit » Fri Apr 08, 2011 3:46 am

Homemade fruit salad is an awesome way to start the day! Especially when you did all the work last night.
"Only for today, I will devote 10 minutes of my time to some good reading, remembering that just as food is necessary to the life of the body, so good reading is necessary to the life of the soul." -- Pope John XXIII

User avatar
Claire
Toon Leader
Toon Leader
Posts: 629
Joined: Tue Sep 26, 2006 2:41 pm
Title: World Traveler
First Joined: 16 Dec 2002

Postby Claire » Mon Apr 11, 2011 9:06 pm

I think I ate so many sweet things (cinnamon gum, apples, chocolate, dried cranberries) that I tore up my tongue. It feels like I have a million canker sores. Is that even possible?

Gravity Defier
Commander
Commander
Posts: 8017
Joined: Tue Sep 26, 2006 7:32 pm
Title: Ewok in Tauntaun-land

Postby Gravity Defier » Wed Apr 13, 2011 6:34 pm

I have to wonder if anyone on the road ever thinks I have a case of penis envy. Without fail, whenever I come to a stop, my right hand goes for the handlebar and my left, for the tip of my bike seat. It's not even just resting there, it's hanging on to the thing as if it will fall off if I don't.
Se paciente y duro; algún día este dolor te será útil.

mr_thebrain
Toon Leader
Toon Leader
Posts: 1547
Joined: Tue Sep 26, 2006 8:22 pm
Title: The same thing we do every night...
First Joined: 0- 7-2000
Location: Wisconsin
Contact:

Postby mr_thebrain » Wed Apr 13, 2011 7:07 pm

.... why?
Ubernaustrum

Gravity Defier
Commander
Commander
Posts: 8017
Joined: Tue Sep 26, 2006 7:32 pm
Title: Ewok in Tauntaun-land

Postby Gravity Defier » Wed Apr 13, 2011 7:18 pm

I have no idea. I'm naturally anxious and it's just something to hold onto, I guess. I used to grab onto my necklace or play with my ring when I had those on.
Se paciente y duro; algún día este dolor te será útil.

User avatar
Luet
Speaker for the Dead
Speaker for the Dead
Posts: 4511
Joined: Tue Sep 26, 2006 3:49 pm
Title: Bird Nerd
First Joined: 01 Jul 2000
Location: Albany, NY

Postby Luet » Wed Apr 13, 2011 7:27 pm

That reminds me of how I hold on to the gear shifter on my husband's automatic car (even though there is no need) because I'm so used to driving my standard car and having my hand there.
"In the depth of winter, I finally learned that within me there lay an invincible summer." - Albert Camus in Return to Tipasa

Petra456
Toon Leader
Toon Leader
Posts: 2446
Joined: Tue Sep 26, 2006 11:48 pm
Title: Actually, I'm Fred (and a monster)
First Joined: 16 Mar 2004
Location: Singing on Krikkit.
Contact:

Postby Petra456 » Wed Apr 13, 2011 11:41 pm

I do all of those things (except the bike stuff, I haven't ridden a bike in years).

I always play with my necklace and twirl my ring around my finger and when I drive I always rest my hand on the shifter in my current car because I learned how to drive in a manual.

Sometimes I still go for the clutch...
Member since March 16th, 2004.

And there will come a time, you'll see, with no more tears.
And love will not break your heart, but dismiss your fears.
Get over your hill and see what you find there,
With grace in your heart and flowers in your hair.

Jayelle
Speaker for the Dead
Speaker for the Dead
Posts: 4027
Joined: Tue Sep 26, 2006 1:32 pm
Title: Queen Ducky
First Joined: 25 Feb 2002
Location: The Far East (of Canada)

Postby Jayelle » Thu Apr 14, 2011 11:56 am

Randomness...

So, when you have Google Chrome, you can set it up to sync with different computers, so your browser is the same no matter what computer you're on.

So, Paul and I do this with his netbook at school and my laptop at home. We just figured out that it syncs practically in real time, so we can change the names of the things on the bookmark bar to be "Hey there", etc and leave easter egg style notes for each other.
One Duck to rule them all.
--------------------------------
It needs to be about 20% cooler.

zeroguy
Commander
Commander
Posts: 2741
Joined: Wed Sep 27, 2006 4:29 pm
Title: 01111010 01100111
First Joined: 0- 8-2001
Location: Where you least expect me.
Contact:

Postby zeroguy » Sat Apr 16, 2011 9:32 pm

I don't know what you mean by it being a definition, but that's Propositional Calculus Logic.

I have to use a set of logical rules to get from ~P v Q to P -> Q
Yeah, I mean it in the way that ~PvQ is the definition of P->Q; they're just two different ways of writing the same thing. I thought that was one of the first things taught in logic classes, so it just seems like one step. (Like how ~(PvQ) is the same as (~P)^(~Q))
Proud member of the Canadian Alliance.

dgf hhw

Gravity Defier
Commander
Commander
Posts: 8017
Joined: Tue Sep 26, 2006 7:32 pm
Title: Ewok in Tauntaun-land

Postby Gravity Defier » Sun Apr 17, 2011 9:49 pm

I did not just spend 8.5 hours or so watching 23 episodes of My Little Pony: Friendship is Magic.



Only, I did.
Se paciente y duro; algún día este dolor te será útil.

CezeN
Toon Leader
Toon Leader
Posts: 1254
Joined: Tue Aug 05, 2008 1:24 pm
Title: will not be ignored

Postby CezeN » Sun Apr 17, 2011 11:55 pm

I don't know what you mean by it being a definition, but that's Propositional Calculus Logic.

I have to use a set of logical rules to get from ~P v Q to P -> Q
Yeah, I mean it in the way that ~PvQ is the definition of P->Q; they're just two different ways of writing the same thing. I thought that was one of the first things taught in logic classes, so it just seems like one step. (Like how ~(PvQ) is the same as (~P)^(~Q))
You're confusing me more.

Maybe we haven't got to it in my class, but what's (~P)^(~Q))?
We haven't used a ^ sign for anything...

Also, I don't understand how the ~PvQ and P->Q would be two different ways of writing the same thing....~PvQ is the premise to the conclusion P->Q
If we were to convert it into sentences, it would be like "Not P or Q, thus if P than Q.
Gunny and his thoughts on First Earth:
Image

User avatar
Haven
Soldier
Soldier
Posts: 164
Joined: Wed Apr 28, 2010 1:42 pm

Postby Haven » Mon Apr 18, 2011 4:50 pm

Find out who you are... And do it on purpose.

steph
Toon Leader
Toon Leader
Posts: 2454
Joined: Tue Sep 26, 2006 2:36 pm
Title: Rocky Mountain Mama
First Joined: 0- 8-2000
Location: colorado, baby!

Postby steph » Mon Apr 18, 2011 5:35 pm

I did not just spend 8.5 hours or so watching 23 episodes of My Little Pony: Friendship is Magic.



Only, I did.
I love you.
"When I look back on my ordinary, ordinary life,
I see so much magic, though I missed it at the time." - Jamie Cullum

User avatar
Luet
Speaker for the Dead
Speaker for the Dead
Posts: 4511
Joined: Tue Sep 26, 2006 3:49 pm
Title: Bird Nerd
First Joined: 01 Jul 2000
Location: Albany, NY

Postby Luet » Mon Apr 18, 2011 5:49 pm

Maybe we haven't got to it in my class, but what's (~P)^(~Q))?
We haven't used a ^ sign for anything...
^ stands for "and". I always remembered it because it looks like an A without the bar. It's weird that you didn't learn that. I learned the "and" and "or" symbols at the same time.
"In the depth of winter, I finally learned that within me there lay an invincible summer." - Albert Camus in Return to Tipasa

Gravity Defier
Commander
Commander
Posts: 8017
Joined: Tue Sep 26, 2006 7:32 pm
Title: Ewok in Tauntaun-land

Postby Gravity Defier » Mon Apr 18, 2011 6:57 pm

I did not just spend 8.5 hours or so watching 23 episodes of My Little Pony: Friendship is Magic.



Only, I did.
I love you.


I needed something like that. Thank you. I love you, too. :)
Se paciente y duro; algún día este dolor te será útil.

User avatar
Mich
Commander
Commander
Posts: 2948
Joined: Fri Sep 29, 2006 10:58 am
Title: T.U.R.T.L.E. Power
First Joined: 02 Apr 2002
Location: Land o' Ports
Contact:

Postby Mich » Mon Apr 18, 2011 8:19 pm

While researching my latest blog post, I came across this picture, which was too awesome to not post anywhere:

Image

Trust me, people not in the know, it's awesome for people in the know. I mean, you know, assuming that's actually Kane.

...of course it's Kane.
Shell the unshellable, crawl the uncrawlible.

Row--row.

ender1
Toon Leader
Toon Leader
Posts: 690
Joined: Mon Jan 01, 2007 1:22 am
Title: I know Photo-fu

Postby ender1 » Mon Apr 18, 2011 8:57 pm

While researching my latest blog post, I came across this picture, which was too awesome to not post anywhere:

Image

Trust me, people not in the know, it's awesome for people in the know. I mean, you know, assuming that's actually Kane.

...of course it's Kane.

If it's the Kane I think you mean, if doesn't look like it to me.

User avatar
Mich
Commander
Commander
Posts: 2948
Joined: Fri Sep 29, 2006 10:58 am
Title: T.U.R.T.L.E. Power
First Joined: 02 Apr 2002
Location: Land o' Ports
Contact:

Postby Mich » Mon Apr 18, 2011 10:07 pm

COMPARE:

Image
Shell the unshellable, crawl the uncrawlible.

Row--row.

ender1
Toon Leader
Toon Leader
Posts: 690
Joined: Mon Jan 01, 2007 1:22 am
Title: I know Photo-fu

Postby ender1 » Mon Apr 18, 2011 10:15 pm

Now I see it.

CezeN
Toon Leader
Toon Leader
Posts: 1254
Joined: Tue Aug 05, 2008 1:24 pm
Title: will not be ignored

Postby CezeN » Tue Apr 19, 2011 5:13 pm

Maybe we haven't got to it in my class, but what's (~P)^(~Q))?
We haven't used a ^ sign for anything...
^ stands for "and". I always remembered it because it looks like an A without the bar. It's weird that you didn't learn that. I learned the "and" and "or" symbols at the same time.
We use the & sign for "and".

However, I still don't see how ~P v Q would be the definition of P -> Q...
Gunny and his thoughts on First Earth:
Image

zeroguy
Commander
Commander
Posts: 2741
Joined: Wed Sep 27, 2006 4:29 pm
Title: 01111010 01100111
First Joined: 0- 8-2001
Location: Where you least expect me.
Contact:

Postby zeroguy » Tue Apr 19, 2011 9:26 pm

We use the & sign for "and".
It's usually ^ (or I think technically it's supposed be ∧) when dealing with logic. http://en.wikipedia.org/wiki/Logical_conjunction
However, I still don't see how ~P v Q would be the definition of P -> Q...
http://en.wikipedia.org/wiki/Material_conditional

Or possibly http://en.wikipedia.org/w/index.php?tit ... d=77109738 is a better thing to look at. I'm not sure; the series of pages on it seem to be a bit of a mess.
Proud member of the Canadian Alliance.

dgf hhw

zeroguy
Commander
Commander
Posts: 2741
Joined: Wed Sep 27, 2006 4:29 pm
Title: 01111010 01100111
First Joined: 0- 8-2001
Location: Where you least expect me.
Contact:

Postby zeroguy » Wed Apr 20, 2011 11:11 pm

Happy 4/20, all! (Well, in some timezones, still)
Proud member of the Canadian Alliance.

dgf hhw

ender1
Toon Leader
Toon Leader
Posts: 690
Joined: Mon Jan 01, 2007 1:22 am
Title: I know Photo-fu

Postby ender1 » Wed Apr 20, 2011 11:27 pm

Happy 4/20, all! (Well, in some timezones, still)
Heard that one too many times today.

Jayelle
Speaker for the Dead
Speaker for the Dead
Posts: 4027
Joined: Tue Sep 26, 2006 1:32 pm
Title: Queen Ducky
First Joined: 25 Feb 2002
Location: The Far East (of Canada)

Postby Jayelle » Thu Apr 21, 2011 5:29 am

Happy 4/20, all! (Well, in some timezones, still)
I almost didn't notice this year until I exited my apartment building into a cloud of sickly-sweet smoke.
One Duck to rule them all.
--------------------------------
It needs to be about 20% cooler.

Eaquae Legit
Speaker for the Dead
Speaker for the Dead
Posts: 5185
Joined: Tue Sep 26, 2006 6:30 pm
Title: Age quod agis
First Joined: 04 Feb 2002
Location: ^ Geez, read the sign.

Postby Eaquae Legit » Thu Apr 21, 2011 5:33 am

This is the first year I've ever heard of this "holiday".
"Only for today, I will devote 10 minutes of my time to some good reading, remembering that just as food is necessary to the life of the body, so good reading is necessary to the life of the soul." -- Pope John XXIII


Return to “Milagre Town Square”

Who is online

Users browsing this forum: Semrush [Bot] and 68 guests