The D Blog
The official blog for the D Programming Language.
Typestate analysis - Wikipedia
en.wikipedia.org
Exploring Game Development at Coventry University's Summer School - Sakura Kat Systems
I share my experience attending Coventry University's Summer School in July 2024. Over four weeks, I learned about various aspects of game development, culminating in a game jam as the program's finale. This post provides a week-by-week breakdown of the program and my thoughts on each part.
Crate state_machine_future Copy item path
Build Status
Typestate - the new Design Pattern in Swift 5.9 | Swiftology
In this article I will introduce you to Typestate pattern, popularised by Rust language, now available in Swift 5.9. You will see how the combination of generic constraints and Swift's new memory ownership model allows you to write bulletproof code.
2022 A Year In Review | Zoe Aubert
A look back over my 2022
Some notes on Rust, mutable aliasing and formal verification
Recently <a href="https://without.boats/blog/references-are-like-jumps/">Boats wrote a blog post</a> about Rust, mutable aliasing, and the sad story of local reasoning over many decades of computer science. I recommend that post and agree with its main points! Go read it! But I also thought I'd add
The case for sans-io
The most popular option to decompress ZIP files from the Rust programming language is a crate simply named zip — At the time of this writing, it has 48 million downloads. It’s fully-featured, suppo...