🔗 Borrowing Extensions - abnv · Scour

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·3h

🧩Constraint Solvers

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·16h·

Discuss: Hacker News

🔒Rust Borrowing

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·16h·

Discuss: Hacker News

🪢Rope Data Structures

Keeping traits dyn-compatible while preserving zero-cost abstraction where possible

scp-iota.github.io·2d·

Discuss: r/rust

🪆Embedded DSLs

Type-Safe Routing Without the Build Step

werkbank.dev·14h·

Discuss: Hacker News

⚙️TOML Parsers

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·20h

🏗️Cranelift

Python Pass by Reference or Value: Unraveling the Mystery

coderivers.org·6h

🔗Lexical Scoping

Planning Poker Integration for Linear 🃏

dev.to·4h·

Discuss: DEV

📏Linear Scanning

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites

dev.to·18h·

Discuss: DEV

🏗️Cranelift

mozilla/uniffi-rs: a multi-language bindings generator for rust

github.com·9h·

Discuss: r/rust

🪆Embedded DSLs

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

🗂️Type Indexing

Streamlining CUB with a Single-Call API

developer.nvidia.com·10h

⏲️Embedded GC

Attesting Model Lineage by Consisted Knowledge Evolution with Fine-Tuning Trajectory

arxiv.org·1d

🔍Type Inference

abelianization of an additive category in nLab

ncatlab.org·16h

🔗Category Theory

Making an LSP for great good

thunderseethe.dev·1d·

Discuss: Lobsters, Hacker News

Designing a Programming Language for the Desert

futhark-lang.org·16h·

Discuss: Hacker News

🔄Bootstrapping

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·18h

🔧Scheme Macros

One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...

lmika.org·3h

🧪Compiler Testing

Loading more...