900+ entries in 0.116s
mircea_popescu: i'm sure if someone defaces
ffa series to talk about what-ustards-understood-of-foucaults-sexnonsense-half-century-later someone'll notify you.
a111: Logged on 2018-06-25 16:40 mircea_popescu: spyked> I think there's great benefit in the
ffa chapter-based approach << that ~started with a genesis~.
a111: Logged on 2018-11-18 16:57 asciilifeform: unrelatedly, ave1 , diana_coman , mircea_popescu , phf , other folx with a gnat and 10min of free time -- asciilifeform would like to see outputs of
http://www.loper-os.org/pub/ffa/thousand_muls.txt ( ch12 benchmark ) on various irons
diana_coman: the table with
FFA patches looks great; I'll look into carving again some space to re-start on it
a111: Logged on 2018-11-13 14:21 asciilifeform: when i started
ffa, i did not plan to bake any asm speedups at all. but there's 2 reasons to do it, eventually : one is that on e.g. x86/x64, getting the upper half of a word-sized multiplication, without asm, takes ~four~ MULs plus a buncha additions :
http://www.loper-os.org/pub/ffa/hypertext/ch11/w_mul__adb.htm#95_14 bvt: though i have nothing against work on bignum multiplication and modexp -- but as i see it, it could be a side branch of
ffa.
ffa already provides a solid foundation for such algorithm exploration.
mod6: So usually that leaves 30min-1hour per night, sometimes more depending on the size. Sometimes I fall down a well in the logs if i'm looking for something specific related to any number of things: pizarro, foundation, ada,
ffa, who knows.
bvt: myeah, i solved it by maximally recreating the
ffa project structure, so can't say i did anything informed by the 'first principles' there.
bvt: otoh, when i added a single line 'package SIO is new Ada.Sequential_IO(Positive);' to ffa_calc.adb, it errored out during the compilation in the same way
bvt: just tested
ffa-8 where rng was introduced -- it works fine. would be trying to understand what is wrong with my code, then
diana_coman: hm, weird; now I'm really curious if you get the same complaint with asciilifeform's
ffa (or my smg comms for that matter)
bvt: i used gnat 2017. will test
ffa rng code and see if it works out.
mircea_popescu: hence the whole effort in
ffa, which is nothing else and nothing besides a switching harness for 64 bit cpu so it doesn't leak data while switching it for a 8192 native byte.
a111: Logged on 2018-11-01 21:02 asciilifeform re-rotates desk to
ffa pile
a111: Logged on 2018-10-31 17:54 asciilifeform: implicit conditionals aint evil per se , tho ; i banned them in
ffa specifically as they get in the way of constanttimeism, is all
diana_coman: ftr I quite like the neat way in which asciilifeform defined those basic types in
FFA; however, he went for the classical types so byte, nibble ; and I find octet SO much easier than I'm reluctant to give it up in my code (though all it takes is anyway a "subtype Octet is Byte" at top if Byte definition is to be adopted)
lobbes: hm interesting. I too have hands tied up but have been meaning to get a few chapters of
ffa under my belt. I'll jot this idea down for far off in the conveyor if someone else doesn't get to it first (and by all means, Someone: feel free to beat me to this punch)
ave1: asciilifeform, I was looking for mux just now in
ffa just now and I came by the add_gated which uses a different method,.
ave1: the div variant could be made to be constant time using the
ffa primitives but currently is not.
mircea_popescu: we ~needed~ a republican crc32 anyway, it's useful and important, chapter head exactly like "we need a hash" or "we need a
ffa", and i was aware extant code is not fit for pitching.
a111: Logged on 2018-10-01 15:59 mod6: And before the republic, I was very much a one-thing-at-a-time type of engineer. Seems like over the last year or maybe 18 months, I feel like I'm context switching so much, that I find it hard to get deep into the thinking that I need to. For instance, it bothers me that I still haven't found time to work through
FFA.
mod6: Not only
FFA, but other parts of TRB that I'd love to educate myself upon. I think you take my meaning.
mod6: And before the republic, I was very much a one-thing-at-a-time type of engineer. Seems like over the last year or maybe 18 months, I feel like I'm context switching so much, that I find it hard to get deep into the thinking that I need to. For instance, it bothers me that I still haven't found time to work through
FFA.
☟︎ a111: Logged on 2018-09-28 16:15 Mocky: asciilifeform, O(1) crapolade packet rejection is already available in software with your
FFA lib, if RSA over non-frag UDP was built on top, no?
Mocky: asciilifeform, O(1) crapolade packet rejection is already available in software with your
FFA lib, if RSA over non-frag UDP was built on top, no?
☟︎