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).
Kogasa
- 0 Posts
- 340 Comments
Kogasa@programming.devto Linux@programming.dev•Arch Linux Officially Arrives on Windows Subsystem for Linux2·1 month agoIt’s a Windows Subsystem that is responsible For (Running) Linux. Yes, everyone thinks it should have been called Linux Subsystem for Windows.
I mean the specific issue about the binary blobs. Something that might set off alarm bells for you or a security-focused group may not do so for some dude working on a passion project in his free time.
Maybe they weren’t working on it.
Kogasa@programming.devto Linux@lemmy.ml•Update: About the BLOBs in Ventoy · Issue #322412·1 month agoSoftware to create bootable usb drives. It’s handy, you just copy ISOs into the drive and pick which one to boot into instead of overwriting the drive with a single ISO.
I thought at first the point was that murders had gone down because they were suddenly technically legal. The inverted scale thing is worse
The standard .NET C# compiler and CLI run on and build for Windows, MacOS, and Linux. You can run your ASP.NET webapps in a Linux docker container, or write console apps and run them on Linux, it doesn’t matter anymore. As a .NET dev I have literally no reason to ever touch Windows, unless I’m touching legacy code from before .NET Core or building a Windows-exclusive app using a Windows app framework.
Ok, there’s no such thing as native Windows apps for Linux, but there are cross platform GUI frameworks like Avalonia and Uno that can produce apps with a polished identical experience across all platforms, no electron needed
It’s fully cross platform with .NET Core and later.
Some of it looks like topology. The curvy horizontal lines turning into curvy vertical lines are symbols relating to the Kauffman bracket, which belongs to knot theory.
https://encyclopediaofmath.org/wiki/Kauffman_bracket_polynomial
Kogasa@programming.devto Linux@lemmy.ml•What's with the move to MIT over AGPL for utilities?4·3 months agoI’m with you until the lockin. How does that happen?
Kogasa@programming.devto Linux@lemmy.ml•What's with the move to MIT over AGPL for utilities?6·3 months agoYeah, specifically for something like coreutils I can’t see the malicious endgame that is suggested by others here. Is the fear that a proprietary version of
cat
orpwd
orprintf
takes over the ecosystem and then traps users into a nonfree agreement? Or a proprietary coreutils superset that offers some new tool and does the same thing? Or a proprietary coreutils that generates profit for businesses without attribution to the developers? What would stop anyone from just writing their own proprietary set of tools to do the same thing now, even if uutils didn’t exist? Clearly not much, since uutils did exactly that (minus the proprietary bit).I personally don’t see a compelling reason to change to MIT, but I also don’t see the problem.
Kogasa@programming.devto Selfhosted@lemmy.world•Plex is locking remote streaming behind a subscription in AprilEnglish6·3 months agoIt depends on if you use the “relay” feature. If your server is accessible from the outside it shouldn’t be using this though.
Kogasa@programming.devto Ye Power Trippin' Bastards@lemmy.dbzer0.com•This a new one: Banned for abbreviating New York Times to NYT in a comment.20·4 months ago“qrstuv” isn’t an abbreviation. It’s the alphabet dawg
Not really, you need to have a basic understanding at least
You might be thinking of a [connection of an affine bundle](https://en.wikipedia.org/wiki/Connection_(affine_bundle). You could learn it through classes (math grad programs usually have a sequence including general topology, differential topology/smooth manifolds, and differential geometry) or just read some books to get the parts you need to know.
Manifolds and differential forms are foundational concepts of differential topology, and connections are a foundational concept of differential geometry. They are mathematical building blocks used in modern physics, essentially enabling the transfer of multivariable calculus to arbitrary curved surfaces (without relying on an explicit embedding into Euclidean space). I think the joke is that physics students don’t typically learn the details of these building blocks, rather just the relevant results, and get confused when they’re emphasized.
For a tl;dr about the concepts mentioned:
-
A manifold is a curve, surface, or higher-dimensional object which locally resembles Euclidean space around each point (e.g. the surface of a sphere is a 2D manifold; tiny person standing on a big sphere perceives the area around them to resemble a flat 2D plane).
-
Differential forms are “things that can be integrated over a manifold of the corresponding dimension.” In ordinary calculus of 1 variable, that’s a suitably regular function (e.g. a continuous function), and we view such a function f(x) as a differential form by writing it as “f(x) dx.”
-
A connection is a way of translating local tangent vectors from one point on a manifold to another in a parallel manner, i.e. literally connecting the local geometries of different points on the manifold. The existence of a connection on a manifold enables one to reason consistently about geometric concepts on the whole manifold.
-
Kogasa@programming.devto Linux@lemmy.ml•Hyprland 0.47 Lands With HDR Support and Squircles4·5 months agoIt means they admit they were wrong and you were correct. As in, “I have been corrected.”
The argument describes an algorithm that can be translated into code.
1/(1-x)^(2) at 0 is 1
(1/(1-x)^(2) - 1)/x = (1 - 1 + 2x - x^(2))/x = 2 - x at 0 is 2
(1/(1-x)^(2) - 1 - 2x)/x^(2) = ((1 - 1 + 2x - x^(2) - 2x + 4x^(2) - 2x(3))/x(2) = 3 - 2x at 0 is 3
and so on
What specifically constitutes a hole is somewhat ambiguous, but if you pull on the thread a bit, you’ll probably agree that it’s a topological quality and that homotopy groups and homology are good candidates. The most grounded way to approach the topic is with simplicial homology.