#System Design

2 articles · Posts with this tag

TLA+ is officially attributed: Software Verification Tool is Interested

Reasonable.io’s TLA+ training post pay attention to the internet community, it’s curious about this powerful verification tool used in software develo

27 Sept 2026 · 16:15

Software & Dev Tools

Lesson from Lotus Notes: Why To Start From Zero Risk?

Lotus Notes sample in corporate software heritage shows that the reason for dealing with old systems is more intelligent than completely redesign.

9 Sept 2026 · 15:02

← ← Home