DEV Community

Chris Roy profile picture

Chris Roy

Systems programmer. Writing about why software rots, teams forget, and systems fail. → http://thechris.in

Joined Joined on  Personal website https://thechris.in twitter website
Why Verification Asks You to Leave the Language You Ship
thechrisin profile

Why Verification Asks You to Leave the Language You Ship

#architecture #languagedesign #formalverification #rust
Comments
12 min read

Want to connect with Chris Roy?

Create an account to connect with Chris Roy. You can also sign in below to proceed if you already have an account.

Create Account
Already have an account? Sign in
Why Plugin Systems Keep Running After the Contract Is Gone
thechrisin profile

Why Plugin Systems Keep Running After the Contract Is Gone

#architecture #programming #softwareengineering #computerscience
Comments
10 min read
Why Systems That Last Keep Their Boundaries Honest
thechrisin profile

Why Systems That Last Keep Their Boundaries Honest

#foundational #programming #architecture #computerscience
Comments
9 min read
Why the Reasoning Behind a Keyword Disappears
thechrisin profile

Why the Reasoning Behind a Keyword Disappears

#architecture #languagedesign #programming #computerscience
3
Comments
3 min read
Why Software That Lasts Is Written for a Future Reader
thechrisin profile

Why Software That Lasts Is Written for a Future Reader

#foundational #softwareengineering #architecture #programming
Comments
2 min read
Greenfield Rewrites: Why You Lose Institutional Knowledge
thechrisin profile

Greenfield Rewrites: Why You Lose Institutional Knowledge

#architecture #softwareengineering #programming #computerscience
Comments
12 min read
loading...