Communicating With Code
Thoughts on the theory and practice of software design.
Thursday, August 4, 2022
How does Rust async work?
›
This may be obvious to some folks, but it’s not been clear to me: how does Rust’s async / await facility actually work, down at the machin...
Saturday, December 11, 2021
Less Painful Linear Types
›
I’ve advocated for Linear Types in Rust for some time , most recently, arguing that it can resolve an important foot-gun for accidental futu...
1 comment:
Wednesday, December 1, 2021
Linear Types Can Help
›
There’s been a lot of discussion , recently, about how to improve async behavior in Rust. I can’t pretend to have internalized the entire ...
Friday, March 31, 2017
Documenting With Types
›
I've said this before: elegant code is pedagogical . That is, elegant code is designed to teach its readers about the concepts and relat...
Wednesday, December 7, 2016
Correctness and Maintainability
›
In my career, I've focused a lot on making my code bug-resistant, and I've spent a lot of time trying to learn or invent techniques ...
Wednesday, December 10, 2014
Bootstrapping Rust
›
There are two stories I particularly like about the problem of bootstrapping self-referential tools. This one : Another way ...
1 comment:
Monday, November 17, 2014
Links
›
Taking a cue from Julia Evans , linking this here to remind myself to re-read it occasionally: John Allspaw's notes On Being a Senior E...
‹
›
Home
View web version