Thread: Rust (1): Primer

Rust (1): Primer (winningraceconditions.blogspot.co.uk)

L 2 pts 0 comments by pushcx Sep 6, 2012 browserscompscirust Web Development Systems / Low-Level / OS Programming Languages / CS Theory thread

Rust: Function and Object Types (smallcultfollowing.com)

L 1 pts 1 comments by andymatuschak Nov 4, 2012 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

Go and Rust — objects without class (lwn.net)

L 3 pts 0 comments by inactive-user May 4, 2013 compscigorust Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Experience Report: Developing the Servo Web Browser Engine using Rust (kmcallister.github.io)

L 13 pts 0 comments by sanxiyn Mar 1, 2015 browserspdfrust Web Development Systems / Low-Level / OS thread

Reenix: Implementing a Unix-Like Operating System in Rust (scialex.github.io)

L 24 pts 1 comments by steveklabnik Apr 27, 2015 compscipdfrust Systems / Low-Level / OS Programming Languages / CS Theory thread

UPenn Rust Programming Course (cis198-2016s.github.io)

L 10 pts 0 comments by tf Feb 9, 2016 compscirust Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

Shipping Rust in Firefox (hacks.mozilla.org)

L 59 pts 3 comments by ahal Jul 12, 2016 browsersrust Web Development Systems / Low-Level / OS thread

A Formal Verification of Rust's Binary Search Implementation (kha.github.io)

L 16 pts 0 comments by twk Jul 22, 2016 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

Are we learning yet? - State of machine learning in Rust (arewelearningyet.com)

L 1 pts 0 comments by tf Sep 1, 2016 compscirust AI / Machine Learning Systems / Low-Level / OS Programming Languages / CS Theory thread

Rust required to build Gecko (groups.google.com)

L 30 pts 0 comments by chadski Dec 16, 2016 browsersrust Web Development Systems / Low-Level / OS thread

Crates You Should Know: Rust Language Service (newrustacean.com)

L 10 pts 0 comments by chriskrycho Apr 25, 2017 audiocompscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

- [mp3](http://www.podtrac.com/pts/redirect.mp3/cdn.newrustacean.com/cysk_3.mp3) - [m4a](http://www.podtrac.com/pts/redirect.m4a/cdn.newrustacean.com/cysk_3.m4a) - [ogg](http://www.podtrac.com/pts/redirect.ogg/cdn.newrustacean.com/cysk_3.ogg) Just what it says on the tin: a [discussion](http://...

Writing correct systems in Rust with TLA+ (github.com)

L 30 pts 0 comments by stephenjudkins May 19, 2017 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

Exploring lock-free Rust 1: Locks (morestina.net)

L 8 pts 0 comments by jonhoo Oct 24, 2017 compsciperformancerust Systems / Low-Level / OS Programming Languages / CS Theory Data / Databases / Infrastructure thread

A reimagining of what it looks like to generate WebAssembly code from Rust (github.com)

L 20 pts 3 comments by steveklabnik Nov 10, 2017 browsersrust Web Development Systems / Low-Level / OS Programming (General) thread

Boiling the Ocean, Incrementally - How Stylo Brought Rust and Servo to Firefox (bholley.net)

L 42 pts 6 comments by fitzgen Nov 28, 2017 browsersrust Web Development Systems / Low-Level / OS thread

Rocket - A Rust game running on WASM (aochagavia.github.io)

L 4 pts 0 comments by av Dec 4, 2017 browsersjavascriptrust Web Development Systems / Low-Level / OS Gaming / Retro Computing thread

Rust's ownership model formally proven with Coq (dl.acm.org)

L 49 pts 3 comments by klingtnet Feb 4, 2018 compsciformalmethodsrust Systems / Low-Level / OS Programming Languages / CS Theory thread

- source [tweet](https://twitter.com/bksgbr/status/959813441312747525?s=08) - [PDF paper](http://delivery.acm.org/10.1145/3160000/3158154/popl18-p202.pdf?ip=87.154.206.137&id=3158154&acc=OPEN&key=4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35%2E6D218144511F3437&__acm__=1517748376_e3f2eaa05b...

The Story of Stylo: Replacing Firefox's CSS engine with Rust (youtube.com)

L 11 pts 3 comments by calvin Jun 30, 2018 browserscssrustslidesvideo Web Development Systems / Low-Level / OS thread

Leveraging Rust types for modular specification and verification (research-collection.ethz.ch)

L 12 pts 0 comments by akavel Jan 4, 2019 compsciformalmethodspltrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Neqo, an Implementation of QUIC written in Rust (github.com)

L 15 pts 4 comments by inactive-user Sep 22, 2019 browsersrustweb Web Development Systems / Low-Level / OS thread

In Rust, ordinary vectors are values (smallcultfollowing.com)

L 17 pts 3 comments by matklad Aug 20, 2020 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

Fully-Featured FM Synthesizer in the Browser made with Rust, Web Audio, and SIMD WebAssembly (notes.ameo.design)

L 60 pts 9 comments by Ameo Mar 24, 2021 browsersrustshowwasmweb Web Development Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory thread

I wrote a blog post going over the technical details of both FM synthesis as well as the process of building the synth by compiling Rust to WebAssembly and running it performantly in the browser via Web Audio: https://cprimozic.net/blog/fm-synth-rust-wasm-simd/ Full source code: https://github.co...

Speeding Up the Webcola Graph Viz Library with Rust + WebAssembly (cprimozic.net)

L 1 pts 1 comments by Ameo Jun 15, 2021 assemblybrowsersperformancerustwasmweb Web Development Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure Culture / Philosophy / History / Reading thread

Compiling Rust is NP-hard (niedzejkob.p4.team)

L 67 pts 26 comments by meithecatte Jul 8, 2021 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

An Ecosystem of libraries and tools for writing and executing extremely fast GPU code fully in Rust (github.com)

L 14 pts 5 comments by kixiron Nov 22, 2021 compsciperformancereleaserust Systems / Low-Level / OS Programming (General)Programming Languages / CS Theory Data / Databases / Infrastructure thread

Elegant and performant recursion in Rust (recursion.wtf)

L 40 pts 24 comments by inanna Jul 19, 2022 compscihaskellrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Fully generic recursion in Rust (recursion.wtf)

L 28 pts 5 comments by inanna Jul 28, 2022 compscihaskellrust Systems / Low-Level / OS Programming Languages / CS Theory thread

Supporting the Use of Rust in the Chromium Project (security.googleblog.com)

L 40 pts 21 comments by matklad Jan 13, 2023 browsersc++rustsecurity Web Development Systems / Low-Level / OS Security / Privacy thread

orlp/glidesort: A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm (github.com)

L 6 pts 3 comments by 5d22b Feb 10, 2023 compscirust Systems / Low-Level / OS Programming Languages / CS Theory thread

HVM: A massively parallel, optimal functional runtime in Rust (github.com)

L 17 pts 10 comments by arcade Jun 11, 2023 compscidistributedrust Systems / Low-Level / OS Programming Languages / CS Theory Data / Databases / Infrastructure thread