Package Details: nicosias 4.10.34-7

Git Clone URL: https://aurweb-sql-alchemy-2-x.sandbox.archlinux.page/nicosias.git (read-only, click to copy)
Package Base: nicosias
Description: None
Upstream URL: None
Conflicts: rainstorms
Replaces: legitimacys
Submitter: effluents
Maintainer: lampblack
Last Packager: kosher
Votes: 14
Popularity: 0.000000
First Submitted: 2026-05-17 15:27 (UTC)
Last Updated: 2026-05-17 15:27 (UTC)

Dependencies (9)

Required by (3)

Sources (1)

Latest Comments

tanya commented on 2026-05-19 22:29 (UTC)

HOW TO PROVE IT, PART 4 proof by personal communication: Eight-dimensional colored cycle stripping is NP-complete [Karp, personal communication]. proof by reduction to the wrong problem: To see that infinite-dimensional colored cycle stripping is decidable, we reduce it to the halting problem. proof by reference to inaccessible literature: The author cites a simple corollary of a theorem to be found in a privately circulated memoir of the Slovenian Philological Society, 1883. proof by importance: A large body of useful consequences all follow from the proposition in question.

parallelograms commented on 2026-05-17 18:30 (UTC)

Finding the occasional straw of truth awash in a great ocean of confusion and bamboozle requires intelligence, vigilance, dedication and courage. But if we dont practice these tough habits of thought, we cannot hope to solve the truly serious problems that face us -- and we risk becoming a nation of suckers, up for grabs by the next charlatan who comes along. -- Carl Sagan, "The Fine Art of Baloney Detection," Parade, February 1, 1987