log☇︎
155400+ entries in 0.084s
mircea_popescu: ah, if nice chassis and stuff like that, total steal.
asciilifeform: would prolly cost roughly what you'd expect it to if you napkin calc.
mircea_popescu: if it can be delivered a la FG, and it doesn't cost MUCH more than the current shits, defo.
mircea_popescu: very true.
asciilifeform: there's no particular reason why a router oughta contain a few 100MB of unixlike, rather than, say, a few kB of fpga config.
mircea_popescu: trinque yeah, but i was just making the point for his benefit that his elaborately crafted turd is not so much better than the 40 bux consumer turd.
mircea_popescu: asciilifeform that is true.
trinque: I'm still of the mind that I'd rather eat openbsd than linux
asciilifeform: router is a pretty simple item, incidentally, and a good first candidate for proper total deunixation
mircea_popescu: well that much is also the entirety of the problem.
trinque: sure, that much is true.
mircea_popescu: as opposed to, say randomly, "a piece of junk"
mircea_popescu: that at any future point you must be able to produce a package you're willing to label "openbsd"
mircea_popescu: asciilifeform why would the next one be re privesc.
a111: Logged on 2017-09-26 15:45 asciilifeform: in other lulzies, https://archive.is/roEgM >> privesc 0day : '...all versions of CentOS 7 before 1708 (released on September 13, 2017), all versions of Red Hat Enterprise Linux 7 before 7.4 (released on August 1, 2017), and all versions of CentOS 6 and Red Hat Enterprise Linux 6 are exploitable' << Aaaaaaand as usual linus sat on the goods since april, because 'responsible'
mircea_popescu: with the downside that you're now stuck maintaining netbsd.
asciilifeform: just about anything with a few GB nic ports, fanless cpu, and some place to stick netbsd etc, worx
mircea_popescu: ah. i guess, if you keep lists of which ones aren't too stupid byu nature
asciilifeform: another pretty good one is that very same pcengines box, from ~that~ thread
asciilifeform: 64bit mips thing, there was a thread
mircea_popescu: and in today's installment of loose holes and limp knees, http://68.media.tumblr.com/b0c7cea42f4b64cc3965fe43817b45da/tumblr_nskr27Zx6h1u9uov7o1_400.gif
asciilifeform: i certainly can't bring myself to use the konsoomer crapola, when making a replacement that lasts ~forever and requires 0 nursing, is hardly even day's work
a111: Logged on 2017-09-29 03:10 BingoBoingo finds it a nice change of pace to have a Trilema fiction story with so much emphasis on the protagonists
mircea_popescu: http://btcbase.org/log/2017-09-29#1718201 << wait, as opposed to whim ?! ☝︎☟︎
mircea_popescu: THAT IS NOT QUITE SAME THING
asciilifeform: well, not quite, but getting there.
jhvh1: asciilifeform: The operation succeeded.
asciilifeform: !~later tell phf http://wotpaste.cascadianhacker.com/pastes/b9fvZ/?raw=true
a111: Logged on 2017-09-27 22:46 BingoBoingo: davout: I'm wondering if an progress was made finding Francophone datacenters outside France, preferaby in the heart of the dark continent
adlai reads about Lame's theorem: http://archive.is/yftFf
asciilifeform: adlai: the painfully obvious way
adlai: curious to see how you've tackled http://btcbase.org/log/2017-09-20#1716144 ☝︎
adlai: "Reading is to the mind what exercise is to the body"
adlai: here we mostly have street cats, that are the apex predator of the urban food chain
asciilifeform: little fella. in the desert.
asciilifeform: adlai: how lives the land of the sand cat ?
asciilifeform in the company of pet, who is practicing ro-fu
mircea_popescu: and in other "asian people should just be holocausted" news : piece of shit router, gets set up to work on static ip, spews out the helpful error message of "the value can't be equal". verbatim. and the source of it is a pile of inclusion gnarl so you can't even trivially debug the nonsense THAT way.
BingoBoingo finds it a nice change of pace to have a Trilema fiction story with so much emphasis on the protagonists ☟︎
mircea_popescu: and in other lulz : miicard.com. "The only way to prove you are who you say you are purely online"
mircea_popescu: nature provides precious few materials of comparable quality for this particular purpose. cuz it has to be soft and occlusive and so on, contrary engineering requirements.
a111: Logged on 2017-09-29 00:24 mircea_popescu: a...ficcionados (lol) can readily resolve the problem though : douche the girl, then anally feed her a banana for buffer, then load her up in whatever flavour you favour and then proceed to dinner.
BingoBoingo: http://btcbase.org/log/2017-09-29#1718114 << Will have to remember the banana trick ☝︎
a111: Logged on 2017-03-02 20:53 asciilifeform: the 'let's use anything, ANYTHING but rsa' thing really grates on me.
asciilifeform: ( point was, academitards swarm around 'demonstrations of clever' glass beads rather than items that demonstrably work, as discussed in http://btcbase.org/log/2017-03-02#1621290 and elsewhere ) ☝︎
mircea_popescu: they'll "offer you" to take them and set their fat ass down in a $5mn apartment in a condo overlooking the pierre.
mircea_popescu: in any case tenure is not like bushels of pistachios, to be offered in trade. it's like "true love", very much of the sociopathic ilk seen in http://btcbase.org/log/2017-09-26#1717417 ☝︎
mircea_popescu: "offers of tenure". wtf are you on about.
asciilifeform: asciilifeform for instance notices that his phone is not ringing with offers of tenure.
asciilifeform: apparently you dun get usg.tenure for working on proofs concerning items that map directly to iron
mircea_popescu: because neither of these, even if wrung into acceptability in the most theoretical sense, come with any sort of even vague hope of a possibility of a guarantee of computability.
mircea_popescu: i'd propose as heuristics from this that the moment anyone proposes either a) a computable corolary of ZFC, no matter its kind or b) a computable corolary of AOC, no matter its kind, we're lost for reason.
asciilifeform will come back to this item at some point , when it works its way out of his very long digestive tract
asciilifeform: again i dun have a verdict re the verdict of $subj, all i got in my notes is 'd00d appears to have stated the problem correctly'
mircea_popescu: seems to me the main reason $item stood out to your examination is that in a sea of former fools you finally found a latter kind.
mircea_popescu: so to sum this up in our lingua franca : one kind of fool says "this confuses me and therefore must be hard". the OTHER kind of fool says "this seems immediately beautiful and to my eyes elegant and therefore must be easy".
asciilifeform: author ~does~ have some strange cockroaches in his head: cites shamir's 'proof that factoring can be O(log N)' but omits to mention that it requires a machine that works in arbitrarily-sized integers in constant time...
mircea_popescu: anyway. my point is that the idea that "a practical implementation of the axion of choice always exists" is way WAY further out there than simply thje axiom of choice. WAY. because even "trivial" things (find the coprime n powers that sum to cube) are in point of FACT, know, proven, concrete poured and long dry, strictly incomputable.
asciilifeform: other than our thread here.
asciilifeform: i dun have a verdict on $article yet. will say that it is simply, afaik, the beginning and the end publicly available on the subj.
mircea_popescu: right, but what i'm saying is that the original article is much in this vein.
asciilifeform: impossibles dun make for useful crypto, tho
mircea_popescu: right, but that's the very important point there, you don't get it without mutialrtion.
asciilifeform: oh hah i mentally mutilated mircea_popescu's item into discretelogproblem, because of thread subj
mircea_popescu: it's the converse of the modular math / elliptic curves geometry equivalence.
mircea_popescu: the 3 case is proven by euler. the > 3 case flows from you know, wiles' work.
mircea_popescu: asciilifeform no cube can be written as a sum of two co-primes raised to the power of three or above.
asciilifeform: if it's a problem in the integers, and it has an answer, it is 'possible'
mircea_popescu: exactly like trisection, amusingly for ~same reasons.
mircea_popescu: asciilifeform you understand this is actually impossible, yes ?
asciilifeform: but thread is re provables.
asciilifeform: hey if yer gonna take 'presently impossibly difficult' to mean same thing as 'uncomputable', then sha256 is goodenuff
mircea_popescu: none of this is dispositive ; what i'm saying here is that im pretty sure i read this, and it didn't come through as much more than tyhe usual math grad wank to me.
asciilifeform: dunno that it is a conjecture when the working set consists strictly of items you can have on a physical comp
mircea_popescu: and it requires more than that, if you step out of haskell and try to c, nonsense such as "universal computability", which falls apart the moment you are invited to do relatively "simple" things such as write cubes as sums of coprimes raised to large powers.
mircea_popescu: it requires zemelo-frankel conjecture, for one thing.
asciilifeform: the thing's been in my queue for a while, marked with 'determine what all of the assumptions were'
mircea_popescu: heck, i recently linked to some lulz discussing that. recall cads and his fabled gf ?
asciilifeform: quite possibly mircea_popescu read it at some point. but did not yet have the correct itch, to appreciate.
asciilifeform: sane discussion of the question, followed by an answer you can go with ( because if it turns out that oneway functions do NOT exist, all crypto other than otp is worthless )
mircea_popescu is pretty sure read this sometime past years.
mircea_popescu: no i mean the result. "if the classes are separate". well...
asciilifeform: ( the flimflam artists who call themselves 'cryptographers' studiously avoid the subject, and will recoil in horror -- guaranteed, try it yerself -- when confronted. )
asciilifeform: afaik that piece remains 'the last word' on the subj, from the maths folx.
asciilifeform: ^ offers a solution to the megapuzzler, but takes 'complexity classes ARE disjoint' as a lemma.
mircea_popescu: body parts seeping from the ground in a swamp and such ?
mircea_popescu: you familiar with the platonic alt-theories ?
asciilifeform: picture if these imbeciles designed a body for some creature.
asciilifeform: and if you lick a 9v cell your tongue dereferences a null ptr and falls off, neh
mircea_popescu: but speech is certainly a perversion, so this argument is hard to bring.
mircea_popescu: pattern matches, at the least.
asciilifeform: i suppose holding a knife between yer teeth, or a flute, etc is also 'against nature' lol
mircea_popescu: all the people going "oh, it's against nature" have NO FUCKING IDEA whatsoever as to nature.
mircea_popescu: one of the most fascinating things about anal perversity is that the colon seems particularily eager to enter dual use regime.
mircea_popescu: depends. trained ass needs 2. noob ass, 3+.
mircea_popescu: a...ficcionados (lol) can readily resolve the problem though : douche the girl, then anally feed her a banana for buffer, then load her up in whatever flavour you favour and then proceed to dinner. ☟︎
a111: Logged on 2017-09-28 18:29 BingoBoingo: "That's exactly the problem. Yesterday I ate a most delicious desert out of my slavegirl's own ass, directly. This dream of many previous sultans and whatnots that nevertheless couldn't ever be fulfilled effortlessly came through, for me. I didn't even much care for it either way," << TMSR problems
asciilifeform: note that, e.g., game of go, is exptime-complete but turns out that good algo exists. complexity class as we have it is a broken concept, which was asciilifeform's argument to start
mircea_popescu: including the algebraic indices problem etc.
asciilifeform: ( iirc last time we had the thread, mircea_popescu dug up a few even-moar-painful complexity classes, to place the dragon into. and asciilifeform had to point out that THEIR disjointness from P is equally unproven )