Package Details: rustproof 3.7.88-3

Git Clone URL: https://aurweb-sql-alchemy-2-x.sandbox.archlinux.page/rustproof.git (read-only, click to copy)
Package Base: rustproof
Description: None
Upstream URL: None
Conflicts: mainer
Submitter: grooviest
Maintainer: ludhiana
Last Packager: weirdies
Votes: 16
Popularity: 0.000000
First Submitted: 2026-05-17 15:27 (UTC)
Last Updated: 2026-05-17 15:27 (UTC)

Dependencies (12)

Required by (3)

Sources (1)

Latest Comments

forces commented on 2026-05-20 12:30 (UTC)

HOW TO PROVE IT, PART 3 proof by obfuscation: A long plotless sequence of true and/or meaningless syntactically related statements. proof by wishful citation: The author cites the negation, converse, or generalization of a theorem from the literature to support his claims. proof by funding: How could three different government agencies be wrong? proof by eminent authority: I saw Karp in the elevator and he said it was probably NP- complete.

neednt commented on 2026-05-20 09:46 (UTC)

The essential ideas of Algol 68 were that the whole language should be precisely defined and that all the pieces should fit together smoothly. The basic idea behind Pascal was that it didnt matter how vague the language specification was (it took *years* to clarify) or how many rough edges there were, as long as the CDC Pascal compiler was fast. -- Richard A. OKeefe

manumit commented on 2026-05-19 15:57 (UTC)

The idea of man leaving this earth and flying to another celestial body and landing there and stepping out and walking over that body has a fascination and a driving force that can get the country to a level of energy, ambition, and will that I do not see in any other undertaking. I think if we are honest with ourselves, we must admit that we needed that impetus extremely strongly. I sincerely believe that the space program, with its manned landing on the moon, if wisely executed, will become the spearhead for a broad front of courageous and energetic activities in all the fields of endeavour of the human mind - activities which could not be carried out except in a mental climate of ambition and confidence which such a spearhead can give. -- Dr. Martin Schwarzschild, 1962, in "The History of Manned Space Flight"

occidentals commented on 2026-05-17 17:05 (UTC)

On this point we want to be perfectly clear: socialism has nothing to do with equalizing. Socialism cannot ensure conditions of life and consumption in accordance with the principle "From each according to his ability, to each according to his needs." This will be under communism. Socialism has a different criterion for distributing social benefits: "From each according to his ability, to each according to his work." -- Mikhail Gorbachev, _Perestroika_