Andrew Lilley Brinker smallcultfollowing.com
Cylic trait implementations: motivation
Substantive discussions about the Rust language itself as a project — language design, RFCs, the compiler, type system, memory model, governance, and Rust's future direction. Excludes crate releases and ecosystem projects.
Feed on BlueskyFeeds Stats
- 💙 Liked by 11 users
- 📅 Updated about 1 month ago
- ⚙️ Provider attie.ai
Rust Lang Deep Dives Likes over time
Like count prediction
The feed Rust Lang Deep Dives has not gained any likes in the last month.
Feed Preview for Rust Lang Deep Dives
An alias-based formulation of the borrow checker (2018)
smallcultfollowing.com/ba…
0
0
0
今日のZennトレンド
型の表現力はタダ: Rustのニッチ最適化を追う【第3部: コンパイラ内部を読む】
Rustのニッチ最適化におけるコンパイラ内部の実装を解説しています。
型の有効値範囲（valid_range）の外側をニッチとして利用し、Option型のメモリサイズを最適化する仕組みです。
boolや参照、NonZeroU8などの有効範囲の定義から、Niche構造体によるニッチ値の決定、LLVM IRへの出力までの過程を追い、メモリ効率を高める実装詳細を明らかにしています。
zenn.dev
型の表現力はタダ: Rustのニッチ最適化を追う【第3部: コンパイラ内部を読む】
!この記事はシリーズの第3部です。第1部: メモリレイアウトの観察第2部: MIR・LLVM IR・ASMを追う第3部: コンパイラ内部を読む（本記事）第4部: ニッチ最適化の実践パターン はじめにこんにちは、moriです。ファスト株式会社にてRustを用いてデスクトップアプリケーション・バックエンドの開発を行っています。第1部では Option<NonZeroU8> が u8 と同じ
0
0
0
Restricting trait implementability and field mutability lobste.rs/s/9j3n3b #rust
blog.rust-lang.org
Call for testing: Restricting trait implementability and field mutability | Inside Rust Blog
Want to follow along with Rust development? Curious how you might get involved? Take a look!
0
0
0
An alias-based formulation of the borrow checker (2018)
Discussion
0
0
0
Enabling the next iteration of the borrow checker on nightly lobste.rs/s/fgf5vr #rust
blog.rust-lang.org
Enabling the next iteration of the borrow checker on nightly | Rust Blog
Empowering everyone to build reliable and efficient software.
0
1
2
🦀 rust-lang/rust is adopting an LLM policy
> Because Rust governance doesn't work that way. We do not have a benevolent dictator who can say "No LLM-generated content, whether it be code or prose." or "AI is a tool, just like other tools we use"
blog.rust-lang.org/inside-rust/...
#rustlang
blog.rust-lang.org
rust-lang/rust is adopting an LLM policy | Inside Rust Blog
Want to follow along with Rust development? Curious how you might get involved? Take a look!
1
2
12
Enabling the next iteration of the borrow checker on nightly lobste.rs/s/skft2i #rust
blog.rust-lang.org
Enabling the next iteration of the borrow checker on nightly | Rust Blog
Empowering everyone to build reliable and efficient software.
0
0
2
Rust's 2026-2027 goals replace Pin with Move/Forget traits. Type-level immobility and guaranteed destructors simplify async safety for self-referential futures and kernel code.
www.foursignals.dev
Rust Project Goals: Immobile types and guaranteed destructors
Four Signals — The Wire
0
0
0
Rust project goals: Immobile types and guaranteed destructors
github.com/rust-lang/rust…
news.ycombinator.com/item…
github.com
Rust project goals: Immobile types and guaranteed destructors
Rust project goals: Immobile types and guaranteed destructors
0
0
0
💡 An alias-based formulation of the borrow checker (2018)
Groq was unavailable, so this is a static fallback with no LLM-generated stance
🔗 smallcultfollowing.com/ba…
0
0
0
Lately I've gotten kind of obsessed with the question of "how to manage cycles in Rust traits". I've begun to make real progress, so I decided to start blogging:
smallcultfollowing.com/ba….
smallcultfollowing.com
Cylic trait implementations: motivation · baby steps
4
0
21
Rust's 2026-2027 goals replace Pin with Move/Forget traits. Type-level immobility and guaranteed destructors simplify async safety for self-referential futures and kernel code.
www.foursignals.dev
Rust Project Goals: Immobile types and guaranteed destructors
Four Signals — The Wire
0
0
1
Protecting the Rust standard library from accidental breakage lobste.rs/s/hnx6id #rust
predr.ag
Protecting the Rust standard library from accidental breakage
How & why we're running cargo-semver-checks in Rust's CI
0
0
1
Validation checks a value and often throws away what it learned. Parsing returns a type that keeps those guarantees.
I wrote about "Parse, Don't Validate" in Rust: newtypes, boundary and shotgun parsing, a serde trap, and coding agents.
rdiachenko.com/posts/rust/p...
@thisweekinrust.bsky.social
rdiachenko.com
Parse, Don't Validate, in Rust
Validation throws away what it learned. Parsing returns it. In Rust, that moves invariants into the type system, where both developers and coding agents have to respect them.
0
0
2
I have been thinking a lot about the RangeFrom type (n..) in Rust so I thought I would write up a bunch of history about to have somewhere to start a further discussion about it: erk.dev/2026/08/12/r...
erk.dev
RangeFrom, Part 1..: History and background
A probably too detailed look at the history of the RangeFrom type in Rust
0
1
8
💡 An alias-based formulation of the borrow checker (2018)
Groq was unavailable, so this is a static fallback with no LLM-generated stance
🔗 smallcultfollowing.com/ba…
0
0
0
Polonius, Rust's next-gen borrow checker, is now default on Nightly. It kills false positives in conditional branches and HashMap patterns. Benchmarks on top 10k crates show minimal compile-time regressions. Switch to Nightly and test…
www.foursignals.dev
Rust Borrow Checker 2.0 is Finally Here
Four Signals — The Wire
0
0
0
One of the most important open source projects in tech just told AI models what they're allowed to do.
The Rust language maintainers published a new LLM policy on August 5.
Models can help analyze, review, and refine code. They are not permitted to author it outright.
0
0
2
rust-lang/rust is adopting an LLM policy lobste.rs/s/czvkjy #rust
blog.rust-lang.org
rust-lang/rust is adopting an LLM policy | Inside Rust Blog
Want to follow along with Rust development? Curious how you might get involved? Take a look!
0
0
0
Rust project goals: Immobile types and guaranteed destructors
github.com/rust-lang/rust…
news.ycombinator.com/item…
0
0
0
A better borrow checker 😃
Ok, only on nightly, but I hope it will make it to stable soon.
blog.rust-lang.org/2026/08/04/e...
blog.rust-lang.org
Enabling the next iteration of the borrow checker on nightly | Rust Blog
Empowering everyone to build reliable and efficient software.
0
1
4
“It's fine to use LLMs to answer questions, analyze, distill, refine, check, suggest, review. But not to create.”
blog.rust-lang.org
rust-lang/rust is adopting an LLM policy | Inside Rust Blog
Want to follow along with Rust development? Curious how you might get involved? Take a look!
0
0
7
Enabling the next iteration of the borrow checker on nightly
Discussion
0
0
0
Rust CI now runs cargo-semver-checks to prevent accidental breakage in the standard library 🦀
If you're wondering why that's important and why it took 15kLoC+, this post is for you.
predr.ag/blog/protect...
predr.ag
Protecting the Rust standard library from accidental breakage
How & why we're running cargo-semver-checks in Rust's CI
0
11
60