Jess D

on the atlas — 28

• Why We Don’t Trust the Database With Authentication – Sturdy Statistics4 savers
• A shallow dive into formal verification8 savers
• Be impatient | benkuhn.net24 savers
• Pincer movement1 savers
• Mysorean_rockets2 savers
• Thoughts on slowing the fuck down4 savers
• References and Borrowing - The Rust Programming Language1 savers
• What is Ownership? - The Rust Programming Language1 savers
• Control Flow - The Rust Programming Language1 savers
• Bireactive Programming2 savers
• Gradual Disempowerment11 savers
• Second Batch | First Proof Project3 savers
• Stables and Volatiles – Rands in Repose4 savers
• The Conductor Rewrite: What They Changed to Make It Fast4 savers
• Ray Tracing in One Weekend8 savers
• Floating point from scratch: Hard Mode · Tales on the wire1 savers
• P2900R13.pdf1 savers
• p2899r0.pdf1 savers
• ISO/IEC JTC1/SC22/WG21 - Papers 20261 savers
• Trip report: November 2025 ISO C++ standards meeting (Kona, USA) – Sutter’s Mill1 savers
• Book-title1 savers
• On Built Module Interface Compatibility - vito.nyc1 savers
• On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications | Proofs and Intuitions1 savers
• One Div Zero: A Brief, Incomplete, and Mostly Wrong History of Programming Languages1 savers
• On Well-Founded Induction1 savers
• A Lean Syntax Primer — overreacted1 savers
• MIT 6.512, Fall 20251 savers
• Curius / Onboarding2621 savers

highlights — 6

• The dot syntax is syntactic sugar for the function-call syntax.

  References and Borrowing - The Rust Programming Language

• Remember: it’s not a problem that first points to deallocated memory. It’s a problem that we tried to use first after it became invalid.

  What is Ownership? - The Rust Programming Language

• At L3, the function name.push_str(" Jr.") resizes the string’s heap allocation. This does three things. First, it creates a new larger allocation. Second, it writes “Ferris Jr.” into the new allocation. Third, it frees the original heap memory. first now points to deallocated memory.

  What is Ownership? - The Rust Programming Language

• Machine code generated from for loops can be more efficient as well because the index doesn’t need to be compared to the length of the array at every iteration.

  Control Flow - The Rust Programming Language

• You can optionally specify a loop label on a loop that you can then use with break or continue to specify that those keywords apply to the labeled loop instead of the innermost loop. Loop labels must begin with a single quote.

  Control Flow - The Rust Programming Language

• Note: the semicolon after break counter * 2 is technically optional. break is very similar to return, in that both can optionally take an expression as an argument, both cause a change in control flow. Code after a break or return is never executed, so the Rust compiler treats a break expression and a return expression as having the value unit, or ().

  Control Flow - The Rust Programming Language