Showing posts with label proof. Show all posts
Showing posts with label proof. Show all posts


In the context of notetaking as it pertains to technical development, a proof.m (where the m stands for 'motivation') would be a type of README file that outlines a proof. This is meant to convey ideas before they are configured and/or executed. (see also BOT, patch)


(see also sticker, stamp, touch-and-go)

+mathematical proof

(see also y-proof)


Mathematics is the design language for proving ideal behaviors of the (so-called) abstract.

Note (+): An 'open story of counting', it must be said that mathematical methodology is a cumulative effort (ie. built atop previous checks).

As a toolset for manipulating+synthesizing variables, mathematicians use its subfields* and models to solve puzzles+formulate theories/theorems/identities.We acknowledge the so-called 'Big Five (5)' active areas in mathematics to be: algebra, analysis, arithmetic, geometry, and music. As far as I am concerned, the basis of math is juking. (see also mathemusic, mathletics, recreational mathematics, mathematical model, Mathilda, 📓So, you want to be a mathematician?, The Mathemagician, Solve, physics, information science, cryptosport)
"The essence of mathematics is not proof, but conjecture." - Link Starbureiy

Notes (+): +There are three (3) classes of mathematics: pure, applied, and recreational (pure,applied ∈ recreational). This definition covers all three (3), and may be referred to as polymathematics. Someone who advances the field can be called a mathematician.

+In my line of work, I think of so-called 'recreational mathematics' as a type of (among other considerations) reverse engineering, where we I am re-creating known structures/models for study and understanding. As an example, in puzzle solving, I may take a known and solved (from means other than juking) macromolecule (eg. protein), and juke that fibor so that it can databased. (see also Pajamas)

+Mathematics is a type of low-technology, as well as being its own industry.

+pink poem

Pink poems (not to be confused with 'pink sheets') or the Pink program*, are a class of algorithms for proving the Quantumquotient. A pink poem ('pink') optimizes juking ludology [ie. kernelized push movements (openingmiddlegameendgame)] for predicting Egglepple's imagery from its preimagery.++Each poem is its own complete verse leading to fibor closure🔒.Calls+declarations for string improvisation. (see also lnq's Starting Five, UUhistlegrass, touch-and-go, opera, patch, cassette, UUelcome, #orchestra)
Notes (+): +It is called a "pink poem" just because Link Starbureiy liked how that color [RGB:255,0,100] (I call it watermelon🍉) looked on the design of the UUelcome Matte (and for the matching letter p's😉).

+The Pink program is the recital (concert) program, and a pink poem is essentially a program note.

+Pinks share a common gameplay directive with lnq's bubblegum.


The tutti ("all together" or "recombination") is a responsive heatmapping of all cryptographical kernel components [stereotypography, operation, integer asymptotics, and ludology (SOIL) hashes] onto the libretto. (see also puzzle)

Function map: tuttiUUhistlegrass

+juke notation

Juke notation (jn, rhetorically called a verse) is the instrument-agnostic, language-independent, easy-to-decipher verbalization of some juke assignment as meant for proof. In signing, the alphanumeric notation is essentially "play code"*; devised to instruct the jukebox on how, when, and what to type in stereo [stew choreography]. The Stewdio is the designated instrument for generating, reading, routing, and interpreting juke notation.Referred to as a track (for tracing some token). (see also hologram, touch-and-go)

Note (+): Juke notation was devised by Link Starbureiy.🤓


Touch-and-go [H#H] refers to my [default] style of cheironomy which utilizes frame arrangement: [touch*](holography) plus [go](#hashtag): for juking Egglepple++as well as jukebox tuning. // Patchwork (orchestrating subiteratives, such as prepatches) are contracted (pu$h/pull → deploy) to solve a puzzle; threading configs require signatures on stables.As in "touch on/over" a topic/subject, not haptics. (see also krayon, k-mode, gameplay)

Note (+): Conduction is responsive in jukespace.


A meter signature is a server-side authentication/or as a source of access-level trust.
[Do not confuse with key signature, time signature.]

Because each opus has a finite ¢ent value associated with its image, only a certain number of ¢ents can be allocated to a signee (ie. juker). Such game logic (cassette+certificate+token) designation requires genuine digital validation/verification before or so that the transaction can be approved for decryption or encryption (known as securing🔐). Otherwise, a user can hypothetically create counterfeit (non-injective) assets - hijack the platform to forge proof - which is fraudulent and disallowed. (see also juke notation, coupon)

Note (+): Signatures, manifested in tutti progression, are ultimately a means for reducing rotisserie stress.

As a further integrity measure, this data is defaulted to the ledger (as public information).
Function map: patchy-proofcassettesignatureUUelcome

+fibor bundle

A fibor bundle (a function of taxation) is two (2) or more fibors combined/connected, which itself forms another fibor. This is Egglepple's quaternary structure. (see also minor scale, major scale)

Function map: minor scalemajor scalefiborfibor bundle


Ludology is the logic [(cassette+certificate+token)s] of games. As it is important to stereotyping, this would be strategy leading to proof [strategy→proof] in relation to some walk. A person who simulates and/or creates (models) games is called a ludologist (with certain restrictions applied, this same person may also be called a gamer). (also of interest ludeiy, gameplay, gameshow, game theory, opera ludo)

For ludological consideration, any game requires the interplay of three (3) things (called rules): 1) a player, 2) string, and 3) rhetoric.

