tomtau

Recent posts

10

Meta-rule support in pest3 early alpha prototype

github.com

c/rust · by tomtau@aussie.zone · 343d · 1 comments

27

The pest book is finally complete now!

github.com

c/rust · by tomtau@aussie.zone · 1y · 4 comments

6

RUSTAsia 2025 (March 28, 2025)

rustasiaconf.com

c/rust · by tomtau@aussie.zone · 1y · 0 comments

12

Early pest3 prototype was released on crates.io

github.com

c/rust · by tomtau@aussie.zone · 2y · 2 comments

8

Verified Rust for low-level systems code

github.com

c/rust · by tomtau@aussie.zone · 3y · 0 comments

Recent comments