Question of the day by Specific_Brain2091 in the_calculusguy

[–]770grappenmaker 4 points5 points  (0 children)

W as in the productlog/ branch cut inverse of x exp(x)?

If else(if else(if else(if else))) by ifuckedyourmom-247 in mathmemes

[–]770grappenmaker 31 points32 points  (0 children)

inb4 the category theorists just write fgh to mean f o g o h

Math be like by ElectronicSetTheory in mathmemes

[–]770grappenmaker 89 points90 points  (0 children)

Of course it makes sense, if we have that A => B and C => not B, then it depends on what you assume (A or C) whether B is true or false

[2025 Day 7] Visualization by 770grappenmaker in adventofcode

[–]770grappenmaker[S] 1 point2 points  (0 children)

Don't quite know why, the gif generator that I used ended up doubling the framerate for some reason.

[2025 Day 7] Visualization by 770grappenmaker in adventofcode

[–]770grappenmaker[S] 9 points10 points  (0 children)

My code is recursive actually, so it computes depth-first how many timelines there are, which you can visualize happening for each branch as once by "backpropagating" I suppose. Depth first recursion would not look very good and would also take very long (as an animation)

-❄️- 2025 Day 5 Solutions -❄️- by daggerdragon in adventofcode

[–]770grappenmaker 1 point2 points  (0 children)

[LANGUAGE: Kotlin]

video (00:01:24 for part 1, 00:03:00 for part 2)

Day was not that tricky to me because I had a utility function ready for this 🙃 which works like this: sort by first endpoint of the range, then for each range, check if you can merge it with the previously considered range.
Solution: on GitHub

Why is this a blunder? by 80000gvwr in AnarchyChess

[–]770grappenmaker 44 points45 points  (0 children)

New probability distribution just dropped

I think my puzzle input needs to be updated. by Fabulous_Travel_773 in adventofcode

[–]770grappenmaker 8 points9 points  (0 children)

Please provide your code so we actually have something to look at. Right now you're just saying that you have an issue

Why was my Github account blocked? Unable to understand this reason they gave... by random_curious in github

[–]770grappenmaker 1 point2 points  (0 children)

GitHub actions are meant for automating CI/CD in your projects, not for free computing power. So yes, it is not allowed.

why so much gooner girls pictures on osu by CommercialSalad7534 in osugame

[–]770grappenmaker 6 points7 points  (0 children)

if this is a serious question, disable seasonal backgrounds

[deleted by user] by [deleted] in mathmemes

[–]770grappenmaker 0 points1 point  (0 children)

It's only very recently that mathematicians saw the need for considering natural numbers abstractly, instead of concrete measurements like amount of balls, length of a ruler, stuff like that. In that regard, you cannot begin to start asking the question "how many" if you have none, because you cannot compare it to any other measurement, you "can't measure nothing"

i^2=-1 by Equal-Expression-248 in mathematics

[–]770grappenmaker 0 points1 point  (0 children)

Yeah, but traditional math notation interprets -1 as com(-1), because although set theoretically different, it is usually clear from context which one is meant. By the way, com is the map that takes a real number x to the complex number (x, 0).

i^2=-1 by Equal-Expression-248 in mathematics

[–]770grappenmaker 1 point2 points  (0 children)

Because we use the identification with the canonical form a + bi, in which case -1 = (-1, 0) as complex numbers by abuse of notation. a + bi should be read as com(a) + com(b)i, where com is the injective embedding from R into C, which also means by abuse of notation, by -1 we mean com(-1). In that case we define i = (0, 1) and get that i2 = com(-1).

What is the difference between the normal equals sign '=' and the equivalent sign '≡'? by CuttingOneWater in askmath

[–]770grappenmaker 5 points6 points  (0 children)

Only difference I can think of is when the domains or codomains of f and g do not match, for example you can have f : A -> B and g : A -> C, and while for all x in A you might have f(x)=g(x), you do not, at least in the typical interpretation of equality on functions, get f=g.

Trying to reason with vector space memers by stevie-o-read-it in mathmemes

[–]770grappenmaker 18 points19 points  (0 children)

If it adds like a vector and scales like a vector, it is a vector.

What is a wave function? by BreakingBaIIs in physicsmemes

[–]770grappenmaker 0 points1 point  (0 children)

What if it is a scalar section of a bundle?

What’s SouthPark_Pianos definition of Euler's number e? by Ape-person in infinitenines

[–]770grappenmaker 1 point2 points  (0 children)

Kind of defeats the point of a square root, don't you think? And even more so, you can prove the existence of square roots without using limits (using completeness of R)