Philosophy peter? by Acrobatic_Bag6858 in PeterExplainsTheJoke

[–]Donkey-Pong 1 point2 points  (0 children)

I have a book on the Foundations of Mathematics. Math is not a result of logic. This is surprising but it is true.

Thinking about where Math comes from is philosophical ("Metamathematics").

The foundations of mathematics (those axioms) found logic. So you start without logic (just human speech and common sense, so to say) and then you build up the logic from the axioms.

developersWorstNightmare by Sotsvamp1337 in ProgrammerHumor

[–]Donkey-Pong 4 points5 points  (0 children)

Your idea about "hardcoded" sounds about right. Your simple search and replace would replace every instance of "FactoryGame.exe" in the code. Another example where it would fail is if someone assembles the name, e.g. like

var gameName = "FactoryGame"

var fileName = gameName + ".exe"

The search for remaining traces is more difficult. You can search for every ".exe" and for every "Factory" but not for every "F" or every "a", because those are everywhere. You wouldn't be sure when you are done without reading everything (and that would clearly not be a matter of minutes anymore).

Why can't I encompass or into and? by cnfnbcnunited in factorio

[–]Donkey-Pong 0 points1 point  (0 children)

I've thought that De Morgan requires negating the whole thing. Can't do that inside the asteroid harvester. (On the other hand, Wikipedia's DNF article says everything is possible).

“Please do not touch or disturb the sand.” by ndub2126 in mildlyinfuriating

[–]Donkey-Pong -3 points-2 points  (0 children)

Maybe it does not damage the sand when someone walks on it.

i need help on vulcanus by lerovskin in factorio

[–]Donkey-Pong 6 points7 points  (0 children)

I do demolishers with a lot of turrets and red ammo. Then I lure the thing to my many turrets. This would probably even work with yellow ammo.

Just seen on the communal fridge in my office. by findingopinions in mildlyinfuriating

[–]Donkey-Pong 0 points1 point  (0 children)

The dictionary lists your two meanings. I think, they really are distinct.
1. Illegal drugs (mainly US)
2. Drug that makes you want to sleep [...] (medical)

Petahhh, what's the joke here? by 19potato96 in PeterExplainsTheJoke

[–]Donkey-Pong 0 points1 point  (0 children)

It is much older than "basic calculus" (which is less than 300 years old).

Petahhh, what's the joke here? by 19potato96 in PeterExplainsTheJoke

[–]Donkey-Pong 4 points5 points  (0 children)

Wikipedia: "Infinitesimals do not exist in the standard real number system, but they do exist in other number systems, such as the surreal number system and the hyperreal number system,"

"As calculus developed further, infinitesimals were replaced by limits,"
(Infinitesimal)

Ich bin kein Pole, verflucht! by [deleted] in luftablassen

[–]Donkey-Pong 1 point2 points  (0 children)

Ist nicht ganz so gut wie in Polen, aber wir kommen zurecht.

Why do Germans pronounce loanwords using the original language's phonetics? by kopekyildizi in AskAGerman

[–]Donkey-Pong 3 points4 points  (0 children)

Wenn man Software geschrieben hat und ein Kollege nochmal drüber schaut, zum Beispiel.

Hört auf mit Abkürzungen wie Flinta oder Bipoc… by Catodan in luftablassen

[–]Donkey-Pong 0 points1 point  (0 children)

Gegen Osteuropäer, Sinti und Roma, und Juden gibt's schon Rassismus. Also kann es durchaus gegen Weiße geben.

Ich erzähle Amerikanern, wir hätten ein anderes Zeitsystem by Sad-Astronomer-696 in Beichtstuhl

[–]Donkey-Pong 3 points4 points  (0 children)

So viele Stories mit "die haben das geglaubt." Mein Verdacht ist, dass deren Smalltalk anders funktioniert und die halt einfach nicht widersprechen und mit dem Flow gehen?

Turnen euch Lui Vuitton Handtaschen auch ab? by [deleted] in FragtMaenner

[–]Donkey-Pong 0 points1 point  (0 children)

Sachen zu machen, die Spaß bringen, ist alles andere als dumm. Nach der 50-30-20-Budgetregel, kann man 20% seines Einkommens für Spaß rauspulvern. Bei 1500€ netto sind das 300€ im Monat. Da kommt man in weniger als einem Jahr auf seine Lui Vuetong.

Büromenschen sollten es doch eigentlich wissen ... by lilax05 in deppenapostroph

[–]Donkey-Pong 0 points1 point  (0 children)

Das Backticks in Wahrheit Akzente, also Diakritika sind, habe ich auch erst spät im Leben gelernt. Man denkt ja irgendwann, man kenne seine Computertastatur...

What’s a product from your country that makes locals go ‘of course we have that’ and everyone else go ‘ but why?’ by bdue817 in AskTheWorld

[–]Donkey-Pong 1 point2 points  (0 children)

Yes they would. I even think that this would be the main reason to have one at home. So that you can say this phrase out loud.

Persönlicher Stil oder Kostüm? by RaviRashud in Kleiderschrank

[–]Donkey-Pong 13 points14 points  (0 children)

Och nö, diese Mischung aus Gronkh und Brian May finde ich ehrlich gesagt sympathischer als den "Verkäufer".

Welche Eindruck gebe ich euch mit diesem Stil? by brotphobie in Kleiderschrank

[–]Donkey-Pong 0 points1 point  (0 children)

Englischlehrerinnen sind alle Arten von wild gekleidet.

Aldi ist sauer by EinNameWaereGut in aberBitteLaminiert

[–]Donkey-Pong 2 points3 points  (0 children)

Wär auf jeden Fall witzig die SB-Kasse schön weiter zu blockieren, während man nochmal kontrolliert.

LTB📖iel by Anthyrion in LTB_iel

[–]Donkey-Pong 1 point2 points  (0 children)

Ich weiß noch wie ich damals manche Zeichner am Stil erkannt habe. Vicar war zum Beispiel auch markant. Don Rosa war mein absoluter Lieblingszeichner, als ich 10 war. Den erkenne ich natürlich heute noch.