github.com
A source port for Doom that supports vanilla and Boom formats. Fast and highly-configurable, my Doom source port of preference.
parsnip283874 Now • 100%
Has anyone here read the Katz translation? How does it compare to the other two?
parsnip283874 Now • 100%
parsnip283874 Now • 100%
Pain elemental, and yes it’s a nuisance. Hiding behind a wall and peek-a-boo shooting twice or thrice with a SSG is your best strat.
parsnip283874 Now • 100%
Looks like a minimum of 3 hours play today (possibility of rain from 3) and probably whole day’s play tomorrow. Looks like the weather won’t be ruining another Test.
parsnip283874 Now • 100%
What a damn, damn shame
parsnip283874 Now • 100%
One day in, and with the way Australia have been carrying on I don’t think an English win is likely. In fact, I wouldn’t be surprised if we see the same scores from the last test, just with the teams swapped.
parsnip283874 Now • 100%
I’m not sure but could it be because, in your first truth table, you assumed the truth value of (a OR b) -> c to be true and you are finding the truth values of c that correspond with pairs of values of a and b?
However, in the second table you are finding the truth values of ~(a OR b) OR c that correspond with truth values of c as well as a and b so just like you said, you cannot compare the two tables you present above.
To get the truth table for the proposition (a OR b) -> c, you would find the corresponding truth values to those of a, b and c (like you did in the first table). Something like this:
A B C A OR B (A OR B) -> C
000 0 1
001 0 1
010 1 0
011 1 1
100 1 0
101 1 1
110 1 0
111 1 1
since it’s possible for the conditional proposition to be false (i.e. if either A or B are true yet C is false)
parsnip283874 Now • 100%
Afaik they are equivalent since using the truth table of a conditional A->B, it’s false when A is true but B is false (like how a philosophical argument is invalid if the premise A is true yet the conclusion B is false) so ~(A->B) = A and ~B and A->B = ~A or B. Were you asking about something else?
(a OR b) -> c = ~(a OR b) OR c = (~a AND ~b) OR c = (~a OR c) AND (~b OR c) = (a -> c) AND (b -> c) as required I haven’t formally learnt logic so I’m not sure if my proof is what you’d call rigorous, but the result is pretty useful for splitting up conditionals in proofs like some of the number theory proofs I’ve been trying. E.g. > Show that if a is greater than 2 and a^m + 1 is prime, then a is even and m is a power of 2 In symbolic form this is: ∀a >= 2 ( a^m + 1 is prime -> a is even AND m is a power of 2 ) The contrapositive is: ∀a >= 2 ( a is odd OR m is NOT a power of 2 -> a^m + 1 is composite ) and due to the result above, this becomes ∀a >= 2 ( a is odd -> a^m + 1 is composite ) AND ( m is NOT a power of 2 -> a^m + 1 is composite ) so you can just prove two simpler conditionals instead of one more complicated one.
parsnip283874 Now • 100%
Effing Mancunian weather
parsnip283874 Now • 100%
If it’s the weather that stops us from winning from here, I might cry
parsnip283874 Now • 100%
Ofc it was Crawley with a knock which may end up keep us in contention for the Ashes…
parsnip283874 Now • 100%
Sunlust ftw. Gorgeous maps (especially E3 maps) that force you to play outside your comfort zone.
That and Plutonia, just because of Go 2 It, which is a genuinely fun map to play.
parsnip283874 Now • 100%
PrBoom+ for everything. I used to use Crispy but I can’t be bothered to switch between them for Boom and vanilla wads so I just stick to one.
parsnip283874 Now • 100%
Is guix pull still slow? That was a problem I and a few others had a while back.
parsnip283874 Now • 100%
Yeah, great from India (especially Rohit, Jaiswal and Ashwin) but it’s sad to see WI fall further away from the side they once were.
parsnip283874 Now • 100%
Great win for England but I’m concerned about Root and Bairstow. For two batsmen that we’re relying so heavily on along with Stokes, we haven’t seen much from them with the bat since Edgbaston (not to mention Bairstow’s poor performance behind the stumps). I have a feeling that if it’s going to be anything like 2019, we’ll need someone to step up at Old Trafford…
parsnip283874 Now • 100%
Yup, Bairstow messed up and the blame should go solely to him. He’s been an international cricketer for a fair while, he really shouldn’t be doing things like that.
parsnip283874 Now • 100%
I don’t think that would work. You just use the fact that the integral from negative to positive infinity of sin(x)/x is pi, so from 0 to infinity it is pi/2, which you can derive from using Feynman’s trick for computing weird integrals like these.