Java is a fine choice. Much prefer it over pseudocode.
kogasa
Sure, but hosting the wiki itself has a cost.
I have read programs a lot shorter than 500 lines which I don't have the expertise to write.
I dunno, but the last season takes a hard left turn with one major character leaving the pd for ethical reasons and the others struggling with their part in the institution. It was definitely informed by current events.
I worked with Progress via an ERP that had been untouched and unsupported for almost 20 years. Damn easy to break stuff, more footguns than SQL somehow
This has nothing to do with Windows or Linux. Crowdstrike has in fact broken Linux installs in a fairly similar way before.
Sure, throw people in jail who haven't committed a crime, that'll fix all kinds of systemic issues
Catch and then what? Return to what?
Just explaining that the limitations of Gödel's theorems are mostly formal in nature. If they are applicable, the more likely case of incompleteness (as opposed to inconsistency) is not really a problem.
Dunno what you're trying to say. Yes, if ZFC is inconsistent it would be an issue, but in the unlikely event this is discovered, it would be overwhelmingly probable that a similar set of axioms could be used in a way which is transparent to the vast majority of mathematics. Incompleteness is more likely and less of an issue.
It's extremely unlikely given the pathological nature of all known unprovable statements. And those are useless, even to mathematicians.
One of the few things I can be pedantic about, so I must...
Ambient isotopic in R^3, which is much stronger than homeomorphic, which is the usual notion of topological equivalence. Yet easier to understand intuitively, because ambient isotopy classes are basically just "what you can do with a rubber band."