Linear Types

Feeds to Scour
SubscribedAll
Scoured 18 posts in 8.1 ms

Rust goal: cargo script (like uv does for Python)

 🦀Rust

The Rust Borrow Checker Is Not Your Problem: You Are Writing Java in Rust

 🏞️Region-based Memory  Content type: Blog
medium.com
·

Rust on the Rise; Python in Decline?

 🦀Rust
i-programmer.info·

Rust in 2026: What Senior Engineers Are Quietly Unlearning

 🏗️Language Design  Content type: Blog
medium.com
·

A line-by-line translation of the OCaml runtime from C to Rust

 λFunctional Programming  Content type: Discussion

I Tried Using Rust for Real Work… and It Rewired How I Build Software

 🏗️Language Design  Content type: Blog
medium.com
·

I Shipped a Rust Binary. I Can't Write Rust.

 🦀Rust  Content type: Blog
julien.danjou.info·

Why I Stopped Paying for Tunnels and Built My Own (in 500 Lines of Rust).

 🦀Rust  Content type: Code
github.com
··DEV

Induction for extended affine type A Soergel bimodules: first steps

 📏LinearTypes  Content type: Academic
arxiv.org·

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

 ⚙️Systems Programming  Content type: Blog  Content type: Discussion
serokell.io·
Less-relevant results

Programming Languages Software Award

 🔗Dependent Types
sigplan.org·

Why my SIMD code was silently running as scalar, and what debugging it taught me about production environment assumptions

 🦀Rust  Content type: Blog

0059: NYC and SF?

 🏗️Language Design

Amber Tree: A Middle Ground Between Rowan Red and Green Trees

 🧹Memory Management  Content type: Blog

Static Code Analysis and the Rules of Zero, Three, and Five

 🏗️Language Design  Content type: Blog
blog.jetbrains.com·

🎲 How I use A.I. as a Software Engineer

 🏗️Language Design
kirsle.net·

The C++ Documentary Won't Show You a Number. I Will.

 🧹Memory Management

The Story of C++: The Documentary

 🏗️Compiler Design
i-programmer.info·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help