log☇︎
44300+ entries in 0.027s
asciilifeform: i confess, did not follow the thing's trajectory into the ground, do not know which fashionable insanity in particular it followed as it died of immunocompromise
mircea_popescu: then it was too late, and then it just became incomprehensible.
mircea_popescu: i was trying a tongue in cheek, "yes, now it has more code and less functionality, but it follows whatever trend of insanity".
asciilifeform: ( tho i last looked 5 or so yr ago. thing was self-building , and could build 2.x kernels in coupla sec )
mircea_popescu: i mean, "<asciilifeform> nao it resembles minix, 100x the mass of the original, and ~less~ function" <mircea_popescu> yeah, but it's in ruby, or w/e the fuck unity.
mircea_popescu: yeah, but it's in ruby, or w/e the fuck unity
asciilifeform: bellard himself abandoned it, not the least reason , near as i could tell, was that he did not relish idea of maintaining 9000 backends
asciilifeform: nao it resembles minix, 100x the mass of the original, and ~less~ function
asciilifeform: seems to have disappeared. and tcc was 'picked up' by fungi.
mircea_popescu: (note: "lists.gnu.org" moved to "lists.nongnu.org"). and other keks.
mircea_popescu: http://www.landley.net/code/tinycc/ << also. did the guy disappear ?
asciilifeform: but worth a shot ( tho asciilifeform's track record for 'write 'im a mail' is currently abysmal )
mircea_popescu: sounds like he did a lot of the same stuff here contemplated. shoot fellow an arrow maybe ? is he old ?
asciilifeform: afaik then he sank into the sea, never continued.
mircea_popescu: yeah, ok, this very much germane to discussion.
mircea_popescu: ah the tcc thing ?
a111: Logged on 2017-03-23 16:39 asciilifeform: trinque: fabrice bellard had an interesting experiment, where he stuffed tinycc into kernel, and had it self-build on boot
a111: Logged on 2019-01-16 02:24 mod6: This all started because we need a new door, it's old as shit, and all the weather stripping is bad, etc. So of course, this isn't std door size. So I paid some good money to have a custom one made to size. When the carp came out to install it, the first thing he did was pull off one piece of molding, and stuck his file down in the bottom area where that joist is located, and it pushed right through.
mircea_popescu: shit's exactly in the position of mod6's famous house, http://btcbase.org/log/2019-01-16#1887503 ☝︎
mircea_popescu: moreover, the recent exception handling discussions & digs exposed most eminently the hole the shit's in. you could improve on gcc right now, just by fixing its idiotic tokenizers, "optimized" log n-onsense ans so forth.
asciilifeform: nursing old gnat aint optional, currently, just like nursing trb aint optional
asciilifeform: granted. sorta why i said 'it's a trb'
mircea_popescu: this isn't the q. there's exactly one thing that shits bytecode. much like in 2011 there was exactly 1 thing that extended the blockchain.
asciilifeform: q is, do you actually ~want~ a thing that shits out 200kB of peepholed x86 ??? for 'hello world' .
asciilifeform: it's at the mpi confiscation stage atm.
mircea_popescu: then we see, esp on the basis of discoveries during.
mircea_popescu: ada-musl will have to get its own backend, even if it's mpi-style confiscation.
a111: Logged on 2019-02-20 15:41 mircea_popescu: it seems rather obvious that the 2020-2025 republican future will consist of a whole lotta http://btcbase.org/log/2019-02-17#1897560 http://btcbase.org/log/2019-02-17#1897468 etc as we unwind the "optimizing" part in http://btcbase.org/log/2019-02-17#1897829 and discover a whole lotta http://btcbase.org/log/2019-02-17#1897689 and http://btcbase.org/log/2019-02-17#1897536
mircea_popescu: anyway, to land this far going baloon : currently, the large chunk of sanification work will likely still be http://btcbase.org/log/2019-02-20#1898113 ; there's no way to have a world without a backend, there's no way to learn how to build one without unpacking the only one that exists, and so on. ☝︎
asciilifeform: ( btw if anyone else sees a dead link, plox to write in , i do fix )
mircea_popescu: update your link too, and there we go
asciilifeform: loox like moved to shithub
asciilifeform: or the 'bus width is handful of bytes' nonsense
asciilifeform: for instance -- the expectation that ram contents vanish when plug is pulled ( entirely avoidable since, what, late '90s or so ) ; or that machine is permitted to crash ( subj discussed in detail in log, crash oughta be seen as same calamity as catching fire , and this pov is entirely practical )
asciilifeform: mircea_popescu: asciilifeform's observation is that all historic attempts at 'pure (b)' were gimped by low expectations from iron, on acct of author's lifelong crippling experience with shit irons
asciilifeform: and fails to provide locking in iron primitive, which gives the fungal bloom of software threading deadlock etc
asciilifeform: in that e.g. it imposes ridiculously small bus widths, gimping rsa;
mircea_popescu: there is that.
mircea_popescu: though if memory serves intel mkt dept had internal proposal to "usg pronounces pentium right, everyone changes bookeeping to suit it"
mircea_popescu: it's independent of a, because if it turns out all iron fails math we'll dump all iron, not re-write math.
asciilifeform: 'proper primitives' is not independent of a) what backing iron b) what operator expects to ride on top (langs, memory management style) tho.
mircea_popescu: and that b) it is likely to be easier to start picking low hanging fruit from right rather than left, simply because cheaper fruit lowerly hanging there.
mircea_popescu: and i'm saying that a) both approaches share a lot of overlap (you say no, but you agree next line that conceptually, field is broken -- that is overlap!!! you just agreed!)
mircea_popescu: nevertheless, the obvious alternative, factually there as holes follow fills and so on, is "approach from code end". and this approach'd be something like a ~proper~ standards lib. ie, both with proper access and proper primitives.
mircea_popescu: nothing wrong with this. and will have to be at least attempted.
mircea_popescu: but back to it, let's try and use different terms : i deem your "whole thing is an emu, in machine lang, bios boots into it" to be a "approach from machine end".
asciilifeform has entire site about this..
mircea_popescu: very early 1500s medicino-chemistry-philosophical-barbershop flavour to the whole field.
mircea_popescu: fucking bs "science" where ALL the notiuons are broken.
mircea_popescu: which is the point, it's a waste of time to consider "how linus separated" or "how rms thought should be separated". whoile thing's built on magic musherooms, "sky quadrants" etc.
asciilifeform: so happens that i have a page re subj : http://www.loper-os.org/?p=256 .
mircea_popescu: anyway, i think i fully understand what you mean re "no compiler, no linker" : it is evidently a broken situation when you have TWO patsh from "what master said" to "what machine does".
asciilifeform: the unix 'tower of layers', nominally separable, is spurious ( but mircea_popescu knew this ).
mircea_popescu: asciilifeform i'm aware, evolved not designed. nevertheless, the fundamental breakage here is that glibc is proposed as a "library" rather than a "kernel mod". not that these terms make any fucking sense anyway, but what the fuck am i gonna do.
asciilifeform: ( can has boat hull that dun leak ? )
asciilifeform: the central imho open q is, how much of the iron's retardation can be kept out of such a system.
asciilifeform: mircea_popescu: in pctardation land, it's a consequence of the (massively failed, historically) attempt to hack around the fact that erry peripheral has free run of entire bus
mircea_popescu: asciilifeform the large problem here is that the ast will have to be ultimately a homomorphism of machine language. which is the dubious part in the "emulator" pov.
mircea_popescu: to follow the logic : the notion that you'd have a kernel mod to interface with peripherals, but not with code, is somewhat bizarre.
asciilifeform: ( has : translator, from various preferred lang syntaxes to the actual machine coad, but without massive expansion of the ast )
asciilifeform: in asciilifefor's cosmography, sane machine has neither 'linker' nor 'compiler' in the customary sense
mircea_popescu: terminology fails, mostly because terminology was made by morons and we're trying to discuss analysis in roman numerals here, but consider "glibc" would be a... well i guess a kernel mod the program links against as a library ?
asciilifeform: rather than '1 moar layer'
asciilifeform: asciilifeform's hypothesis, is that it is only worth to add a layer if you can remove dozen by doing so
asciilifeform: moar concretely, e.g. memory allocator -- attempts to put sane one on top of linux's, all caught fire in very similar way, i.e. impedance mismatch ( whether libc's or java's or commonlisp's )
mircea_popescu: but srsly now, the "standards lib" lets me print to screen but not print to ram ? wut.
mircea_popescu: or in other words, the overlap is large even if the barbarians cut it wrongly and on the basis of their cuts it seems to not be\
asciilifeform: it's a forced failure, in the sense that it is imposed by trying to be a layer on top of os, rather than os per se
mircea_popescu: ie, the fact that glibc doesn't come with sane memory allocator ~is a failure of glibc~.
mircea_popescu: certainly. but once you start talking about unified abi, you're very much starting there.
asciilifeform: i'm not currently certain that there is any meaningful overlap.
mircea_popescu: but the overlap is large.
asciilifeform: the appeal of 'emulate sane iron' is partly 'now can has readable disasms for errything', and partly 'can then bake actual iron around same'
mircea_popescu: then again this whiole discussion is moot, because step 1 towards that magical bios asm blob is a tmsr standards lib to replace glibc anyway.
mircea_popescu: even so. as far as reading goes, you still read it the same number of times, whether it's linked or bios'd.
asciilifeform: mircea_popescu: in practice, given static link, it's duplicated 9000 times, rather than single.
mircea_popescu: however, consider situation 1, where "it is in emulator" and situation 2, where "it is in this one tmsr standards library".
mircea_popescu: from the pov of auditing it is certainly cheaper to move it into the "emulator"
asciilifeform: consider from pov of 'what is total mass of binary that has to be audited'. in which case is the mass smaller : where there are 9000 bins on the machine, each consisting 90% of a coupla MB of 'bounds check this array' and 'propagate this exception' ? or if the 1 runtime does these, and the bins -- invoke.
mircea_popescu: asciilifeform large part of people's complaints re leverage are insane. take the recent naggum piece discussed, he complains, literally, that "he wants to lie once rather than everywhere". duh, no sed where this man lives ?
mircea_popescu: asciilifeform it's never cheaper to have a coupling than a straight link. nevertheless, couplings are used.
asciilifeform: rright but you want to put the sweat into item that gets leveraged, rather than duplicated 9000 times, is the notion.
mircea_popescu: other than this, the "we don't want to fuck our brains with $bad-arch" is a dead end -- you will, whether to write gcc for it or to write bios for it.
asciilifeform: i suspect cheaper than 1 sane gcc likewise.
a111: Logged on 2019-02-17 23:49 asciilifeform: re bolix back end, i suspect it aint very useful as starting point, because was far ~too easy~ item , in that the iron per se was sane (i.e. performed bounds and type checks, so much of what gcc is stuck doing in soft, was unnecessary )
mircea_popescu: the obvious counter there will be "but not cheaper than baking ONE sane gcc". which is true, but nevertheless not as useful -- sometimes having an interface, even if "spurious" is better than not having it, which is why parents don't customarily discuss family finances with their 12yos.
mircea_popescu: well that for sure.
mircea_popescu: like all attempts to date have, here or anywhere else.
asciilifeform: i suspect that it's a ~smaller~ problem than 'bake 17 sane gcc-like back-ends'
mircea_popescu: nevertheless, the attempt will certainly inform.
asciilifeform: it's a quite serious set of open problems, many documented by asciilifeform in the log (e.g. how to drive nic?)
mircea_popescu: understand tho, it has a very visible facet of wishful thinking. i mean yes, obviously, way the fuck better to have all the needful stuff in one place than added to each binary. this much is certain. nevertheless, the notion that you can stuff a converter from insanity to sanity "in the bios" requires just as much a magical stone as any other "universal sanity-insanity bridge".
asciilifeform put ~decade into various attempts at $subj, but ~0 forward motion until made the sage breakthrough and gained ability to debug bios. but has been on back burner in preference to moar urgent tmsrisms ever since
mircea_popescu: asciilifeform re bios emu -- i am certainly not against trying this. it's not possible to say much more than that as things stand now.
asciilifeform: ( specifically -- is Right Thing ? and if yes, then how much sweat is worth to put into keeping ye olde gcc alive, and how much sweat instead for same ? and what oughta be in it ? )
a111: Logged on 2019-02-20 15:57 asciilifeform: the Right Thing will look roughly like a 256kB chunk of asm that the box boots straight into, and afterwards forgets that it's an x86, arm, etc.
asciilifeform: at some pt before upstack thrd gets lost in the sands of time -- would like to see mircea_popescu's ex cathedra pov re http://btcbase.org/log/2019-02-20#1898145 , when he has the time ☝︎
asciilifeform: i suppose if suit already brought, likely there's already a thiel.
mircea_popescu: asciilifeform plenty of them. it's profitable, see.
mircea_popescu: the problem with common law is that it dun work.