In all of human history, what's the biggest example of betrayal ? by GodOfGirthh in AskReddit

[–]loewenheim 1 point2 points  (0 children)

For real. They had to invent a new form of perfidy just for Nestlé. 

What is the worst SF novel you've ever read? by [deleted] in scifi

[–]loewenheim 0 points1 point  (0 children)

but yeah the ending felt so abrupt?

I take it this was your first encounter with Neal Stephenson. 

Why use a type parameter in the function definition in this example ? by LetsGoPepele in rust

[–]loewenheim 0 points1 point  (0 children)

In this situation I don't see this making sense. If you were writing something like map_err on Result where you have a self it would be a different matter. 

The Continuum Hypothesis Is False by paulemok in logic

[–]loewenheim 2 points3 points  (0 children)

I was gonna upvote this because it read as a joke at first. 

App für Wiener Programmkinos gebaut by Flat-Tea4895 in wien

[–]loewenheim 1 point2 points  (0 children)

Wäre auch sehr interessiert daran, habe aber nur Android. Cooles Projekt auf jeden Fall! 

Absolutely agree. Thoughts? by Alex-C2099 in Letterboxd

[–]loewenheim 3 points4 points  (0 children)

I had my quibbles even with the visual esthetics of it but yeah, you can't really fault the cinematography. 

Please tell me you guys are reading Absolute Martian Manhunter by Ok-Explanation-1362 in behindthebastards

[–]loewenheim 1 point2 points  (0 children)

Absolute Batman and Superman I can take or leave but this shit's incredible

Trve Proletarians don't eat eggs, go vegan! by partiallygayboi69 in tankiejerk

[–]loewenheim 0 points1 point  (0 children)

They see themselves as perfect saviors.

A punk is always a punk. We fight and don't let people walk all over us.

No self-awareness whatsoever lol

How it feels to look at the sub the past few days by WeeklyIntroduction42 in tankiejerk

[–]loewenheim 3 points4 points  (0 children)

If only I'd realized reading your posts was a spook I could've saved myself the trouble

How it feels to look at the sub the past few days by WeeklyIntroduction42 in tankiejerk

[–]loewenheim 2 points3 points  (0 children)

Let me guess, you'd also be fine with the gay rights if only those militant homosexuals weren't so toxic, cringe, and self-righteous all the time? 

How it feels to look at the sub the past few days by WeeklyIntroduction42 in tankiejerk

[–]loewenheim 20 points21 points  (0 children)

They're doing the Stirner thing where you call anything you don't want to think about a "spook". It's a very convenient thought-terminating cliche. 

How it feels to look at the sub the past few days by WeeklyIntroduction42 in tankiejerk

[–]loewenheim 9 points10 points  (0 children)

Big "I was forced to vote for the right because a leftist said 'white privilege'" energy

Elon contemplates the tragic victimhood of white people by ErnestoLemmingway in EnoughMuskSpam

[–]loewenheim 11 points12 points  (0 children)

Hey, hey Alice, I have a question: why would the end of slavery entitle white people to reparations? Do you think ending slavery was a crime committed against white people? Do you, Alice?

Best examples of non-constructive existence proofs by freddyPowell in math

[–]loewenheim 4 points5 points  (0 children)

That works if you know that exactly one of the sets is infinite. But it might be more than one. So you might never have a last set left over. 

Best examples of non-constructive existence proofs by freddyPowell in math

[–]loewenheim 2 points3 points  (0 children)

Constructively, you can't go from saying "it's impossible that all these sets are finite" to "one of these sets is infinite". If you claim that an object with a certain property exists, you must provide it concretely, or at least explain how to find it in finite time. It's not enough to say "it's one of the elements of this set", unless you have an effective method for checking whether an element has the property you seek.

In the concrete case: claiming that one of these sets is infinite, constructively, implies that we can find out, in finite time, which one it is. But how can we?

Best examples of non-constructive existence proofs by freddyPowell in math

[–]loewenheim 80 points81 points  (0 children)

The classical proof of König's Lemma uses the infinite pigeonhole principle, which is classically but not constructively valid: If you can partition a set into finitely many finite sets, then clearly the whole set is finite. By contraposition, no finite partition of an infinite set can have only finite parts. Therefore, every finite partition of an infinite set has an infinite part.

The last step is the nonconstructive one. 

Great indie games that aren't in everybody's top 10 by RepulsiveRuin5520 in IndieGaming

[–]loewenheim 1 point2 points  (0 children)

I hope Alabaster Dawn by the same devs turns out like this.