← | Results 1001 ... 1250 found in all logged channels for 'ffa' | →
(trilema) asciilifeform: ( starting with ch12 all ffa tested strictly on ave1's gnat )
(trilema) mircea_popescu: in any case it was never common, more of a rich folk giving young bride best chances sorta affair, "if i'ma spend a fortune rising this special camel it'd better sniff dead corpses" sorta thing.
(trilema) asciilifeform hands 100% full with ffa , presently
(trilema) asciilifeform: http://btcbase.org/log/2018-12-03#1877916 << to date we've had both types of regrind ( e.g. diana_coman reground 'mpi' into 1 genesis, for use in smg ; ffa on other hand had a 'history-preserving' regrind , http://www.loper-os.org/?p=2743 ; and iirc mod6 is baking a 'history' regrind for trb ; diana_coman had 'history' regrind for eucrypt; and possibly i missed somebody in this list )
(trilema) asciilifeform: what we do know was that he was kurchatov's direct boss. and presided over mind-bogglingly successful 'yesterday we had horse plow and today nuke' affair.
(trilema) asciilifeform: it is really mega-mystery that device where nonrecoverable tooling cost is comparable to satellite rocket , is intensely start-topology/centralized affair in management ?
(trilema) asciilifeform: unless yer unspeakably loaded ( in usa this existed, and so there ~were~ 'bolixes', oddball affairs that were not 'pdp clone' )
(trilema) mircea_popescu: the "consummer affair" is the gringo's exact version of the "thinking man gave up", coming 2 decades later. (ie, next generation of ustards copied prev generation of soviets. like they always do, btw)
(trilema) asciilifeform: i cannot presume to pin this down exactly. will share hypothesis tho : '50s-'60s su excelled at 'castles' , 'institutional' mega-constructions. venus rocket is a pyramid. but ic is a konsoomer-driven affair
(trilema) asciilifeform: ( neither asciilifeform nor asciilifeform's elder brother ever saw bk in anyone's house, was ruinously expensive, but at public toilet type affairs was common )
(trilema) asciilifeform: pcb fabs, much more pedestrian affair, are run sanely, they eat PNGs and text file of coords/rotations for placer robot.
(trilema) asciilifeform: http://btcbase.org/log/2018-11-30#1876362 << i'll admit, i kept half-expecting him to actually read a ch of ffa and go 'hmm... maybe i should throw out my c hairball and mecha-proofisms' but of course no dice.
(trilema) asciilifeform: btw , q for ffa readership, can anybody think of a way to make the digit slider routine non8bitbyte-clean ? ( beyond having ffa eat its pistol on boot if it finds itself on such machine, lol )
(trilema) asciilifeform: the statement is quite serious, i and some yet-unknown number of other people will literally bet arse on our grasp of ffa correctness.
(trilema) asciilifeform: ffa. see esp the passage re parachute.
(trilema) zx2c4: hey ffa in ada
(trilema) asciilifeform: at 1 time, was used in the constant entry ( nibble inserter ) routine, then the latter was replaced with rewritten http://www.loper-os.org/pub/ffa/hypertext/ch13/fz_io__adb.htm#29_14 , nao sole remaining use is in the knuth divider.
(trilema) asciilifeform: diana_coman: i'ma also note, _O_I is used strictly in fz_mod : http://www.loper-os.org/pub/ffa/hypertext/ch13/fz_divis__adb.htm#83_14 ; prolly oughta be inlined ~there~ and abolished as a global (even internally) function.
(trilema) asciilifeform: i.e. one will call, roughly, P(pcodestring, ffawidth, ffaheight, maxsteps) and get output.
(trilema) asciilifeform: incidentally even the currently given 'external api' is eventually to be 'internalized', in the sense that user input is expected to be in P-code (presently named as 'ffacalc') and output ditto
(trilema) asciilifeform: i'ma add commentary/warnings when diana_coman et al point out good additional places where; but no one should live with expectation that ~all~ possible ways to break ffa by monkeying with internals, will be listed
(trilema) asciilifeform: idea being , exported routines ( current set is shown in http://www.loper-os.org/pub/ffa/hypertext/ch13/ffa__ads.htm ) are to be 'safe on all electrically possible inputs' , with the exception of div0 (user is commanded to test for div0, as example in http://www.loper-os.org/pub/ffa/hypertext/ch13/ffa_calc__adb.htm#172_17 )
(trilema) asciilifeform: observe that the operators of fz_shifts are not exported in ffa.ads ( ch11 unified api ) , they are strictly for internal use in the lib.
(trilema) diana_coman just ate ffa 3, will sign
(trilema) asciilifeform: ( ffa has 0 deps outside of gnat itself and system character i/o, currently posix's )
(trilema) asciilifeform: in unrelated lulz, $ wc -l libffa/* >> 3930 , $ wc -l ffacalc/* >> 1184 ; and story not even finished yet. ( tho ch1's 'RSA occupies around 3000 lines, incl. comments' was not a lie, it's exactly what the minimal rsa of ch9 weighs... )
(trilema) asciilifeform at one point tried to systematically fit in head danielpbarron's theology, but it appears to be at least as complicated as ffa; broke teeth
(trilema) asciilifeform: naturally they won't be present in a correct 4000ln ffaistic ecc
(trilema) mircea_popescu: asciilifeform myeah. though in fairness, those corner cases rarely in the ffa or ffa-lite deployed.
(trilema) asciilifeform: mircea_popescu: trb dun use any 'wwwism' from ssl, only the ecc numerics, so i expect just about any extant version will link and run. the rub is how it'd behave in unexplored corner cases, as in the der sig affair
(trilema) mircea_popescu: wouldn't it be ~nice~ if you used some kind of sane naming convention ? trb.adding-ffa.alf ? something ?
(trilema) asciilifeform: ftr 1 of the many ruins that litter asciilifeform's hdds is a half-written ada ecc ( pre-ffa )
(trilema) asciilifeform: mircea_popescu: could, for example, use diana_coman's. or a modified permissive ffa. or even the thing that came with gnat. but in any case would be 'sapper errs once' component, gotta be bug-free
(trilema) mircea_popescu: politically, ffa is fine. practically, it might not work.
(trilema) mircea_popescu: and yes, ffa majorily useful, and no, not necessarily against writing for it. but there may be a timing issue (trb that takes > minute to check block is useless)
(trilema) asciilifeform: can be written from scratch ( whoever thinks that he can do it faster than asciilifeform's ffa, is welcome to try, i promise to take off hat ) or on ffa, either.
(trilema) asciilifeform: if mircea_popescu gives signal that we're fucking done with the old flintlock pistols, then i'ma start welding on ffa in trb as soon as the former is battlefield-ready.
(trilema) asciilifeform: ( it is certainly indexed in the place where it lives -- http://www.loper-os.org/pub/ffa/hypertext/ch13/fz_basic__adb.htm#72_13 -- but for some reason not in ffa_calc__adb... )
(trilema) asciilifeform: ( e.g. in above example -- FFA_FZ_Get_Head is not linkable, and several hrs of dig failed to tell me why )
(trilema) asciilifeform: still mighty useful. ( presently i'm continuing with the http://www.loper-os.org/pub/ffa/hypertext/ch13/ffa_calc__adb.htm thing, to fill that niche )
(trilema) a111: Logged on 2018-11-26 02:46 asciilifeform: !Q later tell phf plox to snarf http://www.loper-os.org/?p=2822 into http://btcbase.org/patches?patchset=ffa , ty
(trilema) asciilifeform: entirely possible that whole affair is entirely like other spamola, i.e. not actually +ev for anybody
(trilema) mircea_popescu: i'm sure if someone defaces ffa series to talk about what-ustards-understood-of-foucaults-sexnonsense-half-century-later someone'll notify you.
(trilema) asciilifeform: pehbot is simply a wrapper around compiled ffa_calc , currently it gives closest possible picture to what you get if you ran the proggy itself locally.
(trilema) a111: Logged on 2018-11-26 02:46 asciilifeform: !Q later tell phf plox to snarf http://www.loper-os.org/?p=2822 into http://btcbase.org/patches?patchset=ffa , ty
(trilema) lobbesbot: phf: Sent 11 hours and 19 minutes ago: <asciilifeform> plox to snarf http://www.loper-os.org/?p=2822 into http://btcbase.org/patches?patchset=ffa , ty
(trilema) asciilifeform: mircea_popescu: now you know what half of ffa illustration sweat loox like !
(trilema) phf: asciilifeform: a downside to your renaming the patches is that it breaks all the old btcbase links. e.g. http://btcbase.org/patches/ffa_ch1_genesis is now http://btcbase.org/patches/ffa_ch1_genesis.kv even though the content is the same
(trilema) ascii_modem: http://btcbase.org/log/2018-11-23#1874276 << longer even! i have time budget to ffa XOR sand and repaint my www, not currently both tho
(trilema) lobbesbot: phf: Sent 3 minutes ago: <asciilifeform> plox to snarf http://www.loper-os.org/?p=2798 into http://btcbase.org/patches?patchset=ffa , ty
(trilema) asciilifeform: this is the reason why asciilifeform is saving the optional asm subroutines in ffa for ~dead last~ ( per http://www.loper-os.org/?p=2735 proclamation ) rather than given in beginning of series
(trilema) asciilifeform: i've added all kindsa 'new api' in ffa, but the only regrind was when we took up new hash type for vtrons
(trilema) a111: Logged on 2018-11-18 20:52 diana_coman: http://btcbase.org/log/2018-11-18#1873291 - noted and added to the list though it might still take some time to get up to speed with ffa again
(trilema) asciilifeform: http://btcbase.org/log/2018-11-18#1873480 << this is entirely ok, diana_coman , there is not a burning hurry ( tho i expect that anybody who intends on firing ffa on battlefield will first take the time to properly eat it )
(trilema) asciilifeform: ( e.g. ffa genesis, is very small, but contained all of the basic fundamental moving parts for simple arithm )
(trilema) a111: Logged on 2018-06-25 16:40 mircea_popescu: spyked> I think there's great benefit in the ffa chapter-based approach << that ~started with a genesis~.
(trilema) trinque: if someone shows me the thing didn't work, I go fix a bug, but dispute resolution between users happens in *your* courts, not mine. if I later condescend to involve myself in the affairs of lowlier folks than anyone present, it'll come yes with a hefty fee, or hanging both, or whatever most dissuades the behavior.
(trilema) a111: Logged on 2018-11-18 16:57 asciilifeform: unrelatedly, ave1 , diana_coman , mircea_popescu , phf , other folx with a gnat and 10min of free time -- asciilifeform would like to see outputs of http://www.loper-os.org/pub/ffa/thousand_muls.txt ( ch12 benchmark ) on various irons
(trilema) diana_coman: http://btcbase.org/log/2018-11-18#1873291 - noted and added to the list though it might still take some time to get up to speed with ffa again
(trilema) asciilifeform: unrelatedly, ave1 , diana_coman , mircea_popescu , phf , other folx with a gnat and 10min of free time -- asciilifeform would like to see outputs of http://www.loper-os.org/pub/ffa/thousand_muls.txt ( ch12 benchmark ) on various irons
(trilema) mircea_popescu: http://www.loper-os.org/pub/ffa/ch12_mul_timing.png << so beautifully linear! i would daresay this graph by itself promises corectness.
(trilema) asciilifeform presently massaging ffa ch12, expects to take most of today
(trilema) asciilifeform: ffa/p-tron as a dos boot disk would imho rock.
(trilema) asciilifeform: ( i deliberately wrote ffa in such a way that it oughta work on under 32bit or even plain 16, supposing somehow enuff ram )
(trilema) asciilifeform: it is on hold pending resolution of http://btcbase.org/log/2018-10-26#1866266 ( and is taking back seat to ffa currently )
(trilema) asciilifeform: btw i was going through my ffa notebooks and found a margin note that was actually about this, that prolly oughta go in the l0gz : if yer 'pow' is a walk-through-storage, 1 problem is that initial state of the system gives too little material to walk. so 1 interesting answer might be to include a 'ballast', consisting of, say, the first 9 yrs of classical btc blox, 1...N, that is part of the luby'd set (as raw bytes, rather than as m
(trilema) asciilifeform actually ran 2 printers into the ground since started ffa
(trilema) asciilifeform: ( no algo in ffa is newer than 1988 or so )
(trilema) asciilifeform: mircea_popescu: kinda what ffa is
(trilema) asciilifeform: i wish i could concur, but while baking ffa i had to eat a good 100GB of pdf.
(trilema) asciilifeform: mod6: have you considered to get a diff heathen gig ? the kind where you dun have to go anywhere ? in '16 asciilifeform pulled this off, yes it took having to run on batteries for a spell, but was 100% worth it, it's the only reason i had strength to actually do FG, ffa, etc
(trilema) asciilifeform: i was hoping to avoid baking hashing into ffa/p , but loox like it isn't escapable if we're doing oaep
(trilema) diana_coman: the table with FFA patches looks great; I'll look into carving again some space to re-start on it
(trilema) asciilifeform: i think just his bigendian vs littlendian speshulcases (why he has any?! ffa doesn't..! ) weigh moar than all of ffa together
(trilema) asciilifeform: mircea_popescu: i dunno whether the shoe fits tho, afaik china is very much a http://btcbase.org/log/2018-11-13#1871815 kind of affair
(trilema) asciilifeform: i'd like to be able to put a link in the 'ffa regrind' article, 'and you can press it with ~this~'
(trilema) a111: Logged on 2018-11-13 14:21 asciilifeform: when i started ffa, i did not plan to bake any asm speedups at all. but there's 2 reasons to do it, eventually : one is that on e.g. x86/x64, getting the upper half of a word-sized multiplication, without asm, takes ~four~ MULs plus a buncha additions : http://www.loper-os.org/pub/ffa/hypertext/ch11/w_mul__adb.htm#95_14
(trilema) asciilifeform: nao, this being said, my objective is still to give acceptably-performing, re erryday ops, ffa ~without asm~. but asmism will make a serious diff re e.g. key generation, make minutes instead of day+.
(trilema) asciilifeform: ( there is also the fact that such a simple thing as addition with carry takes not 1 ADD instruction, but an entire http://www.loper-os.org/pub/ffa/hypertext/ch11/word_ops__adb.htm#36_13 orchestra )
(trilema) asciilifeform: the other is that on iron such as certain ARM ( i have not yet investigated ~which~ ) , and ppc, and certain others, there does not even exist a constant-time MUL, and one is stuck with some variant of http://www.loper-os.org/pub/ffa/hypertext/ch11/w_mul__adb.htm#33_13 -- which really begs to be asmed, is riotously inefficient
(trilema) asciilifeform: when i started ffa, i did not plan to bake any asm speedups at all. but there's 2 reasons to do it, eventually : one is that on e.g. x86/x64, getting the upper half of a word-sized multiplication, without asm, takes ~four~ MULs plus a buncha additions : http://www.loper-os.org/pub/ffa/hypertext/ch11/w_mul__adb.htm#95_14
(trilema) asciilifeform: ( but eventually i do want to write e.g., asmtronic MUL, for arm64 ffa )
(trilema) asciilifeform: i was able to regrind ffa today, using phf's vdiff, but atm cannot yet press and confirm that it actually presses to same thing as the classical
(trilema) bvt: though i have nothing against work on bignum multiplication and modexp -- but as i see it, it could be a side branch of ffa. ffa already provides a solid foundation for such algorithm exploration.
(trilema) asciilifeform in the process of keccakizing ffa, hence practical q
(trilema) asciilifeform: when i have the choice, i'd rather write proggy to need no such cassettes ( observe, streams are not used in ffa )
(trilema) asciilifeform: ( it worked, in certain sense of 'worked', for bitcoin -- but it is not only a quite narrow problem set, but very diff affair in re process latency than what folx generally expect of 'server' )
(trilema) mod6: So usually that leaves 30min-1hour per night, sometimes more depending on the size. Sometimes I fall down a well in the logs if i'm looking for something specific related to any number of things: pizarro, foundation, ada, ffa, who knows.
(trilema) asciilifeform: mircea_popescu: after ffa/p beta rollout, i'ma be at yer service for the next thing ( fg2? tmsr.mips ? radio ? or other, take yer pick )
(trilema) asciilifeform: ( i got one coming in a week or so, tho, for ffa exhaustive tests )
(trilema) asciilifeform: ^ mircea_popescu , diana_coman , other potential ffa eaters ^
(trilema) asciilifeform finally finished rereading ffa, nao preparing ch12 + estimate of just-how-long-to-battlefield promised earlier
(trilema) asciilifeform: phf: i prolly won't get a chance to actually put it to use in near term, hands pretty full with ffa; but would like to have it. if it's there to be had.
(trilema) BingoBoingo: Fox is Murdoch's though it has cucked a lot since he handed it to the kids. CNN is buffalo guy Captain Planet's weird fetish project
(trilema) asciilifeform: ( it's not ~completely~ fucktarded, all of ffa is still reachable via http://www.loper-os.org/pub/ffa/hypertext/ch11/ffa__ads.htm . but still frustrating )
(trilema) asciilifeform: phf: it's definitely not perfect, e.g. why the FUCK is FFA_FZ_ZeroP not clickable ?
(trilema) asciilifeform: phf: the default view ( http://www.loper-os.org/pub/ffa/hypertext/ch11/ ) of gnathtml gives you a frames thing with ~worthless alphabetic index in the left pane. really it oughta show 'where currently clicked symbol used' imho
(trilema) asciilifeform: 3) -l1 turns on line numbering; -I adds paths to the libraryisms ; -p takes a file containing src_dir=. gpr_file=ffa_calc.gpr .
(trilema) asciilifeform: 2) cd ffa/ffacalc ; gnathtml.pl -l1 -f -D -I obj -I ../libffa -I ../libffa/obj -p ffa_calc.adp ffa_calc.adb
(trilema) asciilifeform: mod6: rereading own ffa , from opening shot to 11
(trilema) asciilifeform: fwiw i've massaged ffa to the point where it's fully static and the problem dun affect it any. but some of my other stuff (mmap) is hobbled by it.
(trilema) asciilifeform: current ffa relies on the user/caller to wipe
(trilema) asciilifeform: ( it's not a wholly useless thing, i dun have it in current ffa but my 1st draft used it to wipe all data on the stack erry time it goes out of scope )
(trilema) bvt: myeah, i solved it by maximally recreating the ffa project structure, so can't say i did anything informed by the 'first principles' there.
(trilema) bvt: otoh, when i added a single line 'package SIO is new Ada.Sequential_IO(Positive);' to ffa_calc.adb, it errored out during the compilation in the same way
(trilema) bvt: just tested ffa-8 where rng was introduced -- it works fine. would be trying to understand what is wrong with my code, then
(trilema) diana_coman: hm, weird; now I'm really curious if you get the same complaint with asciilifeform's ffa (or my smg comms for that matter)
(trilema) bvt: i used gnat 2017. will test ffa rng code and see if it works out.
(trilema) asciilifeform: bvt: which gnat are you using ? i've never observed any such thing ( and i use the same restriction, http://btcbase.org/patches/ffa_ch11_tuning_and_api/tree/ffa/libffa/restrict.adc#L76 , ~with~ sequential i/o, http://btcbase.org/patches/ffa_ch11_tuning_and_api/tree/ffa/ffacalc/ffa_rng.adb#L49 )
(trilema) mircea_popescu: hence the whole effort in ffa, which is nothing else and nothing besides a switching harness for 64 bit cpu so it doesn't leak data while switching it for a 8192 native byte.
(trilema) a111: Logged on 2018-11-01 21:02 asciilifeform re-rotates desk to ffa pile
(trilema) a111: Logged on 2018-10-31 17:54 asciilifeform: implicit conditionals aint evil per se , tho ; i banned them in ffa specifically as they get in the way of constanttimeism, is all
(trilema) bvt: i also intend to genesis a ffatronic base64 encoder/decoder that i wrote as an exercise (also todo for the weekend).
(trilema) asciilifeform re-rotates desk to ffa pile
(trilema) mircea_popescu: an altogether rather posh affair
(trilema) asciilifeform: e.g. 'I’m just back from a wedding in Calgary. It was a fairly posh affair, if an intimate one befitting the couple’s slightly more mature stage of life. A well-to-do dentist, herself the daughter of an even better-to-do-though-recently-retired dentist, was marrying a charming chap from the Maritimes. It was a slightly exhausting trek with our four-month-old in tow, but in the end so very worth it' etc etc
(trilema) asciilifeform: there is no particular reason why ~erry~ proggy has to have the same pragma fascism as ffa ( and in fact i've written several that cannot function under that set of constraints, e.g. the mmap thing requires System.Address )
(trilema) asciilifeform: implicit conditionals aint evil per se , tho ; i banned them in ffa specifically as they get in the way of constanttimeism, is all
(trilema) asciilifeform: diana_coman: out of curiosity -- given what mircea_popescu said the other day re necessary speed of rsa ops, could potentially use the current (11) ffa ?
(trilema) asciilifeform: the funny/sad bit is that this is ALREADY in gnat, for e.g. http://btcbase.org/patches/ffa_ch8_randomism#L132 , but ~not exposed~ ! to user
(trilema) a111: Logged on 2018-10-25 05:10 asciilifeform: http://btcbase.org/log/2018-10-25#1865735 << i took a stab at this 2y ago, was very frustrating on acct of asic-baking not being a 'cash and carry' process like e.g. pcb-baking, but a heavily meat-powered affair where the derps want to 'get to know you' to figure out how much they can fleece
(trilema) asciilifeform: http://btcbase.org/log/2018-10-25#1865735 << i took a stab at this 2y ago, was very frustrating on acct of asic-baking not being a 'cash and carry' process like e.g. pcb-baking, but a heavily meat-powered affair where the derps want to 'get to know you' to figure out how much they can fleece
(trilema) asciilifeform: bvt: i have a variant of this in ffa, and yet another subset in mmap
(trilema) diana_coman: ftr I quite like the neat way in which asciilifeform defined those basic types in FFA; however, he went for the classical types so byte, nibble ; and I find octet SO much easier than I'm reluctant to give it up in my code (though all it takes is anyway a "subtype Octet is Byte" at top if Byte definition is to be adopted)
(trilema) lobbes: hm interesting. I too have hands tied up but have been meaning to get a few chapters of ffa under my belt. I'll jot this idea down for far off in the conveyor if someone else doesn't get to it first (and by all means, Someone: feel free to beat me to this punch)
(trilema) jurov: !!v D6501B76142629F8BA195E6D012B636FFA3ECE2C2D2EAE7C9BB2719A55238146
(trilema) bvt: !!v 314FFA01ECAE3BF4FD9863521D78063D3329D513BBF082B11172B54A17B8A7B3
(trilema) asciilifeform: and of course there is a mircea_popescu to laugh, cuz it's pretty laughable state of affairs
(trilema) mircea_popescu: and in fact the complaint wasn't "you're not telepathic enough to be here" in any sense, but quite specifically "after having been shown the bells and the whistles from different angles and being allowed some digestion time you ~still~ don't manage to recognize them, and therefore lack the fundamental ability required to participate in the affairs of humanity".
(trilema) ave1: Using the stack makes code less error prone and a lot more readable, please read the FFA code; http://www.loper-os.org/?cat=49.
(trilema) asciilifeform: i have 1 presently ( switched off, will move it to pizarro in near fyootoor ) , talks to ffa
(trilema) asciilifeform: i illustrated this in ffa
(trilema) ave1: asciilifeform, I was looking for mux just now in ffa just now and I came by the add_gated which uses a different method,.
(trilema) asciilifeform: ave1: you dun need ffa for this, yer dividing single words by single word
(trilema) ave1: the div variant could be made to be constant time using the ffa primitives but currently is not.
(trilema) BingoBoingo: Then there's all the pop culture kioski names: Kiosko Buffalo Bill, Kiosko Chicago Bulls, Kiosko Tommy...
(trilema) diana_coman: lol! who's jimmy hoffa?
(trilema) mircea_popescu: diana_coman if you end up seeing Framedragger / jimmy hoffa / elvis tell them they're missed.
(trilema) mircea_popescu: well ? the FACT of the matter is that reproduction is -ev. always was, too. so little yellow men wish to participate in the affairs of humanity by essentially taking on the role of the human female ? this is a crime now ? should be hated for attempt to participate as best can ?
(trilema) BingoBoingo: In still other news, Conner McDayofFailure lost a match in a his rules fight league. His opponent went on to apparently jump the cage and beat McDayofFail's corner while the victor's corner hopped in the cage and beat up on McDayofFail some more
(trilema) mircea_popescu: we ~needed~ a republican crc32 anyway, it's useful and important, chapter head exactly like "we need a hash" or "we need a ffa", and i was aware extant code is not fit for pitching.
(trilema) asciilifeform: http://btcbase.org/log/2018-10-04#1857985 << financials -- none; conveyor -- tmsr.udp ; ffa to resume once i wrap up keccakizing
(trilema) a111: Logged on 2018-10-01 15:59 mod6: And before the republic, I was very much a one-thing-at-a-time type of engineer. Seems like over the last year or maybe 18 months, I feel like I'm context switching so much, that I find it hard to get deep into the thinking that I need to. For instance, it bothers me that I still haven't found time to work through FFA.
(trilema) mod6: Not only FFA, but other parts of TRB that I'd love to educate myself upon. I think you take my meaning.
(trilema) mod6: And before the republic, I was very much a one-thing-at-a-time type of engineer. Seems like over the last year or maybe 18 months, I feel like I'm context switching so much, that I find it hard to get deep into the thinking that I need to. For instance, it bothers me that I still haven't found time to work through FFA.
(trilema) asciilifeform: fwiw i see my own work on trb, to date, as a ~defensive~ affair, i.e. to make whatever fixes req'd to keep the thing working precisely as it worked in 2009, in the face of the very real and continuing network rot / 9000 forms of active attack from heathendom to date
(trilema) mircea_popescu: http://btcbase.org/log/2018-09-30#1856000 << i kinda don't follow the logic here ? i thought unlocking is a take-ownership-of-item-in-possession affair, what's the color of bits to do with anything ?
(trilema) asciilifeform: right nao we only have blox because chinese d00dz i've never heard of, and dun expect to, run ~trb-compat proggies. i've nfi if trb per se helps this state of affairs to continue, but for so long as it continues, oughta at least not interfere, imho.
(trilema) asciilifeform: i dun blame mircea_popescu for pissy, current state of affairs is bad for blood pressure unequivocably
(trilema) a111: Logged on 2018-09-28 16:15 Mocky: asciilifeform, O(1) crapolade packet rejection is already available in software with your FFA lib, if RSA over non-frag UDP was built on top, no?
(trilema) a111: Logged on 2015-07-30 15:33 mircea_popescu: but yes, it was practically shown that a) no actual protection from ddos exists, outside of the ostrich method discussed above and b) udp is the key to this state of affairs.
(trilema) Mocky: asciilifeform, O(1) crapolade packet rejection is already available in software with your FFA lib, if RSA over non-frag UDP was built on top, no?
(trilema) mircea_popescu: HOWEVER, loads and loads and LOADS of 30yo males without property were spending 24/7 trying to figure out how to use me to clean the shit of failure offa themselves.
(trilema) asciilifeform: e.g. i can put out ch12 of ffa on keccak.
(trilema) asciilifeform: i suspect if baking were an affair where ~erry~ yeast cell gotta agree, or nuffin happens , or at the very least a horror in the vein of http://btcbase.org/log/2017-08-28#1703881 , would resemble the engineer's toil
(trilema) mircea_popescu: nicoleci in the classical formulation, at a time when scottish-english rivalry was a poignant affair, respectable middleclass scot was depicted sitting in his tea chair with the newspaper, and reading about a linconlshire rapist and murderer
(trilema) asciilifeform: ( i had'em in the 1st drafts of ffa, then abolished , they interfere with proper compartmentalization )
(trilema) asciilifeform: diana_coman: currently i am lacking a bigendian iron (or a gnat for such) so never got a chance to truly and properly test endianism conversion (as for ffa, it is endian-insensitive, but this is simple where there is no networking)
(trilema) asciilifeform: ( and i didn't get a chance to finish the whole thing, was right when i picked up ffa )
(trilema) asciilifeform: mircea_popescu: 'literate english' is already a ~archaeologists-only affair.
(trilema) asciilifeform: BingoBoingo: i'm willing to talk to 'hey i read ffa and in ch4 you missed this-here obvious optimization, here's proof'. but 'hi i am reddit, hear me roar' can go the fuck perma-away.
(trilema) BingoBoingo: Topic: You have reached the public forum of The Most Serene Republic, a terrorist organisation dedicated to the creation of a safe space for the elites to productively defect to, leaving the pantsuit stranded behind. If you'd like to help see http://trilema.com/2016/how-to-participate-in-the-affairs-of-the-most-serene-republic/ . This channel is logged.
(trilema) BingoBoingo: <mircea_popescu> speaking of which, BingoBoingo you ARE making cozy with dc tech people rite ? taking them out to smoke & crimping them to pot or w/e it is they do socially there ? << Fairly friendly with them now that Rodrigo (Fellow who decided to be the point man in the February affair, ben_vulpes met) is gone.
(trilema) asciilifeform: fwiw kernel is ~entirely separate affair from userland.
(trilema) mats: depending on how that goes, i'll explore different power plants, and if THAT goes well, there's a gnat port to build future ffa-gossipd
(trilema) a111: Logged on 2018-08-30 17:24 ben_vulpes: mircea_popescu: the inane shit occupying my time instead of republican efforts is embarrassingly trivial, but since you ask: i'm moving to texas, and so now must wrap fence that was supposed to be a two-season relaxed affair by mid september; throw out a decade+ of crap that i shouldn't have been so lax as to let stick around in the first place, pack my whole existence into transpocubes, get it moved to the
(trilema) ben_vulpes: mircea_popescu: the inane shit occupying my time instead of republican efforts is embarrassingly trivial, but since you ask: i'm moving to texas, and so now must wrap fence that was supposed to be a two-season relaxed affair by mid september; throw out a decade+ of crap that i shouldn't have been so lax as to let stick around in the first place, pack my whole existence into transpocubes, get it moved to the
(trilema) mircea_popescu: if phuctor stayed forever in the "oh, if someone wants to... he could..." bla bla, we'd still have nothing there, and presumably be very happy with it, too. god knows kanzure amstan whatever other tard in the circus has nothing for their decade+, and are VERY happy with the state of affairs.
(trilema) asciilifeform: something larger could handily power receive-24hrs-transmit-1s-day sort of affair.
(trilema) mircea_popescu: this fellow thought that the court has no authority to tell him how to conduct his affairs. this is a capital point which'd have been readily obvious in the 90s, echoes of "cold war" and "What we're all about" ideological gargle still resounding in everyone's ears.
(trilema) mircea_popescu: then "consumerism" is the perfect hidey hut for this state of affairs -- "oh, we're dedicated to the production of things" "yes, for as long as they lack any substance".
(trilema) mircea_popescu: BingoBoingo well, sausagefest mostly a bayern & neighbours affair. the prussians tended to smoke a lot.
(trilema) BingoBoingo: Now all of South America's wars are either civil of Faggy Falklands affairs
(trilema) asciilifeform: ( ffa in particular , only needs a stack, and 2 uarts, 1 for commands, 1 for FUCKGOATS ... )
(trilema) mircea_popescu: there's nothing wrong with this, incidentally. exploration is exploration. "we're trying things out, go away" is a perfectly legitimate state of affairs.
(trilema) asciilifeform: i expect there'll be spots where a thing is 1 or 2 places out of order ( fleanode does not reliably preserve same-millisecond ordering iirc ) but aside from that oughta be diffable afaik
(trilema) a111: Logged on 2018-08-04 22:05 asciilifeform: ben_vulpes: iirc i proposed at one time an intermediate item on the way to proper gossipd ( 'serpent'-ciphered tunneler to connect coupla ircd instances to each other, and ditto for users ( get otp cookie a la deedbot, get a key that's good for 1 tcp connect ) but so far instead followed mircea_popescu's advice re not wasting sweat on such a thing, but pushing with ffa so as to get with what to gossipd.
(trilema) asciilifeform: ben_vulpes: iirc i proposed at one time an intermediate item on the way to proper gossipd ( 'serpent'-ciphered tunneler to connect coupla ircd instances to each other, and ditto for users ( get otp cookie a la deedbot, get a key that's good for 1 tcp connect ) but so far instead followed mircea_popescu's advice re not wasting sweat on such a thing, but pushing with ffa so as to get with what to gossipd.
(trilema) mod6: !!v F9B6E58EC6C6D82F22D1D81EAC8CC603B30A941E6FFA6A12A4D48845F120E27E
(trilema) asciilifeform: btw i oughta mention , i had to resort to a modified vdiff.sh : http://p.bvulpes.com/pastes/rB9AD/?raw=true for ch11 , as the ada comment syntax causes inbandism barf with classic vdiff.sh when deleting or modifying the comment headers at the start of ffa modules
(trilema) mircea_popescu: o hey. wb ffa.
(trilema) asciilifeform finally got inlining to work properly in ffa, ave-style . nao, the article!
(trilema) phf: asciilifeform: while you're at it, ffa_ch4_ffacalc is also binary
(trilema) mircea_popescu: i'll note that everthying the republicans deliver builds like a fucking charm, be it ffa, avetronics or what have you. i've never had a problem of this sort inside the walls.
(trilema) a111: Logged on 2018-07-18 13:42 asciilifeform: phf: say what you will re ada standard, but e.g. ffa is ( afaik! ) a nontrivial and at same time ada2012-compliant proggy.
(trilema) asciilifeform: mircea_popescu: conceivably not all works call for the ffa degree of fascism, where asciilifeform insists on being able to say exactly how many bytes are required after a O(1) look at the inputs, and to say exactly in what order they will be accessed etc
(trilema) asciilifeform: http://btcbase.org/patches/ffa_ch4_ffacalc#L55 << copies the unix turd into the fixed space, if fits, if not, above.
(trilema) asciilifeform: observe http://btcbase.org/patches/ffa_ch4_ffacalc#L97 mechanism, i fix a max length of param apriori, and routine will explicitly and pompously end the world if luser insists on trying to stuff it further.
(trilema) asciilifeform: ( there was not an existing 'profile' corresponding to the degree of 'fascism' asciilifeform wanted , hence the bulk of http://btcbase.org/patches/ffa_ch10_karatsuba/tree/ffa/libffa/restrict.adc item )
(trilema) asciilifeform: for thread completeness i must add that there are items in the standard (i.e. 'tasks') that i do not use in ffa, but intend to make use of in future ( i.e. trbi ) , and may be let live.
(trilema) a111: Logged on 2018-07-18 13:45 phf: as far as ada is concerned, the tmsr ada is a subset of standard, that only exists in your head, and can be somewhat inferred from ffa. that's no standard
(trilema) ave1: phf, asciilifeform's ffacalc uses only a few C functions all for IO / exit and command line arguments. I just have to provide the right functions in the ZFP library for ffacalc (currently first on conveyor but also some real life priorities these weeks)
(trilema) asciilifeform: ( hence why the logic is brought out to ffa_calc, rather than part of the lib proper -- to emphasize this )
(trilema) phf: i'm starting to think that maybe it doesn't (my memory of logs are hazy on that point, perhaps ave1 mentioned that he's working on getting ffa_calc working), because i believe you're also using interfaces.c at least to declare the types that you get in/out of c system calls
(trilema) asciilifeform: phf: my specific motivation in asking ave1 for this, was to enable building e.g. ffa where binary is small enuff to manually disasm and audit.
(trilema) phf: asciilifeform: i thought that you were arguing that the subset of ada runtime that's included in zfp "ought to be enough for everyone", since at the moment i believe it compiles ffa, my apologies.
(trilema) phf: as far as ada is concerned, the tmsr ada is a subset of standard, that only exists in your head, and can be somewhat inferred from ffa. that's no standard
(trilema) asciilifeform: ( ~ffa_calc~ is not, as it uses a gnatism to grab the commandline args. )
(trilema) asciilifeform: phf: say what you will re ada standard, but e.g. ffa is ( afaik! ) a nontrivial and at same time ada2012-compliant proggy.
(trilema) asciilifeform: shinohai: otherwise pretty busy, currently with ffa reignition
(trilema) mircea_popescu: http://btcbase.org/log/2018-06-21#1828036 << this has been sloshing through my head for a while now ; and while it seems eminently correct a stance, and rather very much the manner in which we've been conducting our affairs to date, it readily also provides a solution for the http://btcbase.org/log/2017-12-05#1746522
(trilema) asciilifeform: trinque: currently massaging ch11 of ffa series, right after this will test-fire your opus
(trilema) ave1: thx diana_coman, It's now very minimal, mostly so that it can be understood as is. I'm working on adding all the code in so that at least ffa can build.
(trilema) a111: Logged on 2018-07-05 05:17 mircea_popescu: asciilifeform when's the ffa restart btw ?
(trilema) mircea_popescu: asciilifeform when's the ffa restart btw ?
(trilema) asciilifeform wrapping up a very gnarly ffa surgery, >2x speed boost. thx to ave1 for the gnat clues.
(trilema) asciilifeform: observe that ffa runs , per PeterL, on winblowz, despite asciilifeform having made 0 effort in this direction
(trilema) asciilifeform: hygiene was a quite different affair before discovery of soaps, and likewise programming -- without v
(trilema) a111: Logged on 2018-06-25 12:20 spyked: I think there's great benefit in the ffa chapter-based approach, so I'm not sure yet what the genesis should include. maybe only the lispm piece? or only the spec file from lispm? my sense so far is that after some discussion, at least some of the parts will be rewritten
(trilema) mircea_popescu: spyked> I think there's great benefit in the ffa chapter-based approach << that ~started with a genesis~.
(trilema) a111: Logged on 2018-06-25 12:20 spyked: I think there's great benefit in the ffa chapter-based approach, so I'm not sure yet what the genesis should include. maybe only the lispm piece? or only the spec file from lispm? my sense so far is that after some discussion, at least some of the parts will be rewritten
(trilema) asciilifeform: http://btcbase.org/log/2018-06-25#1829397 << imho a genesis oughta be a proggy, if a minimal one, that introduces some basic functionality of the larger item ( as seen in ffa ch1 ) , rather than a placeholder, '[this is genesis and blah and other things will also go here]' -- if this makes sense
(trilema) spyked: I think there's great benefit in the ffa chapter-based approach, so I'm not sure yet what the genesis should include. maybe only the lispm piece? or only the spec file from lispm? my sense so far is that after some discussion, at least some of the parts will be rewritten
(trilema) asciilifeform: PeterL: gprbuild is what applies the restrictions, so what you build is not quite ffa
(trilema) PeterL: asciilifeform: in the interests of science, I built your ffa on a windows system and it appears to work. For some reason gprbuild didn't work, but when I used gnatmake I got a working executable. (I also had to mangle v.py in the process to make it work on my system)
(trilema) BingoBoingo: In other news the venezolana is back to Venezuala for 3.5 weeks starting tomorrow to take care of her now late father's affairs
(trilema) a111: Logged on 2017-11-12 23:07 spyked: in other news, I've been using most of my spare cycles lisping in ada. should be able to wrap up a blog post sharing a very minimal prototype (sane implem. of repl doing nothing but basic ops) in a few weeks. what I've got now adheres to most of ffa constraints. the current version isn't very clean, but getting there...
(trilema) a111: Logged on 2018-06-03 18:36 asciilifeform: ch10 ffa builds a (stripped) 320kB elf
(trilema) mircea_popescu: lotta "Prevenția înainte de toate. Cum să protejăm copiii de abuzul sexual books.google.com Translate this page Elisabeth Raffauf - 2016 - ‎Psychology" bullshit, too. of course.
(trilema) mircea_popescu: !!v 8DE2EDFE706112BD08BC21F05A0FFA66614A66F04E25101DD36F84384CCABA00
(trilema) esthlos: ^^ I'm curious what folx think of the above. Reading through the logs, FFA, etc., I've realized how little I know. So I'm thinking that I'll have to devote the majority of my effort to learning the ropes wrt computing before I can pull my weight in here. Does this make sense?
(trilema) mircea_popescu: can't apply livresque standards of awareness to the herd, they're not human in that sense. you believe cattle is aware of electified fence, even if no cow ever sat down with you and stated as much over beers and buffalo wings.
(trilema) diana_coman: http://btcbase.org/log/2018-06-03#1820437 <- I can very gladly report that it works! I've re-built gnat on an x86_64; took the aarch64-native to the rockchip; unpacked, set, compiled ffa ch1 and ran, all perfectly fine; ave1 you rock!
(trilema) a111: Logged on 2018-06-03 18:36 asciilifeform: ch10 ffa builds a (stripped) 320kB elf
(trilema) asciilifeform: on ch10 ffa: exponentiator test from end of ch.7 runs in 9.2s on dulap, and 28.4s on the test rk3328-roc-cc machine, producing correct output.
(trilema) asciilifeform: ch10 ffa builds a (stripped) 320kB elf
(trilema) spyked: http://btcbase.org/log/2018-06-02#1820283 <-- reading this thread, it just occured to me: is there a convention re. directory structure? the implicit one (in my own head at least) was that each project lives under its own top-level directory (e.g. b/ircbot, b/ffa, b/eucrypt, where b is the press tree). so then does the manifest reside in b/project_name_toplevel_dir/manifest?
(trilema) a111: Logged on 2018-06-01 23:26 asciilifeform: oh btw ave1 et al, stripped static muslic ch10 ffa_calc, weighs only 256kB !
(trilema) asciilifeform: oh btw ave1 et al, stripped static muslic ch10 ffa_calc, weighs only 256kB !
(trilema) asciilifeform: ave1: when your builder is properly ripe, i'ma feature it in the reignited ffa series !
← | →
Download hourly DB snapshot | Get Source Code