asciilifeform: ( naturally there are more results, by factor of 1,000 , in the 'not in ....', but outputting all 9+ mil mods from db without ~any~ filtration, takes about 7min )
asciilifeform: what am i missing, does mircea_popescu know of another way of thinking, that actually solves the problem with the available tooling at reasonable cost ?
asciilifeform: this is ruinously expensive when the dataset is 10s of GB.
asciilifeform: i.e. idiocy that is not in any way implicit in the mathematical structure of the underlying primitives (e.g. btree) but comes from agglomeration of programmers dropped as children
asciilifeform: mircea_popescu: actually 'looked in' plenty, and always run into this nonsense
asciilifeform: for completeness of picture, 'mods' is a column in factors, which contains indices of moduli (in 'moduli' table) that said factor is a factor of.
asciilifeform: ( all i want above, is to produce a select of all unphuctored moduli. )
asciilifeform: is it possible to rewrite this so that postgres doesn't do the retarded thing that it evidently does ( this being, to compute the mods in the () , again and again FOR EVERY ROW in moduli )
asciilifeform: i have a proggy which wants to select * from moduli where idx not in (select distinct unnest(mods) from factors) ; but this runs in geological time. for no afaik good reason.
asciilifeform: there is afaik no adult rng on board ( in what, exactly, is there one ? ) but it has usb socket for FG; and the typical shit webcam for gurl-powered rng in principle.
asciilifeform: theoretically has moar horse than asciilifeform's beloved x60 , even
asciilifeform: thing has all of the (few) virtues of the crapple (e.g. 9 hrs on battery, 16 days of suspend , charge from usb ) , and , in principle, none of the barfology
asciilifeform: mircea_popescu, diana_coman , et al, other folx who travel -- i'd like to get a picture of whether there is 'market' in l1/l2 for a pre-engentooated ( laugh at the laddel-ism, but it promises to be a somewhat painful process involving crocodile and eeprom writer ) 'c101pa' rockchip lappy .☟︎☟︎
asciilifeform: loox like... half of the pilot plant, is occupied nao