🦞🌯 Lobster Roll

Thread

You Can't Do That: Abstracting over Ownership in Rust with Higher-Rank Type Bounds. Or Can You? (lucumr.pocoo.org)
L 9 pts 1 comments by raymii Sep 11, 2022 rust thread

Stories related to "You Can't Do That: Abstracting over Ownership in Rust with Higher-Rank Type Bounds. Or Can You?" across the full archive.

You Can't Do That: Abstracting over Ownership in Rust with Higher-Rank Type Bounds. Or Can You? (lucumr.pocoo.org)
L 9 pts 1 comments by raymii Sep 11, 2022 rust Systems / Low-Level / OS 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
Abstracting Over Mutability In Rust Macros (lab.whitequark.org)
L 5 pts 0 comments by seako Nov 27, 2017 programmingrust Systems / Low-Level / OSProgramming (General) thread
Rust doesn't provide a way in the language proper to write code that is generic over reference types but this neat macro trick saves the day and scraps some boilerplate
Rust n-body benchmark ranks #1 (reddit.com)
L 19 pts 0 comments by zem Jan 27, 2019 rust Systems / Low-Level / OS thread
Pretty impressive; rust even beat out the best fortran implemantation on there.
Method for Emulating Higher-Kinded Types in Rust (gist.github.com)
L 18 pts 0 comments by tiniuclx Jul 10, 2019 haskellrust Systems / Low-Level / OSProgramming Languages / CS TheoryGaming / Retro Computing thread
Specifying and Verifying Higher-order Rust Iterators (hal.science)
L 2 pts 0 comments by 5d22b May 5, 2023 formalmethodsrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Mysterious Venomous Crustaceans From Mayan Underwater Caves Could Treat Neurological Disease (scitechdaily.com)
SCI 0 pts 0 comments by Goethe University Frankfurt Oct 13, 2024 BiologyBiochemistryBiodiversityCavesComputational BiologyCrustaceanEcosystemsGeneticsGoethe University FrankfurtNervous SystemPeptidePharmacologyPopularToxicologyVenom Science / Math / PhysicsHealth / Fitness / Lifestyle thread
Venom from the marine remipede, Xibalbanus tulumensis, exhibits unique medical potential for treating neurological disorders, showcasing the importance of marine biodiversity in pharmacological research while facing environmental threats. Many animals use venom for self-defense or hunting. The compo...
higher: Your favourite Haskell type classes for Rust (2023) (github.com)
L 3 pts 0 comments by gnyeki Jun 21, 2025 pltrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Rust (1): Primer (winningraceconditions.blogspot.co.uk)
L 2 pts 0 comments by pushcx Sep 6, 2012 browserscompscirust Web DevelopmentSystems / 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
rustboot: a tiny 32 bit kernel written in Rust (github.com)
L 5 pts 0 comments by steveklabnik May 26, 2013 rustshow Systems / Low-Level / OSProgramming (General) thread
rust 0.7 released (github.com)
L 2 pts 0 comments by jasper Jul 3, 2013 rust Systems / Low-Level / OS thread
Philosophy and "for" loops (and their design in Go and Rust) (lwn.net)
L 4 pts 0 comments by bct Jul 18, 2013 gorust Systems / Low-Level / OSProgramming (General)Design / UX / VisualizationCulture / Philosophy / History / Reading thread
Removing Garbage Collection From the Rust Language (pcwalton.github.io)
L 6 pts 0 comments by dl Oct 11, 2013 programmingrust Systems / Low-Level / OSProgramming (General) thread
Booting to Rust (blog.theincredibleholk.org)
L 6 pts 0 comments by journeysquid Nov 19, 2013 hardwarerust Systems / Low-Level / OSMaker / DIY / Hardware thread
A data pipeline built with capnproto-rust and ZeroMQ (dwrensha.github.io)
L 3 pts 0 comments by dwrensha Jan 4, 2014 rustshow Systems / Low-Level / OSProgramming (General) thread
Using Rust for an Undergraduate OS Course (rust-class.org)
L 7 pts 1 comments by cmeiklejohn Jan 4, 2014 rust Systems / Low-Level / OS thread
Rust 0.9 Released (mail.mozilla.org)
L 20 pts 6 comments by kellogh Jan 9, 2014 rust Systems / Low-Level / OS thread
A 30 minute introduction to Rust (words.steveklabnik.com)
L 5 pts 0 comments by journeysquid Jan 14, 2014 rust Systems / Low-Level / OS thread
The Periodic Table of Rust Types (cosmic.mearie.org)
L 8 pts 0 comments by kellogh Jan 14, 2014 rust Systems / Low-Level / OS thread
Chinese Whispers in Rust (thornydev.blogspot.com)
L 13 pts 0 comments by inactive-user Jan 20, 2014 gorust Systems / Low-Level / OSProgramming (General) thread
Destructuring in Rust (pzol.github.io)
L 11 pts 0 comments by pzol Jan 22, 2014 rust Systems / Low-Level / OS thread
File I/O in Rust (blog.safaribooksonline.com)
L 3 pts 0 comments by kellogh Jan 23, 2014 rust Systems / Low-Level / OS thread
QuickCheck for Rust (github.com)
L 17 pts 1 comments by inactive-user Mar 12, 2014 rustshow Systems / Low-Level / OSProgramming (General) thread
Writing an OS in Rust in tiny steps (jvns.ca)
L 23 pts 0 comments by inactive-user Mar 13, 2014 rust Systems / Low-Level / OS thread
Rust is not fast (cananian.livejournal.com)
L 2 pts 2 comments by kragen Mar 20, 2014 rust Systems / Low-Level / OS thread
C\. Scott Ananian explains some fundamental and other possibly fixable reasons Rust is slow: hidden indirection, unnecessary type-system mandated copying, ownership types, and so on.
Rust vs Go (jaredly.github.io)
L 17 pts 7 comments by wting Mar 29, 2014 gorust Systems / Low-Level / OSProgramming (General) thread
Rust 0.10 Released (mail.mozilla.org)
L 18 pts 0 comments by kellogh Apr 3, 2014 rust Systems / Low-Level / OS thread
Higher-Kinded Polymorphism (hydrocodedesign.com)
L 10 pts 7 comments by jm Apr 16, 2014 compscirust Systems / Low-Level / OSProgramming Languages / CS Theory thread