Staredit Network

Staredit Network > Global Shoutbox

Members in Shoutbox

None.

Shoutbox Search

Shoutbox Commands

/w [name] > Whisper
/r > Reply to last whisper
/me > Marks as action

Shoutbox Information

Moderators may delete any and all shouts at will.

Global Shoutbox

Please log in to shout.

Pages: < 1 � 3336 3337 3338 3339 3340 … 3539 >

[2014-9-23. : 11:34 pm]

Dem0n -- Am I seeing this wrong, or can (p -> q) ^ (p -> r) and (p -> (q ^ r)) just be proven by distributing p to q and r in the second statement?

[2014-9-23. : 11:21 pm]

jjf28 -- and yes, another notation xD

[2014-9-23. : 11:20 pm]

jjf28 -- had to look up all de-rules

[2014-9-23. : 11:20 pm]

jjf28 -- http://puu.sh/bLiFb/4255f197a6.png

[2014-9-23. : 11:16 pm]

Dem0n -- Oh my god I actually figured it out

[2014-9-23. : 10:59 pm]

Dem0n -- But they specifically ask for me to prove equivalency with logical properties

[2014-9-23. : 10:59 pm]

Dem0n -- yes

[2014-9-23. : 10:53 pm]

Moose -- Because then you're done.

[2014-9-23. : 10:52 pm]

Moose -- Did you get the same truth values for both sides of that using all possible true/false combos for p, q, and r?

[2014-9-23. : 10:50 pm]

Dem0n -- the logical properties

[2014-9-23. : 10:50 pm]

Dem0n -- have to use logical shit

[2014-9-23. : 10:50 pm]

Dem0n -- i did

[2014-9-23. : 10:50 pm]

Moose -- Make a truth table, scrub

[2014-9-23. : 10:49 pm]

jjf28 -- oh, the only one of these: ^

[2014-9-23. : 10:49 pm]

Dem0n -- actually, what second and?

[2014-9-23. : 10:49 pm]

Dem0n -- it's logical

[2014-9-23. : 10:49 pm]

jjf28 -- I'm having trouble viewing that as a logical AND

[2014-9-23. : 10:48 pm]

jjf28 -- is that second and a logical AND or more like an english 'and'

[2014-9-23. : 10:45 pm]

Dem0n --

[2014-9-23. : 10:44 pm]

jjf28 --

[2014-9-23. : 10:44 pm]

Roy -- You mean || and &&?

[2014-9-23. : 10:43 pm]

Dem0n -- or, and

[2014-9-23. : 10:42 pm]

jjf28 -- wuts v and ^

[2014-9-23. : 10:36 pm]

Dem0n -- I need to prove that (p v q) -> r == (p -> r) ^ (q -> r), but I have no clue where to start D:

[2014-9-23. : 10:35 pm]

Dem0n -- jack halp

[2014-9-23. : 9:51 pm]

jjf28 -- http://cartoontester.blogspot.com/2010_01_01_archive.html

[2014-9-23. : 9:43 pm]

Dem0n -- Dem0n

Dem0n shouted: The blizzard patch update picture in Ahli's post broke or something

Oh, is that due to Dev trying to fix the nested quote/img tag thing?

[2014-9-23. : 9:42 pm]

Dem0n --

[2014-9-23. : 9:42 pm]

Dem0n -- Blizzard cancelled Titan. RIP ;_;

[2014-9-23. : 9:41 pm]

Jack -- http://adam4d.com/sheep/ stop being sheeple people!

[2014-9-23. : 9:40 pm]

Dem0n -- The blizzard patch update picture in Ahli's post broke or something

[2014-9-23. : 9:35 pm]

Fire_Kame -- :kamewob:

[2014-9-23. : 9:30 pm]

jjf28 -- under attack, presumably something slightly more creative than DDoS

[2014-9-23. : 9:29 pm]

Vrael -- anyone know what's up with b.net?

[2014-9-23. : 8:45 pm]

TF- Ultroche*

