why call him that when "saltman" is right there
Readit NewsMond_ commented on Swift is a more convenient Rust (2023) nmn.sh/blog/2023-10-02-sw... · Posted by u/behnamoh
I don't think it's horrible, but I really do wish they would copy TypeScript here.
Let me do this:
const x: String | Int
enum MyEnum {
case string(String)
case int(Int)
}
https://forums.swift.org/t/re-proposal-type-only-unions/7270...
It's worth pointing out that the two examples that you're writing are actually strictly different, and not just "better syntax for the same thing". (This is assuming `String | Int` works as in Python, and the second example works as in Rust.)
To understand the difference, `String | String` is just `String`. It's a union, not a sum type. There's no tag or identifier, so you cannot distinguish whether it's the first or the second string.
If this sounds pedantic, this has pretty important ramifications, especially once generics get involved.
Mond_ commented on Microsoft forced me to switch to Linux himthe.dev/blog/microsoft... · Posted by u/bobsterlobster
> Steam and Proton work perfectly
I am a hardcore DayZ player. DayZ does not work on Proton[0]. I cannot use Linux as my main gaming platform. Battlefield 6 does not work. Latest Call of Duty does not work. You can talk about voting with your wallet, but when millions of people are buying the game, your one non-vote means nothing.
So either you punish yourself and refuse to play with friends, or you punish yourself and install windows. It’s a damned situation regardless of your choice
[0] point me to as many compatibility databases as you want, the game will not start on my vanilla Ubuntu build
Sounds like it might be an issue with your setup, considering that other people have no problems running it. Hard to tell what the problem is, but definitely a frustrating situation.
Mond_ commented on C++ says “We have try... finally at home” devblogs.microsoft.com/ol... · Posted by u/ibobev
Mond_ commented on Jonathan Blow has spent the past decade designing 1,400 puzzles arstechnica.com/gaming/20... · Posted by u/furcyd
If you haven't already, and want to scratch a puzzle game itch (sokoban style) check out Void Stranger.
https://store.steampowered.com/app/2121980/Void_Stranger/
For all that is holy, please don't read anything about it. And I really mean that! Just trust and go in blind. You will have an amazing time. It is truly one of the most unique gaming experiences and it is the kind of game you can only play once.
Strong +1, Void Stranger is amazing and has a spiraling depth that just keeps going and going.
Interestingly, Google already donated its own AgentToAgent (A2A) protocol to the Linux donation way earlier this year.
Mond_ commented on GrapheneOS is the only Android OS providing full security patches grapheneos.social/@Graphe... · Posted by u/akyuu
Damn, I just got a Pixel 10 pro XL for installing GrapheneOS. I hate how below average Pixel's hardware is and I wouldn't have minded waiting a couple of more years for this.
Pixel hardware is below average? Since when? That sounds like a flagship phone to me.
Mond_ commented on Nimony (Nim 3.0) Design Principles nim-lang.org/araq/nimony.... · Posted by u/andsoitis
You keep talking about Rust, but I'm not referring to Rust. This thread is discussing a (hypothetical, as-yet undeveloped) type system for a new version of Nim.
Hypothetically, no, the float type would not admit NaNs. You would be prevented from storing NaNs in them explicitly, and operations capable of producing NaNs would produce a `float | nan` type that is distinct from float, and can't be treated like float until it's checked for NaN.
And I'm not sure why it's being discussed as though this is some esoteric language feature. This is precisely the way non-nullable types work in languages like Kotlin and TypeScript. The underlying machine representation of the object is capable of containing null values, yes, but the compiler doesn't let you treat it as such (without certain workarounds).
Huh? Rust is just an example here. What I am saying is that you're just redefining float to mean NonNaNFloat.
This is fine, I guess, but it will cause a bunch of problems since e.g. Division of two floats has to be able to return NaNs. At that point you either need to require a check to see if the value is NaN (inconvenient and annoying) or allow people to just proceed. Not sure I am exactly sold on this so far.
Mond_ commented on Why we built Lightpanda in Zig lightpanda.io/blog/posts/... · Posted by u/ashvardanian
I really do wonder whats the chain here. Did Sam see the Opus announcement and DM someone a minute later?