asciilifeform: 'Don't use pirated software or pirate any content. Netflix is cheap, Spotify is free if you tolerate ads, and honestly there are tonnes of open source solutions for whatever you need to do.' << lol!!
asciilifeform: ( can do it as many times as you like )
asciilifeform: when you instantiate the generic, you get a bignumtron of given width.
asciilifeform: no optimizations of any kind whatsoever. ( in fact, pessimizations, e.g. comparisons all take same amount of time regardless of where difference is, or whether there is one. addition of 0+0 takes same time as, e.g., 2**256 - 1 + 2**256 - 1 . etc )
asciilifeform: the other principle is simplicity above all else save correctness.
asciilifeform: (how much space -- can be set for the occasion. but no growth.)
asciilifeform: general principle is -- running in fixed space.
asciilifeform: mircea_popescu: end goal is specifically something that specifically mircea_popescu could read, while emptying a glass of rum, without any booklarnin' required. and grasp it.
asciilifeform: (1) is why all (afaik) known bignumtrons use inline asm turds
asciilifeform: this seems like masochism except when you realize that 1) compiler does not give you access to carry flag, portably, or ever will 2) carry flag is a non-mathematical (external) abstraction that cannot be SPARKized
asciilifeform: and is endian-insensitive, and pointer-free.
asciilifeform: ditto 'word' (the routines work for all possible word sizes)
asciilifeform: phf: it isn't global, it is part of the 'generic' definition (analogous to cpp template.) will become apparent when you read entire thing.
asciilifeform: correct ( when operands are bitwise-operable. )
asciilifeform: ( q for readers : are the two equations intuitively obvious ? or is the tabular thing actually necessary. )
asciilifeform: paste is not a complete proggy, but excerpt, to put the arithmetical statement in context.
asciilifeform: 'Sever™ shreds your data into billions of tiny data packets, encrypts each one with a powerful new encryption algorithm developed to STOP villains dead in their tracks...'
asciilifeform: ture capital firms for a million in seed money, who later are forced to abandon the broken concept and cut their losses. But it’s not like that– these 5 college students are from Belgium!'
asciilifeform: 'The advertised unit is a keychain that plugs in through the headphone jack of a mobile device, meant to interact closed-source app to provide impenetrable crypto. This crypto is said to use a one-time pad (OTP) system. The design, photos, prototype, and social networking vibe feel all too similar to the vaporware you’d expect a San Francisco based startup of 5 college students to poorly slap together and unload to unsuspecting ven
asciilifeform: 'As one person put it to me: MyDataAngel believes that they’re the “founding fathers” of truly-secure encryption. If you have a problem with this, then you must hate America. '
asciilifeform: mircea_popescu: frequency hopping is a solved problem in 1980s, you use blum-blum-shub (or variant) if using public key crypto; or same otp as for everything else, if otp.
asciilifeform: don't settle for small change, either, power with polywell fusor.