log☇︎
53600+ entries in 0.032s
asciilifeform is refreshing chalkboard, would like to get a sense of the set of items he personally owes
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 )
asciilifeform: ( possibly diana_coman will answer this when wakes up )
a111: Logged on 2018-11-16 23:13 asciilifeform: it is on hold pending resolution of http://btcbase.org/log/2018-10-26#1866266 ( and is taking back seat to ffa currently )
a111: Logged on 2019-01-05 14:17 mircea_popescu: so, she'll be doing client work with her own two hands, something i had every intention to avoid ; and we'll be looking at integrating cuntoo on the server side later on. there's some db work in the hopper also, but that's even further on the maturity vine.
asciilifeform: http://btcbase.org/log/2019-01-05#1884609 << mircea_popescu is that db baking blocked on http://btcbase.org/log/2018-11-16#1873099 ? ☝︎☝︎
a111: Logged on 2018-04-03 00:02 mircea_popescu: asciilifeform the logged discussion on the topic was, "if hashes match but paths do not, the file was moved ; if hashes match and paths match, the file is untouched ; if hashes do not match but paths match the file was modified ; if hashes do not match and paths do not match the file was created/deleted"
asciilifeform: the 1 phf went to implement and not yet came back with.
asciilifeform: algo's pretty simple btw, 1970s thing ( tho iirc it aint in knuth aop for some reason )
mircea_popescu: alright ; we leave it like this for now.
asciilifeform: mircea_popescu: if you have a concrete application in mind, i can spare an hour or 2 to bake
a111: Logged on 2018-12-12 19:41 BingoBoingo: ^ Any awk ninjas want to try this on a few forums?
mircea_popescu: mkay. in the immortal words of that fellow, http://btcbase.org/log/2018-12-12#1880371 ☝︎
asciilifeform: and yes it worx. you give it a similarity matrix (i.e. 'what differences are important, in the order of their importance' in matrix form) and it produces an alignment.
mircea_popescu: the ~algo~ tho. not specifically for v trees, but it strikes me there doesn't exist currently a bin differ ~at all~.
asciilifeform: i posted a complete needleman in cl ( also a draft, rather than troo genesis, nobody stood up and said 'i want this' so shelved ) 2y ago, also.
asciilifeform: ( and i currently agree, really one ought not to have bins in vtrees )
asciilifeform: bin differ ? yes. but it was never made to current-day tmsr quality , i shelved it when mircea_popescu said it wasn't particularly useful
mircea_popescu: maybe it;s not as wrong as all that. did you ever make that thing ?
mircea_popescu: he promised to ask you for an item ? or is this ada n-w published somewhere meanwhile ?
a111: Logged on 2018-10-06 23:51 phf: asciilifeform: i don't have binary diffing even in prototype form, if you could adaize your needleman-wunsch i could add it to vtools, the way i did with diana_coman's keccak
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
asciilifeform: http://btcbase.org/log/2019-01-05#1884623 << at the risk of pouring petrol into that particular fire, fella also promised a http://btcbase.org/log/2018-10-06#1859075 item iirc ☝︎☝︎
asciilifeform: ( in orig timeline also did not include problem of constant-time keccak, which i presently do not have, and neither anyone else, but is necessary to fill mircea_popescu's spec for the final product )
asciilifeform: orig release sched is blown, asciilifeform's current desire is to get again to the point where can patch its tyre and reinflate and have rel sched again
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).
asciilifeform: http://btcbase.org/log/2019-01-05#1884612 << fwiw i've ~exhausted the short-term milk of the particular side cow ( there's a disk snapshot & a recipe to post, but after that will be stalled for aeons ) ; ☝︎
mircea_popescu: this about concludes the state of affairs ; i'd like nothing more than corrections, disputations &c by they involved.
mircea_popescu: so, phf : how about you start clearly communicating yourself, beginning with a complete, correct and true to life adnotation of said discussion in your own hand, because this "ima go meditate on things until everyone involved forgot what i was meditating on" isn't a workable approach to intellectual life. ☟︎☟︎
mircea_popescu: l i have not the faintest what even came of the long avoided but eventually unavoidable discussion.
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: which leaves phf ; who's doing an excellent job maintaining very elegant and well done extant infrastructure, and a very terrifyingly poor job at communicating himself.
mircea_popescu: but really, it serves no one to let me suspect. i should know.
mircea_popescu: ave1 is, i suspect, silently working on gnating things -- which is fine and valuable except for the silently part. there's this tendency of lone wolf scientist to not properly report failures, out of an imaginary saving of time and resources this permits. it must be said that NOTHING could be further from the truth, nothing at all -- there's more to be gained from a properly reported failure to find than out of ten shiny succ ☟︎☟︎
mircea_popescu: let's just say it's my considered oppinion "difficulty in reconciling" such is almost never actually due to said saeculum.
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: i have no idea what ben_vulpes is doing these days, if anything (other than maintaining his logotron, whatever that takes). i would like to hear.
mircea_popescu: danielpbarron seems lost in a bucolic paradise slash midwestern parochial nightmare of his own choosing. nothing wrong with this either, and unless i hear any better that will be the conclusion.
mircea_popescu: other than this, mod6 is taking time off, since mid-november. nothing wrong with this, but i'd like to see some conclusions at some point.
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: so, she'll be doing client work with her own two hands, something i had every intention to avoid ; and we'll be looking at integrating cuntoo on the server side later on. there's some db work in the hopper also, but that's even further on the maturity vine. ☟︎
mircea_popescu: diana_coman is working for s.mg ; we've recently had this exact talk and revised our plans. originally the idea was to have moved over to cuntoo, and do support work for community-driven effort at a new client. the latter completely collapsed over the shocking weakness of such community ; the former's at best delayed. ☟︎
diana_coman: I'm all for the talk, certainly
mircea_popescu: diana_coman well hopefully thusly we smooth that out.
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).
diana_coman: fwiw I can't say I saw a surprise so far in any of the april announcements; at most more of a difference of degree at times (i.e. the expected direction/action but to a larger/smaller degree)
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: foremost, the lordship is not a state, but an activity.
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.
asciilifeform: ^ difficult to do in e.g. python, without 5-6lines of crud.
asciilifeform: i'm satisfied with my proof that my e.g. mul, div, modexp, actually work.. which is moar than i can say for 'bc'
a111: Logged on 2019-01-05 03:11 feedbot: http://trilema.com/2019/no-such-labs-snsa-december-2018-statement/ << Trilema -- No Such lAbs (S.NSA), December 2018 Statement
asciilifeform: mircea_popescu: nuffin wrong with 'bc', but it aint a replacement for customary full 'perlistic' toolbox really
feedbot: http://trilema.com/2019/no-such-labs-snsa-december-2018-statement/ << Trilema -- No Such lAbs (S.NSA), December 2018 Statement ☟︎
mircea_popescu: "Python ints don't have a fixed number of\ndigits." priceless. especially for the 000a intercalation.
asciilifeform: ty for digging tho, diana_coman .
asciilifeform: most of the folx whose heads worked in 1970s, long ago reached end of working life
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" ☝︎
asciilifeform: ( aka amifostine . there's 5-6 publicly known variations on same leitmotif )
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: further upstack , i read http://btcbase.org/log/2019-01-04#1884475 and was waiting for mention of free-radical scavengers , e.g. WR-2721 and other variations on the theme, but didn't find.. ☝︎
a111: Logged on 2019-01-04 16:47 mircea_popescu: ie, EXACTLY these dead horses smart people are dragging around on their own fucking power to sheer exhaustion.
asciilifeform: Only A Terrorist(tm)! would ever put in leading zeros! or wat.
a111: Logged on 2018-11-26 18:22 asciilifeform: mircea_popescu: i have a strong bias against proggies which try to be 'smart'
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: in other lulz for the l0gz, python has some pretty ridiculous inbandisms. consider:
mircea_popescu: well, i got other firepits to attend to, but what a great logmorning this has been!
asciilifeform: ( recall how constanttimeization is done, when converged, you set the stopper and fz_mux outputs the answer , after that algo runs however many shots remain but without affecting the output )
mircea_popescu: i think it converges in B or B+1 by parity
asciilifeform: it appears to, tho. but needs proof.
asciilifeform: euclid's subtractor in 2^B, and therefore runs in geological time for bignums
asciilifeform: well actually typo, stein converges in B shots.
mircea_popescu: (ie, it's encode how many turns)
mircea_popescu: think about it, if it converged in more than 2^B turns, then you'd have a B bit number contain B+k bits of information.
asciilifeform: mircea_popescu: this is troo for stein. but gotta show that this is isomorphic to stein.
mircea_popescu: can not converge in more than 2^B turns.
asciilifeform: ( naturally not written as he wrote it, with the shaved additions, but with full widths. but still )
asciilifeform: all i need nao is the proof that the thing needs F(B) turns of the crank to converge, where B is bitness of operands, and it's battlefield-ready.
asciilifeform: ( and yes we'll bake primes without leaking the intermediates. which means that gcd eats full width of register, miller-rabin actually fires 9000 times , etc )
asciilifeform: realize, this is ch.15.
asciilifeform: i try to find the goodstuff!
mircea_popescu: did i mention i like your treasure trove finds a lot more these days ?
mircea_popescu: and look at that, straight up induction proof.
asciilifeform: ~without~ the 3 separate full-width subtractions that e.g. constanttimeized stein's gcd needs.
asciilifeform: but it ends up resolving to euclid.
mircea_popescu: asciilifeform the pedantery wherein he explains how "substraction really adition because transform and add 1" is so fucken cute... when is this, 1920 ?
mircea_popescu: "At each subsequent stage, the next number is the last N plus the last Z ; carries out of bounds are ignored ; if anything's ignored the next number's an N, otherwise a Z. " to take it out of the idiotic format.
asciilifeform: same thing as in e.g. http://www.loper-os.org/pub/ffa/hypertext/ch14/fz_mul__adb.htm#164_7 .
mircea_popescu: o he does. he does. right you are, look at that.
asciilifeform: ( for some reason did not use the standard name for it, why -- i do not know )
mircea_popescu: and why the fuck does he use ~substraction~, could have used addition instead for same exact money.
mircea_popescu: why does he think this is fast ?
asciilifeform: now, nobody will be surprised to hear that this was never publicly used for anyffin, never appeared in schoolbooks, etc.
mircea_popescu: lol. right. "addition" my foot. why the fuck do scientists misuse terms of art. "addition over finite field"!="addition"
mircea_popescu: how the fuck did he pick 10k