log☇︎
55000+ entries in 0.359s
asciilifeform: at one time i thought 'hm would be nifty to get an ural' but then noticed that d00d has the pistons laid out on a towel in his front yard, more often that i ever hear or see the machine actually go
BingoBoingo: <asciilifeform> when usa physical reality finally converges to the economic reality, i'd expect revival of the motorcycle. but for some reason not happened yet << This summer there's been more of them locally than in recent history. Much of the US though has winter...
asciilifeform: BingoBoingo: where i live one still sees these ~exclusively in the warm months, driven by hobbyists -- rather than commuters who can't afford petrol for a 4cyl
asciilifeform: i have a neighbour who has, i shit thee not, a 'ural'
asciilifeform: when usa physical reality finally converges to the economic reality, i'd expect revival of the motorcycle. but for some reason not happened yet
mircea_popescu: i thought they were trying for the economy thing. didn't take huh.
mircea_popescu: i expect this is because dodge is paying ?
BingoBoingo: Maserati seems to be the one I see on road least un-often
BingoBoingo: asciilifeform: Last I checked they did euro supercars and bespoke super suvs.
mircea_popescu: i guess it shows how closely i'm following.
mircea_popescu: no, i mean from the following cultural perspective : for as long as road network continues growing, the user wants massive, impressive beast of a steel machine. to show his supremacy over the attendant landscape in proper context (ie, he's affraid of the wilderness roads expand into). once expansion stops, he wants an efficient little thing, to get it over the next guy (ie, he's affraid of neighbour). and once road network st
mircea_popescu: asciilifeform maybe i misunderstand something, but that actually should have been an argument for, not against.
mircea_popescu: BingoBoingo i watched last night "fun with dick and jane", which is a fine throwaway. other than tea leoni making a way the fuck better applegate/bancroft/whatever (these typically ustardian huswife of businessman roles, where businessman is one of those schmucks doing nothing, "vp of ziggler-engels" sorta thyings). but the interestinfg part is : the guy gets a promotion. the signalling signs of this promotion are, that they
mircea_popescu: speaking of which, i kinda always wondered why exactly the SUV craze stopped. i mean, once you give up on sense, there's no way to land, is there ? they could have made a DOUBLE SIZED "car", that takes up two lanes, and could carry that much more injected plastic on the frame. ☟︎☟︎
apeloyee: ok, i'll think and come later.
mircea_popescu: http://btcbase.org/log/2017-09-13#1713462 << i suspect back before the "end of the world" people had a firm dislike for "life changing prizes". because hadn't experienced disruption in the proper sense ; and understood the lottery winner problems. ☝︎
asciilifeform: ideallly. i don't have a fixedtime reciprocal finder. ☟︎
asciilifeform: apeloyee: if you want to write out the full algo, i'll read
asciilifeform: no i get it
apeloyee: (i'm not talking about floating point, if that's not obvious)
apeloyee: standard barrett requires a*b<n^2, yes. hence I specified the double-precision reciprocal.
asciilifeform: and incidentally barrett , as iirc i mentioned in yesterday's thread, requires that a*b < n^2.
asciilifeform: if you made the double-wide reciprocal ( i will leave aside the question of how to do this in provable constant time and provable correctness ) you're stuck using that width.
asciilifeform: now this isn't even all. how the fuck do you intend to calculate the reciprocal WITHOUT DOING THE SAME DIVISION I'M DOING NOW
asciilifeform: other thing, apeloyee , is that if ffa does NOT operate on mixed bitnesses. i.e. if your operands are B bits, and you introduced an intermediate of some kind that is 2B bitness, now ALL of your computations with that must be 2B wide (incl. comparisons, nullity checks.)
apeloyee: what woud be wrong with barrett reduction if you calculate a sufficiently precise reciprocal of modulus N,i.e. (maxint+1)^2/N?
trinque: divide by zero joke; I'll show myself out ☟︎
asciilifeform: ( i can already hear mircea_popescu going 'hahah, mod 0' )
asciilifeform: anyway i think that sums it up, apeloyee
asciilifeform: i.e. 0 * 0 mod 0 must result in the execution of exactly the same sequence of cpu cycles, as maxwidthint * maxwidthint mod maxwidthint .
asciilifeform: http://btcbase.org/log/2017-09-13#1713468 << i'm still waiting for the brezhnev-yeltsin state-of-the-art to come back -- guard with tranquilizer gun, 'oh she felt unwell' ☝︎☟︎
a111: Logged on 2017-09-13 09:43 phf: i think tmsr keyboard should be made with traditional fortepiano technology, ebony keys with ivory letter inlays, maple casing, etc.
asciilifeform: lol, just when i thought that crapple might have hit retardation rockbottom...
phf: i think tmsr keyboard should be made with traditional fortepiano technology, ebony keys with ivory letter inlays, maple casing, etc. ☟︎
BingoBoingo: https://i.imgur.com/V8dVBOx.jpg
asciilifeform: but i specifically refuse'em because NOT ORTHOGONAL, they don't belong as part of a general-purpose numbertheoretical minimal 'crypto lego set'.
asciilifeform: ( unless and until i were to hammer it into MY head such that it wholly fits )
asciilifeform: and moreover i can never be convinced that they ain't lying TO ME
asciilifeform: it does not fit in my head, and i am not convinced that the folx who claim that it fits into theirs, ain't lying
asciilifeform: incidentally this is why i oppose ellipticcurveism
asciilifeform: which incidentally i am ready and willing to produce for every single piece of ffa to date.
asciilifeform: i can state with confidence that kochiana fits in NO head
asciilifeform: i'd like it not to be lost upstack, so will restate ftr : a 'optimized' rsa that no longer fits in head and is no longer demonstrably-correct , ( and worse yet, no longer operates branch-free ) is NOT RSA and is simply a turd being fraudulently passed off as the genuine article
mircea_popescu: i know i was. ie, it was not directly evident to me that mining as originally designed has this weakness.
asciilifeform: it also comes from 'reasonable' people who 'oh hey i can make rsa 1.5x faster if i use weird bases, so what if my code is now 20kline instead of 2k'
mircea_popescu: i dunno how many people you will have to shoot to keep them from taking your general-purpose p-based rsa and writing a narrower, "works for rsa only" faster program.
asciilifeform: i hold that it is not meaningful to attempt to separate'em
asciilifeform: is what i was trying to get across in the beginning
mircea_popescu: anyways. i spent some time where the math lives, and i am satisfied that proving some sort of hard relation between fxy=mod(xy) and a polynomial expression of xy is in fact reality-breaking.
asciilifeform: mircea_popescu: i'm satisfied that it holds, as written. in re knuth, turned out that i was thinking of the 'addition chains' method of mod-exp
a111: Logged on 2017-09-12 22:20 asciilifeform: i'ma need to find a proof that this holds for all integers.
mircea_popescu: so in the end what was it, http://btcbase.org/log/2017-09-12#1713104 or http://btcbase.org/log/2017-09-12#1713161 ? cuz i don't expect it can be both dubious and well known at the same time. ☝︎☝︎
asciilifeform: the saving grace is that indeed i and everybody else can get by without ideal modelf kbd. but on the other hand i ~do~ need a modmulter.
asciilifeform: prolly if i desperately wanted custom keys, i'd laser the letters and then cast into acrylic.
mircea_popescu: asciilifeform because "stainless steel kbd" is an entertainingly stupid notion ; and what's more it's pecularly stupid in the way your stupid works, i can see it relate to the "fuck you guise, ima live on a boat" and so on. spherical cow sorta approach.
asciilifeform: i dun actually make keyboards. but did once say 'i'd like a stainless steel kbd' and for some reason the reaction is always 'no have THIS instead'
asciilifeform: though i have nfi how one would do the inlay such that surface is smooth to the touch
asciilifeform: but yes i thought about wooden keys. probably would want a custom milling rig to make'em ( something like a lens maker's lathe )
ben_vulpes: i find it very interesting, but do not have anything useful to say on it!
ben_vulpes: you said piston, i was imagining fancy tiny pistons with overpressure valves!
ben_vulpes: granted i have not seen this piston kb design you've mentioned
ben_vulpes: i think that i would like wood keys.
asciilifeform: 95% of the academitards dun even bother with any attempt other than 'how do i montgomery slightly faster'
mircea_popescu: i'd still take silver myself, if i were doing "metal kbd". not that i would.
mircea_popescu: i dunno, maybe. i've little experience with the item.
asciilifeform: so i'd go for, say, monel.
asciilifeform: i was thinking of machining but yes
mircea_popescu: i ate off my great-grandfather's set, still clean as the day in 1870 it was made.,
asciilifeform: incidentally i dun think i've put into the logs why montgomery's modular mult algo is unusable
a111: Logged on 2017-09-12 23:11 mircea_popescu: 2. a fine example of how "i work for the web man" rots the brain, is that in an implementation of the above discussed mod-distributiver, the "common" consensus impulse would be to add a test, make sure the list elements respect the condition of <modulus. this however is very much the wrong thing ; and it is a tmsr-graduate level question to explain why and wherefore.
a111: Logged on 2017-09-12 23:12 mircea_popescu: and finally 3. the item there described is not exactly a function. it rather something i'd call a mechanism, a discrete item that does a fully defined thing. as we're looking more and more through ada eyes and constant time things and so on, a study of these mechanisms as an distinct category will prolly be useful. somewhere between conway's cells and commandline utils, they are.
mircea_popescu: and finally 3. the item there described is not exactly a function. it rather something i'd call a mechanism, a discrete item that does a fully defined thing. as we're looking more and more through ada eyes and constant time things and so on, a study of these mechanisms as an distinct category will prolly be useful. somewhere between conway's cells and commandline utils, they are. ☟︎
mircea_popescu: 2. a fine example of how "i work for the web man" rots the brain, is that in an implementation of the above discussed mod-distributiver, the "common" consensus impulse would be to add a test, make sure the list elements respect the condition of <modulus. this however is very much the wrong thing ; and it is a tmsr-graduate level question to explain why and wherefore. ☟︎
mircea_popescu: 1. if you actually want metal kbd, your choice of steel is probably ill advised. i'd try silver instead. heuristicallyt there's a reason gunsmiths and silversmiths were ~the same people i nthe early modern period ; moreover silver has better properties in the range sough. ☟︎
mircea_popescu: anyway, three points since i got a blowjob and apparently this inspires me.
a111: Logged on 2017-09-12 01:01 PeterL: I suppose people who are not programmers do not use ( or ) much, but does anybody actually use [ and ] any more often?
phf: http://btcbase.org/log/2017-09-12#1712367 << i've went through many layout modifications, but i finally settled on just having () and [] switched around. it's convenient both for prose and lisp (not so much heathen languages though) ☝︎
a111: Logged on 2017-09-12 00:50 PeterL: hmm, here's another key I never use, what does "Caps Lock" even do?
phf: http://btcbase.org/log/2017-09-12#1712362 << i actually use this one pretty frequently when i type for identifiers, abbreviations and section headers in notes. really any time i need to type more than 2 capitalized letters in a row.. ☝︎
mircea_popescu: asciilifeform im pretty sure i read the whole knuth as a teen, so it's likely just memory at work.
mircea_popescu: i'll take your word for it if you say so ; i've not looked at them closely in comparison.
mircea_popescu: i dunno about that.
mircea_popescu: this holds for arbitrarily large numbers, and i suspect will be faster than classical.
asciilifeform: i dun get from where you got the 1s
mircea_popescu: i personally like the formalism of it ; but whatevs.
asciilifeform: as far as i can see it is exactly same
mircea_popescu: well i have nfi, haven't profiled the thing.
mircea_popescu: whether this approach is actually faster than the current mod of 97 as implemented via knuth is open to discussion, i guess.
asciilifeform: i dun see what this gives you tho
mircea_popescu: well, i dunno how expensiuve addition is and how much it adds to the mod.
asciilifeform: i'ma need to find a proof that this holds for all integers. ☟︎
mircea_popescu: put numbers in here, i'll do it for you if you wish,.
asciilifeform: ( i thought we were doing a+b )
mircea_popescu: how did i mash a random number mod 7 already.
asciilifeform: if you allow a+b+c addition to take place, you have exactly same proggy i have now.
asciilifeform: i thought you had algo for not having to add'em
asciilifeform: ( i promise i have nfi how to do it. just like i don't know how to make 2+2=5 )
mircea_popescu: i read it befoar. but sure, why not.
asciilifeform: i highly recommend to read the past 1st, it is not long
asciilifeform: and if mircea_popescu writes one -- i dun care if in fortran, cobol, malbolge, whichever, so long as it's something resembling a proggy -- i promise to read.