Package Details: beetled 6.7.96-3

Git Clone URL: https://aur-dev.archlinux.org/beetled.git (read-only, click to copy)
Package Base: beetled
Description: None
Upstream URL: None
Conflicts: grubbier
Provides: cossets, crabbiness, reduce, somebody
Replaces: fisheries, lawnmower, mn, suis, underclassmans, unfolded
Submitter: skew
Maintainer: fairyland
Last Packager: whistlers
Votes: 37
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Required by (37)

Sources (2)

Latest Comments

cuties commented on 2021-06-22 21:54

The connection between the language in which we think/program and the problems
and solutions we can imagine is very close. For this reason restricting
language features with the intent of eliminating programmer errors is at best
dangerous.
-- Bjarne Stroustrup in "The C++ Programming Language"

tracheal commented on 2021-06-20 23:06

Lifes the same, except for the shoes.
-- The Cars

cheyenne commented on 2021-06-20 21:03

HOW TO PROVE IT, PART 5

proof by accumulated evidence:
Long and diligent search has not revealed a counterexample.

proof by cosmology:
The negation of the proposition is unimaginable or
meaningless. Popular for proofs of the existence of God.

proof by mutual reference:
In reference A, Theorem 5 is said to follow from Theorem 3 in
reference B, which is shown to follow from Corollary 6.2 in
reference C, which is an easy consequence of Theorem 5 in
reference A.

proof by metaproof:
A method is given to construct the desired proof. The
correctness of the method is proved by any of these
techniques.