← |
Results 251 ... 399 found in asciilifeform for 'ffa'
asciilifeform: for yet-further ref -- glibcistic gnat rts weighs ~1MB; musltronic -- 300k; a theoretically minimal (per ffa) one would weight coupla kB.
asciilifeform recently had been looking at the 'ada rts' and its variants (e.g. ave1's) with the aim of eventual 'iron' rts that actually builds stock ffa/peh.
asciilifeform: newland0: nuffin stops anyone from placing timestamps in the text. in fact, custom for a while has been to place btc block #s in manifest.txt .
asciilifeform: if asciilifeform , like some of his critics, had been sitting on $millions, could've entirely wrapped up ffa in '17. but 'if wishes were horses' etc.
asciilifeform: verisimilitude: at one time i published ffa 1/ch/wk like clockwork. then at one pt no longer could (day job ate time) and this caused epic wank, began the process whereby broke up w/ mp et al
verisimilitude: Without a schedule, it's far too easy to let goals slip by; from now, I'm going to aim for one chapter of FFA weekly, asciilifeform.
asciilifeform: otoh, e.g. ffa was built vtronically from birth.
asciilifeform: shinohai: ffa-style bignum worx on whatever bus width. the issue is horsepower.
asciilifeform: 1, 2, possibly elsewhere (they actually did an ok job cutting the thing into orthogonal pieces for reuse in the various sha* variants)
asciilifeform: ( ftr : 1 easy litmus re which 1 you have, is whether current ffa builds )
asciilifeform: ( see also re subj )
asciilifeform: this kinda thing is why there will be no escape from actually disasming/auditing any safety-critical item actually built w/ gnat (this is the 'secret' of why asciilifeform used maximally strict subset of the lang in ffa -- i.e. prohibited secondary stack, etc. -- to get lean binary)
asciilifeform at one pt had genericism in ffa, prior to 1st published draft ch's; rewrote to abolish it.
asciilifeform: in ffa i did not, specifically because wanted to be able to test 32b variant on 64b irons etc
asciilifeform: ( for thread-completeness : complete snapshot of ave1's gnat in htmlized form, for further ref. )
asciilifeform: trinque: it aint case-mutilated, is legitimately as-printed (see ln. 45). but for sumreason yer gnat aint seeing System.* . either brokn paths, dud includes, or missing flag. what was being built (and w/ what ? ) ?
verisimilitude: By the by, asciilifeform, I like that advertisemetn for FFA now on loper-os.
asciilifeform: http://btcbase.org/patches/ffa_ch21a_bis_fix_ch15_gcd.kv/tree/ffa/libffa/ffa.ads << similar.
asciilifeform: speaking of vtrees, ty phf .
asciilifeform: (orig. ru meme character, where 'sumthing happens By Magick', he appears only 1nce in ffa, at the point of the most difficult, imho, lemma )
shinohai: Hey asciilifeform love the woosh cat thing you made for ffa =^.^=
asciilifeform: in other finds, phf updates his www w/ new logotron patch. hey phf, since yer tuned in, canhaz update of ffa snapshot also ? ty
snsabot: Logged on 2020-07-18 19:55:54 asciilifeform: trinque: since you mentioned script langs: considering, after ffa, to attempt a 'dethompsonizing' simple gc-less scheme in asm, in style of 'M' as a scripting lang. can't speak for erryone, but i've wanted a <32kB scripting lang that 'compiles with bare hands' for many yrs.
asciilifeform: trinque: since you mentioned script langs: considering, after ffa, to attempt a 'dethompsonizing' simple gc-less scheme in asm, in style of 'M' as a scripting lang. can't speak for erryone, but i've wanted a <32kB scripting lang that 'compiles with bare hands' for many yrs.
asciilifeform: trinque: as for me, at finally picked back up docs for ffa ch21 , after lengthy break
asciilifeform in fact considered to write a dead-tree ada text w/ ffa as the base material. but from commercial pov such projects are massively -ev .
asciilifeform: neither ffa nor any other software will do idjit any good. esp. if he insists on stuffing it into a 'smart'pnoje-cum-nsa-os & similar.
gregorynyssa: but the FFA project is turning this into a reality. (=
asciilifeform: e.g. ffa sadly dun fit in 1-2pg
asciilifeform: but deliberately leaving this alone until wrap up ffa
asciilifeform: 'cryostat' incidentally aint for use in ffa/peh, but for experiments in throwing out trb's lame db.
asciilifeform: re os knobs, the only ones used in ffa/peh are command line param eater, and opener of rng device. errything else is device-agnostic. (i.e. will run anywhere with a reasonably large memory for stack)
asciilifeform: fwiw i have an unreleased ver. of ffa for embedded boxen, where does not rely on linux knobs.
asciilifeform: in yet-other cases (e.g. command line param handling), the functionality exists in standard gnat but is incompat. w/ restricted compilation profiles as-written.
asciilifeform: and not even necessarily speaking of 'exotica' e.g. mmap. even bit shifts were omitted from the standard.
snsabot: Logged on 2020-05-22 19:16:01 asciilifeform: on that subj, in other noose, asciilifeform has a working ada mmap lib. will genesis after cleanup. (found the magick pill for this old item while reading gnat docs during ffaism..)
snsabot: Logged on 2020-06-04 04:11:35 adlai: unlike most mystic mathematicians and seekers of the unsnuffable flame, I actually do not have much interest in volunteering to chase these metaphorical oil spills, although I am glad that someone at least knows where the garbage went.
adlai: unlike most mystic mathematicians and seekers of the unsnuffable flame, I actually do not have much interest in volunteering to chase these metaphorical oil spills, although I am glad that someone at least knows where the garbage went.
verisimilitude: I should revisit FFA, but I'd need to reread everything I've read so far, by now.
shinohai imagines feeding a fortran ffa puchcards ......
asciilifeform: funnily enuff i orig. considered fortran for ffa.
asciilifeform: in ffa tests, gets approx. 1/2 the performance of asciilifeform's opteron. which on <5watt is imho nifty.
asciilifeform: adlai: it strikes me as a 'work 12h/d to make min.wage while you sleep!' kind of affair. and yes, it is to yer credit that you never tried to sell etc. but still , rly, why to bother ?
asciilifeform: trinque: ftr i wrapped up the design for the 'atomic fg' in nov. -- but put on ice, would like to polish off beta ver. of ffa 1st.
asciilifeform: on that subj, in other noose, asciilifeform has a working ada mmap lib. will genesis after cleanup. (found the magick pill for this old item while reading gnat docs during ffaism..)
asciilifeform: verisimilitude: sadly no 'magic' dates. for 1st half yr of ffa, i had buncha material pre-written and queued up for fridays, but this fell apart when ran out of 'canned' and into gnarly unsolved things
asciilifeform: (aaand then also dun have to be concerned w/ whether there's a barrel shifter, if there aint one , the subword qshifts gotta be used, if yer shift amt is variable )
asciilifeform: the qshifts , for ref.
PeterL: there is not currently a FZ_rotate in FFA, right?
asciilifeform: ( direct links, e.g. like-so, ~do~ work on 'lynx'. but to make thing embeddable in wp article, gotta have the frame.. )
asciilifeform: meanwhile, sneak preview of toy from ch21b . if anyone tries and finds doesn't work, plz lemme know $browser etc .
asciilifeform for colourization of 'diff', would like sumething like what phf had . but no src was ever, grr, published for it...
asciilifeform: btw billymg iirc you asked to see the peh colourizer. it's in ch21c patch, but since delayed this (had to do the 15 fix) will post nao.
asciilifeform: billymg: reminds me, at one pt i wanted to fix 'gnat2htm' so that all (rather than ~some~, as currently, and for no logical reason...) lines in the output are anchorable
asciilifeform: e.g. ffa
asciilifeform: prolly w/ just the ffa-related junk , thinking about it.
asciilifeform: prolly would've discovered this earlier, if any other ffaisms in fact depended on conventional gcd.
asciilifeform: for my part, i have a miniscule x86 thing that boots a box into 'ffa over rs232' but aint ready for primetime.
asciilifeform: i had hardwarisms going, put'em on ice for the time being, to bring ffa to where can be used in anger
trinque: I have been sweating over an owned distro these past months, and working through FFA atop it is next on my conveyor.
asciilifeform meanwhile found a 2x speedup for the constant-time ffaized version. will be rewriting.
asciilifeform: ben_vulpes: if yer verifying sigs in realtime with something other than ffa (or own proggy written w/ same algos) and enemy has access to any evidence of operation lag time, yer key will be factored.
asciilifeform: for that matter most of ada does not assume existence of heap. e.g. ffa runs w/ heap disabled .
asciilifeform: my ffa plan includes eventual port to that machine, for pocket-sized rsatronics.
asciilifeform: i refuse to bake any such presumptions into ffa .
asciilifeform: ftr i like bvt. he did an entirely decent job in e.g. asm massage for ffa , an' i'ma roll it into my tree as an optional branch when errything else is shelf-stable
asciilifeform: (there is however no use of gnumake in ffa; instead uses the much saner 'gprbuild' mechanism that comes in gnat)
asciilifeform: (you get a libFFA.a)
asciilifeform: fwiw this is what gnat does internally when building ffa.
asciilifeform: shinohai: still tuned into ffa ?
asciilifeform: ( the current v.pl presses e.g. ffa correctly. so nfi what gives. )
shinohai: re: ffa currently almost finished w ch6, never got word if you mirrored 5 http://www.loper-os.org/?p=2071#comment-19871
snsabot: Logged on 2020-03-09 16:02:00 asciilifeform: or, iirc shinohai was doing the ffa exercises? what happened to that ?
shinohai: http://logs.nosuchlabs.com/log/asciilifeform/2020-03-09#1008548 << still doing ffa, most of past few weeks since the last time we discussed spent nursing sick womenfolk.
asciilifeform: or, iirc shinohai was doing the ffa exercises? what happened to that ?
asciilifeform: sha512==bebfd877d7bc1e8790d6dba1a0d41b0fa591884bd07c3b08ed55b1ae87f470a707c168bafe7c070e38a9a85c762a02b3361c07eb56bc981ecffa86940ef9aa16
shinohai: I only started Lisp journey ~4 years ago, Ada much more recent, my only experience there learning as I go with asciilifeform 's ffa.
asciilifeform: shinohai: ffa wouldn't help appreciably, against this. in fact all medicine -- powerless.
shinohai: Oh? I missed the part where "use eucrypt" instead of ffa
asciilifeform: unrelatedly, it seems that phf is alive -- and updated patch display! ty phf. plz consider visit to #a !
snsabot: (trilema) 2018-10-25 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
asciilifeform: ( bvt was able to give 3.5x speedup on x86 via asm massage but this still not anywhere close to 'realtime 1G/s nic' )
asciilifeform: ideally would have simply a mipslike with ultrawide alu (which would obsolete good 80% of ffa by weight) but no existing fpga is large enuff to house this.
asciilifeform: mike_c: my long-term aim is to publish exactly such ffa (i.e. hand-compiled, commented) for certain archs; and eventually to offer irons with same in rom.
asciilifeform: in principle ffa is quite easy to 'human compile' to asm for $arch of choice, as there is no use of 'clever' lang features
mike_c: the ada in the chapters is easy, but i'm interested in understanding ada better than the demands of the ffa walkthrough
mike_c: alf - let me tell you, it's not a straight line. read ffa, go read more about Ada, read ffa, go learn more math.
shinohai: heya mike_c ... congrats on favourable ruling from the fuhrer, and gl with ffa !
mike_c: hey bingo. alf, not up to much of interest except working my way through ffa chapters.
asciilifeform: shinohai: what ch. are you at in ffa ?
shinohai: Right now my focus has been on ffa and own things. Will look up the ecdsa piece when free time permits.
asciilifeform: it is the only 'officially supported' gnat for ffa.
Apocalyptic: asciilifeform: fwiw the latest GNAT from Adacore doesn't build ffa_ch1, apparently "Inline_Always" is declared too late
Apocalyptic: asciilifeform: what's the state-of-the-art V implementation that you would recommend to build the FFAtron ? I understand there are many versions and not all of them support Keccak
asciilifeform: in list of folx who are emitting sha1 sigs : [www.loper-os.org/pub/ffa/ffa_ch1_genesis.kv.vpatch.bvt.sig][bvt] .
shinohai: ~/devel/ada # ./litmus.sh wot/diana_coman.peh ffa_ch1_genesis.kv.vpatch.diana_coman.sig patches/ffa_ch1_genesis.kv.vpatch
shinohai: Saved your .peh key and mine to http://btc.info.gf/devel/ada/ffa/wot/
shinohai: ~/devel/Ada # ./litmus.sh wot/shinohai.peh seals/ffa_ch4_ffacalc.kv.vpatch.shinohai.sig patches/ffa_ch4_ffacalc.kv.vpatch
Apocalyptic is far from having a working FFAtron
asciilifeform: ( re the ~concrete~ algos in ffa -- for each of them it is quite easy to determine the complexity, because where there is iteration, its count depends strictly on the ~bitness~ of the input, and never on the input per se )
asciilifeform: Apocalyptic: in principle any algo can be rewritten 'in constant time', 'simply' make sure it always runs in worst case. in actual practice sometimes not obvious how to do this (esp. given that in ffa, also want ~constant space~, so gotta prove the spatial bounds of all intermediate ops)
asciilifeform: Apocalyptic: if you're trying the algo in e.g. python, you gotta remember that the bitness of arithmetizer in which M can be 2^64, in ffa is 128.
asciilifeform: shinohai: current ffa/peh lacks hashing so cannot yet advertise 'replace gpg universally'
shinohai: As far as creating a "public" rsa key, just have to have ffa calculate your "N" and "E" neh?
asciilifeform: shinohai: for my part i've a draft of ffa-powered verifier for legacy gpg sigs (presently, only detached sigs, as used in vtrons) but also needs moar massage before posting ( and in particular, human-readable explanation of how sawed apart the format, the published docs were of ~0 help, had to vivisect the koch turd)
asciilifeform will bbl. will happily answer any an' all q's mike_c may have re ffa, when come back.
asciilifeform: ffa ain't limited to rsa, however; is general-purpose numerics-in-constant-spacetime kit.
asciilifeform: mike_c: i rec to read ch1 of ffa series, won't take long, to get a feel for the approach.
mike_c: ffa?
asciilifeform: mike_c: that's ffa , as it is.
snsabot: Logged on 2019-10-31 14:24:59 diana_coman: fwiw and as previously stated in #t quite publicly at that, I still find for instance FFA just as before: a gem (or a pearl, perhaps that's the subtle clarification)
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2019-12-08#1003415 << he has a static gnat; and in fact it is the official test gnat system for e.g. all ffa starting w/ ch. 11 .
asciilifeform: diana_coman: the other reason for wwwistic patch viewer, is so as to link to lines of proggy. presently i have an extremely ugly hack for this.
shinohai: I've been busy past few months trying to organise all the patches/seals for stuff I use in single place. So have, e.g. trb ffa
asciilifeform: realized, when reading, that i'ma need extended-euclidean in ffa ( and not only for eccisms, but e.g. cramer-shoup )
asciilifeform: jfw: but if you do get to ffa i'ma very readily help, dun hesitate to ask q's here & in www comments.
jfw: asciilifeform: cool, I do look forward to getting back to ffa reading; I might need to make a less crazy schedule happen first.
ossabot: Logged on 2019-12-04 00:46:06 asciilifeform: has been reading jfw's proggy. e.g. this is pretty interesting -- apparently fella not only read ffa series ( how far didja read, jfw ? ) but in fact did sumthing constructive !
asciilifeform: ( even to run on plain ffa, rather than in peh proper, would need this. e.g. what is max bitness of 'scalar*' output ? )
asciilifeform has been reading jfw's proggy. e.g. this is pretty interesting -- apparently fella not only read ffa series ( how far didja read, jfw ? ) but in fact did sumthing constructive !
asciilifeform: BingoBoingo: what kinda riot is a 'weekend affair' ?! iirc bmore burned for 2wks straight..
asciilifeform: re vpatches thread folx, ftr mp's right -- not 1 of e.g. the ffa patches took asciilifeform moar than ~3min for vdiff, testpress, sign. 1000x moar time spent to actually write & document, always.
asciilifeform: ( which would eliminate need for von neumann ffa as it was )
asciilifeform: there's actually nuffin 'machine-married' in ffa as it stands. but for practical use on battery-powered toys needs proper asmisms.
asciilifeform: shinohai: re adaism , i have a kilometre of ffa material in backlog also ( keccak; integration of bvt's asmisms ; cookbooks for rsa & cs key gen ; standalone util. form ; mips port ; others. )
asciilifeform spent quite long time, prior to writing ffa, looking for 'bignum lib' that 'oughta exist, surely, somewhere'. 100% barf .
shinohai: Working through ch.4 of ffa, polishing up bot, a few other mundane tasks. Yerself?
shinohai: asciilifeform's ch.4 ffa puzzle kinda fun, imma need moar coffee on this. ^.^
snsabot: Logged on 2019-11-19 02:43:58 asciilifeform: shinohai: you may find interesting (supposing not already eaten) diana_coman's notes re ch. 1--4.
asciilifeform: shinohai: you may find interesting (supposing not already eaten) diana_coman's notes re ch. 1--4.
dorion: so the whole affair was your only masochism ?
snsabot: (trilema) 2019-07-16 asciilifeform: in re ffa : ch20 and most of 21 written. but all of it paused atm , making detailed map/plan.
asciilifeform: what mod6 might like to know, however, is that asciilifeform aint through. a batch of new FG is happening in '20. trb work will continue -- here. phuctor will stand up 1nce i'm done buying brand new ssd for its machine. ffa will continue -- here. the q is whether mod6 is interested in participating. or would rather rubashov.
asciilifeform: for readers : diana_coman, incidentally is the only, to date, fully diploma'd grad of ffa.
asciilifeform: diana_coman: then yer in the right place; all ffaism q&a w/ asciilifeform henceforth will take place here.
ossabot: (trilema) 2019-10-30 diana_coman: mp_en_viaje: I suppose there is also the same question applied potentially to the FG and FFA then; but fwiw I digested FFA as well as I could and I still think it is a gem, perhaps a pearl better put: quite the result of successive spinnings/polishings
diana_coman: fwiw and as previously stated in #t quite publicly at that, I still find for instance FFA just as before: a gem (or a pearl, perhaps that's the subtle clarification)
asciilifeform: lobbes: re eulora -- i still find it puzzling , just where did i get the cylinder of hypnosis gas, and how piped it into diana_coman and mp , so they picked up mpi, then ada, then ffa, ada-udp, etc. given obv. 'high cost'.
ossabot: Logged on 2019-10-30 14:40:29 BingoBoingo: asciilifeform: It seems the conversative, detailed lens you bring that allows you to produce gems like FFA is damaging to other sorts of tasks. MP, after trying to get you to try on some other lenses for years when looking at other things, has decided he can't tell if your conservatism is an unchangable force of nature or something else. For this reason, and the fact your conservatism seems to be surviving t
BingoBoingo: asciilifeform: It seems the conversative, detailed lens you bring that allows you to produce gems like FFA is damaging to other sorts of tasks. MP, after trying to get you to try on some other lenses for years when looking at other things, has decided he can't tell if your conservatism is an unchangable force of nature or something else. For this reason, and the fact your conservatism seems to be surviving this crisis, he wants to
snsabot: Logged on 2019-09-27 15:38:44 PeterL: asciilifeform: http://loper-os.nfshost.com/pub/ffa/hypertext/ch19/ line 101 you could move the declare block above the begin, save one nesting level (kinda cosmetic, so I don't know if you want to change it?)
PeterL: asciilifeform: http://loper-os.nfshost.com/pub/ffa/hypertext/ch19/ line 101 you could move the declare block above the begin, save one nesting level (kinda cosmetic, so I don't know if you want to change it?)
asciilifeform: cryptography -- eat the ffa series; ( diana_coman btw is an escaped mathematician and has eaten the whole thing , can prolly answer q's re subj as well as asciilifeform can)
PeterL: asciilifeform: I posted some sigs of ffa vpatches on my blog: http://peterl.xyz/2019/09/signatures-for-ffa/
asciilifeform: ( and http://btcbase.org/patches?patchset=ffa also, diana_coman posted buncha sigs )
←
|