V:
https://vlang.io/

Val:
https://www.val-lang.dev/

Vale:
https://vale.dev/

Can someone please pick the best ideas from all these #ProgrammingLanguage's above and call it `Vax`.

Thank you.

A vaccine against memory unsafety if you will.

#Vax #MemorySafety #Val #Vale

At #RIPE86, Karin Ahl from Netnod does an excellent job of explaining how critical #NTP is for the core of the Internet. This is another fundamental protocol that is in need of modernisation and #MemorySafety. @tweedegolf is working on this in #rustlang with Project Pendulum. https://tweedegolf.nl/en/pendulum

Our #BGP #routing team will be available at #RIPE86 as well:
🛰️ Excited by our #OpenSource modular #BGP toolkit Rotonda? It's written in #rustlang too, making it insanely fast while providing #MemorySafety. Talk to @jasper, Luuk or Ximon about our imminent launch.
🦐 Meanwhile, we’ve been cooking up #ASPA support to compliment #BGPsec in Krill, our #RPKI CA software. Tim can tell you all about it, along with our future plans.

Most of the NLnet Labs crew is going to be at #RIPE86! Here's who to find for our #OpenSource #DNS projects:
🧑‍🔬 Interested about our #OpenStandards and #research work? Talk to @willem or @benno.
🏎️ Want to know how our super fast #SIMD zonefile parser is coming along? Chat with Jeroen.
🧷 Curious about our focus on #MemorySafety and DNS implementations in #rustlang ? Watch Philip's presentation in dns-wg to learn more...

Ars Technica: Two core Unix-like utilities, sudo and su, are getting rewrites in Rust https://arstechnica.com/?p=1935564 #Tech #arstechnica #IT #Technology #rustprogramminglanguage #memorysafety #commandline #Programming #Biz&IT #Linux #Tech #rust #sudo #UNIX #su

Two core Unix-like utilities, sudo and su, are getting rewrites in Rust - Invoking another user's privileges to execute a command. (credit: Cavan Ima... - https://arstechnica.com/?p=1935564 #rustprogramminglanguage #memorysafety #commandline #programming #biz⁢ #linux #tech #rust #sudo #unix #su

Looks like our human friends are finally taking #memorysafety seriously. Now if only they could remember where they put our treats...🐾🤔 #Rust #sudo #su #LinuxSecurity

https://linux.slashdot.org/story/23/05/01/0020239/sudo-and-su-are-being-rewritten-in-rust-for-memory-safety?utm_source=rss1.0mainlinkanon&utm_medium=feed

We're super proud that one of the five Regional Internet Registries will be deploying Krill as the #RPKI Certification Authority solution for their members. To make this possible, Trust Anchor support is now available in Krill 0.13 Release Candidate 1. This pre-release also contains a new User Interface, as well as production support for ASPA objects. #RoutingSecurity #OpenSource #rustlang #MemorySafety https://github.com/NLnetLabs/krill/releases/tag/v0.13.0-rc1

In my quest to improve memory safety of my C++ programs, I designed a version of std::unique_ptr that can never be null, eliminating a whole category of coding errors.

I explain the API and motivation behind this exercise in the following article: https://lnkd.in/eR8c2rz7 📝

The same approach to API design can be taken with std::shared_ptr as well, although it is safer to use the gsl::not_null wrapper type, due to the internal complexity of shared pointers.

This is not just an academic exercise - I use this safe pointer in my personal project for well over a month and it's working great!

It could have been that there is some use case I overlooked where my pointer could not be employed. If you can think of any, please share them in the comments!

#cplusplus #programming #memorysafety

Interesting on the LLVM forums:

[RFC] Lifetime annotations for C++
https://discourse.llvm.org/t/rfc-lifetime-annotations-for-c/61377

#CProgramming #CPP #MemorySafety

An excellent read on "How to modernize C arrays for greater memory safety" by Kees Cook - @kees

https://people.kernel.org/kees/bounded-flexible-arrays-in-c

#linux #kernel #memorysafety

Rustacean Station: Presser with Gray Olson https://rustacean-station.org/episode/gray-olson/

#rustlang #memorysafety and the inner working off the compiler, 🆒 episode, kudos to @fu5ha and Allen Wyma

@rust_discussions

"Using #Rust led to a 10x
performance improvement over C, showing that using memory-safe languages can lead
to valuable functionality." 🚀

#MemorySafety #RustLang #Performance

Consumer Reports--of all the orgs--has a solid report on Memory Safety, and the policy challenges and opportunities.

This is a fun area with a lot of attention from smart people right now. I'm cautiously optimistic that we'll be able to make some progress. #memorysafety

https://advocacy.consumerreports.org/wp-content/uploads/2023/01/Memory-Safety-Convening-Report-1-1.pdf

“The C++ of the future isn't just a language. It's a starting point for evolving programming towards greater safety, simplicity and productivity, while staying interoperable with existing C++ assets.”

https://github.com/seanbaxter/circle/blob/master/new-circle/README.md

#cpp #memorysafety #future

“The C++ of the future isn't just a language. It's a starting point for evolving programming towards greater safety, simplicity and productivity, while staying interoperable with existing C++ assets.”

https://github.com/seanbaxter/circle/tree/master/new-circle

#cpp #memorysafety #future

Even Consumer Reports wants you to stop using C/C++ and use a memory safe language. Literally any other compiled language is safe-r than C/C++. Go, Nim, Crystal, V, Zig, and yes of course Rust, are all safe-r options compared to C/C++. Even Java, JavaScript (Node), Python, and Ruby are technically memory safe. Even if you don't like Rust (I personally don't), then at least pick one of the other memory safe-r languages that meets your requirements, but please stop using C/C++.

However, most other memory-safe languages, like Python, Go, and JavaScript, achieve
temporal memory safety through garbage collection, which substantially simplifies many aspects of programming, making the languages famously easier to learn.

https://advocacy.consumerreports.org/wp-content/uploads/2023/01/Memory-Safety-Convening-Report-1-1.pdf
#memorysafety #c #cpp #golang #rust #crystallang #nimlang #ziglang #vlang

›They Have Played Us #Programmer|s for Absolute #Fool|s‹

🧷 https://www.youtube.com/watch?v=QTiAWZ1YfzI&t=217s

🌺

🏷️ #Lisp #Scheme #CommonLisp #CPP #Rust #DennisRitchie #BrianKernighan #BjarneStroustrup #CLang #Rustacean #MetaProgramming #Risitas #JohnMcCarthy #Unix #Pipes #Segfault #NullPointer #UndefinedBehaviour #GarbageCollection #MemoryManagement #BellLabs #ObjectSystem #FunctionalProgramming #Syntax #Rustaceans #MemorySafety #ElRisitas #CLOS #AMOP

Chrome's first production use of Rust will be in third_party projects. Lots more work ahead to make that happen, but this is a major milestone. Congrats to all involved!

https://security.googleblog.com/2023/01/supporting-use-of-rust-in-chromium.html #rust #rustlang #memorysafety

🦀 Rust: Memory Safe Languages in Android 13 ( post by @jeffvanderstoep)

👉 To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code

👉 In Android 13, about 21% of all new native code is in Rust

👉 Migrated VM firmware in the Android Virtualization Framework to Rust

https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html

#infosec #androidsecurity #memorysafety #exploits #rust rustlang #rustaceans #rusties