The key part here is the risk management: impact of crashing IntelliJ is local, and simple mitigations like document recovery are easier than writing the whole project in a formally verified language.
The key part here is the risk management: impact of crashing IntelliJ is local, and simple mitigations like document recovery are easier than writing the whole project in a formally verified language.
Chirp! is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All Chirp! content and data are available under the Creative Commons Attribution 3.0 license.