Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)S

solrize

@ solrize @lemmy.world

Posts
8
Comments
581
Joined
3 yr. ago

  • Effective Rust - Effective Rust

    Jump

  • I downloaded this and took a quick look. It was published in April 2024 but says it is written for the 2018 version of Rust and doesn't include more recent features like async. In other regards it looks useful. I'd appreciate any wisdom about how important Rust's post-2018 developments are for users.

  • Are a bunch of major news websites down for everyone else? Is it connected to the Outlook issue?

    Jump

  • Al 3 sites you mentioned are working fine for me right now. Try isup.me to see if other people are having problems.

  • Deleted

    Permanently Deleted

    Jump

  • These days there is FT8, where the whole conversation follows a template (callsign, callsign, signal strength on a scale of 1 to 9, goodbye) and is just a few dozen characters long. It can be completely automated, so you can have one to one contacts with hundreds of total strangers in just a few hours, with your radio doing all the talking so you don't have to show your vulnerable side. You can sleep or play tetris through the whole session, and then get a list afterwards showing the different countries where your radio has gotten to know people (or at least other radios). It is great for shy hams.

    https://en.wikipedia.org/wiki/FT8

  • Rust-Written Zlib-rs Is Not Only Safer But Now Outperforming Zlib C Implementations

    Jump

  • Checked arithmetic failing should raise an exception like it does in Ada. What happens if you use an out of range array subscript a[n]? Does that always return an option type? Really, these types of errors are rare enough that it's unfeasible to program defensively around the possibility all the time. But they are frequent enough (especially with malicious input) that we've had 50 years of buffer overruns in C, leading to the invention of Rust among other things.

    Wrapping and saturating are for special purposes: wrapping for when you're explicitly dealing with computer words (as in bit operations or cryptography) and saturating in some media applications and the like. It's amusing that C in a certain sense is more correct than Rust or Java in this way. Signed arithmetic overflow in C is UB, so the compiler is at least permitted to always check the arithmetic and signal on overflow (use -ftrapv for this). C doesn't have a way to check unsigned overflow. Things were muddled in the 1970s when C was designed ;).

    I think it would be an improvement to Rust to fix its arithmetic to work like Ada's.

  • A song. Take away the tune and the lyrics. What's left, the part that really matters, is a pattern of vibes. What do you call that "pattern of vibes"?

    Jump

  • Do you mean the rhythm and dynamics, like Beethoven's "da-da-da-DUM"? That removes the tune and there already weren't lyrics. Or do you mean something longer range, like sonata form? Or just general mood? Or what?

  • Rust-Written Zlib-rs Is Not Only Safer But Now Outperforming Zlib C Implementations

    Jump

  • I saw something where you can wrap a function around an operation to say how to handle overflow, but that seems like a mistake. Modular (wrapping), saturating (sometimes useful), and checked (standard arithmetic within the machine bounds) are all good, but they should be conveyed in the datatype. Particularly, the default integer datatypes (i32, i64) should be checked. Unchecked arithmetic (including wrapping around when the application is written as if the ints were unbounded) is simply unsafe, like unchecked array subscripts.

    It's ok if there is an optimization pragma to enable this for performance when necessary. Ada does it the right way, and implementations I know of have such a pragma available for when you want it. Also, while this is a matter of tooling rather than language, Ada currently has better facilities (SPARK) for statically verifying that integer arithmetic in a program doesn't overflow.

    I'm not trying to bash Rust or get into a Rust vs Ada war, but am noting the differences that I see.

  • New Terms for Firefox from Mozilla

    Jump

  • Besides the privacy issue, the TOU is ridiculous. They supply a tool (the browser) and you use it. It's not a collaboration between you and them. You can use it whatever way you want.

  • Rust-Written Zlib-rs Is Not Only Safer But Now Outperforming Zlib C Implementations

    Jump

  • You also have to check all the time for flags set by signals. Example: your aerodynamic simulation hits a numeric overflow and raises SIGFPE. How do you handle it?

  • Rust-Written Zlib-rs Is Not Only Safer But Now Outperforming Zlib C Implementations

    Jump

  • I had thought the C and Ada zlibs were single threaded. I do some big compression tasks sometimes but haven't felt the need for a multi-threaded zlib since I just use parallel processes to compress lots of files.

    For an example of Ada safety, integer arithmetic is overflow checked by default. The program raises Constraint_Error on overflow. Rust is checked in debug builds and wraps around (modular arithmetic instead of standard arithmetic) in release builds. Ada also has DBC with static checking using SPARK, and Ada has a much more serious package and module system (that area is under development for Rust though). As another example, Ada has a very rigorous specification (the ARM, or Ada Reference Manual) while Rust is something of amoving target. That again helps verify Ada programs with formal methods.

    Rust doesn't currently have exceptions, so you have to check error codes pervasively through your program, and that sounds easy to mess up. I don't know whether Rust's designers think of this as a shortcoming (fixable later) or a feature.

    I do get the impression that Rust lets you write some things easily that are difficult or impractical in Ada. I don't know how well Ada handles shared memory concurrency. It has language support for multitasking with tasks communicating through mailboxes, more or less.

    I'll defer to you about the description of the borrow checker. But, I doubt it's idiomatic to use standard functional programming techniques in Rust, e.g. shared immutable tree structures for lookups. That usually relies on garbage collection. As you say, Rc and Arc are there in Rust, but as we saw with decades of GIL anguish from Python, it's imho preferable to do GC for real if that is what you want.

    Disclaimer: I haven't actually coded anything in Rust so far. I finally got around to reading a book about it recently and I mostly liked what I saw, and it seemed to me to be mostly familiar and reasonably comfortable. I had somehow expect the type system to be much more complicated.

  • Deleted

    Permanently Deleted

    Jump

  • It says

    Mozilla will collect light data on usage, such as how frequently people use the feature overall,

    That says to me they want to know (among other things) how many browser users make zero use of the AI feature. To acquire that info, they have to collect it. You have to assume the worst when you see phrasing like that.

  • Deleted

    Permanently Deleted

    Jump

  • They use the term telemetry in a special way. If they are collecting info from users, that is telemetry under a different name, ok fine. Not collecting info means they receive 0 bits.

  • Deleted

    Permanently Deleted

    Jump

  • It says they're going to collect usage data. Nothing about opting out.

  • Deleted

    Permanently Deleted

    Jump

  • So phone-home telemetry that you can't opt out of. The ghost of Mitchell Baker will haunt us forever.

  • Actually the name of this cardinal.

    Jump

  • Lol, oops, fixed. :)

  • Actually the name of this cardinal.

    Jump

  • Actually the name of this cardinal.

    Jump

  • There is or was one from the Philippines named Cardinal Sin.

  • Rust-Written Zlib-rs Is Not Only Safer But Now Outperforming Zlib C Implementations

    Jump

  • There has been a zlib in Ada for many years, doing its job quietly. Speed comparable to the C version, probably not beating it, but not trailing by much in any case. Rust is safer than C but less safe than Ada from what I can tell.

    Rust (edited for clarity) looks to me to be about halfway between C and C++ in complexity, with a bunch of footguns removed, and using implicit move semantics ("borrowing") more than C++ does, and the notorious borrow checker is simply the compiler making sure you don't make RAII mistakes because of that.

    It's always seemed to me that Phoronix is too often about turning mailing list drama into clickbait. I've mostly disliked it, because of that.

  • Recommend a new portable music player with NO wireless functionality at all (Bluetooth or WiFi or any other wireless technology)

    Jump

  • Look on fiio.com. At least in the past they made some no-wireless ones. 128gb wasn't really a thing in the mp3-only era though. Cowon D2 is a great player but uses SDHC (32gb max) rather than SDXC. I don't remember if it has FM.

  • Life isn't easy if your last name is 'Null' as it still breaks database entries the world over

    Jump

  • Yes but it's a dangerous process. You should use paramatrized queries instead.