6
PrBoom+ (Doom) (github.com)
submitted 1 year ago* (last edited 1 year ago) by parsnip283874 to c/source_ports

A source port for Doom that supports vanilla and Boom formats. Fast and highly-configurable, my Doom source port of preference.

[-] parsnip283874 3 points 1 year ago* (last edited 1 year ago)

I was actually convinced at stumps on day 4 that Aus were going to win, but Eng managed to pull through in the end. Also glad this series is done, having an emotional connection to one of the teams playing in a Test series is fun, but gets quite stressful.

However, I’m with Ponting that the ball change was poor and should be investigated. Shame one bad decision made such an impact on the game.

[-] parsnip283874 3 points 1 year ago

Seems fair enough except for the finishing on a high wrt this test I suspect, but maybe I’ll be pleasantly surprised.

[-] parsnip283874 5 points 1 year ago

What a damn, damn shame

[-] parsnip283874 3 points 1 year ago

The best track in Meddle and maybe in PF’s whole discography too

9
submitted 1 year ago* (last edited 1 year ago) by parsnip283874 to c/math

(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 2 points 1 year ago

Effing Mancunian weather

[-] parsnip283874 4 points 1 year ago* (last edited 1 year ago)

If it’s the weather that stops us from winning from here, I might cry

[-] parsnip283874 5 points 1 year ago

Ofc it was Crawley with a knock which may end up keep us in contention for the Ashes…

[-] parsnip283874 2 points 1 year ago* (last edited 1 year ago)

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 2 points 1 year ago

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 2 points 1 year ago

is that danish

[-] parsnip283874 3 points 1 year ago

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 2 points 1 year ago

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.

view more: next ›

parsnip283874

joined 1 year ago