log☇︎
59200+ entries in 0.033s
asciilifeform: not enuff to 'posit'
zx2c4: Oh, I mean, if you're willing to allow for anybody's head (as i presume you mean by mentioning ~whose~ head), then you just posit an incredible genius
asciilifeform: zx2c4: theorem that dun fit in any 1 skullcase, aint proven.
zx2c4: Write down thoughts from one day, use writings to your benefit the second day, and now you're two people in essence
asciilifeform: not fits in head ? not proven. ( i did not say ~whose~ head, but imho safe to suppose that whole f# microshitiana garbage pail fits in no head )
zx2c4: Hasn't writing always been a tool to expand our knowledge / understanding / assurance beyond a single mind?
asciilifeform: then they aint proven, basta.
zx2c4: But it turns out now all things are so easily provable as such
zx2c4: Simpler code that you can read in a sitting
asciilifeform: if you need a 'proof system' to prove $assertion, you have NOT proven it. not to me. ☟︎
zx2c4: Well of course everyone prefers simpler proofs that fit in the head
zx2c4: The proof, however, is gone from the C
asciilifeform: zx2c4: try to think about what i actually said tho
zx2c4: And then they're able to lower the F* down into C
asciilifeform: proof is proof when it fits in head, now just as in euclid's time.
asciilifeform: wtf is the point of 'here's a proof but you need this here 100MB of gnarl to ~run~ it and of course you will trust output, or are you a terrorist'
asciilifeform: and, in parallel, to be an organized campaign of sabotage against ~concept~ of actual correctness in programs.
asciilifeform: zx2c4: point being, i don't practice haskellism. and nit from being illiterate yokel who has nfi how. it so happens that i know how. but consider the whole approach to be braindamaged .
a111: Logged on 2018-05-04 17:23 asciilifeform: zx2c4: as a matter of fact, is IS a conclusion i can jump to trivially. because your supposed 'person' is actually a nameless cockroach beneath my feet. because he is not in the wot, and thereby not distinguishable from the 90000..+ faux 'humans' usg manufactures on daily basis to further its psyops.
zx2c4: presumably the premise is something along the lines of complexity making things impossible?
zx2c4: no i dont think so
asciilifeform: zx2c4: weren't you here last yr for a 'the technical cannot be separated from the political' and 'if program+all accessories doesn't Fit In Head, it is garbage, not proof' thread ?
zx2c4: you dont think the borrow checker eliminates large classes of problems in a performant and somewhat elegant way?
asciilifeform: in all seriousness, i don't even presently know of a more leprous pile of shit, either on pedigree or technical pov.
a111: Logged on 2017-05-10 21:29 phf`: i'm rewriting everything that asciilifeform is releasing in Ada in Rust, because it's secure AND modern!
zx2c4: also i'm wondering what the usual trilema party line is on rust vs ada
zx2c4: the second is wireguard needs funding for 2019 and thought this nation might help carry the weight
zx2c4: two things
asciilifeform: zx2c4: long time no see. what brings ya back ?
deedbot: http://bimbo.club/?p=96 << Bimbo.Club - TMSR Log Summary - 11/15/2018
asciilifeform: ( than wx were )
asciilifeform: 100x fatter turd mass
a111: Logged on 2018-11-29 19:21 diana_coman: asciilifeform, and the loc is not the whole story either; I'd much rather read *your* 1000 loc than Koch's 100 loc
a111: Logged on 2018-11-29 19:10 asciilifeform: ( for comparison: e.g. http://btcbase.org/log/2017-07-08#1680705 ; or, current trb is ~22k loc, ~not~ incl. the dep balls )
mircea_popescu: http://btcbase.org/log/2018-11-29#1876053 << the dependency shitballs are very much the problem though. dragging in all sorts of crap, by the mn loc, including wxwidgets or w/e, not to mention crapossl and so on. ☝︎
a111: Logged on 2018-11-29 22:50 asciilifeform: ( observe -- sans agression, the moar reliable is your hosting, the ~more~ certain your noad is to get perma-wedged, as it'll never reboot and never satisfy shitoshi's 'catch up only on cold boot' idjit condition.. )
a111: Logged on 2018-11-29 17:23 asciilifeform: and (at least in asciilifeform's observation) the competent engineer types get to bottle ~sooner~ than the chair warmers.
mircea_popescu: http://btcbase.org/log/2018-11-29#1875991 <<-->> http://btcbase.org/log/2018-11-29#1876120 remarkable similarity. i suppose at this point to repeat that "socialism is about hindering the worthy to prop up the unworthy" is too much of a truism. ☝︎☝︎
lobbes really needs to get hands into that thing and feel around ☟︎
lobbes: however, I have not yet tried timer patch on that one yet
a111: Logged on 2018-07-14 00:16 lobbes: http://btcbase.org/log/2018-05-22#1816438 << in other news, you were not kidding! my trb (hdd + aggression) has moved a mere 20K blocks in one month
lobbes: asciilifeform: heh that's my trb box. funny thing is, I -do- have aggression on that one >> http://btcbase.org/log/2018-07-14#1834350 ☝︎
asciilifeform: ( observe -- sans agression, the moar reliable is your hosting, the ~more~ certain your noad is to get perma-wedged, as it'll never reboot and never satisfy shitoshi's 'catch up only on cold boot' idjit condition.. ) ☟︎
asciilifeform can't even count nao how many time had convo, 'hulp! my noad is hanging' 'didja aggression' 'no...' '...'
asciilifeform: srsly, whoever's poor neglected box this is -- fucking put in 'aggression' or pull the plug, thing is eating mains current to no useful end
asciilifeform: unrelatedly, to whom does trb noad 69.197.146.42 belong ?? it's been wedged for year+
asciilifeform: right. ( and as presently stands, i've abolished all but 1 of the algos where this actually takes place )
diana_coman: aha, that was my understanding of it
a111: Logged on 2018-11-29 19:30 diana_coman: yes, feed it one, whether cascading or not; the point is: what is the meaning of overflow in exactly for a shift op?
asciilifeform: on 2nd pass of log, noticed that i did not answr http://btcbase.org/log/2018-11-29#1876084 : answr is, it is for shifting ~into~ a FZ . ( if this wasn't clear from thread ) ftr. ☝︎
asciilifeform: anyffing that dun make immediate sense in ~that~ light oughta be either changed or commented.
asciilifeform: diana_coman: this is a+++ good, it is exactly how it is meant to be read
asciilifeform: my current aim is that in ch22 ( see also http://www.loper-os.org/?p=2735 ) any subcomponents not used, are to be cut; and any that have strictly 1 invocation, are to be made sub-functions and remain visible solely in the scope where used.
diana_coman: that's fine, note that my feedback is given as I read them so without actual knowledge of what happens later/where exactly they are used
asciilifeform: orig was writing from pov of 'most general possible set of subcomponents' , but this is not necessarily what is wanted in the end product, esp. from loc-cut pov.
asciilifeform: at 1 time, was used in the constant entry ( nibble inserter ) routine, then the latter was replaced with rewritten http://www.loper-os.org/pub/ffa/hypertext/ch13/fz_io__adb.htm#29_14 , nao sole remaining use is in the knuth divider.
asciilifeform: incidentally even the currently given 'external api' is eventually to be 'internalized', in the sense that user input is expected to be in P-code (presently named as 'ffacalc') and output ditto
asciilifeform: and in principle i'm not averse to adding detail to comments. ( this is exactly the reason why comments exist -- show what is not necessarily evident from the coad )
asciilifeform: ( the only guarantee i can offer in good conscience is that nuffin can be broken by operating the ~external~ controls -- but even there user is required to see whether his cpu has barrel shifter (see ch13 discussion) , constant-time mul ( see ch9 discussion ) )
asciilifeform: i'ma add commentary/warnings when diana_coman et al point out good additional places where; but no one should live with expectation that ~all~ possible ways to break ffa by monkeying with internals, will be listed
asciilifeform: but the same guarantee cannot be given for erry internal component, not without geological runtime.
asciilifeform: idea being , exported routines ( current set is shown in http://www.loper-os.org/pub/ffa/hypertext/ch13/ffa__ads.htm ) are to be 'safe on all electrically possible inputs' , with the exception of div0 (user is commanded to test for div0, as example in http://www.loper-os.org/pub/ffa/hypertext/ch13/ffa_calc__adb.htm#172_17 )
asciilifeform: and this is prolly not the only instance of the item. ( i discussed it briefly in ch11 , in the section where preconditions -- ended up moving many preconditions to the exported wrappers, they slow things down quite substantially when present on inner-looped invocations, as they prevent (for obv reason) inliner )
asciilifeform: diana_coman: i'ma absolutely add it to comment and discuss in ch14 mail bag.
diana_coman: aha; imho this sort of thing would be great added to the comments there
asciilifeform: this is one of the reasons why.
asciilifeform: observe that the operators of fz_shifts are not exported in ffa.ads ( ch11 unified api ) , they are strictly for internal use in the lib.
asciilifeform: it will produce garbage, yes. i considered to make OF_in a limited type, but it would slow down the place where the item is actually used, substantially ( ada does not offer a fast bit-count-on-word operation )
diana_coman: yes, feed it one, whether cascading or not; the point is: what is the meaning of overflow in exactly for a shift op? ☟︎
asciilifeform: you mean, what if one were to feed it one when cascading ?
diana_coman: i.e. if one shifts right by 2 bits but provides an overflow of 8 bits than 6 of them get simply or-ed, it's not like they get pushed in
asciilifeform: diana_coman: plox to link to line ?
asciilifeform: diana_coman: btw you may find it entertaining that i found several vers of the carry & borrow eqns in my orig notes -- including yours. but for some reason i originally rejected that variant because it needed 2 accesses to the result D . but i neglected to write down why, possibly was simple brain fluke.
diana_coman: asciilifeform, the only thing re ch3 that I keep circling because not entirely clear why so is the "overflow in means *or* on word"
asciilifeform: the tricky bit is that remaining 5% -- ops introduced since that draft, loadable microcode, init logic, etc )
a111: Logged on 2018-01-17 20:04 fromloper: asciilifeform: someone uploaded "I-Machine Architecture Specification" to Bitsavers three days ago, I thought you might find it interesting: http://www.bitsavers.org/pdf/symbolics/I_Machine/I-Machine%20Architecture%20Specification.pdf
asciilifeform: on other front, phf : on occasion of the most recent bolix thread , i went and looked again at the http://btcbase.org/log/2018-01-17#1771955 artifact ; it is interesting that they provided 128 iron types, incl. bignum, but not a 'bignum of fixed N words'. i guess in '80s ~nobody was thinking of crypto at all. ( and i was prolly unduly pessimistic to the orig finder of $item, it is prolly 95% of what's needed for cycle-accurate clone. ☝︎☟︎
asciilifeform: why ty diana_coman
diana_coman: asciilifeform, and the loc is not the whole story either; I'd much rather read *your* 1000 loc than Koch's 100 loc ☟︎
a111: Logged on 2018-10-25 19:15 asciilifeform: at the risk of repeating ancient thread -- 'the best machine is no machine', it weighs nuffin, needs no maintenance. and the best proggy, is no proggy at all, if a problem can be solved without writing proggy, it ought to be. erry line of coad can be rightfully pictured as an act of intellectual littering. y'know, like throwing cig butt or bottle on the ground in the park.
asciilifeform: ( specifically http://btcbase.org/log/2018-10-25#1866192 thrd ) ☝︎
asciilifeform: ideally, at some point we actually get that 8192-bit ALU chip, and whole thing can be... 0 ln
asciilifeform: ( and on the other end of the digestive tract -- inlining. i'ma quite certainly issue a v-branch that removes inlining, on microcontroller it typically wins 0 , while making 100x bulkier bin )
asciilifeform: 1 of the reasons i wrote the series with the 'and here we have egypt', 'and now we remove egypt', etc. is specifically to show 'well you can cut 1000 ln here if you're ok with 500x longer run times' , i can picture applications where one might want this
a111: Logged on 2017-07-08 03:49 asciilifeform: i just counted gpg 1.4.10 : 156,436 loc -- and that ain't counting the autoconf liquishit, or the libs it pulls in
asciilifeform: ( for comparison: e.g. http://btcbase.org/log/2017-07-08#1680705 ; or, current trb is ~22k loc, ~not~ incl. the dep balls ) ☝︎☟︎☟︎
asciilifeform: perhaps fyootoor folx will find ways to cut sumthing.
asciilifeform: in unrelated lulz, $ wc -l libffa/* >> 3930 , $ wc -l ffacalc/* >> 1184 ; and story not even finished yet. ( tho ch1's 'RSA occupies around 3000 lines, incl. comments' was not a lie, it's exactly what the minimal rsa of ch9 weighs... )
Mocky: I got my first "so burned i'm peeling" in 2018, 3 hours on motorcycle in tank top mid day, late june.
a111: Logged on 2018-11-29 18:12 mircea_popescu: meanwhile in totally unrelated news, https://dod.defense.gov/About/Biographies/Biography-View/Article/1281505/ellen-m-lord/
asciilifeform: http://btcbase.org/log/2018-11-29#1876034 >> '... degree in chemistry from the University of ...' << tovarasul elena ceausescu !111 ☝︎
a111: Logged on 2018-11-29 18:15 mircea_popescu: http://btcbase.org/log/2018-11-29#1875978 << fuck sunlight, i spent hours in the tropically warm bay waters slutwrestling, i am so burned i'm peeling.
asciilifeform: http://btcbase.org/log/2018-11-29#1876036 << sounds like asciilifeform would last 10min in mircea_popescustan. asciilifeform burns to crisp on 39th parallel , in ~20m ☝︎
BingoBoingo: It takes more than 37 argentine pesos to get a dollar on this side of the river
mircea_popescu: "oh, dollar '''strengthened''', this building's value DOUBLED TO MATCH brekekekekekeke"
mircea_popescu: and i bet you they're STILL going around pretending.
mircea_popescu: ahahaa argentine peso 37 to the dollar. fucktards.
a111: Logged on 2018-11-29 17:10 Mocky: in truth i do feel like idjit for being old man without the brains to have saved anything. i don't even have a workshop full of shit like asciilifeform
mircea_popescu: http://btcbase.org/log/2018-11-29#1875979 << and you're quite right to feel that way. ☝︎
a111: Logged on 2018-11-29 17:08 asciilifeform: it's unfortunate that mircea_popescu is asleep right nao, otherwise he could tell us about how we're idjits and how working for living is for lusers, and how troo hero can run on sunlight and do as he pleases