🦞🌯 Lobster Roll

Thread

Flux: Refinement types for Rust (youtu.be)
L 16 pts 7 comments by eventhelix Aug 23, 2024 pltrustvideo thread

Stories related to "Flux: Refinement types for Rust" across the full archive.

Flux: Refinement types for Rust (youtu.be)
L 16 pts 7 comments by eventhelix Aug 23, 2024 pltrustvideo Systems / Low-Level / OSProgramming Languages / CS Theory thread
Flux: Refinement Types for Rust (liquid-rust.github.io)
L 21 pts 6 comments by cherryblossom Nov 22, 2022 rust Systems / Low-Level / OS thread
Flux -- Liquid Types for Rust (youtube.com)
L 7 pts 1 comments by 5d22b May 26, 2023 pltrustvideo Systems / Low-Level / OSProgramming Languages / CS Theory thread
Flux: Refinement Types for Rust (youtube.com)
HN 6 pts 0 comments by todsacerdoti Aug 23, 2024 Systems / Low-Level / OS thread
ML Family 2014: The Rust Language and Type System (Demo) (youtube.com)
L 8 pts 0 comments by steveklabnik Sep 5, 2014 programmingrustvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Stanford Seminar - Aaron Turon of Mozilla on Rust (youtube.com)
L 4 pts 0 comments by mseri Apr 14, 2015 rustvideo Systems / Low-Level / OS thread
Rust for Rubyists (youtube.com)
L 6 pts 0 comments by pushcx Oct 9, 2015 rubyrustvideo Systems / Low-Level / OSProgramming (General) thread
Concurrency in Rust (A talk at Øredev by sklabnik) (vimeo.com)
L 15 pts 4 comments by asthasr Nov 7, 2015 rustvideo Systems / Low-Level / OS thread
Rustlang Screencasts (youtube.com)
L 1 pts 0 comments by millerjs Mar 30, 2016 rustvideo Systems / Low-Level / OS thread
Consist of simple coding problems demonstrating common patterns, interpretation of compilation errors, etc.
Live Coding Rust with Steve Klabnik (youtube.com)
L 6 pts 1 comments by unbalancedparentheses Jun 7, 2016 rustvideo Systems / Low-Level / OSProgramming (General) thread
The History of Rust (youtube.com)
L 17 pts 8 comments by majjoha Aug 2, 2016 programmingrustvideo Systems / Low-Level / OSProgramming (General)Culture / Philosophy / History / Reading thread
Building Languages In Rust (youtube.com)
L 7 pts 0 comments by unbalancedparentheses Nov 18, 2016 rustvideo Systems / Low-Level / OS thread
Extending Python with Rust (youtube.com)
L 10 pts 1 comments by tf Dec 9, 2016 pythonrustvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Marijn Haverbeke - The Rust That Could Have Been (youtube.com)
L 6 pts 0 comments by majjoha Feb 6, 2017 rustvideo Systems / Low-Level / OS thread
GStreamer & Rust – A perfect match (youtube.com)
L 8 pts 0 comments by bwr May 14, 2017 rustvideo Systems / Low-Level / OS thread
RustFest Zürich 2017 Videos (youtube.com)
L 19 pts 2 comments by klingtnet Nov 5, 2017 rustvideo Systems / Low-Level / OS thread
Refinement Types in Typed Racket (blog.racket-lang.org)
L 6 pts 0 comments by inactive-user Nov 13, 2017 lispplt Programming Languages / CS Theory thread
Rust in 2018 - A Fast Tour (youtube.com)
L 10 pts 0 comments by neonpython Mar 6, 2018 rustvideo Systems / Low-Level / OS thread
Closing Keynote: Safe Systems Software and Future of Computing by Joe Duffy (2017) (youtube.com)
L 5 pts 1 comments by nickpsecurity Mar 12, 2018 pltprogrammingrustsecurityvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheorySecurity / Privacy thread
Building Actor Systems in Rust (youtube.com)
L 12 pts 0 comments by jtfmumm Apr 6, 2018 rustvideo Systems / Low-Level / OS thread
Refinement Types for TLA+ (2014) (citeseerx.ist.psu.edu)
L 5 pts 0 comments by nickpsecurity Apr 25, 2018 formalmethodspdfplt Programming Languages / CS Theory thread
Abstract: ". TLA+ is a specification language, mainly intended for concurrent and distributed systems. Its non-temporal fragment is based on a variant of (untyped) ZF set theory. Motivated by the integration of the TLA+ Proof System with SMT solvers or similar tools based on multi-sorted first-order...
Building Reliable Infrastructure in Rust (youtube.com)
L 39 pts 9 comments by spacejam May 30, 2018 formalmethodsrusttestingvideo Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
The wild success of testing tools like Jepsen is a wake-up call that we’re approaching systems engineering from a fundamentally bug-prone perspective. Why don’t we find these devastating bugs on our laptops before opening pull requests? Rust’s compiler gives us wonderful guarantees about memory safe...
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 DevelopmentSystems / Low-Level / OS thread
Type-safe & high-perf distributed actor systems with Rust (youtube.com)
L 4 pts 0 comments by friendlysock Jul 3, 2018 rustvideo Systems / Low-Level / OSData / Databases / Infrastructure thread
The Summer of RUST (youtube.com)
L 14 pts 1 comments by inactive-user Aug 13, 2018 historicalpersonrustvideo Systems / Low-Level / OSCulture / Philosophy / History / Reading thread
Integrating Rust into Tor: Successes and Challenges (confreaks.tv)
L 13 pts 0 comments by mulander Sep 6, 2018 crustsecurityvideo Systems / Low-Level / OSSecurity / Privacy thread
RustConf 2018 Videos (youtube.com)
L 25 pts 0 comments by nanxiao Sep 7, 2018 rustvideo Systems / Low-Level / OS thread
Handling Delimited Continuations with Dependent Types (youtube.com)
L 9 pts 1 comments by river Oct 1, 2018 pltvideo Programming Languages / CS Theory thread
Porting FlatBuffers to Rust (Rust Bay Area - November 13th, 2018) (youtube.com)
L 12 pts 9 comments by rw Nov 16, 2018 performancerustvideo Systems / Low-Level / OSData / Databases / Infrastructure thread
Communicating in Types (vimeo.com)
L 9 pts 2 comments by krisajenkins Nov 26, 2018 pltvideo Programming Languages / CS Theory thread