mircea_popescu: anwyay, perhaps best historical example of the "problem -- ill posed" bit is the history of the sewing machine.
mircea_popescu: and re latin : it should be noted that it was by no means a maximally simple, or a maximally adequate-to-human-experience language. it was however ~correctly~ complicated, which to date is its foremost value.
mircea_popescu: "if you're going to complicate -- complicate like latin, don't complicate like puritan society or any other barbarian non-people"
mircea_popescu: in the same vein, the early 1900s investigations into the meaning and structure of number resulted in a correctly complicated notion, from riemann functions to cantor's sets and so on. this is at great variance with non-fields like "artificial intelligence" or say alf's favourite, postmodern qm (say string theory or w/e) -- which evidently are incorrectly complicated even if it's not always evident where exactly.
BingoBoingo: Well, gotta remember post-modernism and "social justice" were the actual KGB/Soviet plot to undermine west
BingoBoingo: Roosevelt just fertilized ground with his bully bullshit
jhvh1: BingoBoingo: Bitstamp BTCUSD last: 2500.08, vol: 4560.03660208 | BTC-E BTCUSD last: 2464.201, vol: 1952.86003 | Bitfinex BTCUSD last: 2468.0, vol: 7779.68293227 | BTCChina BTCUSD last: 2549.010269, vol: 4006.95730000 | Kraken BTCUSD last: 2502.999, vol: 3058.36567106 | Volume-weighted last average: 2494.71196232
shinohai: Maybe new owner is busy znorting the profitz ?
phf:
https://archive.is/lyT2j << "The American college graduate allegedly beaten to death by a gang of 10 people in Greece was an aspiring entrepreneur who was visiting the country to launch his own fashion line."
☟︎ phf: ... i quoted it from qntra apparently
deedbot: EIC voiced for 30 minutes.
a111: Logged on 2017-07-10 14:59 phf:
https://archive.is/lyT2j << "The American college graduate allegedly beaten to death by a gang of 10 people in Greece was an aspiring entrepreneur who was visiting the country to launch his own fashion line."
mircea_popescu: lemme guess, it conveniently makes fries on the side ? LIBERTY fries ?
mircea_popescu: funny how nobody from the "concerned" peanut gallery is there on the congress floor uninvited every day, "hey guise, remember that time when oyu decided to rechristian french fries ? what happened to that ??? I THINK THE USD IS WORTHLESS!!!"\
mircea_popescu: dat hipocrisy hunting, and its remarkably directional application.
mircea_popescu: i eagerlyexpect the imperial "fuckgoats" bowdlerization
mircea_popescu: i also do not expect we will ever call anything outside of the "pussygraber" "yesmeansanal" etc antipantsuit set
mircea_popescu: "that weird cult that calls everything by unprintable names inexplicably because we try to run off with any other names they use hur durr"
mircea_popescu: it's exactly how it goes, too. and the funny thing is, the braindead vat dwellers actually go by that.
mircea_popescu: moar win-win has scarcely ever been seen in the history of human stupidity.
mircea_popescu: direct calque off the inept old woman "oh, tell all the young women not to go to the rape hut!!!" except , of course, the sort of girl that'd listen nobody wants there in the first place.
mircea_popescu: (for the anthropocurious : there's three types of primitive civilisation known to either theory or practice. all three had a female hut, where the women did their woman shit. one of them had a male hut where they got drunk and dragged unwilling sexual partners by the hair. another had a male hut where they mostly sat idly about. the final one had no male hut at all, like the chimps, and thereby is very dubiosly a civilisation
mircea_popescu: and yes, both gerousia and roman senate come off the first branch.
BingoBoingo: At least knows to keep butthole off of dirty cheap plastic
BingoBoingo: "Rooney Mara’s character, grieving the death of her lover (Casey Affleck), returns home to find a pie left in her kitchen by a sympathetic friend or neighbor. As the bedsheet-clad ghost of her beloved looks on, Mara’s character, known only as M, unwraps the pie, sinks to the kitchen floor, and devours almost the entire thing in a five-minute, uninterrupted sequence before suddenly dashing to a nearby bathroom to throw up." << Films W
BingoBoingo: aPo reviews for "our democracy", pussygrab 2020!
BingoBoingo: Other critics on said "cultural milestone": "Rooney attacks that pie like a cake person, engineering such unusual fork scoops (she stabs the pie at least four times before each bite) that I started to wonder whether the actress had even ever seen a pie before. We all do weird things when dealing with grief, but I was tickled by the fact that Mara’s bizarre pie-eating method still managed to leave the crust mostly intact."
BingoBoingo: Our democracy however does not care to speak at all about parallels between protagonist of film who is a "bedsheet ghost" and Klan uniform which is also "bedsheet ghost"
BingoBoingo unsure that this isn't new levels of irtellectuan int-L-evance
mircea_popescu: what's a 4kb keygen, gotta look for the primes, say a few hundred emults ?
mod6: <+asciilifeform> and 0 parallelism << cool!
mircea_popescu: do teh math, if 8kb rsa key is preferable to 4kb rsa key, there's fundamental problems with rsa that make it useless anyway.
mircea_popescu: and this nonsense of offering faux meaningless choice a la kochpgp is unwelcome and shouldn't be perpetuated. keys are 4kb and forget about it.
mircea_popescu: and not even 4096 bits, there's a whole speccing discussion re this in teh logs
mircea_popescu: asciilifeform well there is that. nor should you. butwhat happens to 8kb keys is of ~0 interest nevertheless.
mircea_popescu: not so. why i said do the math : cracking 4kb key the hard way exceeds the universe. this is a categorical argument, substantially different from "i could compute 2 bit key by enumeration on napkin"
mircea_popescu: asciilifeform no. one needs multiple planets, the other exceeds matter.
mircea_popescu: where the fuck is that tmsr-standard-rsa-key discussion
a111: Logged on 2016-08-03 04:34 mircea_popescu: actually to formalize that : a 4096 bits key means a p that is 257 to 259 bytes long ; and a q that is 258 to 260 bytes long. end of fucking story.
mircea_popescu: ^ very specific what a key is. not "interchangeable p and q"
mircea_popescu: (yes this yields keys slightly longer than 4kb. good.)
mircea_popescu: it is entirely acceptable for proper keygen to take up to a few hours. 200 seconds is actually exceedingly fast.
mircea_popescu: asciilifeform that's another thing i would like : a graph of the relation of the m-r failure rate to the a) entropy quality and b) margin.
mircea_popescu: ie, is the relative impact cuadratic or subquadratic ?
mircea_popescu: which incidentally brings us to a very workable and very useful tmsr definition of entropy quality : take a FG string. flip a number of consecutive bits to 1. the result is your entropy quality, such as 100/1mb if you flipped 100 bits.
☟︎ mircea_popescu: could also be derived mathematically, but so far've not managed to.
mod6: how come they don't publish these things in ascii like normal people?
mod6: ah right. still sux tho.
mod6: asciilifeform: lol indeed.
shinohai curled it and piped through pdf2text, seems readable ....
mircea_popescu: asciilifeform i had actually read this text, though pretty sure not in this paper. but i recall the 100,10 bounds etc
mircea_popescu: they have the p k, 1 < 4 ** (2 - sqrt(k))* k**2 , which is useful, but i also want the p k, m
mircea_popescu: i would very much like an exact bound, rather than an exact solution
mircea_popescu: asciilifeform by my lights, exact answer re prime distribution prerequisite to trivial factorization of rsa.
mircea_popescu: there is no gold standard to which you could compare the gold standard ?
mod6: im retarded, what is 'comba' ?
a111: Logged on 2017-07-10 19:50 asciilifeform: mircea_popescu: this'd be an interesting adjunct to the dh tests even.
mircea_popescu: it's generally a pity people don't use numerical methods more.
mircea_popescu: got all this iron, let's do dumbass bayesianisms on it, instead of you know, what people correctly did up to the 90s or so.
mod6: asciilifeform: thx, will read
mircea_popescu: i realyl don't like this "and now we magic-variable the numbers". it's one step up from magic constant
mircea_popescu: wouldn't it actually be proper to copy the slice into its own array ?
mircea_popescu: wouldn't it be actually proper to copy the slice into its own array and to maintain a pairing of slices and new arrays ; rather trhan do index magics on the mult code ?
mod6: i've read, so far seems ok -- i've got to wrap my mind around the second ("high loop") as I did before.
mod6: gotta take it the whiteboard a bit later perhaps.
mircea_popescu: i am sitting here wondering if this is "getting rid" as in, rid or rid as in, hid.
mircea_popescu: what particular can i prove re the relation between an array slice and the index fixer variable ?
mircea_popescu: ~same as the relation between pointer and its content, "better hope programmer didn't fuck up ; and also it usually blows up if he did so there's that"
mod6: so recently, i've done some multi-d array programming in ada..
mod6: all i can say thus far is; stuff seems to be strict. my code may compile, but indeed blows up at runtime.
mod6: index out of bounds.
mod6: or whatever it was. no did not seem to be a segfault.
mod6: im just dumb. it seemed to be smarter than i am.
mod6: that's what would be ideal
mod6: now if i could just my head out of my ass....
jhvh1: Last 5 lines bashed and pending publication
mod6: heheh, ok. will dig into ur function a bit more here in a little bit.
mod6: is it doing ~what is expected?
mircea_popescu: but unrolled loops you can bake in your alfmachine we were discussing last week
mircea_popescu: moreover, if you do fixed as described, you CAN so unroll, if you do or if you don't.
mircea_popescu: just as should be. first spec code then optimized code
a111: Logged on 2017-07-04 15:06 mircea_popescu:
http://btcbase.org/log/2017-07-04#1679054 << this is a fine approach. "here's the per spec impl, here's the optimized impl. you can verify they agree wrt results ; and you can trivially verify the former is spec-accurate."
mircea_popescu: which suggests the very important point : bitewise equality over the result space is not sufficient proof of program equivalence.
mircea_popescu: aka "you can not fix a computer by simply rebooting it without any idea what's going on" moonism
mircea_popescu: asciilifeform incidentally, unrelatedly and idly : an optorsatron might also be built if unrolled.
a111: Logged on 2017-07-07 18:01 mircea_popescu: if they did that sort of shit, i could almost respect artists.
mircea_popescu: it should not take the average artist a year of labour to produce the optorsatron out of cheap lasers and stuff ~free in any collegiate lab, once he's stolen the unrolling and idea from log.
a111: Logged on 2017-07-09 16:29 phf: note that common lisp's sexps are not an ideal data exchange format
deedbot: EIC voiced for 30 minutes.