💻 Issue 412 - Translation of the Rust's core and alloc crates to Coq for formal verification

This week's Awesome Rust Weekly
Read this email on the Web

The Awesome Rust Weekly

Rust logo

Issue » 412

Release Date
May 16, 2024

Your weekly report of the most popular
Rust news, articles and projects

Popular News and Articles

Translation of the Rust's core and alloc crates to Coq for formal verification
formal.land
References are like jumps
without.boats
Symbolica
symbolica.io
Power Real-Time Data Analytics at Scale
Sponsored www.influxdata.com

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Using WebAssembly for Extension Development - VS Code Blog
code.visualstudio.com
Amazon Research Awards for automated C/C++ to Rust conversion
news.stonybrook.edu
Some notes on Rust, mutable aliasing and formal verification
graydon2.dreamwidth.org
Rustls Gains OpenSSL and Nginx Compatibility
www.memorysafety.org
SaaSHub - Software Alternatives and Reviews
Sponsored www.saashub.com

SaaSHub helps you find the best software and product alternatives

The making of xkcd's "Machine" collaborative comic, which uses Rapier (written in Rust) as its physics engine
chromakode.com
Mixing rayon and tokio for fun and (hair) loss
blog.dureuill.net
Blazingly Fast Linked Lists
dygalo.dev

Popular projects

verus

Verified Rust for low-level systems code


convex-backend    » Database    » TypeScript

Open source single-machine version of the Convex backend


ort    » AI    » Bindings

A Rust wrapper for ONNX Runtime


zed    » text-editor    » zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.


eza    » Color    » Command-line

A modern, maintained replacement for ls




Older messages

💻 Issue 335 - Merging Remix and React Router

Friday, May 17, 2024

This week's Awesome React Weekly Read this email on the Web The Awesome React Weekly Issue » 335 Release Date May 16, 2024 Your weekly report of the most popular React news, articles and projects

💻 Issue 417 - Build your own AI Video editor with Node.js, AssemblyAI & StreamPot

Friday, May 17, 2024

This week's Awesome Node.js Weekly Read this email on the Web The Awesome Node.js Weekly Issue » 417 Release Date May 16, 2024 Your weekly report of the most popular Node.js news, articles and

💻 Issue 417 - Protecting your email address via SVG instead of JavaScript

Friday, May 17, 2024

This week's Awesome JavaScript Weekly Read this email on the Web The Awesome JavaScript Weekly Issue » 417 Release Date May 16, 2024 Your weekly report of the most popular JavaScript news, articles

💻 Issue 410 - Trip C++Now 2024 – think-cell

Friday, May 17, 2024

This week's Awesome .NET Weekly Read this email on the Web The Awesome .NET Weekly Issue » 410 Release Date May 16, 2024 Your weekly report of the most popular .NET news, articles and projects

📱 Issue 411 - Apple and Google deliver support for unwanted tracking alerts in iOS and Android

Friday, May 17, 2024

This week's Awesome iOS Weekly Read this email on the Web The Awesome iOS Weekly Issue » 411 Release Date May 16, 2024 Your weekly report of the most popular iOS news, articles and projects Popular

You Might Also Like

We second that Notion

Tuesday, June 25, 2024

Waymo drops its waitlist and AI music misses a beat View this email online in your browser By Christine Hall Tuesday, June 25, 2024 Welcome to TechCrunch PM! Today we bring you news about Notion adding

✋🏼 7 Signs That You Shouldn't Trust an Online Seller — I Made an Android Auto Display for My Bike

Tuesday, June 25, 2024

Also: Use This to Batch Uninstall Apps, and More! How-To Geek Logo June 25, 2024 Did You Know The Shure SM57 is one of the best-selling microphones in the world. In addition to wide use in live

JSK Daily for Jun 25, 2024

Tuesday, June 25, 2024

JSK Daily for Jun 25, 2024 View this email in your browser A community curated daily e-mail of JavaScript news Level Up Your React Charts: Mastering Scrollbar Customization Charts are one of the most

Power BI Weekly #264 - 25th June 2024

Tuesday, June 25, 2024

Power BI Weekly Newsletter Issue #264 powered by endjin Welcome to the 264th edition of Power BI Weekly! No technical announcements this week, but Microsoft has yet again (unsurprisingly) been named a

Calendar Versioning, Rounding, Generating Test Data, and More

Tuesday, June 25, 2024

PEP 2026: Calendar Versioning for Python #635 – JUNE 25, 2024 VIEW IN BROWSER The PyCoder's Weekly Logo PEP 2026: Calendar Versioning for Python This PEP proposes updating the versioning scheme for

Daily Coding Problem: Problem #1477 [Easy]

Tuesday, June 25, 2024

Daily Coding Problem Good morning! Here's your coding interview problem for today. This problem was asked by Google. A regular number in mathematics is defined as one which evenly divides some

Charted | The Most Popular Stocks in Hedge Fund Portfolios 📊

Tuesday, June 25, 2024

In 2023, hedge fund investments surpassed $4 trillion, hitting a record high. We show the most commonly held stocks in their portfolios. View Online | Subscribe Presented by GraniteShares: Increase

Go 1.23 gets another step closer

Tuesday, June 25, 2024

Plus making a regex engine in Go, how to think about channels, and Bleve gets vector support. | #​512 — June 25, 2024 Unsub | Web Version ✈️ I've produced this issue a day early due to being en-

🔒 The Vault Newsletter: June issue 🔑

Tuesday, June 25, 2024

Get the latest business security news, updates, and advice from 1Password. ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏

The Strawmen of Agile

Tuesday, June 25, 2024

Top Tech Content sent at Noon! Join MongoDB's AI Dev Quest Read this email in your browser How are you, @newsletterest1? 🪐 What's happening in tech today, June 25, 2024? The HackerNoon