💻 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

Import AI 399: 1,000 samples to make a reasoning model; DeepSeek proliferation; Apple's self-driving car simulator

Friday, February 14, 2025

What came before the golem? ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏

Defining Your Paranoia Level: Navigating Change Without the Overkill

Friday, February 14, 2025

We've all been there: trying to learn something new, only to find our old habits holding us back. We discussed today how our gut feelings about solving problems can sometimes be our own worst enemy

5 ways AI can help with taxes 🪄

Friday, February 14, 2025

Remotely control an iPhone; 💸 50+ early Presidents' Day deals -- ZDNET ZDNET Tech Today - US February 10, 2025 5 ways AI can help you with your taxes (and what not to use it for) 5 ways AI can help

Recurring Automations + Secret Updates

Friday, February 14, 2025

Smarter automations, better templates, and hidden updates to explore 👀 ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏ ͏

The First Provable AI-Proof Game: Introducing Butterfly Wings 4

Friday, February 14, 2025

Top Tech Content sent at Noon! Boost Your Article on HackerNoon for $159.99! Read this email in your browser How are you, @newsletterest1? undefined The Market Today #01 Instagram (Meta) 714.52 -0.32%

GCP Newsletter #437

Friday, February 14, 2025

Welcome to issue #437 February 10th, 2025 News BigQuery Cloud Marketplace Official Blog Partners BigQuery datasets now available on Google Cloud Marketplace - Google Cloud Marketplace now offers

Charted | The 1%'s Share of U.S. Wealth Over Time (1989-2024) 💰

Friday, February 14, 2025

Discover how the share of US wealth held by the top 1% has evolved from 1989 to 2024 in this infographic. View Online | Subscribe | Download Our App Download our app to see thousands of new charts from

The Great Social Media Diaspora & Tapestry is here

Friday, February 14, 2025

Apple introduces new app called 'Apple Invites', The Iconfactory launches Tapestry, beyond the traditional portfolio, and more in this week's issue of Creativerly. Creativerly The Great

Daily Coding Problem: Problem #1689 [Medium]

Friday, February 14, 2025

Daily Coding Problem Good morning! Here's your coding interview problem for today. This problem was asked by Google. Given a linked list, sort it in O(n log n) time and constant space. For example,

📧 Stop Conflating CQRS and MediatR

Friday, February 14, 2025

​ Stop Conflating CQRS and MediatR Read on: m​y website / Read time: 4 minutes The .NET Weekly is brought to you by: Step right up to the Generative AI Use Cases Repository! See how MongoDB powers your