Show Idle (>14 d.) Chans


← 2018-10-24 | 2018-10-26 →
00:48 mircea_popescu http://btcbase.org/log/2018-10-23#1865348 << not bad.
00:48 a111 Logged on 2018-10-23 13:44 asciilifeform: http://btcbase.org/log/2018-10-23#1865312 << ideally we oughta bake the new one, with ice40 & scintillator, imho
00:50 mircea_popescu http://btcbase.org/log/2018-10-23#1865364 << might be, actually. wanna price a minimal and a reasonable asic run ?
00:50 a111 Logged on 2018-10-23 14:09 asciilifeform: if this were a bake-by-the-thousands product, we could bake asic. but currently this is not realistic imho
00:51 mircea_popescu not wasted effort even if we don't end up baking it, logs will reflect a dated pricepoint, which is soemthing.
00:54 mircea_popescu http://btcbase.org/log/2018-10-23#1865373 << and register = 4096 bits, of course. yup.
00:54 a111 Logged on 2018-10-23 14:19 asciilifeform: i'ma describe , for the l0gz : ideal cpu for crypto would be something quite like the schoolbook mips.v -- no cache, no branch prediction, no pipeline, no dram controller (run off sram strictly), a set of large regs for multiply-shift , and dedicated pipe to FG (i.e. have single-instruction that fills a register with entropy )
00:57 mircea_popescu http://btcbase.org/log/2018-10-23#1865384 << i confess i don't understand what's being authenticated.
00:57 a111 Logged on 2018-10-23 15:57 asciilifeform: i'ma let mircea_popescu ponder whether this kind of thing is worth doing
00:57 mircea_popescu what, the supposed interloper can't hash is the idea ?
00:58 mircea_popescu http://btcbase.org/log/2018-10-23#1865401 << this is perennial wank in the style of "not a true church" etc. xtian minds at work.
00:58 a111 Logged on 2018-10-23 17:11 asciilifeform: ( nao i'm curious, what, by d00d's lights, is 'full node', and where might one get such a thing )
01:04 asciilifeform http://btcbase.org/log/2018-10-25#1865742 << diddled cable, port, etc would not know the on-chip salt.
01:04 a111 Logged on 2018-10-25 04:57 mircea_popescu: what, the supposed interloper can't hash is the idea ?
01:05 asciilifeform ( operator of box -- knows, it'd come printed on box, uniq per unit )
01:05 asciilifeform prolly not worth the bother, but in principle solid imho
01:10 asciilifeform http://btcbase.org/log/2018-10-25#1865735 << i took a stab at this 2y ago, was very frustrating on acct of asic-baking not being a 'cash and carry' process like e.g. pcb-baking, but a heavily meat-powered affair where the derps want to 'get to know you' to figure out how much they can fleece
01:10 a111 Logged on 2018-10-25 04:50 mircea_popescu: http://btcbase.org/log/2018-10-23#1865364 << might be, actually. wanna price a minimal and a reasonable asic run ?
01:14 asciilifeform there's a coupla 'small scale' fabs, but on close examination smell like ripoff, they ship with literally 0 guarantee of yield , and in laughable qty , and with laughable transistor count, and -- to add insult to injury -- die packaging not included, you gotta somehow find someone to do it, somewhere
01:14 asciilifeform granted in past 2y since i last looked, the mythical beast of 'small fab' could have been born
01:16 asciilifeform ( i omit to mention ~large~ fabs, given as if you aint representing a large and known $$$ concern, they dun even return calls )
01:18 asciilifeform http://btcbase.org/log/2018-10-25#1865738 << 8192 , if can be fit, then can have 4096b rsa without 'bignum', lol
01:18 a111 Logged on 2018-10-25 04:54 mircea_popescu: http://btcbase.org/log/2018-10-23#1865373 << and register = 4096 bits, of course. yup.
01:19 * asciilifeform bbl
01:23 mircea_popescu asciilifeform so let them get to know you ; nothing wrong with derps hearing of the most serene republic.
01:24 mircea_popescu re-doing this every few years seems eminently 'dammi tempu ca ti perciu'.
01:37 mircea_popescu http://btcbase.org/log/2018-10-23#1865505 << likely someone's "creative" "altcoin"/"ico"/whatever reusing satoshi codebase and incorrectly isolating itself.
01:37 a111 Logged on 2018-10-23 22:30 asciilifeform: defo seems to be a misconfigured/maliciously-configged shitfork noad, none of the tx hashes in the inv's line up with anything from human planet
01:39 mircea_popescu o wait...
~ 33 minutes ~
02:12 deedbot http://bimbo.club/?p=65 << Bimbo.Club - TMSR Log Summary - 10/20/2018
~ 1 hours 33 minutes ~
03:45 diana_coman http://btcbase.org/log/2018-10-25#1865729 -> ugh; I think I might have even seen this at some point before but I did not investigate it
03:45 a111 Logged on 2018-10-25 01:26 asciilifeform: previously , from last 2+yrs of reading docs, i laboured under the impression that the only process that demands secondary stack, is ~returning~ variably-lengthed objects. rather than simply passing'em forward as 'in' param. which in erry context OTHER than generic, worx .
~ 27 minutes ~
04:12 mircea_popescu http://btcbase.org/log/2018-10-24#1865550 << this sounds sad.
04:12 a111 Logged on 2018-10-24 14:15 asciilifeform: the .c absolutely gotta be bug-free tho, or it sinks yer whole proggy
04:16 mircea_popescu http://btcbase.org/log/2018-10-24#1865576 << yes.
04:16 a111 Logged on 2018-10-24 16:03 asciilifeform: bvt: on contemplation, i'm thinking possibly mips should simply get own v-branch, if we ever actually get hold of a mips.
04:16 mircea_popescu portability via vtree rather than ifdefs/wrappers/etc.
04:18 mircea_popescu http://btcbase.org/log/2018-10-24#1865587 << sad way to go through life ; but then again bulgarians thought "byzantine is best" way into 1200s.
04:18 a111 Logged on 2018-10-24 16:57 Mocky: unrelatedly, the miami in these filipinas and africans is off the fucking charts. they literally cannot sniff even a whiff of 'america aint that great' without spitting out 'america is the best, how could you even think it's not'
04:21 mircea_popescu http://btcbase.org/log/2018-10-24#1865590 << one time, a moron/filipina/african/whatever got $500 together, and in preference of buying indoor plumbing, or a gf/goat/whatever, bought miami ticket. once there, discovered it sucks terribly. first impulse was to leave a very scathingly honest review on miami.yelp ; but in the 18 minutes the page took to load (hurray for "modern" ux2.0 pid eins!) they changed their mind, left ver
04:21 a111 Logged on 2018-10-24 16:58 Mocky: no dude, they have fambly there who love it. they would love too!
04:21 mircea_popescu y flattering review instead.
04:21 mircea_popescu "if i tell truth -- moron cousins back home laugh at me ; if i tell lie, they also come over -- i laugh at them."
04:21 mircea_popescu there's a reason crabs never discover zanzibar and nigerians in a pot never get out. the reason is -- THAT VERY FAMBLY.
04:23 mircea_popescu http://btcbase.org/log/2018-10-24#1865605 << i wouldn't send him supplies he doesn't ask for. let the man actually do something useful.
04:23 a111 Logged on 2018-10-24 17:09 asciilifeform: it is my understanding that you'll need a postbox to open company, pretty much anywhere, regardless
04:25 mircea_popescu http://btcbase.org/log/2018-10-24#1865631 << females will be negative to betas and "curious" to alpha irrespective what they say.
04:25 a111 Logged on 2018-10-24 17:57 asciilifeform: BingoBoingo: nao i'm curious, how do they typically respond
04:26 mircea_popescu "Intelligible and Unitelligable" << bwahaha. it's still unintelligible, what, the root changes if you derive it ?
04:30 mircea_popescu http://btcbase.org/log/2018-10-24#1865674 << you're too focused on this "node is a battleship" pov. nodes ocme in herds, they're zerglings not protoss.
04:30 a111 Logged on 2018-10-24 18:45 asciilifeform: mod6: in fact, and iirc i discussed this 2y or so ago in the l0g, by my current understanding of the reorg mechanism, it is possible to wedge ~any~ noad by throwing a specially- 'retro'-mined block with a higher work delta than the 'genuine' one at a particular point. then reorg dun trigger at all.
04:32 mircea_popescu http://btcbase.org/log/2018-10-24#1865690 << can not put files above . !
04:32 a111 Logged on 2018-10-24 19:57 phf: http://btcbase.org/log/2018-10-23#1865503 << i threw your patch on btcbase, it looks good, though i'm not sure i agree with the decision to put temp file in /tmp. the point of putting it in same hierarchy as press, was to avoid the whole cross-file-system issue
04:32 mircea_popescu IF your program puts something in /tmp, your . is /, and live with that (i for instance will never sign such a monstrosity, unless it's the os/kernel itself)
04:33 mircea_popescu put stuff in ./tmp like sane ppl instead wtf.
04:35 mircea_popescu http://btcbase.org/log/2018-10-24#1865707 << ./tmp is the "cannonical" place for putting "temporary" files ; but only in the sense that ./<label> is the place one'd expect <label> files to end up. it's only cannonical in the sense of cockblocking idiotic unixisms and other moronnicals.
04:35 a111 Logged on 2018-10-24 20:28 phf: i think it's an open question for the logs, whether or not /tmp is canonical place for putting temporary files, and whether or not writing a copy of what's being pressed in some arbitrary place (for all practical purposes) is a good idea
04:39 mircea_popescu http://btcbase.org/log/2018-10-25#1865731 << this is actually pretty dubious. where internally ?
04:39 a111 Logged on 2018-10-25 01:28 asciilifeform: ( how ran into this : sneak preview of mmap demo : http://p.bvulpes.com/pastes/VDYWv/?raw=true << path is set cleanly, as part of the generic invocation. but turns out this dun work (unless secondarystackism is enabled) , as somewhere internally it tries to ~return~ the string
~ 47 minutes ~
05:26 bvt http://btcbase.org/log/2018-10-24#1865707 << i see a point re not writing above ./; will reimplement using ./tmp.
05:26 a111 Logged on 2018-10-24 20:28 phf: i think it's an open question for the logs, whether or not /tmp is canonical place for putting temporary files, and whether or not writing a copy of what's being pressed in some arbitrary place (for all practical purposes) is a good idea
05:27 bvt this was re http://btcbase.org/log/2018-10-25#1865784
05:27 a111 Logged on 2018-10-25 08:32 mircea_popescu: http://btcbase.org/log/2018-10-24#1865690 << can not put files above . !
05:28 bvt given that there is a single temporary file -- would ./ also work? ./tmp directory would have to be separately created and removed, and the less unix fs is touched, the better, i guess.
~ 4 hours 15 minutes ~
09:43 asciilifeform http://btcbase.org/log/2018-10-25#1865782 << dun matter if yer an admiral, or emperor, you got 1 arse. the node you ~generate~ tx on, ~is~ a battleship.
09:43 a111 Logged on 2018-10-25 08:30 mircea_popescu: http://btcbase.org/log/2018-10-24#1865674 << you're too focused on this "node is a battleship" pov. nodes ocme in herds, they're zerglings not protoss.
09:44 asciilifeform not to mention that even 'soldier' noad, is not actually cheap, costs like horse not like goat. ( considering that you want ssd, something like a respectable net pipe, uninterrupted current, distance from mordor, if available, etc )
09:49 asciilifeform http://btcbase.org/log/2018-10-25#1865788 << separated '/tmp' is not imho entirely worthless, i've set up boxen where it lives in ramdisk, where imho it belongs
09:49 a111 Logged on 2018-10-25 08:35 mircea_popescu: http://btcbase.org/log/2018-10-24#1865707 << ./tmp is the "cannonical" place for putting "temporary" files ; but only in the sense that ./<label> is the place one'd expect <label> files to end up. it's only cannonical in the sense of cockblocking idiotic unixisms and other moronnicals.
09:49 asciilifeform ssd wear is a thing.
09:50 asciilifeform http://btcbase.org/log/2018-10-25#1865777 << aite, we can revisit if he asks
09:50 a111 Logged on 2018-10-25 08:23 mircea_popescu: http://btcbase.org/log/2018-10-24#1865605 << i wouldn't send him supplies he doesn't ask for. let the man actually do something useful.
09:51 asciilifeform http://btcbase.org/log/2018-10-25#1865758 << imho worth linking to the prev thread : http://btcbase.org/log/2016-12-08#1579598
09:51 a111 Logged on 2018-10-25 05:24 mircea_popescu: re-doing this every few years seems eminently 'dammi tempu ca ti perciu'.
09:51 a111 Logged on 2016-12-08 03:13 asciilifeform: 'cmp', the other co. linked from trinque's old link, has actual PRICES!111 -- http://cmp.imag.fr/IMG/pdf/cmp_prices_schedule_sept-16.pdf
09:52 asciilifeform ( the other sub-$1mil fab is mosis co., but it is in usa, serves primarily usg, and dun publish prices, in the past i tried to get estimate from it but without success )
09:53 asciilifeform current cmp co. price schedule >> https://mycmp.fr/technologies/price-list.html
09:59 asciilifeform here's what i was able to find , via the pdf turd : base charge is 700 -- 12000 euro / mm^2 , depending on density ( 0.35uM to 28nm ); this gets you 25 ~bare~ dies , + 'phree 15 if available' ;
09:59 asciilifeform plus 'shipping and eu export fees'. but the other big hit is packaging cost : 30 - 100 eu. ~per chip~, depending on # of contacts / shape of can.
10:00 asciilifeform a reasonable die is 4-10 mm^2 .
10:00 asciilifeform ( if yer baking cpu, or fpga, or other item large enuff to make the game worth the candles )
10:02 asciilifeform nao multiply it all by 2 or 3, because that's how many shots it usually takes to properly polish off ic product.
10:05 asciilifeform sooo taking only the lower bounds ( 4mm^2 ; 700 eu. per mm^2 ; 30 eu. per tin can ) and not counting eu fees / taxes / exorbitant shipping couriers , and assuming 25 , we end up with a figure of 3550 eu, 'old toyota' gets you 25 units, some of which may even work...
10:06 asciilifeform per my reckoning, you can ~maybe~ fit a '386' in these.
10:06 asciilifeform ( ~300k transistor )
10:07 asciilifeform which is not so bad, quite enuff for a mips ( or even the old bolix , supposing anyone had the layout for it ) but laughably small for e.g. fpga.
10:09 asciilifeform the 3550 is per run, if it wasnt obv.
10:11 asciilifeform the other thing i oughta mention, is the amt of sweat required. if asciilifeform were a free man, could do it in perhaps a year. but at present-day capacity, would not dare to even try.
10:14 asciilifeform http://btcbase.org/log/2018-10-25#1865790 << i sat for 2h last night reading 'standard' and 'rationale', and was not able to determine ! will require extensive dig into the gnat src, i suspect.
10:14 a111 Logged on 2018-10-25 08:39 mircea_popescu: http://btcbase.org/log/2018-10-25#1865731 << this is actually pretty dubious. where internally ?
10:22 mircea_popescu sabotage!
~ 27 minutes ~
10:49 mircea_popescu bvt *thumbsup*
10:52 mircea_popescu up to you whether to make a dir or not ; eventually these will end up in that http://btcbase.org/log/2018-10-23#1865314 -- but the only way that happens is if you try things and then productively disagree with people. i've nfi at the moment whether we do or we don't want single temp files in a tmp dir nevertheless, or anything else ; and i absolutely do not wish to ever do (or will ever permit anyone to) sit around and "think
10:52 a111 Logged on 2018-10-23 06:31 mircea_popescu: slowly but surely a republican ada style manual is shaping up (and through the exact http://btcbase.org/log/2018-10-23#1865304 process, at that!)
10:52 mircea_popescu about" with a view to "decide" "how it should be". we'll find out the natural way, there's no need for badly written fanfic.
10:54 mircea_popescu http://btcbase.org/log/2018-10-25#1865802 << yeah, sure. and we'll have this luxury again once tmsr-os. because as it is right now, the option is not actually available.
10:54 a111 Logged on 2018-10-25 13:49 asciilifeform: ssd wear is a thing.
10:55 mircea_popescu much like we'll have the luxury of paying taxes (it IS a luxury, if they're correctly used it's way the fuck better to pay a twenny and snow mover to come in than for each to keep in shed, oiled and repaired, own minimover for own driveway) once there's tmsr.gov somewhere. and so on.
10:57 mircea_popescu http://btcbase.org/log/2018-10-25#1865811 << this is nonsense, no chip packaging costs a benjie wtf. and is the 700 per how many ?
10:57 a111 Logged on 2018-10-25 13:59 asciilifeform: plus 'shipping and eu export fees'. but the other big hit is packaging cost : 30 - 100 eu. ~per chip~, depending on # of contacts / shape of can.
10:57 * mircea_popescu has serious trouble reading that ; and would absolutely not buy anything from a french company anyway.
10:58 mircea_popescu (imagine -- item's been loading this entire interval, still not loaded).
10:58 mircea_popescu o look, 700 per 25. tell you what, if we find actual chinese supplier this'll be so fucking feasible...
10:59 mircea_popescu in any case asciilifeform : i am sure nsa would have no problem spending a coin or two on prototyping this.
11:11 mircea_popescu what you really need to do is take on an apprentice, to cut down on that year.\
11:15 asciilifeform http://btcbase.org/log/2018-10-25#1865831 << it's a hand-cranked 'for small runs' shop, 1 of 2 known to exist. hence the riotous per-unit pricings.
11:15 a111 Logged on 2018-10-25 14:57 mircea_popescu: http://btcbase.org/log/2018-10-25#1865811 << this is nonsense, no chip packaging costs a benjie wtf. and is the 700 per how many ?
11:15 asciilifeform i expect they use meat hands, with microscopes, to package.
11:16 asciilifeform and yes if you instead spend 2-3mil you get wafer, cut, and package, from china etc. but we were discussing 'minimal' fabs..
11:16 mircea_popescu we were discussing the "2-3" figure.
11:16 asciilifeform it's sorta like the outfit we had FG pcb baked in, but moar extreme.
11:17 mircea_popescu eminently NOT discussing "here's how to not discuss what we're discussing".
11:17 asciilifeform hrm
11:18 asciilifeform i was originally speaking of http://btcbase.org/log/2018-10-25#1865751 dig.
11:18 a111 Logged on 2018-10-25 05:14 asciilifeform: there's a coupla 'small scale' fabs, but on close examination smell like ripoff, they ship with literally 0 guarantee of yield , and in laughable qty , and with laughable transistor count, and -- to add insult to injury -- die packaging not included, you gotta somehow find someone to do it, somewhere
11:18 asciilifeform ( and mircea_popescu seems to concur with my verdict, they're ripoffs )
11:19 mircea_popescu whereas the point is at http://btcbase.org/log/2018-10-25#1865758 ; we would like to know how many bitcoin for a run today.
11:19 a111 Logged on 2018-10-25 05:24 mircea_popescu: re-doing this every few years seems eminently 'dammi tempu ca ti perciu'.
11:19 asciilifeform this screamingly cries for a cn-speaking fella.
11:20 mircea_popescu ikr.
11:21 phf http://btcbase.org/log/2018-10-25#1865788 << thanks for the resolution, i wasn't sure if my insistence on my original (that is temp file in .) approach was sensible or not. "canonical" in this case was whether or not that's something we do, not whether or not that's something unix does
11:21 a111 Logged on 2018-10-25 08:35 mircea_popescu: http://btcbase.org/log/2018-10-24#1865707 << ./tmp is the "cannonical" place for putting "temporary" files ; but only in the sense that ./<label> is the place one'd expect <label> files to end up. it's only cannonical in the sense of cockblocking idiotic unixisms and other moronnicals.
11:22 asciilifeform mircea_popescu: let's suppose we make the req'd contact. what wouldja want to fab 1st ?
11:22 mircea_popescu phf i dunno that it's set as "something we do" ; but it's certainly something we do in preference of "/tmp" much like we do things in preference of /dev/rand and other such bs.
11:22 mircea_popescu the fundamental issue is that linux acts "as if" it's in friendly territory ; which is eminently false.
11:23 mircea_popescu asciilifeform what, the phb is supposed to come up with what ? you come up with three things let me pick, how about that!
11:25 asciilifeform mircea_popescu: i've outlined several items, historically. will summarize for the l0gz, in order of descending ( per asciilifeform's lights ) universality : 1) sane fpga 2) sane minimal cpu 3) 8192-bit arithmetizer ( a la ye olde weitek! but for ints ) 4) 2+3 , if somehow can be fit into 1 die 5) 1chip carrierless radio ( per thread ) 6) sane ethernet controller .
11:25 asciilifeform possibly incomplete list, but roughly it.
11:26 mircea_popescu i dunno "fpga" is something that may be sane.
11:27 asciilifeform why not ? it's the simplest item, and theoretically the others can be made from it.
11:27 mircea_popescu a universal tsmr cpu, even if nothing more than miniaturized/updated z80, would prolly be the one gain here. so we end up with a commodity part to put in things.
11:27 mircea_popescu asciilifeform define "fpga" for me.
11:27 asciilifeform and pretty much the ideal 'nonspecificity of diddling' platform, it is quite impossible to meaningfully boobytrap fpga fabric if you don't have foreknowledge of what will go into it and precisely where.
11:28 asciilifeform mircea_popescu: recall ice40 ? simple grid of LUTs, + matrix of programmable interconnects.
11:29 asciilifeform for that matter current FG is baked on fpga, from evil old xilinx.
11:30 mircea_popescu this is not a definition. define it.
11:33 asciilifeform buncha gates, as many as can fit, and a programmable switching matrix, a la old telco , look up tables made of 4-6 bits of sram that turn a given unit into 'and' , 'or', 'xor', half-adder, straight wire, whichever is necessary. i dun know how to more rigorously define, it is one of the simplest devices, straight homogeneous grid of sram cells plus a couple hundred (thousand, in larger devices) 'express lanes' made of straight metal,
11:33 asciilifeform to use as bus
11:34 mircea_popescu i can well define a hammer, one of the simplest devices.
11:34 asciilifeform 'heavy iron head on a wooden stem'
11:34 asciilifeform same level of description
11:34 mircea_popescu there's two possible reasons you don't have a definition for a fpga you're happy with : either we're not yet enough advanced for one (to use, to make, whatever), or that it is ouytright an escher object.
11:34 mircea_popescu and i suspect the later.
11:35 asciilifeform FG is baked on fpga.
11:35 asciilifeform for 'escher object' it worx pretty well.
11:35 mircea_popescu but anyway, for my own use, fpga=wrapper around industrial poverty, somewhat like a painting that came with crayons.
11:36 mircea_popescu asciilifeform the problem with escher objects is that "perpetuum mobile -- also works pretty well". it's what the fan always says, because "to my eyes" http://btcbase.org/log/2017-07-18#1686299 sorta thing.
11:36 a111 Logged on 2017-07-18 22:58 asciilifeform: whaack is quite likely thinking of the bulk of the b00k, which consists of blockcipher liquishit which is complicated for no reason at all other than the religion where 'it is confusing to ME, author, and therefore Must Be Hard To Break'
11:37 mircea_popescu i believe attempting to go "everything's a fpga because fg worked ok on one" is learning the wrong lesson from fg, in the http://btcbase.org/log/2014-06-02#699427 sense.
11:37 a111 Logged on 2014-06-02 22:49 mircea_popescu: asciilifeform: jurov: smbx had perverse incentives (usg funding that appeared bottomless - until it died suddenly. reagan's 'star wars.') << best way to sink a good start-up is a bad revenue source early on.
11:38 asciilifeform mircea_popescu: for design that actually fits inside, you end with exactly 'slow asic', with the added win that it's a homogeneous object with no e.g. 'and here is where he will rsa and here is where the low bit of multiplier will live' sabotage target available to enemy mole in vendor plant.
11:38 mircea_popescu because no, "every picture comes with crayons now" is not very smart ; and it's perversely, recursively nonsmart ("can't make polaroid, no way to produce attachable crayons -- maybe 3d print them ???")
11:38 asciilifeform i disagree -- fpga is analogous to gutenberg's movable type; classical 'asic per design' to chinese whole-plate.
11:39 mircea_popescu asciilifeform there's better approaches to hanging moles than putting an ok button on every movement of every rifle.
11:39 mircea_popescu well, this dispute will have to be resolved cuz it's fucking important.
11:39 mircea_popescu i'm not particularly invested in being right about it ; but i'd better not be right and we end up with the wrong thing.
11:40 asciilifeform thing's existed since mid-80s, the pluses and minuses of it are well-documented
11:40 mircea_popescu i don't suspect they're well understood.
11:40 asciilifeform ( orig ancestor was the PAL. there were PALs in yer ro 'spectrum' clone. )
11:40 mircea_popescu neither do you -- the minuses of the linux-c stack were actually not thortoughly understood until tmsr either.
11:42 asciilifeform there's 2 well-known minuses. 1 is that yer making circuit out of immovable parts, connected by drawing line though multiple elements ( bus lines are generally few ) , this gives you much slower circuit with many fewer logical elements than if you had made the device physically from scratch .
11:43 asciilifeform the other is political, all of the existing vendors obfuscate and keep seekrit the necessary docs to actually program the thing. ice40 happens to have been reversed, but it is ruinously small ( still ~150x bigger than the miniature xilinx i baked FG from, however , but too small even for 4096bit adder )
11:43 mircea_popescu the third is technological -- you learn to walk with crutch.
11:43 mircea_popescu this is my concern here.
11:44 asciilifeform what's the 'crutch' ? not spending a $3mil + 1yr delay if there's bug in layout , like 1970s folx had to ?
11:44 mircea_popescu now, a 4096 bit native fpga, specifically for rsa-ing and rsa-likes-ing, THAT might be very useful, because there the s-o-d item is major win.
11:44 mircea_popescu asciilifeform yes alf, that's what's always the crutch. "give just a little spring in yoru step for insurance against toads in the roads." that's precisely the crutch.
11:45 asciilifeform there's no 'bitness' in fpga, it's a bag of gates, if you have enuff of them you can made n-bit addder, divider, whatever one likes
11:45 mircea_popescu no but i mean, pre-bake it in 4096 bit chunks
11:45 mircea_popescu no bit. byte, of 4096 bit size. make n-byte adder, sure.
11:45 asciilifeform mircea_popescu: this is actually how existing ic industry worx, a good half of the 'asics' are actually 'hard copy fpga', recall the early miner derps threads.
11:46 asciilifeform they prototype on ordinary, sram-based one, then pay to have it metallized.
11:46 mircea_popescu so it's how the "industry" works. http://trilema.com/2016/tangerine/ is how the "music industry" works.
11:46 mircea_popescu asciilifeform you realise "soviets imported windowze" was precisely s. s. sovietovski saying "this is how industry works" in 1980.
11:47 asciilifeform mircea_popescu: the sad bit is that conventional asic process , as available today in cn , tw, etc, is also like this. you are forced to use 'standard cells' supplied by vendor.
11:47 asciilifeform they giv'em under nda, too.
11:47 mircea_popescu yes well. how about we bake out of this, rather than into this.
11:47 asciilifeform as i currently understand, that means vertical integration, i.e. building the plant.
11:48 asciilifeform $B.
11:48 mircea_popescu ie, i can't fucking have an arbitrary chip made.
11:48 mircea_popescu if i wanted the center caret of z80 rotated 90 degrees and printed, i could not get this done.
11:48 asciilifeform i wouldn't go so far as 'can't', but we're talking 'lease $B plant for 6mo.' sort of figure.
11:49 asciilifeform it is not available as off-the-shelf service anywhere, afaik, nope.
11:49 mircea_popescu the exact digits in there are the question here.
11:50 asciilifeform i found this out the last time we had 'let's bake ic' thread, and it was thoroughly depressing, put me off subj for 2y..
11:50 mircea_popescu yes. but it's been 2 years.
11:50 mircea_popescu are you saying the reeval cycle is too tight ?
11:50 asciilifeform lol
11:50 asciilifeform the exact figs can only be obtained by a cn-speaking emissary, i suspect.
11:50 asciilifeform and their magnitude will depend, i also suspect, on how well he plays his cards.
11:51 asciilifeform btw the reason, afaik, why erry fab house forces 'standard cells', is that they have proprietary tweaks to their process , and have lib of cells ( kept seekrit ) that are known to work with said process.
11:52 asciilifeform the actual physical procedure of baking the ic is not as standardized as i previously (to last thread) thought.
11:52 mircea_popescu indeed it is not.
11:52 asciilifeform it is at the level of 18th c. cannon-forging, roughly. erry house has 'seekrit sauce'.
11:52 mircea_popescu moreover, very 1820s steam engine airs hang about the entire barn
11:52 mircea_popescu oh im sorry, "industry"
11:52 asciilifeform noshit
11:53 asciilifeform imho the race for 'smallest transistor' has been a disaster of incaization -- in '70s there were thousands of ic makers, in '80s -- hundreds, in '90s -- dozens, today maybe 10 .
11:53 asciilifeform the plant gets ruinously costlier, per erry 'shrunk nanometre', and somehow gotta be amortized, and the competition gets thinner an' thinner
11:53 asciilifeform iirc we had a thread re 'ic is deeply incatronic tech' hypothesis
11:53 mircea_popescu asciilifeform aha.
11:54 BingoBoingo Kinda suggests the 2+3 option seems like it could be had sooner than a neutral field of gates FPGA
11:54 asciilifeform BingoBoingo: i doubt any of it belongs in same sentence with word 'soon', we're speaking of just short of mars colony.
11:56 BingoBoingo That's an exageration. This is more of a blank slate nitromethane internal combustion engine for freight hauling.
11:57 asciilifeform BingoBoingo: vehehery different class of nre cost, vs engine.
11:58 asciilifeform much moar comparable to satellite biz. a 1-bit mistake costs you coupla $mil.
11:58 asciilifeform and the mistake can be in anyffing, incl. a physical interaction between unrelated components that you did not know were possible.
11:59 mircea_popescu incidentally, this bitmistake/milcost is the exact reason human genome is some % garbage.
11:59 mircea_popescu what exact % -- numeriuc application from those priors.
11:59 asciilifeform mircea_popescu: see also http://btcbase.org/log/2018-10-18#1863686 thrd, yes
11:59 a111 Logged on 2018-10-18 23:27 asciilifeform: nobody's ever built anyffin with even close to the noise tolerance of meat.
12:00 mircea_popescu indeed
12:00 asciilifeform diff in resilience of meat, and in the toughest worx of man, is much greater than e.g. speed diff between jet fighter and ox cart
12:00 asciilifeform nobody has anyffing on meat, period.
12:00 BingoBoingo Well, we could always try seeing how the Chicoms price modern Z80 implemented in cultured pig neurons
12:00 mircea_popescu and since we're on all this, let me point out that http://btcbase.org/log/2018-10-25#1865749 are very much our friends.
12:00 a111 Logged on 2018-10-25 05:10 asciilifeform: http://btcbase.org/log/2018-10-25#1865735 << i took a stab at this 2y ago, was very frustrating on acct of asic-baking not being a 'cash and carry' process like e.g. pcb-baking, but a heavily meat-powered affair where the derps want to 'get to know you' to figure out how much they can fleece
12:01 mircea_popescu republic "can be fleeced" far in excess of their parent company's hallucinatory "market valuation". let them try.
12:02 mircea_popescu and i do not mean that in the negative, art all. literally, let them try, get to know us, figure things out, break their "assesorando" toolchain in the process....
12:03 mircea_popescu (the spanish reference comes from a famous incident in argentina where mp was trying to buy real estate, and idiot woman at desk's idea of the process was that she's now going to "assess" me. that blew up spectacularily if predictably.)
12:03 asciilifeform mircea_popescu: lol, didja walk in with 5kg of green ? and reply 'here, assess this'
12:04 mircea_popescu nope.
12:04 mircea_popescu cuz why would i.
12:05 asciilifeform well if not then how is the dealer to know that yer payment-capable, without 'assess'. or do i misperceive what that meant
12:05 mircea_popescu anyway, if i for some reason walk into dnc office odds are stupid fat woman will similarly misbehave ; and the "bitch, i diselected your ur-whore" isn't gonna happen there more than in messipissland.
12:05 mircea_popescu because, again, why would i.
12:05 asciilifeform they mostly deal with ~broke orcs, neh. who walk in and 'i want 'buy' house, but i have no money'
12:06 mircea_popescu asciilifeform suppose he lowers the tail and rolls over. "this is the inventory, please, take some, take any, for any price, save my chitlins, my wife's going mad with the hunger moans of the chitlins!!!"
12:06 mircea_popescu buncha retailers in their own mind.
12:07 asciilifeform reminds me of process of buying autos in usa. picture, you walk in with chequebook. 'i want toyota' --- 3 hrs later, you MAYBE drive off in a toyota, or more likely yer still fighting over 'no, i do NOT want loan, not at 3%, not 2, not 0 , i want to pay with money'
12:07 mircea_popescu (incidentally, the recurrent "ban shorts" nonsense is all about this -- the fundamental pantsuit promise is that "no one should ever have to go through the above". which, of course, is how they wrecked the marketplace.)
12:07 asciilifeform ( see, if you pay with money, the poor fuck manning the desk makes 0 , he only makes if you pay interest )
12:08 mircea_popescu http://trilema.com/2009/amuzamente-economice-in-romania/#selection-37.48-37.73 entirely same substance.
12:09 asciilifeform mircea_popescu: i saw truly mindboggling number of unfinished-and-decaying half-built houses in timis
12:09 asciilifeform this gotta be why
12:09 mircea_popescu yup. owner won't sell "at a loss".
12:09 asciilifeform i thought it was 'idjit commissioned build without checking whether he has the whole sum'
12:10 asciilifeform 'we finishes cellar and half of ground floor, nao pay' '...'
12:10 mircea_popescu this is the argument against "indepenent owners" among the orcs, too, and in general -- they'll do insane things like keep property 10% occupied for $pricepoint, and ignore that $pricepoint * .1 comes to less net than $half-pricepoint * .6
12:10 mircea_popescu asciilifeform and at this juncture, orc is supposed to SELL.
12:10 asciilifeform requires buyer, neh
12:10 mircea_popescu AT ANY PRICE.
12:11 mircea_popescu this is how a fucking market works, and what it is.
12:11 asciilifeform at some point he gives up guarding it, as it costs sumthing, and the gypsies move in, i suppose this can be seen as a form of 'sell'
12:11 mircea_popescu without this -- it's communism, admitted or not. either money works, or else it does not.
12:11 mircea_popescu asciilifeform i see it as a form of idiocy.
12:11 asciilifeform well noshit
12:11 asciilifeform but the idjicy was baked into the act of commissioning the build
12:12 mircea_popescu exactly http://trilema.com/2017/in-scams-today-disk-less-terminal-sa-dba-laesquinadelamazmorra/#footnote_3_72501 problem.
12:12 asciilifeform when you haven't with what to pay the whole invoice, or anyone who might ever wish to buy it for even 1% of what it cost
12:12 mircea_popescu there is no such thing as "baken in" idiocy. idiocy is always actively maintained. in fact, idiocy is both the ultimate and the only http://trilema.com/2009/inchipuiti-va/ item.
12:13 mircea_popescu and this also speaks volumes as to the superiority of the 90s -- i personaly bought hruscheba apts in mining-zone-being-abandoned for color tvs and such expedients.
12:13 asciilifeform d00d commissions a 5-story hruscheba-castle in the middle of fucking wasteland. he's bankrupt the second he signs the paper, whether he doubles down later and goes broke-er or not, neh
12:14 mircea_popescu we're not talking wasteland or anything, this is all orc-"urban"
12:15 asciilifeform there was yet another level of idjicy in ro, that i discovered, where they won't sell the shit to foreigners
12:15 asciilifeform ( even if half-castle owner is willing to sell, it gotta be to ~another~ orc )
~ 15 minutes ~
12:31 mircea_popescu !#s nu ne vindem tara
12:31 a111 0 results for "nu ne vindem tara", http://btcbase.org/log-search?q=nu%20ne%20vindem%20tara
12:31 asciilifeform mircea_popescu: 'родиной не торгую' (tm)(r)(stalin)
12:31 mircea_popescu of course, it's EMINENTLY for sale if usg.pantsuit wants it. just oyu know, god forbid any leak in the http://trilema.com/2014/in-which-you-become-grain/ process threatens to spring.
12:32 asciilifeform noshit
12:33 asciilifeform ( asciilifeform is not labouring under delusion , however, that 'if only they sold, i could be sitting in $50k mircea_popescu-grade castle', prolly mitsubishi would own'em all )
12:33 asciilifeform http://btcbase.org/log/2017-10-31#1730999 << see also.
12:33 a111 Logged on 2017-10-31 15:15 asciilifeform: whole thing quite resembles the 'silver coin glued to the asphalt' everyone encounters in childhood
12:37 asciilifeform orig su version of zek fence was the simplistic 'may not go to foreign devil lands'; modern-day reich's is the moar 'advanced', 'looksy but no touchsy' variant.
12:39 mircea_popescu i suppose it's the intent. leaks like a sieve, not like i don't get done precisely what i want. it takes some screaming, which i got a large store of.
12:39 asciilifeform i'm sure mitsubishi also gets what it wants
12:40 mircea_popescu im sure it doesn't.
12:40 asciilifeform i don't pretend to specifically know. point is, it's an anti-personnel mine field, not anti-tank.
12:42 asciilifeform and evidently even mircea_popescu's supply of screaming + patience was finite, the argentines ended up curing him of further attempts, not he -- them
12:42 mircea_popescu in this sense "earth always wins -- eventually gold's out and then you leave".
12:42 mircea_popescu well what the fuck am i gonna do, marry a local and cultivate the pampas ?
12:42 mircea_popescu of course i leave.
12:42 asciilifeform lolyes
12:42 asciilifeform dun seem that there was so much gold in them hills.
12:43 mircea_popescu certainly nowhere near the advertised.
12:43 asciilifeform gotta luvv how even the very name is a lie -- silver ran out there, when , 19th c ?
12:44 mircea_popescu something like that. and peru always had more anyway.
12:54 asciilifeform to briefly revisit upstack, asciilifeform's interest in ic fab largely revolves around http://btcbase.org/log/2018-04-30#1806521 .
12:54 a111 Logged on 2018-04-30 16:16 asciilifeform: ( for the sake of thread-completeness, what would the ~alternative~ to this story look like? i suggest -- it'd be a process which does to ic fab what 'polaroid' process did to colour photography. find way of etching the circuit from prefab 'sandwich' without caustic baths, sputtering, etc... )
12:55 asciilifeform presently i have nfi whether this is physically possible, or how in particular -- could be fpga-like device where somehow the components actually ~move~ into position ; or sumthing where you can optically burn away the unused tracks through 'window' ; or some yet entirely unknown trick.
12:56 asciilifeform imho the classical fab is an overwhelmingly incatronic tech, it centralizes unhealthily.
12:56 mircea_popescu incidentally... there's all these LAYERS, because we're essentially making books, ie, 3d object out of 2d implementations
12:56 asciilifeform that's part of what makes the trad process cost what it does, yes
12:56 mircea_popescu maybe the trick is to make 6-connected cubic matrix and burn away connexions via ion pump or similar.
12:56 asciilifeform the etches, the masks, the elemental fluorine gas and other joys
12:57 asciilifeform mircea_popescu: i'd even settle for something entirely like ice40 but with fuse/antifuse bridges
12:57 asciilifeform in '80s folx briefly made , then somehow evaporated.
12:58 mircea_popescu incidentally -- there's a very strong link between http://btcbase.org/log/2018-10-25#1865962 (ie, the naive expectation that money buys you good in reich) and the question of... why doesn't alf have elemental fluorine in his house ? "well, he doesn't want it" "suppose he did ?" "then he'd have to get authorization, like the plants do" "you mean... buy toyota ?" "eeexactly".
12:58 a111 Logged on 2018-10-25 16:07 asciilifeform: reminds me of process of buying autos in usa. picture, you walk in with chequebook. 'i want toyota' --- 3 hrs later, you MAYBE drive off in a toyota, or more likely yer still fighting over 'no, i do NOT want loan, not at 3%, not 2, not 0 , i want to pay with money'
12:59 asciilifeform mircea_popescu: regularly there's word from some d00d who actually bought surplus gear ( see e.g. linked thread ) and 'omfg, i made a diode!' , typically as far as they get ( and it wasn't even because usg.dhs came for his flourine , afaik it did not )
13:00 mircea_popescu menalone and their problems, who cares.
13:00 mircea_popescu it's fine for i suppose a fifteen year old, though if it carries into the next year there's already mild retardation involved.
13:00 asciilifeform ( generally if you do it in the part of town where the garages and meth labs are, you dun have usg.problems, at least not immediately )
13:01 mircea_popescu http://bvt-trace.net/2018/10/vpatch-replacing-mktemp3/ << i quite enjoyed reading this btw.
13:02 * asciilifeform also quite liked. even learned of previously-unsuspected linuxlol
13:02 asciilifeform srsly, wtf, mips.
13:02 mircea_popescu prolly laying dormant to be used as example in who knows what future "discussion" etc.
13:03 asciilifeform i'd like to learn who it was, who mutilated.
13:03 mircea_popescu the medieval notion ("fleas spontaneously generate from filth") was not biologically correct, but mechanically quite adequate.
13:03 asciilifeform entirely. like the 19th c lumped approximation to maxwell's equations.
13:03 mircea_popescu aha
13:03 asciilifeform ( still taught in kindergarten, errywhere )
13:08 asciilifeform mircea_popescu: re 'ion pump' upstack , in olden days when asciilifeform worked as academi-grunt in a bio lab, did many long hours of snore at electrophoretic 'blots', where chromatographic rubbish moves along a gel. and thought 'why not bake ic this day, what if you give it 2nd axis to steer the current' etc
13:08 asciilifeform *thisway
13:09 mircea_popescu ikr.
13:11 asciilifeform picture two planar gels (or whatever carrier medium) at orthogonal to one another, meeting in a thin line. the 'vertical' plane is yer 'print head', containing single steerable 'column' of $ion; the 'horizontal' is yer 'paper'.
13:11 asciilifeform each gets x and y steering current.
13:11 mircea_popescu 1 at a time might be too slow
13:11 mircea_popescu but something like this.
13:11 asciilifeform nobody says you gotta only run 1 at a time, lol
13:11 asciilifeform can run warehouse full .
13:12 mircea_popescu then they interfere.
13:12 asciilifeform separate 'looms'
13:12 asciilifeform we're speaking of a pocket-sized apparatus .
13:13 asciilifeform nao missing ingredient, find a carrier medium that you can do this to, that can be doped to semiconduct...
13:17 asciilifeform the harder part might be ~conducting~ tracks -- would need sumthing that can be moved electrophoretically (i.e. ionic) but then somehow fuse into metallic conductor.
13:17 asciilifeform ( perhaps when baked ? )
13:17 mircea_popescu maybe some metalloceramic thing.
13:17 asciilifeform massively green field
13:18 mircea_popescu yeah
13:18 mircea_popescu "industry" amirite.
13:18 asciilifeform well no, faberge.
13:18 asciilifeform specifically opposite of industry(tm)
13:18 asciilifeform hence 0 movement , afaik, on any such front.
13:18 mircea_popescu but in principle an... overconducting, let's call ti (not superconducting, simply higher conductance than metals) metalloceramic could be had.
13:18 mircea_popescu afaik not yet found tho
13:20 asciilifeform you want an end product that conducts thermally as well as electrically, or you get a lighter.
13:23 asciilifeform btw -- and iirc we had the thread -- there are even deeper crackpotteries potentially in the mix : it is possible to have strictly magnetic logic, without semiconductor. if can simply etch fine metal mask, interleaved with insulator, potentially can have a kind of slow 'z80' from miniature toroid logic (as seen in '60s su)
13:23 mircea_popescu maybe
13:23 mircea_popescu it's not clear to me the high power intelisms are ab solute necessity.
13:23 mircea_popescu "you want water for your engine" sorta thing
13:24 asciilifeform not even speaking of intelisms -- if you can't remove heat at the rate it is produced by resistance -- you get magic smoke, no matter how you cut it
13:24 asciilifeform water or no water
13:26 asciilifeform ( for n00bz re earlier -- magnetic logic is based on the fact that a transformer core can 'saturate'. ergo you can bake a 'nand' simply from transformer with three windings.
13:26 asciilifeform )
13:27 asciilifeform and there isn't really a theoretically minimal size for it, afaik.
13:27 asciilifeform ( and can have almost anyffing as the core, even vacuum, all transformers saturate )
13:29 mircea_popescu yes, but there's no rule saying "useful processor eats kW". for all you know it eats mW. there's a lot of eV in a mW.
13:29 asciilifeform !#s setun
13:29 a111 6 results for "setun", http://btcbase.org/log-search?q=setun
13:29 asciilifeform kW if you make it room-sized. potentially mW if microscopic.
13:30 asciilifeform all of this is in re 'you may be able to get away with only metals, no dopants' subthread.
13:30 asciilifeform 'we dun need a 4 ring binder, we dun need a 3 ring binder, we dun need papers, we want information crunched'
13:30 asciilifeform nobody said it ~gotta~ semiconduct.
13:31 mircea_popescu to quote a lord, "green field all around"
13:32 asciilifeform for all i know, you could match 'z80' performance with simply modified cathode tube where the beam steers depending on what the state of the phosphor under it was, rather than moving in linear rasters.
13:32 asciilifeform ( in '50s this was a best-selling 'ram' , but afaik nobody thought to de-rasterize it and make it the whole comp )
13:33 asciilifeform ( think 'cellular automaton' )
13:35 mircea_popescu the code writing for tyhis will need some real men.
13:35 mircea_popescu "in an attempt to simplify computing, alf brings you, the computer that can only be programmed by a computer."
13:35 asciilifeform we kinda have these already
13:36 asciilifeform ( i cant say i've ever programmed anyffing using http://www.loper-os.org/pub/podvig_radista.jpg method ... )
13:37 asciilifeform tho funnily enuff, in '80s su the standard method of burning ROMs was actually this box with keypad
13:37 asciilifeform you enter addr, then hit FF, or B0, or whatever, then '->' button...
13:37 asciilifeform i saw a surplus box of this type for sale, not so long ago
13:38 mircea_popescu bought some ?
13:38 asciilifeform rom hand-typewriter, if you will.
13:38 asciilifeform resisted to buy, it's ~typewriter size/mass'd
13:38 mircea_popescu seems a fine way to put in a privkey :D
13:38 asciilifeform typically they kept privkeys on hole-tape
13:38 asciilifeform ( burns well, and costs < roms )
13:38 mircea_popescu ever had slavegirls type out rsa stuff btw ? it's like 1girlhour/kb sorta deal.
13:39 asciilifeform goes smoother if you giv'em an 'autovon'-style keypad thing, instead of pc kbd
13:40 asciilifeform https://archive.is/Pvt8J << photo, subj.
13:41 asciilifeform ( put a/b/c/d/e/f stickers, and you got it )
13:41 mircea_popescu not that much faster ; the padding helps speed, and familioarity also.
13:41 asciilifeform possib
13:42 mircea_popescu not saying that whole new generation couldn't be baked for this purpose. but seems insanity.
13:42 asciilifeform there are not so many occasions when i hammer in key by hand.
13:42 asciilifeform i suppose if i had a stable of trained seals, might entertain'em/self in this way.
13:44 mircea_popescu i suppose.
13:44 mircea_popescu logsummarizing, more productive imo.
13:44 * asciilifeform agrees
13:49 asciilifeform btw, ftr, subj : http://www.loper-os.org/pub/romburn_1.jpg http://www.loper-os.org/pub/romburn_2.jpg http://www.loper-os.org/pub/romburn_3.jpg http://www.loper-os.org/pub/romburn_4.jpg , in case anybody cares.
13:50 asciilifeform i would've naively imagined that massive 'contrabass' like this would may as well include the uv lamp. but apparently didn't.
~ 16 minutes ~
14:06 bvt http://btcbase.org/log/2018-10-25#1865825 << if you don't force the 'tempfiles ./tmp' scheme, i would much prefer to implement the 'temp. file in ./' variant. vpatch coming at latest tomorrow.
14:06 a111 Logged on 2018-10-25 14:52 mircea_popescu: up to you whether to make a dir or not ; eventually these will end up in that http://btcbase.org/log/2018-10-23#1865314 -- but the only way that happens is if you try things and then productively disagree with people. i've nfi at the moment whether we do or we don't want single temp files in a tmp dir nevertheless, or anything else ; and i absolutely do not wish to ever do (or will ever permit anyone to) sit around and "think
14:06 bvt http://btcbase.org/log/2018-10-25#1866027 << thanks!
14:06 a111 Logged on 2018-10-25 17:01 mircea_popescu: http://bvt-trace.net/2018/10/vpatch-replacing-mktemp3/ << i quite enjoyed reading this btw.
14:07 bvt http://btcbase.org/log/2018-10-25#1866029 << asciilifeform, it seems that i accidentally made you believe that only mips is wrecked. Well, check this out http://p.bvulpes.com/pastes/sWrur/?raw=true
14:07 a111 Logged on 2018-10-25 17:02 asciilifeform: srsly, wtf, mips.
14:07 mircea_popescu bvt aite
14:08 mircea_popescu oy vey
14:08 asciilifeform bvt: i'm not surprised; but these dun affect anyffing i considered to be essential posix knob
14:08 asciilifeform ( i.e. none of these flags appear in my proggies, aside from the open() one )
14:09 asciilifeform O_DIRECTORY might be a bitch in the fyootoor , i suppose
14:09 mircea_popescu changed ndelay etc
14:09 asciilifeform possibly sumthing like http://btcbase.org/log/2018-10-24#1865559 oughta be considered.
14:09 a111 Logged on 2018-10-24 15:25 asciilifeform: incidentally, https://www.adacore.com/gems/gem-59 apparently exists, tho i confess that i really dislike the idea of automatic converters for coad
14:10 asciilifeform cuz it's either that or 1 v-branch per os/iron .
14:10 asciilifeform ( and from this we get to 'why didja not write the proggy in asm, if it only worx on linux 2.4 on mips ' etc )
14:11 bvt asciilifeform: re exotic flags -- sure. but i don't expect different results with syscall numbers as well. some subset will match, later in the table -- complete mess
14:11 asciilifeform bvt: syscalls were never guaranteed to be same errywhere tho
14:11 asciilifeform they aint a posixism
14:11 mircea_popescu i dunno, but this is brewing into a kettle of fish.
14:12 asciilifeform the correct end of the funnel to plug, imho , would be a sane flags lib built ~into gnat~, and correct ~per gnat port~
14:13 asciilifeform sorta what the orig authors lamely tried to do ( and mostly failed )
14:13 asciilifeform so any particular proggy can call e.g. open() with correct flaggisms, because it aint as if the gnat on the $box does not already know what os/iron it sits on.
14:15 mircea_popescu basically one step towards gnatos
14:15 bvt re syscalls -- fair enough. but imo this shows extreme brokeness of linux portability -- i can't think about a sane reason for syscall numbers to differ across arches.
14:15 asciilifeform the funny/sad bit is that this is ALREADY in gnat, for e.g. http://btcbase.org/patches/ffa_ch8_randomism#L132 , but ~not exposed~ ! to user
14:15 mircea_popescu cuz it must be there, yes.
14:16 asciilifeform bvt: they differ for same reason as tit sizes -- nobody ever standardized, so naturally varies
14:17 bvt Ada.Sequential_IO is wired straight into fopen/fread/fwrite, by the way.
14:19 bvt everything system-dependent that i've seen in gnat runtime goes into C code.
14:20 asciilifeform how else ? it dun know about kernel abi, linux mutations, etc
14:20 asciilifeform of course it hooks into c/posix api.
14:21 asciilifeform sorta why i went ahead and stuck ALL of the os-dependent crud in udp lib into 1 .c
14:22 asciilifeform cuz may as well; if we ever tear off unix , will have to replace those mechanisms anyway
14:23 bvt the thing is, structure definitions and all sort of flag numbers appear in the libc via magic. having all this things in ada is possible, and would involve exactly same work that e.g. musl people are doing today
14:23 bvt *these
14:24 asciilifeform ( on bare iron, with , say, iron-control variables where e.g. Nic : Unsigned_32 ; for Nic'Address use 16#FF00ABCD#; etc )
14:24 asciilifeform bvt: imho it's wasted work; oughta have just enuff coad to interoperate with the pot of c liquishit while we still must
14:24 asciilifeform rather than baking it into 1000 manyears
14:25 asciilifeform my udp lib is ~600 line, and not 6000, because i went in this direction.
14:25 bvt but maybe, only the subset you need for mmaptron, for starters? full conversion is definitely not worth it
14:26 asciilifeform i do not see how it would be improved by being 6000, if i were to try to adaize erry possible idjit unix's struct sockaddr_in .
14:26 asciilifeform bvt: maptron is actually done aside from the strings horror raised last night
14:26 asciilifeform i'ma genesisate it as soon as i figure out a workaround
14:27 bvt ok
14:28 asciilifeform imho in long term we really gotta move the compat layers liquishit out of individual projects and into tmsr-gnat
14:28 asciilifeform to keep 9000 mutant copies of these basic things is insanity
14:29 asciilifeform it's why it made sense to fork off gnat to begin with, so that these can be done.
14:29 asciilifeform ( also to stop the gcc5ism gangrene, but this is a close second )
14:29 mircea_popescu just as soon as we figure ouyt wtf they even are.
14:30 mircea_popescu eg, to ~everyone the above open, and stack and etc were surprises.
14:31 asciilifeform the obvious alternative to cataloguing the liquishit, is to let it stay in gnat's c frontend where it belongs, a la the udp.c thing.
14:32 asciilifeform and when we get own os, can rip out the c immediately in favour of for CuntLips'Address use 16#FF00ABCD# device interface, etc.
14:33 mircea_popescu i suspect noboduy's getting out of cataloguing the shit that easily, but we see.
14:40 asciilifeform really the shit to catalog is the actual kernel abi -- what ave1 is doing .
14:40 asciilifeform there's very little point in memorializing the c api liquishit imho
14:41 asciilifeform i'd luvv to see a syscall-tronic version of the udp transceiver thing, for instance.
14:44 bvt syscalltronic = based on direct invocation of linux syscalls? how this would be possible without haveing sockaddr_in in ada?
14:44 bvt *having
14:45 asciilifeform ( and yes it is catalogued, in various places, e.g. http://blog.rchapman.org/posts/Linux_System_Call_Table_for_x86_64/ , but to go to implementation takes moar sweat )
14:46 asciilifeform bvt: i do not know for a fact whether it eats same struct as the userland call, or different
14:46 asciilifeform that was my point, this remains to be excavated
14:47 asciilifeform as by asciilifeform -- the pill which weighs the least, is the Right Thing, per http://btcbase.org/log/2018-10-25#1866148 , an absolute minimum , line for line, of os-specific liquishit, is the ticket.
14:47 a111 Logged on 2018-10-25 18:25 asciilifeform: my udp lib is ~600 line, and not 6000, because i went in this direction.
14:48 asciilifeform and .c is not the only os liquishit, tables of platform constants that one ends up with from avoidance of .c, is also liquishit.
14:50 bvt well, http://git.musl-libc.org/cgit/musl/tree/src/network/connect.c -- the structure is the same; digging is rather easy, if you don't look into glibc
14:51 asciilifeform bvt: suspected as much
14:51 asciilifeform really, the os-platforming crapola belongs inside gnat.
14:51 asciilifeform port it once per iron/os and then fughet it.
14:52 asciilifeform whole point of using a compiled lang is that this garbage dun have to live in yer proggy !
14:52 asciilifeform otherwise why not just write 0xfbadf00d.... etc
14:59 bvt well, i did not suggest learning/utilizing C api, on the contrary, a subset of kernel stuff in ada is the interesting thing. it just happens to be currently defined/documented as C code.
15:00 asciilifeform bvt: linux kernel is fundamentally retarded, it expects null-termed rubbish, at times, at other times, char * and length, not to mention a pile of untyped ptrs inside structs, really oughta eat ada structs , ada fixed strings, properly typed arrays, etc instead
15:00 asciilifeform any spackle over the orig unix liquishit, is doomed to be ugly. so imho the smallest possible spackle that does the job, is Right Thing
15:01 asciilifeform right up until we finally ditch unix c kernels.
15:02 asciilifeform for so long as we're stuck on a linux box, i'd rather spackle over the c-ism with 600 ln, than with 6000 .
15:02 asciilifeform it is ~much~ easier to demonstrate the correctness of 600, no matter what else.
15:05 asciilifeform ( and btw the actual amt of c spackle in udp lib , http://btcbase.org/patches/udp_fix_ip_nullchars/tree/udp/libudp/unix_udp.c , is 146 ln. )
15:05 asciilifeform if somebody can show how to do same in 100, or 10, i'ma read and sign the patch and take off my hat.
15:05 asciilifeform but i aint particularly interested in 'improvement' that turns the 146 into 1460.
15:06 asciilifeform ( if you have a 1460 , it had better include whole ip stack and driver for iron nic, lol )
15:07 asciilifeform let's reformulate this way : we want the ~net~ complexity of the orchestra to decrease. if we cannot yet decrease ~net~, the Right Thing is to at least refrain from adding, when possible.
15:10 asciilifeform when you add compatibility spackle, serious reader is not saved from reading the thing you spackled over -- on the contrary nao he has to read the ~original~ rubbish ~plus~ your spackle, however much it weighs.
15: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.
15:16 asciilifeform it is not possible to live life wholly without exhaust product, errybody exhales, shits, occasionally drops a crumb. but imho good form is to at least recognize that litter is unwanted.
15:16 asciilifeform one thing to shit on an enemy's door step, deliberately, entirely other thing to shit errywhere because not realizing that shit -- stinks
15:17 asciilifeform anyway i'ma leave it at this, will bbl:meat.
15:19 mircea_popescu http://btcbase.org/log/2018-10-25#1866178 << or so you'd fucking think!
15:19 a111 Logged on 2018-10-25 18:52 asciilifeform: whole point of using a compiled lang is that this garbage dun have to live in yer proggy !
15:20 mircea_popescu http://btcbase.org/log/2018-10-25#1866180 << this is approximately the work of re-writing eulora too.
15:20 a111 Logged on 2018-10-25 18:59 bvt: well, i did not suggest learning/utilizing C api, on the contrary, a subset of kernel stuff in ada is the interesting thing. it just happens to be currently defined/documented as C code.
15:25 mircea_popescu http://btcbase.org/log/2018-10-25#1866191 << this is very much so ; restatement of ye [very recent] olde http://btcbase.org/log/2018-10-08#1859478
15:25 a111 Logged on 2018-10-25 19:10 asciilifeform: when you add compatibility spackle, serious reader is not saved from reading the thing you spackled over -- on the contrary nao he has to read the ~original~ rubbish ~plus~ your spackle, however much it weighs.
15:25 a111 Logged on 2018-10-08 16:20 mircea_popescu: because no, the "i know ~exactly~ what the computer is doing" declaration is not optional. exactly like socrates' observation, "the man claiming no political system has political system", exactly so, whatever the claim, to run code on machine equals the declaration of having fully read and thoroughly understood. there's no wiggle room.
15:27 mircea_popescu http://btcbase.org/log/2018-10-25#1866195 << to make more shit ? :D
15:27 a111 Logged on 2018-10-25 19:17 asciilifeform: anyway i'ma leave it at this, will bbl:meat.
15:28 deedbot http://ossasepia.com/2018/10/25/smg-comms-chapter-4-c-wrappers-for-rsa-and-mpi/ << Ossasepia - SMG Comms Chapter 4: C Wrappers for RSA and MPI
~ 1 hours 11 minutes ~
16:40 BingoBoingo Welcome back Mocky
16:40 deedbot http://qntra.net/2018/10/notbombs-culprit-still-at-large-fbi-still-prime-suspect/ << Qntra - #NotBombs Culprit Still At Large, FBI Still Prime Suspect
16:40 Mocky oh my god BingoBoingo I'm so fucking tired
16:40 BingoBoingo What happened now?
16:41 BingoBoingo Did you forget to hydrate enough?
16:41 Mocky socializing at fancy bar / restaurant for 5 hours. just got back home, about to pass out
16:41 * BingoBoingo does that occasionally
16:41 BingoBoingo Ah, pass out and have fun
16:42 Mocky got 3 good leads for qatari introductions. and a kuwait lead thrust upon me
16:43 BingoBoingo Very cool
16:45 Mocky apparently kuwait computers are shit and one chick knows another chick who runs "cyber security" for a kuwaiti / iraqi company, has been in there for 30 years, knows everyone in the biz. promised me a kuwaiti business sponsor if I actually know anything about computer security, put her number in my phone for me, and texted her to expect contact from me
16:45 mircea_popescu o hey.
16:45 mircea_popescu nice.
16:46 Mocky told me how to get liquor there, that it's not 'dry' like it's claimed, lol
16:46 mircea_popescu mocky you magnificent bastard.
16:46 mircea_popescu bring her in here.
16:47 Mocky she works for army inteligence on the us base here. had to listen to 30 minutes of snoweden hatred
16:48 Mocky they eyes are closing, passing out in 3... 2..
16:49 mircea_popescu laters.
~ 1 hours 5 minutes ~
17:55 asciilifeform http://btcbase.org/log/2018-10-25#1866203 << on a good day, i pump away moar than produce...
17:55 a111 Logged on 2018-10-25 19:27 mircea_popescu: http://btcbase.org/log/2018-10-25#1866195 << to make more shit ? :D
17:57 asciilifeform http://btcbase.org/log/2018-10-25#1866216 << kuwait, like zimbabwe, or whoever else, can quit running winblowz whenever it pulls its head out of arse
17:57 a111 Logged on 2018-10-25 20:45 Mocky: apparently kuwait computers are shit and one chick knows another chick who runs "cyber security" for a kuwaiti / iraqi company, has been in there for 30 years, knows everyone in the biz. promised me a kuwaiti business sponsor if I actually know anything about computer security, put her number in my phone for me, and texted her to expect contact from me
17:57 asciilifeform ( not much , i suspect, chance of this sort of pull-out, while it remains usg colony )
17:58 asciilifeform http://btcbase.org/log/2018-10-25#1866222 << didja ask chix why , if snowden is a zero , e.g. colonel vetrov is 'hero' ?
17:58 a111 Logged on 2018-10-25 20:47 Mocky: she works for army inteligence on the us base here. had to listen to 30 minutes of snoweden hatred
18:04 asciilifeform http://btcbase.org/log/2018-10-25#1866205 << goes great with the 'c glue' thread from earlier
18:04 a111 Logged on 2018-10-25 19:28 deedbot: http://ossasepia.com/2018/10/25/smg-comms-chapter-4-c-wrappers-for-rsa-and-mpi/ << Ossasepia - SMG Comms Chapter 4: C Wrappers for RSA and MPI
~ 18 minutes ~
18:22 bvt http://bvt-trace.net/2018/10/vpatch-replacing-mktemp3-take-two/ - please have a look
18:23 bvt at this point -- bis morgen!
18:23 asciilifeform oh hey
18:23 * asciilifeform will read
~ 1 hours 10 minutes ~
19:33 trinque !!v 99B5D9287A323E6C7D3C9FC803B8499CD847FBADDF0BDC36CED2C41E480DCDCF
19:33 lobbesbot trinque: Sent 3 days, 9 hours, and 25 minutes ago: <asciilifeform> is http://trinque.org/2018/07/06/cuntoo-bootstrapper-preview/ still most recent cuntoo ? i got errything ready to bake cuntoo lappy ( the oddball lcd box; old ssd from zoolag ) ; should proceed or wait for update ? ty
19:33 lobbesbot trinque: Sent 3 days, 5 hours, and 19 minutes ago: <asciilifeform> http://trinque.org/cuntoo.tar.gz 404's
19:33 lobbesbot trinque: Sent 3 days, 0 hours, and 36 minutes ago: <asciilifeform> http://p.bvulpes.com/pastes/dI29G/?raw=true << very peculiar barfology from existing ( same tarball i successfully used for s.mg box ) cuntoo. sat for 4 hrs, built both gcc's, etc., then ended with this.
19:33 lobbesbot trinque: Sent 1 day, 5 hours, and 58 minutes ago: <BingoBoingo> http://p.bvulpes.com/pastes/VsgXk/?raw=true
19:33 deedbot Invoiced BingoBoingo 0.31008 << http://logs.bvulpes.com/eulora?d=2018-10-25#443909
19:33 trinque lol, good evening lobbesbot
19:34 asciilifeform ohai trinque
19:37 trinque I'm going to need to get my teeth into cuntoo this weekend before I can help you with lappy. what was in that tarball is very out of date.
19:37 asciilifeform trinque: the odd thing is that it's what i used to bake the s.mg cuntoo; worked, then
19:37 asciilifeform and there's afaik nothing substantially different in the current shot
19:38 asciilifeform gotta be sumthing on the remote (fetched from heathens?) end, iirc the old shot still had these
19:38 trinque first barf is that openssl was updated and something was linked to previous; @preserved-rebuild oughta fix that
19:39 trinque second almost looks like bad disk
19:39 trinque note ya got remounted to readonly
19:39 asciilifeform disk, in so far as i can tell, is alive ( no eggogs in dmesg )
19:40 asciilifeform it was pulled from zoolag the day before ( and not because sad, but to expand the latter to 1tb )
19:40 trinque mount reports mounted r/w or r/o ?
19:41 trinque that io error is the thing jumping out at me, of course
19:41 asciilifeform nao this, i do not know, i have since taken the thing apart again ( was plugged into lappy )
19:42 asciilifeform could rerun later this wk if this point is of interest to trinque
19:42 asciilifeform ( it takes most of a day to get to the barfpoint )
19:42 trinque I could possibly have you a newer thing to try this weekend; that's the goal
19:42 asciilifeform worx
19:42 asciilifeform i'd much prefer, yes, to have the proper cuntoo, with 0 heathen pulls
19:43 asciilifeform ( and at some point i'd like to set up a tarball mirror myself )
19:43 trinque indeed, I have all the tars necessary to build, will provide 'em
19:44 asciilifeform neat.
~ 2 hours 30 minutes ~
22:14 asciilifeform meanwhile, in gnat bugs : apparently ( and this is documented or mentioned nowhere ) : it is impossible to have a Ada.Finalization.Limited_Controlled type ANYWHERE inside a static library, unless it is generic all the way down (i.e. if the lib package is generic, any sub-packages must also be instantiated as generics )
22:15 asciilifeform what you end up with if you break this, is a linker eggog; inside instantiated main adb, loox like http://p.bvulpes.com/pastes/tbJta/?raw=true
22:16 asciilifeform observe that E107 is undefined cuz it doesn't shit out a E107 : Short_Integer; pragma Import (Ada, E107, wherever); .
22:17 asciilifeform so you get one of these, http://p.bvulpes.com/pastes/N82By/?raw=true .
22:18 asciilifeform my current hypothesis is that we're literally the only folx ever to bake static libs (i.e. in .gpr, for Library_Kind use "static"; ) .
22:21 asciilifeform currently i'm in a zugzwang in re the mmap lib : the http://p.bvulpes.com/pastes/extOl/?raw=true invocation form is The Right Thing, but it requires passing in a String for Path, which dun work without secondarystackism;
22:23 asciilifeform so then sat down and implemented it in http://p.bvulpes.com/pastes/RJjFb/?raw=true form. however this cannot be made to go , because if MemMap package does not know the path at instantiation time, it cannot run,
22:24 asciilifeform in the old form, http://p.bvulpes.com/pastes/ZkkVC/?raw=true , observe that for Obj'Address use Maps.Open(.... gotta be a static value, per https://gcc.gnu.org/onlinedocs/gnat_rm/Address-Clauses.html ( logical )
22:24 asciilifeform and if it ain't available at birth, then it never gets set.
22:24 asciilifeform diana_coman, phf , et al ^ invited to think/comment...
22:26 asciilifeform my only remaining notion here is that possibly gotta implement a 'paths' lib ! i.e. would represent paths as arrays of permanently fixed length , 255 octets, iirc this is the max permitted on unixlikes.
22:26 asciilifeform so then could avoid String entirely.
22:26 asciilifeform i suspect that String Must-Die(tm)
22:28 asciilifeform problem is that CPath : aliased C.Char_Array := C.To_C(Path); , in the glue, demands a String .
22:28 asciilifeform liquishit all the day down...
22:31 asciilifeform the braindamage of unix open()'s demand for a null-termed string, percolates all the way up.
22:34 asciilifeform the real enigma is, why the fuck gnat does not include an interface to ordinary unix open(), why is it that i gotta write it.
22:35 asciilifeform tho even if it existed, and i had memmap package eat a FD that it shat out on instantiation, this would be stupefyingly ugly still, because then memmap cannot be a troo finalized type (i.e. one that cleans up entirely after itself on death, incl. closing its fd)
22:36 asciilifeform the external knobs ~must~ be made to work in http://p.bvulpes.com/pastes/extOl/?raw=true style, somehow or other, or the thing opens gates of hell...
22:36 asciilifeform (i.e. does not properly plug the abstraction leak of unix idjicy, which is the whole point of the proggy)
22:39 asciilifeform 1 obvious solution, that iirc diana_coman at one point resorted to somewhere, is to discard the 'librariness' and make the thing a 'put this in your src' type of lib, rather than linkable one. but i ~like~ linkable/separately-compilable static libs.
22:40 asciilifeform and errything else i've written worked a++ as them.
22:40 asciilifeform aanyway i'ma stop here for nao, lest head expload.
22:40 * asciilifeform bbl,meat
~ 19 minutes ~
23:00 mircea_popescu http://btcbase.org/log/2018-10-26#1866270 << pretty weird altogether.
23:00 a111 Logged on 2018-10-26 02:18 asciilifeform: my current hypothesis is that we're literally the only folx ever to bake static libs (i.e. in .gpr, for Library_Kind use "static"; ) .
23:01 mircea_popescu http://btcbase.org/log/2018-10-26#1866276 << more like a wrapper on paths, i guess. though pretty sure you can have longer than 255 chars.
23:01 a111 Logged on 2018-10-26 02:26 asciilifeform: my only remaining notion here is that possibly gotta implement a 'paths' lib ! i.e. would represent paths as arrays of permanently fixed length , 255 octets, iirc this is the max permitted on unixlikes.
23:03 asciilifeform oh hah, rtfm'd, and yes, 4096 byte paths, 255 ~filename~ max.
23:03 mircea_popescu right.
23:05 asciilifeform on top of this, i'm thinking all of this spackle, oughta be unified, the paths, open(), udpism, tempism, etc. and eventually rolled into tmsr.gnat .
23:05 asciilifeform is imho where it belongs.
23:05 asciilifeform and then the pieces can interop properly.
23:06 mircea_popescu really, open() should be rewritten.
23:06 asciilifeform current gnat standard lib is a jawdropping zoo of broken shit. e.g didjaknow there is a sad bignum lib in there ?
23:06 mircea_popescu yes, actually.
23:06 asciilifeform and a full snobol interpreter.
23:07 asciilifeform and fuck knows what else.
23:07 mircea_popescu went "let's then compare alf's thing to this" ran away
23:07 asciilifeform ha
23:08 asciilifeform i actually started in '16 with attempt to terraform it; promptly barfed
23:08 asciilifeform just as started udp thing by going 'hm wai not fix gnatsockets' and... ~lost~ month
23:09 asciilifeform i'd almost go so far as to specifically disrecommend study of the stock standardlib, it is actively bad for health
23:09 asciilifeform just pour petrol, flick bic.
23:12 asciilifeform http://btcbase.org/log/2018-10-26#1866299 << whole point of spackling, 'rewrite' open(), mmap(), etc, to somehow satisfy the idjit kernel without permitting the retardation to leak upstream to own proggy
23:12 a111 Logged on 2018-10-26 03:06 mircea_popescu: really, open() should be rewritten.
23:13 asciilifeform ( bvt's point re inet_addr applies here -- the actual syscall in fact demands a tardstring, i.e. nulltermed )
← 2018-10-24 | 2018-10-26 →