[2014-9-23. : 8:44 pm]

TF- -- what's actually wrong though :fear:

[2014-9-23. : 8:38 pm]

jjf28 -- alot still not present, ex: http://www.staredit.net/334529/ progress though :cube:

[2014-9-23. : 8:37 pm]

Moose -- They were found to be too ungoche. We reccommend you make supergoche postings in the future. :fear:

[2014-9-23. : 8:33 pm]

TF- -- something wrong with my old posts?

[2014-9-23. : 8:31 pm]

TF- -- gj

[2014-9-23. : 8:16 pm]

Devourer -- 93/120 on my exam :3

[2014-9-23. : 8:16 pm]

Devourer --

[2014-9-23. : 8:15 pm]

Moose --

[2014-9-23. : 8:14 pm]

jjf28 -- you need a mini-SEN with 1-thread where you can test your compiler quickly

[2014-9-23. : 8:05 pm]

Devourer -- or rather: it depends on the responsetime of other servers, I guess

[2014-9-23. : 8:04 pm]

Devourer -- getimagesize() is a slow function ;(

[2014-9-23. : 8:03 pm]

jjf28 -- <DDoS activated>

[2014-9-23. : 8:02 pm]

Devourer -- OOKAAY SEN MAY BE SLOW FOR THE NEXT MINUTES :loL.

[2014-9-23. : 8:00 pm]

jjf28 -- o

[2014-9-23. : 8:00 pm]

Devourer -- face*

[2014-9-23. : 8:00 pm]

Devourer -- Yeah, but I meant ahli's find^^ links inside of a collapse box will receive problems

[2014-9-23. : 8:00 pm]

jjf28 -- the link*

[2014-9-23. : 7:59 pm]

jjf28 -- think link is thrown into a black hole rather than turned into a <img> tag

[2014-9-23. : 7:58 pm]

Devourer -- though I do not see what causes the problem on the first look though

[2014-9-23. : 7:58 pm]

Devourer -- note to self: on my next parser.php, there will be a different structure

[2014-9-23. : 7:51 pm]

Devourer -- Thank you

[2014-9-23. : 7:50 pm]

jjf28 -- here's a good example: http://www.staredit.net/topic/15422/

[2014-9-23. : 7:50 pm]

Devourer -- I may look into it when I have fixed this problem

[2014-9-23. : 7:50 pm]

Devourer -- send me a link to one of the problem posts again

[2014-9-23. : 7:49 pm]

jjf28 -- not a legit problem ofc, go re-parse old pictures :kame:

[2014-9-23. : 7:48 pm]

jjf28 -- Devourer

Devourer shouted: jjf28 Shoutboxquotes now automatically add a whitespace after the box

though gross, our quotes line up too perfectly xD

[2014-9-23. : 7:48 pm]

jjf28 -- Devourer

Devourer shouted: jjf28 Shoutboxquotes now automatically add a whitespace after the box

ying

[2014-9-23. : 7:47 pm]

Devourer -- jjf28

jjf28 shouted: i'll give you a virtual buck, good for one tall glass of ice-cold virtual lemonade

Shoutboxquotes now automatically add a whitespace after the box

[2014-9-23. : 7:45 pm]

jjf28 -- i'll give you a virtual buck, good for one tall glass of ice-cold virtual lemonade

[2014-9-23. : 7:44 pm]

Devourer -- I'm awfully unmotivated to code

[2014-9-23. : 7:43 pm]

Devourer -- It is a nesting problem. Links inside of Quotes have problems.

[2014-9-23. : 7:42 pm]

Devourer -- let me see

[2014-9-23. : 7:42 pm]

Devourer -- [ur l=xx]y[/url] is broken?

[2014-9-23. : 7:41 pm]

Ahli -- like that

[2014-9-23. : 7:41 pm]

Ahli -- but I want url with displaying description text

Pages: < 1 � 3336 3337 3338 3339 3340 … 3539 >

Members Online:

Roy,

Ultraviolet