kogasa
@kogasa@programming.dev
- Comment on Emma Watson banned from driving for speeding 3 days ago:
So I’m not advocating for speeding, and I think getting a ticket for going 38 in a 30 is reasonable enough, she should be more careful. But “the probability of death given a collision” is an astronomically low contributor to the risk to pedestrians compared to “the probability of a collision.” We all know getting hit by a car is extremely dangerous even at low speeds. The risk of hitting a pedestrian doesn’t go up much between 38mph and 30mph under normal conditions, so the risk to pedestrians doesn’t change much. It’s probably within typical margins considering the difference between drivers who may be older, have slower reaction times, have slept less that day, etc.
- Comment on Emma Watson banned from driving for speeding 4 days ago:
it’s not like you can accidentally go around 30% over the limit
When that 30% is 8mph, yes you can
- Comment on UwU brat mathematician behavior 1 week ago:
In the context of differential forms, an integral expression isn’t complete without an integral symbol and a differential form to be integrated.
- Comment on UwU brat mathematician behavior 1 week ago:
The mathematician also used “operative” instead of, uh, something else, and “associative” instead of “commutative”
- Comment on Dunkin' Donuts Drinks 1 week ago:
Everything changed when they removed ham from the menu
- Comment on The Cause of Grok’s Increasing Antisemitism? Apparently, Two Lines of Code (Update: One of the Lines of Code Was Removed) 1 week ago:
“Don’t mention the war”
- Comment on Order of magnitude is a hell of a drug 4 weeks ago:
It’s a number and complexity refers to functions. The natural inclusion of numbers into functions maps pi to the constant function x -> pi which is O(1).
If you want the time complexity of an algorithm that produces the nth digit of pi, the best known ones are something like O(n log n) with O(1) being impossible.
- Comment on Plex has paywalled my server! 5 weeks ago:
The direct connection is cool, I just wonder if a P2P connection is actually any better than going through a data center. There’s gonna be intermediate servers right?
Do you need to have Tailscale set up on any network you want to use this on? Because I’m a fan of being able to just throw my domain or IP into any TV and log in
- Comment on Plex has paywalled my server! 5 weeks ago:
I just use nginx on a tiny Hetzner vps acting as a reverse proxy for my home server. I dunno what the point of Tailscale is here, maybe better latency and fewer network hops in some cases if a p2p connection is possible? But I’ve never had any bandwidth or latency issues doing this
- Comment on Plex has paywalled my server! 5 weeks ago:
It gets around port forwarding/firewall issues that most people don’t know how to deal with. But putting it behind a paywall kinda kills any chance of it being a benevolent feature.
- Comment on The Legends is among us 5 weeks ago:
It’s got a very high barrier to entry. You kinda have to suffer through it for a while before you get it. And then you unlock a totally different kind of suffering.
- Comment on nyet 1 month ago:
You can imagine tracing a path along a Klein bottle to see that it only has one side. To get more precise than that requires some topological context. If you slice it down the middle it turns into two Möbius strips and an orientation of the Klein bottle would induce an orientation of the strips, which are non-orientable. Alternately it has zero top integer homology, which you can get from looking at a triangulation. The orientable double cover of a Klein bottle is a torus, which is connected (if it were orientable, the double cover would be two disconnected Klein bottles).
- Comment on Don't ask for more pixels 2 months ago:
As long as we can put an upper bound on gayness (or more specifically on each totally ordered subset of people under the is-gayer-than relation) this follows from Zorn’s lemma.
It’s also true by virtue of the fact that the set of all people who will have ever lived is finite, but “the existence of a maximal element in a poset” just screams Zorn’s lemma.
- Comment on All four major web browsers are about to lose 80% of their funding | by Dan Fabulich | Apr, 2025 2 months ago:
It’s a different situation, as a dev I’d happily bet my life on this assumption.
- Comment on All four major web browsers are about to lose 80% of their funding | by Dan Fabulich | Apr, 2025 2 months ago:
Dropping support for that stuff means breaking 95% of the websites people currently use. It’s a non-starter, it cannot ever happen, even if you think it would be for the best.
- Comment on Anybody? 2 months ago:
Math builds up so much context that it’s hard to avoid the use of shorthand and reused names for things. Every math book and paper will start with definitions. So it’s not really on you for not recognizing it here
- Comment on Anybody? 2 months ago:
🍕(–, B) : C -> Set denotes the contravariant hom functor, normally written Hom(–, B).
In this case, C is a category, and B is a fixed object in that category. For any given object X in C, the hom-set Hom(X, C) is the set of morphisms X -> B in C. For a morphism f : X -> Y in C, the Set morphism Hom(f, B) : Hom(Y, B) -> Hom(X, B) is defined by sending each g : Y -> B to gf : X -> B. This is the mapping C -> Set defined by Hom(–, C), and it’s a (contravariant) functor because it respects composition: if h : X -> Y and f : Y -> Z then fh : X -> Z and Hom(fh, C) = Hom(h, C)Hom(f, C) sends g : Z -> B to gfh.
- Comment on Anybody? 2 months ago:
It’s not nonsense, although there is a typo that makes it technically unsolvable. If you fix the typo, it’s an example calculation in the wikipedia page on cohomology rings.
- Comment on Anybody? 2 months ago:
It’s real projective space
- Comment on Plex is locking remote streaming behind a subscription in April 3 months ago:
It depends on if you use the “relay” feature. If your server is accessible from the outside it shouldn’t be using this though.
- Comment on Life isn't easy if your last name is 'Null' as it still breaks database entries the world over 4 months ago:
Code is easy in a vacuum. 50 moving parts all with their own quirks and insufficient testing is how you get stuff like this to happen.
- Comment on The science is divided 4 months ago:
No, that’s what induction is. You prove the base case (e.g. n=1) and then prove that the (n+1) case follows from the (n) case. You may then conclude the result holds for all n, since we proved it holds for 1, which means it holds for 2, which means it holds for 3, and so on.
- Comment on The science is divided 4 months ago:
It’s not actually claiming that all horses are the same color, it’s an example of a flawed induction argument
- Comment on Freed At Last From Patents, Does Anyone Still Care About MP3? 5 months ago:
Definitely not.
- Comment on Freed At Last From Patents, Does Anyone Still Care About MP3? 5 months ago:
All people. 320kbps mp3 is completely audibly transparent under all normal listening conditions. It’s a low-tier audiophile meme to claim otherwise but they will never pass a double-blind test.
- Comment on fuckery 8 months ago:
Yes, OP only gets you to Q[i]
- Comment on Infinite Suffering 8 months ago:
It can be, usually for college credit though
- Comment on Infinite Suffering 8 months ago:
At the universities I went to, Calc 2 was integration, sequences and series, then Calc 3 was multivariable. They really pack all the harder parts into 2.
- Comment on The return 9 months ago:
It’s called speed of lobsters