friendica.eskimo.com

Welcome to Friendica.Eskimo.Com

Home of Censorship Free Hosting

 Eskimo North Linux Shells, E-mail, Virtual Machines, Web Hosting.

E-mail, Web Hosting, Linux Shell Accounts terminal or full remote desktops.

Sign Up For A Free Trial Here

Please tell your friends about federated social media site that speaks several fediverse protocols thus serving as a hub uniting them, hubzilla.eskimo.com, also check out friendica.eskimo.com, federated macroblogging social media site, mastodon.eskimo.com a federated microblogging site, and yacy.eskimo.com an uncensored federated search engine. All Free!
pnutzh4x0r
pnutzh4x0r via Linux • lemmy

Linus Torvalds: Speaks on the Rust vs C Linux Divide

Linus Torvalds Speaks on the the divide between Rust and C Linux developers an the future Linux. Will things like fragmentation among the open source community hurt the Linux Kernel? We'll listen to the Creator of Linux.


For the full key note, checkout:

The Register's summary: Torvalds weighs in on 'nasty' Rust vs C for Linux debate


Torvalds weighs in on 'nasty' Rust vs C for Linux debate

This is like vi vs Emacs with 'religious overtones,’ project chief laughs
Richard Speed (The Register)
This entry was edited (7 months ago)
Link to source
204 6 1
☆ Yσɠƚԋσʂ ☆
☆ Yσɠƚԋσʂ ☆ • lemmy
You'r right that only OCaml and Haskell can be used as extraction target for Coq programs. However, it is possible to use Coq to write verified C software. On example is the Verified Software Toolchain that lets you translate C programs to a format that Coq understands and can prove theorems regarding their behavior.

Verified Software Toolchain

vst.cs.princeton.edu
Link to source
1 1
zygo_histo_morpheus
zygo_histo_morpheus • lemmy
If anything I think that the current rust discourse is a fad. I'm not sure what it is about rust that makes people have so strong opinions about it but I can't wait for it to become a "normal" language so that people can chill about it a bit.
Link to source
2 1
milicent_bystandr
milicent_bystandr • lemmy
it's a polite way of saying, "intelligence vs emacs"
This entry was edited (6 months ago)
Link to source
1
x00za
x00za • lemmy
C isn't too hard if you learn about how memory and pointers work, which seems to be something Rust tries to get away from. So I'm not sure it would make you a better C programmer.
Link to source
1 1
λλλ
λλλ • lemmy
I agree. People need to chill.
Link to source
1
Psyhackological
Psyhackological • lemmy
I think it can be summed up to
C is more mature than Rust so we wait for Rust to shine
Rust can overcome some complex things in C and vice versa
Link to source
5 1
refalo
refalo • lemmy
It's also possible the number of people who like it do not outnumber the people who don't like it
Link to source
1
alyxbond
alyxbond • mbin

Linus Torvalds has made some interesting comments on the Rust vs C debate in the Linux kernel. He enjoys the discussions because it shows that people care about the project, even though things can get a little heated like the classic vi vs emacs arguments. The Rust conversation is still in its early days, and while Linus is optimistic about its future in the kernel, it’s too soon to say whether it will ultimately succeed or fail.

He points out that the Linux kernel isn't just "normal" C it's C with additional tools and rules that ensure memory safety and other protections. This incremental approach has allowed for changes without causing the kind of backlash that Rust has faced with its more dramatic changes.

At the end of the day, the kernel has to deal with system-level issues, and unless you're working in assembly, it’s going to be C, C-like, or Rust. Linus is looking forward to seeing how other systems outside of Linux might adopt Rust for their own needs.

If you're interested in exploring more of these tech discussions or maybe looking for some related tools, you can download APK for access to various Linux utilities on mobile.


TopFollow APK Download Unlimited Coins 2024 - Latest Version

If you want to get real Instagram Human followers, likes, and comments for free, download the new version of TopFollow APK because it is better.
officialtopfollowapk.com (Official TopFollow Apk)
Link to source
1
secret300
secret300 • lemmy
What exactly makes rust memory safe? That's the big selling point of it right? Is the compiler just more strict?
Link to source
1
Nanook
Nanook friendica (DFRN)
@λλλ @x00za Well for what it's worth, there is Redox, a Posix compliant kernel written entirely in Rust. There are some other aspects of Redox I don't like, chiefly it's use of a microkernel, which, while it makes portability better it exacts a performance penalty, and of having all drivers operate in userland, perhaps better from a security standpoint but again exacts a performance penalty.
Link to source
1