log☇︎
7000+ entries in 0.067s
asciilifeform: and likewise, you can put as many fz on stack as the stack height given in invocation of ffacalc, but not any moar.
asciilifeform: user of pcode never has to manually consider memory, so long as he knows how much stack to instantiate it with ( e.g. for modular exponentiation, you need 3 FZ worth of stack ) , and it properly eggogs if you mismeasure.
asciilifeform: ( if you use pcode, these get done inside ffacalc, and ditto the stack memory mechanics, as you prolly knew already )
asciilifeform: diana_coman: btw it is perfectly ok also to simply invoke the knobs exported in ffa.ads directly, but then you gotta take care of 1) endianism of the words being put in and gotten out , to match yours 2) testing for div0 , as done in http://www.loper-os.org/pub/ffa/hypertext/ch14/ffa_calc__adb.htm
diana_coman: asciilifeform, first I do need to finish getting the ffa in, so that will still take quite a while; other than that, it's more a matter of "as time permits" and as mircea_popescu says it's not top priority; that being said yes, I'd like to do it and see some timings and comparison for myself
mircea_popescu: i imagine she's going to bake a test as time permits. it's not a top priority item but then again she moves fast.
asciilifeform: so as to have gedanken-farm in own name, say ? or to be able to occasionally cross borders without using u-boat , say ?
asciilifeform: diana_coman: pretty sure i discussed this depressing subj in l0gz prior, would rather not clutter war room log with replay; but it'd have to be enuff to buy new passport, at the very least, and then would need to earn bread somehow ( and as sit-in-torture-room, rather than driving cab , i dun think i'll be of much use to tmsr if living in cab )
mircea_popescu: put some meat on the bones of his "check it out, speed!" thing, as a courtesy if nothing else.
diana_coman: well, don't get flattened please, there's already waay more work than active hands as it is
diana_coman: asciilifeform, re m-r: I implemented it using mpi as per http://ossasepia.com/2017/12/28/eucrypt-chapter-3-miller-rabin-implementation/ ; ofc I'd rather use ffa ct-time implementation but it's not a sticking point per se i.e. I can switch my implementation from relying on mpi to relying on ffa, no?
asciilifeform: ( as well as adjusting 'Wi' , etc. but you get the idea )
asciilifeform: ( as well as still needs diana_coman to eat & digest the thing per se )
asciilifeform: i've been referring to mpi and gmp interchangeably as 'koch rsa', but this is unscientific, i must remind that they are diff items.
asciilifeform: mpi had only (ugly as fuck) karatsubatron.
asciilifeform: and as of right nao it's the only ~complete~ rsatron we have, i.e. that knows how to bake privkeys
mircea_popescu: esp because correctly written, with tests etc. so can meaningfully do ffa-eucrypt vs mpi-eucrypt as a benchmark.
asciilifeform: ( otoh euloratron does not spend much cpu in rsa, as currently sewn )
asciilifeform: also recall the (surprising to asciilifeform , but apparently nobody else) discovery that ffatron as-is-stands is ~2.5x faster than koch.
mircea_popescu: point being : de-sslification of bitcoin is not stalled on this. it is stalled on prior de-sslification of cuntoo, which as such doesn't yet exist, which is not really stalled on this either.
a111: Logged on 2018-10-26 02:14 asciilifeform: meanwhile, in gnat bugs : apparently ( and this is documented or mentioned nowhere ) : it is impossible to have a Ada.Finalization.Limited_Controlled type ANYWHERE inside a static library, unless it is generic all the way down (i.e. if the lib package is generic, any sub-packages must also be instantiated as generics )
mircea_popescu: maybe it;s not as wrong as all that. did you ever make that thing ?
a111: Logged on 2019-01-05 14:37 mircea_popescu: i do not know, as i sit here, what the conclusion of the http://btcbase.org/log/2018-12-19#1881988 discussion was, three weeks later. the man sits among a republic built on a certain methodology, aims to quietly use the exact ~other~ methodology, makes no prior mention of this, candidly references the latter as if it worked notwithstanding how howlingly it failed to work to date, on and on in this vein and at the end of it al
a111: Logged on 2019-01-05 14:22 mircea_popescu: finally, asciilifeform is working on rsa-based ssl-ism replacement (notwithstanding he ~seems to be~ working on any and all wank on the "side" during spare time he doesn't have and all that), which we want so we can finally move bitcoin off sheer cretinity and into cuntoo (and which is principally why we want sane db also, but as i said -- yet immature).
a111: Logged on 2018-12-19 20:09 phf: you're constantly in logs, confused as to how anyone can get anything from anyone, yet now you're questioning my methods.
mircea_popescu: i do not know, as i sit here, what the conclusion of the http://btcbase.org/log/2018-12-19#1881988 discussion was, three weeks later. the man sits among a republic built on a certain methodology, aims to quietly use the exact ~other~ methodology, makes no prior mention of this, candidly references the latter as if it worked notwithstanding how howlingly it failed to work to date, on and on in this vein and at the end of it al ☝︎☟︎
mircea_popescu: spyked is evidently trying, hence feedbot, but evidently having trouble reconciling saeculum, which i'm going to let stand as such on the grounds that he's new -- even though experience shows that as a dubious idea [for all the eg one could possibly need witness how asciilifeform 's still in the swamp, so many years later]. ☟︎
mircea_popescu: lobbes recently unveiled actionbot, which works fine, and is evidently putting all time he can into paying off technological debt he's responsible for if not necessarily guilty of. nothing wrong with this, and it can stand as such. ☟︎
mircea_popescu: finally, asciilifeform is working on rsa-based ssl-ism replacement (notwithstanding he ~seems to be~ working on any and all wank on the "side" during spare time he doesn't have and all that), which we want so we can finally move bitcoin off sheer cretinity and into cuntoo (and which is principally why we want sane db also, but as i said -- yet immature). ☟︎
mircea_popescu: other than maintaining the deedbot infrastructure, trinque is working on cuntoo, which is a rather large piece and it taking a [difficult to predict] while is not by itself the end of the world ; but i'd like to see some roadmapping, tentative and subject to change as it may be, lest the effort degenerates.
mircea_popescu: hanbot is working on the mp-wp tree, and manages as she long has a rather largeish wetworks i'm not going to get into the details of.
mircea_popescu: yet -- it is not my business ; so i'm just going to count it as such, "working on pizarro" without further inquiry (and with the firm expectation that someone IS doing all that).
mircea_popescu: so : as far as i know, bingoBoingo is working on qntra and on pizarro. he's doing a very fine job with the former ; i'm nonplussed with recently discovering just how broken the latter's mp-wp offering actually was ; moreover it seems to me from a distance pizarro's still financially and customer-wise entirely dependent, ie as close to failure as you can possibly get without spelling it out. ☟︎
mircea_popescu: well, meanwhile it's the 5th day of this fine new year, and it occurs to me it might be a good idea to discuss some things, lest april coming around this year like any other year be perceived as some kind of subjective surprise, rather than the objective necessity it ever is.
diana_coman: http://btcbase.org/log/2019-01-04#1884512 -> last published paper seems to be from 1985, uni reading's website mentions him as part of "combinatorics @ Reading" but "retired" ☝︎
a111: Logged on 2019-01-04 17:32 mircea_popescu: this is not factually true. leaving aside how nuclear explosion not nearly as harmful to people as commonly misrepresented (and let's see http://trilema.com/2011/radiatia-si-corpul-omenesc/#comment-44772 re this), there's precious few neutron casualties recorded.
asciilifeform: somehow i used python for yrs as an adhoc calculator and had nfi this bomb were there.
asciilifeform: apparently it interprets the 05 as.. base prefix.
asciilifeform: as in stein.
asciilifeform: ( naturally not written as he wrote it, with the shaved additions, but with full widths. but still )
asciilifeform: same thing as in e.g. http://www.loper-os.org/pub/ffa/hypertext/ch14/fz_mul__adb.htm#164_7 .
asciilifeform: incidentally might be interesting to get that lens baked as... a pcb ( commercial pcb houses will do al instead of cu, at comparable cost , plus whatever drillings )
mircea_popescu: this is not factually true. leaving aside how nuclear explosion not nearly as harmful to people as commonly misrepresented (and let's see http://trilema.com/2011/radiatia-si-corpul-omenesc/#comment-44772 re this), there's precious few neutron casualties recorded. ☟︎
asciilifeform: ( observe that you dun need to cook the victim , like egg, he's just as dead when % of his Na turns to Mg etc
mircea_popescu: (ie, you are MORE likely to die for being behind sheet lead/steel/whatever than not. because high energy electron won't hurt you at all -- or even see you -- but the tons of gamma it spews as the metal plate decelerates it WILL fucking fry you)\
asciilifeform: aha, as i undestand brems gets refracted along same vector as the orig photon
asciilifeform: 1 application asciilifeform immediately thought of, discussed nowhere, is lightweight shielding ( need X times less square metrage of pb sheet as you have diff b/w focused and unfocused ! )
asciilifeform: BingoBoingo: possibly i said this before, but i am not fond of arm -- it is horrendously ugly, complex, single-vendored ( the multi-vendoritude is an illusion, they all use same british turd mask ) . i picked it as 'best horse in glue factory' for the application, is all.
a111: Logged on 2019-01-04 01:15 asciilifeform: it aint that much good without the iron, but i would like the thing publicly gettable, given as i also baked a 'scsi2sd' config that eats the thing
asciilifeform: to round off the http://btcbase.org/log/2019-01-04#1884258 thrd : item confirmed to work. booted up box with it , it's a mixed blessing ( ~zero seek times, but slightly ~slower~ linear transfer than the mechanical disk. but, theoretically lasts '4evah', given as card can be easily backed up ) ☝︎
asciilifeform: given as most warez is already compressed
asciilifeform: naturally as-available, how else.
mircea_popescu: asciilifeform like this you can do it on an as-available basis.
asciilifeform: as in, per file ?
asciilifeform: it aint that much good without the iron, but i would like the thing publicly gettable, given as i also baked a 'scsi2sd' config that eats the thing ☟︎
mircea_popescu: Mocky we're in the same time distortion field. i recall people dead for centuries as if we just interrupted a coffee conversation days ago ; i forgot idiots i met yesterday as if milennia had passed.
asciilifeform: stratum: one doesn't even need to sit on hitler's throne to bypass sslism; typical idjit os comes with root certs from such shitholes as e.g. greece and latvia
stratum: Most people don't even have one "box" -- More and more browsing from their phones as their sole computing device, billions of them. I think there is a disconnect in what we're discussing: which is why I mention RMS and his helpers.
stratum: Certainly, but one still has to survive among the internet places as they exist.. We cannot all be RMS and have a helper print out websites for us because we're paranoid. ☟︎
mircea_popescu: specifically : the oldest illustration of "robotics" in the charlie chaplin deeply misguided http://btcbase.org/log/2015-03-06#1043874 approach (and yes, i am very unimpressed by charlie chaplin as the "intellectual great" pantsuit make him out to be, specifically because this sort of deliberate stupidity to cater to pantsuit nonsense dun count as wisdom) is an amelia bedelia-esque "person sent to broom will broom the room, r ☝︎
mircea_popescu: Mocky but the important part is "resilient design" so to speak : it should keep polling after doing what it thought it did. same exact thing as with the "put stuff in inv" : put all you find of the type you're putting, if you miss some on one cycle, catch up on next. sorta thing.
mircea_popescu: as she points out, http://logs.minigame.biz/2019-01-03.log.html#t14:53:01
a111: Logged on 2019-01-03 16:59 asciilifeform: given as the fella didn't end up sticking to republic, i dun expect we'll ever find out.
a111: Logged on 2019-01-03 16:36 diana_coman: well, it's meant as replacement not as alternative so I don't see why would one keep the sha patches; onth replacement in place aka no name change doesn't break anything either
asciilifeform: diana_coman: when you read ch10, you will find that i had to rewrite some of the basic arithm logic, so as to remove dependence on indexing.
diana_coman: heh, talked in parallel there; I know and that's why I did not mention it at all at first; it was just because you asked for as much nitpick as possible, so now it's at least said
asciilifeform: as i've said previously, ffa post-ch6 is largely an 'uglification' to buy usable performance on pc.
diana_coman: if nitpick at all, the one thing that consistently nags at me (though for which I can't make up my mind as to actual solution) is the implicit reliance on indices to be in fact starting from 1 when copying stuff e.g. http://btcbase.org/patches/ffa_ch7_turbo_egyptians.kv#L187
diana_coman: ftr I had to refresh a bit on Knuth Vol 2 at some point but I don't see that as a minus at all
diana_coman: the trouble is that "sharp edges" are quite often operator-shaped as it were
asciilifeform: given as the fella didn't end up sticking to republic, i dun expect we'll ever find out. ☟︎
diana_coman: well, it's meant as replacement not as alternative so I don't see why would one keep the sha patches; onth replacement in place aka no name change doesn't break anything either ☟︎
mircea_popescu: historically childbearing worked essentially as ~punishment~, which is a point readily elided by modern clueless schmucks.\
asciilifeform: http://btcbase.org/log/2019-01-02#1883983 << i defo had various as a boy ☝︎
asciilifeform: came with buncha 'sample' dox crapola, but near as i can tell it's a snoar
mircea_popescu: AS FUCKING IF it is or ever could be the case ~they're~ the mp of this world or something.
mircea_popescu: cuz that is the fucking job of the producer, i don't care what "american moron's association" "trade practices" are. as long as it's a set, and something'\s shooting, the producer's job is to rape the talent.
asciilifeform: these, apparently, counted as 'evidence'
asciilifeform: mircea_popescu: i didnt try patching out the test ( given as it's got montgomery, the answer will be soup ) but did try for odd exp, got ~same~ as for the nonconstanttime gmp knob ( which is pretty hilarious, means that they dun do anything differently for 'constant time' variant, evidently )
BingoBoingo: Well, sure. Thing starts as an ego inflation exercise: "Can't export because SOMOS NUMERO 1" Y despues ObamArgentina goes from un pais rico en Thalers Alemman to incapacity to export soy.
asciilifeform: (for instance, not only 'buy in china, sell to france, while using reich bank' counts as 'export', but usg subjects physically getting up off arse and moving to wherever and working on 'controlled tech' also counts, etc)
asciilifeform: BingoBoingo: the 'export ban' list is a hilarious read. ~nothing is ever removed from it, most of the thing was written in '80s-90s, and contains such items as fpga (afaik none are made in usa or have ever been, but somehow this dun stop the clowns) , and in practice seems to be used as 'lettre de cachet' against undesirables.
lobbes: http://btcbase.org/log/2019-01-01#1883830 << In my experience they are only useful as conduits to job postings that you may not have been able to see otherwise. ☝︎
diana_coman: billymg, looks good; perhaps mirror the whole mp-wp tree somewhere as you seem to be working on mp-wp?
feedbot: http://qntra.net/2018/12/japan-ramps-up-military-spending-as-usg-turns-out-to-be-inadequate-provider-of-security/ << Qntra -- Japan Ramps Up Military Spending As USG Turns Out To Be Inadequate Provider Of Security
Mocky: I might as fucking well
mircea_popescu: Mocky if this may help you take heart, ~everyone's employability is ~epsilon in the us. "jobs" work as alt-welfare conduits, no genuine productivity is present or contemplated. ☟︎
trinque: (as of now)
asciilifeform as of ch11 all benchmarks posted are on standard tmsr gnat.
a111: Logged on 2017-10-08 00:20 asciilifeform: http://btcbase.org/log/2017-10-07#1722411 << 1 ) ffa is closed form. i.e. it CAN be written as a number of nand gates, with a 'funnel' at the top, to which you present a,b,c, e.g. 4096bit, numbers, and at the bottom in a little cup you get a^b mod c , and with NO UPWARDS FEEDBACK FLOW of information , i.e. answer comes after same interval of time always, and with strictly downwards signals.
feedbot: http://qntra.net/2018/12/stanislav-datskovskiy-publishes-fully-constant-time-code-for-barretts-modular-reduction-as-part-of-ffa-library/ << Qntra -- Stanislav Datskovskiy Publishes Fully Constant Time Code For Barrett's Modular Reduction As Part Of FFA Library
asciilifeform: not as such
mircea_popescu: the fundamental promise involved in the concept of number, as a scalar measure of something
asciilifeform: http://btcbase.org/log/2018-12-28#1883605 << it is impossible to defend against this criticism, as formulated, so i won't try ☝︎
mircea_popescu: right. and such a thing as typos in those comments is possible. this entire line is the result of your ineffectual sideswiping.
asciilifeform: mircea_popescu: if someone knows how to make ffa moar 'docs is the program'-y, oughta write in and tell asciilifeform , cuz i came as close to it as i knew how.
mircea_popescu: yet our ideal is literate code, as in, docs in the program.
mircea_popescu: asciilifeform it's more than that : a) that there's such a thing as a correct program ; b) to which one can converge ; c) in a finite number of itemized steps ; d) the count therewhich can be known in advance.
asciilifeform: the declaration i want to make with 'kelvins' is that there is such a thing as a correct program.
a111: Logged on 2018-12-19 17:09 mircea_popescu: natural language, however, ablates the trees for "convenience" so to speak, ie, uses commonly what's known in computing as sparse trees.