Andy Matuschak on Twitter: "@ctbeiser @Meaningness @etscrivner Sounds like an accurate simulation of reality. 👍" / Twitter

This Tweet is from an account that no longer exists. Learn more

Well, ideally, we’d want to just say what the other system is, and have that be executable! And I think this may be feasible.

2

Many of the most important bugs result from slippage between what the programmer thinks data structures are representing and outside world.

1

In this vein, this paper is worth a read. "Subject-oriented programming" - pdfs.semanticscholar.org/bdb2/ed51f2d47

1

3

The entire requirements engineering and architecture sub-disciplines of software engineering deal almost exclusively with these issues.

1

Yes! But, at least when I was in school (late Victorian era) requirements analysis was not taught. Has this changed?

3

This Tweet is from an account that no longer exists. Learn more

Replying to

and

Sounds like an accurate simulation of reality. 👍

Conversation