Show Idle (> d.) Chans


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

dulapbot: (trilema) 2019-02-04 asciilifeform: i intend to port ffa to msdos, for instance, and don't expect that gnat will be building it ~on~ dos box.
dulapbot: (trilema) 2019-02-04 asciilifeform: i intend to port ffa to msdos, for instance, and don't expect that gnat will be building it ~on~ dos box.
hapax: asciilifeform: been wondering, are you still planning to [port http://logs.nosuchlabs.com/log/trilema/2019-02-04#1892574][ffa to dos]?
Vex: I'll sit it right next to FFA on the shelf
asciilifeform: mats: re 'soft countermeasures against injected faults', asciilifeform had a few in ffa where trivially possible, but in general the concept is flawed for obv. reasons
asciilifeform: wasn't obv 'ironic' but nfi (normally folx laff at a laffable when posting mixed in w/ actual noose, but again nfi)
gregorynyssa: I still look forward to finishing the rest of the FFA tutorials when mathematics returns to my life. have a nice day, everyone.
jonsykkel: ffa isnt large progy in my bok, wasnt talking about it specifically, and found no such paterns in it
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2022-07-21#1111980 << rather curious which 'over and over patterns' appear concretely in ffa and annoy jonsykkel
verisimilitude: I personally believe more systems should aim to be extremely bare ``nothing beyond the standard'' affairs, because nothing else is truly the language.
asciilifeform in old days, had a low-key parallel effort going , 'ffa in x64 asm', experimented with 'modern' instrs, but perma-shelved when realized the obv problem w/ such a thing
asciilifeform: for 'magic instrs' yer stuck with 'intrinsics' (of which gnat gives next to nuffin) and then of course asmism
dulapbot: Logged on 2022-06-20 16:56:21 phf: http://logs.nosuchlabs.com/log/asciilifeform/2022-06-20#1107706 << you're such an insuffarable cunt, i'm prepared to defend php just to not be in the same camp with you. shit basic on altair is a superior system to the idea system that only exists in verisimilitude's head. did you know that in my system there are no flaws? did you also know that i've solved all practical problems by never doing anything practical? fuck. you.
asciilifeform: asciilifeform's example is trivial in comparison (gimme the fucking top half of 32x32 -> 64 result, for fuck's sake) and still nuffin 'automatic' about it
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.
phf: http://logs.nosuchlabs.com/log/asciilifeform/2022-06-20#1107706 << you're such an insuffarable cunt, i'm prepared to defend php just to not be in the same camp with you. shit basic on altair is a superior system to the idea system that only exists in verisimilitude's head. did you know that in my system there are no flaws? did you also know that i've solved all practical problems by never doing anything practical? fuck. you.
asciilifeform often surprised at mail from entirely random folx, who somehow found themselves reading e.g. ffa
phf: i had this conversations with russians a lot where go "mit is no longer premier educational instutation, lost its way sometime in the early 2000s", have examples and explanations, but hard to argue against years of succesful marketing. point being that "mit" "released" while "mit" was a bunch of hackers doing whatever the fuck. aaronsw affair was not a watershed moment, but ought to have made point obv to everyone who wasn't paying
asciilifeform: shinohai: those typically had laffably small fixed # of boxes (2 or 3)
asciilifeform recalls epic sweat to render equations in 'ffa' in ordinary browser w/out resort to bitmaps
asciilifeform: and yes as pike et al point out, and as demonstrated in e.g. ffa, if you serialize bytewise, endianism is irrelevant
asciilifeform: so make a subtype. e.g. ffa doesn't use naked unsigned_xyz
asciilifeform: ftr ffa is 100% endianism-free, by design.
phf: http://logs.nosuchlabs.com/log/asciilifeform/2022-05-28#1104038 << i've seen you make this point already, but also consider that work by its very nature is a loathsome affair, even when "take pride" and "born for it". the anarchist bob black has a quote that i like, that work starts when play becomes compulsory. never the less a lathe machinist slacks by shooting shit with coworkers, or drinking beer in the break room, not e.g. going to
thehorrors: It's a big topic, but I don't think bitcoin in its current form is that. Yea, FFA is partially why I started Ada
billymg: thehorrors: re: cryptography, you've probably seen asciilifeform's ffa then. if not, sounds like it might be of interest to you
asciilifeform has various arguably nonstandard formatting in certain proggies, but afaik no unusual indentation per se
asciilifeform: but well-formed inputs 100% press correctly. trb, ffa, blatta, logotron, etc.
dulapbot: (trilema) 2017-06-12 asciilifeform: ^ 'altalena affair' resulted in the switcheroo where the upstanding folx ( irgun et al, who held the position 'rm -rf britain' , were replaced by the internationalkomyooniti obedient muppet circus who ended up 'recognized' by said komyooniti as 'israel'
asciilifeform: or e.g. cgra. shows up w/ ffa bug. then w/ buncha serious trb works.
asciilifeform: imho that's large part of what made mp's scheme so laffable -- hey, we're lords!11 the slaves -- forthcoming any day nao!1
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2022-04-16#1096526 << over9000 funnily, the brahmins also 'tried to mathematics', in fact had almost all of the ffa algos! simply had nowhere to 'put it'.
crtdaydreams: read through ffa and do exercises / fit in head
crtdaydreams: re: ffa; installed ada some 2hrs ago in prep to go through
asciilifeform: phf: orthogonally to this, fwiw you'll get sub-millisec. modexp w/ ffa (again, in fact faster than mpi's, the latter hadn't barretron) if yer willing to live with small public exponents (e.g. fixated to 65535 a la gpg), simply that asciilifeform wasn't
asciilifeform: ( in giffard's case, if recall -- the petrol engine. steam dun give the pwr/mass ratio req'd for a useful dirigible )
asciilifeform: phf: e.g. giffard's dirigible was also 'for specific problem', similarly.
phf: counterparty for ffa is a more complicated question, because it has painful history. i'm not particularly satisfied with "only a genius greater than mine can judge me". tool was supposed to solve specific problem, which was providing bedrock for networked tmsr tooling.
asciilifeform: (in fact ffa's modexp is faster, in avg. case, than gmp's.)
phf: asciilifeform: where do you place ffa? specifically the part where it couldn't be used at the particular task it was set out to be applied to
asciilifeform: must note tho that asciilifeform only finds 'my past self was an arse' when reads e.g. uncommented perlisms he had perpetrated, but not when e.g. ffa
signpost recalls Dune, where jihad is not just the struggle, but the state of affairs making it inevitable.
asciilifeform: the assoc. w/ 'aristos' is from the fact of 'high pilotage' horseplay being a resource-intensive affair, and largely exclusive w/ growing up 'working for living'. 'social filter'.
asciilifeform: phf: prolly oughta elaborate. (at risk of repeating ancient thrd) what asciilifeform liked in ro : austrohungarian architecture w/ just the right admixture of sovok nostalgia, 5 course dinner w/ venison for ~20$ walking distance from bed, and that didn't have to sit at terminal 12h/d, lol. 1st 2 not avail. in north amer. for obv. reasons; last item was a 'while air in the tanks' affair, similarly obv.
billymg: currently, yes, displays the sad state of affairs
asciilifeform aims , if lives longenuff, to make ffa sumthing like seppukuware; or at least to level of 'find bug, get n btc'
mangol: reich rag warned a week ago that "America and Europe Must Be Ready for Russian Biological or Chemical Attacks"
asciilifeform: trying to plan for this is imho virtually pointless (tho in e.g. ffa in places in fact tried..)
phf: like, house affairs are managed through an internal instance
dulapbot: Logged on 2022-03-31 19:27:28 asciilifeform: funnily enuff landed most recent coupla gigs as result of folx reading his www. and most recently ffa series.
mats: I hear that ffa things are the new hotness
asciilifeform funnily enuff landed most recent coupla gigs as result of folx reading his www. and most recently ffa series.
asciilifeform: is funny , afaik ffa's const.time barrett is to this day the only 1 published. but no one to date wrote in 'hey, that was useful on my micro..' or the like
asciilifeform sorta had 'wind taken from sails' in re ffa when realized that there's ~no chance of usefully realtime packet munging w/ it on any x86 irons
asciilifeform to this day sitting on 3 finished (programwise) but unfinished in re text ffa ch's. notenuff cycles..
asciilifeform: ffaism for pubkey verification in a gpg substitute is kinda overkill imho, no particular reason for it to be const-cycle
asciilifeform: likely would be easier to bake a reasonable mod exp in cl than to ffiize ffa
asciilifeform: 'litmus' only uses ffa for the mod.exp so really is 2-3ln of cl
asciilifeform: (is a bash condom on top of ffa)
dulapbot: Logged on 2022-03-25 17:03:20 asciilifeform: signpost: asciilifeform finds fascinating the psychological tension where folx who 'identify as intellectual' are terrified of 'being kicked outta intellectuals' (1st and foremost by 'policeman in own head') and consequently buy into laffable Official nonsense by the megatonne. ( dunno if mats diagnosably fits in this group, but shows worrisome symptoms imho, what w/ linx to papers w/ 'freedom index'(tm) with straight
asciilifeform: signpost: asciilifeform finds fascinating the psychological tension where folx who 'identify as intellectual' are terrified of 'being kicked outta intellectuals' (1st and foremost by 'policeman in own head') and consequently buy into laffable Official nonsense by the megatonne. ( dunno if mats diagnosably fits in this group, but shows worrisome symptoms imho, what w/ linx to papers w/ 'freedom index'(tm) with straight
asciilifeform: ( or willing to swallow anyffin at all, no matter how laffably contradictory to lived experience or ordinary logic ? )
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.
shinohai: But in ffa coad there are no pointers!
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: mangol: as for ada, asciilifeform uses a subset of the lang, compactly summarized in his ffa series, which imho fits in head rather well.
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2022-03-16#1084658 << can't resist to ask, have you read asciilifeform's ffa series ? imho entirely usable 'intro to ada'
asciilifeform afaik ffa is the only published reasonably large ada proggy w/ no unchecked_conversion anywhere
asciilifeform: thimbronion: i rec against collecting costly academiturd deadtrees re subj, asciilifeform did so re ffa and filled entire bookcase and all of it was 100% distraction
asciilifeform intends to 'relicense' e.g. ffa under 'vpl' upon next vpatch to same.
verisimilitude: I think I could make an exception for FFA, asciilifeform, because it's beautiful, from what I've read so far, but not a UDP binding.
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 .
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 .
dulapbot: Logged on 2021-09-09 13:33:02 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)
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 .
billymg: asciilifeform: haven't read it in detail yet but i've seen you've been making updates to it. you seemed to be on a roll with publishing new versions so i thought of waiting for it to settle down before updating the version on the mirror (since it's a manual affair)
deedbot: signpost rated cgra 2 << FFA and TRB work.
asciilifeform: decided tho that gotta have a 2nd lolcat to go under the ffa one, on asciilifeform's www...
dulapbot: Logged on 2022-01-09 18:38:39 asciilifeform: i.e. in fact microshit confirmed the imho obvious state of affairs re ownership of shithub-hosted liquishit
dulapbot: Logged on 2022-01-09 18:38:39 asciilifeform: i.e. in fact microshit confirmed the imho obvious state of affairs re ownership of shithub-hosted liquishit
asciilifeform: i.e. in fact microshit confirmed the imho obvious state of affairs re ownership of shithub-hosted liquishit
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2021-12-31#1070703 << asciilifeform baked the ffa diagrams by hand, similarly (plain html!) but was quite arduous and rather limited in the possibilities (can't draw e.g. examples of pest topologies this way)
dulapbot: Logged on 2021-05-19 14:24:35 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: vex: that cat ? ancient ru net meme
asciilifeform: hence trb, ffa, pest, etc. ( historically, asciilifeform would actually prefer to work on foundations of sane computing per se. but switched tacks on acct of above. esp. given that asciilifeform discovered to his satisfaction that actual sane computing is a fab-complete problem. )
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: still makes for over9000x moar 'diffability'
asciilifeform: there's a rk gnat (builds ffa!) but it may need some massage too
asciilifeform normally recommends to noobs ffa itself as a lang intro text.
asciilifeform: e.g. ffa is kelvin-versioned.
asciilifeform: very sharp fella, also tipped off asciilifeform re ffa at various times
asciilifeform: (fixes laffable bug carelessly introduced by asciilifeform himself when wrote original dump knob)
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: aint necessarily an all-or-nuffin affair.
signpost probably wants streams for the xor-a-tron too, but makes sense to stay simple for ffa.
asciilifeform: signpost: must note though that ffa doesn't cover the 'gnarly'/cppesque features of the language, deliberately avoids. (and they aint entirely useless, e.g. nqb makes use of some, chiefly streams)
asciilifeform: signpost: imho ffa is the closest thing existing atm to a clean ada intro course
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2021-10-04#1060717 << lessee if asciilifeform can make this clear. for final solution to the ddos problem, it is necessary for ~all~ possible parts to run ~always~ in worst-case time. a la ffa. this is the only way to rule out adversarial 'surprises'. and makes for 'fits-in-head' mechanical simplicity.
gregory5: I have had some difficulty following asciilifeform's FFA tutorials, owing to my general impairment in math, but he has a talent
asciilifeform: (i.e. the subset ffa is written in, uses maybe 10% of what's in the dead tree 'talmud' -- none of the oop garbage, for instance , is needed for anything, ever)
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.

|