Show Idle (> d.) Chans


Results 1 ... 250 found in asciilifeform for 'ffa' |

dulapbot: Logged on 2021-09-21 23:04:21 asciilifeform: safety-critical program (which is what ffa is) must be obvious in its function like fucking hammer.
asciilifeform: currently mul_word defaults to iron mul, if you want egyptian gotta change manually.
dulapbot: Logged on 2021-09-21 23:11:48 asciilifeform: ( activated/inactivated by HaveBarrelShifter knob in iron.ads )
jonsykkel: ill do that, gonna test it on my inferior c ffatron as well
asciilifeform: safety-critical program (which is what ffa is) must be obvious in its function like fucking hammer.
dulapbot: Logged on 2021-09-21 21:25:01 asciilifeform: jonsykkel: it is naturally impossible to write 'cosmic ray proof' software. but imho is in fact possible to write (and inexpensively) cosmic ray ~resistant~ softs.
dulapbot: Logged on 2021-09-21 21:20:40 asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2021-09-21#1059018 << there is no such guarantee, jonsykkel ! 'Push' doesn't touch the contents of the stack. why didja think it did ?
asciilifeform: jonsykkel: it is naturally impossible to write 'cosmic ray proof' software. but imho is in fact possible to write (and inexpensively) cosmic ray ~resistant~ softs.
deedbot: asciilifeform rated PeterL 2 << scoopbot; ffa reader
asciilifeform: !!rate PeterL 2 scoopbot; ffa reader
asciilifeform: !!rate 2 PeterL scoopbot; ffa reader
deedbot: asciilifeform rated jonsykkel 1 << FFA reader from Naggumistan
asciilifeform: !!rate jonsykkel 1 FFA reader from Naggumistan
asciilifeform: 156 for msg is kinda laffable imho
dulapbot: Logged on 2021-09-09 13:41:05 asciilifeform: asciilifeform has two uses for ffa -- general-purpose sign/verify suitable for use w/ generalized vtron ; and for the ecdsa numerics in ada trb replacement.
asciilifeform: for thinking folx, the correct model is imho -- get the foundations right, then combine -- e.g. with pgp, basic vtron is possible; with ffa, generalized vtron, ab initio trb, etc possible
asciilifeform: for this & related reasons, asciilifeform intends to retire his gpg key (i.e. will promise not to emit new sigs w/ it) after completion of ffa/peh and signing his brand-new peh key w/ the old gpg pub.
asciilifeform: ( on account of branch prediction mechanics in modern irons, ffa in fact faster than koch's bignum, for the latter's 'worst-cases' )
cgra: asciilifeform: the last time i spent time following your ffa curriculum, i felt a need to go a full cycle before returning to ch1, for a review, and until then gaining a proper grasp. now figured must've been similar for a writer, too... fits-in-head after all
dulapbot: Logged on 2020-10-01 15:00:29 asciilifeform: gregorynyssa: there's not a thing that'd rise to the level of 'plan'. asciilifeform in particular wrote 3 things: 'nqb', a largely-complete coder/decoder for the formats used in trb; ffa, with which possible to perform the cryptonumerics; and 'cryostat', to implement a o(1) db .
asciilifeform: asciilifeform has two uses for ffa -- general-purpose sign/verify suitable for use w/ generalized vtron ; and for the ecdsa numerics in ada trb replacement.
asciilifeform: cgra: how complete per se, i.e. right nao? -- ch21c ( the coad , for extended-euclidean ) is done ; and also extensive revision of the peh interpreter (in particular, properly constant-time i/o of FZ)
cgra: asciilifeform: how complete was the FFA picture in your head, before published ch1?
deedbot: asciilifeform rated cgra 3 at 2020/11/27 11:35:21 << careful, attentive student of FFA & TRB. inquire in #asciilifeform.
asciilifeform: jonsykkel: the egyptian mul is of course not in current ffa, but the precondition is, i'ma fix it in the next ch. (when i get a chance... the coad's been written for more than a year, but not the text..)
dulapbot: 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 ftr holds that www search oughta be a 100% p2p affair. i.e. i see a page evidently authored by somebody with a brain; hit ctrl-meta-whateverthefuck; and it gets indexed. and if someone in my l2 (l3?..) has a query, my box is happy to serve up result of said query
jonsykkel: maby another note for ded tree ffa: W_NZeroP in ch4 vas alredy covred in ch2
asciilifeform: billymg: to date i've recced ffa readers to grab the 'ave1' gnat bins, optionally selfbuild, and use that
dulapbot: 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.
billymg: asciilifeform: these use("-static") lines?
dulapbot: (trilema) 2019-02-02 asciilifeform: trinque: see ffa as example
asciilifeform: i'ma defo add moar explanation there when i make the deadtree ffa.
asciilifeform: (they are strictly for internal use in ffa)
dulapbot: Logged on 2021-03-24 13:52:26 asciilifeform: dpb: the 1 i use for ffa since ch.11 inclusive was baked using ave1's recipe and builds self (on x64.)
dulapbot: Logged on 2021-08-31 23:04:48 asciilifeform: signpost: i'd nod, but e.g. cgra in fact parachuted straight from mars with not 1 but 2 ffa bugs in pocket
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2021-09-01#1055741 << in re ffa specifically i admit had though, 'maybe someone writes in and asks for commercial relicense' but this was naive, nobody in heathen world showed any symptoms of wanting such item, to date.
asciilifeform: ( the arrows in ffa ch.14 are apparently missing in default xorg fonts nao )
asciilifeform: signpost: i'd nod, but e.g. cgra in fact parachuted straight from mars with not 1 but 2 ffa bugs in pocket
dulapbot: Logged on 2020-10-01 15:00:29 asciilifeform: gregorynyssa: there's not a thing that'd rise to the level of 'plan'. asciilifeform in particular wrote 3 things: 'nqb', a largely-complete coder/decoder for the formats used in trb; ffa, with which possible to perform the cryptonumerics; and 'cryostat', to implement a o(1) db .
jon: i didnt crib it believe it or not, this document was carefully drafted in mspaint (winxp edition obviously) prior to my encounter with your ffa series
asciilifeform: 'if you stel this idea u wil auto maticaly sign a legaly binding agrement to be KILED vith death and al acumulated profits (likely in the trilions) wil be transfered to me' -- curious didja come up with this yerself or cribbed from mp's thing ?
dulapbot: Logged on 2021-07-26 19:08:46 asciilifeform: in wholly-unrelated other noose : phf wrote in , in fact he updated his vpatch page! for ffa, logotron, and trb ! appear to be 100% current nao !
punkman: "Unfortunately, due to a misunderstanding with regards to the setting of court dates in an old matter, which I have continuously been trying to resolve since 2011, have been held in contempt of court and currently awaiting extradition. I am hoping to resolve this misunderstanding within a short while. In the meantime my business affairs will
mats: american counterintelligence was conspiciously absent throughout the whole affair
asciilifeform: in wholly-unrelated other noose : phf wrote in , in fact he updated his vpatch page! for ffa, logotron, and trb ! appear to be 100% current nao !
whaack: !e view-txn -paste f7fa1548901a6e3fde5264130a2ffa27820f08245dceca7e6ce362fbdcdbfd23
dulapbot: (trilema) 2016-11-01 asciilifeform: ~actual~ alternative affairs do not get airwave largesse from usg. they get banned, like isis-tentacle-not-pointed-ru-wards, and ddosed, like qntra.
asciilifeform: default is sumthing laffable, iirc 32mb
verisimilitude: FFA wouldn't be safe either.
verisimilitude: I figure asciilifeform won't care, since even if it used FFA, it would be worse than useless to butcher it like that.
thestringpuller: i agree, establishing initial connection in local scene is difficult. but so is learning ffa, or setting up trb, etc to some degree; i view it same way as comic trading/collecting scene which is very localized through networks of locally owned comic book stores
dulapbot: Logged on 2021-07-06 06:04:34 punkman: http://logs.nosuchlabs.com/log/asciilifeform/2021-07-06#1042946 << been rereading logs around the bitbet affair. fun.
punkman: http://logs.nosuchlabs.com/log/asciilifeform/2021-07-06#1042946 << been rereading logs around the bitbet affair. fun.
dulapbot: Logged on 2021-06-18 19:34:34 asciilifeform: observe how quickly e.g. bvt lost interest in e.g. ffa when mp took off his mask
shinohai: Your blog, at least, might provide me with some education whenever I can pick ffa back up.
verisimilitude: Hey asciilifeform, expect a comment on FFA soon. Some fellow Ada programmer has some style question; I had to help him get past the spam trap.
billymg: asciilifeform: sad state of affairs
dulapbot: Logged on 2021-06-18 19:34:34 asciilifeform: observe how quickly e.g. bvt lost interest in e.g. ffa when mp took off his mask
asciilifeform: observe how quickly e.g. bvt lost interest in e.g. ffa when mp took off his mask
asciilifeform: verisimilitude: i won't even say it's entirely inedible. simply not suited for ffa.
gregorynyssa: this is not to say that I am fully or even broadly satisfied with "web" languages or with Tcl, as I have continued to harbor two main objections which happened to be the same two mentioned by asciilifeform in his introduction to FFA:
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: not attempted, of yet, 'whole node', this needs full ffa for the crypto side, aint there yet.
asciilifeform: trinque: unrelatedly, aiming to return to ffaism soonish. (and -- then to port to the suddenly appeared, after asciilifeform waited for decade+ -- 45,000 LUT open fpga board.
asciilifeform: shinohai: loox rather like equiv. of the sokal affair, imho
asciilifeform: as for ffa -- last i knew, in fact does build w/ reasonably-recent ('16 and later) heathen gnats. (who finds otherwise -- plox to write in.)
asciilifeform: dpb: imho is a stretch to talk about 'the standard used now' (where?) -- i can speak only for self, ffa ch11--present is tested on the variant of gnat linked above. this was why i asked 'what are you building' -- if it's something other than ffa, may require an older/newer/nonstatic/etc gnat
asciilifeform: dpb: the 1 i use for ffa since ch.11 inclusive was baked using ave1's recipe and builds self (on x64.)
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2021-03-04#1032788 << last i saw, ffa rendered 100% correctly under turdroid. feel free to crib the html liquishits
snsabot: Logged on 2021-03-04 15:46:34 shinohai: ^ I noticed above behaviour on my toilet lappy running 5.12 kernel asciilifeform ... but hadn't got that far to notice a problem via ffa yet.
shinohai: ^ I noticed above behaviour on my toilet lappy running 5.12 kernel asciilifeform ... but hadn't got that far to notice a problem via ffa yet.
asciilifeform: i'ma update ffa etc. eventually.
asciilifeform: asciilifeform will undertake to give example of what he archives an' why. e.g. bvt's www because he had useful inline asm for ffa. qntra because was a++ chronicle of political events for 6+y.
shinohai: Sorry asciilifeform gonna hafta stop studying ffa, imma get a REAL education: http://btc.info.gf/uploads/ACTNOW.jpg
asciilifeform learned, from the 'extreme popularity' of the ffa articles, 100% of everything he ever wanted to know about the 'cryptography community'
feedbot: http://btc.info.gf/blog/mirror-updates-for-ffa.html << btcinfo -- Mirror updates for FFA
asciilifeform: verisimilitude: ffa wasn't written 'to be interesting to read', but for concrete battlefield applications (which i know trinque to be interested in)
snsabot: Logged on 2021-01-18 13:55:56 asciilifeform: trinque: so far it's afaik just you an' me. ( and , sadly, asciilifeform not yet replicated even nao trinque's gcc; and trinque afaik not yet eaten ffa ) and (can't speak for trinque, but only self) stuck doing in 'geological time'
verisimilitude: http://logs.nosuchlabs.com/log/asciilifeform/2021-01-18#1029464 I've wanted to give FFA the reading through I'd figure it deserves, but have fallen behind with other work. It puts into the proper perspective for me, asciilifeform, that I somewhat resent my work tending to go ignored, but that I've largely ignored FFA so far.
asciilifeform: trinque: so far it's afaik just you an' me. ( and , sadly, asciilifeform not yet replicated even nao trinque's gcc; and trinque afaik not yet eaten ffa ) and (can't speak for trinque, but only self) stuck doing in 'geological time'
asciilifeform: ffa is more of a flamethrower against 'i just want to build it' people than anyffin else, arguably
shinohai: Heya asciilifeform speaking of yer www, couldja link me to where you have all the seals various folx have signed for ffa ?
asciilifeform: cgra: the only 'os' knobs presently required by ffa, is a working stack; access to command-line args; and character i/o (read/write console) .
asciilifeform: cgra: the output of the dump is used in debugging, and by the htmlizer.
snsabot: Logged on 2020-08-06 13:28:21 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: cgra: re auditable binaries -- my eventual goal is to get a completely libc-free substitute gnat rts for use w/ ffa (and potentially other items).
snsabot: Logged on 2020-12-16 12:11:49 asciilifeform: cgra: neato. (btw, in case wasn't obvious, the gnat used by asciilifeform for ffa work has been glibc-free since ch11)
cgra: http://logs.nosuchlabs.com/log/asciilifeform/2020-12-16#1026187 << asciilifeform, wasn't aware of exact details when, but i assumed musl-based, yeah. also, personally already had to drop a handful of ffa's restrictions, and tweak a ffa build param, because so far i've been using the gnat in ubuntu 16.04, which is older than the adacore 2016
asciilifeform: cgra: neato. (btw, in case wasn't obvious, the gnat used by asciilifeform for ffa work has been glibc-free since ch11)
asciilifeform: s8ori: i hate to disappoint, but this chan has very little to do with ascii-art. though i can't say i never had occasion to draw any.
deedbot: asciilifeform rated cgra 3 << careful, attentive student of FFA & TRB. inquire in #asciilifeform.
asciilifeform: !!rate cgra 3 careful, attentive student of FFA & TRB. inquire in #asciilifeform.
asciilifeform: whether or not this were so, ffa wins nothing from the use of small exponent (unlike e.g. gpg and other heathen arithmetrons)
cgra: asciilifeform: what did you have in mind re public exponent, for ffa keygen?
snsabot: Logged on 2020-11-20 10:28:26 cgra: i walked through 'ffa_w_borrow_expr.kv.vpatch.asciilifeform.sig' byte by byte, and also stared at 'pgpdump -il <sigfile>' of the same file
asciilifeform: cgra: i get , via ./litmus.sh asciilifeform.peh ffa_w_borrow_expr.kv.vpatch.asciilifeform.sig ffa_w_borrow_expr.kv.vpatch : VALID GPG RSA signature from asciilifeform <stas@loper-os.org>
cgra: in 'ffa_w_borrow_expr.kv.vpatch.asciilifeform.sig' the 'rsa packet' coincides with a unhashed sub-packet section. the two hash bytes and a signature section comes after that
cgra: i walked through 'ffa_w_borrow_expr.kv.vpatch.asciilifeform.sig' byte by byte, and also stared at 'pgpdump -il <sigfile>' of the same file
asciilifeform: cgra: i did write a script for verifying classic gpg sigs w/ ffa. and there's another (presently unpublished) one for converting pubkeys. but i do not intend to continue using my old key after completion of ffa, no.
cgra: asciilifeform: if one wanted to switch to ffa once it matures, would there be any point in 'converting' the old gpg identity, or just need a fresh key?
snsabot: Logged on 2020-11-18 14:59:52 asciilifeform: update re ch14 : cgra's statement was correct, indeed only need to ignore the carry. the test tapes also pass ( though had to change the tapespace limit to actually run'em)
snsabot: Logged on 2020-11-17 10:02:06 cgra: as a side note, a 256-bit test tape "10k_shots_256bit_ffa_slid_rnd.tape" also bombs the same way on me
asciilifeform: update re ch14 : cgra's statement was correct, indeed only need to ignore the carry. the test tapes also pass ( though had to change the tapespace limit to actually run'em)
cgra: asciilifeform: how much do you have currently half-complete material for ffa?
cgra: as a side note, a 256-bit test tape "10k_shots_256bit_ffa_slid_rnd.tape" also bombs the same way on me
verisimilitude: I think of FFA when I think of RISC-V, as mine approach to addition would take pains to use the hardware carry, but RISC-V lacks a hardware carry bit.
asciilifeform: cgra: i gotta go shortly, but do not hesitate to throw ffaisms into the log, i promise to answer'em in detail asap.
asciilifeform: in e.g. multiplication, i used explicit 'Lo' and 'Hi' to denote. prolly oughta retrofit same convention to earlier ch's.
asciilifeform: as i wrote ffa, i pictured registers as physical objects, and rotated'em as-req'd in my head.
asciilifeform: cgra: as you read, make a list of cases like this, i'ma consider'em for stylistic fix prior to (future) dead-tree ver. of ffa.
asciilifeform: cgra: in principle, it would be possible to do all of ffa in standing-on-head order -- e.g. in add/sub, decrement loops instead of increment, and so on. but ~why~ .
cgra: asciilifeform: i've taken a break from trb study and sat on your FFA course bench
asciilifeform: ( which is not to say that various folx haven't done it on own free will , on occasion )
snsabot: Logged on 2020-10-17 09:15:49 adlai: ... when I daydream about "what gifts of executable deedbot poetry can I send alf", a cl response to that post is higher priority than brushing dust off the printouts of early FFA chapters (these exist!)
adlai: ... when I daydream about "what gifts of executable deedbot poetry can I send alf", a cl response to that post is higher priority than brushing dust off the printouts of early FFA chapters (these exist!)
snsabot: Logged on 2020-10-01 15:00:29 asciilifeform: gregorynyssa: there's not a thing that'd rise to the level of 'plan'. asciilifeform in particular wrote 3 things: 'nqb', a largely-complete coder/decoder for the formats used in trb; ffa, with which possible to perform the cryptonumerics; and 'cryostat', to implement a o(1) db .
asciilifeform: gregorynyssa: there's not a thing that'd rise to the level of 'plan'. asciilifeform in particular wrote 3 things: 'nqb', a largely-complete coder/decoder for the formats used in trb; ffa, with which possible to perform the cryptonumerics; and 'cryostat', to implement a o(1) db .
adlai: I mean "dirty word" in the sense that this conversation included FFA, just a few screenfulls ago, so 'prove' means much more than just "screenshot of my account; screenshot of friend's account; look, exchange is scammer!"
asciilifeform: adlai: ftr btw the only mathematics used in ffa is of the kind taught in grade school.
adlai: FFA seems, from slightly more than arms' length away, to be an exercise in Ada, not mathematics; although, I may be quite mistaken!
asciilifeform: adlai: or , if feeling mathematical, help find mistakes in ffa, for instance.
asciilifeform: looking fwd to replacing my gnatology dir w/ the civilized gnat, likewise
snsabot: Logged on 2020-09-03 20:39:01 asciilifeform: phc: i suspect that you may be gravely confused. this chan is not about ascii art ( tho i am not averse to ascii art... )
asciilifeform: phc: i suspect that you may be gravely confused. this chan is not about ascii art ( tho i am not averse to ascii art... )
snsabot: Logged on 2020-08-31 13:10:54 asciilifeform: fwiw asciilifeform considered in past, and may consider again, to put btc bounties on finding mistakes in ffa.
asciilifeform: at some pt, i'ma put bounties on defects in ffa. but prolly not this yr.
asciilifeform: fwiw asciilifeform considered in past, and may consider again, to put btc bounties on finding mistakes in ffa.
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2020-08-25#1020421 << i might do a ru ver. of ffa at some pt. thing is, most cultured ru folx (just like fr, cn, etc) know enuff english to read technical lit. so i have not made translation a priority.
Aerthean: Thanks for the work you've done on FFA and your other writings.
asciilifeform: ( for readers who aren't trinque , basic review : originally vtrees tended to look like e.g. this. whereas w/ 'manifest.txt' they can only diverge if the latter is diverged upon, e.g. like this. )
asciilifeform: for instance when asciilifeform was writing ffa, found existing bignum libs to be ~worse than useless~ as references.
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: 'slimmed' is prolly gonna end up being 'per proggy' for foreseeable future. e.g. ffa is even nao too 'fat' to build on ave1's cut-down rts, cuz it uses ...'Image , Ada.Sequential_IO, etc.
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: ftr ffa starting from ch. 11 tested exclusively on ave1's gnat.
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: 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: ( subj: left , right )
PeterL: there is not currently a FZ_rotate in FFA, right?
asciilifeform: meanwhile, preview of patched gnathtml.pl. will be included w/ next ffa ch.
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.

|