Notes (+): +A simplest definition would be "the charting of currency". Something more formal would be that our game logic is that of "sorting algorithms pertaining to twistor space".

+Our game engine responds directly to calls (the "payload").

+The field is not the same as game theory, which moreso studies strategies in particular. Ludology, on the otherhand, encompasses all aspects of juking [especially game mechanics and (methods of) gamification].

+Ludology does not necessarily promote physics; it is possible that our games may not calibrate potential energy functions (such as force fields). In its stead, models and simulations are promoted with automation.


Broadly, a cassette is a mobile encode element (module) invoking loading. More specifically, a cassette refers to a discrete batch* (of libraries) that, when ported, becomes threadable. Cassettes function as cybernetic buffers; they run prints for site-specific recombination.Ordered via toonage. (compare gene cassette, see also mixtape)

Note (+): Each build will effectively be a comprehensive, updated, and ready-to-implement edition of the kernel.

Function map: cassetteUUhistlegrass


Theorist: Link Starbureiy
The Starbureiy@ hypothesis [abbreviated as the Quantumquotient (QQ), or, in the context of Egglepple, "proving QQ"] postulates an algebraic curvature key (ack) - the quantum - for measuring some quotient of currency with which it is idempotent. A lemma of QQ seeks to exploit the fitness of e:e statistics [a saturated load-balancing from twistor residues].# The theorem was first posed by Link Starbureiy, who, in suggesting QQ is provable, conjectured that token-based automata is ideally both kernelized and fungible.🤓 ∃ a transactor between preimaging and imaging. -- Problem: show that ¢ent homotopy is normalizable.

Notes (+): +To control compliancy.

+The hypothetical solution is to resolve the Juke Lemma (ie. fully sequence the kernel/payload).

The Quantumquotient always assumes current abnormalcy~ (ie. hyper/hypo ≠ 1, and PBQP). Plainly, it is a query into how much (an estimate) of a given hyper/hypo is optimal (ie. MONEY)(?). In a parimutuel system, which can distribute hypocurrency (ie. cache), the hyper- (ie. credit) numerator can remain (hypothetically) asymptotic* iff there exists a hash function (auction) that can bring about perpetual normalization.Statistical volatility. This is because the set of fonts is infinitesimal compared to the total fibor count.
The aim is for persistent/redundant cache-credit idempotence (global cryptic hyperlinking), which [(hyper,hypo) ≅ crypto] would be theoretically achievable with a fully secured🔐 [sequenced] payload (courtesy of Double U economics). (see also Juke Lemma, juke tax, string ludology, UUelcome, The UUe, Starbureiy automaton, The Origamic Symphony, +list)
Function map: Q ... Juke Lemma → ... Pink programy-proof


A yesegalo proof, or y-proof (or just proof), is a juking algorithm mapping some preimage to its image. Proofing substantiates a token, thereby certifying its value (as an asset).! Each proof involves patching two (2) genera in T: yesegalo↔meshroom.^While also helping us draw up better heuristics. A framework for conduction: does a ballet groove with(in) the Symphony?

Y-proofing tasks: determine the efficiency of an EGP encryption [ie. solve the given puzzle; is the resulting fibor economical (fit within the handicap)|(u,u)=0|?].

The proof itself is scored* as a stereotype (sequenced shapeframe) in some overall animation. The end🚩 of a proof (solution) should result in the closing🔒 of a string (eg. fibor). We endeavor to find the most secure🔐 proofs by improving upon the bounds on classes of twistors. Doing so aids our MONEY-making.Proofs of juke input are published (to the ledger) in juke notation. (see also juke notation, mathematical proof, proof.m)

Note (+): As with the traditional printing press, the primary reason for proofing is to provide confirmation/verification that a job (done) is accurate. Doing so draws a consensus (from independent, third-party sources -- read: jukers) for the creation of a new standard. It is important to note that proofs are unique (ie. duplication is forbidden on the circuit). All proofs are published to the ledger.

Function map: l-stringy-proofMONEYQuantumquotient

+stew choreography

Stew choreography is the process of stereotyping* (brane-folding) EGP using fruut to keyframe [sequence/map by hyperlinking] stews. This is our "proof-of-work"~ concept [ie. juking exercise for 'meshing' UUe's cryptocommodity (¢ents)], and should solve twistor spaces (via encryption). Per gameplay, stew choreography (or dribbling [endpoint control]&) forms a loopstring's middlegame (ie. walk). The Stewdio is used natively [default] for improvising.Print the portfolio as a sponge. Or, 'cost-of-work'. String command. (see also ballet, Stewart, touch-and-go)

Notes (+): +Such choreography is inferred by "the ballet of Stewart". The reason this ballet is necessary is to anticipate dividends. We say that stew choreography is "to y-proof l-string".

+Every single stew on a loopstring must be affected for a yield to be accurate.

Function map: random coilstew choreographyfibor