log☇︎
23100+ entries in 0.168s
asciilifeform: mircea_popescu: http://wotpaste.cascadianhacker.com/pastes/Z3bjP/?raw=true
asciilifeform: mircea_popescu: his 700 is smaller, actually, than the last time i priced 100/100/1U in usa, was 1000+
a111: Logged on 2018-01-19 06:37 mircea_popescu: asciilifeform dude... first off you're looking at symmetrical for some reason, nfi why, second off no bw is free, contrary to what "cheap vps" outfits might've advertised to you and thirdly didn't we do this a few times before already ?
mircea_popescu: meanwhile in "slut at the beach" fun and games, https://68.media.tumblr.com/27bd311844b8bbcc384df97d3a64b086/tumblr_omswy5mJIU1uiwcaro1_1280.jpg
BingoBoingo: <shinohai> Heh, curious you mention that about tires, never thought of it until now mircea_popescu, but bicycle wheels are the only place you can still get an inner tube afaik. << bicycles, motorcycles, plenty more places.
BingoBoingo: <mircea_popescu> BingoBoingo what's the trade situation there, can you get a pile of cash for btc locally ? << Looks like it. At the very worst a boat ride to sufficient liquidity.
mircea_popescu: meanwhile in surreal meats, https://78.media.tumblr.com/f24f8acdb6c017b5cb3e9b0d46955a9a/tumblr_oz055l2pqA1u9uov7o1_400.gif
a111: Logged on 2018-01-19 02:22 mircea_popescu: asciilifeform no, he's evidently not useful. but he's not a logic gate, either. he's certainly not human. the fundamental identification/classification of "i will deliver result X through randomly chosen path each time" is... rng. at least to my mind.
a111: Logged on 2018-01-17 22:29 asciilifeform: aha. mircea_popescu also at one time was a maths man.
a111: Logged on 2018-01-19 02:12 mircea_popescu: this is why on the long term they always either "delete" their blogs to start over, or else become insanely trite (and then "give up").
a111: Logged on 2017-12-31 16:27 mircea_popescu: the important point here is that there can be NO retrospective read of the history of ideas in any actual discipline that is both a) longer than epsilon and b) fails to discover the PRINCIPAL bar to discovery is personal dishonesty.
a111: Logged on 2016-08-17 17:02 mircea_popescu: Framedragger the reason there's a lot of credence in phf's perhaps harsh criticism is http://trilema.com/2014/how-to-make-money-on-the-internet-while-pretending-you-know-what-youre-talking-about-and-accumulating-a-legion-of-mindless-followers-for-fun-and-profit/
asciilifeform: mircea_popescu: possibly moar under the table
shinohai: Heh, curious you mention that about tires, never thought of it until now mircea_popescu, but bicycle wheels are the only place you can still get an inner tube afaik.
asciilifeform: did mircea_popescu ever write about, incidentally, penguin ?
asciilifeform: oh hey in the new mircea_popescu article : the item re 'cruise ship'. asciilifeform confesses, he never understood what is the appeal
a111: Logged on 2018-01-18 23:29 mircea_popescu: "oh, von neumann invented the 486". really tyvm.
asciilifeform: mircea_popescu: for some value of 'leaky machine' , quite obviously will
asciilifeform: upstack re the impossibility of translating the safety of an ada program's nearby-modifications-phasespace to c -- i suspect that mircea_popescu's thesis re 'files are not separate units' not only is troo, but does not go far enuff :
asciilifeform: mircea_popescu: because it was reimplementation, rather than translation.
asciilifeform: mircea_popescu: which is why i won't touch concepts-paternity.
asciilifeform: mircea_popescu: observe that i did not ask for a v that deals in ~concepts~, only mechanisms.
asciilifeform pictures mircea_popescu posting from something like a beehive , on distant world
a111: Logged on 2018-01-18 20:07 mircea_popescu: asciilifeform quite evident ; but yes, i believe wrong problem to solve. "oh lord, how could bits of code have an identity ?" "why ?" "so they could be my girflriends" "Come on!"
asciilifeform: at the same time i dun think that i actually disagree with mircea_popescu re the granularity. we don't have the tech to make granularity 'at procedure level' work.
asciilifeform: i'ma approach from different angle : mircea_popescu , what do you think is the advantage of v over mere pile of signed tars ?
asciilifeform: mircea_popescu: nope. you find the subtle-manipulators and string'em up.
asciilifeform: if 2 strings are bitwise-identical -- they are the same. if mircea_popescu in his own house insists that trained gurlz with magnifying glasses compare them, before he will consider them to be same, that is his biznis
a111: Logged on 2018-01-18 22:09 diana_coman: see, there is also tea which is pointedly not meat!!
asciilifeform: re earlier item -- if i want to demonstrate that 'alf's exceptional exsudator' consists of diana_coman's magic prime number maker, all 100,000 ln of it verbatim, plus 5 ln of asciilifeform's , this is now a proposition that has to be proven manually. whereas theoretically it is a mechanically resolvable q.
diana_coman: mircea_popescu, everything also means dick or cunt, depending on pov
asciilifeform: mircea_popescu: there is no way to weasel out of the fact that the info is available, but simply ignored by ineptly made vtron.
mircea_popescu: diana_coman obviously ; but the trick is that "meat" also means dick.
a111: Logged on 2018-01-18 20:58 mircea_popescu: consider concretely the case of eucrypt's keccak. diana_coman is writing it as a direct derivation off genesis, meaning on extant v impls if one wanted to import it they could import JUST it, without the rest of eucrypt (it'll be pulled in later through the usual procedure in eucrypt itself). superficially this may seem like it encourages phf to go "o i know, i'll just link keccak patch into my codebase rather than regring (i
asciilifeform: diana_coman: this is correct picture.
a111: Logged on 2018-01-18 20:53 mircea_popescu: nothing prevents you from saying "this is the genesis of apeloyee's fantastical funicular, it consists of a cog i stole from alf's exceptional exsudator, some other bits i wrote myself and various parts i forgot where i stole" ; but something QUITE fundamental prevents you from writing down "include #fucksticks" and to have a helpful paperclip pop out of nowhere in your emacs guts and declare "this so far looks like you're pu
mircea_popescu: diana_coman wgat "it" is here discussed ?
a111: Logged on 2018-01-18 20:58 mircea_popescu: the problem is that later on, eucrypt's smg_keccak will be pulled into the main to be used for purposes ; if EVEN LATER it gets a patch, phf will then not actually have a way to seamlessly "get just the patch", he will have to regrind at that time anyway.
mircea_popescu: the problem is that later on, eucrypt's smg_keccak will be pulled into the main to be used for purposes ; if EVEN LATER it gets a patch, phf will then not actually have a way to seamlessly "get just the patch", he will have to regrind at that time anyway. ☟︎
mircea_popescu: consider concretely the case of eucrypt's keccak. diana_coman is writing it as a direct derivation off genesis, meaning on extant v impls if one wanted to import it they could import JUST it, without the rest of eucrypt (it'll be pulled in later through the usual procedure in eucrypt itself). superficially this may seem like it encourages phf to go "o i know, i'll just link keccak patch into my codebase rather than regring (i ☟︎
a111: Logged on 2018-01-17 19:55 asciilifeform: iirc mircea_popescu's argument was that it is wrong to say that they could ~ever~ be properly independent. and that if they could be shown to be independent, they ought to be separate v-trees.
mod6: http://p.bvulpes.com/pastes/ZvDPR/?raw=true << diana_coman has all the details.
mod6: mircea_popescu: also, fwiw, we might need to adjust our "NO '--- ' or '+++ ' to begin a line in a vpatch to "NO '-- ' or '++ '". There was a vpatch in development where my vtron choked on a line being added into a source file that began with '++', and with the diff '+', became '+++'. My vtron correctly choked here. But maybe a bit of an adjustment to the rule?
mod6: <+mircea_popescu> if anyone is wondering, alf lives in a sausage plant. there's lots of meat. << been wondering if I should move in with him, or take bets on when he gets scurvy
mircea_popescu: diana_coman cool deal then.
diana_coman: mircea_popescu, yes, all that there is still only... first part
mircea_popescu: diana_coman ah, is it a two part item then ?
asciilifeform: mircea_popescu: apparently not. hence why unrolled comba was iirc 2x+ speedup
asciilifeform: right. but... i'ma let mircea_popescu eat rest of the thread
asciilifeform: mircea_popescu: why hard ?
mircea_popescu: so is diana_coman ; and earlier ave1 ! truly spectacular republica output these days!
shinohai: In which mircea_popescu demonstrates the `Loli-pop`
a111: Logged on 2016-11-18 15:15 mircea_popescu: gotta kyc in case the fat tard over at the us park administration gets tired of asking for special booth at burning man and wants to peruse pics of subtards licking fish through a screen of milk, gotta have the pics ready for him!!11
mircea_popescu: ben_vulpes dja happen to have a link to the original case of http://btcbase.org/log/2016-11-18#1569630 ? iirc you reported it, maybe 2014s ☝︎
asciilifeform: goodnight mircea_popescu
a111: Logged on 2018-01-17 15:50 apeloyee: well, ideally it would have a "No_Out_Arguments_Aliasing" restriction which would insert runtime checks
a111: Logged on 2018-01-17 11:06 Techman: mircea_popescu: what isy our take on bitcoin dropping below 10K (at least on binance)
asciilifeform: and ohai mircea_popescu !
asciilifeform: and diana_coman , and possibly others.
asciilifeform: aha. mircea_popescu also at one time was a maths man. ☟︎
asciilifeform: phf also from ru; and iirc so is apeloyee; asciilifeform from old su but marooned in usa; mircea_popescu speaks (more than he is willing to admit, lol) ru; possibly other folx, tuned in but still lurking, also.
shinohai wonders if he should rate ben_vulpes as "bollocksologist" due to his recent trap encounters .....
mod6: diana_coman: http://p.bvulpes.com/pastes/GwImt/?raw=true
asciilifeform: diana_coman: it does, this was discussed.
mod6: diana_coman: you mean the patch for 99993? yeah, i pasted it in here.... lemme look for it quick.
asciilifeform: 'John Mallery @jcmallery_cyber 25 Dec 2017 Declinism is a psyop of adversaries...it was spread before during the Vietnam war.' << ahahahaha gold ☟︎
fromloper: he's also on twitter, might nag him about it for laughs https://twitter.com/jcmallery_cyber
a111: Logged on 2014-03-21 04:58 mircea_popescu: understand that the most economic way to run the economy - now as during 1614 - is to just turn off all machinery, lock all warehouses and bury the key
Covale`: diana_coman ty
deedbot: diana_coman rated Covale` 1 << euloran noob; found at least some of his way around
asciilifeform: ( and yes mircea_popescu's answer was 'shuddup and suck it' . which is very easily said when you ain't the one sucking it )
apeloyee: "may be a 50kg sword" << doesn't seem to be. can be retrofitted into an existing design. as i said above "there needs to be a tree hash in the _leaf_ patch. and it MUST match the resulting tree"
asciilifeform: apeloyee: trinqueian / mircea_popescuine vtron is arguably The Right Thing. my observation is that it may be a 50kg sword.
fromloper: asciilifeform: someone uploaded "I-Machine Architecture Specification" to Bitsavers three days ago, I thought you might find it interesting: http://www.bitsavers.org/pdf/symbolics/I_Machine/I-Machine%20Architecture%20Specification.pdf ☟︎
asciilifeform: iirc mircea_popescu's argument was that it is wrong to say that they could ~ever~ be properly independent. and that if they could be shown to be independent, they ought to be separate v-trees. ☟︎
apeloyee: that's a spurious objection. one need not to sign an antedecent state, one needs to sign a RESULTING state. to expand on http://btcbase.org/log/2018-01-17#1771900 , you're free to pick individual files from wherever, possibly several different trees, but there needs to be a tree hash in the _leaf_ patch. and it MUST match the resulting tree (under the principle that patch author takes the... ☝︎
asciilifeform: apeloyee: trinque and mircea_popescu would like to put more of it on the machine. i haven't with what to dissuade them, it is a philosophical q, not even technical.
a111: Logged on 2018-01-17 01:29 mircea_popescu: http://btcbase.org/log/2018-01-16#1771435 << hey, is that your blog then ?
apeloyee: https://gcc.gnu.org/onlinedocs/gnat_ugn/Alphabetical-List-of-All-Switches.html#Alphabetical-List-of-All-Switches : "-gnateA" Check that the actual parameters of a subprogram call are not aliases of one another.
a111: Logged on 2018-01-17 16:43 asciilifeform: concretely, e.g., Dividend_Index in http://btcbase.org/patches/ffa_ch7_turbo_egyptians#L31
asciilifeform: ben_vulpes: http://btcbase.org/log/2017-12-08#1748666 ☝︎
apeloyee: that _would_ be ugly indeed
apeloyee: "1) ugly" << can't see that.; "2) ... it relies on type ranges for good chunk of the proofolade"<< if you really want, can explicitly declare a subtype of Stack_Positions, omitting 0 from it
apeloyee: SP _is_ a cursor, I'm merely suggesting to treat it as such
apeloyee: cursors are pointing _between_ elements
asciilifeform: one way i considered doing this, is to do away with all such things as 'SP - 1', 'SP - 2', etc. and instead to have e.g. Get_Stack_First, Get_Stack_Second, etc., each of which individually would ensure that the desired element exists. but these would have to return 'access type' (pointers) which thus far i've avoided using .
asciilifeform: concretely, e.g., Dividend_Index in http://btcbase.org/patches/ffa_ch7_turbo_egyptians#L31 ☟︎
apeloyee: well, ideally it would have a "No_Out_Arguments_Aliasing" restriction which would insert runtime checks ☟︎
asciilifeform: No_Implicit_Conditionals is working as described on the box : https://docs.adacore.com/gnathie_ug-docs/html/gnathie_ug/gnathie_ug/using_gnat_pro_features_relevant_to_high_integrity.html#controlling-implicit-conditionals-and-loops
apeloyee: then why "it gets nuked by No_Implicit_Conditionals."? wreckers (tm)?
asciilifeform: No_Implicit_Conditionals does not affect such jumps however
asciilifeform: partially ( for array copies ) . but it gets nuked by No_Implicit_Conditionals.
apeloyee: FZ_Mod_Mul also ☟︎
asciilifeform: but i can't help but agree with apeloyee re the Product in FZ_Mod_Exp , it gotta be buffered.
esthlos: lol diana_coman
esthlos: diana_voman very likely am over thinking things
apeloyee: FZ_Mux
asciilifeform: prolly FZ_Mod_Exp oughta accumulate Product in a temp, and shit it out in 1shot in the end, like FZ_Mod_Mul.
shinohai snail-mails diana_coman all my claim updates, looks around forlornly as they all vanish into lbn ....
shinohai: Well as diana_coman said, Eulora encourages one to customize to one's liking.