🦞🌯 Lobster Roll

Thread

Compiling C to Safe Rust, Formalized (arxiv.org)
L 23 pts 0 comments by emschwartz Dec 21, 2024 ccompilersrust thread

Stories related to "Compiling C to Safe Rust, Formalized" across the full archive.

Compiling Rust to WebAssembly Guide (medium.com)
L 2 pts 0 comments by joshuacc Jan 5, 2017 javascriptrust Web DevelopmentSystems / Low-Level / OS thread
Compiling Rust is NP-hard (niedzejkob.p4.team)
L 67 pts 26 comments by meithecatte Jul 8, 2021 compscirust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Compiling Pseudo-Rust Code to x86 Assembly (veera.app)
L 2 pts 0 comments by veera Jul 1, 2023 compilerspltrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Cross compiling C/Rust to win32, again (neugierig.org)
L 8 pts 0 comments by jmillikin Apr 22, 2024 crustwindows Systems / Low-Level / OS thread
Compiling C to Safe Rust, Formalized (arxiv.org)
HN 291 pts 157 comments by love2read Dec 20, 2024 Systems / Low-Level / OS thread
Compiling C to Safe Rust, Formalized (arxiv.org)
L 23 pts 0 comments by emschwartz Dec 21, 2024 ccompilersrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Compiling Rust to readable C with Eurydice (lwn.net)
L 21 pts 0 comments by git-bruh Feb 2, 2026 ccompilersrust Systems / Low-Level / OSProgramming 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 / OSProgramming 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 / OSProgramming (General)Programming Languages / CS Theory thread
cxx2rust: the pains of wrapping C++ in Rust using Qt5 as an example (endl.ch)
L 1 pts 0 comments by stefantalpalaru May 24, 2014 cprogrammingrust Systems / Low-Level / OSProgramming (General) thread
Compiling Rust for the Rasberry Pi (metaverse.fr)
L 7 pts 0 comments by steveklabnik Jul 21, 2014 programmingrust Systems / Low-Level / OSProgramming (General) thread
Embedding and Customizing the Rust compiler (brson.github.io)
L 3 pts 0 comments by steveklabnik Jul 22, 2014 compilersprogrammingrust AI / Machine LearningSystems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Rust lifetimes: Getting away with things that would be reckless in C++ (randomhacks.net)
L 15 pts 3 comments by pushcx Sep 21, 2014 crust Systems / Low-Level / OS thread
Chasing an EPROTOTYPE Through Rust, Sendto, and the OSX Kernel With C-Reduce (erickt.github.io)
L 1 pts 0 comments by pushcx Nov 19, 2014 macrust Systems / Low-Level / OSApple / macOS / iOS thread
Rust compiling rust: adventures with librustc (jaredly.github.io)
L 5 pts 0 comments by steveklabnik Nov 28, 2014 programmingrust Systems / Low-Level / OSProgramming (General) thread
Computer Language Benchmarks (Go, Rust, C++, etc) (benchmarksgame.alioth.debian.org)
L 4 pts 0 comments by criccomini Dec 23, 2014 cgorust Systems / Low-Level / OSProgramming (General) thread
launch-code: Cryptographic signatures for auditing unsafe code in Rust (github.com)
L 3 pts 0 comments by jcs Jan 14, 2015 rustsecurity Systems / Low-Level / OSProgramming (General)Security / Privacy thread
Codius + Rust = ❤ (codius.org)
L 12 pts 1 comments by tdfischer Feb 13, 2015 rustsecurity Systems / Low-Level / OSSecurity / Privacy thread
Fully Countering "Trusting Trust" through Diverse Double-Compiling (dwheeler.com)
L 2 pts 0 comments by pushcx Feb 26, 2015 security Security / Privacy thread
Criticizing the Rust Language, and Why C/C++ Will Never Die (viva64.com)
L 24 pts 24 comments by pushcx May 12, 2015 cprogrammingrust Systems / Low-Level / OSProgramming (General) thread
A graph-based higher-order intermediate representation (demonstrated with Impala, a dialect of Rust) (compilers.cs.uni-saarland.de)
L 8 pts 1 comments by asb Jun 9, 2015 compilerspdfrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Things rust shipped without (graydon2.dreamwidth.org)
L 40 pts 8 comments by pushcx Jul 3, 2015 compilersprogrammingrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
nom, the Rust, macros-based, parser combinators library, is now production ready (clever-cloud.com)
L 35 pts 15 comments by geal Nov 16, 2015 rustsecurityshow Systems / Low-Level / OSProgramming (General)Security / PrivacyCulture / Philosophy / History / Reading thread
This library is now 1 year old and has followed Rust's many changes along the way. It has been a great experiment in making zero copy, completely generic parsers in Rust. Now, it is at last stable enough for most uses.
Building a simple JIT in Rust (jonathanturner.org)
L 19 pts 0 comments by fitzgen Dec 2, 2015 assemblycompilersrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Compiling Rust to an Android Target (ghotiphud.github.io)
L 5 pts 0 comments by pushcx Jan 6, 2016 androidrust Systems / Low-Level / OS thread
UPenn Rust Programming Course (cis198-2016s.github.io)
L 10 pts 0 comments by tf Feb 9, 2016 compscirust Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Deciding to rewrite getaddrinfo in rust (blog.dkhenry.com)
L 22 pts 5 comments by jcs Feb 23, 2016 crustsecurity Systems / Low-Level / OSSecurity / Privacy thread
Fancy Rust development with Emacs (julienblanchard.com)
L 17 pts 0 comments by julienxx May 14, 2016 emacsrust Systems / Low-Level / OSProgramming (General) thread
Corrode: A C -> Rust translator in literate haskell (github.com)
L 26 pts 2 comments by zem Jul 5, 2016 chaskellprogrammingrust Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
Corrode - C to Rust translator written in Haskell (github.com)
L 22 pts 4 comments by av Jul 8, 2016 chaskellrust Systems / Low-Level / OSProgramming Languages / CS Theory thread